[논문 리뷰] Combinatorics and Representation Theory for Generalized Permutohedra I: Simplicial Plates

Nick Early|arXiv (Cornell University)|2016. 11. 21.

Advanced Combinatorial Mathematics참고 문헌 5인용 수 9

한 줄 요약

이 논문은 다면체 콘의 특성 함수의 벡터 공간—'플레이트'로 불리는—을 이용한 일반화된 페르뮤투헤드론의 분류화를 제안한다. 이 플레이트들은 대칭군 작용에 대해 불변이다. 주요 결과는 대칭군 모듈러스로서의 일반화된 워피츠키 항등식의 등장이며, 기하학적으로 단위 초단체로 확대된 단체를 타일링하는 데 대응한다. 특성 공식은 이산 토러스 위의 단위 분할과 모듈로 디오판틴 방정식으로 유도된다.

ABSTRACT

In this paper, we announce results from our thesis, which studies for the first time the categorification of the theory of generalized permutohedra. The vector spaces in the categorification are tightly constrained by certain continuity relations which appeared in physics in the mid 20th century. We describe here the action of the symmetric group on the vector spaces in this categorification. Generalized permutohedra are replaced by vector spaces of characteristic functions of polyhedral cones about faces of permutohedra, called plates, due to A. Ocneanu. The symmetric group acts on plates by coordinate permutation. In combinatorics, the Eulerian numbers count the number of permutations with a given number of ascent and descents. The classical Worpitzky identity expands a power $r^p$ as a sum of Eulerian numbers, with binomial coefficients. In our thesis, for the main result we generalize the classical Worpitzky identity to an isomorphism of symmetric group modules, corresponding geometrically to the tiling of a scaled simplex by unit hypersimplices. In the categorification, the volume of a hypersimplex is replaced by the complex-linear dimension of a vector space associated to it. The main technical aspect of the proof of the character formula for the simplex involves a partition of unity of a commutative algebra of translations on a discrete torus, and a certain modular Diophantine equation. A detailed paper is in preparation.

연구 동기 및 목표

• A. 옵네아누가 제안한 '플레이트'로 불리는 다면체 콘의 특성 함수의 벡터 공간을 사용하여 일반화된 페르뮤투헤드론의 분류화를 개발하는 것.
• 특히 그 표현 이론적 구조에 중점을 두어 대칭군이 플레이트의 이러한 벡터 공간에 작용하는 방식을 연구하는 것.
• 거듭제곱 함수를 초단체에 관련된 벡터 공간 차원으로 대체함으로써 고전적 워피츠키 항등식을 모듈러스 동형사상으로 일반화하는 것.
• 이산 토러스 위의 이동에 대한 가환 대수에서의 단위 분할을 통해 대칭군 작용에 대한 특성 공식을 수립하는 것.
• 이러한 모듈러스의 표현 이론을 리드넘 단어와 내림차순 통계와 같은 조합적 불변량과 연결하고, 토릭 다양체의 코homology와 매트로이드 이론과 연관짓는 것.

제안 방법

• 페르뮤투헤드론의 면 주위의 콘의 특성 함수를 사용하여, 좌표 순열에 의한 대칭군 작용에 대해 불변인 벡터 공간인 '플레이트'를 구성한다.
• 이산 토러스 위의 이동 대수는 단위 분할을 정의하며, $\sum i_j \equiv 1 \mod r$ 를 만족하는 $n$-튜플 $I \in \{0,\dots,r-1\}^n$ 에 따라 인덱싱된 정규직교 아이디포텐트 $\epsilon_I$ 를 형성한다.
• 대칭군 $S_n$ 이 모듈러스 $\mathcal{C}_r^n$ 에 작용하는 특성은 모듈로 디오판틴 방정식 $\sum \lambda_i x_i \equiv 1 \mod r$ 의 해의 수를 통해 계산되며, 여기서 $\lambda_i$ 는 순환 길이다.
• $\mathcal{C}_r^n$ 모듈러스는 $S_n$-모듈러스로서 단체 플레이트 모듈러스 $\mathrm{Pl}(\Delta_r^n)$ 와 동형임을 보였으며, 기저는 $e_2^{j_2} \cdots e_n^{j_n}$ ($0 \leq j_i \leq r-1$) 로 이루어져 있고, 차원은 $r^{n-1}$ 이다.
• $S_n$ 의 작용은 자유롭고 추이적이며, $e_j$ 연산자는 $\epsilon_I$ 에서 $q^{i_j}$ 를 곱하는 것으로 작용하여 $e_1 \cdots e_n = q$ 와의 일관성을 확보한다.
• 고정점 수를 계산하여 기약 표현의 다중도를 계산하며, 자명 표현에 대한 생성함수를 유도한다.

실험 결과

연구 질문

• RQ1 일반화된 페르뮤투헤드론 이론은 다면체 콘의 특성 함수의 벡터 공간(플레이트)를 통해 어떻게 분류화될 수 있는가?
• RQ2 $\Delta_r^n$ 이라고 불리는 확대된 단체에 관련된 플레이트의 벡터 공간에 대한 대칭군 표현 구조는 무엇인가?
• RQ3 이 분류화된 설정에서 일반화된 워피츠키 항등식은 대칭군 모듈러스의 동형사상으로 어떻게 나타나는가?
• RQ4 이산 토러스 위의 이동 대수 $\mathcal{C}_r^n$ 이 대칭군 작용의 특성 공식을 계산하는 데 어떤 역할을 하는가?
• RQ5 플레이트 모듈러스의 기약 표현의 다중도는 리드넘 단어와 내림차순 통계와 같은 조합적 대상과 어떻게 관련되어 있는가?

주요 결과

• 대칭군 $S_n$ 은 확대된 단체 $\Delta_r^n$ 과 관련된 플레이트의 벡터 공간 $\mathrm{Pl}(\Delta_r^n)$ 에 작용하며, 이 모듈러스는 이산 토러스 위의 이동 대수 $\mathcal{C}_r^n$ 과 동형이다.
• $\mathcal{C}_r^n$ 에서 $S_n$-작용의 특성은 모듈로 디오판틴 방정식 $\sum \lambda_i x_i \equiv 1 \mod r$ 의 해의 수로 주어지며, $\gcd(\lambda_1,\dots,\lambda_k,r) = 1$ 이면 $r^{k-1}$ 이고, 그렇지 않으면 0이다.
• $\epsilon_I$ 는 $\mathcal{C}_r^n$ 에서 단위 분할을 형성하며, 각 $\epsilon_I$ 는 $e_j$ 연산자에 대해 1차원 고유공간을 이루며, $e_j \epsilon_I = q^{i_j} \epsilon_I$ 를 만족한다.
• $\mathcal{C}_r^n$ 의 차원은 $r^{n-1}$ 이며, 기저는 $0 \leq j_i \leq r-1$ 를 만족하는 단항식 $e_2^{j_2} \cdots e_n^{j_n}$ 로 이루어져 있어, $S_n$-모듈러스로서 $\mathrm{Pl}(\Delta_r^n)$ 과의 동형성을 확인한다.
• $\mathrm{Pl}(\Delta_r^n)$ 의 자명 표현의 다중도는 리드넘 단어로 수여되며, $r=3$ 과 $r=4$ 에 대해 각각 생성함수 $\frac{1}{(1-x)^3(1+x+x^2)}$ 와 $\frac{1}{(1-x)^4(1+x)^2}$ 를 갖는다.
• $\mathrm{Pl}(\Delta_r^n)$ 의 첫 번째 몇 개의 특성 표는 기약 표현의 명백한 다중도를 보이며, $n=3, r=4$ 에서는 $5\cdot 3^1 + 5\cdot 2^11^2$ 와 같이 나타나 rich한 조합적 구조를 나타낸다.