zbMATH — the first resource for mathematics

Examples
Geometry Search for the term Geometry in any field. Queries are case-independent.
Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact.
"Topological group" Phrases (multi-words) should be set in "straight quotation marks".
au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted.
Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff.
"Quasi* map*" py: 1989 The resulting documents have publication year 1989.
so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14.
"Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic.
dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles.
py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses).
la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

Operators
a & b logic and
a | b logic or
!ab logic not
abc* right wildcard
"ab c" phrase
(ab c) parentheses
Fields
any anywhere an internal document identifier
au author, editor ai internal author identifier
ti title la language
so source ab review, abstract
py publication year rv reviewer
cc MSC code ut uncontrolled term
dt document type (j: journal article; b: book; a: book article)
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 × -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 (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 (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,(n)) of a smooth, complete variety X. Let K be a finite extension of 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 (Gal(K ¯/K),V), where V is a finite dimensional p -vector space with a continuous action of G K =Gal(K ¯/K). For such V define Crys(V)=H 0 (K,B crys V) and DR(V)=H 0 (K,B DR V). Crys(V) is a K 0 -vector space with a frobenius f, and there is an embedding K K 0 Crys(V)DR(V). The filtration on B DR induces a decreasing filtration {DR(V) i } i on DR(V). One has the following inequalities dim K 0 Crys(V)dim K DR(V)dim p V. When dim K 0 Crys(V)=dim p V (resp. when dim K DR(V)=dim p V) V is called a crystalline (resp. de Rham) representation of G K . Then, for a prime number and a finite dimensional -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 e 1 (K,V)H f 1 (K,V)H g 1 (K,V)H 1 (K,V), as follows. If p, let H e 1 (K,V)={0}, H f 1 (K,V)=Ker(H 1 (K,V)H 1 (K nr ,V)), H g 1 (K,V)=H 1 (K,V), where K nr is the maximal unramified extension of K. If =p, let

H e 1 (K,V)=Ker(H 1 (K,V)H 1 (K,B crys f+1 V)),
H f 1 (K,V)=Ker(H 1 (K,V)H 1 (K,B crys V)),
H g 1 (K,V)=Ker(H 1 (K,V)H 1 (K,B DR V))·

The H f 1 (K,V) and H g 1 (K,V) represent classes of extensions of the form 0VE 0, such that if V is unramified and p, E is unramified iff its class is in H f 1 (K,V). If =p, and V is crystalline (resp. de Rham), then so is E iff its class lies in H f 1 (K,V) (resp. H g 1 (K,V)). For a prime and a free -module T of finite rank and with a continuous G K -action, one defines H * 1 (K,T)= def ι -1 (H * 1 (K,T)) with *=e,f,g and ι:H 1 (K,T)H 1 (K,T). In particular, one sees that H * 1 (K,T) contains the torsion part of H 1 (K,T). For a free ^-module T of finite rank and with continuous G K -action, one defines H * 1 (K,T)=H * 1 (K,T ), where *=e,f,g and T =T ^ . 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 H e 1 (K,V), which is surjective and has kernel Crys(V) f=1 /H 0 (K,V). To relate these notions to L- functions, define local factors P(V,u)=P (V,u) by

P(V,u)=det (1-f K u:H 0 (K nr ,V)) [u]ifpdet K 0 (1-f K u:Crys(V))K 0 [u]if=p,

where, for p, f K denotes the action of an element of G K which acts on (-1) by p [K 0 : p ] . If =p, f K denotes the K 0 - linear map f [K 0 : p ] . Assume P(V,1)0, then the following results are proved:

(i) If p, if V is unramified and T is a G K -stable -sublattice in V, then #H f 1 (K,T)=|P(V,1)| -1 , where || denotes the normalized absolute value of ;

(ii) if =p, K is unramified over p and V is crystalline, and some other condition is satisfied, then one may construct a Galois stable sublattice TV and one has μ(H f 1 (K,T))=|P(V,1)| p -1 , where || p is the absolute value on K=K 0 such that |p|=p -1 . μ is the Haar measure of H f 1 (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 @>>>H e 1 (K,V)=H f 1 (K,V) in this situation. Also, a formula for the measure μ(H 1 (K, ^(r))) is derived.

Now turn to the global situation (basically over ). The notion of a motivic pair (V,D) is introduced. This is a pair of finite dimensional -vector spaces with certain compatibilities and subject to a set of axioms. D has a finite decreasing filtration by -vector spaces D i , and V𝔸 f has a continuous 𝔸 f -linear Galois action such that VV𝔸 f is stable under Gal(/)Gal( ¯/). Also, for any finite prime p there is an isomorphism of p -vector spaces θ p :D p =D p @>>>DR(V p )=DR(V p ) preserving filtrations, and for p=, there is an isomorphism of -vector spaces θ :D @>>>(V ) + , where + denotes the Gal(/)-fixed part. The notion of weights for such a motivic pair is introduced. For a finite set of places of containing , and a motivic pair (V,D) of weights w, one defines the L-function L S (V,s)= pS P p (V,p -s ) -1 . This converges absolutely for (s)>w/2+1. For a -lattice M in V such that M ^ is Gal( ¯/)-stable in V𝔸 f , one defines A( p )=H f 1 ( p ,M ^) if p<; A( p )=((D )/(D 0 )+M)) + if p=.

Also, one can define the ‘global points’ A(). 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 Spec(). For an isomorphism ω:det (D/D 0 )@>>> (which induces one locally for every place p of ), one obtains a measure for all pS:μ p,ω (A( p ))=P p (V,1), and for the L-function one gets (assume the weights are -3): L S (V,0)= pS μ p,ω (A( p )). (This must be modified for weights -1, -2.) It makes sense to define the total measure μ= p< μ p,ω on p A( p ) and to define the Tamagawa number Tam(M)=μ((A( p ))/A()). If M=H m ¯ (X)(r), one hopes to be able to associate with it a motivic pair (V,D), and to define the Tate-Shafarevich group Ш(M) as the kernel of the map

α M :H 1 (,M/) A()/ p H 1 ( p ,M/) A( p )/·

The final conjecture becomes: Assume (V,D) comes from a motive, and let M be a -lattice in V such that M ^ is Galois stable in V𝔸 f . Then Ш(M) is finite, and Tam(M)=#(H 0 (,M * /(1)))/#(Ш(M)). The conjecture is shown to be ‘isogeny invariant’ in a suitable sense.


MSC:
14A20Generalizations (algebraic spaces, stacks)
14G10Zeta-functions and related questions