Kurihara's determinant conjecture for minus theta-kernel bases

Let H/FH/F be a finite abelian CM-extension, let pp be an odd prime, and put r=#Sf1r=\#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}1ir\{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.

Sources & referencesView supporting material

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.