Algebraic Magnetism: $X$-products of attractors via $\mathbb{F}_1$-geometry

技术摘要：代数磁性：通过 $\mathbb{F}_1$-几何实现的吸引子的 X-积

问题陈述
本笔记探讨了“代数磁性”框架下的一个特定问题，该领域通过交换单子（commutative monoids）来编码几何动力学。核心问题是理解并描述与子单子相关的吸引子的纤维积（fiber product）。具体而言，给定一个阿贝尔群 $M$ 以及一组作为对角化单子方案 $D(M)$ 在代数空间 $X$ 上之代数作用的“磁铁”的子单子 $N_1, \dots, N_d \subset M$，本文旨在刻画如下空间：
$$X_{N_1} \times_X \dots \times_X X_{N_d}$$
其中 $X_{N_i}$ 表示与子单子 $N_i$ 相关的吸引子。作者重点讨论了这些子单子的群完备化（group completions）完全相同的情形，即 $N_1^{gp} = \dots = N_d^{gp}$。

方法论
其方法论依赖于代数磁性与基于 Deitmar 的单子理论（即基于 $\mathbb{F}_1$ 域的单子几何，亦称为 monoschemes）之间的相互作用。该方法步骤如下：

1. 构造 $\mathbb{F}_1$-方案： 作者构造了一个 $\mathbb{F}_1$ 上的方案 $\mathcal{N}$，通过将仿射 monoschemes $\text{spec}(N_\tau)$ 沿其共同的开子空间 $\text{spec}(N^{gp})$ 进行粘合。由于所有的子单子 $N_\tau$ 共享相同的群完备化 $N^{gp}$，这种构造是有效的。
2. 基变换至 $\mathbb{Z}$： 通过应用基变换函子 $\otimes_{\mathbb{F}_1} \mathbb{Z}$，作者将 $\mathcal{N}$ 与其关联的 $\mathbb{Z}$ 上的方案 $A(\mathcal{N})$ 联系起来。该方案被证明是沿着共同的开子方案 $D(N^{gp})$ 粘合由对角化单子方案 $A(N_\tau)$ 组成的图表的极限（colimit）。
3. 等变结构： 方案 $A(\mathcal{N})$ 被赋予了一个自然的 $D(M)$ 作用，该作用继承自各组成部分 $A(N_\tau)$ 上的作用，使其成为一个 $D(M)$-方案。
4. 普遍性质： 论证的核心利用了方案范畴（以及 $D(M)$-方案范畴）中极限的普遍性质，从而将来自 $A(\mathcal{N})$ 到吸引子纤维积的态射联系起来。

主要贡献与结果

• 定理 4.1（主公式）： 在子单子的群完备化相等的条件下，吸引子的纤维积同构于从 $A(\mathcal{N})$ 到 $X$ 的 $D(M)$-等变态射空间：
  $$\prod_{\tau \in A}^X X_{N_\tau} \cong \text{Hom}_{D(M)}(A(\mathcal{N}), X)$$
  只要 $X$ 对于 $S=\text{Spec}(\mathbb{Z})$ 是拟分离的且 $D(M/Z)$ 具有连通纤维，或者 $X$ 是分离的，该结果即成立。

• 吸引子函子的定义： 作者定义了函子 $\text{Hom}_{D(M)}(A(\mathcal{N}), X)$ 为 $X_{\mathcal{N}}$，称之为“与 $\mathcal{N}$ 相关的吸引子”。这将其从单个子单子的吸引子概念推广到了满足群完备化条件的集合。

• 表示性（命题 4.3）： 本文确立了 $X_{\mathcal{N}}$ 可由代数空间表示的条件。如果 $X \to S$ 是仿射的，则 $X_{\mathcal{N}}$ 是可表示的，并且对应于各个吸引子的交集（具体而言，是定义理想之和所定义的闭子方案）。如果 $X$ 是分离的且子单子集合是有限的，表示性同样得到保证。

• 几何性质：

  • 单态射（命题 4.5）： 如果 $X/S$ 是分离的且子单子集合是有限的，则自然映射 $X_{\mathcal{N}} \to X$ 是一个单态射。
  • 光滑性（备注 4.6）： 作者指出 $\mathbb{F}_1$-方案的解释蕴含了光滑性结果。如果 $X \to S$ 是光滑的，那么 $X_{\mathcal{N}} \to S$ 也是光滑的。论文明确指出，这种光滑性并不简单地从单个因子的光滑性以及纤维积公式中得出，因为光滑态射的纤维积不一定是光滑的。

意义与主张
本文声称使用 $\mathbb{F}_1$-几何为一个结构性问题提供了一个纯粹的“磁性”解答。通过构造 $\mathbb{F}_1$ 上的方案 $\mathcal{N}$，作者展示了将吸引子的复杂纤维积操作统一为一个单一的映射空间 $\text{Hom}_{D(M)}(A(\mathcal{N}), X)$ 是可能的。

这项工作通过将吸引子的理论扩展到乘积形式，构建并补充了以往的研究（特别是参考文献 [3]）。作者强调，虽然公式 $X_{\mathcal{N}} = \bigcap X_{N_\tau}$ 在仿射情形下成立，但在非仿射情形下会失效（如涉及 $\mathbb{P}^1$ 的示例 4.4 所示），因此有必要通过 $A(\mathcal{N})$ 构造提供更一般的函子描述。本文定位为一篇技术性笔记，旨在建立这一同构关系，并在既定的代数磁性框架内验证由此产生的几何性质（表示性、单态射性、光滑性）。