MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This is a question about Deligne's conjecture on special values of L-functions. I have to confess that I've never understood the definition of the determinant which is supposed to give the right special value up to some power of $2\pi i$ and some rational number. Can anybody work out the following example?

Let $X$ be a (smooth projective) curve of genus $g$ over $\mathbb{Q}$ and $M=h^1(X)$ the Chow motive corresponding to $H^1(X)$. The factor at infinity is simply

$L_\infty(M, s)=[2 (2\pi)^{-s}\Gamma(s)]^g$

and the dual of $M$ being $h^1(X)(1)$, one has

$L_\infty(M^\vee, s)=L_\infty(M, s+1)=[2(2\pi)^{-s}\Gamma(s+1)]^g$

By definition, an integer $n$ is critical if neither $L_\infty(M, s)$ nor $L_\infty/M^\vee, 1-s)$ have poles at $s=n$. So the only critical integer is $s=1$. Deligne's conjecture says that $L(M, 1)$ is a rational multiple of $c^\pm(M)$.So...

What is $c^\pm(M)$ in this case?

Can one give a explicit description in terms of a basis of $H^0(X, \Omega^1_X)$ or $H^1(X, \mathcal{O}_X)$ and the homology $H_1(X(\mathbb{C}), \mathbb{Q})$?

What is known about the conjecture in this case?

share|cite|improve this question
The main paper here (section 3.5) is on genus 2, see‎ $$ $$ Another paper, Stoll and Yang go thru a computation for $y^2=x^5+A$, which is special as it has a Hecke character. They never give the period integrals specifically, saying only that it is a "real period" in BSD analogue. With Hecke, might be the only cases that are known (following Blasius). – v08ltu Jun 24 '13 at 1:22

You can compute $c^{\pm}(M)$ in this case by pairing $H_1(X(\mathbf{C}),\mathbf{Q})^{\pm}$ with $\Omega^1(X)$, which are all $\mathbf{Q}$-vector spaces of dimension $g$. Here $(H_1)^{\pm}$ means the $(\pm 1)$-eigenspace with respect to the action of complex conjugation on $X(\mathbf{C})$.

Moreover, the motive $M=h^1(X)$ coincides with the motive of the Jacobian $J$ of $X$. So Deligne's conjecture on $L(h^1(X),1)$ can be cast in terms of $J$, and in fact it amounts to the BSD conjecture for $J$ (more precisely, the BSD conjecture up to a non-zero rational factor). Note that the BSD conjecture is wide open for general abelian varieties over $\mathbf{Q}$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.