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

Let $E$ be an elliptic curve and $\rho$ an Artin representation of $\operatorname{Gal}(\overline{\mathbb{Q}} / \mathbb{Q})$. Then there is a "twisted L-function" $L(E, \rho, s)$, corresponding to the compatible system of $\ell$-adic representations $H^1_\ell(E) \otimes \rho$.

Let $p$ be a prime where $E$ has good supersingular reduction. Is it known (maybe just in some specific examples) whether there exists a $p$-adic $L$-function interpolating the values $L(E, \rho \otimes \chi, 1)$, where $\rho$ is fixed but $\chi$ varies over all Dirichlet characters of $p$-power conductor? I gather this is known in some cases when $E$ has good ordinary reduction at $p$, but I'm specifically interested in the supersingular case.

EDIT: Since this question seems to have come alive again after over a year's inactivity, I will add a little clarification. What I'm hoping for are distributions of finite order on the cyclotomic Galois group $\Gamma \cong \mathbb{Z}_p^\times$ satisfying some reasonable interpolation formula linking their values at finite-order characters to the $L$-values I mentioned above; and I expect that one will have to make a choice of eigenvalue of crystalline Frobenius of E at p satisfying some small slope condition, as one does in the Amice-Velu-Vishik construction for $\rho = 1$. I fully expect that there will be some story involving decomposing these potentially unbounded distributions in terms of auxiliary bounded distributions as in Pollack's $\pm$-construction, but I'm not asking about that here.

share|improve this question
    
Very interesting question. My guess is that there are no such examples, yet. –  Chris Wuthrich Jun 8 '10 at 14:10
    
David, what are the results you know in the case of an $E$ which has good ordinary reduction. –  Joël Oct 2 '11 at 20:21
    
Trying to clarify my mind about this question, I realized I didn't know the answer to a much more basic question: For which Artin representation $\rho$ can we define a $p$-adic $L$-function interpolating the values $L(\rho \otimes \chi,1)$? The case where $\rho(c)$ is a scalar would follow from the Brauer method and Deligne-Ribet, but is the general case known? –  Joël Oct 2 '11 at 21:21
    
In lots of cases these will all be zero for trivial reasons (e.g. if $\rho$ is the regular representation of $\operatorname{Gal}(K / \mathbb{Q})$ for $K$ a number field that isn't totally real or CM). So one really wants to interpolate (suitably normalized) leading terms at 1, not just values. I asked about this case at: mathoverflow.net/questions/18884/… –  David Loeffler Oct 3 '11 at 7:21
add comment

1 Answer

Hi David,

I don't think you can really hoped for such a p-adic L function. Already if \rho=1 "the" p-adic L function does not exist - Robert Pollack has this \pm construction. In terms of Coates-Fukaya-Kato-Sujatha-Venjakob Non-commutative Iwasawa Theory, I would conjecture that supersingular curves don't have S-torsion Selmer groups, preventing the main Conjecture to be stated. I hope this makes some sense.

share|improve this answer
    
The $p$-adic functions exist when $\rho = 1$. This is an old story. Perrin-Riou has some papers where she formulates the main conjecture and the $p$-adic BSD conjecture despite the fact that the Selmer group is not $\Lambda$-torsion. The $\pm$ construction came later and is prettier. So I am certain that there is a statement of the main conjecture in the non-commutative setting, too. –  Chris Wuthrich Oct 2 '11 at 17:20
    
@Filippo: You are selectively (mis)interpreting the question in such a way that it has a trivial answer. –  David Loeffler Oct 2 '11 at 20:10
    
@David: Sorry, I read now your EDIT and see your point better (and agree that my answer was unfair). For Chris, you should be right but for the moment I really don't see how in the localization sequence of Non-Comm. Iwasawa th. one can get around the trouble of Selmer not being torsion. But this should definitely come from too narrow a point of view we (rather say: "I") have on the non-comm. MC. –  Filippo Alberto Edoardo Oct 5 '11 at 9:40
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.