Genus-two relations conjecture for the graded Johnson homomorphism

Let HH be the standard symplectic representation in genus 22, let VV_\boxplus be the weight 2-2 Sp(H){\mathrm{Sp}}(H)-module in the minimal presentation

GrWu2=L(V)/(R4,R6,R8,R10,R14),\operatorname{Gr}^W_{\bullet} {\mathfrak u}_2 = {\mathbb L}(V_\boxplus)/(R_4,R_6,R_8,R_{10},R_{14}),

and, after decomposing a closed genus-22 surface into two surfaces of type (1,1)(1,\vec{1}), let e2j{\mathbf e}_{2j}' and e2k{\mathbf e}_{2k}” denote the corresponding elements supported on the two components. Genus-two relations conjecture. When 2n=6,8,10,142n=6,8,10,14, the relations

[e2j,e2k]=0[{ \mathbf e}_{2j}',{\mathbf e}_{2k}”]=0

with j+k=nj+k=n generate R2nR_{2n} as an Sp(H){\mathrm{Sp}}(H)-module. These relations would provide the conjectural indecomposable relations in the genus-two relative completion; determining why Eisenstein-series weights govern them remains mysterious.

Sources & referencesView supporting material

Primary source

Richard Hain, “Johnson Homomorphisms”, arXiv:1909.03914 (2020).

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.