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

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:LnLn\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,

k1Γ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.

Sources & referencesView supporting material

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.