Asakura's characterization conjecture for the dlog image

Let RR be the ring of integers in an unramified extension KK of Qp\mathbb Q_p, and let πR ⁣:XRCR\pi_R\colon X_R\to C_R be an elliptic surface over RR satisfying condition (Rat). Let UK0U^0_K and UK0U^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Γ(UK0,K2)ZQp=Φ(XR,DR)ZpZpQp.\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.

Sources & referencesView supporting material

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.