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 .

The relative class number one problem for function fields, II

Bounds for the relative class number problem for function fields

Kummer theory for function fields

Lower bounds for the number of number fields with Galois group $GL_2(\mathbb{F}_\ell)$

Corresponding Abelian Extensions of Integrally Equivalent Number Fields

Invariant part of class group and distribution of relative class group

On the arithmetic of polynomials over a number field

A note on the class number of certain real cyclotomic fields

Modularity of residual Galois extensions and the Eisenstein ideal

The 3-part of the Ideal Class Group of a certain family of real cyclotomic fields

Probabilistic Galois Theory in Function Fields

Some families of non-isomorphic maximal function fields

A number field analogue of Weil's theorem on congruent zeta functions

Galois Groups And Genera Of A Kind Of Quasi-Cyclotomic Function Fields

New isogenies of elliptic curves over number fields

Two-step nilpotent extensions are not anabelian

Ideal class groups of cyclotomic number fields II

Ray Class Groups of Quadratic and Cyclotomic Fields

Non-abelian arboreal Galois groups associated to PCF rational maps

Calculating Formula and Divisibility for Relative Class Numbers of Abelian Function Fields

Relative class numbers and Euler-Kronecker constants of maximal real cyclotomic subfields