[논문 리뷰] Torus actions and combinatorics of polytopes

Victor Matveevich Buchstaber, Taras Panov|ArXiv.org|1999. 09. 28.

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

한 줄 요약

이 논문은 단순한 $n$차원 다면체 $P^n$와 $m$개의 면을 가진 다면체 $P^n$에 관련된 매끄러운 다양체 $ olimits\mathcal{Z}_P$를 제시한다. 이 다양체는 $ olimits\mathbb{C}^m$ 내의 평면 배열의 여부에 대해 $ olimits\mathbb{R}^{m-n}$의 자유 작용을 통해 구성되며, $T^m$-equivariant한 구조를 가진다. 주요 기여는 $ olimits\mathcal{Z}_P$의 코homology 링을 완전히 계산한 것으로, 이는 다면체의 조합적 불변량을 캡슐화하는 이중중량 구조를 가진 $P^n$의 면 링과 동형임을 보여준다.

ABSTRACT

An n-dimensional polytope P^n is called simple if exactly n codimension-one faces meet at each vertex. The lattice of faces of a simple polytope P^n with m codimension-one faces defines an arrangement of even-dimensional planes in R^{2m}. We construct a free action of the group R^{m-n} on the complement of this arrangement. The corresponding quotient is a smooth manifold Z_P invested with a canonical action of the compact torus T^m with the orbit space P^n. For each smooth projective toric variety M^{2n} defined by a simple polytope P^n with the given lattice of faces there exists a subgroup T^{m-n}\subset T^m acting freely on Z_P such that Z_P/T^{m-n}=M^{2n}. We calculate the cohomology ring of Z_P and show that it is isomorphic to the cohomology ring of the face ring of P^n regarded as a module over the polynomial ring. In this way the cohomology of Z_P acquires a bigraded algebra structure, and the additional grading allows to catch the combinatorial invariants of the polytope. At the same time this gives an example of explicit calculation of the cohomology of the complement of an arrangement of planes, which is of independent interest.

연구 동기 및 목표

• 단순한 다면체 $P^n$($m$개의 면을 가짐)의 조합적 자료로부터 매끄러운 다양체 $\mathcal{Z}_P$를 위상적으로 구성하는 것.
• $T^m$의 표준적인 작용을 $\mathcal{Z}_P$에 정의하고, 궤도 공간이 $P^n$이 되도록 하는 것.
• $\mathcal{Z}_P$의 코homology 링을 계산하고, 이가 이중중량 대수로서 $P^n$의 면 링과 동형임을 보여주는 것.
• $\mathcal{Z}_P$의 이중중량 베텨리 수가 $P^n$의 조합적 불변량(예: $h$-벡터와 면 수)을 캡슐화함을 보여주는 것.
• 단순한 다면체에 대한 전통적인 조합적 부등식(예: Dehn–Sommerville 방정식과 MacMullen의 부등식)을 위상적 해석으로 제공하는 것.

제안 방법

• $\mathbb{C}^m$ 내의 평면 배열의 여부에 대해 $\mathbb{R}^{m-n}$의 자유 작용을 통해 $\mathcal{Z}_P$를 몫으로 구성하는 것.
• 다면체 $P^n$의 면 링 $k(P)$를 사용하고, 그 $\mathop{\rm Tor}$-모듈을 계산하여 $\mathcal{Z}_P$의 코homology를 결정하는 것.
• Hochster의 정리를 적용하여 이중중량 코homology의 Poincaré 급수를 이중 단체 복합체 $K^{n-1}$의 부분복합체를 통해 표현하는 것.
• $\mathcal{Z}_P = T^m \times P^n / \sim$의 몫 구성과 $U(P^n) \subset \mathbb{C}^m$로의 임bedding을 통한 대수적 구성 사이의 위상동형을 확립하는 것.
• $\mathop{\rm Tor}^{-q,2r}_{k[v_1,\dots,v_m]}(k(P),k)$에서 유도된 이중중량 베텰리 수 $b^{-q,2r}(\mathcal{Z}_P)$를 계산하는 것.
• $F(\mathcal{A}^{*,*}, \tau,t) = \sum_j f_{j-1} \left(1 + \frac{t^2}{\tau}\right)^{m-j} t^{2j}$ 공식을 사용하여 $P^n$의 $f$-벡터와 $\mathcal{Z}_P$의 코homology를 연결하는 것.

실험 결과

연구 질문

• RQ1 단순한 다면체와 관련된 다양체의 코homology 링은 어떻게 그 조합적 구조를 이용해 계산할 수 있는가?
• RQ2 $\mathcal{Z}_P$의 이중중량 베텔리 수와 다면체 $P^n$의 조합적 불변량 사이의 관계는 무엇인가?
• RQ3 $\mathcal{Z}_P$의 위상적 불변량을 사용하여 단순한 다면체에 대한 전통적인 조합적 부등식을 유도하거나 해석할 수 있는가?
• RQ4 어떤 조건에서 랭크 $m-n$의 토르스 부분군이 $\mathcal{Z}_P$에 자유롭게 작용하며, 그 결과로 얻어지는 몫 다양체는 무엇인가?
• RQ5 $\mathcal{Z}_P$의 코homology는 $P^n$의 면 수와 $h$-벡터를 어떻게 반영하는가?

주요 결과

• $\mathcal{Z}_P$의 코homology 링은 다면체 $P^n$의 면 링과 다항식 링 위의 이중중량 대수로서 동형이며, 이중중량은 조합적 자료를 캡슐화한다.
• 세 번째 베텔리 수 $b^3(\mathcal{Z}_P)$는 $\binom{m}{2} - f_1$과 같다. 여기서 $f_1$은 이중 단체 복합체 $K^{n-1}$의 간선 수이다.
• $n \geq 3$일 때 $b^3(\mathcal{Z}_P) \leq \binom{m-n}{2}$라는 상한이 성립하며, 이는 MacMullen 부등식 $h_1 \leq h_2$를 반영한다.
• 면 수에 대한 상한 추측은 $0 \leq t < 1$일 때 $\chi(t) \leq 1$인 부등식과 동치이며, 여기서 $\chi(t)$는 $h$-벡터의 생성함수이다.
• 이중중량 코hom로지의 Poincaré 급수는 $F(\mathcal{A}^{*,*}, \tau,t) = \sum_j f_{j-1} \left(1 + \frac{t^2}{\tau}\right)^{m-j} t^{2j}$로 주어지며, 이는 $P^n$의 $f$-벡터와 $\mathcal{Z}_P$의 위상구조를 연결한다.
• $\mathcal{Z}_P$는 해당 토릭 다양체가 매끄럽고 사영적일 때에만 $T^{m-n}$의 자유 작용을 가질 수 있으며, 이러한 몫 다양체는 쿼드토리크 다양체라 불린다.