[논문 리뷰] Elimination Theory for Tropical Varieties

Bernd Sturmfels, Jenia Tevelev|arXiv (Cornell University)|2007. 04. 26.

Polynomial and algebraic computation참고 문헌 8인용 수 13

한 줄 요약

이 논문은 대수적 토러스의 부분다양체의 토러스 준동형에 대한 상의 토로피컬라이제이션을 계산하는 토로피컬 제거 이론을 수립한다. 토로피컬 다양체의 다중도에 대한 프로젝션 공식을 도입하여 고전적 제거 이론을 일반화하고, 토로피컬 기하학을 통한 알고리즘적 암묵화를 가능하게 하며, 혼합 부피와 토로피컬 완전교차, 섬유다면체 간의 핵심적 관계를 규명한다.

ABSTRACT

Tropical algebraic geometry offers new tools for elimination theory and implicitization. We determine the tropicalization of the image of a subvariety of an algebraic torus under any homomorphism from that torus to another torus.

연구 동기 및 목표

• 토러스 준동형에 대한 부분다양체의 상의 토로피컬라이제이션을 계산하는 프레임워크를 개발하는 것.
• 토로피컬 다양체와 그 다중도를 사용하여 고전적 제거 이론을 토로피컬 환경으로 일반화하는 것.
• 일반적으로 유한한 토로피컬 사상 하에서 다중도의 프로젝션을 위한 공식을 제공하는 것.
• 일반적인 토로릭 준동형으로의 $A$-판별식과 암묵화 결과의 일반화.
• 혼합 부피를 통한 토로피컬 완전교차와 혼합 섬유다면체 간의 연결 고리 수립

제안 방법

• 논문은 대수적 토러스 내 부분다양체의 토로피컬라이제이션을 초기 아이디얼과 밸류 벡터를 통해 정의한다.
• 주어진 $\mathcal{T} \subset \mathbb{Q}^n$ 과 다중도 함수 $m$ 으로 이루어진 쌍 $(\mathcal{T}, m)$ 을 토로피컬 다양체의 개념으로 도입하며, 이는 균형 조건을 만족한다.
• 핵심 기술적 도구는 동차화된 아이디얼의 그뢰브너 피안을 사용하여 잘 정의된 다중도를 갖는 토로피컬 피안을 구성하는 것이다.
• 다중도의 프로젝션은 선형 사상 $\mathbf{A}$ 에서 탄젠트 공간의 상에 대한 격자 인덱스를 포함하는 공식을 통해 계산된다.
• 완전교차의 경우, 토로피컬 다양체와 그 다중도는 정의 방정식들의 뉴턴다면체의 혼합 부피를 통해 표현된다.
• 암묵화에 적용할 때, 매개변수화의 그래프를 도메인으로 간주하고 토러스 준동형을 통해 사영하는 방식을 사용한다.

실험 결과

연구 질문

• RQ1 토러스 준동형에 대한 부분다양체의 상의 토로피컬라이제이션을 알고리즘적으로 어떻게 계산할 수 있는가?
• RQ2 일반적으로 유한한 토로피컬 사상 하에서 다중도의 프로젝션에 대한 올바른 공식은 무엇인가?
• RQ3 뉴턴다면체의 혼합 부피는 토로피컬 완전교차의 다중도와 어떻게 관련이 있는가?
• RQ4 특이점의 해소와 경계 divisor 밸류를 사용하여 토로피컬 암묵화 문제를 해결할 수 있는가?
• RQ5 어떤 조건에서 콪actification 이 상 다양체의 토로피컬라이제이션을 계산하는가?

주요 결과

• 상의 토로피컬라이제이션 $\alpha(X)$ 는 선형 사상 $\mathbf{A}$ 를 통해 토로피컬라이제이션 $\mathcal{T}(X)$ 의 상과 일치한다. 즉, $\mathcal{T}(\alpha(X)) = \mathbf{A}(\mathcal{T}(X))$.
• 일반적으로 유한한 사상 하에서 다중도의 프로젝션을 위한 공식이 확립되었으며, 이는 탄젠트 공간 상의 격자 인덱스를 포함한다.
• 완전교차의 경우, 토로피컬 다양체 $\mathcal{T}(X)$ 와 그 다중도는 정의 방정식들의 뉴턴다면체의 혼합 부피를 통해 계산된다.
• $\alpha(X)$ 가 초곡면인 경우, 프로젝션 공식은 맥마헨의 혼합 섬유다면체를 계산한다.
• 정리 5.1의 암묵화 공식을 통해 특이점의 해소와 divisor 밸류를 사용하여 매개변수화된 다양체의 상의 토로피컬라이제이션을 계산할 수 있다.
• 논문은 토로피컬라이제이션 내 정규점의 집합이 일반적으로 볼록이 아닐 수 있음을 보여주며, 이는 일반적으로 가장 거친 피안 구조가 존재하지 않음을 의미한다.