[논문 리뷰] Bergman Complexes, Coxeter Arrangements, and Graph Associahedra

Federico Ardila, Victor Reiner외 1명|ArXiv.org|2005. 08. 14.

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

한 줄 요약

이 논문은 코x터 배열의 정렬 매트로이드의 양의 버그먼 복합체가 그에 대응하는 다이닝 다이어그램의 그래프 아소시아헤드론과 이중이며, 버그먼 복합체가 배열의 네스티드 세트 복합체와 일치함을 입증한다. 이러한 결과들은 매트로이드 이론과 코x터 시스템을 통해 토폴로지 기하학, 초평면 배열, 다면체 조합론을 통합한다.

ABSTRACT

Tropical varieties play an important role in algebraic geometry. The Bergman complex B(M) and the positive Bergman complex B+(M) of an oriented matroid M generalize to matroids the notions of the tropical variety and positive tropical variety associated to a linear ideal. Our main result is that if A is a Coxeter arrangement of type Phi with corresponding oriented matroid M_Phi, then B+(M_Phi) is dual to the graph associahedron of type Phi, and B(M_Phi) equals the nested set complex of A. In addition, we prove that for any orientable matroid M, one can find |mu(M)| different reorientations of M such that the corresponding positive Bergman complexes cover B(M), where mu(M) denotes the Mobius function of the lattice of flats of M.

연구 동기 및 목표

• 정렬 매트로이드의 맥락에서 버그먼 복합체와 양의 버그먼 복합체의 위상수학적 및 조합론적 구조를 명확히 하는 것.
• 코x터 배열에서 버그먼 복합체와 네스티드 세트 복합체 간의 관계를 조사하는 것.
• 유한 코x터 시스템에 대해 양의 버그먼 복합체와 그래프 아소시아헤드론 사이의 이중성을 확립하는 것.
• 코x터 배열의 버그먼 복합체가 그 자체의 네스티드 세트 복합체와 일치함을 보이는 것.
• 버그먼 복합체의 거친 세포들이 코x터 군의 작용을 통해 양의 버그먼 복합체의 세포들과 $W$-동치임을 보이며, 테벨레의 추측을 확인하는 것.

제안 방법

• 가중치 벡터 $\omega$와 그에 관련된 플래그 플랫의 정의를 통해 매트로이드 $M$의 버그먼 복합체 $\mathcal{B}(M)$와 양의 버그먼 복합체 $\mathcal{B}^+(M)$를 정의한다.
• 가중치에 의해 유도된 매트로이드 $M_\omega$를 사용하여, $\omega$가 일정하고 엄격히 증가하는 부분집합의 플래그 $\mathcal{F}(\omega)$에 기반한 버그먼 복합체의 세포를 정의한다.
• 코x터 배열 $\mathcal{A}_\Phi$의 매트로이드 $M_\Phi$에 대해, $\mathcal{B}^+(M_\Phi)$는 그에 대응하는 다이닝 다이어그램 $\Gamma$의 그래프 아소시아헤드론 $P(\Gamma)$와 이중임을 입증한다.
• 유한 루트 체계 $\Phi$에 대해, 버그먼 복합체 $\mathcal{B}(M_\Phi)$가 배열 $\mathcal{A}_\Phi$의 네스티드 세트 복합체와 일치함을 증명한다.
• 기저 집합 위에서 코x터 군 $W$의 작용을 활용하여, $\mathcal{B}(M_\Phi)$의 모든 거친 세포가 $\mathcal{B}^+(M_\Phi)$의 세포와 $W$-동치임을 보이며, 버그먼 복합체의 자기동형성 불변성을 이용한다.
• 네스티드 세트 복합체와 버그먼 복합체 간의 관계에 관한 페이히트너, 슈트르무펠스 등이 제시한 결과를 응용하여 세포 구조를 정밀화하고 복합체의 동치성을 증명한다.

실험 결과

연구 질문

• RQ1 코x터 배열의 정렬 매트로이드의 양의 버그먼 복합체는 그에 대응하는 다이닝 다이어그램의 그래프 아소시아헤드론과 이중인가?
• RQ2 코x터 배열의 버그먼 복합체는 그 자체의 네스티드 세트 복합체와 일치하는가?
• RQ3 코x터 배열의 버그먼 복합체의 모든 거친 세포는 코x터 군 작용을 통해 양의 버그먼 복합체의 세포로 매핑될 수 있는가?
• RQ4 정렬 매트로이드의 재정렬은 버그먼 복합체를 어떻게 덮는가? 그리고 모비우스 함수는 이 과정에서 어떤 역할을 하는가?
• RQ5 정렬 매트로이드의 라스 베히아스 면 레이스와 양의 버그먼 복합체 사이의 정확한 관계는 무엇인가?

주요 결과

• 유형 $\Phi$의 코x터 배열에 대해, 양의 버그먼 복합체 $\mathcal{B}^+(M_\Phi)$는 해당 다이닝 다이어그램 $\Gamma$의 그래프 아소시아헤드론 $P(\Gamma)$와 이중이다.
• 유한 코x터 배열에 대해, 버그먼 복합체 $\mathcal{B}(M_\Phi)$는 그 자체의 네스티드 세트 복합체와 일치하며, 심플리셜 복합체이다.
• 모든 정렬 가능한 매트로이드 $M$에 대해, 버그먼 복합체 $\mathcal{B}(M)$는 $\mu(M)$의 모비우스 함수가 정의하는 $|\mu(M)|$개의 서로 다른 양의 버그먼 복합체들로 덮어진다.
• 버그먼 복합체 $\mathcal{B}(M_\Phi)$의 거친 세포들은 $\mathcal{B}^+(M_\Phi)$의 세포들과 $W$-동치이며, 테벨레의 추측을 확인한다.
• 양의 버그먼 복합체 $\mathcal{B}^+(M_\Phi)$는 플래그 복합체이며, 구와 위상적으로 동형이므로 그 위상적 구조가 확인된다.
• 정렬 매트로이드 $M_\Phi$의 양의 플랫의 네스티드 세트는 다이닝 다이어그램 $\Gamma$의 튜빙과 일대일 대응되며, 이는 그래프 아소시아헤드론과의 이중성을 수립한다.