[논문 리뷰] On Orbits of Order Ideals of Minuscule Posets II: Homomesy

David B. Rush, Kelvin Wang|arXiv (Cornell University)|2015. 09. 27.

Advanced Combinatorial Mathematics참고 문헌 10인용 수 22

한 줄 요약

이 논문은 복소 단순 리 대수의 표현 이론을 이용하여, 최소단수(poset)에서 Fon-Der-Flaass 작용에 대해 두 통계—순서 이상의 크기와 최대 원소의 수—에 대한 동형성(homomesy)을 확립한다. Weyl 군의 무게에 대한 작용을 순서 이상의 기수와 연결함으로써, Propp와 Roby의 두 체인의 곱에 대한 결과를 모든 최소단수 poset로 일반화하는 통일된 증명을 제공한다.

ABSTRACT

The Fon-Der-Flaass action partitions the order ideals of a poset into disjoint orbits. For a product of two chains, Propp and Roby observed --- across orbits --- the mean cardinality of the order ideals within an orbit to be invariant. That this phenomenon, which they christened homomesy, extends to all minuscule posets is shown herein. Given a minuscule poset $P$, there exists a complex simple Lie algebra $\mathfrak{g}$ and a representation $V$ of $\mathfrak{g}$ such that the lattice of order ideals of $P$ coincides with the weight lattice of $V$. For a weight $μ$ with corresponding order ideal $I$, it is demonstrated that the behavior of the Weyl group simple reflections on $μ$ not only uniquely determines $μ$, but also encodes the cardinality of $I$. After recourse to work of Rush and Shi mapping the anatomy of the lattice isomorphism, the upshot is a uniform proof that the cardinality statistic exhibits homomesy. A further application of these ideas shows that the statistic tracking the number of maximal elements in an order ideal is also homomesic, extending another result of Propp and Roby.

연구 동기 및 목표

• 두 체인의 곱에 대한 Propp와 Roby의 동형성 결과를 모든 최소단수 poset로 일반화하기 위해.
• 대수적 표현 이론에 뿌리를 두고 최소단수 poset에서의 동형성을 통일적으로 설명하기 위해.
• 이러한 이상에서의 순서 이상의 기수와 그 이상의 최대 원소 수가 Fon-Der-Flaass 작용 하에서 모두 동형성임을 보여주기 위해.
• 최소단수 poset의 조합론을 Weyl 군의 무게에 대한 작용의 기하학과 통합하기 위해.

제안 방법

• 최소단수 리 대수의 표현의 무게 격자와 최소단수 poset의 순서 이상 사이의 격자 동형을 이용한다.
• Weyl 군의 단순 반사들을 이용해 무게 자료를 인코딩하고, 순서 이상에서 무게로의 사상 φ를 통해 이를 순서 이상의 기수와 연결한다.
• 최소단수 poset의 힙 레이블링(Stembridge의 프레임워크)을 이용해 원소에 루트를 할당하고 토글 동작의 국소적 행동을 추적한다.
• Weyl 군이 무게에 대해 추이적으로 작용하므로, 전체 궤도에 걸쳐 (φ(Ψ^k(I)), α_j^∨)의 합이 0임을 유도한다.
• 기본 무게 {ω_i}와 코루트 {α_j^∨} 사이의 이중수성(biorthogonality)을 적용하여 통계량의 정확한 표현을 유도한다.
• Weyl 군 작용 하에서 노름 (μ,μ) = (λ,λ)의 불변성을 이용하여, 반사기수 통계량의 평균이 일정함을 보여준다.

실험 결과

연구 질문

• RQ1 최소단수 poset의 순서 이상에 대한 Fon-Der-Flaass 작용이 순서 이상의 크기에 대해 동형성을 보여주는가?
• RQ2 최소단수 poset에서 순서 이상의 최대 원소 수의 동형성은 표현 이론을 통해 통일적으로 설명될 수 있는가?
• RQ3 모든 최소단수 poset, 특히 예외적 케이스까지 포함하여 동형성을 통합하는 리-이론적 메커니즘이 존재하는가?
• RQ4 최소단수 poset에서 Weyl 군의 무게에 대한 작용은 순서 이상의 토글 작용과 어떻게 대응되는가?
• RQ5 동형성의 일정한 평균 값은 (λ, ω_i)와 (α_i, α_i)와 같은 리 대수 데이터로부터 명시적으로 계산될 수 있는가?

주요 결과

• 순서 이상의 기수는 Fon-Der-Flaass 작용 하에서 동형성이며, 각 단순 루트 α_i에 대해 일정한 평균 c = 2(λ, ω_i)/(α_i, α_i)를 가진다.
• 순서 이상의 최대 원소 수는 동형성이며, 리 대수가 단순 연결(singly laced)이면 일정한 평균 c = 2(λ, λ)/Ω²를 가지며, 여기서 Ω는 공통된 루트 길이다.
• Weyl 군의 무게에 대한 작용과 Rush–Shi의 격자 동형을 이용하여, 모든 최소단수 poset에서 크기 통계량의 동형성이 통일적으로 증명된다.
• 증명은 Weyl 군이 무게 격자에 대해 추이적으로 작용하므로 전체 궤도에 걸쳐 (φ(Ψ^k(I)), α_j^∨)의 합이 0이 된다는 사실에 기반한다.
• 반사기수 통계량은 루트 유형에 따라 합으로 표현하고, Weyl 군 작용 하에서 노름 (μ, μ) = (λ, λ)의 불변성을 이용하여 동형성임을 보였다.
• 결과는 Propp와 Roby의 두 체인의 곱에서의 동형성을 모든 최소단수 poset로 확장하며, 예외적 케이스인 E_6, E_7와 세 개의 무한 가닥을 포함한다.