In this paper we obtain a Poitou-Tate exact sequence for finite and flat group schemes over a global function field. We also extend the duality theorems for 1-motives over number fields obtained by D.Harari and T.Szamuely to the function field case.
We prove several duality theorems for the Galois and etale cohomology of 1-motives defined over local and global fields and establish a 12-term Poitou-Tate type exact sequence. The results give a common generalisation and sharpening of well-known theorems by Tate on abelian varieties as well as results by Tate/Nakayama and Kottwitz on algebraic tori.
Let $M$ be a T-motive. We introduce the notion of duality for $M$. Main results of the paper (we consider uniformizable $M$ over $F_q[T]$ of rank $r$, dimension $n$, whose nilpotent operator $N$ is 0): 1. Algebraic duality implies analytic duality (Theorem 5). Explicitly, this means that the lattice of the dual of $M$ is the dual of the lattice of $M$, i.e. the transposed of a Siegel matrix of $M$ is a Siegel matrix of the dual of $M$. 2. Let $n=r-1$. There is a 1 -- 1 correspondence between pure T-motives (all they are uniformizable), and lattices of rank $r$ in $C^n$ having dual (Corollary 8…
We develop a theory of Tannakian Galois groups for t-motives and relate this to the theory of Frobenius semilinear difference equations. We show that the transcendence degree of the period matrix associated to a given t-motive is equal to the dimension of its Galois group. Using this result we prove that Carlitz logarithms of algebraic functions that are linearly independent over the rational function field are algebraically independent.
In this paper, we propose a definition of Neron models of arbitrary Deligne 1-motives over Dedekind schemes, extending Neron models of semi-abelian varieties. The key property of our Neron models is that they satisfy a generalization of Grothendieck's duality conjecture in SGA 7 when the residue fields of the base scheme at closed points are perfect. The assumption on the residue fields is unnecessary for the class of 1-motives with semistable reduction everywhere. In general, this duality holds after inverting the residual characteristics. The definition of Neron models involves careful treat…
In the arithmetic of function fields Drinfeld modules play the role that elliptic curves take on in the arithmetic of number fields. As higher dimensional generalizations of Drinfeld modules, and as the appropriate analogues of abelian varieties, G. Anderson introduced pure t-motives. In this article we study the arithmetic of the later. We investigate which pure t-motives are semisimple, that is, isogenous to direct sums of simple ones. We give examples for pure t-motives which are not semisimple. Over finite fields the semisimplicity is equivalent to the semisimplicity of the endomorphism al…
We define Albanese and Picard 1-motives of smooth (simplicial) schemes over a perfect field. For smooth proper schemes, these are the classical Albanese and Picard varieties. For a curve, these are t he homological 1-motive of Lichtenbaum and the motivic $H^1$ of Deligne. This paper proves a conjecture of Deligne about providing an algebraic description, via 1-motives, of the first homology and cohomology groups of a complex algebraic variety. (L. Barbieri-Viale and V. Srinivas have also proved this independently.) It also contains a purely algebraic proof of Lichtenbaum's conjecture that the …
This is my habilitation thesis. As the tradition wants, I tried to give an introduction of my field of research. I post it on the ArXiv with the hope it can be useful to young researchers looking for a short and friendly text on cohomologies of algebraic varieties, periods, algebraic cycles and motives. I might one day find the energy to expand these notes and maybe translate them in English. In the meantime, please feel free to ask questions. The first sections of this text propose an introduction to the theory, I tried to present points of view and examples which are not always stressed in t…
We prove that the existence of an automorphism of finite order on a (defined over a number field) variety X implies the existence of algebraic linear relations between the logarithm of certain periods of X and the logarithm of special values of the Gamma-function. This implies that a slight variation of results by Anderson, Colmez and Gross on the periods of CM abelian varieties is valid for a larger class of CM motives. In particular, we prove a weak form of the period conjecture of Gross-Deligne. Our proof relies on the arithmetic fixed point formula (equivariant arithmetic Riemann-Roch theo…
We prove finiteness results for Tate--Shafarevich groups in degree 2 associated with 1--motives, rely them to Leopoldt's conjecture, and present an example of a semiabelian variety with an infinite Tate--Shafarevich group in degree 2. We also establish an arithmetic duality theorem for 1--motives over number fields which complements earlier results of Harari and Szamuely in this direction.
Building upon our arithmetic duality theorems for 1-motives, we prove that the Manin obstruction related to a finite subquotient $\Be (X)$ of the Brauer group is the only obstruction to the Hasse principle for rational points on torsors under semiabelian varieties over a number field, assuming the finiteness of the Tate-Shaferevich group of the abelian quotient. This theorem answers a question by Skorobogatov in the semiabelian case and is a key ingredient of recent work on the elementary obstruction for homogeneous spaces over number fields. We also establish a Cassels-Tate type dual exact se…
We describe some new general constructions of $p$-adic $L$-functions attached to certain arithmetically defined complex $L$-functions coming from motives over $\bold Q$ with coefficiens in a number field $T$, with $[T:\bold Q]<\infty$. These constructions are equivalent to proving some generalized Kummer congruences for critical special values of these complex $L$-functions.
Michael HARRIS defined the arithmetic automorphic periods for certain cuspidal representations of $GL_{n}$ over quadratic imaginary fields in his Crelle paper 1997. He also showed that critical values of automorphic L-functions for $GL_{n}\times GL_{1}$ can be interpreted in terms of these arithmetic automorphic periods. In the thesis, we generalize his results in two ways. Firstly, the arithmetic automorphic periods have been defined over general CM fields. We also prove that these periods factorize as products of local periods over infinity places. Secondly, we show that critical values of a…
We show the compactly supported motive of the moduli stack of degree $n$ rational curves on the weighted projective stack $\mathcal{P}(a,b)$ is of mixed Tate type over any base field $K$ with $\text{char}(K) \nmid a,b$ and has class $\mathbb{L}^{(a+b)n+1}-\mathbb{L}^{(a+b)n-1}$ in the Grothendieck ring of stacks. In particular, this improves upon the result of [HP] regarding the arithmetic invariant of the moduli stack $\mathcal{L}_{1,12n} := \mathrm{Hom}_{n}(\mathbb{P}^1, \overline{\mathcal{M}}_{1,1})$ of stable elliptic fibrations over $\mathbb{P}^{1}$ with $12n$ nodal singular fibers and a …
In this note we relate three topics for arithmetic schemes: a general duality for étale constructible torsion sheaves, an étale homology theory, and a Gersten-Bloch-Ogus-Kato complex. The results in this paper have been used in other papers of the authors ([JS], [Sa], [SaH] in the list of references).
Pure t-motives were introduced by G. Anderson as higher dimensional generalizations of Drinfeld modules, and as the appropriate analogs of abelian varieties in the arithmetic of function fields. In this article we develop their theory regarding morphisms, isogenies, Tate modules, and local shtukas. The later are the analog of p-divisible groups. We investigate which pure t-motives are semisimple, that is, isogenous to direct sums of simple ones. We give examples for pure t-motives which are not semisimple. Over finite fields the semisimplicity is equivalent to the semisimplicity of the endomor…
In this paper, we prove that the arithmetic automorphic periods for $GL_{n}$ over a CM field factorize through the infinite places. This generalizes a conjecture of Shimura in 1983, and is predicted by the Langlands correspondence between automorphic representations and motives.
In this article we introduce and study a motivic category in the arithmetic of function fields, namely the category of motives over an algebraic closure $L$ of a finite field with coefficients in a global function field over this finite field. It is semi-simple, non-neutral Tannakian and possesses all the expected fiber functors. This category generalizes the previous construction due to Anderson and is more relevant for applications to the theory of $G$-Shtukas, such as formulating the analog of the Langlands-Rapoport conjecture over function fields. We further develop the analogy with the ca…
If K is a number field, arithmetic duality theorems for tori and complexes of tori over K are crucial to understand local-global principles for linear algebraic groups over K. When K is a global field of positive characteristic, we prove similar arithmetic duality theorems, including a Poitou-Tate exact sequence for Galois hypercohomology of complexes of tori. One of the main ingredients is Artin-Mazur-Milne duality theorem for fppf cohomology of finite flat commutative group schemes.
Rigid analytic 1-motives and conjugate uniformization of abeloid varieties
Morningside Center of Mathematics, Chinese Academy of Sciences(中国科学院数学与系统科学研究院);Academy of Mathematics and Systems Science, Chinese Academy of Sciences(中国科学院数学与系统科学研究院);University of Chinese Academy of Sciences(中国科学院大学);Institute for Advanced Study in Mathematics, Harbin Institute of Technology(哈尔滨工业大学数学研究所)
The present paper is devoted to the relations between Deligne's conjecture on critical values of motivic $L$-functions and the multiplicative relations between periods of arithmetically normalized automorphic forms on unitary groups. In the first place, we combine the Ichino--Ikeda--Neal-Harris (IINH) formula -- which is now a theorem -- with an analysis of cup products of coherent cohomological automorphic forms on Shimura varieties to establish relations between certain automorphic periods and critical values of Rankin-Selberg and Asai $L$-functions of ${\rm GL}(n)\times{\rm GL}(m)$ over CM …
Let $p$ be an odd prime. We prove the cyclotomic Iwasawa Main Conjecture of K.Kato for the motive attached to an eigencuspform $f\in S_{k}(Γ_{0}(N))$ with arbitrary reduction type at $p$ under mild assumptions on the residual Galois representation $\barρ_{f}$. Under the same hypotheses, we also prove the generalized Iwasawa Main Conjecture for $p$-adic families of modular forms. The Iwasawa Main Conjecture for $f$ is deduced by a limit argument involving fundamental lines from a universal Iwasawa Main Conjecture over the universal deformation space of $\barρ_{f}$, which itself follows from the…
We discuss duality pairings on integral étale motivic cohomology groups of regular and proper schemes over algebraically closed fields, local fields, finite fields, and arithmetic schemes.
We improve the arithmetic duality formalism of the rational etale site. This improvement allows us to avoid some exotic approximation arguments on local fields with ind-rational base, thus simplifying the proofs of the previously established duality theorems in the rational etale site and making the formalism more user-friendly. In a subsequent paper, this new formulation will be used in a crucial way to study duality for two-dimensional local rings.
Colmez conjectured a product formula for periods of abelian varieties over number fields with complex multiplication and proved it in some cases. His conjecture is equivalent to a formula for the Faltings height of CM abelian varieties in terms of the logarithmic derivatives at $s=0$ of certain Artin $L$-functions. In a series of articles we investigate the analog of Colmez's theory in the arithmetic of function fields. There abelian varieties are replaced by Drinfeld modules and their higher dimensional generalizations, so-called $A$-motives. In the present article we prove the product formul…
We propose a relationship between the cohomology of arithmetic groups, and the motivic cohomology of certain (Langlands-)attached motives. The motivic cohomology group in question is that related, by Beilinson's conjecture, to the adjoint $L$-function at $s=1$. We present evidence for the conjecture using the theory of periods of automorphic forms, and using analytic torsion.
After Zagier proved that the traces of singular moduli $j(z)$ are Fourier coefficients of a weakly holomorphic modular form, various properties of the traces of the singular values of modular functions mostly on the full modular group $PSL_2(\mathbb{Z})$ have been investigated such as their exact formulas, limiting distribution, duality, and congruences. The purpose of this paper is to generalize these arithmetic properties of traces of singular values of a weakly holomorphic modular function on the full modular group to those on a congruence subgroup $Γ_0(N)$.