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 .

Leopoldt-type theorems for non-abelian extensions of

Towards a Generalisation of Noether's Theorem to Nonclassical Hopf-Galois Structures

Two-step nilpotent extensions are not anabelian

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

Hopf-Galois module structure of tamely ramified radical extensions of prime degree

Non-abelian extension theory of Lie rings

Integral Galois Module Structure for Elementary Abelian Extensions with a Galois Scaffold

Modularity of residual Galois extensions and the Eisenstein ideal

The relative class number one problem for function fields, II

On Abelian extensions in mixed characteristic and ramification in codimension one

The classification problem for extensions of torsion-free abelian groups, I

Non-tempered Ext Branching Laws for the $p$-adic General Linear Group

Two theorems on the vanishing of Ext

Non-abelian arboreal Galois groups associated to PCF rational maps

Abelian absolute Galois groups

On tamely ramified infinite Galois extensions

Arithmetic of certain -extensions ramified at three places. IV

Bogomolov property and Galois representations

Scaffolds and integral Hopf Galois module structure on purely inseparable extensions

Galois Scaffolds and Galois Module Structure for Totally Ramified $C_p^2$-Extensions in Characteristic 0

Unramifiedness of Galois Representations Arising from Hilbert Modular Surfaces