[논문 리뷰] The Tropical Grassmannian

David E Speyer, Bernd Sturmfels|ArXiv.org|2003. 04. 16.

Homotopy and Cohomology in Algebraic Topology참고 문헌 9인용 수 5

한 줄 요약

이 논문은 이차 플루커 관계의 이상의 토폴로지적 다양체로서 토폴로지적 그라스만이안 𝒢_{d,n}을 도입하여, 이가 토폴로지적 선형 공간을 매개변수화함을 보여준다. 𝒢_{2,n}이 계통수 나무 공간과 일치함을 증명하고, 𝒢_{3,7}이 기초 체의 특성에 의존함을 밝히며, d ≥ 3 및 n ≥ 7일 때 단항식을 포함하지 않는 초기 이상에 더 높은 차수의 생성자를 필요로 함을 보여준다.

ABSTRACT

In tropical algebraic geometry, the solution sets of polynomial equations are piecewise-linear. We introduce the tropical variety of a polynomial ideal, and we identify it with a polyhedral subcomplex of the Grobner fan. The tropical Grassmannian arises in this manner from the ideal of quadratic Plucker relations. It is shown to parametrize all tropical linear spaces. Lines in tropical projective space are trees, and their tropical Grassmannian G_{2,n} equals the space of phylogenetic trees studied by Billera, Holmes and Vogtmann. Higher Grassmannians offer a natural generalization of the space of trees. Their facets correspond to binomial initial ideals of the Plucker ideal. The tropical Grassmannian G_{3,6} is a simplicial complex glued from 1035 tetrahedra.

연구 동기 및 목표

• 플루커 이상의 토폴로지적 다양체로서 토폴로지적 그라스만이안을 정의하고 연구하기.
• 𝒢_{2,n}이 계통수 나무의 공간과 일치함을 증명하기.
• 기초 체의 특성에 따라 토폴로지적 그라스만이안이 어떻게 달라지는지 조사하기.
• d ≥ 3 및 n ≥ 7일 때 플루커 이상의 단항식을 포함하지 않는 초기 이상의 구조 분석하기.
• 가치화된 체 위에서의 그로브너 이론을 활용하여 토폴로지적 그라스만이안의 다면체 팬 구조를 특성화하기.

제안 방법

• 이상 I의 토폴로지적 다양체는, 초기 이상 in_w(I)가 단항식을 포함하지 않는 모든 가중치 벡터 w ∈ ℝ^n의 집합으로 정의된다.
• deg(t) = 1인 K = ℂ((t)) 위의 순서를 사용하여 다항식을 계수의 차수를 통해 토폴로지 다항식으로 올리기.
• 토폴로지적 그라스만이안 𝒢_{d,n}은 플루커 관계의 토폴로지화로 정의된 토폴로지 초평면들의 교차로 식별된다.
• 특성 0 및 2에서 단항식 없음을 탐지하기 위해 ℚ 및 𝔽_2 위에서의 그로브너 기저 기법을 사용한다.
• 특성 의존성을 테스트하기 위해 팔로 플라노 구성으로부터 유도된 가중치 벡터 w를 활용한다.
• 𝒢_{3,6}의 구조는 정확히 1035개의 테트라하드론으로 구성된 단순체로 분석된다.

실험 결과

연구 질문

• RQ1 d=2일 때 토폴로지적 그라스만이안 𝒢_{d,n}은 계통수 나무 공간과 어떻게 관련이 있는가?
• RQ2 d ≥ 3 및 n ≥ 7일 때 기초 체의 특성에 따라 토폴로지적 그라스만이안이 어떻게 달라지는가?
• RQ3 d=2 또는 d=3 및 n=3일 때 플루커 이상의 모든 단항식을 포함하지 않는 초기 이상은 이차형식으로 생성되는가?
• RQ4 d ≥ 3 및 n ≥ 7일 때 플루커 이상의 단항식을 포함하지 않는 초기 이상에 더 높은 차수의 생성자가 필요할 수 있는가?
• RQ5 토폴로지적 그라스만이안 𝒢_{3,6}의 다면체 구조는 무엇인가?

주요 결과

• 토폴로지적 그라스만이안 𝒢_{2,n}은 빌러, 홀름즈, 보그트만이 연구한 계통수 나무 공간과 동형이다.
• 토폴로지적 그라스만이안 𝒢_{3,6}은 정확히 1035개의 테트라하드론으로 구성된 단순체이다.
• d ≥ 3 및 n ≥ 7일 때 토폴로지적 그라스만이안 𝒢_{d,n}은 기초 체의 특성에 의존한다.
• 특성 2에서는 팔로 플라노 구성에 해당하는 벡터 w가 𝒢_{3,7}에 속하지만, 특성 0에서는 그렇지 않다.
• 동일한 w에 대해 특성 2에서는 초기 이상 in_w(I_{3,7})에 단항식이 없지만, 특성 0에서는 단항식이 존재한다.
• d ≥ 3 및 n ≥ 7일 때 이차형식만으로는 플루커 이상의 단항식을 포함하지 않는 초기 이상을 생성하기에 부족하다.