[論文レビュー] Construction of schemes over $F_1$, and over idempotent semirings: towards tropical geometry

Satoshi Takagi|arXiv (Cornell University)|Sep 1, 2010

Polynomial and algebraic computation参考文献 4被引用数 6

ひとこと要約

本稿は、$Δ_1$ およびイデムポテンス半体の上でのスキームを構成するための圏論的枠組みを展開し、スペクトル関手を全体切断関手の右随伴として定義することで、トロピカル幾何、$Δ_1$-幾何、および古典的代数幾何を、代数の圏、理想的スキームの圏、およびソーブ空間の圏の間の随伴関手によって統一する。

ABSTRACT

In this paper, we give some categorical description of the general spectrum functor, defining it as an adjoint of a global section functor. The general spectrum functor includes that of $F_1$ and of semirings.

研究の動機と目的

• 高次元のトロピカル多様体に対する明確な定義の欠如に起因して、$Δ_1$およびイデムポテンス半体上のスキームを構成するための統一的で圏論的な基盤を提供すること。
• スペクトル関手のメカニズムを、全体切断関手の右随伴として定式化することにより、圏論的自然性と一般性を保証すること。
• 代数的完全な理想的半体の圏、理想的スキームの圏、およびソーブ位相空間の圏の間の三重随伴関係を確立し、代数幾何におけるより深い構造的関係を明らかにすること。
• ラティス理論、トロピカル幾何、$Δ_1$-幾何を統合するために、同じ圏論的道具がこれらの分野に共通して適用可能であることを示すこと。
• 古典的スキームが完全に埋め込まれる一般化されたスキーム理論として$Δ$-スキームを定義し、完全忠実関手を介してこの新しい枠組みに埋め込むこと。

提案手法

• スペクトル関手を全体切断関手の右随伴として定義し、随伴関手を用いて普遍的性質と函子的性質を保証する。
• 無限和や無限交差を扱えるように、無限加法的演算を備えた完全代数および完全半体を導入する。これは位相的構成において不可欠である。
• 完全半体上の$R$-加群およびテンソル積を構成し、非加法的設定における加群論を一般化する。
• 半体上の合同関係を用いて局所化を定義し、半体代数上の層およびスキームの構成を可能にする。
• $Δ$-スキームを三元組$(X, ω_X, \beta)$として定義し、$\beta$を関手$\alpha_1\mathscr{O}_X$から構造層$\tau_X'$への準同型とすることで、古典的スキームを一般化する。
• 古典的準コンpakクトかつ準分離スキームの圏を$Δ$-スキームの圏に完全忠実関手を介して埋め込み、スペクトル関手が同値の意味で保存されることを確立する。

実験結果

リサーチクエスチョン

• RQ1 イデムポテンス半体および$Δ_1$-幾何の文脈において、スペクトル関手が全体切断関手の右随伴として普遍的に構成可能であるか。
• RQ2 完全理想的半体、理想的スキーム、ソーブ位相空間の圏の間の圏論的関係は何か。この関係が代数幾何におけるより深い双対性をどのように明らかにするか。
• RQ3 古典的スキームは、半体上の一般化されたスキーム理論に完全に埋め込めるか。この埋め込みはスペクトル構成を保存するか。
• RQ4 半体における有限的代数的演算からどのように無限操作（例えば、閉集合の任意交差）が生じるか。これは位相的構造にどのような含意を持つのか。
• RQ5 トロピカル幾何が、半体値構造の観点から、$Δ_1$-幾何と古典的代数幾何をどの程度統合的に統合するか。

主な発見

• 完全理想的半体のスペクトル関手は、全体切断関手の右随伴として構成され、スキーム論の普遍的かつ圏論的基盤を提供する。
• 三重随伴関係が確立された：$\textup{(alg.IRng}^\dagger) \leftrightarrows \textup{(alg.ISch)}^{\textup{op}} \leftrightarrows \textup{(alg.Sob)}^{\textup{op}}$。これにより、代数、スキーム、位相空間の間の根本的な双対性が明らかになる。
• 古典的準コンパクトかつ準分離スキームは、完全忠実関手$I$を介して$Δ$-スキームの圏に完全に埋め込まれ、$I\operatorname{Spec}^{\textup{op}} \simeq \operatorname{Spec}^{\mathscr{A},\textup{op}}$が成り立つ。
• $Δ$-スキームの構造層は、$\beta: \alpha_1\mathscr{O}_X \to \tau_X'$という準同型として定義され、自然な代数幾何的変換を介して古典的構造層を一般化する。
• この枠組みは、代数的完全性から導かれる代数的演算を用いて、無限操作（例えば、任意交差）を自然に扱う。これにより、半体における代数的完全性から位相的閉包作用が生じることを示す。
• 理論は、半体を中心的な代数的対象として、トロピカル幾何、$Δ_1$-幾何、および古典的代数幾何を一つの圏論的傘の下に統合する。