The stable invariant Albanese cohomology conjecture for Torelli groups

Let Ig\mathcal{I}_g, Ig,1\mathcal{I}_{g,1} and Ig1\mathcal{I}_g^1 be the Torelli groups of a closed surface, a surface with one boundary component, and a surface with one marked point, respectively. The invariant Albanese cohomology conjecture. Stably, there are isomorphisms of graded algebras

HA(Ig,Q)Sp(2g,Z)HA(Ig,1,Q)Sp(2g,Z)Q[y1,y2,],H_A^*(\mathcal{I}_g,\mathbb{Q})^{\operatorname{Sp}(2g,\mathbb{Z})}\cong H_A^*(\mathcal{I}_{g,1},\mathbb{Q})^{\operatorname{Sp}(2g,\mathbb{Z})}\cong\mathbb{Q}[y_1,y_2,\ldots], HA(Ig1,Q)Sp(2g,Z)Q[z,y1,y2,],H_A^*(\mathcal{I}_g^1,\mathbb{Q})^{\operatorname{Sp}(2g,\mathbb{Z})}\cong\mathbb{Q}[z,y_1,y_2,\ldots],

where degyi=4i\deg y_i=4i and degz=2\deg z=2. The source presents this as a conjecture closely related to, but distinct from, the Kawazumi–Morita conjecture; it remains open.

Sources & referencesView supporting material

Primary source

Mai Katada, “Stable rational homology of the IA-automorphism groups of free groups”, arXiv:2207.00920 (2022).

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.