An isogeny class $\mathcal{A}$ of abelian varieties defined over finite fields is said to be "cyclic" if every variety in $\mathcal{A}$ has a cyclic group of rational points. In this paper we study the local cyclicity of Weil-central isogeny classes of abelian varieties, i.e. those with Weil polynomials of the form $f_\mathcal{A}(t)=t^{2g}+at^g+q^g$, as well as the local growth of the groups of rational points of the varieties in $\mathcal{A}$ after finite field extensions. We exploit the criterion: an isogeny class $\mathcal{A}$ with Weil polynomial $f$ is cyclic if and only if $f'(1)$ is coprime with $f(1)$ divided by its radical.
In this paper we investigate linear dependence of points in Mordell-Weil groups of abelian varieties via reduction maps. In particular we try to determine the conditions for detecting linear dependence in Mordell-Weil groups via finite number of reductions.
We define a family of arithmetic zero cycles in the arithmetic Chow group of a modular curve X_0(N), for N>3 odd and squarefree, and identify the arithmetic degrees of these cycles as q-coefficients of the central derivative of a Siegel Eisenstein series of genus two. This parallels work of Kudla-Rapoport-Yang for Shimura curves.
We prove an analogue for algebraic stacks of Hermite-Minkowski's finiteness theorem from algebraic number theory, and establish a Chevalley-Weil type theorem for integral points on stacks. As an application of our results, we prove analogues of the Shafarevich conjecture for some surfaces of general type.
We define and study a Weil-étale topos for any regular, proper scheme $X$ over $\Spec(Z)$ which has some of the properties suggested by Lichtenbaum for such a topos. In particular, the cohomology with $R$-coefficients has the expected relation to $ζ(X,s)$ at $s=0$ if the Hasse-Weil L-functions $L(h^i(X_Q),s)$ have the expected meromorphic continuation and functional equation. If $\X$ has characteristic $p$ the cohomology with $Z$-coefficients also has the expected relation to $ζ(X,s)$ and our cohomology groups recover those previously studied by Lichtenbaum and Geisser.
We formulate and prove a local arithmetic Siegel--Weil formula for GSpin Rapoport--Zink spaces, which is a precise identity between the arithmetic intersection numbers of special cycles on GSpin Rapoport--Zink spaces and the derivatives of local representation densities of quadratic forms. As a first application, we prove a semi-global arithmetic Siegel--Weil formula as conjectured by Kudla, which relates the arithmetic intersection numbers of special cycles on GSpin Shimura varieties at a place of good reduction and the central derivatives of nonsingular Fourier coefficients of incoherent Sie…
We give a conjectural description of the vanishing order and leading Taylor coefficient of the Zeta function of a proper, regular arithmetic scheme $\mathcal{X}$ at any integer $n$ in terms of Weil-étale cohomology complexes. This extends work of Lichtenbaum \cite{Lichtenbaum05} and Geisser \cite{Geisser04b} for $\mathcal{X}$ of characteristic $p$, of Lichtenbaum \cite{li04} for $\mathcal{X}=\mathrm{Spec}(\mathcal{O}_F)$ and $n=0$ where $F$ is a number field, and of the second author for arbitrary $\mathcal{X}$ and $n=0$ \cite{Morin14}. We show that our conjecture is compatible with the Tamaga…
In this paper, we proved an arithmetic Siegel-Weil formula and the modularity of some arithmetic theta function on the modular curve $X_0(N)$ when $N$ is square free. In the process, we also construct some generalized Delta function for $Γ_0(N)$ and proved some explicit Kronecker limit formula for Eisenstein series on $X_0(N)$.
We introduce the use of $p$-descent techniques for elliptic surfaces over a perfect field of characteristic not $2$ or $3$. Under mild hypotheses, we obtain an upper bound for the rank of a non-constant elliptic surface. When $p=2$, this bound is an arithmetic refinement of a well-known geometric bound for the rank deduced from Igusa's inequality. This answers a question raised by Ulmer. We give some applications to rank bounds for elliptic surfaces over the rational numbers.
In this paper we prove Hasse local-global principle for polynomials with coefficients in Mordell-Weil type groups over number fields like S-units, abelian varieties with trivial ring of endomorphisms and odd algebraic K-theory groups.
We construct natural Green forms for special cycles in orthogonal and unitary Shimura varieties, in all codimensions, and, for compact Shimura varieties of type O(p,2) and U(p,1), we show that the resulting local archimedean height pairings are related to special values of derivatives of Siegel Eisentein series. A conjecture put forward by Kudla relates these derivatives to arithmetic intersections of special cycles, and our results settle the part of his conjecture involving local archimedean heights.
The main goal of this expository article is to survey recent progress on the arithmetic Siegel-Weil formula and its applications. We begin with the classical sum of two squares problem and put it in the context of the Siegel-Weil formula. We then motivate the geometric and arithmetic Siegel-Weil formula using the classical example of the product of modular curves. After explaining the recent result on the arithmetic Siegel-Weil formula for Shimura varieties of arbitrary dimension, we discuss some aspects of the proof and its application to the arithmetic inner product formula and the Beilinson…
In this paper, we prove the weak Siegel-Weil formula for the space M_2(Q) . We study the Hecke correspondence and representation numbers associated to Eichler orders, and give the explicit formula for degree of Hecke correspondence and average representation numbers over genus. This formula could recover the main results in [DuYang]. We could identify these numbers with the Fourier coefficients of Eisenstein series via Siegel-Weil formula(weak Siegel-Weil formula for M_2(Q). In the last part of this article, we reprove four square sum Theorem via Siegel-Weil formula and Kudla's matching.
Hasse-Weil zeta functions of SL_2-character varieties of arithmetic two bridge link groups are determined. Special values of the zeta functions at s=0,1,2 are also investigated.
In this paper, we study twisted arithmetic divisors on the modular curve X_0(N) with N square-free. For each pair (Δ, r) where Δ>0 and Δ\equiv r^2 \mod 4N, we constructed a twisted arithmetic theta function ϕ_{Δ, r}(τ) which is a generating function of arithmetic twisted Heegner divisors. We prove the modularity of ϕ_{Δ, r}(τ), along the way, we also identify the arithmetic pairing \langle ϕ_{Δ, r}(τ),\widehatω_N \rangle with special value of some Eisenstein series, where \widehatω_N is a normalized metric Hodge line bundle.
We present an algorithm which speeds scalar multiplication on a general elliptic curve by an estimated 3.8 % to 8.5 % over the best known general methods when using affine coordinates. This is achieved by eliminating a field multiplication when we compute 2P+Q from given points P, Q on the curve. We give applications to simultaneous multiple scalar multiplication and to the Elliptic Curve Method of factorization. We show how this improvement together with another idea can speed the computation of the Weil and Tate pairings by up to 7.8 %.
We study the arithmetic of the twist of the Fermat quartic defined by $X^4 + Y^4 + Z^4 = 0$ which has no $\mathbb{Q}$-rational point. We calculate the Mordell--Weil group of the Jacobian variety explicilty. We show that the degree $0$ part of the Picard group is a free $\mathbb{Z}/2\mathbb{Z}$-module of rank $2$, whereas the Mordell--Weil group is a free $\mathbb{Z}/2\mathbb{Z}$-module of rank $3$. Thus the relative Brauer group is non-trivial. We also show that this quartic violates the local-global property for linear determinantal representations.
In this short note, we shall construct a certain topological family which contains all elliptic curves over Q and, as an application, show that this family provides some geometric interpretations of the Hasse-Weil L-function of an elliptic curve over Q whose Mordell-Weil group is of rank $\leq1$.
Given a polynomial system $\mathcal{F}$ over a finite field $k$ which is not necessarily of dimension zero, we consider the Weil descent $\mathcal{F}'$ of $\mathcal{F}$ over a subfield $k'$. We prove a theorem which relates the last fall degrees of $\mathcal{F}_1$ and $\mathcal{F}'_1$, where the zero set of $\mathcal{F}_1$ corresponds bijectively to the set of $k$-rational points of $\mathcal{F}$, and the zero set of $\mathcal{F}'_1$ is the set of $k'$-rational points of the Weil descent $\mathcal{F}'$. As an application we derive upper bounds on the last fall degree of $\mathcal{F}'_1$ in the…
We consider the finite set of isogeny classes of $g$-dimensional abelian varieties defined over the finite field $\mathbb{F}_q$ with endomorphism algebra being a field. We prove that the class within this set whose varieties have maximal number of rational points is unique, for any prime even power $q$ big enough and verifying mild conditions. We describe its Weil polynomial and we prove that the class is ordinary and cyclic outside the primes dividing an integer that only depends on $g$. In dimension $3$, we prove that the class is ordinary and cyclic and give explicitly its Weil polynomial, …
We discuss methods for using the Weil polynomial of an isogeny class of abelian varieties over a finite field to determine properties of the curves (if any) whose Jacobians lie in the isogeny class. Some methods are strong enough to show that there are no curves with the given Weil polynomial, while other methods can sometimes be used to show that a curve with the given Weil polynomial must have nontrivial automorphisms, or must come provided with a map of known degree to an elliptic curve with known trace. Such properties can sometimes lead to efficient methods for searching for curves with t…
For a given number field $K$, we show that the ranks of nonsingular elliptic curves over $K$ are uniformly finitely bounded if and only if weak Mordell-Weil property holds in all(some) ultrpowers $^*K$ of $K$. Also we introduce Nonstandard Mordell-Weil property for $^*K$ considering each Mordell-Weil group as $^*Z$-module, where $^*Z$ is an ultrapower of $Z$, and we show that Nonstandard Mordell-Weil property is equivalent to weak Mordell-Weil property in $^*K$. In Appendix, we showed that it is possible to consider definable abelian groups as $^*Z$-modules in a saturated nonstandard rational …
We study the arithmetic of abelian varieties over $K=k(t)$ where $k$ is an arbitrary field. The main result relates Mordell-Weil groups of certain Jacobians over $K$ to homomorphisms of other Jacobians over $k$. Our methods also yield completely explicit points on elliptic curves with unbounded rank over $\Fpbar(t)$ and a new construction of elliptic curves with moderately high rank over $\C(t)$.
Lichtenbaum conjectured the existence of a Weil-étale cohomology in order to describe the vanishing order and the special value of the Zeta function of an arithmetic scheme $\mathcal{X}$ at $s=0$ in terms of Euler-Poincaré characteristics. Assuming the (conjectured) finite generation of some étale motivic cohomology groups we construct such a cohomology theory for regular schemes proper over $\mathrm{Spec}(\mathbb{Z})$. In particular, we obtain (unconditionally) the right Weil-étale cohomology for geometrically cellular schemes over number rings. We state a conjecture expressing the vanishing …
One of the driving motivations to develop $\F_1$-geometry is the hope to translate Weil's proof of the Riemann hypothesis from positive characteristics to number fields, which might result in a proof of the classical Riemann hypothesis. The underlying idea is that the spectrum of $\Z$ should find an interpretation as a curve over $\F_1$, which has a completion $\bar{\Spec\Z}$ analogous to a curve over a finite field. The hope is that intersection theory for divisors on the arithmetic surface $\bar{\Spec\Z} \times \bar{\Spec\Z}$ will allow to mimic Weil's proof. It turns out that it is possible…
We develop a general classification theory for Brumer's dihedral quintic polynomials by means of Kummer theory arising from certain elliptic curves. We also give a similar theory for cubic polynomials.
In this paper we study the category LCA(2) of certain non-locally compact abelian topological groups, and extend the notion of Weil index. As applications we deduce some product formulas for curves over local fields and arithmetic surfaces.
In this article, we first briefly introduce the history of the Weil-étale cohomology theory of arithmetic schemes and review some important results established by Lichtenbaum, Flach and Morin. Next we generalize the Weil-etale cohomology to $S$-integers and compute the cohomology for constant sheaves $\mathbb{Z}$ or $\mathbb{R}$. We also define a Weil-étale cohomology with compact support $H_c(Y_W, -)$ for $Y=Spec \mathcal{O}_{F,S}$ where $F$ is a number field, and computed them. We verify that these cohomology groups satisfy the axioms state by Lichtenbaum. As an application, we derive a cano…
Recent theorems of Dubickas and Mossinghoff use auxiliary polynomials to give lower bounds on the Weil height of an algebraic number $α$ under certain assumptions on $α$. We prove a theorem which introduces an auxiliary polynomial for giving lower bounds on the height of any algebraic number. Our theorem contains, as corollaries, a slight generalization of the above results as well as some new lower bounds in other special cases.
We express some basic properties of Deninger's conjectural dynamical system in terms of morphisms of topoi. Then we show that the current definition of the Weil-étale topos satisfies these properties. In particular, the flow, the closed orbits, the fixed points of the flow and the foliation in characteristic $p$ are well defined on the Weil-étale topos. This analogy extends to arithmetic schemes. Over a prime number $p$ and over the archimedean place of $\mathbb{Q}$, we define a morphism from a topos associated to Deninger's dynamical system to the Weil-étale topos. This morphism is compatible…
We construct a family of harmonic Maass forms of polynomial growth of any level corresponding to any cusp whose shadows are Eisenstein series of integral weight. We further consider Dirichlet series attached to a harmonic Maass form of polynomial growth, study its analytic properties, and prove an analogue of Weil's converse theorem.
The statement of the Riemann hypothesis makes sense for all global fields, not just the rational numbers. For function fields, it has a natural restatement in terms of the associated curve. Weil's work on the Riemann hypothesis for curves over finite fields led him to state his famous "Weil conjectures", which drove much of the progress in algebraic and arithmetic geometry in the following decades. In this article, I describe Weil's work and some of the ensuing progress: Weil cohomology (etale, crystalline); Grothendieck's standard conjectures; motives; Deligne's proof; Hasse-Weil zeta functio…
A well-known result of von zur Gathen asserts that a non-exceptional permutation polynomial of degree $n$ over $\mathbb{F}_{q}$ exists only if $q<n^{4}$. With the help of the Weil bound for the number of $\mathbb{F}_{q}$-points on an absolutely irreducible (possibly singular) affine plane curve, Chahal and Ghorpade improved von zur Gathen's proof to replace $n^{4}$ by a bound less than $n^{2}(n-2)^{2}$. Also based on the Weil bound, we further refine the upper bound for $q$ with respect to $n$, by a more concise and direct proof following Wan's arguments.
Let q be an odd power of a prime p and let A/Fq be a supersingular abelian variety of dimension g. We show that if p>2g+1, then the characteristic polynomial of the q-Frobenius is an even polynomial. This generalizes the well-known result on the vanishing of the trace of the p-Frobenius when p>3 for supersingular elliptic curves over Fp.
We construct a cohomology theory with compact support H^i_c(X_ar,Z(n))$ for separated schemes of finite type over a finite field, which should play a role analog to Lichtenbaum's Weil-etale cohomology groups for smooth and projective schemes. In particular, if Tate's conjecture holds and rational and numerical equivalence agree up to torsion, then the groups H^i_c(X_ar,Z(n)) are finitely generated, form an integral version of l-adic cohomology with compact support, and admit a formula for the special values of the zeta-function of X.
We consider polynomial equations, or systems of polynomial equations, with integer coefficients, modulo prime numbers $p$. We offer an elementary approach based on a counting method. The outcome is a weak form of the Lang-Weil lower bound for the number of solutions modulo $p$, only differing from Lang-Weil by an asymptotic $p^ε$ multiplicative factor. Our second contribution is a reduction lemma to the case of a single equation which we use to extend our results to systems of equations. We show further how to use this reduction to prove the full Lang-Weil estimate for varieties, assuming it f…
Lichtenbaum has conjectured the existence of a Grothendieck topology for an arithmetic scheme $X$ such that the Euler characteristic of the cohomology groups of the constant sheaf $\mathbb{Z}$ with compact support at infinity gives, up to sign, the leading term of the zeta-function $ζ_X(s)$ at $s=0$. In this paper we consider the category of sheaves $\bar{X}_L$ on this conjectural site for $X=Spec(\mathcal{O}_F)$ the spectrum of a number ring. We show that $\bar{X}_L$ has, under natural topological assumptions, a well defined fundamental group whose abelianization is isomorphic, as a topologic…
We prove some new results on the arithmetic of abelian varieties over function fields of one variable over finitely generated (infinite) fields. Among other things, we introduce certain new natural objects `discrete Selmer groups' and `discrete Shafarevich-Tate groups', and prove that they are finitely generated $\Bbb Z$-modules. Further, we prove that in the isotrivial case, the discrete Shafarevich-Tate group vanishes and the discrete Selmer group coincides with the Mordell-Weil group. One of the key ingredients to prove these results is a new specialisation theorem à la Néron for first Galo…
Inspired by experimental data, this paper investigates which isogeny classes of abelian varieties defined over a finite field of odd characteristic contain the Jacobian of a hyperelliptic curve. We provide a necessary condition by demonstrating that the Weil polynomial of a hyperelliptic Jacobian must have a particular form modulo 2. For fixed ${g\geq1}$, the proportion of isogeny classes of $g$ dimensional abelian varieties defined over $\mathbb{F}_q$ which fail this condition is $1 - Q(2g + 2)/2^g$ as $q\to\infty$ ranges over odd prime powers, where $Q(n)$ denotes the number of partitions of…
In this paper, we define the concept of Jacobi forms of half-integral weight using Takase's automorohic factor of weight 1/2 for a two-fold covering group of the symplectic group on the Siegel upper half plane and find covariant maps for the Schroedinger-Weil representation. Using these covariant maps, we construct Jacobi forms of half-integral weight with respect to an arithmetic subgroup of the Jacobi group.
