Stable secondary-class polynomiality conjecture for the Johnson kernel

Let Kg{\cal K}_g be the Johnson kernel, let diH4i3(Kg;Q)d_i\in H^{4i-3}({\cal K}_g;{\mathbb Q}) be the higher secondary classes, and let Mg{\cal M}_g act on H(Kg;Q)H^*({\cal K}_g;{\mathbb Q}). Secondary-class conjecture. All classes did_i are uniquely defined and non-trivial for sufficiently large genus, and

limgH(Kg;Q)MgQ[d1,d2,d3,].\lim_{g\to\infty}H^*({\cal K}_g;{\mathbb Q})^{{\cal M}_g}\cong {\mathbb Q}[d_1,d_2,d_3,\ldots].

This predicts that the stable mapping-class-group-invariant cohomology of the Johnson kernel is a polynomial algebra on the secondary classes; the source gives no resolution.

Sources & referencesView supporting material

Primary source

Shigeyuki Morita, “Structure of the mapping class groups of surfaces: a survey and a prospect”, arXiv:math/9911258 (1999).

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.