[論文レビュー] Algebraic Geometry Over Hyperrings

Jaiung Jun|arXiv (Cornell University)|Dec 15, 2015

Polynomial and algebraic computation参考文献 21被引用数 13

ひとこと要約

本稿は、加法が多値であるという特徴を持つハイパー環——つまり、加法が一価でない代数的構造——における基礎的な代数幾何学を構築する。商構成や、ハイパーイデアルと合同関係の間の一対一対応といった、重要な代数的性質を確立する。整域的ハイパー環スキームを導入し、そのようなスキームのグローバルセクションがハイパー環自身と同型であることを証明することで、トロピカル幾何学およびF1-幾何学の強固な代数的枠組みを提供する。

ABSTRACT

We develop basic notions and methods of algebraic geometry over the algebraic objects called hyperrings. Roughly speaking, hyperrings generalize rings in such a way that an addition is `multi-valued'. This paper largely consisits of two parts; algebraic aspects and geometric aspects of hyperrings. We first investigate several technical algebraic properties of a hyperring. In the second part, we begin by giving another interpretation of a tropical variety as an algebraic set over the hyperfield which canonically arises from a totally ordered semifield. Then we define a notion of an integral hyperring scheme $(X,\mathcal{O}_X)$ and prove that $Γ(X,\mathcal{O}_X)\simeq R$ for any integral affine hyperring scheme $X=Spec R$.

研究の動機と目的

• 本稿の目的は、加法が多値であることを許容する環の一般化であるハイパー環上での代数幾何学に、厳密な代数的基盤を構築することにある。
• 本稿は、理論における重要な空白を埋めるために、正規でないハイパーイデアルに対してもハイパー環の商を構成できることを証明する。
• 本研究は、トロピカル幾何学を代数幾何学と統一するために、全順序半体から導かれる標準的ハイパー体から得られる代数的集合としてトロピカル多様体を解釈することを目的としている。
• 本稿は、整域的ハイパー環スキームを導入し、グローバルセクションの同型定理を証明することで、古典的代数幾何学を一般化することを目的としている。
• 本研究はF1-幾何学に貢献するものであり、モノイドや半体よりも、算術的性質をよりよく捉える可能性を有する代数的構造——ハイパー環——を提示する。

提案手法

• 本稿は、ハイパー環Rの任意のハイパーイデアルIに対して、商R/Iに自然なハイパー環構造を定義し、長年の技術的問題を解決する。
• 本稿は、ハイパー環上でのハイパーイデアルと合同関係の間の一対一対応を確立し、古典的イデアル-合同関係対応を一般化する。
• ハイパー環スキームの構成は、Spec Rに構造層OXを定義することで達成され、グローバルセクションΓ(X, OX)がRと同型であることを保証する。
• 本稿は、トロピカル多様体を、全順序半体から得られるハイパー体上の代数的集合として再解釈し、モノイドへの対称化プロセスを用いる。
• 対称化プロセスは可換モノイドに適用され、ハイパーグループを生成し、適切な条件下で半体に拡張され、マルチリングまたはハイパー体をもたらす。
• 本稿は普遍的性質と成分ごとの乗法を用いて、s(M)の構造に演算を定義し、加法的および乗法的法則と整合性を保つ。

実験結果

リサーチクエスチョン

• RQ1 任意のハイパーイデアル、特に正規でないものに対しても、ハイパー環の商を構成でき、それが自然なハイパー環構造を誘導するか？
• RQ2 ハイパー環の圏において、ハイパーイデアルと合同関係の間に、環論における古典的対応と類似した一対一対応が存在するか？
• RQ3 トロピカル多様体は自然に、ハイパー体上の代数的集合として解釈可能であり、トロピカル幾何学のハイパーストラクチャ的基盤を提供できるか？
• RQ4 整域的ハイパー環スキームのグローバルセクションの構造は何か？ そして、それらは元のハイパー環を回復するか？
• RQ5 モノイドまたは半体への対称化プロセスは、ハイパーグループまたはハイパー体をどのように生成するか？ また、分配法則を満たす条件は何か？

主な発見

• 本稿は、任意のハイパー環RとハイパーイデアルIに対して、商R/Iが自然なハイパー環構造を誘導することを証明し、ハイパー環理論における重要な技術的制限を解消する。
• ハイパー環上でのハイパーイデアルと合同関係の間の一対一対応が確立され、ハイパー環が環と同様に強い代数的双対性を保つことが示された。
• 整域的アフィンハイパー環スキームX = Spec Rのグローバルセクションは、R自身と同型である。すなわち、Γ(X, OX) ≃ Rであり、これは古典的スキームの結果を一般化する。
• トロピカル多様体は、全順序半体からの対称化プロセスによって得られるハイパー体上の代数的集合として再解釈可能である。
• 選択的で全順序な半体の対称化はハイパー体を生成し、その結果得られる構造s(B)は分配法則を満たすため、マルチリングではなくハイパー体である。
• 基盤となるモノイドが特定の条件（57）を満たすとき、対称化プロセスはハイパーグループを生成する。また、モノイドが冪等的である場合、これは標準的順序が全順序であるときにかつそのときに限り成立する。