The finite-dimensional presentation conjecture for the elliptic Bloch group

Let EE be a cubic curve in P2P^2. For a point pP2p\in P^2 and three lines l1,l2,l3l_1,l_2,l_3 through pp, let Ai:=liEA_i:=l_i\cap E and define

{p;l1,l2,l3}:=A1A2+A2A3+A3A1.\{p;l_1,l_2,l_3\}:=A_1\ast A_2^-+A_2\ast A_3^-+A_3\ast A_1^-.

Let R~3(E)IE4\tilde R^*_3(E)\subset I^4_E be the subgroup generated by these elements and by those linear combinations of {a}3+{a}3\{a\}_3+\{-a\}_3 that lie in IE4I^4_E, and let R3(E)R^*_3(E) be the relation subgroup used to define the elliptic Bloch group. Elliptic Bloch relations conjecture. One has

R~3(E)=R3(E).\tilde R^*_3(E)=R^*_3(E).

The claim would show that the displayed geometric relations generate all the relations defining the elliptic Bloch group, giving a finite-dimensional geometric analogue of the five-term presentation for the classical Bloch group. The source provides a lemma showing only the inclusion R~3(E)R3(E)\tilde R^*_3(E)\subset R^*_3(E), so equality remains open here.

Sources & referencesView supporting material

Primary source

A. B. Goncharov and A. M. Levin, “Zagier's conjecture on L(E,2)”, arXiv:alg-geom/9508008 (1997).

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.