[논문 리뷰] Two poset polytopes are mutation-equivalent

Akihiro Higashitani|arXiv (Cornell University)|2020. 02. 04.

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

한 줄 요약

이 논문은 $M_{\mathbb{R}}$ 내의 유리 다면체와 다면체 원뿔로 조합적 변형 이론을 확장하여, 원점이 경계 위에 있을 수도 있는 다면체에 대한 변형을 가능하게 한다. 이는 임의의 부분순서집합의 순서 다면체와 체인 다면체가 이러한 변형의 연속을 통해 상호 변환 가능하다는 것을 증명하며, 이 둘 사이에 깊이 있는 조합적 동치성을 확립한다.

ABSTRACT

The combinatorial mutation $\mathrm{mut}_w(P,F)$ for a lattice polytope $P$ was introduced in the context of mirror symmetry for Fano manifolds in [1]. It was also proved in [1] that for a lattice polytope $P \subseteq N_\mathbb{R}$ containing the origin in its interior, the polar duals $P^* \subseteq M_\mathbb{R}$ and $\mathrm{mut}_w(P,F)^* \subseteq M_\mathbb{R}$ have the same Ehrhart series. For extending this framework, in this paper, we introduce the combinatorial mutation for the Minkowski sum of rational polytopes and rational polyhedral pointed cones in $N_\mathbb{R}$. We can also introduce the combinatorial mutation in the dual side $M_\mathbb{R}$, which we can apply for every rational polytope in $M_\mathbb{R}$ containing the origin (not necessarily in the interior). As an application of this extension of the combinatorial mutation, we prove that the chain polytope of a poset $Π$ can be obtained by a sequence of the combinatorial mutation in $M_\mathbb{R}$ from the order polytope of $Π$. Namely, the order polytope and the chain polytope of the same poset $Π$ are mutation-equivalent.

연구 동기 및 목표

• 원점이 내부에 있을 뿐 아니라 경계 위에 있을 수도 있는 유리 다면체와 원뿔에 대해, 기존의 격자 다면체에 국한된 조합적 변형 이론을 $M_{\mathbb{R}}$ 내의 유리 다면체와 원뿔로 확장하는 것.
• 원점이 내부가 아닌 경계 위에 있을 수도 있는 다면체에 대해서도 조합적 변형을 적용할 수 있도록 하는 것.
• 쌍대 공간 $M_{\mathbb{R}}$ 내에서 두 핵심 부분순서집합 다면체인 순서 다면체와 체인 다면체 사이의 연결 고리를 확립하는 것.
• 동일한 부분순서집합의 순서 다면체와 체인 다면체가 조합적 변형의 연속을 통해 상호 변환 가능하다는 것을 보여주는 것.
• 미래의 연구를 위한 기반을 마련하여, 마크된 다면체와 강화된 부분순서집합 다면체, 특히 겔판트-츠에트린 다면체와 페이긴-푸리에-리틀만-빈버그 다면체 등에 대한 변형 동치성에 대해 논의한다.

제안 방법

• 원점이 내부에 있거나 경계 위에 있을 수 있는 $N_{\mathbb{R}}$ 내의 유리 다면체와 다면체 원뿔에 대해 일반화된 조합적 변형 연산을 도입하며, 이는 [1]에서 제시된 원래 정의를 확장한 것이다.
• 다면체의 극대쌍대를 대상으로 작용하는 조각별 선형 사상 $\varphi_{w,F}$를 사용하여 $M_{\mathbb{R}}$ 내에서의 쌍대 변형 연산을 정의한다.
• 원점이 내부에 있지 않더라도 경계 위에 있을 수 있는 유리 다면체에 대해 $M_{\mathbb{R}}$ 내에서의 쌍대 변형 연산을 적용함으로써 적용 범위를 넓힌다.
• 부분순서집합의 순서 다면체를 그 체인 다면체로 변환하는 $M_{\mathbb{R}}$ 내의 변형 연속을 구성한다.
• 모든 원점이 포함된 유리 다면체는 $\mathcal{P}_N$ 내의 다면체의 극대쌍대로 나타나므로, 변형 프레임워크를 적용할 수 있음을 이용한다.

실험 결과

연구 질문

• RQ1 원점이 내부에 있지 않고 경계 위에 있을 수도 있는 $M_{\mathbb{R}}$ 내의 유리 다면체에 대해 조합적 변형 이론을 확장할 수 있는가?
• RQ2 $M_{\mathbb{R}}$ 내에서 부분순서집합의 순서 다면체를 체인 다면체로 변환하는 조합적 변형의 연속이 존재하는가?
• RQ3 순서 다면체와 체인 다면체가 변형 동치이기 때문에, 동일한 Ehrhart 다항식을 가진다 할 수 있는가?
• RQ4 쌍대 공간 내에서 조각별 선형 변환을 통해 순서 다면체와 체인 다면체 사이의 변형 동치성을 확립할 수 있는가?
• RQ5 순서 다면체와 체인 다면체 사이의 변환을 실현하는 데 있어 쌍대 변형 사상 $\varphi_{w,F}$의 역할은 무엇인가?

주요 결과

• 임의의 부분순서집합 $\Pi$에 대해, 그 순서 다면체와 체인 다면체는 $M_{\mathbb{R}}$ 내에서 변형 동치이다. 즉, 하나가 다른 하나로 조합적 변형의 연속을 통해 얻어질 수 있다.
• 순서 다면체와 체인 다면체의 극대쌍대의 Ehrhart 다항식은 서로 동일하며, 이는 다면체 자체가 유니모듈라 동치가 아니라는 점과는 대비된다.
• $M_{\mathbb{R}}$ 내의 변형 연산은 다면체가 직접 작용하는 조각별 선형 사상 $\varphi_{w,F}$로 표현된다.
• 이 프레임워크는 원점이 내부에 있지 않고 경계 위에 있을 수도 있는 유리 다면체에 대해 조합적 변형을 성공적으로 확장한다.
• 이 결과는 기존에 알려진 순서 다면체와 체인 다면체의 Ehrhart 다항식 동치성에 대해 새로운 조합적 해석을 제공하며, 이는 변형 동치성에 기반한다.
• 이 방법은 향후 마크된 다면체와 강화된 다면체 등 더 일반적인 설정에서의 변형 동치성 증명을 위한 길을 열어 놓는다. 이는 향후 논문 [5]에서 제시된 바와 같다.