[论文解读] Lambda actions of rings of integers

James Borger, Bart de Smit|arXiv (Cornell University)|May 24, 2011

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

一句话总结

本文在数域 $K$ 的整数环 ${\mathcal{O}}$ 上，为无挠 ${\mathcal{O}}$-代数引入了 $Λ_{\mathcal{O}}$-环结构，推广了 $\lambda$-环结构。通过使用 Deligne-Ribet 幂半群与射类群，建立了有限 étale $K$-代数在 ${\mathcal{O}}$ 上具有此类结构时，存在 ${\mathcal{O}}$-上积分模型的判别准则，其关键结果表明：此类模型的存在性等价于该作用通过幂半群 $I({\mathcal{O}}) \times G_K$ 因子化到射类群。该结果通过类域论将此前关于 $\mathbb{Z}$ 上 $\lambda$-环的工作推广至数域。

ABSTRACT

Let O be the ring of integers of a number field K. For an O-algebra R which is torsion free as an O-module we define what we mean by a Lambda_O-ring structure on R. We can determine whether a finite etale K-algebra E with Lambda_O-ring structure has an integral model in terms of a Deligne-Ribet monoid of K. This a commutative monoid whose invertible elements form a ray class group.

研究动机与目标

• 将 $\mathbb{Z}$ 上的 $\lambda$-环结构推广至数域的整数环 ${\mathcal{O}}$，通过 $\Lambda_{\mathcal{O}}$-环结构实现。
• 确定具有 $\Lambda_{\mathcal{O}}$-结构的有限 étale $K$-代数何时在 ${\mathcal{O}}$ 上存在作为 ${\mathcal{O}}$-模的有限平坦积分模型。
• 通过 $I({\mathcal{O}}) \times G_K$ 在 $K$-代数同态集合（取值于代数闭包）上的作用，建立此类积分模型存在的上同调判别准则。
• 通过 Deligne-Ribet 幂半群将积分模型的存在性与射类群联系起来，扩展了在 $\mathbb{Z}$-情形下使用的典型类域论方法。

提出的方法

• 将无挠 ${\mathcal{O}}$-代数 $E$ 上的 $\Lambda_{\mathcal{O}}$-结构定义为在 ${\mathcal{O}}$ 的每个素理想 ${\mathfrak{p}}$ 处，一组可交换的弗罗贝尼乌斯提升 $\psi_{\mathfrak{p}}$。
• 将 $\Lambda_{\mathcal{O}}$-结构转化为幂半群映射 $I({\mathcal{O}}) \to \mathrm{Map}_{G_K}(S,S)$，其中 $S$ 是从 $E$ 到 $K^{\mathrm{sep}}$ 的 $K$-代数同态集合。
• 利用格罗滕迪克的伽罗瓦理论，将有限 étale $K$-代数等同于有限离散 $G_K$-集，并将 $\Lambda_{\mathcal{O}}$-结构解释为 $I({\mathcal{O}}) \times G_K$ 的作用。
• 引入与一个循环 ${\mathfrak{f}}$ 关联的 Deligne-Ribet 幂半群 $\mathrm{DR}({\mathfrak{f}})$，其可逆元构成一个射类群。
• 从 $S$ 上 $G_K$-作用的分歧数据出发，通过子作用的导子的最小公倍数构造一个循环 ${\mathfrak{f}}$。
• 证明 $I({\mathcal{O}}) \times G_K$-作用当且仅当因子化至 $\mathrm{DR}({\mathfrak{f}})$ 时，存在一个积分 $\Lambda_{\mathcal{O}}$-模型，利用局部-整体原理与阿廷互反律完成证明。

实验结果

研究问题

• RQ1 具有 $\Lambda_{\mathcal{O}}$-结构的有限 étale $K$-代数何时在 ${\mathcal{O}}$ 上存在作为 ${\mathcal{O}}$-模的有限平坦积分模型？
• RQ2 此类积分模型的存在性如何通过伽罗瓦理论与算术数据来刻画？
• RQ3 Deligne-Ribet 幂半群在分类有限 étale $K$-代数上的 $\Lambda_{\mathcal{O}}$-结构中起什么作用？
• RQ4 $\Lambda_{\mathcal{O}}$-结构如何与射类域论及阿廷符号相关联？
• RQ5 能否将 $\mathcal{O}$ 上积分模型存在的判别准则简化为 $I({\mathcal{O}}) \times G_K$-作用因子化至射类群的条件？

主要发现

• 具有 $\Lambda_{\mathcal{O}}$-结构的有限 étale $K$-代数 $E$ 当且仅当 $I({\mathcal{O}}) \times G_K$-作用在 $K$-代数同态 $E \to K^{\mathrm{sep}}$ 上的集合上因子化至 Deligne-Ribet 幂半群 $\mathrm{DR}({\mathfrak{f}})$ 时，存在一个积分 $\Lambda_{\mathcal{O}}$-模型，其中 ${\mathfrak{f}}$ 为某循环。
• 循环 ${\mathfrak{f}}$ 构造为 $S$ 上 $I({\mathcal{O}})$-轨道的 $G_K$-子作用的导子的最小公倍数，确保作用因子化至 $\mathrm{Cl}({\mathfrak{f}})$。
• 在扩张中未分歧的素理想 ${\mathfrak{p}}$ 处，${\mathfrak{p}}$ 在 $S$ 上的作用与射类群中的阿廷符号 $[{\ olimits}{\mathfrak{p}}] \in \mathrm{Cl}({\mathfrak{f}})$ 一致，从而将 $\Lambda_{\mathcal{O}}$-结构与类域论联系起来。
• 当 $G_K$-作用在未分歧部分上平凡且弗罗贝尼乌斯元素与该部分上的作用一致时，定理 1.1 保证了在每个素理想 ${\mathfrak{p}}$ 处存在局部 $\Lambda_{{\mathcal{O}}_{\mathfrak{p}}}$-模型。
• 在所有 ${\mathfrak{p}}$ 上的局部积分模型的交集给出一个有限指标的 ${\mathcal{O}}$-子代数 $A \subset R$（其中 $R$ 是 ${\mathcal{O}}$ 在 $E$ 中的整闭包），该子代数在所有 $\psi_{\mathfrak{p}}$ 下稳定，因此构成一个全局积分 $\Lambda_{\mathcal{O}}$-模型。
• 该判别准则为精确的：若 $I({\mathcal{O}}) \times G_K$-作用因子化至 $\mathrm{DR}({\mathfrak{f}})$，则此类模型存在；反之，若存在模型，则作用必因子化至某个 ${\mathfrak{f}}$ 的 $\mathrm{DR}({\mathfrak{f}})$。