[論文レビュー] On the combinatorics of commutators of Lie algebras

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

Advanced Combinatorial Mathematics参考文献 4被引用数 3

ひとこと要約

本稿は、長めの左正規化コロナター [x₁,…,xₘ] を結合的単項式に展開する際の登場する置換の集合 𝒯ₘ の組合せ論的性質を調査する。この研究では、降下構造と置換のブロック性質を用いて 𝒯ₘ の同値な特徴づけを確立し、上三角行列代数における非ゼロのリー代数コロナターが、まさに 𝒯ₘ に属する置換と一致することを示す。これにより、階数付きリー代数や非結合的代数における対称性解析への応用が可能になる。

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.

研究の動機と目的

• 長めのリー代数コロナター [x₁,…,xₘ] を結合的単項式に展開する際の置換の集合 𝒯ₘ を特徴づけること。
• 置換の降下パターンとブロック構造を用いて、𝒯ₘ の同値な組合せ論的記述を確立すること。
• m 個の要素の列に対する 𝒯ₘ の作用を分析し、特に対称性や鏡像配置に注目すること。
• 上三角行列代数をリー代数と見た場合の群の階数付けの研究に結果を応用すること。
• 置換の対称性と非ゼロ積条件を用いて、階数付きリー代数における組合せ的性質を分析する基盤を提供すること。

提案手法

• 𝒯ₘ を、ある t ∈ {1,…,m} に対して σ(1) > … > σ(t) = 1 かつ σ(t+1) < … < σ(m) を満たす置換 σ ∈ 𝒮ₘ の集合として定義する。
• 𝒯ₘ が、ある位置 r において唯一の降下を持つ置換と同値であることを確立する。ここで、σ(j) > σ(j+1) が 1 ≤ j ≤ r にちょうど成り立つ。
• jᵢ = σ(i) を用いて σ = (jᵣ…1)⋯(j₁…1) の分解を用い、𝒯ₘ の要素を代数的に特徴づける。
• 任意の結合的代数において、リー代数コロナター [x₁,…,xₘ] が ∑_{σ∈𝒯ₘ} (−1)^{σ⁻¹(1)−1} x_{σ(1)}⋯x_{σ(m)} に等しいことを証明する。
• 厳密に上三角行列の代数における非ゼロ積を分析し、[r_{σ⁻¹(1)},…,r_{σ⁻¹(m)}] ≠ 0 が成り立つのは σ ∈ 𝒯ₘ のときに限ることを示す。
• 鏡像列の概念を導入し、各像が直接的または逆向きであるような特別なペア (s,s′) を定義することで、コロナター展開における対称性の特徴づけを行う。

実験結果

リサーチクエスチョン

• RQ1 長めのリー代数コロナター [x₁,…,xₘ] を結合的単項式に展開する際の置換を特徴づける組合せ論的構造は何か？
• RQ2 置換の降下パターンとブロック分解を用いて、集合 𝒯ₘ をどのように同値に記述できるか？
• RQ3 厳密に上三角行列の代数において、Lie コロナター [r_{σ⁻¹(1)},…,r_{σ⁻¹(m)}] が非ゼロのまま保たれる条件は何か？
• RQ4 長さ m の2つの列 s と s′ がどのようにして鏡像とみなされるか？また、鏡像列が等しいか逆順のコロナター結果をもたらすための条件は何か？
• RQ5 リー代数コロナター展開における対称性を分析する際、列の像における直接的および逆向きの要素の役割は何か？

主な発見

• 集合 𝒯ₘ は、1 から r までの値が減少順に並び、その後 r+1 から m までの値が増加順に並ぶような置換 σ ∈ 𝒮ₘ 全体からなる。ここで σ(t) = 1 を満たす t が存在する。
• 置換 σ が 𝒯ₘ に属するための必要十分条件は、ある一意の降下位置 r が存在し、σ(j) > σ(j+1) が j = 1,…,r にちょうど成り立つことである。
• 任意の結合的代数において、長めのコロナター [x₁,…,xₘ] は ∑_{σ∈𝒯ₘ} (−1)^{σ⁻¹(1)−1} x_{σ(1)}⋯x_{σ(m)} に展開される。
• 厳密に上三角行列の代数において、Lie コロナター [r_{σ⁻¹(1)},…,r_{σ⁻¹(m)}] が非ゼロであるのは σ ∈ 𝒯ₘ のときに限る。
• 2つの列 s と s′ が鏡像であるとは、s の像の各要素がペア (s,s′) に対して直接的または逆向きであるときに限る。この条件が成り立つと、s = s′ または s = rev s′ が成り立つ。
• ペア (s,s′) が特別なペアであり、(m₁,m₂) に一致が存在するならば、s = s′ または s = rev s′ が成り立ち、これにより鏡像列は等しいか逆順であることが結論づけられる。