Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
1  
The main paper here (section 3.5) is on genus 2, see eprints.maths.ox.ac.uk/259/1/art15.pdf‎ $$ $$ 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). mathe2.uni-bayreuth.de/stoll/papers/StollYang-2002-09-18.pdf –  v08ltu Jun 24 '13 at 1:22
add comment

1 Answer

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|improve this answer
add comment

Your Answer

 
discard

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.