Asakura's characterization conjecture for the dlog image

At least 20 years old · documented by

Let RR be the ring of integers in an unramified extension KK of Qp\mathbb Q_p, and let πR ⁣:XR→CR\pi_R\colon X_R\to C_R be an elliptic surface over RR satisfying condition (Rat). Let UK0U^0_K and UK‾0U^0_{\overline K} denote the corresponding open elliptic surfaces over KK and an algebraic closure K‾\overline K, and let Φ(XR,DR)Zp\Phi(X_R,D_R)_{\mathbb Z_p} be the subgroup defined in the preceding results. Characterization conjecture. The equality in the preceding inclusion should hold:

dlog⁡Γ(UK‾0,K2)⊗ZQp=Φ(XR,DR)Zp⊗ZpQp.\operatorname{dlog}\varGamma(U^0_{\overline K},\mathcal{K}_2)\otimes_{\mathbb Z}\mathbb Q_p=\Phi(X_R,D_R)_{\mathbb Z_p}\otimes_{\mathbb Z_p}\mathbb Q_p.

This conjecture says that the dlog image is characterized by the numerical conditions on the Fourier coefficients. The source presents it as an expectation and gives no resolution status.

References

Primary source

Masanori Asakura, “On dlog image of K_2 of elliptic surface minus singular fibers”, arXiv:math/0511190 (2006).

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.