[論文レビュー] Tropical surfaces

Kristin Shaw|arXiv (Cornell University)|Jun 24, 2015

Polynomial and algebraic computation被引用数 7

ひとこと要約

本稿では、交線数、正規束、チャーンサイクルの計算に向けたツールを構築することで、2次元の抽象トロピカル多様体であるトロピカル面を導入する。トロピカル和の構成を提示し、トロピカルな付録公式を証明し、トロピカル変形におけるホモロジー群およびチャウ群の不変性を確立し、トロピカル多様体の和および変形を用いてトロピカル多様体から構成されるトロピカル面に対するトロピカル・ヌーサーの公式を証明する。

ABSTRACT

We present tools and definitions to study abstract tropical manifolds in dimension 2, which we call simply tropical surfaces. This includes explicit descriptions of intersection numbers of 1-cycles, normal bundles to some curves and tropical Chern cycles and numbers. We provide a new method for constructing tropical surfaces, called the tropical sum, similar to the fiber sum of usual manifolds. We prove a tropical adjunction formula for curves in compact tropical surfaces satisfying a local condition, a partial Castelnuovo-Enriques criterion for contracting (-1)-curves, and also invariance of (p, q)-homology and Chow groups under tropical modification. Finally we prove a tropical version of Noether's formula for compact surfaces constructed from tropical toric surfaces by way of summations and tropical modifications.

研究の動機と目的

• 2次元のトロピカル多様体（トロピカル面と呼ばれる）を研究するための基礎的枠組みを確立すること。
• 1次元サイクルの交線数、曲線への正規束、およびトロピカルチャーンサイクルの定義と計算を行うこと。
• 既存のトロピカル多様体から新しいトロピカル多様体を構成するための方法として、トロピカル和の構成を導入すること。
• トロピカル変形における(p,q)-ホモロジー群およびチャウ群の不変性を証明すること。
• トロピカル多様体の和および変形を用いてトロピカル多様体から構成されるコンパクトなトロピカル面に対するトロピカル版のヌーサーの公式を確立すること。

提案手法

• トロピカル面における交線理論のための明示的定義および計算ツールを開発する。
• 微分位相幾何学におけるファイバー和のトロピカル版としてのトロピカル和の構成を導入する。
• ホモロジー的および代数的不変量の不変性を分析するために、トロピカル変形技術を適用する。
• コンパクトなトロピカル面内の曲線に局所的条件を課したもとで、トロピカル付録公式を導出する。
• トロピカル多様体の構成の基盤としてトロピカル幾何学を用い、和および変形の操作を適用する。
• トロピカル多様体の和および変形を組み合わせることで、トロピカル多様体の和および変形を用いて得られるコンパクトなトロピカル面に対するトロピカル版のヌーサーの公式を確立する。

実験結果

リサーチクエスチョン

• RQ1 トロピカル面における1次元サイクルの交線数は、どのように計算できるか？
• RQ2 コンパクトなトロピカル面における曲線に対する、トロピカル版の付録公式の類似は何か？
• RQ3 (-1)-曲線は、どのような条件下でトロピカル面において収縮可能か？
• RQ4 トロピカル変形の下で、(p,q)-ホモロジー群およびチャウ群はどのように振る舞うか？
• RQ5 トロピカル多様体の和および変形を用いて構成されるコンパクトなトロピカル面に対して、どのようなトロピカル版のヌーサーの公式が成り立つか？

主な発見

• 局所的条件を満たすコンパクトなトロピカル面内の曲線に対して、トロピカル付録公式が証明された。
• (-1)-曲線を収縮するための部分的なカステルヌーヴォ-・エンリケスの判定基準が、トロピカル設定において確立された。
• トロピカル面の(p,q)-ホモロジー群およびチャウ群は、トロピカル変形の下で不変である。
• トロピカル和の構成は、既存のトロピカル多様体から新しいトロピカル多様体を構成するための体系的な方法を提供する。
• トロピカル多様体の和および変形を用いてトロピカル多様体から得られるコンパクトなトロピカル面に対して、トロピカル版のヌーサーの公式が証明された。
• トロピカル面における曲線の正規束およびトロピカルチャーンサイクルの明示的記述が提供された。