[論文レビュー] Lexicographic shellability for balanced complexes

Patricia Hersh|ArXiv.org|Nov 16, 2003

Topological and Geometric Data Analysis参考文献 16被引用数 6

ひとこと要約

この論文は、純粋かつバランスの取れたブールセル複体に対して、古典的なシェーリングを商複体（例：Δ(B₂ₙ)/S₂≀Sₙ および Δ(Πₙ)/Sₙ）へと拡張する一般化されたレキシコグラフィックシェーリングの概念—CCラベル—を導入する。Δ(B₂ₙ)/S₂≀Sₙ に対してレキシコグラフィックシェーリングを確立し、Δ(Πₙ)/Sₙ に対して分割を構成することで、ランク選択分割ラティスのホモロジーにおける自明表現の重複度 bₛ(n) の組合せ的解釈を導き、任意の体上での k[x₁,…,x₂ₙ]^{S₂≀Sₙ} の Cohen-Macaulay 性を証明する。

ABSTRACT

We introduce a notion of lexicographic shellability for pure, balanced boolean cell complexes, modelled after the $CL$-shellability criterion of Björner and Wachs for posets and its generalization by Kozlov called $CC$-shellability. We give a lexicographic shelling for the quotient of the order complex of a Boolean algebra of rank $2n$ by the action of the wreath product $S_2\wr S_n$ of symmetric groups, and we provide a partitioning for the quotient complex $Δ(Π_n)/S_n $. Stanley asked for a description of the symmetric group representation $β_S $ on the homology of the rank-selected partition lattice $Π_n^S $ in [St2], and in particular he asked when the multiplicity $b_S(n)$ of the trivial representation in $β_S$ is 0. One consequence of the partitioning for $\dps $ is a (fairly complicated) combinatorial interpretation for $b_S(n) $; another is a simple proof of Hanlon's result that $b_{1,..., i}(n)=0$. Using a result of Garsia and Stanton, we deduce from our shelling for $Δ(B_{2n})/S_2 \wr S_n$ that the ring of invariants $k[x_1,..., x_{2n}]^{S_2\wr S_n}$ is Cohen-Macaulay over any field $k$.

研究の動機と目的

• 群の作用によって生じる商複体（特に単体的順序複体でないもの）へのレキシコグラフィックシェーリング理論の拡張。
• ランク選択分割ラティスのホモロジーにおける自明表現の重複度 bₛ(n) が 0 になる条件に関するスターリングの未解決問題への対処。
• 任意の体 k 上で k[x₁,…,x₂ₙ]^{S₂≀Sₙ} が Cohen-Macaulay であることを確立し、既知の結果を任意の特徴を持つ体へ一般化すること。
• レキシコグラフィックシェーリングにおける降下集合を用いて、商複体のフラグ h ベクトルを通じて bₛ(n) の組合せ的解釈を提供すること。

提案手法

• 純粋かつバランスの取れたブールセル複体に対する新しい CC ラベルの概念を導入し、単体的でない商複体へのポセットに基づくシェーリングの一般化を実現する。
• Δ(B₂ₙ)/S₂≀Sₙ および Δ(Πₙ)/Sₙ に対して、CC ラベルの3条件（一意的な増加チェーン、クロス条件、複数の面の重複）を満たすことを検証する。
• ワループ積作用の構造と軌道代表元における上昇パターンに基づくチェーンラベルを定義することで、Δ(B₂ₙ)/S₂≀Sₙ に対してレキシコグラフィックシェーリングを構成する。
• Garsia-Stanton の定理を用いて、シェーリングから基本的不変量の集合を導出し、既知の代数的性質を持つ不変式環の構成を可能にする。
• Reiner の同型（商複体の面環と不変部分環との間）を適用し、複体の Cohen-Macaulay 性を多項式環へと移行させる。
• シェーリングおよび分割における降下集合を分析し、bₛ(n) の組合せ的解釈を導き、Hanlon の結果（b₁,…,ᵢ(n) = 0）の簡単な証明を提示する。

実験結果

リサーチクエスチョン

• RQ1 ランク選択分割ラティス Δ(Πₙˢ) のホモロジーにおける自明表現の重複度 bₛ(n) が 0 となる条件は何か？
• RQ2 群 G がポセット P に作用するとき、Δ(P)/G が Δ(P/G) に同型でない場合に、Δ(P)/G に対してレキシコグラフィックシェーリングを定義できるか？
• RQ3 バランスの取れたブールセル複体に CC ラベルが存在するならば、その面環が Cohen-Macaulay であることを示せるか？
• RQ4 Δ(Πₙ)/Sₙ のフラグ h ベクトルを用いて、bₛ(n) の組合せ的解釈を与えることができるか？
• RQ5 任意の体 k（正の特徴を持つ体を含む）上での k[x₁,…,x₂ₙ]^{S₂≀Sₙ} が Cohen-Macaulay であるか？

主な発見

• CC ラベルを用いた Δ(B₂ₙ)/S₂≀Sₙ に対するレキシコグラフィックシェーリングの構成により、この複体がシェーブルであることが証明された。
• Δ(Πₙ)/Sₙ に対して分割が構成され、この分割における降下集合が、Δ(Πₙˢ) のホモロジーにおける自明表現の重複度 bₛ(n) の組合せ的解釈を提供する。
• すべての i と n に対して b₁,…,ᵢ(n) = 0 であることが示され、分割における降下構造を用いた Hanlon の結果の簡単な証明が得られた。
• 面環 k[Δ(B₂ₙ)/S₂≀Sₙ] は整数上でも Cohen-Macaulay であり、Reiner の同型を介して、k[x₁,…,x₂ₙ]^{S₂≀Sₙ} が任意の体 k 上で Cohen-Macaulay であることが示された。
• Δ(Πₙ)/Sₙ の分割のインシデント行列は非特異であるとは知られていないが、分割の存在は不変式環の基本集合が存在する可能性を示唆する。
• 不変式環 k[x₁,…,x₂ₙ]^{S₂≀Sₙ} は、シェーリングと Garsia-Stanton の定理を用いることで、任意の体 k（正の特徴を持つ体を含む）上でも Cohen-Macaulay であることが示された。