[논문 리뷰] Gorenstein Fano polytopes arising from order polytopes and chain polytopes

Takayuki Hibi, Kazunori Matsuda외 1명|arXiv (Cornell University)|2015. 07. 12.

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

한 줄 요약

이 논문은 유한 부분순서집합 P와 Q의 순서다각체와 체인다각체로부터 유도된 세 가지 새로운 적분 볼록 다각체를 연구한다. Γ(O(P),−C(Q))와 Γ(C(P),−C(Q))의 에르하르트 다항식이 일치함을 증명하고, P와 Q가 공통의 선형 확장을 가질 경우, 세 다각체 모두 동일한 에르하르트 다항식을 가짐을 보인다. 주요 기여는 이러한 다각체가 부드럽고 파폭(Fano)임을 완전히 특성화한 것이며, 동일한 에르하르트 다항식과 부피를 가짐에도 불구하고, 이들이 유니모듈라 변환에 대해 서로 동치가 아니라는 증명이다.

ABSTRACT

Richard Stanley introduced the order polytope $\mathcal{O}(P)$ and the chain polytope $\mathcal{C}(P)$ arising from a finite partially ordered set $P$, and showed that the Ehrhart polynomial of $\mathcal{O}(P)$ is equal to that of $\mathcal{C}(P)$. In addition, the unimodular equivalence problem of $\mathcal{O}(P)$ and $\mathcal{C}(P)$ was studied by the first author and Nan Li. In the present paper, three integral convex polytopes $Γ(\mathcal{O}(P), -\mathcal{O}(Q))$, $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ and $Γ(\mathcal{C}(P), -\mathcal{C}(Q))$, where $P$ and $Q$ are partially ordered sets with $| P | = | Q |$, will be studied. First, it will be shown that the Ehrhart polynomial of $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ coincides with that of $Γ(\mathcal{C}(P), -\mathcal{C}(Q))$. Furthermore, when $P$ and $Q$ possess a common linear extension, it will be proved that these three convex polytopes have the same Ehrhart polynomial. Second, the problem of characterizing partially ordered sets $P$ and $Q$ for which $Γ(\mathcal{O}(P), -\mathcal{O}(Q))$ or $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ or $Γ(\mathcal{C}(P), -\mathcal{C}(Q))$ is a smooth Fano polytope will be solved. Finally, when these three polytopes are smooth Fano polytopes, the unimodular equivalence problem of these three polytopes will be discussed.

연구 동기 및 목표

• 부분순서집합으로부터 구성된 세 가지 새로운 다각체의 에르하르트 다항식 동치성을 조사하는 것.
• 이 다각체들이 부드럽고 파폭 다각체가 되는 조건을 특성화하는 것.
• 이 세 다각체가 부드럽고 파폭일 경우, 유니모듈라 동치성 문제를 해결하는 것.
• 이 다각체들의 표준화된 부피가 표준 빌딩 블록(L, V₂, Ṽ₂)의 분해에 따라 어떻게 결정되는지 분석하는 것.

제안 방법

• 부분순서집합 P와 Q의 이상집합과 반사상집합에서 유도된 정점들을 사용하여 세 다각체 Γ(O(P),−O(Q)), Γ(O(P),−C(Q)), Γ(C(P),−C(Q))를 정의한다.
• 유니모듈라 동치성에 의한 에르하르트 다항식 불변성을 활용하여, 순서다각체와 체인다각체의 다양한 조합으로 구성된 다각체를 비교한다.
• 특히 정점 구성과 면의 Z-기저에 초점을 맞춘 고렌스타인 및 부드럽고 파폭 다각체 이론을 적용한다.
• 명시적인 유니모듈라 변환을 구성하고, 정점 집합에 대한 그 작용을 분석하여 유니모듈라 동치성을 반증한다.
• 고렌스타인 파폭다각체에 대해 Vol(P₁⊕P₂) = Vol(P₁)Vol(P₂)의 표준화된 부피 공식을 사용하여, L, V₂, Ẇ₂로의 분해를 통해 부피를 계산한다.
• Stanley의 결과(즉, O(P)와 C(P)는 동일한 에르하르트 다항식을 가짐)를 활용하여, 이 불변성을 새로운 다각체로 확장한다.

실험 결과

연구 질문

• RQ1 Γ(O(P),−C(Q))와 Γ(C(P),−C(Q))의 에르하르트 다항식이 일치하는 조건은 무엇인가?
• RQ2 세 다각체 Γ(O(P),−O(Q)), Γ(O(P),−C(Q)), Γ(C(P),−C(Q))가 동일한 에르하르트 다항식을 가질 조건은 무엇인가?
• RQ3 부분순서집합 P와 Q가 어떤 조건일 경우, 이 세 다각체가 부드럽고 파폭 다각체가 되는가?
• RQ4 이 세 다각체가 부드럽고 파폭일 경우, 유니모듈라 동치인가?
• RQ5 이 다각체들의 표준화된 부피는 P와 Q의 구조에 따라 어떻게 달라지는가?

주요 결과

• 모든 유한 부분순서집합 P와 Q에 대해 |P|=|Q|일 때, Γ(O(P),−C(Q))의 에르하르트 다항식은 Γ(C(P),−C(Q))와 정확히 일치한다.
• P와 Q가 공통의 선형 확장을 가질 경우, 세 다각체 Γ(O(P),−O(Q)), Γ(O(P),−C(Q)), Γ(C(P),−C(Q))는 모두 동일한 에르하르트 다항식을 가진다.
• 이 논문은 이 세 다각체가 부드럽고 파폭 다각체가 되는 조건을 완전히 특성화한다: 이는 관련 부분순서집합이 그들의 선형 확장과 정점 구성에 관련된 특정 구조적 조건을 만족할 때 정확히 성립한다.
• Γ(O(P),−C(Q))와 Γ(O(Q),−C(P))는 동일한 에르하르트 다항식과 부피를 가짐에도 불구하고, 유니모듈라 변환에 의한 동치가 아니며, 이는 유니모듈라 사상 하에서 정점 이미지 분석의 모순을 통해 보여진다.
• P=Q=P₁일 경우, 세 다각체의 표준화된 부피는 2^d이며, 이들은 ⊕_d L과 유니모듈라 동치이다.
• P=Q=P₂일 경우, 표준화된 부피는 2^{d−2}·6이며, P=P₁, Q=P₂일 경우 2^{d−2}·5이다. 후자의 경우, Γ(O(Q),−O(P))의 부피도 동일하다.