In this paper we prove the Tamagawa number conjecture of Bloch and Kato for CM elliptic curves using a new explicit description of the specialization of the elliptic polylogarithm. The Tamagawa number conjecture describes the special values of the L-function of a CM elliptic curve in terms of the regulator maps of the K-theory of the variety into Deligne and etale cohomology. The regulator map to Deligne cohomology was computed by Deninger with the help of the Eisenstein symbol. For the Tamagawa number conjecture one needs an understanding of the $p$-adic regulator on the subspace of K-theory defined by the Eisenstein symbol. This is accomplished by giving a new explicit computation of the specialization of the elliptic polylogarithm sheaf. It turns out that this sheaf is an inverse limit of $p^r$-torsion points of a certain one-motive. The cohomology classes of the elliptic polylogarithm sheaf can then be described by classes of sections of certain line bundles. These sections are elliptic units and going carefully through the construction one finds an analog of the elliptic Soulé elements. Finally Rubin's ``main conjecture'' of Iwasawa theory is used to compare these elements with etale cohomology.
We prove a uniform version of a finiteness conjecture due to Rasmussen and Tamagawa in the case of CM abelian varieties. This extends recent results concerning CM elliptic curves to CM abelian varieties of arbitrary dimension.
We test numerically the refined Manin's conjecture about the asymptotics of points of bounded height on Fano varieties for some diagonal cubic surfaces.
We propose a formulation of the Equivariant Tamagawa Number Conjecture for modular motives with coefficients in universal deformation rings and Hecke algebras; something which seems to have been heretofore missing because the complexes of Galois cohomology required were not known to be perfect. We show that the fundamental line of this conjecture satisfies the expected compatibility property at geometric points (more precisely at the points satisfying the Weight-Monodromy conjecture) and is compatible with level-lowering and level-raising. Combining these properties with the methods of Euler a…
The local Tamagawa number conjecure, first formulated by Fontaine and Perrin-Riou, expresses the compatibility of the (global) Tamagawa number conjecture on motivic $L$-functions with the functional equation. The local conjecture was proven for Tate motives over finite unramified extensions $K/\mathbb{Q}_p$ by Bloch and Kato. We use the theory of $(ϕ, Γ_K)$-modules and a reciprocity law due to Cherbonnier and Colmez to provide a new proof in the case of unramified extensions, and to prove the conjecture for the motive $\mathbb{Q}_p(2)$ over certain tamely ramified extensions.
The purpose of this article is to give a proof of the $C_{EP,F}(V)$ conjecture for some semi-stable representations and of the $δ_{\Zp}(V)$ conjecture for some crystalline representations. There are two major ingredients: first, the computation of Tamagawa numbers using a variation on results of Fontaine-Laffaille and of Bloch-Kato, and second some continuity results for Bloch-Kato's exponential which were proved by Perrin-Riou.
In the first part of this text, we define motivic Artin L-fonctions via a motivic Euler product, and show that they coincide with the analogous functions introduced by Dhillon and Minac. In the second part, we define under some assumptions a motivic Tamagawa number and show that it specializes to the Tamagawa number introduced by Peyre in the context of Manin's conjectures about rational points of bounded height on Fano varieties.
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 consider diagonal cubic surfaces defined by an equation of the form ax^3+by^3+cz^3+dt^3 = 0. Numerically, one can find all rational points of height < B for B in the range of up to 100 000, thanks to a program due to D. J. Bernstein. On the other hand, there are precise conjectures concerning the constants in the asymptotics of rational points of bounded height due to Manin, Batyrev and the authors. Changing the coefficients one can obtain cubic surfaces with rank of the Picard group varying between 1 and 4. We check that numerical data are compatible with the above conjectures. In a previo…
Let ${\cal L} = (L, \| \cdot \|_v)$ be an ample metrized invertible sheaf on a smooth quasi-projective algebraic variety $V$ defined over a number field. Denote by $N(V,{\cal L},B)$ the number of rational points in $V$ having ${\cal L}$-height $\leq B$. We consider the problem of a geometric and arithmetic interpretation of the asymptotic for $N(V,{\cal L},B)$ as $B \to \infty$ in connection with recent conjectures of Fujita concerning the Minimal Model Program for polarized algebraic varieties. We introduce the notions of ${\cal L}$-primitive varieties and ${\cal L}$-primitive fibrations. For…
In this paper, we prove a prime-to-p version of Grothendieck's anabelian conjecture for hyperbolic curves over finite fields of characteristic p>0, whose original (full profinite) version was proved by Tamagawa in the affine case and by Mochizuki in the proper case.
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…
In this paper we prove a refined version of a theorem by Tamagawa and Mochizuki on isomorphisms between (tame) arithmetic fundamental groups of hyperbolic curves over finite fields, where one "ignores" the information provided by a "small" set of primes.
The main new result is the computation of the degeneration of l-adic Eisenstein classes at the cusps. This is done by relating it to the degeneration of the elliptic polylog. These classes come from K-theory and their Hodge regulator can also be computed (see: Dirichlet motives via modula curves, on the K-theory server). This gives a new proof of a comparison conjecture of Bloch and Kato which was used in the proof of their Tamagawa number conjecture for the Riemann zeta-function. The paper contains appendices on the definition of the classical and elliptic polylog, its degeneration and the co…
This paper is a companion of the paper "Weil's conjecture for function fields" by J. Lurie and the author. We present a different exposition of essentially the same algebro-geometric proof of the Atiyah-Bott for the cohomology of Bun(G), which subsequently leads to the proof of the Tamagawa number formula for the volume of the automorphic space for function fields.
The purpose of this paper is to give a formula for the leading coefficient at $s=1$ of the $L$-function of one-motives over function fields in terms of Weil-étale cohomology, generalizing the Weil-étale version of the Birch and Swinnerton-Dyer conjecture in the authors' previous work. As a consequence we express the Tamagawa number of a torus introduced by Ono-Oesterlé in terms of Weil-étale cohomology, and reprove their Tamagawa number formula.
We compute the nef cone of the Hilbert scheme of points on a general rational elliptic surface. As a consequence of our computation, we show that the Morrison-Kawamata cone conjecture holds for these nef cones.
We show that Fujita's conjecture is true for quasi-elliptic surfaces. Explicitly, for any quasi-elliptic surface $X$ and an ample line bundle $A$ on $X$, we have $K_X + tA$ is base point free for $t \geq 3$ and is very ample for $t \geq 4$.
Let $X/C$ be a general product of elliptic curves. Our goal is to establish the Hodge-D-conjecture for $X$. We accomplish this when $\dim X \leq 5$. For $\dim X \geq 6$, we reduce the conjecture to a matrix rank condition that is amenable to computer calculation.
In the present paper, we study a new kind of anabelian phenomenon concerning the smooth pointed stable curves in positive characteristic. It shows that the topological structures of moduli spaces of curves can be understood from the viewpoint of anabelian geometry. We formulate some new anabelian-geometric conjectures relating the tame fundamental groups of curves over algebraically closed fields of characteristic $p>0$ to the moduli spaces of curves. These conjectures are generalized versions of the weak Isom-version of the Grothendieck conjecture for curves over algebraically closed fields o…
We verify the Morrison--Kawamata conjecture for a certain class of rational threefolds, namely blowups of P^3 in the base locus of a net of quadrics with no reducible members. This seems to be the first verified case of the conjecture for klt Calabi--Yau pairs in dimension 3 with non-zero boundary divisor.
We consider refined conjectures of Birch and Swinnerton-Dyer type for the Hasse-Weil-Artin L-series of abelian varieties over general number fields. We shall, in particular, formulate several new such conjectures and establish their precise relation to previous conjectures, including to the relevant special case of the equivariant Tamagawa number conjecture. We also derive a wide range of concrete interpretations and explicit consequences of these conjectures that, in general, involve a thoroughgoing mixture of difficult archimedean considerations related to refinements of the conjecture of De…
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 …
We prove the generalised Tate conjecture for H^3 of products of elliptic curves over finite fields, by slightly modifying an argument of M. Spiess concerning the Tate conjecture. We prove it fully if the elliptic curves run among at most 3 isogeny classes. We also show how things become more intricate from H^4 onwards, for more that 3 isogeny classes.
Using Calegari's result on the Fontaine-Mazur conjecture, we study the irreducibility of pure, regular, rank 3 weakly compatible systems of self-dual l-adic representations. As a consequence, we prove that the Tate conjecture holds for a family of elliptic surfaces defined over Q with geometric genus bigger than 1.
The main result of this paper is the proof for elliptic modular threefolds of conjectures on the existence and structure of a filtration on the Chow groups of smooth projective varieties. In the form we prove them these conjectures were formulated by the second-named author, but as Jannsen has shown, these conjectures are equivalent to a conjecture of Beilinson. These conjectures have previously been proved for surfaces in general, but for elliptic modular surfaces we obtain more precise results which are then used in proving the conjectures for elliptic modular threefolds.
For $N\geq 3$, we show Tate's conjecture for the elliptic modular surface $E(N)$ of level $N$ over $\mathbb{F}_p$ for a prime $p$ satisfying $p\equiv 1\mod N$ outside of a set of primes of density zero. We also prove a strong form of Tate's conjecture for $E(N)$ over any finite field of characteristic $p$ prime to $N$ under the assumption that the formal Brauer group of $E(N)$ is of finite height.
I compute explicitly the regulator map on $K_4(X)$ for an arbitrary curve $X$ over a number field. Using this and Beilinson's theorem about regulators for modular curves ([B2]) I prove a formula expressing the value of the $L$-function $L(E,s)$ of a modular elliptic curve $E$ over $\Bbb Q$ at $s=3$ by the double Eisenstein-Kronecker series.
Let H be a discrete cocompact subgroup of SL_2(C). We conjecture that the quotient manifold X=SL_2(C)/H contains infinitely many non-isogeneous elliptic curves and prove that this is indeed the case if Schanuel's conjecture holds. We also prove it in the special case where the intersection of H and SL_2(R) is cocompact in SL_2(R). Furthermore, we deduce some consequences for the geodesic length spectra of real hyperbolic 2- and 3-folds.
We prove the Doran-Harder-Thompson conjecture in the case of elliptic curves by using ideas from SYZ mirror symmetry. The conjecture claims that when a Calabi-Yau manifold $X$ degenerates to a union of two quasi-Fano manifolds (Tyurin degeneration), a mirror Calabi-Yau manifold of $X$ can be constructed by gluing the two mirror Landau-Ginzburg models of the quasi-Fano manifolds. The two crucial ideas in our proof are to obtain a complex structure by gluing the underlying affine manifolds and to construct the theta functions from the Landau-Ginzburg superpotentials.
The Virasoro conjecture proposed by Eguchi-Hori-Xiong and S. Katz predicts that the generating function of Gromov-Witten invariants is annihilated by infinitely many differential operators which form a half branch of the Virasoro algebra. In this paper, we study the genus-1 case of the conjecture. In particular, we will give some necessary and sufficient conditions for the genus-1 Virasoro conjecture.
