Real regulator conjecture for products of very general elliptic curves

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 1mn1\leq m\leq n, define

Tm(H2n2k+2(X))=I=mI{1,2,,n}iIH1(Ei)H2n2k+2m(jIEj).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 CHRk(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(H2n2k+2(X))T_m(H^{2n-2k+2}(X)), for all 2n3k182n\geq 3k-1\geq 8. More precisely, for all 3k2r+13\leq k\leq 2r+1, one expects

rk,1(CHRk(X,1))T2r+2(H2n2k+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(CHR3(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.

Sources & referencesView supporting material

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.