Beilinson's determinant formula for the adjoint motive of an elliptic curve

About 17 years old · traced to

Let A/FA/F be an elliptic curve and let M=Ad⁡(h1(A)Q)M=\operatorname{Ad}(h^1(A)_{\mathbb Q}). Let rr be the Beilinson regulator, r1r_1 and r2r_2 the numbers of real and complex places of FF, and let HσH_\sigma denote the generators of HD1(M,R(1))H^1_{\mathcal D}(M,\mathbb{R}(1)) defined from the complex periods. Then

Beilinson's conjecture. One has

dim⁡Qr(HM1(M,Q(1)))=r2,\dim_{\mathbb Q}r\left(H^1_{\mathcal M}(M,\mathbb{Q}(1))\right)=r_2,

and

⋀r2r(HM1(M,Q(1)))=L(1,M)(2πi)−r1−r2∏σ∈ΣFRΩσ,1−1Ωσ,2−1∏σ∈ΣFCIm⁡(Ωσ,1Ωσ,2‾)−2(⋀σ∈ΣFCHσ)Q.\bigwedge^{r_2}r\left(H^1_{\mathcal M}(M,\mathbb{Q}(1))\right)=L(1,M)(2\pi i)^{-r_1-r_2}\prod_{\sigma\in\Sigma_F^{\mathbb R}}\Omega_{\sigma,1}^{-1}\Omega_{\sigma,2}^{-1}\prod_{\sigma\in\Sigma_F^{\mathbb C}}\operatorname{Im}(\Omega_{\sigma,1}\overline{\Omega_{\sigma,2}})^{-2}\left(\bigwedge_{\sigma\in\Sigma_F^{\mathbb C}}H_\sigma\right)\mathbb{Q}.

This conjecture predicts the determinant of the motivic regulator in terms of the special value L(1,M)L(1,M) and the period basis of Deligne cohomology. It is presented as a consequence of Beilinson's conjectures and remains conjectural.

References

Primary source

Xavier Guitart and Santiago Molina, “Periods of modular forms and applications to the conjectures of Oda and of Prasanna-Venkatesh”, arXiv:2507.05021 (2025).

Additional references

9 papers in this index state this conjecture (2009–2025). The statement above is taken from the most recent of them; the others are arXiv:2211.17233, arXiv:2209.14717, arXiv:1706.10073, arXiv:1609.06370, arXiv:1503.04626, arXiv:1501.03289, arXiv:1402.4495, arXiv:0909.3002.

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.