[论文解读] Cech Cohomology of Semiring Schemes

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

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

一句话总结

本文将Čech上同调与Picard群理论推广至半环概形，推广了半环上的经典代数几何。对于完全有序的幂等半域 $M$ 上的射影空间 $
\mathbb{P}^n_M$，Čech上同调群 $
\check{H}^p(X, \mathcal{O}_X)$ 在 $p \geq 1$ 时为零，且Picard群 $
\mathrm{Pic}(X)$ 同构于 $
\mathbb{Z}$，所有可逆层都同构于 $
\mathcal{O}_X(m)$（$m \in \mathbb{Z}$）。这些结果与 $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上同调与可逆层理论推广至半环概形，将经典代数几何推广至半环的框架。
• 建立半环上同调代数的框架，尤其与F1-几何和热带几何相关。
• 显式计算完全有序的幂等半域上射影空间的Picard群 $\mathrm{Pic}(X)$。
• 证明在 $\mathbb{P}^n_M$ 上，$\mathcal{O}_X$ 的Čech上同调与经典结果一致，包括 $\check{H}^0 \cong M$ 和 $\check{H}^p = 0$（$p \geq 1$）。

提出的方法

• 采用Patchkoria的框架，将Čech上同调推广至半环概形，用一对映射替代单一的上边界映射，以适应半模结构。
• 利用Pareigis与Rohrl定义的半模张量积，将Picard群的构造推广至半环概形。
• 应用由J. Giansiracusa提出的热带单位分解论证，处理幂等情形下的上同调计算。
• 使用射影空间 $\mathbb{P}^n_M$ 的标准开覆盖 $\mathcal{U} = \{D(x_0), \dots, D(x_n)\}$ 来计算Čech上同调群。
• 通过上链代表元，建立Čech上同调群 $\check{H}^1(X, \mathcal{O}_X^*)$ 与Picard群 $\mathrm{Pic}(X)$ 之间的同构。
• 利用同构 $\mathcal{O}_X(m)|_{D(x_i)} \cong \mathcal{O}_X|_{D(x_i)}$（通过乘以 $x_i^m$ 定义）来定义转移函数，并对可逆层进行分类。

实验结果

研究问题

• RQ1 在缺乏加法逆元的情况下，如何将Čech上同调推广至半环概形？
• RQ2 能否利用Čech上同调定义并计算半环概形的Picard群？
• RQ3 对于完全有序的幂等半域 $M$，$\mathbb{P}^n_M$ 的Čech上同调群 $\check{H}^p(\mathbb{P}^n_M, \mathcal{O}_X)$ 是什么？
• RQ4 射影空间 $\mathbb{P}^n_M$ 上的可逆层如何分类？$\mathrm{Pic}(\mathbb{P}^n_M)$ 是否同构于 $\mathbb{Z}$？
• RQ5 经典代数几何中 $\mathbb{P}^n$ 的上同调与Picard群计算是否可推广至半环情形？

主要发现

• 对于 $X = \mathbb{P}^n_M$（$M$ 为完全有序的幂等半域），0阶Čech上同调群 $\check{H}^0(X, \mathcal{O}_X)$ 同构于 $M$。
• 所有高阶Čech上同调群 $\check{H}^p(X, \mathcal{O}_X)$ 在 $p \geq 1$ 时为零。
• Picard群 $\mathrm{Pic}(X)$ 同构于 $\mathbb{Z}$，同构映射将 $\mathcal{O}_X(m)$ 的类映射到 $m \in \mathbb{Z}$。
• 所有在 $X = \mathbb{P}^n_M$ 上的可逆层都同构于 $\mathcal{O}_X(m)$（$m \in \mathbb{Z}$）。
• 同构 $\check{H}^1(X, \mathcal{O}_X^*) \cong \mathrm{Pic}(X)$ 成立，将经典结果推广至半环概形。
• 通过上链代表元 $f_{ij} = x_i^m / x_j^m$ 计算 $\check{H}^1(X, \mathcal{O}_X^*)$ 确认了其群结构为 $\mathbb{Z}$。