×

\(L\)-functions and Tamagawa numbers of motives. (English) Zbl 0768.14001

The Grothendieck Festschrift, Collect. Artic. in Honor of the 60th Birthday of A. Grothendieck. Vol. I, Prog. Math. 86, 333-400 (1990).
[For the entire collection see Zbl 0717.00008.]
Deligne (1979) and Beilinson (1985) stated conjectures on the values at integer points of \(L\)-functions associated with motives. These values were conjectured to be expressible in terms of periods and regulators, but only up to (non-zero) rational factors. In spite of several deep results (due to many people) on special cases of the conjectures, most of them have remained unproven until today. In the paper under review the \(\mathbb{Q}^\times\)-ambiguity is removed by the introduction of the notion of a Tamagawa number for motives. The definition of such a Tamagawa number is (as usual) by means of suitable measures on adelic and global points of suitable abelian groups associated with a motive. The local Haar measures on the groups of local points then give the inverse local factors of the \(L\)-function of the motive. Roughly speaking, these groups are determined by the (Galois) cohomology of some structure (called a motivic pair) believed to be determined by a motive. The conjecture says that this Tamagawa number can be expressed as the quotient of two integers: the order of a well defined (zeroth) Galois cohomology group, and the order of a Tate-Shafarevich group associated with the motive. This last group is conjectured to be finite. Partial results supporting the conjecture were obtained by the second author in the case of the Tate motive \(\mathbb{Q}(r)\), related to the Riemann zeta function, and the case of the motive \(H^1(E)(2)\) of an elliptic curve \(E\) with complex multiplication.
After a motivational introduction where the notion of a Tamagawa number of motives is already advocated by the remark that the conjectures of Deligne and Beilinson are equivalent to the rationality of a kind of Tamagawa number, a short overview of the most important properties of the Fontaine-Messing rings \(B^+_{DR}\), \(B_{DR}\), \(B^+_{crys}\) and \(B_{crys}\) is given.
The next section is concerned with a formula relating the Coates-Wiles homomorphism in the local theory of cyclotomic fields and the Fontaine-Messing theory of \(p\)-adic periods. This homomorphism turns out to be closely related to the boundary map in an exact cohomology sequence for \(B^+_{crys}\). This result is used later on in the proof of the main conjecture for the Tate motive \(\mathbb{Q}(r)\).
In the following two sections the necessary local tools for the Tamagawa number and the Tate-Shafarevich group of a motive are introduced. Here a motive is to be thought as some universal cohomology \(H^i(X,\mathbb{Z}(n))\) of a smooth, complete variety \(X\). Let \(K\) be a finite extension of \(\mathbb{Q}_p\), with maximal unramified subfield \(K_0\) (which is just the fraction field of the Witt vectors \(W(k)\) of the residue field \(k\) of \(K)\), and write \(H^i(K,V)\) for the Galois cohomology \(H^i(\text{Gal}(\overline K/K),V)\), where \(V\) is a finite dimensional \(\mathbb{Q}_p\)-vector space with a continuous action of \(G_K=\text{Gal}(\overline K/K)\). For such \(V\) define \(\text{Crys}(V)=H^0(K,B_{crys}\otimes V)\) and \(DR(V)=H^0(K,B_{DR}\otimes V)\). \(\text{Crys}(V)\) is a \(K_0\)-vector space with a frobenius \(f\), and there is an embedding \(K\otimes_{K_0}\text{Crys}(V)\hookrightarrow DR(V)\). The filtration on \(B_{DR}\) induces a decreasing filtration \(\{DR(V)^i\}_{i\in\mathbb{Z}}\) on \(DR(V)\). One has the following inequalities \(\dim_{K_0}\text{Crys}(V)\leq\dim_KDR(V)\leq\dim_{\mathbb{Q}_p}V\). When \(\dim_{K_0}\text{Crys}(V)=\dim_{\mathbb{Q}_p}V\) (resp. when \(\dim_KDR(V)=\dim_{\mathbb{Q}_p}V)\) \(V\) is called a crystalline (resp. de Rham) representation of \(G_K\). Then, for a prime number \(\ell\) and a finite dimensional \(\mathbb{Q}_\ell\)-vector space \(V\) with continuous \(G_K\)- action one defines the exponential, finite and geometric parts of \(H^1(K,V)=H^1(G_K,V)\), \(H^1_e(K,V)\subset H^1_f(K,V)\subset H^1_g(K,V)\subset H^1(K,V)\), as follows. If \(\ell\neq p\), let \(H^1_e(K,V)=\{0\}\), \(H^1_f(K,V)=\text{Ker}(H^1(K,V)\to H^1(K_{nr},V))\), \(H^1_g(K,V)=H^1(K,V)\), where \(K_{nr}\) is the maximal unramified extension of \(K\). If \(\ell=p\), let \begin{align*} H^1_e(K,V)&=\text{Ker}(H^1(K,V)\to H^1(K,B^{f+1}_{crys}\otimes V)),\\ H^1_f(K,V)&=\text{Ker}(H^1(K,V)\to H^1(K,B_{crys}\otimes V)),\\ H^1_g(K,V)&=\text{Ker}(H^1(K,V)\to H^1(K,B_{DR}\otimes V)). \end{align*} The \(H^1_f(K,V)\) and \(H^1_g(K,V)\) represent classes of extensions of the form \(0\to V\to E\to\mathbb{Q}_\ell\to 0\), such that if \(V\) is unramified and \(\ell\neq p\), \(E\) is unramified iff its class is in \(H^1_f(K,V)\). If \(\ell=p\), and \(V\) is crystalline (resp. de Rham), then so is \(E\) iff its class lies in \(H^1_f(K,V)\) (resp. \(H^1_g(K,V))\). For a prime \(\ell\) and a free \(\mathbb{Z}_\ell\)-module \(T\) of finite rank and with a continuous \(G_K\)-action, one defines \(H^1_*(K,T)\overset{\text{def}}{=}\iota^{-1}(H^1_*(K,T\otimes\mathbb{Q}))\) with \(*=e,f,g\) and \(\iota:H^1(K,T)\to H^1(K,T\otimes\mathbb{Q})\). In particular, one sees that \(H^1_*(K,T)\) contains the torsion part of \(H^1(K,T)\). For a free \(\hat{\mathbb{Z}}\)-module \(T\) of finite rank and with continuous \(G_K\)-action, one defines \(H^1_*(K,T)=\prod H^1_*(K,T_\ell)\), where \(*=e,f,g\) and \(T_\ell=T\otimes_{\hat{\mathbb{Z}}}\mathbb{Z}_\ell\). Using exact sequences relating the \(B^+_{crys}\), \(B^+_{DR}\), \(B_{crys}\) and \(B_{DR}\) one obtains interesting relations between the various cohomology groups. Also, one can define an exponential map \(\exp:DR(V)/DR(V)^0\to H^1_e(K,V)\), which is surjective and has kernel \(\text{Crys}(V)^{f=1}/H^0(K,V)\). To relate these notions to \(L\)- functions, define local factors \(P(V,u)=P_\ell(V,u)\) by \[ P(V,u)=\begin{cases}\text{det}_{\mathbb{Q}_\ell}(1-f_Ku:H^0(K_{nr},V))\in\mathbb{Q}_\ell[u] & \text{ if } \ell\neq p \\ \text{det}_{K_0}(1-f_Ku:\text{Crys}(V))\in K_0[u]& \text{ if } \ell=p,\end{cases} \] where, for \(\ell\neq p\), \(f_K\) denotes the action of an element of \(G_K\) which acts on \(\mathbb{Z}_\ell(-1)\) by \(p^{[K_0:\mathbb{Q}_p]}\). If \(\ell=p\), \(f_K\) denotes the \(K_0\)- linear map \(f^{[K_0:\mathbb{Q}_p]}\). Assume \(P(V,1)\neq 0\), then the following results are proved:
(i)
If \(\ell\neq p\), if \(V\) is unramified and \(T\) is a \(G_K\)-stable \(\mathbb{Z}_\ell\)-sublattice in \(V\), then \(\#H^1_f(K,T)=| P(V,1)|_\ell^{-1}\), where \(|\;|_\ell\) denotes the normalized absolute value of \(\mathbb{Q}_\ell\);
(ii)
if \(\ell=p\), \(K\) is unramified over \(\mathbb{Q}_p\) and \(V\) is crystalline, and some other condition is satisfied, then one may construct a Galois stable sublattice \(T\subset V\) and one has \(\mu(H^1_f(K,T))=| P(V,1)|_p^{-1}\), where \(|\;|_p\) is the absolute value on \(K=K_0\) such that \(| p|=p^{-1}\). \(\mu\) is the Haar measure of \(H^1_f(K,V)\) induced from the Haar measure of \(D/D^0\) having total measure 1 via the exponential map \(\exp:D(V)/D(V)^0\xrightarrow{\sim} H^1_e(K,V)=H^1_f(K,V)\) in this situation. Also, a formula for the measure \(\mu(H^1(K,\hat{\mathbb{Z}}(r)))\) is derived.

Now turn to the global situation (basically over \(\mathbb{Q})\). The notion of a motivic pair \((V,D)\) is introduced. This is a pair of finite dimensional \(\mathbb{Q}\)-vector spaces with certain compatibilities and subject to a set of axioms. \(D\) has a finite decreasing filtration by \(\mathbb{Q}\)-vector spaces \(D^i\), and \(V\otimes\mathbb{A}_f\) has a continuous \(\mathbb{A}_f\)-linear Galois action such that \(V\subset V\otimes\mathbb{A}_f\) is stable under \(\text{Gal}(\mathbb{C}/\mathbb{R})\subset\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\). Also, for any finite prime \(p\) there is an isomorphism of \(\mathbb{Q}_p\)-vector spaces \(\theta_p:D_p=D\otimes\mathbb{Q}_p\xrightarrow{\sim} DR(V_p)=DR(V\otimes\mathbb{Q}_p)\) preserving filtrations, and for \(p=\infty\), there is an isomorphism of \(\mathbb{R}\)-vector spaces \(\theta_\infty:D_\infty\xrightarrow{\sim}(V_\infty\otimes_\mathbb{R}\mathbb{C})^+\), where \(^+\) denotes the \(\text{Gal}(\mathbb{C}/\mathbb{R})\)-fixed part. The notion of weights for such a motivic pair is introduced. For a finite set of places of \(\mathbb{Q}\) containing \(\infty\), and a motivic pair \((V,D)\) of weights \(\leq w\), one defines the \(L\)-function \(L_S(V,s)=\prod_{p\notin S}P_p(V,p^{-s})^{-1}\). This converges absolutely for \({\mathfrak R}(s)>w/2+1\). For a \(\mathbb{Z}\)-lattice \(M\) in \(V\) such that \(M\otimes\hat{\mathbb{Z}}\) is \(\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\)-stable in \(V\otimes\mathbb{A}_f\), one defines \(A(\mathbb{Q}_p)=H^1_f(\mathbb{Q}_p,M\otimes\hat{\mathbb{Z}})\) if \(p<\infty\); \(A(\mathbb{Q}_p)=((D_\infty\otimes_\mathbb{R}\mathbb{C})/(D^0_\infty\otimes_\mathbb{R}\mathbb{C})+M))^+\) if \(p=\infty\).
Also, one can define the ‘global points’ \(A(\mathbb{Q})\). All these matters are inspired by Beilinson’s conjecture on the regulator map from \(K\)- theory to cohomology including the Bloch-Grayson suggestion of taking into account proper regular models of varieties over \(\text{Spec}(\mathbb{Z})\). For an isomorphism \(\omega:\text{det}_\mathbb{Q}(D/D^0)\xrightarrow{\sim}\mathbb{Q}\) (which induces one locally for every place \(p\) of \(\mathbb{Q})\), one obtains a measure for all \(p\notin S:\mu_{p,\omega}(A(\mathbb{Q}_p))=P_p(V,1)\), and for the \(L\)-function one gets (assume the weights are \(\leq-3)\): \(L_S(V,0)=\prod_{p\notin S}\mu_{p,\omega}(A(\mathbb{Q}_p))\). (This must be modified for weights \(- 1\), \(-2\).) It makes sense to define the total measure \(\mu=\prod_{p<\infty}\mu_{p,\omega}\) on \(\prod_{p\leq\infty}A(\mathbb{Q}_p)\) and to define the Tamagawa number \(\text{Tam}(M)=\mu((\prod A(\mathbb{Q}_p))/A(\mathbb{Q}))\). If \(M=H^{\overline m}(X)(r)\), one hopes to be able to associate with it a motivic pair \((V,D)\), and to define the Tate-Shafarevich group \(\text{Ш}(M)\) as the kernel of the map \[ \alpha_M:\frac{H^1(\mathbb{Q},M\otimes\mathbb{Q}/\mathbb{Z})}{A(\mathbb{Q})\otimes\mathbb{Q}/\mathbb{Z}}\to\bigoplus_{p\leq\infty}\frac{H^1(\mathbb{Q}_p,M\otimes\mathbb{Q}/ \mathbb{Z})}{A(\mathbb{Q}_p)\otimes\mathbb{Q}/\mathbb{Z}}. \] The final conjecture becomes: Assume \((V,D)\) comes from a motive, and let \(M\) be a \(\mathbb{Z}\)-lattice in \(V\) such that \(M\otimes\hat{\mathbb{Z}}\) is Galois stable in \(V\otimes\mathbb{A}_f\). Then \(\text{Ш}(M)\) is finite, and \(\text{Tam}(M)=\#(H^0(\mathbb{Q},M^*\otimes\mathbb{Q}/\mathbb{Z}(1)))/\#(\text{Ш}(M))\). The conjecture is shown to be ‘isogeny invariant’ in a suitable sense.

MSC:

14A20 Generalizations (algebraic spaces, stacks)
11G40 \(L\)-functions of varieties over global fields; Birch-Swinnerton-Dyer conjecture
14G10 Zeta functions and related questions in algebraic geometry (e.g., Birch-Swinnerton-Dyer conjecture)

Biographic References:

Grothendieck, Alexander

Citations:

Zbl 0717.00008
PDFBibTeX XMLCite