On capitulations and pseudo-null submodules in certain ${\Bbb Z}_p^d$-extensions

Satoshi Fujii

2024-06-07

Abstract:Let $p$ be a prime number. By a result of Ozaki, the capitulations of ideals in ${\Bbb Z}_p$-extensions and the finite submodules of Iwasawa modules are closely related. In this article, we discuss this relationship in ${\Bbb Z}_p^d$-extensions.

Number Theory

What problem does this paper attempt to address?

On the triviality of the unramified Iwasawa modules of the maximal multiple $\mathbb{Z}_p$-extensions

Keiji Okano

2024-09-17

Abstract:For a number field $k$ and an odd prime number $p$, we consider the maximal multiple $\mathbb{Z}_p$-extension $\tilde{k}$ of $k$ and the unramified Iwasawa module $X(\tilde{k})$, which is the Galois group of the maximal unramified abelian $p$-extension over $\tilde{k}$. In the present article, we discus classifying CM-fields $k$ which are decomposed completely at $p$ such that $X(\tilde{k})=0$.

Number Theory
Rarity of pseudo-null Iwasawa modules for $p$-adic Lie extensions

Takenori Kataoka

2024-07-12

Abstract:In this paper, we obtain a necessary and sufficient condition for the pseudo-nullity of the $p$-ramified Iwasawa module for $p$-adic Lie extension of totally real fields. It is applied to answer the corresponding question for the minus component of the unramified Iwasawa module for CM-fields. The results show that the pseudo-nullity is very rare.

Number Theory
On the $\mathbb{Z}_p$-extensions of a totally $p$-adic imaginary quadratic field -- With an appendix by Jean-François Jaulent

Georges Gras

2024-09-02

Abstract:Let $k = \mathbb{Q}(\sqrt {-m})$ and $p > 2$ split in $k$. We prove new properties of the $\mathbb{Z}_p$-extensions $K/k$, distinct from the cyclotomic; we do not assume $K/k$ totally ramified, nor the triviality of the $p$-class group of $k$. These properties are governed by the $p$-valuation, $\delta_p(k)$, of a suitable Fermat quotient of the fundamental $p$-unit $x$ of $k$, which also yields the order of the logarithmic class group (2.2, App. A), and generalize the Gold-Sands criterion (5.1, 5.3, 5.4, 5.5). These results use the second element $(\mathcal{H}_{K_n}/\mathcal{H}_{K_n}^{G_n})^{G_n}$ of the filtration of the $p$-class groups in $K=\cup_n K_n$, without any argument of Iwasawa's theory, and provide new perspectives. We compute, Sec. 7, the first layer $K_1$, using the Log-function, then give a short proof of a result of Kundu-Washington (5.6), and show (7.4, 7.6) that capitulation is possible in $K$, suggesting Conjecture 5.8. Calculations are gathered App. B.

Number Theory
Minimal resolutions of Iwasawa modules

Takenori Kataoka,Masato Kurihara

2024-04-01

Abstract:In this paper, we study the module-theoretic structure of classical Iwasawa modules. More precisely, for a finite abelian $p$-extension $K/k$ of totally real fields and the cyclotomic $\mathbb{Z}_p$-extension $K_{\infty}/K$, we consider $X_{K_{\infty},S}={\rm Gal}(M_{K_{\infty},S}/K_{\infty})$ where $S$ is a finite set of places of $k$ containing all ramifying places in $K_{\infty}$ and archimedean places, and $M_{K_{\infty},S}$ is the maximal abelian pro-$p$-extension of $K_{\infty}$ unramified outside $S$. We give lower and upper bounds of the minimal numbers of generators and of relations of $X_{K_{\infty},S}$ as a $\mathbb{Z}_p[[{\rm Gal}(K_{\infty}/k)]]$-module, using the $p$-rank of ${\rm Gal}(K/k)$. This result explains the complexity of $X_{K_{\infty},S}$ as a $\mathbb{Z}_p[[{\rm Gal}(K_{\infty}/k)]]$-module when the $p$-rank of ${\rm Gal}(K/k)$ is large. Moreover, we prove an analogous theorem in the setting that $K/k$ is non-abelian. We also study the Iwasawa adjoint of $X_{K_{\infty},S}$, and the minus part of the unramified Iwasawa module for a CM-extension. In order to prove these theorems, we systematically study the minimal resolutions of $X_{K_{\infty},S}$.

Number Theory
On pseudo-nullity of fine Mordell-Weil group

Meng Fai Lim,Chao Qin,Jun Wang

2024-09-05

Abstract:Let $E$ be an elliptic curve defined over $\mathbb{Q}$ with good ordinary reduction at a prime $p\geq 5$, and let $F$ be an imaginary quadratic field. Under appropriate assumptions, we show that the Pontryagin dual of the fine Mordell-Weil group of $E$ over the $\mathbb{Z}_p^2$-extension of $F$ is pseudo-null as a module over the Iwasawa algebra of the group $\mathbb{Z}_p^2$.

Number Theory
On Krull-Schmidt decompositions of unit groups of number fields

Asuka Kumon,Donghyeok Lim

2024-03-14

Abstract:We prove that the Krull-Schmidt decomposition of the Galois module of the $p$-adic completion of algebraic units is controlled by the primes that are ramified in the Galois extension and the $S$-ideal class group. We also compute explicit upper bounds for the number of possible Galois module structures of algebraic units when the Galois group is cyclic of order $p^{2}$ or $p^{3}$.

Number Theory
Iwasawa Theory of graphs and their duals

Debanjana Kundu,Katharina Müller

2024-10-15

Abstract:In this article, we study questions pertaining to ramified $\mathbb{Z}_p^d$-extensions of a finite connected graph $X$. We also study the Iwasawa theory of dual graphs.

Number Theory
Unramified extensions and geometric $\mathbb{Z}_p$-extensions of global function fields

Tsuyoshi Itoh

DOI: https://doi.org/10.48550/arXiv.0803.3663

2008-03-26

Abstract:We study on finite unramified extensions of global function fields (function fields of one valuable over a finite field). We show two results. One is an extension of Perret's result about the ideal class group problem. Another is a construction of a geometric $\mathbb{Z}_p$-extension which has a certain property.

Number Theory
On the complete faithfulness of the $p$-free quotient modules of dual Selmer groups

Meng Fai Lim

DOI: https://doi.org/10.48550/arXiv.1504.04917

2016-05-02

Abstract:In this paper, we consider the question of the complete faithfulness of the $p$-free quotient module of the dual Selmer groups of elliptic curves defined over a noncommutative $p$-adic Lie extension. Our question will refine previous questions on the complete faithfulness of dual Selmer groups. We also consider the question of the triviality of the central torsion submodules of these Iwasawa modules and we see that this latter question is intimately related to the former. We will also formulate and study analogous questions for the dual Selmer groups of Hida deformations. We then give positive answer to our questions, and establish "control theorem" results between the questions in certain cases.

Number Theory
The algebra $\mathbb{Z}_\ell[[\mathbb{Z}_p^d]]$ and applications to Iwasawa theory

Andrea Bandini,Ignazio Longhi

2023-12-08

Abstract:Let $\ell$ and $p$ be distinct primes, and let $\Gamma$ be an abelian pro-$p$-group. We study the structure of the algebra $\Lambda:=\mathbb{Z}_\ell[[\Gamma]]$ and of $\Lambda$-modules. In the case $\Gamma\simeq \mathbb{Z}_p^d$, we consider a $\mathbb{Z}_p^d$-extension $K/k$ of a global field $k$ and use the structure theorems to provide explicit formulas for the orders and $\ell$-ranks of certain Iwasawa modules (namely $\ell$-class groups and $\ell$-Selmer groups) associated with the finite subextensions of $K$. We apply this new approach to provide different proofs and generalizations of results of Washington and Sinnott on $\ell$-class groups.

Number Theory
The Iwasawa invariants of $\mathbb{Z}_p^{\,d}$-covers of links

Sohei Tateno,Jun Ueki

2024-02-24

Abstract:Let $p$ be a prime number and let $d\in \mathbb{Z}_{>0}$. In this paper, following the analogy between knots and primes, we study the $p$-torsion growth in a compatible system of $(\mathbb{Z}/p^n\mathbb{Z})^d$-covers of 3-manifolds and establish several analogues of Cuoco--Monsky's multivariable versions of Iwasawa's class number formula. Our main goal is to establish the Cuoco--Monsky type formula for branched covers of links in rational homology 3-spheres. In addition, we prove the precise formula over integral homology 3-spheres prompted by Greenberg's conjecture. We also obtain results on reduced Alexander polynomials and on the Betti number periodicity. Furthermore, we investigate the twisted Whitehead links in $S^3$ and point out that the Iwasawa $\mu$-invariant of a $\mathbb{Z}_p^{\,2}$-cover can be an arbitrary non-negative integer. We also calculate the Iwasawa $\mu$ and $\lambda$-invariants of the Alexander polynomials of all links in Rolfsen's table.

Geometric Topology,Number Theory
The canonical dimension of modules for Iwasawa algebras

James Timmins

2023-06-16

Abstract:Let F be a non-trivial finite extension of the p-adic numbers, and G be a compact p-adic Lie group whose Lie algebra is isomorphic to a split simple F-Lie algebra. We prove that the mod p Iwasawa algebra of G has no modules of canonical dimension one. One consequence is a new upper bound on the Krull dimension of the Iwasawa algebra. We also prove a canonical dimension-theoretic criterion for a mod p smooth admissible representation to be of finite length. Combining our results shows that any smooth admissible representation of $GL_n(F)$, with central character, has finite length if its dual has canonical dimension two.

Number Theory,Rings and Algebras,Representation Theory
Analogues of Iwasawa’s $\mu = 0$ Conjecture and the Weak Leopoldt Conjecture for a Non-Cyclotomic $\Mathbb{z}_2$-Extension

Junhwa Choi,Yukako Kezuka,Yongxiong Li

DOI: https://doi.org/10.4310/ajm.2019.v23.n3.a2

2019-01-01

Asian Journal of Mathematics

Abstract:Let K = Q(root-q), where q is any prime number congruent to 7 modulo 8, and let O be the ring of integers of K. The prime 2 splits in K, say 2O = pp*, and there is a unique Z(2)-extension K-infinity of K which is unramified outside p. Let H be the Hilbert class field of K, and write H-infinity = HK infinity. Let M(H-infinity) be the maximal abelian 2-extension of H-infinity which is unramified outside the primes above p, and put X(H-infinity) = Gal(M(H-infinity)/H-infinity). We prove that X(H-infinity) is always a finitely generated Z(2)-module, by an elliptic analogue of Sinnott's cyclotomic argument. We then use this result to prove for the first time the weak p-adic Leopoldt conjecture for the compositum J(infinity) of K-infinity with arbitrary quadratic extensions J of H. We also prove some new cases of the finite generation of the Mordell-Weil group E(J(infinity)) modulo torsion of certain elliptic curves E with complex multiplication by O.
The Classification of $\mathbb{Z}_p$-Modules with Partial Decomposition Bases in $L_{\inftyω}$

Carol Jacoby,Peter Loth

DOI: https://doi.org/10.48550/arXiv.1507.06572

2015-07-23

Logic

Abstract:Ulm's Theorem presents invariants that classify countable abelian torsion groups up to isomorphism. Barwise and Eklof extended this result to the classification of arbitrary abelian torsion groups up to $L_{\infty \omega}$-equivalence. In this paper, we extend this classification to a class of mixed $\mathbb{Z}_p$-modules which includes all Warfield modules and is closed under $L_{\infty\omega}$-equivalence. The defining property of these modules is the existence of what we call a partial decomposition basis, a generalization of the concept of decomposition basis. We prove a complete classification theorem in $L_{\infty\omega}$ using invariants deduced from the classical Ulm and Warfield invariants.
On Abelian extensions in mixed characteristic and ramification in codimension one

Daniel Katz,Prashanth Sridhar

2024-03-08

Abstract:A theorem of Paul Roberts states that the integral closure of a regular local ring in a generically abelian extension is Cohen-Macaulay, provided the characteristic of the residue field does not divide the order of the Galois group. An example of Koh shows the conclusion is false in the modular case. After a modification to the statement concerning ramification over $p$ in codimension one, we give an extension of Roberts's theorem to the modular case for unramified regular local rings in mixed characteristic when the $p$-torsion of the Galois group is annihilated by $p$.

Commutative Algebra,Algebraic Geometry
Modulo l distinction problems

Peiyi Cui,Thomas Lanard,Hengfei Lu

DOI: https://doi.org/10.1112/s0010437x24007346

2024-10-01

Compositio Mathematica

Abstract:Let be a non-archimedean local field of characteristic different from 2 and residual characteristic . This paper concerns the -modular representations of a connected reductive group distinguished by a Galois involution, with an odd prime different from . We start by proving a general theorem allowing to lift supercuspidal -representations of distinguished by an arbitrary closed subgroup to a distinguished supercuspidal -representation. Given a quadratic field extension and an irreducible -representation </ -Abstract Truncated-

mathematics
Initial layer of the anti-cyclotomic $\mathbb{Z}_3$-extension of $\mathbb{Q}(\sqrt{-m})$ and capitulation phenomenon

Georges Gras

2024-12-11

Abstract:Let $k=\mathbb{Q}(\sqrt-m)$ be an imaginary quadratic field. We consider the properties of capitulation of the p-class group of k in the anti-cyclotomic $\mathbb{Z}_p$-extension of $k$, for $p=3$; for this, using a new algorithm, we determine the first layer $k^{\rm ac}_1$ of $k^{\rm ac}$ over $k$ (with absolutely general pari/gp programs that may be used by the reader), and we examine if, at least, some partial capitulation may exist in $k^{\rm ac}_1$. The answer seems obviously yes,even when $k^{\rm ac}/k$ is totally ramified. We have conjectured that this phenomenon of capitulation is specific of all the $\mathbb{Z}_p$-extensions of $k$, distinct from the cyclotomic one, whatever $p$. We characterize a family of fields k (called Normal Split cases) for which $k^{\rm ac}$ is not linearly disjoint from the Hilbert class field (Theorem 1.16). Many numerical illustrations are given for p=3 with computation of the 3-class group of $k^{\rm ac}_1$. No assumptions are made on the structure of the 3-class group of $k$, nor on the splitting of 3 in $k$ and in its mirror field $k^*=\mathbb{Q}(\sqrt3m)$.

Number Theory
Partial Hasse Invariants on Splitting Models of Hilbert Modular Varieties

Davide A. Reduzzi,Liang Xiao

DOI: https://doi.org/10.24033/asens.2328

2017-01-01

Annales Scientifiques de l École Normale Supérieure

Abstract:Let $F$ be a totally real field of degree $g$, and let $p$ be a prime number. We construct $g$ partial Hasse invariants on the characteristic $p$ fiber of the Pappas-Rapoport splitting model of the Hilbert modular variety for $F$ with level prime to $p$, extending the usual partial Hasse invariants defined over the Rapoport locus. In particular, when $p$ ramifies in $F$, we solve the problem of lack of partial Hasse invariants. Using the stratification induced by these generalized partial Hasse invariants on the splitting model, we prove in complete generality the existence of Galois pseudo-representations attached to Hecke eigenclasses of paritious weight occurring in the coherent cohomology of Hilbert modular varieties $\mathrm{mod}$ $p^m$, extending a previous result of M. Emerton and the authors which required $p$ to be unramified in $F$.
Modularity of residual Galois extensions and the Eisenstein ideal

Tobias Berger,Krzysztof Klosin

DOI: https://doi.org/10.1090/tran/7851

IF: 1.3529

2019-06-03

Transactions of the American Mathematical Society

Abstract:For a totally real field F F , a finite extension F \mathbf {F} of F p \mathbf {F}_p , and a Galois character χ : G F → F × \chi : G_F \to \mathbf {F}^{\times } unramified away from a finite set of places Σ ⊃ { p ∣ p } \Sigma \supset \{\mathfrak {p} \mid p\} , consider the Bloch–Kato Selmer group H := H Σ 1 ( F , χ − 1 ) H:=H^1_{\Sigma }(F, \chi ^{-1}) . The authors previously proved that the number d d of isomorphism classes of (nonsemisimple, reducible) residual representations ρ ̄ {\overline \rho } giving rise to lines in H H which are modular by some ρ f \rho _f (also unramified outside Σ \Sigma ) satisfies d ≥ n := dim F ⁡ H d \geq n:= \dim _{\mathbf {F}} H . This was proved under the assumption that the order of a congruence module is greater than or equal to that of a divisible Selmer group. We show here that if in addition the relevant local Eisenstein ideal J J is nonprincipal, then d > n d >n . When F = Q F=\mathbf {Q} we prove the desired bounds on the congruence module and the Selmer group. We also formulate a congruence condition implying the nonprincipality of J J that can be checked in practice, allowing us to furnish examples where d > n d>n .

mathematics
Pseudo supports and the depth of modules

Tran Nguyen An

2023-11-08

Abstract:Let $(R,\mathfrak{m})$ be a Noetherian local ring, $I$ an ideal of $R$, and $M$ a finitely generated $R$-module of dimension $d$. In this paper, we describe primes ideal $\mathfrak{p}$ satisfying ${\rm depth}(M)= {\rm depth}M_{\mathfrak{p}} +\dim R/\mathfrak{p}$ in term of pseudo supports Psupp$_R^i(M)$ of $M$, for $i=0, \ldots,d$. Furthermore, if $R$ is the homomorphic image of a Cohen-Macaulay local ring, formulas for depth of $M$ and depth of $I$ on $M$ are determined via the finite subset of attached primes of local cohomology modules $H_{\mathfrak{m}}^i(M)$, for $i=0, \ldots,d$.

Commutative Algebra

On capitulations and pseudo-null submodules in certain ${\Bbb Z}_p^d$-extensions

On the triviality of the unramified Iwasawa modules of the maximal multiple $\mathbb{Z}_p$-extensions

Rarity of pseudo-null Iwasawa modules for $p$-adic Lie extensions

On the $\mathbb{Z}_p$-extensions of a totally $p$-adic imaginary quadratic field -- With an appendix by Jean-François Jaulent

Minimal resolutions of Iwasawa modules

On pseudo-nullity of fine Mordell-Weil group

On Krull-Schmidt decompositions of unit groups of number fields

Iwasawa Theory of graphs and their duals

Unramified extensions and geometric $\mathbb{Z}_p$-extensions of global function fields

On the complete faithfulness of the $p$-free quotient modules of dual Selmer groups

The algebra $\mathbb{Z}_\ell[[\mathbb{Z}_p^d]]$ and applications to Iwasawa theory

The Iwasawa invariants of $\mathbb{Z}_p^{\,d}$-covers of links

The canonical dimension of modules for Iwasawa algebras

Analogues of Iwasawa’s $\mu = 0$ Conjecture and the Weak Leopoldt Conjecture for a Non-Cyclotomic $\Mathbb{z}_2$-Extension

The Classification of $\mathbb{Z}_p$-Modules with Partial Decomposition Bases in $L_{\inftyω}$

On Abelian extensions in mixed characteristic and ramification in codimension one

Modulo l distinction problems

Initial layer of the anti-cyclotomic $\mathbb{Z}_3$-extension of $\mathbb{Q}(\sqrt{-m})$ and capitulation phenomenon

Partial Hasse Invariants on Splitting Models of Hilbert Modular Varieties

Modularity of residual Galois extensions and the Eisenstein ideal

Pseudo supports and the depth of modules