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 theorem) proved by K. Koehler and the second author, and the vanishing of the equivariant analytic torsion for the Dolbeault complex.
We introduce new motivic invariants of arbitrary varieties over a perfect field. These cohomological invariants take values in the category of one-motives (considered up to isogeny in positive characteristic). The algebraic definition of these invariants presented here proves a conjecture of Deligne. Applications include some cases of conjectures of Serre, Katz and Jannsen on the independence of $\ell$ of parts of the étale cohomology of arbitrary varieties over number fields and finite fields.
In this paper, we give a description of Deligne's periods $c^\pm$ for tensor product of pure motives $M \otimes M'$ over $\mathbb{Q}$ in terms of the period invariants attached to $M$ and $M'$ by Yoshida. The period relations proved by the author and Raghuram in an earlier paper follow from the results of this paper.
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 …
We consider the crystalline realization of Deligne's 1-motives in positive characteristics and prove a comparison theorem with the De Rham realization of liftings to zero characteristic. We then show that one dimensional crystalline cohomology of an algebraic variety, defined by universal cohomological descent via de Jong's alterations, coincide with the crystalline realization of the (cohomological) Picard 1-motive, over perfect fields.
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 …
We show that the statement analogous to the Mumford-Tate conjecture for abelian varieties holds for 1-motives on unipotent parts. This is done by comparing the unipotent part of the associated Hodge group and the unipotent part of the image of the absolute Galois group with the unipotent part of the motivic fundamental group. Contains an appendix by P. Deligne. In this version: Minor corrections here and there. The Main result about the image of the Galois representations is now enriched by an adelic statement.
In this paper we prove a version of Deligne's conjecture for potentially automorphic motives, twisted by certain algebraic Hecke characters. The Hecke characters are chosen in such a way that we can use automorphic methods in the context of totally definite unitary groups.
In this article we prove some period relations for the ratio of Deligne's periods for certain tensor product motives. These period relations give a motivic interpretation for certain algebraicity results for ratios of successive critical values for Rankin-Selberg L-functions for ${\rm GL}_n \times {\rm GL}_{n'}$ proved by Günter Harder and the second author.
In this paper, we give a natural construction of mixed Tate motives whose periods are a class of iterated integrals which include the multiple polylogarithm functions. Given such an iterated integral, we construct two divisors $A$ and $B$ in the moduli spaces $\mathcal{\bar{M}}_{0,n}$ of $n$-pointed stable curves of genus 0, and prove that the cohomology of the pair $(\mathcal{\bar{M}}_{0,n}-A,B-B\cap A)$ is a framed mixed Tate motive whose period is that integral. It generalizes the results of A. Goncharov and Yu. Manin for multiple zeta values. Then we apply our construction to the dilogarit…
In this paper we introduce an automorphic variant of the Deligne conjecture for tensor product of two motives over a quadratic imaginary field. On one hand, we define some motivic periods and rewrite the Deligne conjecture in terms of these periods. On the other hand, we define the automorphic analogue of these motivic periods and then give a purely automorphic variant of the Deligne conjecture. At last, we introduce some known results of this automorphic variant.
Recently, the author defined multiple Dedekind zeta values [5] associated to a number K field and a cone C. These objects are number theoretic analogues of multiple zeta values. In this paper we prove that every multiple Dedekind zeta value over any number field K is a period of a mixed Tate motive. Moreover, if K is a totally real number field, then we can choose a cone C so that every multiple Dedekind zeta associated to the pair (K;C) is unramified over the ring of algebraic integers in K. In [7], the author proves similar statements in the special case of a real quadratic fields for a part…
In this paper, we will study the connections between the mirror symmetry of Calabi-Yau threefolds and Deligne's conjecture on the special values of the $L$-functions of critical motives. Using the theory of mirror symmetry, we will develop a method to compute the Deligne's period for a Calabi-Yau threefold in the mirror family of a one-parameter mirror pair. We will give two examples to show how this method works, and we will express the Deligne's period in terms of the classical periods of the threeform. Using this method, we will compute the Deligne's period of a Calabi-Yau threefold studied…
In this article we study the Gross-Schoen diagonal cycle on a triple product of Shimura curves at a place of bad reduction. We relate the image of the diagonal cycle under the Abel-Jacobi map to certain period integral that governs the central critical value of the Garrett-Rankin type triple product $L$-function via level raising congruences. As an application we prove certain rank $0$ case of the Bloch-Kato conjecture for the symmetric cube motive of a weight $2$ modular form.
In this article, we study the Beilinson-Bloch-Kato conjecture for motives corresponding to the Rankin-Selberg product of conjugate self-dual automorphic representations, within the framework of the Gan-Gross-Prasad conjecture. We show that if the central critical value of the Rankin-Selberg $L$-function does not vanish, then the Bloch-Kato Selmer group with coefficients in a favorable field of the corresponding motive vanishes. We also show that if the class in the Bloch-Kato Selmer group constructed from certain diagonal cycle does not vanish, which is conjecturally equivalent to the nonvanis…
We prove a character formula for some closed fine Deligne-Lusztig varieties. We apply it to compute fixed points for fine Deligne-Lusztig varieties arising from the basic loci of Shimura varieties of Coxeter type. As an application, we prove an arithmetic intersection formula for certain diagonal cycles on unitary and GSpin Rapoport-Zink spaces arising from the arithmetic Gan-Gross-Prasad conjectures. In particular, we prove the arithmetic fundamental lemma in the minuscule case, without assumptions on the residual characteristic.
Over a subfield of the field of complex numbers, the Hodge realization of a geometrical motive is defined and represented as the cohomology of a mixed Hodge DG-complex in the sense of Deligne. Both filtrations are represented by truncation functors, on a Bondarko weight complex for the weight filtration and on the De Rham motivic complex for the Hodge one. The Deligne-Beilinson realization is also constructed. This preprint partially replaces the former "Réalisation des complexes motiviques de Voevodsky".
Assuming specific instances of two general conjectures in arithmetic algebraic geometry (bijectivity of $p$-adic regulator maps, injectivity of $p$-adic Abel-Jacobi maps), we prove several cases of the $p$-part of the Tamagawa number conjecture ($p$-TNC) of Bloch-Kato and Fontaine-Perrin-Riou for (homological) motives of modular forms of even weight $\geq4$ in analytic rank $1$. More precisely, we prove our results for a large class of newforms $f$ and prime numbers $p$ that are ordinary for $f$ and such that the weight of $f$ is congruent to $2$ modulo $2(p-1)$. Inspired by work of W. Zhang i…
We formulate several variants of a conjecture relating the arithmetic degree of certain hermitian fibre bundles with the values of the logarithmic derivative of Artin's L-functions at negative integers. This generalizes conjectures by Colmez and Gross-Deligne and complements Beilinson's conjectures for the Artin motives. We announce several results in the direction of these statements.
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…
In 1980, Gross conjectured a formula for the expected leading term at $s=0$ of the Deligne--Ribet $p$-adic $L$-function associated to a totally even character $ψ$ of a totally real field $F$. The conjecture states that after scaling by $L(ψω^{-1}, 0)$, this value is equal to a $p$-adic regulator of units in the abelian extension of $F$ cut out by $ψω^{-1}$. In this paper, we prove Gross's conjecture.
In this paper, we will study the connections between the mirror symmetry of K3 surfaces and the geometry of the Legendre family of elliptic curves. We will prove that the mirror map of the Dwork family is equal to the period map of the Legendre family. This result provides an interesting explanation to the modularities of counting functions for K3 surfaces from the mirror symmetry point of view. We will also discuss the relations between the arithmetic geometry of smooth fibers of the Fermat pencil (Dwork family) and that of the smooth fibers of the Legendre family, e.g. Shioda-Inose structure…
In this paper we explore some properties of periods attached to automorphic representations of unitary groups over CM fields and the critical values of their $L$-functions. We prove a formula expressing the critical values in the range of absolute convergence in terms of Petersson norms of holomorphic automorphic forms. On the other hand, we express the Deligne period of a related motive as a product of quadratic periods and compare the two expressions by means of Deligne's conjecture.
We study the $H^2$ of certain surfaces with complex multiplication by a cyclotomic field. The periods are written in terms of values of the gamma function and the conjecture of Gross-Deligne is verified. The regulators of certain $K_1$-elements are written in terms of values of hypergeometric functions ${}_3F_2$, and we prove their non-vanishing.
At the end of the 70s, Gross and Deligne conjectured that periods of geometric Hodge structures with multiplication by an abelian number field are products of values of the gamma function at rational arguments, with exponents determined by the Hodge decomposition. We prove an alternating variant of this conjecture for smooth projective varieties acted upon by an automorphism of finite order, thus improving previous results of Maillot and Rössler. The proof relies on a product formula for periods of regular singular connections due to Saito and Terasoma.
This is a survey of recent work on values of Rankin-Selberg $L$-functions of pairs of cohomological automorphic representations that are {\it critical} in Deligne's sense. The base field is assumed to be a CM field. Deligne's conjecture is stated in the language of motives over $\QQ$, and express the critical values, up to rational factors, as determinants of certain periods of algebraic differentials on a projective algebraic variety over homology classes. The results that can be proved by automorphic methods express certain critical values as (twisted) period integrals of automorphic forms. …
The rank one Gross conjecture for Deligne-Ribet $p$-adic $L$-functions was solved in works of Darmon-Dasgupta-Pollack and Ventullo by the Eisenstein congruence among Hilbert modular forms. The purpose of this paper is to prove an analogue of the Gross conjecture for the Katz $p$-adic $L$-functions attached to imaginary quadratic fields via the congruences between CM forms and non-CM forms. The new ingredient is to apply the $p$-adic Rankin-Selberg method to construct a non-CM Hida family which is congruent to a Hida family of CM forms at the $1+\varepsilon$ specialization.
We construct a new class of Iwasawa modules, which are the number field analogues of the p-adic realizations of the Picard 1-motives constructed by Deligne in the 1970s and studied extensively from a Galois module structure point of view in our recent work. We prove that the new Iwasawa modules are of projective dimension 1 over the appropriate profinite group rings. In the abelian case, we prove an Equivariant Main Conjecture, identifying the first Fitting ideal of the Iwasawa module in question over the appropriate profinite group ring with the principal ideal generated by a certain equivari…
We prove the existence of GSpin-valued Galois representations corresponding to cohomological cuspidal automorphic representations of general symplectic groups over totally real number fields under the local hypothesis that there is a Steinberg component. This confirms the Buzzard-Gee conjecture on the global Langlands correspondence in new cases. As an application we complete the argument by Gross and Savin to construct a rank seven motive whose Galois group is of type G_2 in the cohomology of Siegel modular varieties of genus three. Under some additional local hypotheses we also show automorp…
Let $Π$ be a cohomological cuspidal automorphic representation of ${\rm GL}_{2n}(\mathbb A)$ over a totally real number field $F$. Suppose that $Π$ has a Shalika model. We define a rational structure on the Shalika model of $Π_f$. Comparing it with a rational structure on a realization of $Π_f$ in cuspidal cohomology in top-degree, we define certain periods $ω^ε(Π_f)$. We describe the behaviour of such top-degree periods upon twisting $Π$ by algebraic Hecke characters $χ$ of $F$. Then we prove an algebraicity result for all the critical values of the standard $L$-functions $L(s, Π\otimes χ)$; …
