Abelian varieties over finite fields with a specified characteristic polynomial modulo l
Joshua Holden
备注:
5 pages, submitted to the Proceedings of the AMS. AMS-LaTeX format. Completely revised. Original paper had numerous references to unproved conjectures. These have been removed, but see math.NT/0105087 for proofs of some of them
发表信息:
Journal de Theorie des Nombres de Bordeaux, 16:173--178, 2004.
We estimate the fraction of isogeny classes of abelian varieties over a finite field which have a given characteristic polynomial P(T) modulo l. As an application we find the proportion of isogeny classes of abelian varieties with a rational point of order l.
The aim of this paper is to extend some arithmetic results on elliptic modular forms to the case of Hilbert modular forms. Among these results let's mention : (1) the control of the image of the Galois representation modulo $p$, (2) Hida's congruence criterion outside an explicit set of primes $p$, and (3) the freeness of the integral cohomology of the Hilbert modular variety over certain local components of the Hecke algebra and the Gorenstein property of these local algebras. We study the arithmetic of the Hilbert modular forms by studying their modulo $p$ Galois representations and our main…
We show, using the trace formula, that any Newton stratum of a Shimura variety of PEL-type of types (A) and (C) is non-empty at the primes of good reduction. Furthermore we prove conditionally the non-emptiness for Shimura data associated to odd Spin groups. Our results are conditional on Rapoport-Langlands conjecture and Arthur's conjectures on the discrete spectrum. Both these results have been announced by Arthur and Kisin in significant cases.
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 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.
Suppose F=W(k)[1/p] where W(k) is the ring of Witt vectors with coefficients in algebraically closed field k of characteristic p>2. We construct integral theory of p-adic semi-stable representations of the absolute Galois group of F with Hodge-Tate weights from [0,p). This modification of Breuil's theory results in the following application in the spirit of Shafarevich's Conjecture. If Y is a projective algebraic variety over the field of rational numbers with good reduction modulo all primes different from 3 and semi-stable reduction modulo 3 then for the Hodge numbers of the complexification…
In this article, we give examples of smooth varieties of positive characteristic whose first integral overconvergent de Rham-Witt cohomology modulo torsion is not finitely generated over the Witt ring of the base field.
Let k be a field. Let K_0(V_k) denote the quotient of the free abelian group generated by the geometrically reduced varieties over k, modulo the relations of the form [X]=[X-Y]+[Y] whenever Y is a closed subvariety of X. Product of varieties makes K_0(V_k) into a ring. We prove that if the characteristic of k is zero, then K_0(V_k) is not a domain.
In this paper we study the geometry of reduction modulo $p$ of the Kisin-Pappas integral models for certain Shimura varieties of abelian type with parahoric level structure. We give some direct and geometric constructions for the EKOR strata on these Shimura varieties, using the theories of $G$-zips and mixed characteristic local $\mathcal{G}$-Shtukas. We establish several basic properties of these strata, including the smoothness, dimension formula, and closure relation. Moreover, we apply our results to the study of Newton strata and central leaves on these Shimura varieties.
Let A be an abelian variety over a number field F with End(A/F) commutative. Let S be a subgroup of A(F) and let x be a point of A(F). Suppose that for almost all places v of F the reduction of x modulo v lies in the reduction of S modulo v. In this paper we prove that x must then lie in S + A(F)_tors. This provides a partial answer to a generalization (due to W. Gajda) of the support problem of Erdos.
For a quartic primitive CM field $K$, we say that a rational prime $p$ is {\it evil} if at least one of the abelian varieties with CM by $K$ reduces modulo a prime ideal $\gerp| p$ to a product of supersingular elliptic curves with the product polarization. We call such primes {\it evil primes for $K$}. In \cite{GL}, we showed that for fixed $K$, such primes are bounded by a quantity related to the discriminant of the field $K$. In this paper, we show that evil primes are ubiquitous in the sense that, for any rational prime $p$, there are an infinite number of fields $K$ for which $p$ is evil …
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…
Given a projective variety X defined over a finite field, the zeta function of divisors attempts to count all irreducible, codimension one subvarieties of X, each measured by their projective degree. When the dimension of X is greater than one, this is a purely p-adic function, convergent on the open unit disk. Four conjectures are expected to hold, the first of which is p-adic meromorphic continuation to all of C_p. When the divisor class group (divisors modulo linear equivalence) of X has rank one, then all four conjectures are known to be true. In this paper, we discuss the higher rank case…
Let $K$ be a field finitely generated over ${\Q}$, and $A$ an Abelian variety defined over $K$. Then by the Mordell-Weil Theorem, the set of rational points $A(K)$ is a finitely-generated Abelian group. In this paper, assuming Tate's Conjecture on algebraic cycles, we prove a limit formula for the Mordell-Weil rank of an arbitrary family of Abelian varieties $A$ over a number field $k$; this is the Abelian fibration analogue of the Nagao formula for elliptic surfaces $E$, originally conjectured by Nagao, and proven by Rosen and Silverman to be equivalent to Tate's Conjecture for $E$. We also g…
Under simplifying hypotheses we prove a relation between the l-adic cohomology of the basic stratum of a Shimura variety of PEL-type modulo a prime of good reduction of the reflex field and the cohomology of the complex Shimura variety. In particular we obtain explicit formulas for the number of points in the basic stratum over finite fields. We obtain our results using the trace formula and truncation of the formula of Kottwitz for the number of points on a Shimura variety over a finite fields.
In this talk, I report on three theorems concerning algebraic varieties over a field of characteristic $p>0$. a) over a finite field of cardinal $q$, two proper smooth varieties which are geometrically birational have the same number of rational points modulo $q$ (cf. Ekedahl, 1983). b) over a finite field of cardinal $q$, a proper smooth variety which is rationally chain connected, or Fano, or weakly unirational, has a number of rational points congruent to 1 modulo $q$ (Esnault, 2003). c) over an algebraic closed field of caracteristic $p>0$, the fundamental group of a proper smooth variety …
Let G be the product of an abelian variety and a torus defined over a number field K. The aim of this paper is detecting the dependence among some given rational points of G by studying their reductions modulo all primes of K. We show that if some simple conditions on the order of the reductions of the points are satisfied then there must be a dependency relation over the ring of K-endomorphisms of G. We generalize Larsen's result on the support problem to several points on products of abelian varieties and tori.
If A/K is an abelian variety over a number field and P and Q are rational points, the original support conjecture asserted that if the order of Q (mod p) divides the order of P (mod p) for almost all primes p of K, then Q is obtained from P by applying an endomorphism of A. This is now known to be untrue. In this note we prove that it is not even true modulo the torsion of A.
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 use recent results about linking the number of zeros on algebraic varieties over $\mathbb{C}$, defined by polynomials with integer coefficients, and on their reductions modulo sufficiently large primes to study congruences with products and reciprocals of linear forms. This allows us to make some progress towards a question of B. Murphy, G. Petridis, O. Roche-Newton, M. Rudnev and I. D. Shkredov (2019) on an extreme case of the Erdős-Szemerédi conjecture in finite fields.
Let $A$ be a $g$-dimensional abelian variety over $\mathbb{Q}$ whose adelic Galois representation has open image in $\text{GSp}_{2g} \widehat{\mathbb{Z}}$. We investigate the endomorphism algebras $\text{End}(A_p) \otimes \mathbb{Q} = \mathbb{Q}( π_p )$ of the reduction of $A$ modulo primes $p$ at which this reduction is ordinary and simple. We obtain conditional and unconditional asymptotic upper bounds on the number of primes at which this "Frobenius field" is a specified number field and, when $A$ is two-dimensional, at which the Frobenius field contains a specified real quadratic number fi…
In a previous paper it was shown that a certain family of varieties suggested by Lusztig, is not enough to construct all irreducible complex representations of reductive groups over finite rings coming from the ring of integers in a local field, modulo a power of the maximal ideal. In this paper we define a generalisation of Lusztig's varieties, corresponding to an extension of the maximal unramified extension of the local field. We show in a particular case that all irreducible representations appear in the cohomology of some extended variety. We conclude with a discussion about reformulation…
In this article we compute the mass associated to any unimodular lattice in a Hermitian space over an arbitrary CM field under a condition at 2. We study the geometry and arithmetic of the basic locus of the GU(r,s)-Shimura variety associated to an imaginary quadratic field modulo a good prime p>2. We give explicit formulas for the numbers of irreducible and connected components of the basic locus, and of points of the zero-dimensional Ekedahl-Oort (EO) stratum, as well as of the irreducible components of basic EO strata when the signature is either (1, n-1) or (2,2).
Let $K$ be a global field and let $Z$ be a geometrically irreducible algebraic variety defined over $K$. We show that if a big set $S\subseteq Z$ of rational points of bounded height occupies few residue classes modulo $\mathfrak{p}$ for many prime ideals $\mathfrak{p}$, then a positive proportion of $S$ must lie in the zero set of a polynomial of low degree that does not vanish at $Z$. This generalizes the main result of Walsh in [Duke Math. J., vol.161, (2012), 2001-2022].
Let $A$ be an abelian variety defined over a number field $K$. If $\mathfrak{p}$ is a prime of $K$ of good reduction for $A$, let $A(K)_\mathfrak{p}$ denote the image of the Mordell-Weil group via reduction modulo $\mathfrak{p}$. We prove in particular that the size of $A(K)_\mathfrak{p}$, by varying $\mathfrak{p}$, encodes enough information to determine the $K$-isogeny class of $A$, provided that the following necessary condition is satisfied: $B(K)$ has positive rank for every non-trivial abelian subvariety $B$ of $A$. This is the analogue to a result by Faltings of 1983 considering instead…
In this paper we obtain explicit estimates and existence results on the number of $\mathbb{F}_q$-rational solutions of certain systems defined by families of diagonal equations over finite fields. Our approach relies on the study of the geometric properties of the varieties defined by the systems involved. We apply these results to a generalization of Waring's problem and the distribution of solutions of congruences modulo a prime number.
Given a spherical variety X for a group G over a non-archimedean local field k, the Plancherel decomposition for L^2(X) should be related to "distinguished" Arthur parameters into a dual group closely related to that defined by Gaitsgory and Nadler. Motivated by this, we develop, under some assumptions on the spherical variety, a Plancherel formula for L^2(X) up to discrete (modulo center) spectra of its "boundary degenerations", certain G-varieties with more symmetries which model X at infinity. Along the way, we discuss the asymptotic theory of subrepresentations of C^{infty}(X), and establi…
Let $E/\mathbb Q$ be an elliptic curve, and denote by $N(p)$ the number of $\mathbb{F}_p$-points of the reduction modulo $p$ of $E$. A conjecture of Koblitz, refined by Zywina, states that the number of primes $p \leq X$ at which $N(p)$ is also prime is asymptotic to $C_E \cdot X / \log(X)^2$, where $C_E$ is an arithmetically-defined non-negative constant. Following Miri-Murty (2001) and others, Y.R. Liu (2006) and David-Wu (2012) study the number of prime factors of $N(p)$. We generalize their arguments to abelian varieties $A / \mathbb Q$ whose adelic Galois representation has open image in …
We compute the statistics of $SL_{d}(\mathbb{Z})$ matrices lying on level sets of an integral polynomial defined on $SL_{d}(\mathbb{R})$, a result that is a variant of the well known theorem proved by Linnik about the equidistribution of radially projected integral vectors from a large sphere into the unit sphere. Using the above result we generalize the work of Aka, Einsiedler and Shapira in various directions. For example, we compute the joint distribution of the residue classes modulo $q$ and the properly normalized orthogonal lattices of primitive integral vectors lying on the level set $-…
Let G be a semisimple group over rational numbers and H is a subgroup over rational numbers. Given a representation of G and an integral vector x whose stabilizer is equal to H. In this paper we investigate the asymptotic of integral points on Gx with bounded height. We find its asymptotic up to an implicit constant when H is large in G but we allow the presence of intermediate subgroups. This is achieved by a novel combination of two equidistribution results in two different settings: one is that of Eskin, Mozes and Shah on a Lie group modulo a lattice and the other one is a result of Chamber…
We consider two families X_n of varieties on which the symmetric group S_n acts: the configuration space of n points in C and the space of n linearly independent lines in C^n. Given an irreducible S_n-representation V, one can ask how the multiplicity of V in the cohomology groups H*(X_n;Q) varies with n. We explain how the Grothendieck-Lefschetz Fixed Point Theorem converts a formula for this multiplicity to a formula for the number of polynomials over F_q (or maximal tori in GL_n(F_q), respectively) with specified properties related to V. In particular, we explain how representation stabilit…
In some recent work, Lusztig outlined a generalisation of the construction of Deligne and Lusztig to reductive groups over finite rings coming from the ring of integers in a local field, modulo some power of the maximal ideal. Lusztig conjectures that all irreducible representations of these groups are contained in the cohomology of a certain family of varieties. We show that, contrary to what was expected, there exist representations that cannot be realised by the varieties given by Lusztig. Moreover, we show how the remaining representations in the case under consideration can be realised in…
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…