The commutator subalgebra of the Lie algebra associated with a right-angled Coxeter group
Pith reviewed 2026-05-22 20:55 UTC · model grok-4.3
The pith
A surjective homomorphism from the polynomial ring over Lie algebra N_K to the commutator subalgebra of L(RC_K) is constructed for right-angled Coxeter groups and conjectured to be an isomorphism.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We construct a surjective homomorphism from the polynomial ring over an explicit Lie algebra N_K to the commutator subalgebra of L(RC_K), defined in terms of a new operation in Lie algebras associated with groups generated by involutions which corresponds to squaring. We conjecture that the homomorphism is an isomorphism. We show that the universal enveloping algebra U(N_K) is isomorphic to the mod 2 loop homology algebra of the corresponding moment-angle complex Z_K. This allows us to give a presentation of the Lie algebra N_K by generators and relations.
What carries the argument
The new operation on Lie algebras associated with groups generated by involutions, used to define the surjective homomorphism from the polynomial ring over N_K to the commutator subalgebra of L(RC_K).
If this is right
- The commutator subalgebra of L(RC_K) is described via the polynomial ring over N_K if the conjecture holds.
- N_K admits an explicit presentation by generators and relations coming from the loop homology algebra.
- The isomorphism between U(N_K) and the mod 2 loop homology algebra of Z_K directly connects the Lie algebra to topological data of the moment-angle complex.
- Algebraic computations in N_K yield information about the mod 2 loop homology of Z_K.
Where Pith is reading between the lines
- The new operation and homomorphism construction could extend to other families of groups generated by involutions.
- The explicit presentation of N_K may enable new calculations of loop homology groups for specific moment-angle complexes.
- Confirmation of the isomorphism conjecture would give a uniform algebraic model for commutator subalgebras across all right-angled Coxeter groups.
Load-bearing premise
The new operation on Lie algebras associated with groups generated by involutions is well-defined and associative in the required sense.
What would settle it
A computation for a concrete small right-angled Coxeter group K showing that the graded dimensions of the polynomial ring over N_K differ from those of the commutator subalgebra of L(RC_K) in some degree.
read the original abstract
We study the graded Lie algebra $L(RC_K)$ associated with the lower central series of a right-angled Coxeter group. We construct a surjective homomorphism from the polynomial ring over an explicit Lie algebra $N_K$ to the commutator subalgebra of $L(RC_K)$, and conjecture that it is an isomorphism. The homomorphism is defined in terms of a new operation in Lie algebras associated with groups generated by involutions, which corresponds to the squaring and has an analogue in homotopy theory. We show that the universal enveloping algebra $U(N_K)$ is isomorphic to the mod 2 loop homology algebra of the corresponding moment-angle complex $ZK$. This allows us to give a presentation of the Lie algebra $N_K$ by generators and relations.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies the graded Lie algebra L(RC_K) associated with the lower central series of a right-angled Coxeter group RC_K. It constructs a surjective homomorphism from the polynomial ring over an explicit Lie algebra N_K to the commutator subalgebra of L(RC_K), conjecturing that the map is an isomorphism. The homomorphism is defined via a new binary operation on Lie algebras for groups generated by involutions, corresponding to squaring with a homotopy-theoretic analogue. The authors prove that the universal enveloping algebra U(N_K) is isomorphic to the mod 2 loop homology algebra of the moment-angle complex Z_K and derive a presentation of N_K by generators and relations.
Significance. If the central claims are verified, the work would supply an explicit algebraic model for the commutator subalgebra of L(RC_K) through N_K and establish a direct link to the mod 2 loop homology of Z_K. The proven isomorphism U(N_K) ≅ loop homology algebra and the resulting presentation of N_K constitute concrete, computable strengths that could advance calculations in combinatorial group theory and algebraic topology of moment-angle complexes.
major comments (2)
- [Definition of the homomorphism (abstract and § on the new operation)] The surjective homomorphism from the polynomial ring on N_K to the commutator subalgebra of L(RC_K) is defined using a new binary operation on Lie algebras attached to groups generated by involutions. Explicit verification is required that this operation satisfies the graded Jacobi identity, graded skew-symmetry, and compatibility with the lower-central-series filtration on RC_K, and that it is well-defined on the generators corresponding to the vertices of K while respecting all relations in L(RC_K). This verification is load-bearing for both the surjectivity claim and the subsequent presentation of N_K.
- [Proof of U(N_K) isomorphism] The isomorphism U(N_K) ≅ mod 2 loop homology algebra of Z_K is stated as a key result that grounds the presentation of N_K. The proof must be checked for completeness, particularly the correspondence between the generators/relations of N_K and the homology operations, to confirm it supports the conjectured isomorphism for the commutator subalgebra.
minor comments (2)
- [Notation and definitions] Clarify the precise grading and filtration degrees used when defining the new operation and the polynomial ring over N_K.
- [References] Ensure all references to prior results on Lie algebras of Coxeter groups and loop homology of moment-angle complexes are included and correctly cited.
Simulated Author's Rebuttal
We thank the referee for their careful reading and constructive comments on our manuscript. We address each major comment below and will revise the manuscript accordingly to strengthen the presentation of the new operation and the proof of the enveloping algebra isomorphism.
read point-by-point responses
-
Referee: [Definition of the homomorphism (abstract and § on the new operation)] The surjective homomorphism from the polynomial ring on N_K to the commutator subalgebra of L(RC_K) is defined using a new binary operation on Lie algebras attached to groups generated by involutions. Explicit verification is required that this operation satisfies the graded Jacobi identity, graded skew-symmetry, and compatibility with the lower-central-series filtration on RC_K, and that it is well-defined on the generators corresponding to the vertices of K while respecting all relations in L(RC_K). This verification is load-bearing for both the surjectivity claim and the subsequent presentation of N_K.
Authors: We agree that explicit verification of the graded Jacobi identity, graded skew-symmetry, and compatibility with the lower-central-series filtration is necessary to fully substantiate the definition of the new operation and the resulting surjective homomorphism. While the manuscript defines the operation via its correspondence to squaring in groups generated by involutions and asserts the required properties, we acknowledge that a more detailed, generator-by-generator check (including verification on vertices of K and respect for all relations in L(RC_K)) would improve clarity and rigor. We will add this explicit verification, including the relevant computations, in a revised version of the manuscript. revision: yes
-
Referee: [Proof of U(N_K) isomorphism] The isomorphism U(N_K) ≅ mod 2 loop homology algebra of Z_K is stated as a key result that grounds the presentation of N_K. The proof must be checked for completeness, particularly the correspondence between the generators/relations of N_K and the homology operations, to confirm it supports the conjectured isomorphism for the commutator subalgebra.
Authors: The proof of U(N_K) ≅ mod 2 loop homology algebra of Z_K proceeds by matching generators and relations of N_K with the structure of the loop homology algebra, using the known presentation of the latter. We believe the argument is complete in its current form. Nevertheless, to address the request for greater explicitness, we will expand the relevant section with additional details on the precise correspondence between the relations in N_K and the homology operations. This expansion will also clarify how the isomorphism underpins the conjectured isomorphism for the commutator subalgebra. revision: partial
Circularity Check
No circularity; derivation grounded by independent homology isomorphism
full rationale
The paper introduces a new operation on Lie algebras for involution-generated groups to define the homomorphism from the polynomial ring on N_K to the commutator subalgebra of L(RC_K), then separately establishes that U(N_K) ≅ mod-2 loop homology of Z_K. This homology result supplies an external, non-self-referential anchor for the presentation of N_K by generators and relations. No equation or definition reduces to its own input by construction, no load-bearing claim rests on self-citation, and the well-definedness of the operation is asserted as part of the construction rather than presupposed. The chain is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard axioms of graded Lie algebras and lower central series quotients
invented entities (1)
-
New binary operation on Lie algebras corresponding to squaring
no independent evidence
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.