Weak Beilinson conjecture for the transcendental motive of a hypergeometric K3 surface

From papers

Let αR{0,1}\alpha\in{\mathbb R}\setminus\{0,1\}, let XαX_\alpha be the associated smooth compactification, and let Δα+=12(F+1)Δα\Delta_\alpha^+=\frac12(F_\infty+1)\Delta_\alpha be the real-Frobenius-invariant homology cycle. Assume that dim(H11)F=1=0\dim(H^{11})^{F_\infty=1}=0, equivalently α>1\alpha>1 by the lemma cited in the source. Let htr2(Xα)h^2_{\mathrm{tr}}(X_\alpha) denote the transcendental part of the second motive. Weak Beilinson conjecture. There is an integral element ξK3(Xα)Z(3)\xi\in K_3(X_\alpha)^{(3)}_{\mathbb Z} such that

1(2π1)2regR(ξ)Δα+Q×L(htr2(Xα),0).\frac{1}{(2\pi\sqrt{-1})^2}\langle\operatorname{reg}_{\mathbb R}(\xi)\mid\Delta_\alpha^+\rangle\sim_{{\mathbb Q}^\times}L'(h^2_{\mathrm{tr}}(X_\alpha),0).

The source derives this as the expected weak Beilinson formula for the transcendental motive from the rank calculation and the regulator pairing, but does not establish the asserted integral element or the LL-value formula.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Masanori Asakura, “A generalization of the Ross symbols in higher K-groups and hypergeometric functions I”, arXiv:2003.10652 (2021).

Solutions 0

No solutions have been posted yet.