[论文解读] Moduli Operad over F1

Yuri I. Manin, Matilde Marcolli|CaltechAUTHORS (California Institute of Technology)|Feb 26, 2013

Advanced Topics in Algebra参考文献 30被引用 4

一句话总结

本文证明了亏格零模空间 $\overline{M}_{0,n}$ 及其推广 $T_{d,n}$ 在 $\mathbb{F}_1$ 上具有自然的下降结构，该结构通过可构造的环化分解实现——即在格罗滕迪克环中保持正性的塔分解的正式差。这些空间上的操作符结构与 $\mathbb{F}_1$-几何相容，作者在 $\overline{M}_{0,n}$ 上引入了蓝图结构，通过交叉积蓝图将 $\mathbb{F}_1$-几何推广至高亏格层。

ABSTRACT

In this paper we answer a question raised in [25], Sec. 4, by showing that the genus zero moduli operad $\{\bar{M}_{0,n+1}\}$ can be endowed with natural descent data that allow it to be considered as the lift to ${ m Spec}\,\Z$ of an operad over $\F_1$. The relevant descent data are based on a notion of constructible sets and constructible functions over $\F_1$, which describes suitable differences of torifications with a positivity condition on the class in the Grothendieck ring. More generally, we do the same for the operads $\{T_{d,n+1}\}$ (whose components were) introduced in [5]. Finally, we describe a blueprint structure on $\{\bar{M}_{0,n}\}$ and we discuss from this perspective the genus zero boundary modular operad $\{\bar{M}_{g,n+1}^0\}$.

研究动机与目标

• 解决文献[25]提出的问题：$\overline{M}_{0,n+1}$ 是否可提升为 $\mathbb{F}_1$ 上的操作符。
• 定义 $\mathbb{F}_1$ 上可构造集与可构造环化分解的概念，推广环化代数簇。
• 将 $\mathbb{F}_1$-几何推广至模空间 $T_{d,n}$ 及高亏格层 $\overline{M}^0_{g,n}$ 的操作符结构。
• 在 $\overline{M}_{0,n}$ 上引入与环化结构和操作符结构相容的蓝图结构。

提出的方法

• 使用格罗滕迪克环中保持正性的环化分解来定义 $\overline{M}_{0,n}$ 和 $T_{d,n}$ 上的 $\mathbb{F}_1$-结构，确保类分解中系数非负。
• 引入可构造环化分解作为环化分解的正式差，保持正性，从而实现 $\mathbb{F}_1$-可构造集。
• 通过确保下降数据在复合映射与遗忘映射下保持不变，定义与 $\mathbb{F}_1$-结构相容的操作符态射。
• 利用普吕克坐标与对称群作用生成的幺半群生成元与关系，在 $\overline{M}_{0,n}$ 上构造蓝图结构。
• 对 $\overline{M}_{0,2g+n}$ 上的群作用（如 $G \subset S_{2g}$）进行应用，通过交叉积蓝图建模商空间 $\overline{M}^0_{g,n}$。
• 使用非交换几何技术，以交叉积蓝图替代商构造，从而保留 $\mathbb{F}_1$-数据。

实验结果

研究问题

• RQ1 模空间 $\overline{M}_{0,n+1}$ 是否可赋予下降数据，以在 $\mathbb{F}_1$ 上定义操作符？
• RQ2 在 $\mathbb{F}_1$-几何中，如何推广环化代数簇的概念，以允许补集与正式差？
• RQ3 如何使 $\overline{M}_{0,n}$ 与 $T_{d,n}$ 上的操作符结构与 $\mathbb{F}_1$-结构及可构造环化分解相容？
• RQ4 $\mathbb{F}_1$-结构在 $\overline{M}_{0,n}$ 上是否可推广至高亏格层 $\overline{M}^0_{g,n}$？
• RQ5 在 $\mathbb{F}_1$-几何中，如何在不丢失代数数据的前提下建模商构造如 $\overline{M}_{0,2g+n}/G$？

主要发现

• 模空间 $\overline{M}_{0,n}$ 具有可构造环化分解，即其格罗滕迪克类可分解为具有非负系数的塔分解的正式差。
• 操作符结构 $\{\overline{M}_{0,n+1}\}$ 与 $\mathbb{F}_1$-可构造集相容，操作符态射诱导出 $\mathbb{F}_1$-可构造态射。
• $T_{d,n}$ 也具有可构造环化分解，其操作符结构与 $\mathbb{F}_1$-几何相容。
• 通过幺半群生成元与普吕克关系，在 $\overline{M}_{0,n}$ 上构造了蓝图结构，该结构与环化结构及对称群作用相容。
• 通过交叉积蓝图 ${\mathcal{O}}_{\mathbb{F}_1}(\overline{M}_{0,2g+n}) \rtimes G$ 建模了有理曲线层 $\overline{M}^0_{g,n}$ 的正规化，其中 $G$ 是若干对换乘积的稳定化子。
• 对称群 $S_n$ 通过置换标记点作用于 $\overline{M}_{0,n}$，在相关蓝图上诱导出自同构，且 $S_n \cong \mathrm{GL}_n(\mathbb{F}_1)$。