The order conjecture for the symbol [0,0,1][0,0,1]

For each integer N2N\ge 2, consider the symbol [0,0,1][0,0,1] in the module B3(Z/NZ)\mathcal B_3(\mathbb Z/N\mathbb Z). The order conjecture. The element has order 11, equivalently [0,0,1]=0[0,0,1]=0, when NN is composite or N{2,3,5}N\in\{2,3,5\}, and has order exactly

p2124\frac{p^2-1}{24}

when N=p7N=p\ge 7 is prime. Computer experiments for N23N\le 23 are stated to support this conjecture.

Sources & referencesView supporting material

Primary source

Maxim Kontsevich, Vasily Pestun and Yuri Tschinkel, “Equivariant birational geometry and modular symbols”, arXiv:1902.09894 (2019).

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.