Real regulator conjecture for products of very general elliptic curves

About 4 years old · traced to

Let E1,E2,…,EnE_1,E_2,\ldots,E_n be very general complex elliptic curves and let

X=E1×E2×⋯×En.X=E_1\times E_2\times\cdots\times E_n.

For 1≤m≤n1\leq m\leq n, define

Tm(H2n−2k+2(X))=∑∣I∣=mI⊂{1,2,…,n}⨂i∈IH1(Ei)⊗H2n−2k+2−m(∏j∉IEj).T_m\bigl(H^{2n-2k+2}(X)\bigr)=\sum_{\substack{|I|=m\\ I\subset\{1,2,\ldots,n\}}}\bigotimes_{i\in I}H^1(E_i)\otimes H^{2n-2k+2-m}\left(\prod_{j\notin I}E_j\right).

The real regulator is the map rk,1r_{k,1} on CH⁡Rk(X,1)\operatorname{CH}_{\mathbb R}^k(X,1). Real regulator conjecture. The map rk,1r_{k,1} is surjective for k=2k=2 and is trivial, in the sense that its image is orthogonal to one of the subspaces Tm(H2n−2k+2(X))T_m(H^{2n-2k+2}(X)), for all 2n≥3k−1≥82n\geq 3k-1\geq 8. More precisely, for all 3≤k≤2r+13\leq k\leq 2r+1, one expects

rk,1(CH⁡Rk(X,1))⊂T2r+2(H2n−2k+2(X))⊥.r_{k,1}\bigl(\operatorname{CH}_{\mathbb R}^k(X,1)\bigr)\subset T_{2r+2}\bigl(H^{2n-2k+2}(X)\bigr)^\perp.

For example, when (k,r,n)=(3,1,4)(k,r,n)=(3,1,4),

r3,1(CH⁡R3(X,1))⊂T4(H4(X))⊥=(H1(E1)⊗H1(E2)⊗H1(E3)⊗H1(E4))⊥.r_{3,1}\bigl(\operatorname{CH}_{\mathbb R}^3(X,1)\bigr)\subset T_4\bigl(H^4(X)\bigr)^\perp=\bigl(H^1(E_1)\otimes H^1(E_2)\otimes H^1(E_3)\otimes H^1(E_4)\bigr)^\perp.

This refines the expected behavior of the Hodge-D\mathscr D-conjecture for real regulators: surjectivity is known in some low-codimension cases, while the asserted orthogonality and failure of surjectivity in the stated range remain conjectural.

References

Primary source

Xi Chen and James D. Lewis, “Real Regulators for Products of Elliptic Curves”, arXiv:2210.15932 (2023).

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.