Integral lower-central-series conjecture for the pure cactus group

About 21 years old · traced to

Let Γn\Gamma_n be the pure cactus group, let Γnk\Gamma_n^k denote its lower central series, and let Ln\mathcal{L}_n be the associated graded Lie algebra after quotienting by 22-torsion. Let LnL_n be the quadratic Lie algebra and let ψn:Ln→Ln\psi_n:L_n\to\mathcal{L}_n be the natural surjective homomorphism. Integral lower-central-series conjecture. The map ψn\psi_n is an isomorphism; assuming the freeness conjecture, Ln\mathcal{L}_n is a free Z\mathbb{Z}-module and the only torsion in the lower central series of Γn\Gamma_n is 22-torsion. Moreover,

⋂k≥1Γnk={1},\bigcap_{k\geq 1}\Gamma_n^k=\{1\},

so Γn\Gamma_n is residually nilpotent. The paper establishes surjectivity of ψn\psi_n, but injectivity and residual nilpotence remain open.

References

Primary source

Pavel Etingof, Andre Henriques, Joel Kamnitzer and Eric Rains, “The cohomology ring of the real locus of the moduli space of stable curves of genus 0 with marked points”, arXiv:math/0507514 (2007).

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.