The stable algebraic Albanese cohomology conjecture for Torelli groups

About 4 years old · traced to

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. Let X”∗X”_*, Y”∗Y”_* and Z”∗Z”_* be the graded Sp⁡(2g,Q)\operatorname{Sp}(2g,\mathbb{Q})-representations defined in the source, and let S~∗\widetilde{S}^* denote the traceless graded-symmetric algebra. The Torelli Albanese cohomology conjecture. Stably, there are graded Sp⁡(2g,Q)\operatorname{Sp}(2g,\mathbb{Q})-isomorphisms

HA∗(Ig,Q)≅S~∗(X”∗),HA∗(Ig,1,Q)≅S~∗(Y”∗),HA∗(Ig1,Q)≅S~∗(Z”∗).H_A^*(\mathcal{I}_g,\mathbb{Q})\cong\widetilde{S}^*(X”_*),\qquad H_A^*(\mathcal{I}_{g,1},\mathbb{Q})\cong\widetilde{S}^*(Y”_*),\qquad H_A^*(\mathcal{I}_g^1,\mathbb{Q})\cong\widetilde{S}^*(Z”_*).

The source presents these as conjectural stable structures; the claim remains open in general.

References

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.