Vanishing of certain $\mu$-invariants attached to abelian extensions of imaginary quadratic fields - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T08:27:25Z http://mathoverflow.net/feeds/question/106265 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/106265/vanishing-of-certain-mu-invariants-attached-to-abelian-extensions-of-imaginary Vanishing of certain $\mu$-invariants attached to abelian extensions of imaginary quadratic fields Henri Johnston 2012-09-03T19:11:03Z 2012-09-28T07:34:37Z <p>In <em>Fonctions L p-adiques des corps quadratiques imaginaires et de leurs extensions abéliennes</em>, J. Reine Angew. Math. 358 (1985), 76–91, Roland Gillard shows the following result (I mainly follow the MR review here):</p> <p>Let $K$ be an imaginary quadratic field and let $p > 3$ be a prime number which splits in K into $(p)=\mathfrak{p}\mathfrak{p'}$. Let $K_{\infty}$ be the unique <code>$\mathbb{Z}_{p}$</code>-extension of $K$ unramified outside $\mathfrak{p}$ (thus noncyclotomic). Let $F$ be a finite abelian extension of $K$ and let $M$ be the maximal abelian $p$-extension of $F$ unramified outside $\mathfrak{p}$. Then Theorem 3.4 states that $\mathrm{Gal}(M/FK_{\infty})$ is $\mathbb{Z}_{p}$-torsion-free; in particular its $\mu$-invariant is 0.</p> <p>Question: does anyone know if the vanishing of this $\mu$-invariant is also proven somewhere when $p=3$ (even special cases would be of interest)?</p> <p>Note: with some work, you can get a PDF of the article in question without a subscription by following the link from here: <a href="http://www.ams.org/dmr/JournalListJ.html" rel="nofollow">http://www.ams.org/dmr/JournalListJ.html</a></p> http://mathoverflow.net/questions/106265/vanishing-of-certain-mu-invariants-attached-to-abelian-extensions-of-imaginary/108306#108306 Answer by Filippo Alberto Edoardo for Vanishing of certain $\mu$-invariants attached to abelian extensions of imaginary quadratic fields Filippo Alberto Edoardo 2012-09-28T02:56:49Z 2012-09-28T07:34:37Z <p>If you look at Theorem 1 in <a href="http://www.math.ucla.edu/~hida/VmvFF.pdf" rel="nofollow"> Hida's paper </a> quoted in my comment, I think that you'll get what you are looking for.</p> <p>Since $F=\mathbb{Q}$ (I stick to Hida's notation) and you work with the maximal unramified-outside-of-$\mathfrak{p}$-extension, the prime-to -$p$ part of the conductor to be considered in condition (S) is trivial and $p$ is certainly split in $F$. So the theorem applies. Now, split the maximal unramified-outside-of-$\mathfrak{p}$ extension $K(\mathfrak{p}^\infty)/K$ as the compositum $K(\mathfrak{p}^\infty)=K'K_\infty$, where $[K':K]$ is prime to $p$. The theorem tells you - if you are willing to believe it - that the projection of the $p$-adic $L$-function $\varphi$ (seen as a measure on the big Galois group $\mathrm{Gal}(K(\mathfrak{p}^\infty)/K)=\Gamma\times\mathrm{Gal}(K'/K)$ where $\Gamma$ is the Galois group of your extension) to a measure on $\Gamma$ has trivial $\mu$ invariant: this projection, indeed, corresponds to the branch character <code>$\psi_0=\mathrm{id}$</code>.</p> <p>A last word of warning: some techniques resorting from the study of Hilbert-Blumenthal Abelian Varieties require that the totally real base field be <em>different from the rationals</em>. I rapidly skim the paper, without seeing any sort of hypothesis $F\neq\mathbb{Q}$, but if you intend to apply it in a research paper, I'd advise you to double-check this assumption.</p>