2
$\begingroup$

Let $\Lambda$ denote the Iwasawa algebra and $M$ a finitely generated torsion $\Lambda$ module. Does there exist a number field $K$ and a $\mathbb{Z}_p$-extension $K_{\infty}/K$ such that the $p$-Hilbert class field $\Lambda$-module $X_{\infty}$ is pseudo-isomorphic to $M$? What about the same question for $\mathbb{Z}_p^2$-extensions?

$\endgroup$

1 Answer 1

1
$\begingroup$

I guess $X_{\infty}$ stands for the Galois group of the maximal abelian unramified $p$-extension of $K_{\infty}$, in other words the projective limit of the $p$-primary part of the class groups. Since the class group of $K$ is finite, it is impossible that $X_{\infty}$ is pseudo-isomorphic to $\mathbb{Z}_p$ with trivial $\Lambda$ action. More generally the charactersitic series of $X_{\infty}$ must be coprime to the cyclotomic polynomials $(1+T)^{p^n}-1$.

$\endgroup$
2
  • $\begingroup$ There will be other restriction that this one. I wonder what the motivation of the question is. $\endgroup$ Nov 4, 2018 at 13:26
  • 1
    $\begingroup$ Thank you, I believe so. The result is known for Iwasawa modules of finite cardinality thanks to Ozaki "Construction of Zp extensions with prescribed Iwasawa Modules" in Japan Math Society and therefore it seems like a natural question to ask what is known for torsion Iwasawa modules. $\endgroup$
    – user130124
    Nov 4, 2018 at 14:25

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.