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 .

A ruled residue theorem for function fields of elliptic curves

The relative class number one problem for function fields, II

An analogue of a conjecture of Rasmussen and Tamagawa for abelian varieties over function fields

Valued fields with a total residue map

On the residue fields of Henselian valued stable fields, II

On Abelian extensions in mixed characteristic and ramification in codimension one

Elliptic curves and class field theory

The maximal abelian extension contained in a division field of an elliptic curve over $\mathbb{Q}$ with complex multiplication

Modularity of residual Galois extensions and the Eisenstein ideal

Fiercely ramified cyclic extensions of p-adic fields with imperfect residue field

Elliptic curves with complex multiplication and abelian division fields

Kummer theory for function fields

A reciprocity law in function fields

On the non-special divisors in algebraic function fields defined over $\mathbb{F}_q$

Ramified covers of abelian varieties over torsion fields

Value Groups and Residue Fields of Models of Real Exponentiation

Archimedean distinguished representations and exceptional poles

On fields of definition of torsion points of elliptic curves with complex multiplication

Unramified Extensions of Quadratic Fields

Freiman's $3k-4$ Theorem for Function Fields

Ramification of Tate modules for rank $2$ Drinfeld modules