We study the question of whether algebraic curves of a given genus g defined over a field K must have points rational over the maximal abelian extension K^{ab} of K. We give: (i) an explicit family of diagonal plane cubic curves with Q^{ab}-points, (ii) for every number field K, a genus one curve C_{/Q} with no K^{ab}-points, and (iii) for every g \geq 4 an algebraic curve C_{/Q} of genus g with no Q^{ab}-points. In an appendix, we discuss varieties over Q((t)), obtaining in particular a curve of genus 3 without (Q((t)))^{ab}-points.
We prove that torsion codimension 2 algebraic cycles modulo rational equivalence on supersingular abelian varieties are algebraically equivalent to zero. As a consequence, we prove that homological equivalence coincides with algebraic equivalence for algebraic cycles of codimension 2 on supersingular abelian varieties over the algebraic closure of finite fields.
Among abelian extensions of a congruence function field, an asymptotic relation of class number and genus is established. The proof is classical, employing well-known results from congruence function field theory.
We show that if a rational map is constant on each isomorphism class of unpolarized abelian varieties of a given dimension, then it is a constant map. Our results are motivated by and shed light on a proposed construction of a cryptographic protocol for multiparty non-interactive key exchange.
In this paper we construct a non-trivial element in the higher Griff{}iths group $Griff ^{3,2}$ for the generic abelian fourfold $A^4$ with polarization of type $(1,2,2,2)$. The key idea is to use that $A^4$ can be realized as a generalized Prym variety and for this reason contains in a natural way some curves i.e. dimension 1 cycles.
In this note we investigate the connection between polylogarithms on curves and abelian schemes. The main result shows that the polylogarithm on the abelian scheme can be obtained as the push-forward of the polylogarithm on a suitable sub-curve. If the abelian scheme is the Jacobian of a smooth projective curve, this push-forward can also be written as a cup-product with the fundamental class of the curve.
We study the transcendence of periods of abelian differentials, both at the arithmetic and functional level, from the point of view of the natural bi-algebraic structure on strata of abelian differentials. We characterise geometrically the arithmetic points, study their distribution, and prove that in many cases the bi-algebraic curves are the linear ones.
We prove the existence of an Abelian variety $A$ of dimension $g$ over $\Qa$ which is not isogenous to any Jacobian, subject to the necessary condition $g>3$. Recently, C.Chai and F.Oort gave such a proof assuming the André-Oort conjecture. We modify their proof by constructing a special sequence of CM points for which we can avoid any unproven hypotheses. We make use of various techniques from the recent work of Klingler-Yafaev et al.
This paper gives a natural extension of Frobenius-Stickelberger formula and Kiepert formula to Abelian functions for "Purely Trigonal Curves", especially, of degree four. A description on the theory of Abelian functions for general trigonal curves of degree four is also included.
We use rigid analytic uniformization by Schottky groups to give a bound for the order of the abelian subgroups of the automorphism group of a Mumford curve in terms of its genus.
The goal of this paper is to explain how a simple but apparently new fact of linear algebra together with the cohomological interpretation of L-functions allows one to produce many examples of L-functions over function fields vanishing to high order at the center point of their functional equation. The main application is that for every prime p and every integer g>0 there are absolutely simple abelian varieties of dimension g over Fp(t) for which the BSD conjecture holds and which have arbitrarily large rank.
We relate a part of the abelian etale fundamental group of curves over local fields to the component group of the Neron model of the jacobian. We apply the result to the modular curve X_0(p)/Q_p to show that the unramified abelian covering X_1(p) over X_0(p) (Shimura covering) uses up all the possible ramification over the special fiber of X_0(p).
We prove a non-archimedean analogue of the fact that a closed subvariety of a semi-abelian variety is hyperbolic modulo its special locus, and thereby generalize a result of Cherry.
We compare flat cohomology with crystalline syntomic complexes in two cases: 1) $p$-divisible groups over a separated $\mathbb F_p$-scheme with local finite $p$-bases, 2) semi-abelian schemes over a separated irreducible smooth curve.
Abelian surfaces over finite fields containing no curves of genus $3$ or less
CNRS（法国国家科学研究中心；波尔多大学）；IMB, Université de Bordeaux（阿松森国立大学工程学院）；Facultad de Ingeniería, Universidad Nacional de Asunción（乌得勒支大学数学研究所）；Mathematisch Instituut, Universiteit Utrecht（法属波利尼西亚大学GAATI实验室）；Laboratoire GAATI, Université de la Polynésie française（蔚蓝海岸大学让·亚历山大·迪厄多内实验室）；Laboratoire Jean Alexandre Dieudonnè, Universitè Côte d’Azur
Let K denote the quadratic field $\mathbb{Q}(\sqrt{d})$ where d=$-1$ or $-3$. Let E be an elliptic curve defined over K. In this paper, we analyze the torsion subgroups of E in the maximal elementary abelian $2$-extension of $K$.
We show how to calculate the Euler characteristic of a local system associated to an irreducible representation of the symplectic group of genus 3 on the moduli space of curves of genus 3 and the moduli space of principally polarized abelian varieties of dimension 3.
We study the set of isomorphism classes of principal polarizations on abelian varieties of GL2-type. As applications of our results, we construct examples of curves C, C'/\Q of genus two which are nonisomorphic over \bar \Q and share isomorphic unpolarized modular Jacobian varieties over \Q ; we also show a method to obtain genus two curves over \Q whose Jacobian varieties are isomorphic to Weil's restriction of quadratic \Q-curves, and present examples.
Constructing families of abelian varieties of $\text{GL}_2$-type over $4$-punctured complex projective line via $p$-adic Hodge theory and Langlands correspondence and application to algebraic solutions of Painleve VI equation
We study the Selmer varieties of smooth projective curves of genus at least two defined over $\mathbb{Q}$ which geometrically dominate a curve with CM Jacobian. We extend a result of Coates and Kim to show that Kim's non-abelian Chabauty method applies to such a curve. By combining this with results of Bogomolov-Tschinkel and Poonen on unramified correspondences, we deduce that any cover of $\mathbf{P}^1$ with solvable Galois group, and in particular any superelliptic curve over $\mathbb{Q}$, has only finitely many rational points over $\mathbb{Q}$.
Given an elliptic curve $E/k$ and a Galois extension $k'/k$, we construct an exact functor from torsion-free modules over the endomorphism ring ${\rm End}(E_{k'})$ with a semilinear ${\rm Gal}(k'/k)$ action to abelian varieties over $k$ that are $k'$-isogenous to a power of $E$. As an application, we show that every elliptic curve with complex multiplication geometrically is isogenous over the ground field to one with complex multiplication by a maximal order.
The full automorphism group of a certain elementary abelian $p$-cover of the Hermitian curve in characteristic $p>0$ is determined. It is remarkable that the order of Sylow $p$-groups of the automorphism group is close to Nakajima's bound in terms of the $p$-rank. Weierstrass points, Galois points, Frobenius nonclassicality, and arc property are also investigated.
We study the enumerative geometry of algebraic curves on abelian surfaces and threefolds. In the abelian surface case, the theory is parallel to the well-developed study of the reduced Gromov-Witten theory of K3 surfaces. We prove complete results in all genera for primitive classes. The generating series are quasimodular forms of pure weight. Conjectures for imprimitive classes are presented. In genus 2, the counts in all classes are proven. Special counts match the Euler characteristic calculations of the moduli spaces of stable pairs on abelian surfaces by Göttsche-Shende. A formula for hyp…
We make explicit a construction of Serre giving a definition of an algebraic Sato-Tate group associated to an abelian variety over a number field, which is conjecturally linked to the distribution of normalized L-factors as in the usual Sato-Tate conjecture for elliptic curves. The connected part of the algebraic Sato-Tate group is closely related to the Mumford-Tate group, but the group of components carries additional arithmetic information. We then check that in many cases where the Mumford-Tate group is completely determined by the endomorphisms of the abelian variety, the algebraic Sato-T…
For a polarized complex Abelian variety A, of dimension g>1, we study the function N_A(t) counting the number of elliptic curves in A with degree bounded by t. We describe elliptic curves as solutions of Diophantine equations which, at least for small dimensions g=2 and g=3, can actually be made explicit, and we show that computing the number of solutions is reduced to the classical topic in Number Theory of counting points of the lattice Z^n lying on an explicit bounded subset of R^n. We obtain, for Abelian varieties of small dimension, some upper bounds for the counting function.
We state a conjectural criterion for identifying global integral points on a hyperbolic curve over $\mathbb{Z}$ in terms of Selmer schemes inside non-abelian cohomology functors with coefficients in $\mathbb{Q}_p$-unipotent fundamental groups. For $\mathbb{P}^1\setminus \{0,1,\infty\}$ and the complement of the origin in semi-stable elliptic curves of rank 0, we compute the local image of global Selmer schemes, which then allows us to numerically confirm our conjecture in a wide range of cases.
A theorem of Chow concerns homomorphisms of two abelian varieties under a primary field extension base change. In this paper we generalize Chow's theorem to semi-abelian varieties. This contributes to different proofs of a well-known result that every algebraic torus splits over a finite separable field extension. We also obtain the best bound for the degrees of splitting fields of tori.
Let $\mathbf{x}=(x,y)$. A projective 2-dimensional flow is a solution to a 2-dimensional projective translation equation (PrTE) $(1-z)ϕ(\mathbf{x})=ϕ(ϕ(\mathbf{x}z)(1-z)/z)$, $ϕ:\mathbb{C}^{2}\mapsto\mathbb{C}^{2}$. Previously we have found all solutions of the PrTE which are rational functions. The rational flow gives rise to a vector field $\varpi(x,y)\bullet\varrho(x,y)$ which is a pair of 2-homogenic rational functions. On the other hand, only very special pairs of 2-homogenic rational functions, as vector fields, give rise to rational flows. The main ingredient in the proof of the classif…
We exhibit the isogeny classes of supersingular abelian threefolds over F_{2^n} containing the Jacobian of a genus 3 curve. In particular, we prove that for even n>6 there always exist a maximal and a minimal curve over F_{2^n}. All the curves can be obtained explicitly.
We give a formula for the class number of an arbitrary CM algebraic torus over $\mathbb{Q}$. This is proved based on results of Ono and Shyr. As applications, we give formulas for numbers of polarized CM abelian varieties, of connected components of unitary Shimura varieties and of certain polarized abelian varieties over finite fields. We also give a second proof of our main result.
Fix an abelian variety $A_0$ and a non-isotrivial abelian scheme over a smooth irreducible curve, both defined over the algebraic numbers. Consider the union of all images of translates of a fixed finite-rank subgroup of $A_0$, also defined over the algebraic numbers, by abelian subvarieties of $A_0$ of codimension at least $k$ under all isogenies between $A_0$ and some fiber of the abelian scheme. We characterize the curves inside the abelian scheme which are defined over the algebraic numbers, dominate the base curve and potentially intersect this set in infinitely many points. Our proof fol…
For any $p>2$ we give an example of big action $(X,G)$ with non abelian derived subgroup. It is obtained as a covering of a curve related to the Ree curve.
Let $E$ be an elliptic curve over a field $k$. Let $R:= \text{End}\, E$. There is a functor $\mathscr{H}\!\!\mathit{om}_R(-,E)$ from the category of finitely presented torsion-free left $R$-modules to the category of abelian varieties isogenous to a power of $E$, and a functor $\text{Hom}(-,E)$ in the opposite direction. We prove necessary and sufficient conditions on $E$ for these functors to be equivalences of categories.
Using the Shioda-Tate theorem and an adaptation of Silverman's specialization theorem, we reduce the specialization of Mordell-Weil ranks for abelian varieties over fields finitely generated over infinite finitely generated fields $k$ to the the specialization theorem for Néron-Severi ranks recently proved by Ambrosi in positive characteristic. More precisely, we prove that after a blow-up of the base surface $S$, for all vertical curves $S_x$ of a fibration $S \to U \subseteq \mathbf{P}^1_k$ with $x$ from the complement of a sparse subset of $|U|$, the Mordell-Weil rank of an abelian scheme o…
An abelian variety defined over an algebraically closed field k of positive characteristic is supersingular if it is isogenous to a product of supersingular elliptic curves and is superspecial if it is isomorphic to a product of supersingular elliptic curves. In this paper, the superspecial condition is generalized by defining the superspecial rank of an abelian variety, which is an invariant of its p-torsion. The main results in this paper are about the superspecial rank of supersingular abelian varieties and Jacobians of curves. For example, it turns out that the superspecial rank determines…
Let $Y$ be a principal homogeneous space of an abelian surface, or a K3 surface, over a finitely generated extension of $\mathbb{Q}$. In 2008, Skorobogatov and Zarhin showed that the Brauer group modulo algebraic classes $\text{Br}\, Y/ \text{Br}_1\, Y$ is finite. We study this quotient for the family of surfaces that are geometrically isomorphic to a product of isogenous non-CM elliptic curves, as well as the related family of geometrically Kummer surfaces; both families can be characterized by their geometric Néron-Severi lattices. Over a field of characteristic $0$, we prove that the existe…
Let A be an abelian variety of positive dimension defined over a number field K and let Kbar be a fixed algebraic closure of K. For each element sigma of the absolute Galois group Gal(Kbar/K), let Kbar(sigma) be the fixed field of sigma in Kbar. We shall prove that the torsion subgroup of A(Kbar(sigma)) is infinite for all sigma in Gal(Kbar/K) outside of some set of Haar measure zero. This proves the number field case of a conjecture of Geyer and Jarden from 1978.
For a function field $k$ over a finite field with $\mathbb{F}_q$ as the field of constant, and a finite abelian group $G$ whose exponent is divisible by $q-1$, we study the distribution of zeta zeroes for a random $G$-extension of $k$, ordered by the degree of conductors. We prove that when the degree goes to infinity, the number of zeta zeroes lying in a prescribed arc is uniformly distributed and the variance follows a Gaussian distribution.
The algebraic degeneracy of holomorphic curves in a semi-Abelian variety omitting a divisor is proved (Lang's conjecture generalized to semi-Abelian varieties) by making use of the {\it jet-projection method} and the logarithmic Wronskian jet differential after Siu-Yeung. We also prove a structure theorem for the locus which contains all possible image of non-constant entire holomorphic curves in a semi-Abelian variety omitting a divisor.
For any finite abelian group G, we study the moduli space of abelian $G$-covers of elliptic curves, in particular identifying the irreducible components of the moduli space. We prove that, in the totally ramified case, the moduli space has trivial rational Picard group, and it is birational to the moduli space M_{1,n}, where n is the number of branch points. In the particular case of moduli of bielliptic curves, we also prove that the boundary divisors are a basis of the rational Picard group of the admissible covers compactification of the moduli space. Our methods are entirely algebro-geomet…
We extend the results by R.P. Langlands on representations of (connected) abelian algebraic groups. This is done by considering characters into any divisible abelian topological group. With this we can then prove what is known as the abelian case of the $p$-adic Langlands program.
Initially motivated by the relations between Anabelian Geometry and Artin's L-functions of the associated Galois-representations, here we study the list of zeta-functions of genus two abelian coverings of elliptic curves over finite fields. Our goal is to provide a complete description of such a list.
Using class field theory one associates to each curve C over a finite field, and each subgroup G of its divisor class group, unramified abelian covers of C whose genus is determined by the index of G. By listing class groups of curves of small genus one may get examples of curves with many points; we do this for all curves of genus 2 over the fields of cardinality 5,7,9,11,13 and 16, giving new entries for the tables of curves with many points (www.manYPoints.org).
This version improves the old version entitled "On the modularity of elliptic curves with a residually irreducible representation". Let $E$ be an elliptic curve over an abelian totally real field $K$ unramified at 3,5, and 7. We prove that $E$ is modular.
In this paper, we give explicit descriptions of Hyodo and Kato's Frobenius and Monodromy operators on the first $p$-adic de Rham cohomology groups of curves and Abelian varieties with semi-stable reduction over local fields of mixed characteristic. This paper was motivated by the first author's paper "A $p$-adic Shimura isomorphism and periods of modular forms," where conjectural definitions of these operators for curves with semi-stable reduction were given.
We study Galois action on $\Ext^1(E(\bar \Q),\Z^2)$ and interpret our results as partially showing that the notion of a path on a complex elliptic curve $E$ can be characterised algebraically. The proofs show that our results are just concise reformulations of Kummer theory for $E$ as well as the description of Galois action on the Tate module. Namely, we prove (a),(b) below by showing they are equivalent to (c) which is well-known: (a) Absolute Galois group acts transitively on the set of uniquely divisible abelian \EndE-module extensions of $E(\bar\Q)$ of algebraic points of an elliptic curv…
Let $E$ be an elliptic curve defined over $\mathbb{Q}$, and let $\mathbb{Q}^{ab}$ be the maximal abelian extension of $\mathbb{Q}$. In this article we classify the groups that can arise as $E(\mathbb{Q}^{ab})_{\text{tors}}$ up to isomorphism. The method illustrates techniques for finding explicit models of modular curves of mixed level structure. Moreover we provide an explicit algorithm to compute $E(\mathbb{Q}^{ab})_{\text{tors}}$ for any elliptic curve $E/\mathbb{Q}$.
This thesis intends to make a contribution to the theories of algebraic cycles and moduli spaces over the real numbers. In the study of the subvarieties of a projective algebraic variety, smooth over the field of real numbers, the cycle class map between the Chow ring and the equivariant cohomology ring plays an important role. The image of the cycle class map remains difficult to describe in general; we study this group in detail in the case of real abelian varieties. To do so, we construct integral Fourier transforms on Chow rings of abelian varieties over any field. They allow us to prove t…
We show, under some natural conditions, that the set of abelian (and thus also cyclotomic) multiplicatively dependent points on an irreducible curve over a number field is a finite union of preimages of roots of unity by a certain finite set of primitive characters from $\Gm^n$ to $\Gm$ restricted to the curve, and a finite set. We also introduce the notion of primitive multiplicative dependence and obtain a finiteness result for primitively multiplicatively dependent points defined over a so-called Bogomolov extension of a number field.
We prove that if a curve of a non-isotrivial family of abelian varieties over a curve contains infinitely many isogeny orbits of a finitely generated subgroup of a simple abelian variety then it is special.
On an abelian scheme over a smooth curve over $\overline{\mathbb Q}$ a symmetric relatively ample line bundle defines a fiberwise Néon-Tate height. If the base curve is inside a projective space, we also have a height on its $\overline{\mathbb Q}$-points that serves as a measure of each fiber, an abelian variety. Silverman proved an asymptotic equality between these two heights on a curve in the abelian scheme. In this paper we prove an inequality between these heights on a subvariety of any dimension of the abelian scheme. As an application we prove the Geometric Bogomolov Conjecture for the …
For a curve $X$ over a $p$-adic field $k$, using the class field theory of $X$ due to S. Bloch and S. Saito we study the abelian geometric fundamental group $π_1^{\mathrm{ab}}(X)^{\mathrm{geo}}$ of $X$. In particular, it is investigated a subgroup of $π_1^{\mathrm{ab}}(X)^{\mathrm{geo}}$ which classifies the geometric and abelian coverings of $X$ which allow possible ramification over the special fiber of the model of $X$. Under the assumptions that $X$ has a $k$-rational point, $X$ has good reduction and its Jacobian variety has good ordinary reduction, we give some upper and lower bounds of …
We prove the following theorems: Theorem 1: For any E-field with cyclic kernel, in particular $\mathbb C$ or the Zilber fields, all real abelian algebraic numbers are pointwise definable. Theorem 2: For the Zilber fields, the only pointwise definable algebraic numbers are the real abelian numbers.
