Stable secondary-class polynomiality conjecture for the Johnson kernel

About 27 years old · traced to

Let Kg{\cal K}_g be the Johnson kernel, let di∈H4i−3(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

lim⁡g→∞H∗(Kg;Q)Mg≅Q[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.

References

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.