Perrin-Riou's local Tamagawa-number conjecture

From papers

Let VV be a crystalline representation of GG_\ell over KλK_\lambda, and let TVT\subseteq V be a GG_\ell-stable Oλ\mathcal{O}_\lambda-lattice. Let ω\omega and ω\omega^* be lattices in

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

and

detKλD(V(1))/Fil0D(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 jZj\in\mathbb{Z}, set

hj(V)=dimKλFiljD(V)/Filj+1D(V),h_j(V)=\dim_{K_\lambda}\operatorname{Fil}^jD(V)/\operatorname{Fil}^{j+1}D(V),

and define Γ(j)=(j1)!\Gamma^*(j)=(j-1)! for j>0j>0 and Γ(j)=(1)j((j)!)1\Gamma^*(j)=(-1)^j((-j)!)^{-1} for j0j\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.

Progress summary

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

Equivalent formulations 1

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=QpZpTV=\mathbf{Q}_p\otimes_{\mathbf{Z}_p}T be a potentially semistable representation of GKG_K, and choose bases ω1detQptV(K)\omega_1\in\operatorname{det}_{\mathbf{Q}_p}t_V(K), ω2detQptV(1)(K)\omega_2\in\operatorname{det}_{\mathbf{Q}_p}t_{V^*(1)}(K) and ωdetQpDdRK(V)\omega\in\operatorname{det}_{\mathbf{Q}_p}\mathbf{D}_{\mathrm{dR}}^K(V) satisfying ωω21ω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 TamK,ω10(T)\operatorname{Tam}_{K,\omega_1}^0(T) and TamK,ω20(T(1))\operatorname{Tam}_{K,\omega_2}^0(T^*(1)) be as in the source.

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

    TamK,ω10(T)TamK,ω20(T(1))=dKpdimV/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).

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.