Namespace W54 13 theorems
- Adic Galois representation from an eigenplane with toric lines
W54.exists_galoisRepAdic_of_eigenPiece_tor0 below · cited by 1 · depth 10 - Galois action on pⁿ-torsion of J₀(M) factors through a finite level
W54.jZeroPPowTorsion_factorsThroughFiniteLevel463 below · cited by 11 · depth 10 - Eichler–Shimura congruence on p-power torsion of J₀(M)
W54.jZeroPPowTorsion_frobeniusQuadratic1,034 below · cited by 6 · depth 10 - p-power torsion of J₀(M) is unramified outside Mp
W54.jZeroPPowTorsion_unramifiedOutside1,034 below · cited by 5 · depth 10 - Adic Galois representation from a Hecke eigenplane
W54.exists_galoisRepAdic_of_eigenPiece0 below · cited by 1 · depth 11 - Ordinary adic Galois representation from a Hecke eigen-piece
W54.exists_galoisRepAdic_of_eigenPiece_ordinary1 below · cited by 1 · depth 11 - Finite freeness of the Tate module over ℤₚ
W54.finite_free_tateModule0 below · cited by 7 · depth 11 - Finite-level Galois triviality transfers to the p-adic Tate module
W54.tateModule_adicContinuity0 below · cited by 9 · depth 11 - Eichler–Shimura relation on the Tate module of J₀(M)
W54.tateModule_frobeniusQuadratic0 below · cited by 5 · depth 11 - Unramifiedness passes from p-power torsion to the Tate module
W54.tateModule_unramified0 below · cited by 4 · depth 11 - Flat adic Galois representation from a Hecke eigen-piece
W54.exists_galoisRepAdic_of_eigenPiece_flat2 below · cited by 2 · depth 12 - pⁿ-divisibility in the Tate module detects vanishing at n
W54.pow_smul_tateModule_eq_vanishing0 below · cited by 2 · depth 12 - A local ring map ℤₚ → 𝒪' exists
W54.exists_padicInt_ringHom0 below · cited by 3 · depth 13