MTT interpolation at conductor one from depth-one moments
ProvedMTT.interpolation_conductor_one_of_momentsmodular-formsnumber-theoryp-adic-l-functions
Let be prime, let and , and let be a normalized algebraic cuspidal Hecke eigenform of level and weight . Fix compatible complex and -adic embeddings, a period system , an ordinary root , and two signed bounded measures and on . Assume each signed measure realizes the prescribed critical polynomial moment on every positive-depth residue disk.
For the primitive character of modulus and every , there are a continuous function and an algebraic number satisfying the conductor-one interpolation identity
with and equal to the corresponding period-normalized critical value. Both Euler factors in are retained. This is the boundary case recovered by partitioning into residue disks of depth one and applying the moment relations there.
Preamble
import Definitions.Def_MTT_Measures set_option autoImplicit false noncomputable section open scoped BigOperators
Formal statement
open MTT in
theorem MTT.interpolation_conductor_one_of_moments
{p N k : ℕ} [Fact p.Prime] (hN : 0 < N) (hk : 2 ≤ k)
(ι : Qbar →+* ℂ) (ιp : Qbar →+* ℂ_[p]) (f : Eigenform N k ι)
(P : Periods k ι f.form) (α : ℂ_[p]) (hα : IsOrdinaryRoot f ιp α)
(μ : Bool → UnitMeasure p)
(hμ : ∀ s, RealizesMoments f ιp P α s (μ s))
(χ : DirichletCharacter Qbar (p ^ 0)) (hχ : χ.IsPrimitive)
(j : ℕ) (hj : j ≤ k - 2) :
∃ (g : C((ℤ_[p])ˣ, ℂ_[p])) (v : Qbar),
(∀ x, g x = specialFunction ιp 0 χ j x) ∧
ι v = normalizedCriticalValue f P.omega 0 χ j ∧
(μ true + μ false) g = eulerMultiplier f ιp α 0 χ j * ιp v := by sorrySource
Mazur–Tate–Teitelbaum, On p-adic analogues of the conjectures of Birch and Swinnerton-Dyer, Invent. Math. 84 (1986), https://doi.org/10.1007/BF01388731; Chapter I, §14 Proposition, pp. 20–21, conductor-one case, using (8.6) and (10.2).