[논문 리뷰] Lifting tropical intersections

Brian Osserman, Sam Payne|arXiv (Cornell University)|2010. 07. 08.

Polynomial and algebraic computation참고 문헌 40인용 수 54

한 줄 요약

이 논문은 토로픽 교차가 기대하는 차원에서 교차할 경우, 그 교차점이 기대하는 중복도를 가지며 대수적 교차로 올라간다는 것을 증명한다. 토로픽 교차점이 기대하는 차원에서 교차할 경우, 토로픽 교차점은 기대하는 중복도를 가지며 대수적 교차점으로 올라간다. 특히, 기대하는 차원에서 교차하고, 교차점이 다면체의 중복도가 1인 면에 위치할 경우, 토로픽 교차점은 기대하는 중복도를 가지며 대수적 교차점으로 올라간다.

ABSTRACT

We show that points in the intersection of the tropicalizations of subvarieties of a torus lift to algebraic intersection points with expected multiplicities, provided that the tropicalizations intersect in the expected dimension. We also prove a similar result for intersections inside an ambient subvariety of the torus, when the tropicalizations meet inside a facet of multiplicity 1. The proofs require not only the geometry of compactified tropicalizations of subvarieties of toric varieties, but also new results about the geometry of finite type schemes over non-noetherian valuation rings of rank 1. In particular, we prove subadditivity of codimension and a principle of continuity for intersections in smooth schemes over such rings, generalizing well-known theorems over regular local rings. An appendix on the topology of finite type morphisms may also be of independent interest.

연구 동기 및 목표

• 토리크 다양체에서 토로픽 교차점이 언제 실제 대수적 교차점으로 올라가는지를 규명하는 기본 문제를 해결하기 위해.
• 기존의 교차가 정규인 경우에 한해 성립하는 결과를, 기대하는 차원에서는 정규가 아니어도 성립하는 경우로 일반화하기 위해.
• 토리크 다양체의 내재된 부분다양체 안에서의 교차로의 결과를 확장하여, 특히 토로픽 교차점이 다면체의 중복도가 1인 면에 위치할 경우를 다루기 위해.
• 1차 비노에터의 비노에터가 아닌 가치환 위에서의 기본 기하학적 결과를 개발하기 위해, 코드미니멀리티의 가환성과 교차의 연속성 포함.
• 기본 체의 확장을 통해 일반적인 경우를 완전하고 유리적인 경우로 환원하고, 기초적인 위상수학적 틀을 제공함으로써 토로픽 기법의 엄밀한 프레임워크를 확립하기 위해.

제안 방법

• 기본 체를 완비로 만들고, 토로픽 점이 값 그룹에 대해 유리적이게 하는 기저 교체와 유한형 사상의 위상수학을 이용하여 일반적인 올림 문제를 완비 체와 유리점인 경우로 환원한다.
• 팬 이동 법칙과 안정적인 토로픽 교차 이론을 적용하여 관심 있는 점에서의 국소적 토로픽 교차 중복도를 계산한다.
• 콤���티피케이션된 토로픽 교차와 초기 분해의 기하학을 이용하여 토로픽 및 대수적 교차의 구조를 연결한다.
• 1차 비노에터가 아닌 가치환 위에서의 유한형 스킴에 대해 코드미니멀리티의 가환성과 주 이상수 이론을 증명한다.
• 이러한 가치환 위에서의 스무스 스킴에서의 교차 연속성 원리를 적용하여 대수적 및 토로픽 중복도를 연결한다.
• 유한 사상의 논리를 활용하여 토로픽 및 대수적 설정에서 0차원 스킴의 길이를 연결함으로써 중복도의 일치를 이끌어낸다.

실험 결과

연구 질문

• RQ1 토리크 다양체 안의 두 부분다양체의 토로픽 교차점이 언제 실제 대수적 교차점으로 올라가는가?
• RQ2 비정규 또는 비정규 교차가 존재할 경우, 토로픽 교차 중복도는 어떻게 대수적 교차 중복도로 올라가는가?
• RQ3 비노에터가 아닌 1차 가치환 위에서 토로픽 교차를 올리기 위해 필요한 기하학적 성질은 무엇인가?
• RQ4 내재된 부분다양체의 토로픽 교차에서 면의 중복도는 토로픽 교차점의 올림에 어떻게 영향을 미치는가?
• RQ5 교차가 기대하는 차원에서 정규일 경우, 교차의 토로픽화는 부분다양체의 토로픽화의 교차로부터 복원될 수 있는가?

주요 결과

• 토리크 다양체 안의 두 부분다양체의 토로픽화가 기대하는 차원에서 교차하면(즉, 기대하는 차원에서 교차), 그 교차점의 모든 점은 대수적 교차의 토로픽화에 속한다.
• 토리크 다양체의 내재된 부분다양체 $Y$ 안의 부분다양체에 대해, 토로픽화가 점 $w$에서 기대하는 차원에서 교차하고, $w$가 $\operatorname{Trop}(Y)$의 다면체에서 중복도가 1인 내부에 위치하면, $w$는 $X \cap X'$의 토로픽화로 올라간다.
• 논문은 1차 비노에터가 아닌 가치환 위에서 교차에 대해 코드미니멀리티의 가환성을 증명하여, 정규 국소환에서의 결과를 일반화한다.
• 이러한 가치환 위에서의 스무스 스킴에서의 교차 연속성 원리가 확립되어, 특수화에 따른 교차 행동을 제어할 수 있다.
• 올림 조건 하에서, 점에서의 국소적 토로픽 교차 중복도는 유한 사상의 차수에 비례하여 스케일된 국소 대수적 교차 길이의 합과 같다.
• 중복도의 일치 식 $ m(\sigma') \cdot [N':N'_{\sigma'}+\Lambda'] = \frac{\ell}{\delta} \sum_{i=1}^r m(\sigma_i) \cdot [N:N_{\sigma_i}+\Lambda] $ 이 성립하여, 토로픽 및 대수적 중복도 간의 일관성을 확인한다.