[論文レビュー] Commutative $ν$-algebra and supertropical algebraic geometry

Zur Izhakian|arXiv (Cornell University)|Jan 23, 2019

Advanced Topics in Algebra参考文献 48被引用数 5

ひとこと要約

本稿は、可換 $ν$-代数を用いて、超トロピカル代数幾何学の基盤的枠組みを確立する。$ν$-半体に於ける $¤q$-同値関係を導入し、商、局所化、および $g$-素、$g$-根基、最大同値関係の定義を可能にする。主たる貢献は、$g$-素同値関係のスペクトル上に、グロテンディーク風のスキーム理論を構築し、同値関係と代数幾何的集合の直接的対応を可能にすることであり、特に多面体幾何への応用を含む。

ABSTRACT

This paper lays out a foundation for a theory of supertropical algebraic geometry, relying on commutative $ν$-algebra. To this end, the paper introduces $\mathfrak{q}$-congruences, carried over $ν$-semirings, whose distinguished ghost and tangible clusters allow both quotienting and localization. Utilizing these clusters, $\mathfrak{g}$-prime, $\mathfrak{g}$-radical, and maximal $\mathfrak{q}$-congruences are naturally defined, satisfying the classical relations among analogous ideals. Thus, a foundation of systematic theory of commutative $ν$-algebra is laid. In this framework, the underlying spaces for a theoretic construction of schemes are spectra of $\mathfrak{g}$-prime congruences, over which the correspondences between $\mathfrak{q}$-congruences and varieties emerge directly. Thereby, scheme theory within supertropical algebraic geometry follows the Grothendieck approach, and is applicable to polyhedral geometry.

研究の動機と目的

• 可換 $ν$-代数の体系的理論を構築し、超トロピカル代数幾何学の基盤とすること。
• 代数的演算における実体的成分とゴースト成分を区別できる、$ν$-半体上の $¤q$-同値関係を、古典的イデアルの代替として導入すること。
• グロテンディークの手法に従い、$g$-素同値関係のスペクトル上にスキーム理論を構築すること。
• $¤q$-同値関係と代数幾何的集合との直接的対応を可能にすること、特に多面体幾何の文脈において。
• 複雑な組合せ論的公式を避ける、洗練され直感的な離散的幾何的対象の代数的言語を提供すること。

提案手法

• $ν$-半体上に $¤q$-同値関係を導入し、実体的成分とゴースト成分を保存する同値関係として定義する。
• ゴーストおよび実体的クラスタを用いて、$g$-素、$g$-根基、最大 $¤q$-同値関係を定義し、古典的代数的関係を満たす。
• $ν$-半体の局所化およびモジュール論を用いて、$ν$-スキームのテンソル積およびファイバー積を構成する。
• $g$-素同値関係のスペクトルとしてアフィン $ν$-スキームを構成し、茎と局所 $ν$-半体を用いて構造層を定義する。
• 開部分スキームおよび同型な重なりを用いた貼り合わせ技術により $ν$-スキームを構成し、ファイバー積の存在を保証する。
• 多面体幾何への応用として、$ν$-半体上での $¤q$-同値関係の解集合として代数幾何的集合を解釈する。

実験結果

リサーチクエスチョン

• RQ1 減法を欠如させる半体構造において、古典的代数幾何学の概念をどのように再構築できるか？
• RQ2 $ν$-半体上での商、局所化、スペクトル構成を可能にする、イデアルの適切な代替は何か？
• RQ3 イデアルではなく同値関係を用いる超トロピカル設定において、グロテンディーク風のスキーム理論を構築可能か？
• RQ4 $¤q$-同値関係は、特に多面体的・トロピカルな文脈において、幾何的代数的集合とどのように関係するか？
• RQ5 $ν$-代数における代数的・幾何的構造を定義する上でのゴースト成分と実体的成分の役割は何か？

主な発見

• 本稿は、$ν$-半体上に $g$-素、$g$-根基、最大 $¤q$-同値関係を明確に定義し、それらが素イデアル、根基イデアル、最大イデアルと同様の古典的代数的関係を満たすことを示した。
• $g$-素同値関係のスペクトルは、$ν$-スキームの基底空間として機能し、グロテンディーク風のスキーム理論の構築を可能にする。
• $ν$-スキームのファイバー積は存在し、$ν$-モジュールのテンソル積を用いて構成され、アフィンの場合には $\operatorname{Spec}(A \otimes_R B)$ に対応する。
• 本理論は、$¤q$-同値関係と代数幾何的集合との直接的対応を支持し、代数的同値関係の幾何的解釈を可能にする。
• 本枠組みにより、多面体幾何のための体系的かつ直感的な代数的言語が可能となり、消失条件の代わりにゴースト要素の属する性質を用いる。
• 局所 $ν$-半体的空間上の構造層および茎の構成により、古典的層論的手法と整合性が保証される。