[論文レビュー] Cech Cohomology of Semiring Schemes

Jaiung Jun|arXiv (Cornell University)|Mar 4, 2015

Algebraic structures and combinatorial models参考文献 12被引用数 9

ひとこと要約

この論文は、半体的スキームにおけるČechコホモロジーとピカード群理論を拡張し、半環上の古典的代数幾何学を一般化する。$M$ を完全順序付きイデムポテンス半体とするとき、$\mathbb{P}^n_M$ 上のČechコホモロジー群 $\check{H}^p(X, \mathcal{O}_X)$ は $p \geq 1$ に対して消えることが示され、ピカード群 $\mathrm{Pic}(X)$ は $\mathbb{Z}$ に同型であり、すべての可逆層は $m \in \mathbb{Z}$ に対して $\mathcal{O}_X(m)$ に同型である。これらの結果は、特別な場合 $M = \mathbb{R}_{\max}$ における古典的計算と整合する。

ABSTRACT

A semiring scheme generalizes a scheme in such a way that the underlying algebra is that of semirings. We generalize Čech cohomology theory and invertible sheaves to semiring schemes. In particular, when $X=\mathbb{P}^n_M$, a projective space over a totally ordered idempotent semifield $M$, we show that Čech cohomology theory is in agreement with the classical computation. Finally, we classify all invertible sheaves on $X=\mathbb{P}^n_M$ by computing the Picard group of $X$ explicitly.

研究の動機と目的

• 半環スキームにおけるČechコホモロジーと可逆層理論を一般化し、古典的代数幾何学を半環の文脈に拡張すること。
• 特に $\mathrm{F}_1$-幾何学とトロピカル幾何学に関連して、半環上のホモロジー代数の枠組みを確立すること。
• 完全順序付きイデムポテンス半体上の射影空間に対して、ピカード群 $\mathrm{Pic}(X)$ を明示的に計算すること。
• 射影空間 $\mathbb{P}^n_M$ 上の $\mathcal{O}_X$ のČechコホモロジーが古典的結果と一致することを示し、$\check{H}^0 \cong M$ および $p \geq 1$ に対して $\check{H}^p = 0$ を含む。

提案手法

• Patchkoriaの枠組みを用いて、加法逆元の欠如を考慮し、単一のコバウンダリー写像の代わりに半モジュール構造に適合する2つの写像を導入することで、半環スキームにおけるČechコホモロジーを適応する。
• PareigisとRohrlが定義した半モジュールのテンソル積を用いて、半環スキームへのピカード群の構成を一般化する。
• J. Giansiracusaが提案した、トロピカルな分割単位の議論を用いて、イデムポテンス設定におけるコホモロジー計算を扱う。
• 標準的な開被覆 $\mathcal{U} = \{D(x_0), \dots, D(x_n)\}$ を用いて、$\mathbb{P}^n_M$ 上のČechコホモロジー群を計算する。
• コycle代表元を用いて、Čechコホモロジー群 $\check{H}^1(X, \mathcal{O}_X^*)$ とピカード群 $\mathrm{Pic}(X)$ の間に同型を確立する。
• 乗法 $x_i^m$ による同型 $\mathcal{O}_X(m)|_{D(x_i)} \cong \mathcal{O}_X|_{D(x_i)}$ を用いて、移行関数を定義し、可逆層を分類する。

実験結果

リサーチクエスチョン

• RQ1 加法逆元が存在しない状況において、Čechコホモロジーを半環スキームにどのように一般化できるか？
• RQ2 Čechコホモロジーを用いて、半環スキームのピカード群を定義し、計算することは可能か？
• RQ3 完全順序付きイデムポテンス半体 $M$ に対して、$\check{H}^p(\mathbb{P}^n_M, \mathcal{O}_X)$ のČechコホモロジー群は何か？
• RQ4 射影空間 $\mathbb{P}^n_M$ 上の可逆層はどのように分類されるのか？また、$\mathrm{Pic}(\mathbb{P}^n_M)$ は $\mathbb{Z}$ に同型か？
• RQ5 射影空間 $\mathbb{P}^n$ の古典的コホモロジーおよびピカード群の計算が、半環設定に拡張されるか？

主な発見

• 完全順序付きイデムポテンス半体 $M$ 上の $X = \mathbb{P}^n_M$ に対して、0次のČechコホモロジー群 $\check{H}^0(X, \mathcal{O}_X)$ は $M$ に同型である。
• $p \geq 1$ に対して、すべての高次のČechコホモロジー群 $\check{H}^p(X, \mathcal{O}_X)$ は消える。
• ピカード群 $\mathrm{Pic}(X)$ は $\mathbb{Z}$ に同型であり、$\mathcal{O}_X(m)$ の類を $m \in \mathbb{Z}$ に写像する同型である。
• $X = \mathbb{P}^n_M$ 上のすべての可逆層は、ある $m \in \mathbb{Z}$ に対して $\mathcal{O}_X(m)$ に同型である。
• $\check{H}^1(X, \mathcal{O}_X^*) \cong \mathrm{Pic}(X)$ という同型が成り立ち、これは古典的結果を半環スキームに一般化する。
• $f_{ij} = x_i^m / x_j^m$ というコycle代表元による $\check{H}^1(X, \mathcal{O}_X^*)$ の計算により、群構造が $\mathbb{Z}$ であることが確認される。