[논문 리뷰] Matching polytopes, toric geometry, and the non-negative part of the Grassmannian

Alexander Postnikov, David E Speyer외 1명|ArXiv.org|2007. 06. 17.

Advanced Combinatorial Mathematics참고 문헌 20인용 수 38

한 줄 요약

이 논문은 평면 이분할 그래프 $G$와 관련된 매칭 다면체 $P(G)$를 사용하여 전체로 음이 아닌 그라스만이안 $(Gr_{k,n})_{\text{≥}0}$ 의 위상구조를 연구하기 위한 토릭 기하 프레임워크를 수립한다. 셀의 매개변수화를 위해 다면체를 사용하며, 셀 분해가 정규 CW 복합체임을 증명하고, 각 셀 폐포의 오일러 지표가 1임을 보인다. 이는 그래프 매칭, 다면체 면 레이티스, 그리고 모멘트 사상을 통한 토릭 다양체 간의 연결을 통해 이루어진다.

ABSTRACT

In this paper we use toric geometry to investigate the topology of the totally non-negative part of the Grassmannian (Gr_{kn})_{\geq 0}. This is a cell complex whose cells Delta_G can be parameterized in terms of the combinatorics of plane-bipartite graphs G. To each cell Delta_G we associate a certain polytope P(G). The polytopes P(G) are analogous to the well-known Birkhoff polytopes, and we describe their face lattices in terms of matchings and unions of matchings of G. We also demonstrate a close connection between the polytopes P(G) and matroid polytopes. We then use the data of P(G) to define an associated toric variety X_G. We use our technology to prove that the cell decomposition of (Gr_{kn})_{\geq 0} is a CW complex, and furthermore, that the Euler characteristic of the closure of each cell of (Gr_{kn})_{\geq 0} is 1.

연구 동기 및 목표

• 토릭 기하학과 다면체 조합론을 활용하여 전체로 음이 아닌 그라스만이안 $(Gr_{k,n})_{\text{≥}0}$ 의 위상적 구조를 이해하는 것.
• 평면 이분할 그래프 $G$와 관련된 매칭 다면체 $P(G)$를 정의하고 분석하여, 비르코프 다면체를 평면 설정으로 일반화하는 것.
• 비음성 부분이 $(Gr_{k,n})_{\text{≥}0}$ 의 셀을 유리 사상 $m_G$ 를 통해 매개변수화하는 토릭 다양체 $X_G$ 를 구성하는 것.
• $(Gr_{k,n})_{\text{≥}0}$ 의 셀 분해가 정규 CW 복합체임을 증명하고, 각 셀 폐포의 오일러 지표가 1임을 보이는 것.

제안 방법

• 평면 이분할 그래프 $G$ 의 거의 완전 매칭의 인cidenc 벡터의 볼록 hull로 매칭 다면체 $P(G)$ 를 구성하는 것.
• 모멘트 사상으로 $P(G)$ 를 토릭 다양체 $X_G$ 의 모멘트 다면체로 식별하며, $P(G)$ 가 비음성 부분 $(X_G)_{\text{≥}0}$ 과 위상동형임을 보이는 것.
• 내부에서 $\mathrm{Meas}_G$ 라는 알려진 매개변수화로 제한되는 유리 사상 $m_G: X_G \to Gr_{k,n}$ 을 정의하는 것.
• 기본 부분그래프의 면 레이티스와 $P(G)$ 의 면 사이의 대응 관계를 설정하며, 면은 동치류로 표현된 간선과 대응됨을 보이는 것.
• 면 포지트 구조와 윌리엄스의 오일러 포지트 결과를 활용하여 셀 폐포의 오일러 지표를 계산하는 것.
• f-벡터, 에흐라르 급수, 체적과 같은 조합적 불변량을 사용하여 $P(G)$ 와 관련된 토릭 다양체를 분석하는 것.

실험 결과

연구 질문

• RQ1 토릭 기하학과 다면체 조합론을 통해 전체로 음이 아닌 그라스만이안의 위상은 어떻게 묘사될 수 있는가?
• RQ2 평면 이분할 그래프 $G$, 그 매칭 다면체 $P(G)$, 그리고 $(Gr_{k,n})_{\text{≥}0}$ 의 셀 분해 간의 정확한 관계는 무엇인가?
• RQ3 $P(G)$ 의 면 레이티스는 $G$ 의 매칭과 매칭의 합집합의 조합론을 어떻게 반영하는가?
• RQ4 각 셀 폐포의 오일러 지표는 무엇이며, 토릭 기하학을 통해 어떻게 계산할 수 있는가?
• RQ5 다면체 $P(G)$ 와 $X_G$ 의 기하학을 활용하여 $(Gr_{k,n})_{\text{≥}0}$ 의 셀 분해가 정규 CW 복합체임을 증명할 수 있는가?

주요 결과

• $(Gr_{k,n})_{\text{≥}0}$ 의 셀 분해는 모멘트 다면체 $P(G)$ 에서 각 셀 폐포로의 위상동형을 구성함으로써 정규 CW 복합체임을 증명하였다.
• 각 셀 폐포의 오일러 지표는 $(\text{Gr}_{k,n})_{\text{≥}0}$ 의 면 포지트의 오일러 성질로부터 정확히 1임을 도출하였다.
• $P(G)$ 의 면 레이티스는 $G$ 의 기본 부분그래프 레이티스와 위상동형이며, 정점은 $G$ 의 완전 방향화(또는 거의 완전 매칭)에 대응된다.
• $P(G)$ 의 면은 $G$ 의 간선의 동치류와 일대일 대응되며, 동치인 간선은 같은 쌍의 면을 분리하고 같은 방향성을 가진다.
• 최상위 셀의 경우 $P(G)$ 의 f-벡터는 다음과 같다: $P(G24)$ 는 $(7,17,18,8)$, $P(G25)$ 는 $(14,59,111,106,52,12)$, $P(G26)$ 는 $(25,158,440,664,590,315,98,16)$ 이다.
• 다음 다면체의 체적은 각각 $\frac{1}{6}$, $\frac{1}{30}$, $\frac{41}{10080}$, $\frac{781}{181440}$ 이며, 이에 대응하는 토릭 다양체의 차수는 4, 24, 164, 1562이다.