[Paper Review] On the combinatorics of commutators of Lie algebras

Eduardo Hitomi, Felipe Yukihide Yasumura|arXiv (Cornell University)|Sep 29, 2016

Advanced Combinatorial Mathematics4 references3 citations

TL;DR

This paper investigates the combinatorics of Lie algebra commutators by characterizing the set of permutations 𝒯ₘ that appear in the expansion of the long left-normed commutator [x₁,…,xₘ] into associative monomials. It establishes equivalent characterizations of 𝒯ₘ using descent structures and permutation block properties, and proves that non-zero Lie commutators in upper triangular matrix algebras correspond precisely to permutations in 𝒯ₘ, enabling applications to graded Lie algebras and symmetry analysis in non-associative algebras.

ABSTRACT

Motivated by the combinatorial properties of products in Lie algebras, we investigate the subset of permutations that naturally appears when we write the long commutator $[x_1, x_2, ..., x_m]$ as a sum of associative monomials. We characterize this subset and find some useful equivalences. Moreover, we explore properties concerning the action of this subset on sequences of m elements. In particular we describe sequences that share some special symmetries which can be useful in the study of combinatorial properties in graded Lie algebras.

Motivation & Objective

• To characterize the set of permutations 𝒯ₘ that arise in the expansion of the long Lie commutator [x₁,…,xₘ] into associative monomials.
• To establish equivalent combinatorial descriptions of 𝒯ₘ using descent patterns and block structures in permutations.
• To analyze the action of 𝒯ₘ on sequences of m elements, particularly focusing on symmetries and mirrored configurations.
• To apply the results to the study of group gradings on upper triangular matrix algebras viewed as Lie algebras.
• To provide a foundation for analyzing combinatorial properties in graded Lie algebras through permutation symmetries and non-zero product conditions.

Proposed method

• Define 𝒯ₘ as the set of permutations σ ∈ 𝒮ₘ such that σ(1) > … > σ(t) = 1 and σ(t+1) < … < σ(m) for some t ∈ {1,…,m}.
• Establish equivalence between 𝒯ₘ and permutations with a single descent at position r, where σ(j) > σ(j+1) iff 1 ≤ j ≤ r.
• Use the decomposition σ = (jᵣ…1)⋯(j₁…1) with jᵢ = σ(i) to characterize elements of 𝒯ₘ algebraically.
• Prove that the Lie commutator [x₁,…,xₘ] equals ∑_{σ∈𝒯ₘ} (−1)^{σ⁻¹(1)−1} x_{σ(1)}⋯x_{σ(m)} in any associative algebra.
• Analyze non-zero products in strictly upper triangular matrix algebras to show that [r_{σ⁻¹(1)},…,r_{σ⁻¹(m)}] ≠ 0 iff σ ∈ 𝒯ₘ.
• Introduce the concept of mirrored sequences and special pairs (s,s′) where each image is either direct or reverse, leading to a characterization of symmetry in commutator expansions.

Experimental results

Research questions

• RQ1 What combinatorial structure characterizes the permutations that appear in the expansion of the long Lie commutator [x₁,…,xₘ] into associative monomials?
• RQ2 How can the set 𝒯ₘ be equivalently described using descent patterns and block decompositions in permutations?
• RQ3 Under what conditions does the Lie commutator [r_{σ⁻¹(1)},…,r_{σ⁻¹(m)}] remain non-zero in the algebra of strictly upper triangular matrices?
• RQ4 When are two sequences s and s′ of length m considered mirrored, and what conditions ensure that mirrored sequences yield equal or reversed commutator results?
• RQ5 What is the role of direct and reverse elements in the image of a sequence when analyzing symmetry in Lie commutator expansions?

Key findings

• The set 𝒯ₘ consists of all permutations σ ∈ 𝒮ₘ such that the values 1 through r appear in decreasing order followed by increasing values from r+1 to m, with σ(t) = 1 for some t.
• A permutation σ belongs to 𝒯ₘ if and only if there exists a unique descent at position r such that σ(j) > σ(j+1) precisely for j = 1,…,r.
• The long commutator [x₁,…,xₘ] expands as ∑_{σ∈𝒯ₘ} (−1)^{σ⁻¹(1)−1} x_{σ(1)}⋯x_{σ(m)} in any associative algebra.
• In the algebra of strictly upper triangular matrices, the Lie commutator [r_{σ⁻¹(1)},…,r_{σ⁻¹(m)}] is non-zero if and only if σ ∈ 𝒯ₘ.
• Two sequences s and s′ are mirrored if and only if every element in the image of s is either direct or reverse for the pair (s,s′), and this condition ensures that s = s′ or s = rev s′.
• If (s,s′) is a special pair and there exists a coincidence at (m₁,m₂), then s = s′ or s = rev s′, and this leads to the conclusion that mirrored sequences must be equal or reverse of each other.