The moduli stack $\mathcal A_2$ of principally polarized abelian surfaces comes equipped with the universal abelian surface $π: \mathcal X_2 \to \mathcal A_2$. The fiber of $π$ over a point corresponding to an abelian surface $A$ in $\mathcal A_2$ is $A$ itself. We determine the $\ell$-adic cohomology of $\mathcal X_2$ as a Galois representation. Similarly, we consider the bundles $\mathcal X_2^n \to \mathcal A_2$ and $\mathcal X_2^{\operatorname{Sym}(n)} \to \mathcal A_2$ for all $n \geq 1$, where the fiber over a point corresponding to an abelian surface $A$ is $A^n$ and $\operatorname{Sym}^n A$ respectively. We describe how to compute the $\ell$-adic cohomology of $\mathcal X_2^n$ and $\mathcal X_2^{\operatorname{Sym}(n)}$ and explicitly calculate it in low degrees for all $n$ and in all degrees for $n = 2$. These results yield new information regarding the arithmetic statistics on abelian surfaces, including an exact calculation of the expected value and variance as well as asymptotics for higher moments of the number of $\mathbf F_q$-points.
A. Sikora has shown results which confirm the analogy between number fields and 3-manifolds. However, he has given proofs of his results which are very different in the arithmetic and in the topological case. In this paper, we show how to provide a unified approach to the results in the two cases. For this we introduce an equivariant cohomology which satisfies a localization theorem. In particular, we obtain a satisfactory explanation for the coincidences between Sikora's formulas which leads us to clarify and to extend the dictionary of arithmetic topology.
In 1985 Kazuya Kato formulated a fascinating framework of conjectures which generalizes the Hasse principle for the Brauer group of a global field to the so-called cohomological Hasse principle for an arithmetic scheme. In this paper we prove the prime-to-characteristic part of the cohomological Hasse principle. We also explain its implications on finiteness of motivic cohomology and special values of zeta functions.
We extend the work of M.Borovoi on the nonabelian Galois cohomology of linear reductive algebraic groups over number fields to a general base scheme. As an application, we obtain new results on the arithmetic of such groups over global function fields.
We prove the finiteness and compatibility with base change of the (phi,Gamma)-cohomology and the Iwasawa cohomology of arithmetic families of (phi,Gamma)-modules. Using this finiteness theorem, we show that a family of Galois representations that is densely pointwise refined in the sense of Mazur is actually trianguline as a family over a large subspace. In the case of the Coleman-Mazur eigencurve, we determine the behavior at all points.
We first introduce global arithmetic cohomology groups for quasi-coherent sheaves on arithmetic varieties, adopting an adelic approach. Then, we establish fundamental properties, such as topological duality and inductive long exact sequences, for these cohomology groups on arithmetic surfaces. Finally, we expose basic structures for ind-pro topologies on adelic spaces of arithmetic surfaces. In particular, we show that these adelic spaces are topologically self-dual.
The $L^2$-cohomology of a locally symmetric variety is known to have the topological interpretation as the intersection homology of its Baily-Borel Satake compactification. In this article, we observe that even without the Hermitian hypothesis, the $L^p$-cohomology of an arithmetic quotient, for $p$ finite and sufficiently large, is isomorphic to the ordinary cohomology of its reductive Borel-Serre compactification. We use this to generalize a theorem of Mumford concerning homogeneous vector bundles, their invariant Chern forms and the canonical extensions of the bundles; here, though, we are …
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 prove a conjecture by Kawaguchi-Silverman on arithmetic and dynamical degrees, for self-morphisms of semi-abelian varieties. Moreover, we determine the set of the arithmetic degrees of orbits and the (first) dynamical degrees of self-morphisms of semi-abelian varieties.
An abelian arrangement is a finite set of codimension one abelian subvarieties (possibly translated) in a complex abelian variety. In this paper, we study the cohomology of the complement of an abelian arrangement. For unimodular abelian arrangements, we provide a combinatorial presentation for a differential graded algebra whose cohomology is isomorphic to the rational cohomology of the complement. Moreover, this DGA has a bi-grading that allows us to compute the mixed Hodge numbers.
We compute some arithmetic path integrals for BF-theory over the ring of integers of a totally imaginary field, which evaluate to natural arithmetic invariants associated to $\mathbb{G}_m$ and abelian varieties.
We give a formula for the Eisenstein cohomology of local systems on the partial compactification of the moduli of principally polarized abelian varieties given by rank 1 degenerations. For genus 2 we give a formula for the full Eisenstein cohomology.
In this paper we investigate the arithmetic aspects of the theory of $\mathcal{E}_K^\dagger$-valued rigid cohomology introduced and studied in [11,12]. In particular we show that these cohomology groups have compatible connections and Frobenius structures, and therefore are naturally $(φ,\nabla)$-modules over $\mathcal{E}_K^\dagger$ whenever they are finite dimensional. We also introduce a category of `absolute' coefficients for the theory; the same results are true for cohomology groups with coefficients. We moreover prove a $p$-adic version of the weight monodromy conjecture for smooth (not …
Let $\mathcal{A}_g$ denote the moduli stack of principally polarized abelian varieties of dimension $g$. The arithmetic height, or arithmetic volume, of $\overline{\mathcal{A}}_g$, is defined to be the arithmetic degree of the metrized Hodge bundle $\overlineω_g$ on $\overline{\mathcal{A}}_g$. In 1999, Kühn proved a formula for the arithmetic volume of $\overline{\mathcal{A}}_1$ in terms of special values of the Riemann zeta function. In this article, we generalize his result to the case $g=2$.
In this note, we investigate the Chern classes of flat bundles in the arithmetic Deligne Cohomology, introduced by Green-Griffiths, Asakura-Saito. We show nontriviality of the Chern classes in some cases and the proof also indicates that generic flat bundles (in its moduli space) can be expected to have nontrivial classes, which is in contrast with some Gauss-Manin systems.
We study toric varieties over a field k that split in a Galois extension K/k using Galois cohomology with coefficients in the toric automorphism group. Part of this Galois cohomology fits into an exact sequence induced by the presentation of the class group of the toric variety. This perspective helps to compute the Galois cohomology, particularly for cyclic Galois groups. We use Galois cohomology to classify k-forms of projective spaces when K/k is cyclic, and we also study k-forms of surfaces.
This note provides an insight to the diophantine properties of abelian surfaces with quaternionic multiplication over number fields. We study the fields of definition of the endomorphisms on these abelian varieties and the images of the Galois representations on their Tate modules. We illustrate our results with several explicit examples.
This paper is the sequel of our paper "Arithmetic height functions over finitely generated fields" (cf. math.NT/9809016). In this paper, we define the canonical height of subvarieties of an abelian variety over a finitely generated field over Q. We also prove that the canonical height of a subvariety is zero if and only if it is a translation of an abelian subvariety by a torsion point.
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…
A well known argument by Serre shows that there is no Weil cohomology theory with real coefficients for smooth projective varieties over $\bar{\mathbb{F}}_p$. In this note we explain why no "Weil-"cohomology theory with real coefficients can exist for arithmetic schemes over spec $\mathbb{Z}$, even for spectra of number rings.
This is a brief exposition of the mathematical themes that motivate the special programme at the Newton Institute in 2009. It is mostly intended for the general public having mathematical training up to the level of secondary school.
In recent work with Bhatt and Morrow, we defined a new integral p-adic cohomology theory interpolating between etale and de Rham cohomology. An unexpected feature of this cohomology is that in coordinates, it can be computed by a q-deformation of the de Rham complex, which is thus canonical, at least in the derived category. In this short survey, we try to explain what we know about this phenomenon, and what can be conjectured to hold.
We contribute to the arithmetic/topology dictionary by relating asymptotic point counts and arithmetic statistics over finite fields to homological stability and representation stability over $\Cb$ in the example of configuration spaces of $n$ points in smooth varieties. To do this, we import the method of homological stability from the realm of topology into the theory of étale cohomology; in particular we give the first examples of stability of étale cohomology groups as Galois representations where the Galois actions are not already explicitly known. We then establish subexponential bounds …
The concept of weights on the cohomology of algebraic varieties was initiated by fundamental ideas and work of A. Grothendieck and P. Deligne. It is deeply connected with the concept of motives and appeared first on the singular cohomology as the weights of (possibly mixed) Hodge structures and on the etale cohomology as the weights of eigenvalues of Frobenius. But weights also appear on algebraic fundamental groups and in p-adic Hodge theory, where they become only visible after applying the comparison functors of Fontaine. After rehearsing various versions of weights, we explain some more re…
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…
We use knowledge of local fields to adapt Jonathan Lubin and Michael Rosen's proof of Mazur's Proposition 4.39. This changes the result about abelian varieties from only working over local fields with a finite residue field to working with local fields with an arbitrary perfect residue field of positive characteristic. We then briefly discuss the Local Class Field Theory implications of such information
In this paper we study the étale cohomology groups associated to abelian varieties. We obtain necessary and sufficient conditions for an abelian variety to have semistable reduction (or purely additive reduction which becomes semistable over a quadratic extension) in terms of the action of the absolute inertia group on the étale cohomology groups with finite coefficients.
We prove that the p-adic local Langlands correspondence for GL_2(Q_p) appears in the etale cohomology of the Lubin-Tate tower at infinity. We use global methods using recent results of Emerton on the local-global compatibility and hence our proof applies to local Galois representations which come via a restriction from global pro-modular Galois representations. We also discuss a folklore conjecture which states that the p-adic local Langlands correspondence appears in the de Rham cohomology of the Lubin-Tate tower (Drinfeld tower). We show that a study of the de Rham cohomology for perfectoid …
In this paper, we formulate and prove a duality for cohomology of curves over perfect fields of positive characteristic with coefficients in Neron models of abelian varieties. This is a global function field version of the author's previous work on local duality and Grothendieck's duality conjecture. It generalizes the perfectness of the Cassels-Tate pairing in the finite base field case. The proof uses the local duality mentioned above, Artin-Milne's global finite flat duality, the non-degeneracy of the height pairing and finiteness of crystalline cohomology. All these ingredients are organiz…
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.
Let $A$ be an abelian scheme of dimension at least four over a $\mathbb{Z}$-finitely generated integral domain $R$ of characteristic zero, and let $L$ be an ample line bundle on $A$. We prove that the set of smooth hypersurfaces $D$ in $A$ representing $L$ is finite by showing that the moduli stack of such hypersurfaces has only finitely many $R$-points. We accomplish this by using level structures to interpolate finiteness results between this moduli stack and the stack of canonically polarized varieties.
Using Buium's theory of arithmetic differential characters, we construct a filtered $F$-isocrystal ${\bf H}(A)_K$ associated to an abelian scheme $A$ over a $p$-adically complete discrete valuation ring with perfect residue field. As a filtered vector space, ${\bf H}(A)_K$ admits a natural map to the usual de Rham cohomology of $A$, but the Frobenius operator comes from arithmetic differential theory and is not the same as the usual crystalline one. When $A$ is an elliptic curve, we show that ${\bf H}(A)_K$ has a natural integral model ${\bf H}(A)$, which implies an integral refinement of a re…
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 abelian varieties that have both prime dimension and nontrivial endomorphism ring. The proof is based on …
We show that the constructions done in part I generalize their classical counterparts: firstly, the classical Beilinson regulator is induced by the abstract Chern class map from $BGL$ to the Deligne cohomology spectrum. Secondly, Arakelov motivic cohomology is a generalization of arithmetic $K$-theory and arithmetic Chow groups. Finally, we give a conceptual explanation of the height pairing: it is given by the natural pairing of motivic homology and Arakelov motivic cohomology.
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 …
It is shown that for a perverse sheaf $K$ on an abelian variety $X$ the integers $i$ for which the cohomology $H^i(X,K)$ does not vanish define an interval in the number line (under certain conditions on the field of definition of $K$)
We use Burgos theory of arithmetic Chow groups to exhibit a realization of the degree zero part of the polylogarithm on abelian schemes in Deligne-Beilinson cohomology.
In this paper we construct arithmetic analogs of the Riemann-Roch theorem and Serre's duality for line bundles. This improves on the works of Tate and van der Geer - Schoof. We define $H^0(L)$ and $H^1(L)$ as some convolution of measures structures. The $H^1$ is defined by a procedure very similar to the usual Cech cohomology. We get Serre's duality as Pontryagin duality of convolution structures. We get separately Riemann-Roch formula and Serre's duality. Instead of using the Poisson summation formula, we basically reprove it. The whole theory is pretty much parallel to the geometric case.
We study when kernels of inflation maps associated to extraspecial p-groups in stable group cohomology are generated by their degree two components. This turns out to be true if the prime is large enough compared to the rank of the elementary abelian quotient, but false in general.
In this Note we prove the vanishing of (twisted) Koszul cohomology groups $K_{p,1}$ of an abelian variety with values in powers of an ample line bundle. It complements the work of G. Pareschi on the property $(N_p)$.
We construct the universal Mumford curve of given genus as a family of Mumford curves over the deformation space of degenerate curves in the category of arithmetic formal geometry. Furthermore, we give explicit formulas of abelian differentials and their periods of the universal Mumford curve.
The primitive cohomology of the theta divisor of a principally polarized abelian variety of dimension $g$ is a Hodge structure of level $g-3$. The Hodge conjecture predicts that it is contained in the image, under the Abel-Jacobi map, of the cohomology of a family of curves in the theta divisor. In this paper we use the Prym map to show that this version of the Hodge conjecture is true for the theta divisor of a general abelian fivefold.
Let $ϕ:X\dashrightarrow X$ be a dominant rational map of a smooth variety and let $x\in X$, all defined over $\bar{\mathbb Q}$. The dynamical degree $δ(ϕ)$ measures the geometric complexity of the iterates of $ϕ$, and the arithmetic degree $α(ϕ,x)$ measures the arithmetic complexity of the forward $ϕ$-orbit of $x$. It is known that $α(ϕ,x)\leδ(ϕ)$, and it is conjectured that if the $ϕ$-orbit of $x$ is Zariski dense in $X$, then $α(ϕ,x)=δ(ϕ)$, i.e., arithmetic complexity equals geometric complexity. In this note we prove this conjecture in the case that $X$ is an abelian variety, extending earl…
We consider the loci of d-elliptic curves in $M_2$, and corresponding loci of d-elliptic surfaces in $A_2$. We show how a description of these loci as quotients of a product of modular curves can be used to calculate cohomology of natural local systems on them, both as mixed Hodge structures and $\ell$-adic Galois representations. We study in particular the case d=2, and compute the Euler characteristic of the moduli space of n-pointed bi-elliptic genus 2 curves in the Grothendieck group of Hodge structures.
We place the representation variety in the broader context of abelian and nonabelian cohomology. We outline the equivalent constructions of the moduli spaces of flat bundles, of smooth integrable connections, and of holomorphic integrable connections over a compact Kaehler manifold. In addition, we describe the moduli space of Higgs bundles and how it relates to the representation variety. We attempt to avoid abstraction, but strive to present and clarify the unifying ideas underlying the theory.
Let $X$ be a proper, smooth, and geometrically connected curve of genus $g(X)\ge 1$ over a $p$-adic local field. We prove that there exists an effectively computable open affine subscheme $U\subset X$ with the property that $period (X)=1$, and $index (X)$ equals $1$ or $2$ (resp. $period(X)=index (X)=1$, assuming $period (X)=index (X)$), if (resp. if and only if) the exact sequence of the geometrically abelian fundamental group of $U$ splits. We compute the torsor of splittings of the exact sequence of the geometrically abelian absolute Galois group associated to $X$, and give a new characteri…
Let f be a degeneration of Kahler manifolds. The local invariant cycle theorem states that for a smooth fiber of the degeneration, any cohomology class, invariant under the monodromy action, rises from a global cohomology class. Instead of the classical cohomology, one may consider the non-abelian cohomology. This note demonstrates that the analogous non-abelian version of the local invariant cycle theorem does not hold if the first non-abelian cohomology is the moduli space (universal categorical quotient) of the representations of the fundamental group.
We establish a, and conjecture further, relationship between the existence of subvarieties representing minimal cohomology classes on principally polarized abelian varieties, and the generic vanishing of certain sheaf cohomology. The main ingredient is the Generic Vanishing criterion of math.AG/0608127, based on the Fourier-Mukai transform.
We construct some non-arithmetic ball quotients as branched covers of a quotient of an Abelian surface by a finite group, and compare them with lattices that previously appear in the literature. This gives an alternative construction, which is independent of the computer, of some lattices constructed by the author with Parker and Paupert.
