$A$ be an abelian variety over a number field $K$ of dimension $r$, $a_1, \dots, a_g \in A(K)$ and $F/K$ a finite Galois extension. We consider the density of primes $\frak p$ of $K$ such that the quotient $\bar{A}(k({\frak p}))/\langle \bar{a}_1,\dots,\bar{a}_g\rangle$ has at most $2r-1$ cyclic components and $\frak p$ satisfies a Frobenius condition with respect to $F/K$, where $\bar{A}$ is the reduction of $A$ modulo $\frak p$, $k(\frak p)$ is the residue class field of $\frak p$ and $\langle \bar{a}_1,\dots,\bar{a}_g\rangle$ is the subgroup generated by the reductions $\bar{a}_1,\dots,\bar{a}_g$. We develop a general framework to prove the existence of the density under the Generalized Riemann Hypothesis.
Given a pair of abelian varieties defined over a number field k and isogenous over a finite Galois extension L/k, we define a rational Artin representation of the group Gal(L/k) that shows a global relation between the L-functions of each variety and provides certain information about their decomposition up to isogeny over L. We study several properties of these Artin representations. As an application, for each curve C' in a family of twists of a certain genus 3 curve C, we explicitly compute the Artin representation attached to the Jacobians of C and C' and show how this Artin representation…
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.
In this paper we introduce the concept of $\mathit{integral}$ $\mathit{Frobenius}$ to formulate an integral analogue of the classical compatibility condition linking the collection of rational Tate modules $V_λ(A)$ arising from abelian varieties over number fields with real multiplication. Our main result gives a recipe for constructing an integral Frobenius when the real multiplication field has class number one. By exploiting algorithms already existing in the literature, we investigate this construction for three modular abelian surfaces over $\mathbf{Q}$.
We study abelian varieties defined over function fields of curves in positive characteristic $p$, focusing on their arithmetic within the system of Artin-Schreier extensions. First, we prove that the $L$-function of such an abelian variety vanishes to high order at the center point of its functional equation under a parity condition on the conductor. Second, we develop an Artin-Schreier variant of a construction of Berger. This yields a new class of Jacobians over function fields for which the Birch and Swinnerton-Dyer conjecture holds. Third, we give a formula for the rank of the Mordell-Weil…
Let $A$ be an abelian variety over a finite field $k$ with $|k|=q=p^m$. Let $π\in \text{End}_k(A)$ denote the Frobenius and let $v=\frac{q}π$ denote Verschiebung. Suppose the Weil $q$-polynomial of $A$ is irreducible. When $\text{End}_k(A)=\mathbb{Z}[π,v]$, we construct a matrix which describes the action of $π$ on the prime-to-$p$-torsion points of $A$. We employ this matrix in an algorithm that detects when $p$ is an obstruction to the monogeneity of division fields of certain abelian varieties.
We show that the sum of the traces of Frobenius elements of Artin $L$-functions in a family of $G$-fields satisfies the Gaussian distribution under certain counting conjectures. We prove the counting conjectures for $S_4$ and $S_5$-fields. We also show central limit theorem for modular form $L$-functions with the trivial central character with respect to congruence subgroups as the level goes to infinity.
In this paper we discuss multiplicative relations between eigenvalues of Frobenius endomorphism of abelian varieties of small dimension over finite fields.
We prove that there is a natural plectic weight filtration on the cohomology of Hilbert modular varieties in the spirit of Nekovar and Scholl. This is achieved with the help of Morel's work on weight t-structures and a detailed study of partial Frobenius. We prove in particular that the partial Frobenius extends to toroidal and minimal compactifications.
Deligne's conjecture that $\ell$-adic sheaves on normal schemes over a finite field admit $\ell'$-companions was proved by L. Lafforgue in the case of curves and by Drinfeld in the case of smooth schemes. In this paper, we extend Drinfeld's theorem to smooth Artin stacks and deduce Deligne's conjecture for coarse moduli spaces of smooth Artin stacks. We also extend related theorems on Frobenius eigenvalues and traces to Artin stacks.
In this paper we determine the number of isomorphism classes of superspecial abelian varieties $A$ over the prime field $\Fp$ such that the relative Frobenius morphism $π_A$ satisfying $π_A^2=-p$.
Proofs that an arbitrary field has a separable closure are necessarily non-constructive, and separable closures are unique only up to non-canonical isomorphism. This means that the absolute Galois group of a field is defined only up to inner automorphism. Here we construct a profinite algebraic group which is an inner form of the absolute Galois group. Our construction uses no form of the axiom of choice, and the group is defined up to canonical isomorphism. We also show that the Frobenius associated with a prime of a number field unramified in an extension, which is classically defined only u…
We assign functorially a $\mathbb{Z}$-lattice with semisimple Frobenius action to each abelian variety over $\mathbb{F}_p$. This establishes an equivalence of categories that describes abelian varieties over $\mathbb{F}_p$ avoiding $\sqrt{p}$ as an eigenvalue of Frobenius in terms of simple commutative algebra. The result extends the isomorphism classification of Waterhouse and Deligne's equivalence for ordinary abelian varieties.
Prime counting functions are believed to exhibit, in various contexts, discrepancies beyond what famous equidistribution results predict; this phenomenon is known as Chebyshev's bias. Rubinstein and Sarnak have developed a framework which allows to conditionally quantify biases in the distribution of primes in general arithmetic progressions. Their analysis has been generalized by Ng to the context of the Chebotarev density theorem, under the assumption of the Artin holomorphy conjecture, the Generalized Riemann Hypothesis, as well as a linear independence hypothesis on the zeros of Artin $L$-…
Using properties of the Frobenius eigenvalues, we show that, in a precise sense, ``most'' isomorphism classes of (principally polarized) simple abelian varieties over a finite field are characterized up to isogeny by the sequence of their division fields, and a similar result for ``most'' isogeny classes. Some global cases are also treated.
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…
Associated to an abelian variety over a number field are several interesting and related groups: the motivic Galois group, the Mumford-Tate group, $\ell$-adic monodromy groups, and the Sato-Tate group. Assuming the Mumford-Tate conjecture, we show that from two well chosen Frobenius polynomials of our abelian variety, we can recover the identity component of these groups (or at least an inner form), up to isomorphism, along with their natural representations. We also obtain a practical probabilistic algorithm to compute these groups by considering more and more Frobenius polynomials; the group…
We show a Lefschetz theorem for irreducible overconvergent $F$-isocrystals on smooth varieties defined over a finite field. We derive several consequences from it.
We show that for a large class of rings $R$, the number of principally polarized abelian varieties over a finite field in a given simple ordinary isogeny class and with endomorphism ring $R$ is equal either to 0, or to a ratio of class numbers associated to $R$, up to some small computable factors. This class of rings includes the maximal order of the CM field $K$ associated to the isogeny class (for which the result was already known), as well as the order $R$ generated over $\mathbf{Z}$ by Frobenius and Verschiebung. For this latter order, we can use results of Louboutin to estimate the appr…
We propose an action of a certain motivic cohomology group on the coherent cohomology of Hilbert modular varieties, extending conjectures of Venkatesh, Prasanna, and Harris. The action is described in two ways: on cohomology modulo $p$ and over $\mathbb C$, and we conjecture that they both lift to an action on cohomology with integral coefficients. The conjecture is supported by theoretical evidence based on Stark's conjecture on special values of Artin $L$-functions, and by numerical evidence in base change cases.
We examine the relationship between the notion of Frobenius splitting and ordinarity for varieties. We show the following: a) The de Rham-Witt cohomology groups $H^i(X, W({\mathcal O}_X))$ of a smooth projective Frobenius split variety are finitely generated over $W(k)$. b) we provide counterexamples to a question of V. B. Mehta that Frobenius split varieties are ordinary or even Hodge-Witt. c) a Kummer $K3$ surface associated to an Abelian surface is $F$-split (ordinary) if and only if the associated Abelian surface is $F$-split (ordinary). d) for a $K3$-surface defined over a number field, t…
We give a positive answer to the questions 4.4 on Hodge type and 4.2 on divisibility of the eigenvalues of Frobenius of the article by N. Fakhruddin and C. S. Rajan (NT/0402230).
We introduce a "limiting Frobenius structure" attached to any degeneration of projective varieties over a finite field of characteristic p which satisfies a p-adic lifting assumption. Our limiting Frobenius structure is shown to be effectively computable in an appropriate sense for a degeneration of projective hypersurfaces. We conjecture that the limiting Frobenius structure relates to the rigid cohomology of a semistable limit of the degeneration through an analogue of the Clemens-Schmidt exact sequence. Our construction is illustrated, and conjecture supported, by a selection of explicit ex…
We express the Frobenius-Hecke traces on the compactly supported cohomology of a Shimura variety of abelian type in terms of elliptic parts of stable Arthur-Selberg trace formulas for the endoscopic groups. This confirms predictions of Langlands and Kottwitz at primes where the level is hyperspecial.
The goal of this paper is to calculate the trace of the composition of a Hecke correspondence and a (high enough) power of the Frobenius at a good place on the intersection cohomology of the Satake-Baily-Borel compactification of certain Shimura varieties, to stabilize the result for Shimura varieties associated to unitary groups over $\mathbb{Q}$ and to give applications of this calculations using base change from these unitary groups to $GL_n$. ----- Le but de ce texte est de calculer la trace d'une correspondance de Hecke composee avec une puissance (assez grande) du Frobenius en une bonne …
For two varieties of dimension $5$ constructed as double covers of ${\mathbb P}^5$ branched along the union of $12$ hyperplanes, we prove that the number of points over ${\mathbb F}_p$ can be expressed in terms of Artin symbols and the $p$th Fourier coefficients of modular forms. Many analogous results are known in dimension $\le 3$, but very few in higher dimension. In addition, we use an idea of Burek to construct quotients of our varieties for which the point counts mod $p$ are expressible in terms of Artin symbols and the coefficients of a single modular form of weight $6$.
We prove the Mumford-Tate conjecture for those abelian varieties over number fields, whose simple factors of their adjoint Mumford-Tate groups have over $\dbR$ certain (products of) non-compact factors. In particular, we prove this conjecture for the orthogonal case ($B_n$ and $D_n^{\dbR}$ Shimura types). We construct embeddings of Shimura varieties of (whose adjoints are of prescribed abelian type) into unitary Shimura varieties. We also prove two general theorems involving Frobenius tori of abelian varieties over number fields.
We study the Galois actions on the l-adic schematic and Artin-Mazur homotopy groups of algebraic varieties. For proper varieties of good reduction over a local field K, we show that the l-adic schematic homotopy groups are mixed representations explicitly determined by the Galois action on cohomology of Weil sheaves, whenever l is not equal to the residue characteristic p of K. For quasi-projective varieties of good reduction, there is a similar characterisation involving the Gysin spectral sequence. When l=p, a slightly weaker result is proved by comparing the crystalline and p-adic schematic…
For every finite collection C of abelian varieties over F_q, we produce an explicit upper bound on the genus of curves over F_q whose Jacobians are isogenous to a product of powers of elements of C.
