[论文解读] 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-几何作出贡献，该结构可能比独异点或半环更准确地捕捉Z在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）时，对称化过程产生一个超群；若幺半群为幂等，则当且仅当典范序为全序时成立。