Signed Selmer Groups in Iwasawa Theory

Updated 21 January 2026

Signed Selmer groups are refinements of traditional p-primary Selmer groups, incorporating specialized local conditions at supersingular primes.
They use plus/minus decompositions and Kummer theory to isolate complex p-adic phenomena in non-ordinary settings.
These groups are pivotal in developing main conjectures, constructing p-adic L-functions, and exploring Birch–Swinnerton-Dyer-type formulas.

A signed Selmer group is a refinement of the classical $p$ -primary Selmer group in Iwasawa theory, constructed to account for the intricate local behavior at non-ordinary (especially supersingular) primes. Signed Selmer groups, building on the foundational work of Kobayashi, Kim, and Perrin-Riou, interpolate the algebraic and analytic properties of Selmer groups in settings—such as supersingular reduction or non-ordinary motives—where the usual methods break down. These groups are central to recent advances in non-ordinary Iwasawa theory, facilitating new formulations of main conjectures, explicit functional equations, and applications to $p$ -adic $L$ -functions and Birch–Swinnerton-Dyer-type formulae.

1. Foundational Definitions and Local Structures

Let $E$ be an elliptic curve over a number field $F$ , $p$ a fixed odd prime, and $F_\infty$ a $\mathbb{Z}_p$ -extension of $F$ . The Iwasawa algebra is $\Lambda = \mathbb{Z}_p[[\mathrm{Gal}(F_\infty/F)]]$ . For non-ordinary or supersingular reduction at $p$ , the theory of $\pm$ (or more generally, "signed") Selmer groups incorporates a refined system of local conditions at $p$ to account for nontrivial $p$ -torsion phenomena in the formal group $\widehat{E}$ .

Local Plus/Minus Decompositions

Supersingular Elliptic Curves: At primes $v$ of supersingular reduction, Kobayashi [Kobayashi 2003] defines subgroups $E^\pm(F_{n,v}) \subset \widehat{E}(F_{n,v})$ by parity-vanishing trace conditions:

$E^+(F_{n,v}) = \{ P \mid \operatorname{Tr}_{F_{n,v}/F_{m,v}}(P) \in \widehat{E}(F_{m,v}),~\forall~m<n,~m\equiv 0 \bmod 2\},\quad E^-(F_{n,v}) = \text{(odd $m$ analog)}$

Cohomological Condition: The Kummer image of $E^\pm$ under local Tate duality yields rank-one direct summands $H^1_\pm(F_{n,v}, E[p^\infty])$ in $H^1(F_{n,v}, E[p^\infty])$ , which are exact orthogonal complements.

Global Signed Selmer Groups

For a choice of signs $\pm$ at each supersingular $v\mid p$ , the signed Selmer group is defined as:

$\operatorname{Sel}^\pm(E/F_\infty) = \ker\Bigl\{H^1(F_S/F_\infty, E[p^\infty]) \to \bigoplus_{v\nmid p}H^1(F_{\infty,v},E[p^\infty])/H^1_f(\cdot)\oplus\bigoplus_{v\mid p}H^1(F_{\infty,v},E[p^\infty])/H^1_\pm(\cdot)\Bigr\}$

with "finite" conditions at non- $p$ primes and plus/minus conditions at $p$ (Lei, 2023, Lei et al., 2016, Lei et al., 2011, Lei et al., 2020).

2. Algebraic Properties and Iwasawa Module Structure

The Pontryagin dual $X^\pm(E/F_\infty)$ of the signed Selmer group is conjectured (and known in many cases) to be a finitely generated torsion $\Lambda$ -module (Hamidi et al., 2020, Hatley et al., 2016, Ponsinet, 2018). The structure theorem gives:

$X^\pm(E/F_\infty) \sim \bigoplus_{i} \Lambda / f_i(T)^{\lambda_i}$

with well-defined $\mu$ - and $\lambda$ -invariants, allowing formulation of main conjectures in the non-ordinary case.

Functional Equations and Symmetries

For multi-signed Selmer groups (generalizing plus/minus signs at each supersingular prime), there are precise algebraic functional equations: the Pontryagin duals for complementary sign choices are pseudo-isomorphic after applying the appropriate $\iota$ -involution on $\Lambda$ (Lei et al., 2016, Ahmed et al., 2019, Ahmed et al., 2020).

3. Explicit Formulas: Characteristic Series, Euler Characteristics, and Main Conjectures

For $p$ -adic $L$ -functions and Iwasawa main conjectures at supersingular primes, the signed Selmer group replaces the classical Selmer group. The characteristic power series $f^\pm(T)$ of $X^\pm(E/F_\infty)$ plays a key role.

Leading Term Formula

Recent work (Castella, 26 Feb 2025) establishes that, up to a $p$ -adic unit,

$f^\pm(0) \sim_p (\log_p \kappa(\gamma))^{-r} \cdot \operatorname{Reg}_p^\pm(E) \cdot \frac{\#E(\mathbb{Q})[p^\infty] \cdot \operatorname{Tam}(E/\mathbb{Q})}{\#E(\mathbb{Q})_\mathrm{tors}^2}$

generalizing predictions of Perrin-Riou and Kato, corresponding to a $p$ -adic Birch–Swinnerton-Dyer formula for signed Selmer groups.

Euler Characteristic

Explicit Euler characteristic formulas, extending Greenberg's and Kim's, relate the signed Selmer group to global and local arithmetic invariants, including Tamagawa numbers and component group sizes (Ahmed et al., 2019, Lei et al., 2020).

Comparisons with Fine Selmer

There are deep relationships between the characteristic ideal of the signed Selmer group and that of the fine Selmer group; in certain anticyclotomic CM settings, divisibility results precisely compare characteristic ideals, and the vanishing of $\mu$ -invariants for signed Selmer and fine Selmer are linked (Lei, 2023, Lei et al., 2021).

4. Control Theorems, Rigidity, and Congruence Phenomena

The rigidity of signed Selmer structures is reflected in various control theorems:

Control in Towers and Descent: Over cyclotomic and multi-variable $\mathbb{Z}_p^d$ -extensions, the signed Selmer group behaves rigidly under restriction and corestriction; absence of finite-index submodules is established under cotorsion hypotheses (Ponsinet, 2018, Hatley et al., 2016).
Congruences: For two modular forms or curves with isomorphic mod $p$ residual Galois representations, the vanishing of $\mu$ -invariants and the equality of non-primitive $\lambda$ -invariants in their signed Selmer groups is preserved (Nuccio et al., 2019, Hatley et al., 2016, Ahmed et al., 2019, Ray et al., 2023).
Parity and Reflection Principles: Parity conjectures and reflection phenomena—e.g., the equality (mod $2$) of plus/minus $\lambda$ -invariants—have been proved using signed Selmer groups (Ahmed et al., 2019, Ahmed et al., 2019).

5. Higher-Dimensional and Multi-Signed Generalizations

The construction of multi-signed Selmer groups for general motives with Hodge–Tate weights in $\{0,1\}$ , via systems of Coleman maps and explicit decompositions in the Dieudonné module, allows a broad generalization to higher-dimensional settings and abelian varieties with good (supersingular-like) reduction (Lei et al., 2016, Ray et al., 2023).

In $\mathbb{Z}_p^2$ - and more general $p$ -adic Lie extensions (e.g., for quadratic imaginary fields where $p$ splits), double-signed Selmer groups are defined, and their characteristic ideals encode two-variable Iwasawa theory (Hamidi, 2022, Kleine et al., 13 Jan 2026).
Rigidity phenomena such as the absence of pseudo-null submodules for signed Selmer module duals over two-variable Iwasawa algebras are established (Hamidi, 2022, Kleine et al., 13 Jan 2026).

6. Applications and Ongoing Developments

Signed Selmer groups are foundational in non-ordinary Iwasawa theory, with applications to:

Formulations and Proofs of Main Conjectures: For elliptic curves at supersingular primes and for modular forms of non-ordinary reduction, the main conjecture equates the characteristic ideal of the signed Selmer group dual to the $p$ -adic $L$ -function of corresponding sign (Castella, 26 Feb 2025, Lei et al., 2021).
$p$ -Parity and Root Number Formulas: The parity of the signed Selmer group $\lambda$ -invariants, and by extension the Selmer rank, corresponds to conjectural and proven root number formulas (Ahmed et al., 2019).
Anticyclotomic Phenomena and Heegner Points: In the anticyclotomic setting, signed Selmer groups of imaginary quadratic base field admit a fine structure, and arithmetic applications to the theory of Heegner points on supersingular curves have been established (Longo et al., 2 Apr 2025, Lei, 2023).
Conjectures A and Growth Properties: The interrelation of the Coates–Sujatha conjectures for fine Selmer groups and growth in signed invariants—such as the $\mathfrak{M}_H(G)$ -property—guides asymptotic and rigidity theorems (Kleine et al., 13 Jan 2026, Hamidi et al., 2020).

7. Analytical and Future Directions

Analytic counterparts, such as the construction and functional equations for plus/minus $p$ -adic $L$ -functions, mirror the algebraic symmetries established in the signed Selmer group theory (Lei et al., 2016, Ahmed et al., 2020). The ongoing development of higher-rank cases, non-ordinary motives, and extensions to non-cyclotomic towers, as well as open conjectures regarding the behavior of Iwasawa invariants and divisibilities, remains an active front in arithmetic geometry and Iwasawa theory (Castella, 26 Feb 2025, Ray et al., 2023, Kleine et al., 13 Jan 2026).