🔢 mathematics

Variation of Iwasawa Invariants for Ordinary Representations

This paper extends Greenberg's framework on the topology of $\mathbb{Z}_p$ -extensions to establish boundedness results for the Iwasawa invariants of Selmer and fine Selmer groups associated with ordinary $p$ -adic representations, while also providing evidence for their connection to Disegni's conjectural $p$ -adic $L$ -function near the cyclotomic extension.

Original authors: Abhishek, Chandrakant Aribam, Shiva Barman, Sohan Ghosh

Published 2026-08-21

📖 5 min read🧠 Deep dive

CC0 1.0

Original authors: Abhishek, Chandrakant Aribam, Shiva Barman, Sohan Ghosh

Original paper dedicated to the public domain under CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Mathematics has a long tradition of studying how numbers behave when arranged in endless, expanding towers. Imagine a single number field, a specific collection of numbers, and then building a sequence of larger and larger fields on top of it, each one connected to the last in a precise, repeating pattern. For decades, mathematicians have tracked specific counts within these towers, looking for patterns in how the complexity of the number system grows as the tower rises. They discovered that this growth often follows a predictable formula involving three specific numbers, known as invariants. These numbers act like a fingerprint for the tower, telling researchers whether the complexity grows slowly, explodes rapidly, or stays steady. While this behavior was well understood for one specific, famous type of tower, a major question remained: does this predictable behavior hold true for other, slightly different towers that are built nearby?

A team of researchers has now answered this question by proving that the behavior of these invariants is remarkably stable. They showed that if you start with a tower where the growth is well-behaved, then any tower built very close to it will share similar properties. Specifically, they proved that the numbers measuring the complexity of these towers cannot suddenly jump to a much higher value when you make a tiny change to the tower's structure. Instead, the complexity of a nearby tower is always bounded by the complexity of the original one. This finding is significant because it suggests that the rules governing these infinite number systems are robust and do not depend on a single, isolated case, but rather apply to a whole neighborhood of related structures.

The paper focuses on a specific type of number system called a number field and a particular kind of infinite tower built using a prime number, which the authors refer to as a p-adic extension. In the classic version of this theory, mathematicians study how the size of the class group—a measure of how far the numbers in the field are from having unique factorization—grows as you move up the tower. They found that the size of this group follows a formula where the growth is controlled by two main numbers. One of these numbers, often called the mu-invariant, acts like a switch: if it is zero, the growth is relatively slow and manageable; if it is positive, the growth can become explosive. Another number, the lambda-invariant, measures the linear rate of that growth. For many years, it was known that for the most famous tower, called the cyclotomic tower, the mu-invariant is often zero, but it was unclear if this stability held for other, less standard towers.

The researchers in this study set out to explore what happens when you move away from that famous cyclotomic tower to a nearby one. They defined a way to measure how "close" two different towers are to each other, creating a sort of neighborhood around any given tower. Within this neighborhood, they investigated the behavior of objects called Selmer groups. These groups are sophisticated mathematical tools that track the solutions to certain equations across the entire infinite tower. The team proved that if you start with a tower where the Selmer group is well-behaved, then for any tower in its immediate neighborhood, the Selmer group remains well-behaved as well. More importantly, they established that the complexity numbers for these nearby towers cannot exceed those of the original tower. If the original tower has a low mu-invariant, the nearby ones will not have a higher one. If the mu-invariants are the same, the lambda-invariants of the nearby towers will also be no larger than the original.

This work extends previous findings that were limited to specific types of number systems, such as those related to elliptic curves, to a much broader class of mathematical objects known as ordinary representations. These representations are essentially ways of describing symmetries in number systems using matrices. The authors showed that their results apply not just to the standard Selmer groups, but also to a finer, more detailed version called the fine Selmer group, which ignores certain local complications to focus on the core structure. By proving that the invariants for these groups are locally bounded, the team demonstrated that the mathematical landscape is continuous rather than chaotic; small changes in the construction of the tower lead to small, controlled changes in the resulting invariants.

The paper also touches on a deeper connection between these algebraic structures and analytic objects known as p-adic L-functions. These functions are complex formulas that encode deep arithmetic information about the number field. A major conjecture in the field, the Iwasawa Main Conjecture, predicts that the algebraic invariants of the Selmer group are exactly determined by the zeros of these p-adic L-functions. The researchers provided evidence that if this conjecture holds true for the famous cyclotomic tower, then a similar relationship likely holds for all towers in its neighborhood. They showed that if the algebraic and analytic invariants are zero for the cyclotomic tower, they remain zero for nearby towers, and the algebraic structure is generated by the corresponding p-adic L-function.

To illustrate their findings, the authors provided a concrete example involving a specific elliptic curve and the number field of Gaussian integers. In this case, they verified that the invariants are zero for the cyclotomic tower and confirmed that the conditions for their theorem are met. This example serves as a proof of concept, showing that the theoretical framework they built can be applied to real, calculable cases. The study does not claim to solve every mystery in the field, but it firmly establishes that the behavior of these invariants is stable and predictable across a wide range of related number systems. By proving that these mathematical fingerprints do not change erratically when the underlying structure is slightly altered, the work provides a stronger foundation for understanding the deep, hidden order within infinite towers of number fields.

Technical Summary of "Variation of Iwasawa Invariants for Ordinary Representations"

Problem Statement
Classical Iwasawa theory investigates the asymptotic behavior of arithmetic invariants, specifically the $\lambda$ and $\mu$ invariants, along infinite towers of number fields known as $\mathbb{Z}_p$ -extensions. While Iwasawa's foundational theorem describes the growth of $p$ -primary class groups, the behavior of these invariants across the space of all possible $\mathbb{Z}_p$ -extensions of a number field $K$ is less understood. Greenberg [Gre73] introduced a topology on the space $E(K)$ of all $\mathbb{Z}_p$ -extensions and established boundedness results for classical invariants. Subsequent work by Fukuda [Fuk94] and Kleine [Kle21] refined these results, demonstrating local boundedness for Selmer groups of ordinary abelian varieties.

The central problem addressed in this paper is the extension of these boundedness frameworks to Selmer groups and fine Selmer groups attached to $p$ -ordinary two-dimensional Galois representations (rather than just abelian varieties) over arbitrary $\mathbb{Z}_p$ -extensions. Furthermore, the authors investigate whether the relationship predicted by the Iwasawa Main Conjecture—linking the characteristic ideal of the dual Selmer group to a $p$ -adic $L$ -function—persists within a Greenberg neighborhood of the cyclotomic $\mathbb{Z}_p$ -extension.

Methodology
The authors employ a combination of algebraic Iwasawa theory and cohomological control theorems, building upon the framework of "Fukuda modules" introduced by Kleine [Kle21].

Greenberg Neighborhoods and Topology: The study utilizes the topology on $E(K)$ defined by Greenberg and refined by Kleine. A neighborhood $U(L_\infty, n)$ consists of $\mathbb{Z}_p$ -extensions $M_\infty$ that share a sufficiently large intersection with $L_\infty$ and have a ramification set $P(M_\infty)$ contained within $P(L_\infty)$ .
Fukuda Modules: The core technical tool is the identification of inverse systems of Selmer groups (specifically their Pontryagin duals) as Fukuda $\Lambda$ -modules. A module $X = \varprojlim X_n$ is a Fukuda module if it satisfies specific boundedness conditions regarding the kernels and cokernels of projection maps between layers. The authors prove that under suitable hypotheses, the dual Selmer groups over nearby extensions remain Fukuda modules with uniformly bounded parameters.
Cohomological Control Theorems: The authors establish control theorems for the restriction maps between Selmer groups over finite layers $K_n$ and the infinite extension $K_\infty$ . This involves analyzing the kernels and cokernels of maps $H^1(K_n, A) \to H^1(K_\infty, A)^{\Gamma_n}$ and local conditions at primes dividing $p$ . Key assumptions include the vanishing of $H^0(G_K, A)$ and specific actions of inertia groups on the representation $A^-$ .
Fine Selmer Groups: The paper distinguishes between the classical fine Selmer group (defined by Coates–Sujatha [CS05]) and a "Greenberg fine Selmer group." The authors analyze the dependence of these groups on the set of ramified primes $S$ and establish conditions under which they coincide or become independent of $S$ .
Iwasawa Main Conjecture Application: For the third theme, the authors utilize the construction of conjectural $p$ -adic $L$ -functions over arbitrary $\mathbb{Z}_p$ -extensions by Disegni [Dis20]. They assume the validity of the Iwasawa Main Conjecture over the cyclotomic extension to propagate the relationship between characteristic ideals and $L$ -functions to nearby extensions.

Key Contributions and Results

Boundedness for Ordinary Representations (Theorem 3.6): The authors prove that for a two-dimensional $p$ -ordinary Galois representation $V$ , if the dual Greenberg (or strict) Selmer group over a $\mathbb{Z}_p$ -extension $K_\infty$ is a torsion $\Lambda$ -module, then there exists a neighborhood $U$ of $K_\infty$ such that:
- The dual Selmer groups for all extensions in $U$ are also torsion $\Lambda$ -modules.
- The $\mu$ -invariant is locally bounded: $\mu(\text{Sel}^*(A/\tilde{K}_\infty)^\vee) \leq \mu(\text{Sel}^*(A/K_\infty)^\vee)$ .
- The $\lambda$ -invariant is locally bounded provided the $\mu$ -invariants agree.
  This generalizes Kleine's results from abelian varieties to general ordinary Galois representations.
Fine Selmer Group Boundedness (Theorems 3.9 and 3.12): The paper establishes analogous local boundedness results for both the classical fine Selmer groups and the Greenberg fine Selmer groups. The authors show that under the assumption $H^0(K_v, A) = 0$ for ramified primes, the dual fine Selmer groups form Fukuda modules with parameters $(1, 1, 1)$ in a sufficiently small neighborhood, ensuring the boundedness of their Iwasawa invariants.
Propagation of the Iwasawa Main Conjecture (Theorem 4.1): Assuming the Iwasawa Main Conjecture holds for the cyclotomic $\mathbb{Z}_p$ -extension $K_{\text{cyc}}$ and that the associated $\mu$ and $\lambda$ invariants vanish, the authors prove that there exists a neighborhood of $K_{\text{cyc}}$ where the characteristic ideal of the dual Selmer group is generated by the conjectural $p$ -adic $L$ -function defined by Disegni. This result relies on the fact that if the invariants vanish, the characteristic ideal and the $L$ -function are units in the Iwasawa algebra, a property preserved in the neighborhood.
Numerical Illustration (Example 4.3): The paper provides a concrete example involving an elliptic curve over $K = \mathbb{Q}(i)$ with $p=5$ . By leveraging known results on quadratic twists and the Iwasawa Main Conjecture (via Skinner–Urban and Kato), they verify that the hypotheses of Theorem 4.1 are satisfied, demonstrating a case where the characteristic ideal and $p$ -adic $L$ -function generate the unit ideal in a neighborhood of the cyclotomic extension.

Significance
The paper claims to extend the scope of Iwasawa boundedness theory beyond abelian varieties to the broader context of ordinary two-dimensional Galois representations, which are central to the study of modular forms and elliptic curves. By establishing that the structural properties of Selmer groups (torsionness, $\mu$ , and $\lambda$ invariants) are stable within Greenberg neighborhoods, the work provides a robust framework for comparing arithmetic invariants across different $\mathbb{Z}_p$ -extensions.

Furthermore, the results on fine Selmer groups clarify the stability of these subgroups, which are closely linked to the $\mu=0$ conjecture. Finally, the application to the Iwasawa Main Conjecture offers evidence that the deep connection between algebraic structures (Selmer groups) and analytic objects ( $p$ -adic $L$ -functions) is not isolated to the cyclotomic tower but extends to nearby extensions, provided the invariants vanish. This suggests a form of continuity in the arithmetic geometry of $p$ -adic representations across the space of $\mathbb{Z}_p$ -extensions.

More like this