Greenberg–Ochiai's specialized main conjecture at a height-one prime

Let I\mathbb{I} be a UFD and Gorenstein, assume χ((Z/pZ)×)1,ω\chi|_{((\mathbb{Z}/p\mathbb{Z})^{\times})}\neq\mathbf{1},\omega, pφ(N)p\nmid\varphi(N), and that the Eisenstein ideal J\mathbb{J} is principal. Let T\mathbb{T} be a stable free lattice, let pi\mathfrak{p}_i be a height-one prime, and put A[pi]\mathcal{A}[\mathfrak{p}_i] for the corresponding specialization. Greenberg–Ochiai's height-one specialization conjecture. If (SelA[pi])(\operatorname{Sel}_{\mathcal{A}[\mathfrak{p}_i]})^{\lor} is a torsion R/pi\mathcal{R}/\mathfrak{p}_i-module, then

charR/pi(H0(Q,A[pi]))1charR/pi(SelA[pi])=(Lp(T/piT)).\operatorname{char}_{\mathcal{R}/\mathfrak{p}_i}(H^0(\mathbb{Q},\mathcal{A}[\mathfrak{p}_i])^{\lor})^{-1}\operatorname{char}_{\mathcal{R}/\mathfrak{p}_i}(\operatorname{Sel}_{\mathcal{A}[\mathfrak{p}_i]})^{\lor}=\left(L_p(\mathcal{T}/\mathfrak{p}_i\mathcal{T})\right).

This is the main-conjecture formula after specialization at a height-one prime. The supplied text gives no resolution.

Sources & referencesView supporting material

Primary source

Dong Yan, “Stable free lattices in residually reducible Galois deformations and control theorem of Selmer groups”, arXiv:2106.03608 (2023).

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.