3
$\begingroup$

In Peter Schneider's paper "Introduction to the Beilinson conjectures", he lists some hypothesis (conjectures) on the $L$-function associated to the pure motive $H^i(X)$ where $X$ is a smooth projective variety defined over $\mathbb{Q}$.

  1. $L(H^i(X),s)$ converges absolutely for $\text{Re}\,s >1+i/2$, hence it does not vanish in this region.

  2. $L(H^i(X),s)$ has a meromorphic continuation to the whole complex plane, and the only possible pole occurs at $s=1+i/2$ for even $i$.

  3. $L(H^i(X),1+i/2) \neq 0$, (I guess he means when $s=1+i/2$ is not a pole).

  4. $\Lambda(H^i(X),s):=L(H^i(X),s)\cdot L_{\infty}(H^i(X),s)\cdot(\text{exponential factor})$ has a functional equation with respect to the operation $s \mapsto i+1-s$, where $L_\infty(H^i(X),s)$ is the Euler factor associated to the archimedean place of $\mathbb{Q}$.

For a variety $Y$ defined over a number field $K$, its Euler factor at a non-archimedean place is defined similarly.

Question 1. How to define the Euler factor at a archimedean place?

For a real place of $K$, there is still an involution $F_{\infty}$ induced by complex conjugation on the $\mathbb{C}$-valued points $Y(\mathbb{C})$, and I guess the Euler factor is defined as the $\mathbb{Q}$-case? But how to define the Euler factor for a (conjugated pair of) complex place(s)?

Question 2. I guess the four hypothesis are also expected for the $L$-function of $H^i(Y)$. At current stage, for which (class of) smooth projective varieties (over a number field) has these hypothesis been proved?

$\endgroup$
1
  • 2
    $\begingroup$ For your question 1, see Nekovar's survey paper (1.4) or Deligne "Valeurs de fonctions $L$ et périodes d'intégrales" 5.2. The Euler factor at an archimedean place $v$ depends only on the Hodge structure $H^i(M_v)$. For your question 2, basically the only way to prove meromorphic continuation is to prove some kind of modularity for your variety $Y$. As an example, potential automorphy has recently been proved for abelian surfaces over totally real fields, which is sufficient to imply the first part of condition 2. $\endgroup$ Commented Mar 31, 2018 at 14:07

0

You must log in to answer this question.