The finite-dimensional presentation conjecture for the elliptic Bloch group

About 31 years old · traced to

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

{p;l1,l2,l3}:=A1∗A2−+A2∗A3−+A3∗A1−.\{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.

References

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.