[논문 리뷰] Scheme theoretic tropicalization

Oliver Lorscheid|arXiv (Cornell University)|2015. 08. 31.

Polynomial and algebraic computation참고 문헌 44인용 수 24

한 줄 요약

이 논문은 순서가 붙은 블루프린트와 가치화를 사용하여 체계론적 토폴로지화를 도입함으로써 기존의 다양한 토폴로지화 프레임워크를 통합하고 향상시킨다. 아이디포텐트 순서가 붙은 블루프린트 위에서 모듈리 문제로 토폴로지화를 모델링함으로써, 베르코비치, 카지와라-페이너, 맥퍼슨, 두일리에 토폴로지화를 유리점 집합으로 복원하고, 마클라건-린콘 무게와 같은 조합론적 자료를 유지한다.

ABSTRACT

In this paper, we introduce ordered blueprints and ordered blue schemes, which serve as a common language for the different approaches to tropicalizations and which enhances tropical varieties with a schematic structure. As an abstract concept, we consider a tropicalization as a moduli problem about extensions of a given valuation $v:k o T$ between ordered blueprints $k$ and $T$. If $T$ is idempotent, then we show that a generalization of the Giansiracusa bend relation leads to a representing object for the tropicalization, and that it has yet another interpretation in terms of a base change along $v$. We call such a representing object a scheme theoretic tropicalization. This theory recovers and improves other approaches to tropicalizations as we explain with care in the second part of this text. The Berkovich analytification and the Kajiwara-Payne tropicalization appear as rational point sets of a scheme theoretic tropicalization. The same holds true for its generalization by Foster and Ranganathan to higher rank valuations. The scheme theoretic Giansiracusa tropicalization can be recovered from the scheme theoretic tropicalizations in our sense. We obtain an improvement due to the resulting blueprint structure, which is sufficient to remember the Maclagan-Rincon weights. The Macpherson analytification has an interpretation in terms of a scheme theoretic tropicalization, and we give an alternative approach to Macpherson's construction of tropicalizations. The Thuillier analytification and the Ulirsch tropicalization are rational point sets of a scheme theoretic tropicalization. Our approach yields a generalization to any, possibly nontrivial, valuation $v:k o T$ with idempotent $T$ and enhances the tropicalization with a schematic structure.

연구 동기 및 목표

• 순서가 붙은 블루프린트를 사용하여 토폴로지화의 다수의 이질적인 접근을 하나의 프레임워크로 통합하기.
• 마클라건-린콘 무게와 같은 조합론적 불변량을 유지하는 토폴로지 다양체에 체계론적 구조를 부여하여 향상시키기.
• 이전의 제약을 초월하여 임의의 가치화 $v: k \to T$ 에 대해 $T$ 가 아이디포텐트일 경우 일반화된 토폴로지화를 제공하기.
• 확장 문제에 대한 표현 대상으로서의 토폴로지화의 모듈리 이론적 해석을 제공하기.
• 기존의 구성들—기아니사라쿠스카, 포스터-랑가나탄, 맥퍼슨의 것들—을 체계론적 환경 안에서 복원하고 향상시키기.

제안 방법

• 토대가 되는 토폴로지 기하학을 위한 순서가 붙은 블루프린트와 순서가 붙은 블루스킴을 도입하기.
• 순서가 붙은 블루프린트 사이의 가치화 $v: k \to T$ 의 확장을 매개하는 모듈리 문제로서 토폴로지화를 정의하기.
• $T$ 가 아이디포텐트일 경우 일반화된 기아니사라쿠스카의 벤드 관계를 사용하여 표현 대상을 구성하기.
• 이 표현 대상이 가치화 $v$ 沿해 기본 변경을 통해 유도됨을 보여주어 고전적 구성과 연결하기.
• 체계론적 토폴로지화의 유리점들을 기존의 토폴로지화들(예: 베르코비치, 카지와라-페이너)과 대응시킴.
• 블루프린트 구조가 마클라건-린콘 무게를 암시함을 보여, 이전 접근보다 더 정교한 불변량을 가능하게 함.

실험 결과

연구 질문

• RQ1 통합된 프레임워크를 개발하여 기존의 구성들을 포함하고 향상시킬 수 있는가?
• RQ2 마클라건-린콘 무게와 같은 조합론적 자료를 유지하는 토폴로지 다양체에 체계론적 구조를 부여할 수 있는가?
• RQ3 아이디포텐트 순서가 붙은 블루프린트 위에서 일반화된 기아니사라쿠스카의 벤드 관계의 역할은 무엇인가?
• RQ4 베르코비치 분석화와 카지와라-페이너 토폴로지화는 하나의 체계론적 대상의 유리점으로 복원될 수 있는가?
• RQ5 체계론적 토폴로지화는 고계수 가치화와 비자명한 가치화로 어떻게 일반화되는가?

주요 결과

• 체계론적 토폴로지화는 가치화 확장의 모듈리 문제에 대한 표현 대상으로 구성되어 있으며, 보편적 프레임워크를 제공한다.
• 일반화된 기아니사라쿠스카의 벤드 관계가 $T$ 가 아이디포텐트일 경우 잘 정의된 표현 대상을 유도한다.
• 체계론적 토폴로지화의 유리점들은 베르코비치 분석화와 카지와라-페이너 토폴로지화를 포함한다.
• 블루프린트 구조는 마클라건-린콘 무게를 복원하는 데에 충분하여, 이전 접근에서 포착되지 않은 정교한 불변량을 가능하게 한다.
• 맥퍼슨 분석화는 체계론적 토폴로지화의 유리점으로서 실현되며, 이를 통한 대안적 구성이 가능하다.
• 두일리에 분석화와 울리슈르 토폴로지화 역시 이러한 체계론적 토폴로지화의 유리점 집합으로 나타난다.