Namespaces
Variants
Actions

Difference between revisions of "Beilinson conjectures"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (tex encoded by computer)
m (AUTOMATIC EDIT (latexlist): Replaced 4 formulas out of 4 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
(One intermediate revision by one other user not shown)
Line 1: Line 1:
<!--
+
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
b1102201.png
+
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
$#A+1 = 251 n = 4
+
was used.
$#C+1 = 251 : ~/encyclopedia/old_files/data/B110/B.1100220 Be\Auilinson conjectures
+
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
Automatically converted into TeX, above some diagnostics.
 
Please remove this comment and the {{TEX|auto}} line below,
 
if TeX found to be correct.
 
-->
 
  
 +
Out of 4 formulas, 4 were replaced by TEX code.-->
 +
 +
{{TEX|semi-auto}}{{TEX|done}}
 
{{TEX|auto}}
 
{{TEX|auto}}
 
{{TEX|done}}
 
{{TEX|done}}
Line 32: Line 31:
 
cf. [[#References|[a6]]]), the [[L-function| $  L $-
 
cf. [[#References|[a6]]]), the [[L-function| $  L $-
 
function]]  $  L ( M,s ) = L ( h  ^ {i} ( X ) ,s ) $,  
 
function]]  $  L ( M,s ) = L ( h  ^ {i} ( X ) ,s ) $,  
an infinite product which converges absolutely for  $  { \mathop{\rm Re} } ( s ) > 1 + {i / 2 } $.  
+
an infinite product which converges absolutely for  $  { \mathop{\rm Re} } ( s ) &gt; 1 + {i / 2 } $.  
 
Here,  $  M = h  ^ {i} ( X ) $
 
Here,  $  M = h  ^ {i} ( X ) $
 
is a pure motive of weight  $  i $.  
 
is a pure motive of weight  $  i $.  
Line 42: Line 41:
 
factors. Finally, one defines  $  \Lambda ( M,s ) = \Lambda ( h  ^ {i} ( X ) ,s ) = L _  \infty  ( M,s ) L ( M,s ) $.  
 
factors. Finally, one defines  $  \Lambda ( M,s ) = \Lambda ( h  ^ {i} ( X ) ,s ) = L _  \infty  ( M,s ) L ( M,s ) $.  
 
For  $  \Lambda ( M,s ) $
 
For  $  \Lambda ( M,s ) $
one has a conjectural analytic continuation and functional equation  $  \Lambda ( M,s ) = \varespilon ( M,s ) \Lambda ( M  ^  \lor  ,1 - s ) $,  
+
one has a conjectural analytic continuation and functional equation  $  \Lambda ( M,s ) = \varepsilon ( M,s ) \Lambda ( M  ^  \lor  ,1 - s ) $,  
for a suitable function  $  \varespilon ( M,s ) $
+
for a suitable function  $  \varepsilon ( M,s ) $
 
of the form  $  a \cdot b  ^ {s} $,  
 
of the form  $  a \cdot b  ^ {s} $,  
 
and with  $  M  ^  \lor  $
 
and with  $  M  ^  \lor  $
 
the dual motive of  $  M $.  
 
the dual motive of  $  M $.  
Here, by [[Poincaré duality|Poincaré duality]] and hard Lefschetz, this means  $  \Lambda ( M,s ) = \varespilon ( M,s ) \Lambda ( M,i + 1 - s ) $.  
+
Here, by [[Poincaré duality|Poincaré duality]] and hard Lefschetz, this means  $  \Lambda ( M,s ) = \varepsilon ( M,s ) \Lambda ( M,i + 1 - s ) $.  
 
In general, for an arbitrary motive  $  M $
 
In general, for an arbitrary motive  $  M $
 
of pure weight  $  w $,  
 
of pure weight  $  w $,  
Line 53: Line 52:
 
$  L _  \infty  $
 
$  L _  \infty  $
 
and  $  \Lambda $.  
 
and  $  \Lambda $.  
One should have  $  \Lambda ( M,s ) = \varespilon ( M,s ) \Lambda ( M,w + 1 - s ) $.
+
One should have  $  \Lambda ( M,s ) = \varepsilon ( M,s ) \Lambda ( M,w + 1 - s ) $.
  
 
On the  $  K $-
 
On the  $  K $-
Line 74: Line 73:
  
 
$$  
 
$$  
H _  {\mathcal M}  ^  \csf ( X, \mathbf Q ( \star ) ) _ {\mathbf Z} =
+
H _  {\mathcal M}  ^  \bullet ( X, \mathbf Q ( \star ) ) _ {\mathbf Z} =
 
$$
 
$$
  
 
$$  
 
$$  
 
=  
 
=  
{ \mathop{\rm Im} } \left ( H _  {\mathcal M}  ^  \csf ( X _ {\mathbf Z} , \mathbf Q ( \star ) ) \rightarrow H _  {\mathcal M}  ^  \csf ( X, \mathbf Q ( \star ) ) \right )  \subset  
+
{ \mathop{\rm Im} } \left ( H _  {\mathcal M}  ^  \bullet ( X _ {\mathbf Z} , \mathbf Q ( \star ) ) \rightarrow H _  {\mathcal M}  ^  \bullet ( X, \mathbf Q ( \star ) ) \right )  \subset  
 
$$
 
$$
  
 
$$  
 
$$  
 
\subset   
 
\subset   
H _  {\mathcal M}  ^  \csf ( X, \mathbf Q ( \star ) ) .
+
H _  {\mathcal M}  ^  \bullet ( X, \mathbf Q ( \star ) ) .
 
$$
 
$$
  
This is independent of the regular model, provided that it exists. The  $  H _  {\mathcal M}  ^  \csf ( X, \mathbf Q ( \star ) ) _ {\mathbf Z} $
+
This is independent of the regular model, provided that it exists. The  $  H _  {\mathcal M}  ^  \bullet ( X, \mathbf Q ( \star ) ) _ {\mathbf Z} $
are conjectured to be finite-dimensional. Their construction may be applied to define groups  $  H _  {\mathcal M}  ^  \csf ( M _ {\mathbf Z} , \mathbf Q ( \star ) ) $
+
are conjectured to be finite-dimensional. Their construction may be applied to define groups  $  H _  {\mathcal M}  ^  \bullet ( M _ {\mathbf Z} , \mathbf Q ( \star ) ) $
 
for any Chow motive  $  M $
 
for any Chow motive  $  M $
 
over  $  \mathbf Q $
 
over  $  \mathbf Q $
Line 171: Line 170:
  
 
Taking things together, one sees that, for varieties over  $  \mathbf R $,  
 
Taking things together, one sees that, for varieties over  $  \mathbf R $,  
there are natural transformations, called regulators,  $  r : {H _  {\mathcal M}  ^  \csf ( X, \mathbf Q ( \star ) ) } \rightarrow {H _  {\mathcal D}  ^  \csf ( X,A ( \star ) ) } $.  
+
there are natural transformations, called regulators,  $  r : {H _  {\mathcal M}  ^  \bullet ( X, \mathbf Q ( \star ) ) } \rightarrow {H _  {\mathcal D}  ^  \bullet ( X,A ( \star ) ) } $.  
 
Already the simplest explicit examples suggest one should restrict to "integral motivic cohomology" and one is led to Beilinson's regulator mappings  $  {r _  {\mathcal D}  } : {H _  {\mathcal M}  ^ {i} ( X, \mathbf Q ( j ) ) _ {\mathbf Z} } \rightarrow {H _  {\mathcal D}  ^ {i} ( X _ {/ \mathbf R }  , \mathbf R ( j ) ) } $.  
 
Already the simplest explicit examples suggest one should restrict to "integral motivic cohomology" and one is led to Beilinson's regulator mappings  $  {r _  {\mathcal D}  } : {H _  {\mathcal M}  ^ {i} ( X, \mathbf Q ( j ) ) _ {\mathbf Z} } \rightarrow {H _  {\mathcal D}  ^ {i} ( X _ {/ \mathbf R }  , \mathbf R ( j ) ) } $.  
 
It should be remarked that one can extend the formalism to the category of Chow motives  $  M $
 
It should be remarked that one can extend the formalism to the category of Chow motives  $  M $
Line 186: Line 185:
 
one distinguishes between three cases:
 
one distinguishes between three cases:
  
i)  $  m < {i / 2 } $,  
+
i)  $  m &lt; {i / 2 } $,  
 
which by the functional equation corresponds to the region of absolute convergence;
 
which by the functional equation corresponds to the region of absolute convergence;
  
Line 196: Line 195:
 
$  i $
 
$  i $
 
odd, the centre of the critical strip. It is easily shown that  $  { \mathop{\rm ord} } _ {s = m }  L ( h  ^ {i} ( X ) ,s ) = { \mathop{\rm dim} } H _  {\mathcal D}  ^ {i + 1 } ( X _ {/ \mathbf R }  , \mathbf R ( i + 1 - m ) ) $,  
 
odd, the centre of the critical strip. It is easily shown that  $  { \mathop{\rm ord} } _ {s = m }  L ( h  ^ {i} ( X ) ,s ) = { \mathop{\rm dim} } H _  {\mathcal D}  ^ {i + 1 } ( X _ {/ \mathbf R }  , \mathbf R ( i + 1 - m ) ) $,  
for  $  m < {i / 2 } $.
+
for  $  m &lt; {i / 2 } $.
  
Beilinson's first conjecture reads as follows. Assume  $  m < {i / 2 } $.  
+
Beilinson's first conjecture reads as follows. Assume  $  m &lt; {i / 2 } $.  
 
Then:  $  {r _  {\mathcal D}  \otimes \mathbf R } : {H _  {\mathcal M}  ^ {i + 1 } ( X, \mathbf Q ( i + 1 - m ) ) _ {\mathbf Z} \otimes \mathbf R } \rightarrow {H _  {\mathcal D}  ^ {i + 1 } ( X _ {/ \mathbf R }  , \mathbf R ( i + 1 - m ) ) } $
 
Then:  $  {r _  {\mathcal D}  \otimes \mathbf R } : {H _  {\mathcal M}  ^ {i + 1 } ( X, \mathbf Q ( i + 1 - m ) ) _ {\mathbf Z} \otimes \mathbf R } \rightarrow {H _  {\mathcal D}  ^ {i + 1 } ( X _ {/ \mathbf R }  , \mathbf R ( i + 1 - m ) ) } $
 
is an [[Isomorphism|isomorphism]]; and
 
is an [[Isomorphism|isomorphism]]; and
Line 329: Line 328:
 
Then:
 
Then:
  
i)  $  { \mathop{\rm dim} } _ {\mathbf Q} H _  {\mathcal M}  ^ {i + 1 } ( X, \mathbf Q ( m ) ) _ {\mathbf Z}  ^ {0} < \infty $;
+
i)  $  { \mathop{\rm dim} } _ {\mathbf Q} H _  {\mathcal M}  ^ {i + 1 } ( X, \mathbf Q ( m ) ) _ {\mathbf Z}  ^ {0} &lt; \infty $;
  
 
ii) the pairing  $  \langle  {\cdot, \cdot } \rangle $
 
ii) the pairing  $  \langle  {\cdot, \cdot } \rangle $
Line 344: Line 343:
  
 
==Generalizations.==
 
==Generalizations.==
Deligne observed that, for  $  i + 1 < 2j $,  
+
Deligne observed that, for  $  i + 1 &lt; 2j $,  
 
one can interprete  $  H _  {\mathcal D}  ^ {i + 1 } ( X _ {/ \mathbf R }  , \mathbf R ( j ) ) $
 
one can interprete  $  H _  {\mathcal D}  ^ {i + 1 } ( X _ {/ \mathbf R }  , \mathbf R ( j ) ) $
 
as a Yoneda extension  $  { \mathop{\rm Ext} } _ { {\mathcal M} {\mathcal H} _ {\mathbf R}  ^ {+} }  ^ {1} ( \mathbf R ( 0 ) ,H _ {\textrm{ B } }  ^ {i} ( X ) , \mathbf R ( j ) ) $,  
 
as a Yoneda extension  $  { \mathop{\rm Ext} } _ { {\mathcal M} {\mathcal H} _ {\mathbf R}  ^ {+} }  ^ {1} ( \mathbf R ( 0 ) ,H _ {\textrm{ B } }  ^ {i} ( X ) , \mathbf R ( j ) ) $,  
Line 404: Line 403:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> A. Beilinson, "Higher regulators and values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110220/b110220252.png" />-functions" ''J. Soviet Math.'' , '''30''' (1985) pp. 2036–2070 (In Russian)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> A. Beilinson, "Notes on absolute Hodge cohomology" , ''Contemp. Math.'' , '''55''' , Amer. Math. Soc. (1985) pp. 35–68 {{MR|0923132}} {{MR|0862628}} {{ZBL|0621.14011}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> A. Beilinson, "Height pairings for algebraic cycles" , ''Lecture Notes in Mathematics'' , '''1289''' , Springer (1987) pp. 1–26</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> A. Borel, "Cohomologie de <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110220/b110220253.png" /> et valeurs de fonctions zeta aux points entiers" ''Ann. Sci. Pisa'' (1976) pp. 613–636 {{MR|}} {{ZBL|0432.57015}} {{ZBL|0382.57027}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> S. Bloch, K. Kato, "<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110220/b110220254.png" />-functions and Tamagawa numbers of motives" , ''The Grothendieck Festschrift I'' , ''Progress in Mathematics'' , '''86''' , Birkhäuser (1990) pp. 333–400 {{MR|1086888}} {{ZBL|0768.14001}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> P. Deligne, "Valeurs de fonctions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110220/b110220255.png" /> et périodes d'intégrales" , ''Proc. Symp. Pure Math.'' , '''33''' , Amer. Math. Soc. (1979) pp. 313–346 {{MR|}} {{ZBL|0449.10022}} </TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> J.-M. Fontaine, B. Perrin-Riou, "Autour des conjectures de Bloch et Kato, I--III" ''C.R. Acad. Sci. Paris'' , '''313''' (1991) pp. 189–196; 349–356; 421–428</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> "Motives" U. Jannsen (ed.) etAAsal. (ed.) , ''Proc. Symp. Pure Math.'' , '''55''' , Amer. Math. Soc. (1994) {{MR|1265549}} {{MR|1265518}} {{ZBL|0788.00054}} {{ZBL|0788.00053}} </TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top"> A. Beilinson, "Higher regulators and values of $L$-functions" ''J. Soviet Math.'' , '''30''' (1985) pp. 2036–2070 (In Russian)</td></tr><tr><td valign="top">[a2]</td> <td valign="top"> A. Beilinson, "Notes on absolute Hodge cohomology" , ''Contemp. Math.'' , '''55''' , Amer. Math. Soc. (1985) pp. 35–68 {{MR|0923132}} {{MR|0862628}} {{ZBL|0621.14011}} </td></tr><tr><td valign="top">[a3]</td> <td valign="top"> A. Beilinson, "Height pairings for algebraic cycles" , ''Lecture Notes in Mathematics'' , '''1289''' , Springer (1987) pp. 1–26</td></tr><tr><td valign="top">[a4]</td> <td valign="top"> A. Borel, "Cohomologie de $S L _ { 2 }$ et valeurs de fonctions zeta aux points entiers" ''Ann. Sci. Pisa'' (1976) pp. 613–636 {{MR|}} {{ZBL|0432.57015}} {{ZBL|0382.57027}} </td></tr><tr><td valign="top">[a5]</td> <td valign="top"> S. Bloch, K. Kato, "$L$-functions and Tamagawa numbers of motives" , ''The Grothendieck Festschrift I'' , ''Progress in Mathematics'' , '''86''' , Birkhäuser (1990) pp. 333–400 {{MR|1086888}} {{ZBL|0768.14001}} </td></tr><tr><td valign="top">[a6]</td> <td valign="top"> P. Deligne, "Valeurs de fonctions $L$ et périodes d'intégrales" , ''Proc. Symp. Pure Math.'' , '''33''' , Amer. Math. Soc. (1979) pp. 313–346 {{MR|}} {{ZBL|0449.10022}} </td></tr><tr><td valign="top">[a7]</td> <td valign="top"> J.-M. Fontaine, B. Perrin-Riou, "Autour des conjectures de Bloch et Kato, I--III" ''C.R. Acad. Sci. Paris'' , '''313''' (1991) pp. 189–196; 349–356; 421–428</td></tr><tr><td valign="top">[a8]</td> <td valign="top"> "Motives" U. Jannsen (ed.) etAAsal. (ed.) , ''Proc. Symp. Pure Math.'' , '''55''' , Amer. Math. Soc. (1994) {{MR|1265549}} {{MR|1265518}} {{ZBL|0788.00054}} {{ZBL|0788.00053}} </td></tr></table>

Revision as of 15:31, 1 July 2020


Let $ X $ be a smooth projective variety (cf. Projective scheme) defined over $ \mathbf Q $. For such $ X $ one has, on the one hand, the algebraic $ K $- groups (cf. $ K $- theory) $ K _ {i} ( X ) $, $ i = 0,1, \dots $, and on the other hand, various cohomology theories, such as Betti cohomology $ H _ {\textrm{ B } } ( X ) $, de Rham cohomology $ H _ {\textrm{ DR } } ( X ) $ and $ l $- adic cohomology $ H _ {l} ( X ) $. These cohomology theories can be considered as realizations of the (Chow) motive $ h ( X ) $ associated to $ X $. There are comparison isomorphisms between them. Decomposing the motive $ h ( X ) = h ^ {0} ( X ) \oplus \dots \oplus h ^ {2n } ( X ) $, $ n = { \mathop{\rm dim} } ( X ) $, one may fix $ i $, $ 0 \leq i \leq 2n $, and define, via the Frobenius action on $ l $- adic cohomology $ H _ {l} ^ {i} ( X ) $( cf. [a6]), the $ L $- function $ L ( M,s ) = L ( h ^ {i} ( X ) ,s ) $, an infinite product which converges absolutely for $ { \mathop{\rm Re} } ( s ) > 1 + {i / 2 } $. Here, $ M = h ^ {i} ( X ) $ is a pure motive of weight $ i $. Using the Hodge structure on the cohomology $ H _ {\textrm{ B } } ^ {i} ( X ) $ of the complex manifold $ X ( \mathbf C ) $, one defines the $ L $- factor "at infinity" , $ L _ \infty ( M,s ) = L _ \infty ( h ^ {i} ( X ) ,s ) $, essentially as a product of $ \Gamma $- factors. Finally, one defines $ \Lambda ( M,s ) = \Lambda ( h ^ {i} ( X ) ,s ) = L _ \infty ( M,s ) L ( M,s ) $. For $ \Lambda ( M,s ) $ one has a conjectural analytic continuation and functional equation $ \Lambda ( M,s ) = \varepsilon ( M,s ) \Lambda ( M ^ \lor ,1 - s ) $, for a suitable function $ \varepsilon ( M,s ) $ of the form $ a \cdot b ^ {s} $, and with $ M ^ \lor $ the dual motive of $ M $. Here, by Poincaré duality and hard Lefschetz, this means $ \Lambda ( M,s ) = \varepsilon ( M,s ) \Lambda ( M,i + 1 - s ) $. In general, for an arbitrary motive $ M $ of pure weight $ w $, one extends the above construction of $ L $, $ L _ \infty $ and $ \Lambda $. One should have $ \Lambda ( M,s ) = \varepsilon ( M,s ) \Lambda ( M,w + 1 - s ) $.

On the $ K $- groups of $ X $ one has the action of the Adams operators $ \psi ^ {k} $( cf. Cohomology operation). They all commute with each other. Write $ K ^ {( j ) } _ {i} ( X ) \subset K _ {i} ( X ) \otimes \mathbf Q $ for the subspace on which $ \psi ^ {k} $ acts as multiplication by $ k ^ {j} $, $ j \in \mathbf N $. A. Beilinson defines the absolute or motivic cohomology $ H _ {\mathcal M} ^ {i} ( X, \mathbf Q ( j ) ) = K ^ {( j ) } _ {2j - i } ( X ) $. As a matter of fact, this can be defined for any regular or affine (simplicial) scheme $ X $. It has many nice properties of a cohomology theory; in particular there is a motivic Chern character mapping (a sum of projections after tensoring with $ \mathbf Q $) $ { { \mathop{\rm ch} } _ {\mathcal M} } : {K _ {i} ( X ) } \rightarrow {\oplus H ^ {2j - i } _ {\mathcal M} ( X, \mathbf Q ( j ) ) } $. A classical theorem of A. Grothendieck says that $ H _ {\mathcal M} ^ {2j } ( X, \mathbf Q ( j ) ) \cong { \mathop{\rm CH} } ^ {j} ( X ) \otimes \mathbf Q $. Beilinson has extended motivic cohomology to the category of (Chow) motives with coefficients in a number field $ E $. Assuming that $ X $ admits a regular model $ X _ {\mathbf Z} $ over $ { \mathop{\rm Spec} } ( \mathbf Z ) $, one defines

$$ H _ {\mathcal M} ^ \bullet ( X, \mathbf Q ( \star ) ) _ {\mathbf Z} = $$

$$ = { \mathop{\rm Im} } \left ( H _ {\mathcal M} ^ \bullet ( X _ {\mathbf Z} , \mathbf Q ( \star ) ) \rightarrow H _ {\mathcal M} ^ \bullet ( X, \mathbf Q ( \star ) ) \right ) \subset $$

$$ \subset H _ {\mathcal M} ^ \bullet ( X, \mathbf Q ( \star ) ) . $$

This is independent of the regular model, provided that it exists. The $ H _ {\mathcal M} ^ \bullet ( X, \mathbf Q ( \star ) ) _ {\mathbf Z} $ are conjectured to be finite-dimensional. Their construction may be applied to define groups $ H _ {\mathcal M} ^ \bullet ( M _ {\mathbf Z} , \mathbf Q ( \star ) ) $ for any Chow motive $ M $ over $ \mathbf Q $ with coefficients in $ E $.

Another main ingredient of Beilinson's conjectures is Deligne (or Deligne–Beilinson) cohomology. This is defined for any quasi-projective variety (cf. Quasi-projective scheme) $ X $ defined over the complex numbers. For smooth projective $ X $ it is easy to define. Let $ A = \mathbf Z $, $ \mathbf Q $ or $ \mathbf R $ and write $ A ( j ) $ for the subgroup $ ( 2 \pi i ) ^ {j} A \subset \mathbf C $, where $ i ^ {2} = - 1 $. Consider the following complex of sheaves on $ X $:

$$ A ( j ) _ {\mathcal D} = ( A ( j ) \rightarrow {\mathcal O} _ {X} {\rightarrow ^ { d } } \Omega ^ {1} _ {X} {\rightarrow ^ { d } } \dots {\rightarrow ^ { d } } \Omega ^ {j - 1 } _ {X} ) , $$

where $ A ( j ) $( respectively, $ \Omega ^ {i} _ {X} $) is placed in degree $ 0 $( respectively, $ i + 1 $). $ {\mathcal O} _ {X} $( respectively, $ \Omega ^ {i} _ {X} $) denotes the sheaf of holomorphic functions (respectively, holomorphic $ i $- forms) on $ X $. One defines the Deligne cohomology of $ X $ as

$$ H _ {\mathcal D} ^ {i} ( X,A ( j ) ) = \mathbf H ^ {i} ( X,A ( j ) _ {\mathcal D} ) , $$

the hypercohomology of the complex $ A ( j ) $. For arbitrary $ X $ one uses a smooth compactification $ {\overline{X}\; } $ of $ X $ such that $ Y = {\overline{X}\; } \setminus X $ is a normal crossings divisor, and, using the associated logarithmic de Rham complex of $ {\overline{X}\; } $ along $ Y $, it is possible to construct well-defined Deligne–Beilinson cohomology $ H _ {\mathcal D} ^ {i} ( X,A ( j ) ) $. Thus, one obtains a good cohomology theory, with supports, Poincaré duality, even a homological counterpart, satisfying the axioms of a Poincaré duality theory in the sense of S. Bloch and A. Ogus. In particular, there is again a Chern character mapping $ { { \mathop{\rm ch} } _ {\mathcal D} } : {K _ {i} ( X ) } \rightarrow {\oplus H ^ {2j - i } _ {\mathcal D} ( X,A ( j ) ) } $. For smooth projective $ X $ defined over $ \mathbf Q $, one defines $ H _ {\mathcal D} ^ {i} ( X _ {/ \mathbf R } ,A ( j ) ) $ as the subspace of $ H _ {\mathcal D} ^ {i} ( X _ {\mathbf C} , A ( j ) ) $ invariant under the induced action of complex conjugation $ F _ \infty \in { \mathop{\rm Gal} } ( \mathbf C/ \mathbf R ) $ acting on the pair $ ( X _ {\mathbf C} , A ( j ) ) $, i.e., acting on differential forms by $ f ( z ) dz \mapsto { {f ( {\overline{z}\; } ) } bar } dz $. Similarly for $ H _ {\textrm{ DR } } ^ {i} ( X _ {/ \mathbf R } ) $ and $ H _ {\textrm{ B } } ^ {i} ( X _ {/ \mathbf R } ,A ( j ) ) $. Then, for an integer $ m \leq {i / 2 } $, there is a short exact sequence

$$ 0 \rightarrow F ^ {i + 1 - m } H _ {\textrm{ DR } } ^ {i} ( X _ {/ \mathbf R } ) \rightarrow H _ {\textrm{ B } } ^ {i} ( X _ {/ \mathbf R } , \mathbf R ( i - m ) ) \rightarrow $$

$$ \rightarrow H _ {\mathcal D} ^ {i + 1 } ( X _ {/ \mathbf R } , \mathbf R ( i + 1 - m ) ) \rightarrow 0. $$

The $ \mathbf Q $- structures on the first two terms give rise to a natural $ \mathbf Q $- structure

$$ {\mathcal L} ( i,m ) = { \mathop{\rm det} } _ {\mathbf Q} H _ {\textrm{ B } } ^ {i} ( X _ {/ \mathbf R } , \mathbf R ( i - m ) ) \cdot $$

$$ \cdot { \mathop{\rm det} } _ {\mathbf Q} ^ {-1 } ( F ^ {i + 1 - m } H _ {\textrm{ DR } } ^ {i} ( X _ {/ \mathbf R } ) ) $$

on $ { \mathop{\rm det} } _ {\mathbf R} H _ {\mathcal D} ^ {i + 1 } ( X _ {/ \mathbf R } , \mathbf R ( i + 1 - m ) ) $. In the general case of motives with coefficients in $ E $, one will have $ E $- structures, etc.

Taking things together, one sees that, for varieties over $ \mathbf R $, there are natural transformations, called regulators, $ r : {H _ {\mathcal M} ^ \bullet ( X, \mathbf Q ( \star ) ) } \rightarrow {H _ {\mathcal D} ^ \bullet ( X,A ( \star ) ) } $. Already the simplest explicit examples suggest one should restrict to "integral motivic cohomology" and one is led to Beilinson's regulator mappings $ {r _ {\mathcal D} } : {H _ {\mathcal M} ^ {i} ( X, \mathbf Q ( j ) ) _ {\mathbf Z} } \rightarrow {H _ {\mathcal D} ^ {i} ( X _ {/ \mathbf R } , \mathbf R ( j ) ) } $. It should be remarked that one can extend the formalism to the category of Chow motives $ M $ over $ \mathbf Q $ with field of coefficients in the number field $ E $. The $ L $- functions will take their values in $ E \otimes \mathbf C $ and the regulator mappings will be of the form $ {r _ {\mathcal D} } : {H _ {\mathcal M} ^ {i} ( M _ {\mathbf Z} , \mathbf Q ( j ) ) } \rightarrow {H _ {\mathcal D} ^ {i} ( M _ {/ \mathbf R } , \mathbf R ( j ) ) } $. This is even expected to work for Grothendieck motives, i.e., motives modulo homological (which, conjecturally, coincides with numerical) equivalence.

Beilinson's first conjecture.

To state Beilinson's conjectures on special values of $ L ( h ^ {i} ( X ) ,s ) $ at integer arguments $ s = m $, one distinguishes between three cases:

i) $ m < {i / 2 } $, which by the functional equation corresponds to the region of absolute convergence;

ii) $ m = {i / 2 } $, $ i $ even, which lies on the boundary of the critical strip $ \{ {s \in \mathbf C } : { {i / 2 } \leq { \mathop{\rm Re} } ( s ) \leq 1 + {i / 2 } } \} $;

iii) $ m = { {( i + 1 ) } / 2 } $, $ i $ odd, the centre of the critical strip. It is easily shown that $ { \mathop{\rm ord} } _ {s = m } L ( h ^ {i} ( X ) ,s ) = { \mathop{\rm dim} } H _ {\mathcal D} ^ {i + 1 } ( X _ {/ \mathbf R } , \mathbf R ( i + 1 - m ) ) $, for $ m < {i / 2 } $.

Beilinson's first conjecture reads as follows. Assume $ m < {i / 2 } $. Then: $ {r _ {\mathcal D} \otimes \mathbf R } : {H _ {\mathcal M} ^ {i + 1 } ( X, \mathbf Q ( i + 1 - m ) ) _ {\mathbf Z} \otimes \mathbf R } \rightarrow {H _ {\mathcal D} ^ {i + 1 } ( X _ {/ \mathbf R } , \mathbf R ( i + 1 - m ) ) } $ is an isomorphism; and

$$ c ( i,m ) \cdot {\mathcal L} ( i,m ) = { \mathop{\rm det} } _ {\mathbf Q} r _ {\mathcal D} ( H _ {\mathcal M} ^ {i + 1 } ( X, \mathbf Q ( i + 1 - m ) ) _ {\mathbf Z} ) , $$

where $ c ( i,m ) = L ^ {*} ( h ^ {i} ( X ) ,s ) _ {s = m } $ is the first non-vanishing coefficient of the Taylor series expansion of $ L ( h ^ {i} ( X ) ,s ) $ at $ s = m $.

In [a1], Beilinson states this conjecture for general Chow motives with coefficients in $ E $.

Some special cases are as follows.

a) For $ X = { \mathop{\rm Spec} } ( K ) $, $ K $ a number field, and $ i = 0 $, one recovers the situation studied by A. Borel [a4]. Beilinson showed that his regulator coincides with Borel's regulator (at least modulo $ \mathbf Q ^ \times $). Thus, by Borel's results, the first conjecture is true. Classically, for $ m = 0 $ one obtains the Dirichlet regulator and Dedekind's class number formula.

b) Bloch and Beilinson were the first to construct a regulator mapping $ r : {K _ {2} ( X ) } \rightarrow {H ^ {1} ( X ( \mathbf C ) , \mathbf R ( 1 ) ) } $( or even $ H _ {\mathcal D} ^ {2} ( X _ {/ \mathbf R } , \mathbf R ( 2 ) ) $) for a Riemann surface $ X $, and make a conjecture about $ r $. For $ X/ \mathbf Q $ an elliptic curve without complex multiplication, $ i = 1 $ and $ m = 0 $, Bloch and D. Grayson made computer calculations which actually gave rise to a formulation of the first conjecture in terms of the integral model $ X _ {\mathbf Z} $. For elliptic curves with complex multiplication a weak form of the first conjecture was proved by Bloch and Beilinson.

c) Another conjecture which motivated Beilinson's first conjecture is due to P. Deligne [a6]. It is stated in terms of motives and predicts that the $ L $- function of such a motive (cf. also Motives, theory of) at a so-called critical value of the argument would be equal (modulo $ \mathbf Q ^ \times $) to a well-defined period.

d) J.-F. Mestre and N. Schappacher gave numerical evidence for the case of the symmetric square of an elliptic curve without complex multiplication.

e) For Dirichlet motives, Beilinson proved the conjecture. For general Artin motives one recovers Gross' conjecture.

f) C. Deninger has obtained results for motives of Hecke characters of imaginary quadratic number fields.

g) Beilinson has proved partial results for (products of) modular curves.

h) K.-I. Kimura has given numerical evidence for (a projective curve related to) the Fermat curve $ x ^ {5} + y ^ {5} = 1 $.

Some further examples are known. They all deal with modular curves, Shimura curves, products of such curves, Hilbert modular surfaces, or products of elliptic modular surfaces. A general phenomenon occurs: in all these examples there exists a subspace of $ H _ {\mathcal M} ^ {i} ( X, \mathbf Q ( j ) ) $ giving rise, via the regulator mapping $ r _ {\mathcal D} $, to a $ \mathbf Q $- structure on the corresponding Deligne–Beilinson cohomology with $ { \mathop{\rm det} } ( r _ {\mathcal D} ) $ equal (up to a non-zero rational number) to the first non-vanishing coefficient of the $ L $- function at a suitable integer value of its argument.

Beilinson's second conjecture.

The second conjecture takes into account the possible pole of $ L ( h ^ {i} ( X ) ,s ) $ at the Tate point $ s = 1 + {i / 2 } $. One shows that

$$ { \mathop{\rm ord} } _ {s = m } L ( h ^ {i} ( X ) ,s ) - { \mathop{\rm ord} } _ {s = m + 1 } L ( h ^ {i} ( X ) ,s ) = $$

$$ = { \mathop{\rm dim} } H _ {\mathcal D} ^ {i + 1 } ( X _ {/ \mathbf R } , \mathbf R ( i + 1 - m ) ) , $$

for $ m = {i / 2 } $.

Beilinson's second conjecture reads as follows. Let $ i $ be even and write $ m = {i / 2 } $. Then:

i) $ ( r _ {\mathcal D} \oplus z _ {\mathcal D} ) \otimes \mathbf R : ( H _ {\mathcal M} ^ {i + 1 } ( X, \mathbf Q ( m + 1 ) ) _ {\mathbf Z} \otimes \mathbf R ) \oplus ( B ^ {m} ( X ) \otimes \mathbf R ) { \mathop \rightarrow \limits ^ \sim } H _ {\mathcal D} ^ {i + 1 } ( X _ {/ \mathbf R } , \mathbf R ( m + 1 ) ) $, where $ B ^ {m} ( X ) $ is the group of $ m $- codimensional algebraic cycles on $ X $ modulo homological equivalence, i.e., the image of the morphism $ { \mathop{\rm CH} } ^ {m} ( X ) \rightarrow H _ {\textrm{ B } } ^ {2m } ( X _ {\mathbf C} , \mathbf Z ( m ) ) $, and $ {z _ {\mathcal D} } : {B ^ {m} ( X ) } \rightarrow {H _ {\mathcal M} ^ {2m + 1 } ( X _ {/ \mathbf R } , \mathbf R ( m + 1 ) ) } $ is the inclusion;

ii) $ { \mathop{\rm ord} } _ {s = m } L ( h ^ {i} ( X ) ,s ) = $ $ { \mathop{\rm dim} } _ {\mathbf Q} H _ {\mathcal M} ^ {i + 1 } ( X, \mathbf Q ( m + 1 ) ) _ {\mathbf Z} $.

iii) $ c ( i,m ) \cdot {\mathcal L} ( i,m ) = L ^ {*} ( h ^ {i} ( X ) ,s ) _ {s = m } \cdot {\mathcal L} ( i,m ) = { \mathop{\rm det} } _ {\mathbf Q} ( r _ {\mathcal D} \oplus z _ {\mathcal D} ) ( H _ {\mathcal M} ^ {i + 1 } ( X, \mathbf Q ( m + 1 ) ) _ {\mathbf Z} \oplus ( B ^ {m} ( X ) \otimes \mathbf Q ) ) $.

This conjecture can also be stated in terms of motives.

a) For Artin motives it gives Stark's conjecture.

b) For a Hilbert modular surface $ X $, D. Ramakrishnan proved the existence of a subspace $ R \subset H _ {\mathcal M} ^ {3} ( X, \mathbf Q ( 2 ) ) $ such that

$$ {r _ {\mathcal D} \oplus z _ {\mathcal D} } : {R \oplus ( NS ( X ) \otimes \mathbf Q ) } \rightarrow {H _ {\mathcal D} ^ {3} ( X, \mathbf R ( 2 ) ) } $$

gives a $ \mathbf Q $- structure on Deligne cohomology with $ { \mathop{\rm det} } ( r _ {\mathcal D} \oplus z _ {\mathcal D} ) $ equal (up to a non-zero rational number) to $ L ^ {*} ( h ^ {2} ( X ) ,s ) _ {s = 1 } $.

Beilinson's third conjecture.

The third conjecture deals with the centre $ m = { {( i + 1 ) } / 2 } $, $ i $ odd, of the critical strip. Let $ X/ \mathbf Q $ be a smooth projective variety (cf. Projective scheme) of dimension $ n $, and assume that $ X $ admits a regular, proper model $ X _ {\mathbf Z} $ over $ { \mathop{\rm Spec} } ( \mathbf Z ) $. One has an isomorphism

$$ F ^ {m} H _ {\textrm{ DR } } ^ {2m - 1 } ( X _ {/ \mathbf R } ) { \mathop \rightarrow \limits ^ \sim } H _ {\textrm{ B } } ^ {2m -1 } ( X _ {/ \mathbf R } , \mathbf R ( m -1 ) ) , $$

giving a period matrix $ \Pi $. Let $ { \mathop{\rm CH} } ^ {p} ( X ) ^ {0} = { \mathop{\rm Ker} } ( { \mathop{\rm CH} } ^ {p} ( X ) \rightarrow H ^ {2p } _ {\textrm{ B } } ( X _ {\mathbf C} , \mathbf Q ( p ) ) ) $. Beilinson [a3] showed that there exists a unique bilinear pairing $ {\langle {\cdot, \cdot } \rangle } : { { \mathop{\rm CH} } ^ {p} ( X ) ^ {0} \times { \mathop{\rm CH} } ^ {n + 1 - p } ( X ) ^ {0} } \rightarrow \mathbf R $ of an arithmetic nature, i.e., closely related to the Gillet–Soulé arithmetic intersection pairing (on $ X _ {\mathbf Z} $), and generalizing Arakelov's intersection pairing on arithmetic surfaces.

Beilinson's third conjecture reads as follows. Let $ X $ be a smooth projective variety defined over $ \mathbf Q $, and assume that $ X $ has a regular, proper model $ X _ {\mathbf Z} $ over $ { \mathop{\rm Spec} } ( \mathbf Z ) $. Let $ m = { {( i + 1 ) } / 2 } $. Then:

i) $ { \mathop{\rm dim} } _ {\mathbf Q} H _ {\mathcal M} ^ {i + 1 } ( X, \mathbf Q ( m ) ) _ {\mathbf Z} ^ {0} < \infty $;

ii) the pairing $ \langle {\cdot, \cdot } \rangle $ is non-degenerate.

iii) $ { \mathop{\rm ord} } _ {s = m } L ( h ^ {i} ( X ) ,s ) = { \mathop{\rm dim} } _ {\mathbf Q} H _ {\mathcal M} ^ {i + 1 } ( X, \mathbf Q ( m ) ) _ {\mathbf Z} ^ {0} $.

iv) $ L ^ {*} ( h ^ {i} ( X ) ,s ) _ {s = m } \equiv { \mathop{\rm det} } ( \Pi ) \cdot { \mathop{\rm det} } \langle {\cdot, \cdot } \rangle $ modulo $ {\mathbf Q ^ \times } $.

For $ X/ \mathbf Q $ an elliptic curve, $ i = m = 1 $, one recovers the Mordell–Weil theorem and the Birch–Swinnerton-Dyer conjectures for $ E $.

Generalizations.

Deligne observed that, for $ i + 1 < 2j $, one can interprete $ H _ {\mathcal D} ^ {i + 1 } ( X _ {/ \mathbf R } , \mathbf R ( j ) ) $ as a Yoneda extension $ { \mathop{\rm Ext} } _ { {\mathcal M} {\mathcal H} _ {\mathbf R} ^ {+} } ^ {1} ( \mathbf R ( 0 ) ,H _ {\textrm{ B } } ^ {i} ( X ) , \mathbf R ( j ) ) $, where $ {\mathcal M} {\mathcal H} _ {\mathbf R} ^ {+} $ is the category of $ \mathbf R $- mixed Hodge structures with a real Frobenius. This made the search for a category of "mixed motives" over $ \mathbf Q $, $ {\mathcal M} {\mathcal M} _ {\mathbf Q} $( or, even better, over $ \mathbf Z $, $ {\mathcal M} {\mathcal M} _ {\mathbf Z} $) very tempting. The regulator mapping in this setting would be just the Betti realization functor

$$ {H _ {\textrm{ B } } } : { { \mathop{\rm Ext} } _ { {\mathcal M} {\mathcal M} _ {\mathbf Q} } ^ {1} ( \mathbf Q ( 0 ) ,h ^ {i} ( X ) ( j ) ) } \rightarrow { } $$

$$ \rightarrow { { \mathop{\rm Ext} } _ { {\mathcal M} {\mathcal H} _ {\mathbf R} ^ {+} } ^ {1} ( \mathbf R ( 0 ) ,H _ {\textrm{ B } } ^ {i} ( X ) , \mathbf R ( j ) ) } . $$

The category $ {\mathcal M} {\mathcal M} _ {\mathbf Q} $ should contain Grothendieck's category of pure motives $ {\mathcal M} _ {\mathbf Q} $ and allow the treatment of arbitrary varieties over $ \mathbf Q $. Analogously, for other base fields $ k $, one should have categories $ {\mathcal M} _ {k} $, $ {\mathcal M} {\mathcal M} _ {k} $, etc. Also, the role of the Chow groups in the theory of Grothendieck motives might be enlarged to include all the algebraic $ K $- groups of the variety. In this respect one may mention a very geometric construction by Bloch of generalized Chow groups $ { \mathop{\rm CH} } ^ {i} ( X,j ) $. For $ j = 0 $ they coincide with $ { \mathop{\rm CH} } ^ {i} ( X ) $. They are integrally defined and satisfy $ { \mathop{\rm CH} } ^ {i} ( X,j ) \otimes \mathbf Q \simeq H _ {\mathcal M} ^ {2j - i } ( X, \mathbf Q ( i ) ) $. A series of other conjectures, mainly about filtrations on Chow groups (Beilinson, J.P. Murre), emerges, and the ultimate formulation of Beilinson's conjectures appears in terms of derived categories, mixed motivic sheaves, mixed perverse sheaves, etc., cf. [a3], [a8].

In [a2], Beilinson introduced the notion of absolute Hodge cohomology $ H _ {\mathcal H} $. This generalizes Deligne–Beilinson cohomology by taking the weight filtration into account. It is a derived functor cohomology defined for any scheme $ X $ over $ \mathbf C $. For $ A = \mathbf Z $, $ \mathbf Q $ or $ \mathbf R $, let $ {\mathcal H} $ denote the category of $ A $- mixed Hodge structures. In this setting, for $ A = \mathbf Z $, one can define the Abel–Jacobi mappings of $ X $ as $ {\phi _ {i} } : { { \mathop{\rm CH} } ^ {i} ( X ) ^ {0} } \rightarrow { { \mathop{\rm Ext} } _ {\mathcal H} ^ {1} ( \mathbf Z ( 0 ) , h ^ {2i - 1 } ( X ) ( i ) ) } $. For smooth projective $ X/ \mathbf C $ this gives the classical Abel–Jacobi mappings $ {\phi _ {i} } : { { \mathop{\rm CH} } ^ {i} ( X ) ^ {0} } \rightarrow {J ^ {i} ( X ) } $, where $ J ^ {i} ( X ) $ is Griffiths' intermediate Jacobian.

The following conjecture generalizes the classical Hodge conjecture. In this form it is due to Beilinson and U. Jannsen.

The Beilinson–Jannsen conjecture. Let $ X $ be a smooth variety defined over $ {\overline{\mathbf Q}\; } $. Then, for all $ i,j \in \mathbf Z $, the regulator mapping $ {r _ {\mathcal D} } : {H _ {\mathcal M} ^ {i} ( X, \mathbf Q ( j ) ) } \rightarrow {H _ {\mathcal H} ^ {i} ( X, \mathbf Q ( j ) ) } $ has dense image.

In [a5] there is a formulation of Beilinson's conjectures in terms of (mixed) motives, without the modulo $ \mathbf Q ^ \times $ ambiguity. There is also a very precise conjecture in terms of Tamagawa numbers, cf. [a5], [a7] and the contribution by J.-M. Fontaine and B. Perrin-Riou in [a8].

References

[a1] A. Beilinson, "Higher regulators and values of $L$-functions" J. Soviet Math. , 30 (1985) pp. 2036–2070 (In Russian)
[a2] A. Beilinson, "Notes on absolute Hodge cohomology" , Contemp. Math. , 55 , Amer. Math. Soc. (1985) pp. 35–68 MR0923132 MR0862628 Zbl 0621.14011
[a3] A. Beilinson, "Height pairings for algebraic cycles" , Lecture Notes in Mathematics , 1289 , Springer (1987) pp. 1–26
[a4] A. Borel, "Cohomologie de $S L _ { 2 }$ et valeurs de fonctions zeta aux points entiers" Ann. Sci. Pisa (1976) pp. 613–636 Zbl 0432.57015 Zbl 0382.57027
[a5] S. Bloch, K. Kato, "$L$-functions and Tamagawa numbers of motives" , The Grothendieck Festschrift I , Progress in Mathematics , 86 , Birkhäuser (1990) pp. 333–400 MR1086888 Zbl 0768.14001
[a6] P. Deligne, "Valeurs de fonctions $L$ et périodes d'intégrales" , Proc. Symp. Pure Math. , 33 , Amer. Math. Soc. (1979) pp. 313–346 Zbl 0449.10022
[a7] J.-M. Fontaine, B. Perrin-Riou, "Autour des conjectures de Bloch et Kato, I--III" C.R. Acad. Sci. Paris , 313 (1991) pp. 189–196; 349–356; 421–428
[a8] "Motives" U. Jannsen (ed.) etAAsal. (ed.) , Proc. Symp. Pure Math. , 55 , Amer. Math. Soc. (1994) MR1265549 MR1265518 Zbl 0788.00054 Zbl 0788.00053
How to Cite This Entry:
Beilinson conjectures. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Beilinson_conjectures&oldid=46003
This article was adapted from an original article by W.W.J. Hulsbergen (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article