[论文解读] Fan is to monoid as scheme is to ring: a generalization of the notion of a fan

Howard M Thompson|ArXiv.org|Jun 13, 2003

Algebraic Geometry and Number Theory参考文献 5被引用 5

一句话总结

本文通过将有理多面锥的扇形替换为带幺半群结构的拓扑空间——即配备有幺半群层的拓扑空间——推广了环扇簇的理论，从而将该理论扩展至非正规和非拟投影的环扇簇。其核心贡献是一个新框架：通过幺半群代数与粘合构造概形，将经典概形理论从环推广至幺半群，其中幺半群的谱充当仿射概形的角色。

ABSTRACT

Following DeMeyer, Ford & Miranda [DFM93], we define a topology on a fan by declaring open sets to be its subfans. Then, like Kato [Kat94], we make our fans into monoided spaces by associating a sheaf of monoids to each fan. (Our sheaf of monoids differs from Kato's.) Observing that this new monoided space is locally isomorphic to the spectrum of some monoid in the same sort of way a scheme is locally isomorphic to the spectrum of some ring, we define any monoided space that is locally isomorphic to the spectra of monoids to be a (generalized) fan. The monoid algebra functor can then be used to associate a scheme to such a fan. If we use the monoid algebra functor over some base field k, the resultant scheme is a normal variety if and only if it is a toric variety.

研究动机与目标

• 将环扇簇的经典理论推广至非正规、非拟投影的情形。
• 构建一个框架，使幺半群在概形理论中取代环，以幺半群的谱作为仿射模型。
• 通过幺半群代数与粘合构造，从广义扇形构建概形。
• 当幺半群为有限生成、可消去且无挠时，恢复经典环扇簇作为特例。
• 提供一种新的几何工具，具备抽象的时刻映射，并实现环不变对象的下降。

提出的方法

• 将交换幺半群的谱定义为素理想构成的拓扑空间，并配备一个幺半群层。
• 通过轨道空间拓扑与对偶幺半群 $ S_\sigma = \sigma^\vee \cap M $ 的截面，为扇形（一组有理多面锥）赋予带幺半群结构的拓扑空间结构。
• 将扇形定义为局部同构于幺半群谱的带幺半群空间。
• 利用幺半群代数函子 $ A \mapsto A[\Delta] $，通过在交集处粘合仿射概形 $ \operatorname{Spec} A[S] $，从该扇形构造概形。
• 通过典范包含 $ s \mapsto t^s $ 诱导幺半群代数之间的映射，并利用限制映射定义粘合。
• 证明所得概形存在连续映射 $ A[\Delta] \to \Delta $，且开集的拉回对应于局部化。

实验结果

研究问题

• RQ1 能否通过幺半群理论结构将环扇簇的理论推广至包含非正规与非拟投影情形？
• RQ2 在何种条件下，幺半群代数构造能产生一个正规的 $ k $-簇？
• RQ3 带幺半群结构的拓扑空间上的抽象时刻映射如何与经典环扇簇上的时刻映射相关联？
• RQ4 在何种条件下，由扇形构造的带幺半群结构空间会生成一个经典环扇簇？
• RQ5 幺半群的谱能否作为广义概形理论的基石，其作用类似于经典代数几何中的仿射概形？

主要发现

• 与扇形 $ \Delta $ 关联的带幺半群空间在局部上同构于幺半群的谱，因此在所提出的广义意义下构成一个扇形。
• 通过幺半群代数与粘合构造出的概形 $ k[\Delta] $，当 $ \Delta $ 为有理多面锥扇形时，同构于经典环扇簇。
• 若 $ k[\Delta] $ 是一个正规的 $ k $-簇，则每个锥 $ \sigma $ 处的幺半群 $ S_\sigma $ 必须是有限生成、可消去且无挠的，且 $ \mathbb{Z}S_\sigma $ 必须嵌入到一个格中。
• 在概形分离且有限型的条件下，$ k[\Delta] $ 是一个正规 $ k $-簇当且仅当它是一个经典环扇簇。
• 带幺半群空间的通用点对应于一个固定的格 $ M $，任意两个仿射块的交集对应于相关锥的一个面，从而确保整体结构为有理多面锥扇形。