Purity conjecture for the stable cohomology of relative completion

Let ug,n+r{\mathfrak u}_{g,n+\vec r} be the prounipotent Lie algebra of the relative completion, equipped with its weight filtration, and write GrmW\operatorname{Gr}^W_m for its weight-mm graded piece. Purity conjecture. The weight mm stable cohomology of ug,n+r{\mathfrak u}_{g,n+\vec r} is of degree mm:

GrmWH(ug,n+r)=GrmWHm(ug,n+r)\operatorname{Gr}^W_m H^{\bullet}({\mathfrak u}_{g,n+\vec r}) = \operatorname{Gr}^W_m H^m({\mathfrak u}_{g,n+\vec r})

for all gm/3g\geq m/3. Purity would allow the computation of GrjWug,n+r\operatorname{Gr}^W_j{\mathfrak u}_{g,n+\vec r} in the representation ring of Sp(H){\mathrm{Sp}}(H) for jmj\leq m; the conjecture is presented as a consequence expected from stable comparison, but is not established here.

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.