In his 1982 paper, Ogus defined a class of cycles in the de Rham cohomology of smooth proper varieties over number fields. This notion is a crystalline analogue of $\ell$ -adic Tate cycles. In the case of abelian varieties, this class includes all the Hodge cycles by the work of Deligne, Ogus, and Blasius. Ogus predicted that such cycles coincide with Hodge cycles for abelian varieties. In this paper, we confirm Ogus’ prediction for some families of abelian varieties. These families include geometrically simple abelian varieties of prime dimension that have non-trivial endomorphism ring. The proof uses a crystalline analogue of Faltings’ isogeny theorem due to Bost and the known cases of the Mumford–Tate conjecture.

Modular curves like X0(N) and X1(N) appear very frequently in arithmetic geometry. While their complex points are obtained as a quotient of the upper half plane by some subgroups of SL2(ℤ), they allow for a more arithmetic description as a solution to a moduli problem. We wish to give such a moduli description for two other modular curves, denoted here by Xnsp(p) and Xnsp+(p) associated to non-split Cartan subgroups and their normaliser in GL2(𝔽p). These modular curves appear for instance in Serre's problem of classifying all possible Galois structures of p-torsion points on elliptic curves over number fields. We give then a moduli-theoretic interpretation and a new proof of a result of Chen (Proc. London Math. Soc. (3) 77(1) (1998), 1–38; J. Algebra 231(1) (2000), 414–448).

We show that a genus $2$ curve over a number field whose jacobian has complex multiplication will usually have stable bad reduction at some prime. We prove this by computing the Faltings height of the jacobian in two different ways. First, we use a known case of the Colmez conjecture, due to Colmez and Obus, that is valid when the CM field is an abelian extension of the rationals. It links the height and the logarithmic derivatives of an $L$ -function. The second formula involves a decomposition of the height into local terms based on a hyperelliptic model. We use the reduction theory of genus $2$ curves as developed by Igusa, Liu, Saito, and Ueno to relate the contribution at the finite places with the stable bad reduction of the curve. The subconvexity bounds by Michel and Venkatesh together with an equidistribution result of Zhang are used to bound the infinite places.

In this paper, motivated by a problem posed by Barry Mazur, we show that for smooth projective varieties over the rationals, the odd cohomology groups of degree less than or equal to the dimension can be modeled by the cohomology of an abelian variety, provided the geometric coniveau is maximal. This provides an affirmative answer to Mazur’s question for all uni-ruled threefolds, for instance. Concerning cohomology in degree three, we show that the image of the Abel–Jacobi map admits a distinguished model over the rationals.

Voevodsky has conjectured that numerical equivalence and smash-equivalence coincide for algebraic cycles on any smooth projective variety. Building on work of Vial and Kahn–Sebastian, we give some new examples of varieties where Voevodsky's conjecture is verified.

Assuming Vojta’s conjecture, and building on recent work of the authors, we prove that, for a fixed number field $K$ and a positive integer $g$ , there is an integer $m_{0}$ such that for any $m>m_{0}$ there is no principally polarized abelian variety $A/K$ of dimension $g$ with full level- $m$ structure. To this end, we develop a version of Vojta’s conjecture for Deligne–Mumford stacks, which we deduce from Vojta’s conjecture for schemes.

In this paper, we present novel algorithms for finding small relations and ideal factorizations in the ideal class group of an order in an imaginary quadratic field, where both the norms of the prime ideals and the size of the coefficients involved are bounded. We show how our methods can be used to improve the computation of large-degree isogenies and endomorphism rings of elliptic curves defined over finite fields. For these problems, we obtain improved heuristic complexity results in almost all cases and significantly improved performance in practice. The speed-up is especially high in situations where the ideal class group can be computed in advance.

In this article, we propose to use the character theory of compact Lie groups and their orthogonality relations for the study of Frobenius distribution and Sato–Tate groups. The results show the advantages of this new approach in several aspects. With samples of Frobenius ranging in size much smaller than the moment statistic approach, we obtain very good approximation to the expected values of these orthogonality relations, which give useful information about the underlying Sato–Tate groups and strong evidence of the correctness of the generalized Sato–Tate conjecture. In fact, $2^{10}$ to $2^{12}$ points provide satisfactory convergence. Even for $g=2$ , the classical approach using moment statistics requires about $2^{30}$ sample points to obtain such information.

We outline an algorithm to compute $\unicode[STIX]{x1D703}(z,\unicode[STIX]{x1D70F})$ in genus two in quasi-linear time, borrowing ideas from the algorithm for theta constants and the one for $\unicode[STIX]{x1D703}(z,\unicode[STIX]{x1D70F})$ in genus one. Our implementation shows a large speed-up for precisions as low as a few thousand decimal digits. We also lay out a strategy to generalize this algorithm to genus  $g$ .

Let $C$ be a smooth, separated and geometrically connected curve over a finitely generated field $k$ of characteristic $p\geqslant 0$ , $\unicode[STIX]{x1D702}$ the generic point of $C$ and $\unicode[STIX]{x1D70B}_{1}(C)$ its étale fundamental group. Let $f:X\rightarrow C$ be a smooth proper morphism, and $i\geqslant 0$ , $j$ integers. To the family of continuous $\mathbb{F}_{\ell }$ -linear representations $\unicode[STIX]{x1D70B}_{1}(C)\rightarrow \text{GL}(R^{i}f_{\ast }\mathbb{F}_{\ell }(j)_{\overline{\unicode[STIX]{x1D702}}})$ (where $\ell$ runs over primes $\neq p$ ), one can attach families of abstract modular curves $C_{0}(\ell )$ and $C_{1}(\ell )$ , which, in this setting, are the analogues of the usual modular curves $Y_{0}(\ell )$ and $Y_{1}(\ell )$ . If $i\not =2j$ , it is conjectured that the geometric and arithmetic gonalities of these abstract modular curves go to infinity with $\ell$ (for the geometric gonality, under a certain necessary condition). We prove the conjecture for the arithmetic gonality of the abstract modular curves $C_{1}(\ell )$ . We also obtain partial results for the growth of the geometric gonality of $C_{0}(\ell )$ and $C_{1}(\ell )$ . The common strategy underlying these results consists in reducing by specialization theory to the case where the base field $k$ is finite in order to apply techniques of counting rational points.

In this paper we prove that a smooth family of canonically polarized manifolds parametrized by a special (in the sense of Campana) quasi-projective variety is isotrivial.

We show that Ribet sections are the only obstruction to the validity of the relative Manin–Mumford conjecture for one-dimensional families of semi-abelian surfaces. Applications include special cases of the Zilber–Pink conjecture for curves in a mixed Shimura variety of dimension 4, as well as the study of polynomial Pell equations with non-separable discriminants.

This is part IV of our series of articles on log abelian varieties. In this part, we study the algebraic theory of proper models of log abelian varieties.

Van Wamelen [Math. Comp. 68 (1999) no. 225, 307–320] lists 19 curves of genus two over $\mathbf{Q}$ with complex multiplication (CM). However, for each curve, the CM-field turns out to be cyclic Galois over  $\mathbf{Q}$ , and the generic case of a non-Galois quartic CM-field did not feature in this list. The reason is that the field of definition in that case always contains the real quadratic subfield of the reflex field.

We extend Van Wamelen’s list to include curves of genus two defined over this real quadratic field. Our list therefore contains the smallest ‘generic’ examples of CM curves of genus two.

We explain our methods for obtaining this list, including a new height-reduction algorithm for arbitrary hyperelliptic curves over totally real number fields. Unlike Van Wamelen, we also give a proof of our list, which is made possible by our implementation of denominator bounds of Lauter and Viray for Igusa class polynomials.

We show how to efficiently evaluate functions on Jacobian varieties and their quotients. We deduce an algorithm to compute $(l,l)$ isogenies between Jacobians of genus two curves in quasi-linear time in the degree $l^{2}$ .

We give upper and lower bounds for the number of rational points on Prym varieties over finite fields. Moreover, we determine the exact maximum and minimum number of rational points on Prym varieties of dimension 2.

We discuss heuristic asymptotic formulae for the number of isogeny classes of pairing-friendly abelian varieties of fixed dimension $g\geqslant 2$ over prime finite fields. In each formula, the embedding degree $k\geqslant 2$ is fixed and the rho-value is bounded above by a fixed real ${\it\rho}_{0}>1$ . The first formula involves families of ordinary abelian varieties whose endomorphism ring contains an order in a fixed CM-field $K$ of degree $g$ and generalizes previous work of the first author when $g=1$ . It suggests that, when ${\it\rho}_{0}<g$ , there are only finitely many such isogeny classes. On the other hand, there should be infinitely many such isogeny classes when ${\it\rho}_{0}>g$ . The second formula involves families whose endomorphism ring contains an order in a fixed totally real field $K_{0}^{+}$ of degree $g$ . It suggests that, when ${\it\rho}_{0}>2g/(g+2)$ (and in particular when ${\it\rho}_{0}>1$ if $g=2$ ), there are infinitely many isogeny classes of $g$ -dimensional abelian varieties over prime fields whose endomorphism ring contains an order of $K_{0}^{+}$ . We also discuss the impact that polynomial families of pairing-friendly abelian varieties has on our heuristics, and review the known cases where they are expected to provide more isogeny classes than predicted by our heuristic formulae.

Let $A$ be an abelian variety of dimension $g$ together with a principal polarization ${\it\phi}:A\rightarrow \hat{A}$ defined over a field $k$ . Let $\ell$ be an odd integer prime to the characteristic of $k$ and let $K$ be a subgroup of $A[\ell ]$ which is maximal isotropic for the Riemann form associated to ${\it\phi}$ . We suppose that $K$ is defined over $k$ and let $B=A/K$ be the quotient abelian variety together with a polarization compatible with ${\it\phi}$ . Then $B$ , as a polarized abelian variety, and the isogeny $f:A\rightarrow B$ are also defined over $k$ . In this paper, we describe an algorithm that takes as input a theta null point of $A$ and a polynomial system defining $K$ and outputs a theta null point of $B$ as well as formulas for the isogeny $f$ . We obtain a complexity of $\tilde{O} (\ell ^{(rg)/2})$ operations in $k$ where $r=2$ (respectively, $r=4$ ) if $\ell$ is a sum of two (respectively, four) squares which constitutes an improvement over the algorithm described in Cosset and Robert (Math. Comput. (2013) accepted for publication). We note that the algorithm is quasi-optimal if $\ell$ is a sum of two squares since its complexity is quasi-linear in the degree of $f$ .

We study the problem of efficiently constructing a curve $C$ of genus  $2$ over a finite field $\mathbb{F}$ for which either the curve $C$ itself or its Jacobian has a prescribed number $N$ of $\mathbb{F}$ -rational points.

In the case of the Jacobian, we show that any ‘CM-construction’ to produce the required genus- $2$ curves necessarily takes time exponential in the size of its input.

On the other hand, we provide an algorithm for producing a genus- $2$ curve with a given number of points that, heuristically, takes polynomial time for most input values. We illustrate the practical applicability of this algorithm by constructing a genus- $2$ curve having exactly $10^{2014}+9703$ (prime) points, and two genus- $2$ curves each having exactly $10^{2013}$ points.

In an appendix we provide a complete parametrization, over an arbitrary base field $k$ of characteristic neither two nor three, of the family of genus- $2$ curves over $k$ that have $k$ -rational degree- $3$ maps to elliptic curves, including formulas for the genus- $2$ curves, the associated elliptic curves, and the degree- $3$ maps.

Supplementary materials are available with this article.