1Function: ellpadiclambdamu 2Section: elliptic_curves 3C-Name: ellpadiclambdamu 4Prototype: GLD1,L,D0,L, 5Help: ellpadiclambdamu(E, p, {D=1},{i=0}): returns the Iwasawa invariants for 6 the p-adic L-function attached to E, twisted by (D,.) and the i-th power 7 of the Teichmuller character. 8Doc: Let $p$ be a prime number and let $E/\Q$ be a rational elliptic curve 9 with good or bad multiplicative reduction at $p$. 10 Return the Iwasawa invariants $\lambda$ and $\mu$ for the $p$-adic $L$ 11 function $L_p(E)$, twisted by $(D/.)$ and the $i$-th power of the 12 Teichm\"uller character $\tau$, see \kbd{ellpadicL} for details about 13 $L_p(E)$. 14 15 Let $\chi$ be the cyclotomic character and choose $\gamma$ 16 in $\text{Gal}(\Q_p(\mu_{p^\infty})/\Q_p)$ such that $\chi(\gamma)=1+2p$. 17 Let $\hat{L}^{(i), D} \in \Q_p[[X]]\otimes D_{cris}$ such that 18 $$ (<\chi>^s \tau^i) (\hat{L}^{(i), D}(\gamma-1)) 19 = L_p\big(E, <\chi>^s\tau^i (D/.)\big).$$ 20 21 \item When $E$ has good ordinary or bad multiplicative reduction at $p$. 22 By Weierstrass's preparation theorem the series $\hat{L}^{(i), D}$ can be 23 written $p^\mu (X^\lambda + p G(X))$ up to a $p$-adic unit, where 24 $G(X)\in \Z_p[X]$. The function returns $[\lambda,\mu]$. 25 26 \item When $E$ has good supersingular reduction, we define a sequence 27 of polynomials $P_n$ in $\Q_p[X]$ of degree $< p^n$ (and bounded 28 denominators), such that 29 $$\hat{L}^{(i), D} \equiv P_n \varphi^{n+1}\omega_E - 30 \xi_n P_{n-1}\varphi^{n+2}\omega_E \bmod \big((1+X)^{p^n}-1\big) 31 \Q_p[X]\otimes D_{cris},$$ 32 where $\xi_n = \kbd{polcyclo}(p^n, 1+X)$. 33 Let $\lambda_n,\mu_n$ be the invariants of $P_n$. We find that 34 35 \item $\mu_n$ is nonnegative and decreasing for $n$ of given parity hence 36 $\mu_{2n}$ tends to a limit $\mu^+$ and $\mu_{2n+1}$ tends to a limit 37 $\mu^-$ (both conjecturally $0$). 38 39 \item there exists integers $\lambda^+$, $\lambda^-$ 40 in $\Z$ (denoted with a $\til$ in the reference below) such that 41 $$ \lim_{n\to\infty} \lambda_{2n} + 1/(p+1) = \lambda^+ 42 \quad \text{and} \quad 43 \lim_{n\to\infty} \lambda_{2n+1} + p/(p+1) = \lambda^-.$$ 44 The function returns $[[\lambda^+, \lambda^-], [\mu^+,\mu^-]]$. 45 46 \noindent Reference: B. Perrin-Riou, Arithm\'etique des courbes elliptiques 47 \`a r\'eduction supersinguli\`ere en $p$, \emph{Experimental Mathematics}, 48 {\bf 12}, 2003, pp. 155-186. 49