Kurihara's determinant conjecture for minus theta-kernel bases

About 5 years old · traced to

Let H/FH/F be a finite abelian CM-extension, let pp be an odd prime, and put r=#Sf′−1r=\#S'_f-1. Let Ker⁡(θV)H\operatorname{Ker}(\theta_V)_H be the theta-kernel module, let ψΣ‾,KΣ′\psi_{\overline{\Sigma},K}^{\Sigma'} be the map defined in the source for an intermediate CM-field KK of H/FH/F, and let ΘΣ‾Σ′(K/F)\Theta_{\overline{\Sigma}}^{\Sigma'}(K/F) be the corresponding equivariant LL-value. Kurihara's determinant conjecture. There is a basis {ei,H}1≤i≤r\{e_{i,H}\}_{1\leq i\leq r} of pKer⁡(θV)H−{}_p\operatorname{Ker}(\theta_V)_H^{-} over Zp[G]−\mathbb{Z}_p[G]^{-} such that, after defining ei,Ke_{i,K} by restriction to every intermediate CM-field KK, for every such KK and every subset Σ‾⊆Σ\overline{\Sigma}\subseteq\Sigma with Σ‾⊃S∞(F)∪Sram⁡(K/F)\overline{\Sigma}\supset S_\infty(F)\cup S_{\operatorname{ram}}(K/F), the determinant of ψΣ‾,KΣ′\psi_{\overline{\Sigma},K}^{\Sigma'} with respect to the induced bases satisfies

det⁡(ψΣ‾,KΣ′)=ΘΣ‾Σ′(K/F).\det(\psi_{\overline{\Sigma},K}^{\Sigma'})=\Theta_{\overline{\Sigma}}^{\Sigma'}(K/F).

The source attributes this formulation to Kurihara and uses it to relate determinant and Fitting-ideal formulations of the minus eTNC; no resolution is given in the supplied text.

References

Primary source

Mahiro Atsuta and Takenori Kataoka, “On the minus component of the equivariant Tamagawa number conjecture for G_m”, arXiv:2112.04783 (2021).

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.