[논문 리뷰] Matroid polytopes, nested sets and Bergman fans

Eva María Feichtner, Bernd Sturmfels|ArXiv.org|2004. 11. 11.

Advanced Combinatorial Mathematics참고 문헌 8인용 수 97

한 줄 요약

이 논문은 매트로이드의 베르그만 팬과 그 내장 집합 복합체 사이의 기하학적 연결을 확립하며, 내장 집합 복합체가 베르그만 복합체의 유니모듈라 삼등분을 제공한다는 것을 보여준다. 핵심 결과는 이러한 두 복합체가 정확히 연결된 평탄이 어떤 부분평탄에 대해 수축해도 여전히 연결되어 있는 경우에만 일치한다는 것이다. 이는 이전의 토로피컬 선형 공간의 삼등분에 대한 결과를 정교화한다.

ABSTRACT

The tropical variety defined by linear equations with constant coefficients is the Bergman fan of the corresponding matroid. Building on a self-contained introduction to matroid polytopes, we present a geometric construction of the Bergman fan, and we discuss its relationship with the simplicial complex of nested sets in the lattice of flats. The Bergman complex is triangulated by the nested set complex, and the two complexes coincide if and only if every connected flat remains connected after contracting along any subflat. This sharpens a result of Ardila-Klivans who showed that the Bergman complex is triangulated by the order complex of the lattice of flats. The nested sets specify the De Concini-Procesi compactification of the complement of a hyperplane arrangement, while the Bergman fan specifies the tropical compactification. These two compactifications are almost equal, and we highlight the subtle differences.

연구 동기 및 목표

• 매트로이드 이론에서 베르그만 팬과 내장 집합 복합체 사이의 관계를 명확히 하기.
• 매트로이드 다면체와 내장 집합을 이용한 베르그만 팬의 기하학적 구성 제공.
• 매트로이드 이론적 조건을 사용하여 베르그만 복합체와 내장 집합 복합체가 일치하는 조건을 특성화하기.
• 데 콘치니-프로세아의 위대한 콤파크트화와 토로피컬 콤파크트화 사이의 기하학적 관계를 정규 사상으로 연결하기.
• 주어진 매트로이드에 대해 베르그만 복합체와 그 내장 집합 삼등분을 알고리즘적으로 계산할 수 있는 도구 개발하기.

제안 방법

• 순환에서 최소값을 도달하는 조건을 만족하는 벡터들로 정의된 매트로이드 다면체의 정규 팬의 부분팬으로서 베르그만 팬을 구성한다.
• 격자에서의 내장 집합의 개념을 사용하여 매트로이드의 평탄 격자의 삼등분으로서 내장 집합 복합체를 도입한다.
• 단체의 민코프스키 합을 사용하여 베르그만 복합체의 국소 모델을 구축하고, 이를 최소 내장 집합 복합체와 연결한다.
• 타원형 다양체 이론을 적용하여, 위대한 콤파크트화가 토로피컬 콤파크트화 위로의 사영 사상임을 보여준다.
• 초평면 배치의 여집합의 선형 이상의 초기 이상을 사용하여, 베르그만 팬을 통해 토로피컬 콤파크트화를 특성화한다.
• 베르그만 팬이 내장 집합 복합체의 유니모듈라 삼등분임을 보이며, 모든 연결 평탄이 어떤 부분평탄에 대해 수축해도 여전히 연결되어 있을 때에만 두 복합체가 일치함을 보여준다.

실험 결과

연구 질문

• RQ1 매트로이드의 내장 집합 복합체가 그 베르그만 복합체와 일치하는 조건은 무엇인가?
• RQ2 내장 집합 복합체는 베르그만 팬을 어떻게 삼등분하는가? 그리고 이 삼등분에서 유니모듈라리티의 역할은 무엇인가?
• RQ3 초평면 배치의 여집합의 데 콘치니-프로세아 위대한 콤파크트화와 토로피컬 콤파크트화 사이의 기하학적 관계는 무엇인가?
• RQ4 주어진 매트로이드에 대해 베르그만 팬과 그 내장 집합 삼등분을 알고리즘적으로 어떻게 계산할 수 있는가?
• RQ5 최소 내장 집합 복합체가 베르그만 복합체와 정확히 일치하는 정확한 조합 조건은 무엇인가?

주요 결과

• 매트로이드의 평탄 격자의 내장 집합 복합체는 베르그만 복합체의 유니모듈라 삼등분을 제공한다.
• 베르그만 복합체와 내장 집합 복합체가 일치하는 것은 모든 연결 평탄이 어떤 부분평탄에 대해 수축해도 여전히 연결되어 있을 때에만 성립한다.
• 연결 평탄으로 색인된 최소 내장 집합 복합체는 가장 작은 내장 집합 복합체이며 일반적으로 베르그만 복합체와 매우 유사하다.
• 데 콘치니-프로세아의 위대한 콤파크트화는 초평면 배치의 여집합에 대해 토로피컬 콤파크트화 위로 사영적으로 사상되며, 이 사상은 매트로이드 다면체의 민코프스키 합 분해에 의해 유도된다.
• 베르그만 팬은 각 순환에서 w_i의 최소값이 적어도 두 번 이상 도달하는 R^n의 벡터들로 정의되며, 이는 이동 및 스케일링에 대해 불변인 팬을 이룬다.
• 구형 베르그만 복합체 B(M)는 구형 다면체의 복합체이며, 그 삼등분은 평탄 격자의 순서 복합체 삼등분을 정교화한다.