[논문 리뷰] Coxeter Complexes and Graph-Associahedra

Michael Carr, Satyan L. Devadoss|ArXiv.org|2004. 07. 13.

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

한 줄 요약

이 논문은 주어진 그래프 Γ의 연결된 부분그래프를 바탕으로 한 면 순서 집합을 가진 단순한 볼록 다면체인 그래프-아소시아헤드론의 가족을 소개한다. 임의의 단순 코ク세터 시스템에 대해 그 코크세터 복합체의 최소 블로우업이 자연스럽게 그래프-아소시아헤드론으로 테일링되며, 이는 실수 모듈리 공간의 델리게-크누든-머프福德 컴actsification을 일반화하고 기존의 아소시아헤드론과 사이클로헤드론에 대한 결과를 확장한다.

ABSTRACT

Given a graph G, we construct a simple, convex polytope whose face poset is based on the connected subgraphs of G. This provides a natural generalization of the Stasheff associahedron and the Bott-Taubes cyclohedron. Moreover, we show that for any simplicial Coxeter system, the minimal blow-ups of its associated Coxeter complex has a tiling by graph-associahedra. The geometric and combinatorial properties of the complex as well as of the polyhedra are given. These spaces are natural generalizations of the Deligne-Knudsen-Mumford compactification of the real moduli space of curves.

연구 동기 및 목표

• 그래프의 구조를 기반으로 한 새로운 다면체 가족을 구성하여 스태시프의 아소시아헤드론과 본-타우버스의 사이클로헤드론을 일반화하기.
• 모든 단순 코크세터 시스템에 대해 코크세터 복합체의 최소 블로우업이 그래프-아소시아헤드론으로 테일링됨을 확립하기.
• 기존의 모듈리 공간 컴팩티피케이션을 다면체 분해를 통해 통합하는 기하학적이고 조합론적인 프레임워크를 제공하기.
• 카프란프의 코크세터 복합체와 블로우업에 대한 관찰을 더 넓은 범위의 코크세터 군으로 확장하기.

제안 방법

• 단체의 반복적인 잘라내기를 통해 그래프 Γ의 1-튜빙(연결된 부분그래프)에 대응하는 튜빙을 통해 그래프-아소시아헤드론을 구성하기.
• 튜빙을 상호작용하지 않으며, 겹치지 않으며, 중첩되지 않는 부분그래프의 집합으로 정의하며, 호환성은 교차 및 인접 관계에 기반한다.
• 유도된 다면체의 면 순서 집합이 유효한 튜빙의 순서 집합(포함관계에 의해 순서진정)과 순서 이sov를 갖는다고 증명하기.
• 코크세터 복합체와 최소 블로우업 이론을 사용하여, 단순 코크세터 복합체의 최소 블로우업이 그래프-아소시아헤드론으로 분해됨을 보여주기.
• 복합체의 최소 블로우업 원소와 면 부분복합체의 최소 블로우업 원소 사이의 일대일 대응을 확립하며, 세포 분할 구조를 유지하기.
• 초평면 배열 이론과 구면 코크세터 군 이론을 적용하여, 각 블로우업이 낮은 차원의 블로우업 복합체의 곱으로 분해됨을 검증하기.

실험 결과

연구 질문

• RQ1 어떻게 아소시아헤드론과 사이클로헤드론을 일관된 다면체 구성으로 통해 임의의 그래프로 일반화할 수 있는가?
• RQ2 아소시아헤드론으로 이루어진 델리게-크누든-머프福德 컴팩티피케이션의 테일링이 다른 코크세터 시스템으로 확장될 수 있는가?
• RQ3 코크세터 복합체의 최소 블로우업의 구조는 무엇이며, 다면체 분해와 어떤 관계가 있는가?
• RQ4 코크세터 복합체의 면의 블로우업과 부분복합체의 블로우업 사이의 관계는 무엇이며, 이를 정준적으로 만들 수 있는가?
• RQ5 낮은 차원의 구성요소로의 블로우업 복합체의 기하적 분해는 어떻게 이루어지는가?

주요 결과

• 그래프-아소시아헤드론은 단순하고 볼록한 다면체이며, 면 순서 집합이 그래프 Γ 위의 유효한 튜빙의 순서 집합(포함관계에 의해 순서진정)과 순서 이sov이다.
• Γ가 n−1개의 노드를 가진 경로일 경우, 그래프-아소시아헤드론은 차원 n−2인 스태시프의 아소시아헤드론과 일치한다.
• 모든 단순 코크세터 시스템 W에 대해, 그 코크세터 복합체의 최소 블로우업 C(W)#는 W의 그래프에 관련된 그래프-아소시아헤드론으로 테일링된다.
• C(W)# 내의 면 α의 블로우업은 파라보릭 부분군 W_α에 대한 블로우업 복합체와 W_α의 프로젝티브 복합체의 곱과 동치이다.
• 블로우업 복합체의 세포 분할은 블로우업 동안 유지되며, 전체 복합체와 면 부분복합체의 최소 블로우업 원소 사이에 정준적인 일대일 대응이 존재한다.
• 각 블로우업 세포가 낮은 차원의 블로우업 복합체의 곱으로 분해됨을 확인함으로써, C(W)# 내에 재귀적인 기하학적 구조가 있음을 확인한다.