Perrin-Riou's local Tamagawa-number conjecture

About 1 year old · traced to

Let VV be a crystalline representation of GℓG_\ell over KλK_\lambda, and let T⊆VT\subseteq V be a GℓG_\ell-stable Oλ\mathcal{O}_\lambda-lattice. Let ω\omega and ω∗\omega^* be lattices in

det⁡KλD(V)/Fil⁡0D(V)\operatorname{det}_{K_\lambda}D(V)/\operatorname{Fil}^0D(V)

and

det⁡KλD(V∗(1))/Fil⁡0D(V∗(1)),\operatorname{det}_{K_\lambda}D(V^*(1))/\operatorname{Fil}^0D(V^*(1)),

respectively, and let η(T,ω,ω∗)\eta(T,\omega,\omega^*) be the comparison-isomorphism factor defined in the source. For j∈Zj\in\mathbb{Z}, set

hj(V)=dim⁡KλFil⁡jD(V)/Fil⁡j+1D(V),h_j(V)=\dim_{K_\lambda}\operatorname{Fil}^jD(V)/\operatorname{Fil}^{j+1}D(V),

and define Γ∗(j)=(j−1)!\Gamma^*(j)=(j-1)! for j>0j>0 and Γ∗(j)=(−1)j((−j)!)−1\Gamma^*(j)=(-1)^j((-j)!)^{-1} for j≤0j\leq0. Perrin-Riou's local Tamagawa-number conjecture.

OλTam⁡ℓ,ω0(T)Tam⁡ℓ,ω∗0(T∗(1))=Oλ∏jΓ∗(−j)−hj(V)η(T,ω,ω∗)−1.\mathcal{O}_\lambda\frac{\operatorname{Tam}_{\ell,\omega}^0(T)}{\operatorname{Tam}_{\ell,\omega^*}^0(T^*(1))}=\mathcal{O}_\lambda\prod_j\Gamma^*(-j)^{-h_j(V)}\eta(T,\omega,\omega^*)^{-1}.

This conjecturally relates the ratio of local Tamagawa factors to Hodge-filtration gamma factors and the crystalline comparison factor. It is invoked as a generalization of Perrin-Riou's conjecture from Zℓ\mathbb{Z}_\ell to Oλ\mathcal{O}_\lambda coefficients.

Equivalent formulations 1Other wordings

Other statements of this same problem, merged from separate entries. Each is equivalent to the statement above — proving any one settles them all.

  1. Perrin-Riou's local Tamagawa-number conjecture

    Let KK be a finite extension of Qp\mathbf{Q}_p, let V=Qp⊗ZpTV=\mathbf{Q}_p\otimes_{\mathbf{Z}_p}T be a potentially semistable representation of GKG_K, and choose bases ω1∈det⁡QptV(K)\omega_1\in\operatorname{det}_{\mathbf{Q}_p}t_V(K), ω2∈det⁡QptV∗(1)(K)\omega_2\in\operatorname{det}_{\mathbf{Q}_p}t_{V^*(1)}(K) and ω∈det⁡QpDdRK(V)\omega\in\operatorname{det}_{\mathbf{Q}_p}\mathbf{D}_{\mathrm{dR}}^K(V) satisfying ω≃ω2−1⊗ω1\omega\simeq\omega_2^{-1}\otimes\omega_1. Let αV,K(ω,T)\alpha_{V,K}(\omega,T), ε(K,V)\varepsilon(K,V), Γ∗(V)\Gamma^*(V), dKd_K, and the Tamagawa numbers Tam⁡K,ω10(T)\operatorname{Tam}_{K,\omega_1}^0(T) and Tam⁡K,ω20(T∗(1))\operatorname{Tam}_{K,\omega_2}^0(T^*(1)) be as in the source.

    CEP(K,V)C_{\mathrm{EP}}(K,V).

    Tam⁡K,ω10(T)Tam⁡K,ω20(T∗(1))=∣dK∣pdim⁡V/2∣Γ∗(V)αV,K(ω,T)ε(K,V)∣p.\frac{\operatorname{Tam}_{K,\omega_1}^0(T)}{\operatorname{Tam}_{K,\omega_2}^0(T^*(1))}=|d_K|_p^{\dim V/2}\left|\Gamma^*(V)\frac{\alpha_{V,K}(\omega,T)}{\varepsilon(K,V)}\right|_p.

    For L=KL=K, the source reformulates the equivariant Euler–Poincaré conjecture in terms of local Tamagawa numbers. It attributes this formulation to Fukaya–Kato and states no resolution in the supplied text.

    source: D. Benois and L. Berger, “Théorie d'Iwasawa des représentations cristallines II”, arXiv:math/0509623 (2005).

References

Primary source

Fred Diamond, Matthias Flach and Li Guo, “Adjoint motives of modular forms and the Tamagawa number conjecture”, arXiv:2512.02348 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.