[논문 리뷰] Lexicographic shellability for balanced complexes

Patricia Hersh|ArXiv.org|2003. 11. 16.

Topological and Geometric Data Analysis참고 문헌 16인용 수 6

한 줄 요약

이 논문은 순수하고 균형 잡힌 불리안 세포 복합체에 대해 일반화된 렉시코그래픽 셸러빌리티의 개념—CC-라벨링—을 도입하며, Δ(B₂ₙ)/S₂≀Sₙ 및 Δ(Πₙ)/Sₙ와 같은 몫 복합체로 고전적 셸러빌리티를 확장한다. Δ(B₂ₙ)/S₂≀Sₙ에 대해 렉시코그래픽 셸링을 구축하고, Δ(Πₙ)/Sₙ에 대해 분할을 제공함으로써, 순서 선택 분할 레이티스의 호모로지에 포함된 자명 표현의 다중성 bₛ(n)에 대한 조합론적 해석을 이끌어내며, 임의의 체 위에서 k[x₁,…,x₂ₙ]^{S₂≀Sₙ}의 코hen-맥컬레이언성도 증명한다.

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ₙ}이 코헨-맥컬레이언임을 증명하여 기존 결과를 임의의 특성수로 일반화하는 것.
• 렉시코그래픽 셸링에서의 내림차순 집합을 이용하여 몰입 복합체의 플래그 h-벡터를 통해 bₛ(n)에 대한 조합론적 해석을 제공하는 것.

제안 방법

• 순수하고 균형 잡힌 불리안 세포 복합체에 대해 고전적 순서 복합체 기반 셸러빌리티를 비단순 몰입 복합체로 일반화하는 새로운 CC-라벨링 개념을 도입한다.
• Δ(B₂ₙ)/S₂≀Sₙ 및 Δ(Πₙ)/Sₙ에 대해 CC-라벨링의 세 조건—유일한 증가 체인, 교차 조건, 다중면 겹침—이 만족됨을 검증한다.
• 와이어드 프로덕트 작용의 구조와 궤도 대표자 내 상승 패tern을 기반으로 한 체인-라벨링을 정의하여 Δ(B₂ₙ)/S₂≀Sₙ에 대해 렉시코그래픽 셸링을 구성한다.
• 가르시아-스타턴 정리를 적용하여 셸링에서 기본 불변량을 도출하고, 알려진 대수적 성질을 갖는 불변량 링을 구성할 수 있도록 한다.
• 리너의 이중사상(면의 다항식 링과 불변 부분환 사이)을 적용하여, 복합체의 코헨-맥컬레이언성을 다항식 링으로 이전한다.
• 셸링과 분할에서의 내림차순 집합을 분석하여 bₛ(n)에 대한 조합론적 해석을 도출하고, 한론론의 결과 b₁,…,ᵢ(n) = 0을 증명한다.

실험 결과

연구 질문

• RQ1 순서 선택 분할 레이티스 Δ(Πₙˢ)의 호모로지에 포함된 자명 표현의 다중성 bₛ(n)이 언제 0이 되는가?
• RQ2 G가 순서 집합 P에 작용할 때, Δ(P)/G가 Δ(P/G)와 동형이 아니면, 몰입 복합체 Δ(P)/G에 대해 렉시코그래픽 셸링을 정의할 수 있는가?
• RQ3 균형 잡힌 불리안 세포 복합체에 CC-라벨링이 존재하면, 그 면 링이 코헨-맥컬레이언임을 의미하는가?
• RQ4 Δ(Πₙ)/Sₙ의 플래그 h-벡터를 사용하여 bₛ(n)에 대한 조합론적 해석을 제공할 수 있는가?
• RQ5 임의의 체 k, 특히 양의 특성수를 갖는 체에서 k[x₁,…,x₂ₙ]^{S₂≀Sₙ}이 코헨-맥컬레이언인가?

주요 결과

• CC-라벨링을 사용하여 몰입 복합체 Δ(B₂ₙ)/S₂≀Sₙ에 대해 렉시코그래픽 셸링을 구성함으로써, 이 복합체가 셸러블임을 증명한다.
• Δ(Πₙ)/Sₙ에 대해 분할을 구성하고, 이 분할에서의 내림차순 집합을 통해 순서 선택 분할 레이티스 Δ(Πₙˢ)의 호모로지에 포함된 자명 표현의 다중성 bₛ(n)에 대한 조합론적 해석을 제공한다.
• b₁,…,ᵢ(n) = 0이 모든 i와 n에 대해 성립함을 증명하며, 분할의 내림차순 구조를 활용하여 한론론의 결과에 대한 간단한 증명을 제공한다.
• 면 링 k[Δ(B₂ₙ)/S₂≀Sₙ]는 정수 위에서 코헨-맥컬레이언이며, 리너의 이중사상에 의해 이는 k[x₁,…,x₂ₙ]^{S₂≀Sₙ}이 임의의 체 k 위에서 코헨-맥컬레이언임을 의미한다.
• Δ(Πₙ)/Sₙ의 분할에 대한 인cidense 행렬이 비특이성이 알려져 있지 않지만, 분할의 존재는 불변 링에 대한 기본 집합이 존재할 수 있음을 암시한다.
• 쉘링과 가르시아-스타턴 정리에 의해, k[x₁,…,x₂ₙ]^{S₂≀Sₙ}는 임의의 체 k, 특히 양의 특성수를 갖는 체에서 코헨-맥컬레이언임이 입증된다.