[论文解读] Algebraic groups over the field with one element

Oliver Lorscheid|ArXiv.org|Jul 22, 2009

Advanced Algebra and Geometry参考文献 6被引用 12

一句话总结

本文通过引入使用环化流形和强态射的 $\mathbb{F}_1$-概形范畴，建立了一套关于一个元素域上代数群的框架。它通过证明分裂的半单群（包括 $\mathrm{GL}(n)$）可下移至 $\mathbb{F}_1$，其 $\mathbb{F}_1$-有理点对应于外尔群，实现了蒂茨的哲学：格拉斯曼流形与施伯特簇被建模为 $\mathbb{F}_1$-概形，其组合点计数与对称群商一致。

ABSTRACT

Remarks in a paper by Jacques Tits from 1956 led to a philosophy how a theory of split reductive groups over $\F_1$, the so-called field with one element, should look like. Namely, every split reductive group over $\Z$ should descend to $\F_1$, and its group of $\F_1$-rational points should be its Weyl group. We connect the notion of a torified variety to the notion of $\F_1$-schemes as introduced by Connes and Consani. This yields models of toric varieties, Schubert varieties and split reductive groups as $\Fun$-schemes. We endow the class of $\F_1$-schemes with two classes of morphisms, one leading to a satisfying notion of $\F_1$-rational points, the other leading to the notion of an algebraic group over $\F_1$ such that every split reductive group is defined as an algebraic group over $\F_1$. Furthermore, we show that certain combinatorics that are expected from parabolic subgroups of $\GL(n)$ and Grassmann varieties are realized in this theory.

研究动机与目标

• 实现雅克·蒂茨 1956 年提出的哲学：定义在 $\mathbb{Z}$ 上的分裂半单群应可下移至 $\mathbb{F}_1$，其 $\mathbb{F}_1$-有理点为其外尔群。
• 构建一个与 $\mathbb{Z}$ 上基扩张兼容的 $\mathbb{F}_1$-概形范畴，使得 $\mathbb{A}^n$、$\mathbb{P}^{n-1}$ 和 $\mathrm{Gr}(k,n)$ 等概形的 $\mathbb{F}_1$-有理点匹配预期的组合集合。
• 在 $\mathbb{F}_1$-概形中定义两类态射：一类确保正确的 $\mathbb{F}_1$-有理点计数，另一类使 $\mathbb{F}_1$ 上代数群的定义成为可能。
• 证明格拉斯曼流形与施伯特簇可被建模为 $\mathbb{F}_1$-概形，其 $\mathbb{F}_1$-点为对称群的组合商。
• 验证 $\mathrm{GL}(n)$ 在 $\mathrm{Gr}(k,n)$ 上的自然作用可通过 $\mathbb{F}_1$-点上移至 $S_n$ 在 $M_{k,n}$ 上的相容作用。

提出的方法

• 通过环化流形引入 $\mathbb{F}_1$-概形范畴，其中概形配备一个细化其到环的分解的环化结构 $e_X$。
• 将 $\mathbb{F}_1$-概形之间的强态射定义为一对映射 $(\tilde{f}, f)$，其在环化结构与 $\mathbb{Z}$ 上基扩张下保持交换。
• 通过其 $\mathbb{Z}$-模型与相容环化结构，分别构建 $\mathrm{GL}(n)$、抛物子群与格拉斯曼流形的 $\mathbb{F}_1$-概形 $\mathcal{G}$、$\mathcal{P}$ 与 $\mathcal{Q}$。
• 利用布吕特分解与施伯特胞腔分解在 $\mathrm{Gr}(k,n)$ 上定义环化结构，其中 0 维环对应于 $T$-不动点。
• 证明 $\mathcal{G}$、$\mathcal{P}$ 与 $\mathcal{Q}$ 的 $\mathbb{F}_1$-有理点分别同构于 $S_n$、$S_k \times S_{n-k}$ 与 $S_n / (S_k \times S_{n-k})$。
• 建立 $\mathcal{G}$ 在 $\mathcal{Q}$ 上的作用在取 $\mathbb{F}_1$-有理点后，诱导出 $S_n$ 在 $M_{k,n}$ 上的自然作用。

实验结果

研究问题

• RQ1 是否可将 $\mathrm{GL}(n)$ 等分裂半单群定义为 $\mathbb{F}_1$ 上的代数群，使其 $\mathbb{F}_1$-有理点为其外尔群？
• RQ2 格拉斯曼流形 $\mathrm{Gr}(k,n)$ 是否存在一个 $\mathbb{F}_1$-概形模型，使得 $\mathcal{Q}(\mathbb{F}_1) \simeq M_{k,n}$，即 $\{1,\dots,n\}$ 的 $k$-元素子集的集合？
• RQ3 是否存在一个 $\mathbb{F}_1$-概形的态射 $\mathcal{G} \times \mathcal{Q} \to \mathcal{Q}$，其诱导出 $S_n$ 在 $M_{k,n}$ 上的标准作用？
• RQ4 通过环化结构与强态射，是否可在 $\mathbb{F}_1$-概形框架中实现抛物子群与施伯特簇的组合结构？
• RQ5 是否可通过 $\mathbb{F}_1$-概形的基扩张恢复原始的 $\mathbb{Z}$-概形，如 $\mathcal{G}_{\mathbb{Z}} \simeq \mathrm{GL}(n)$ 与 $\mathcal{Q}_{\mathbb{Z}} \simeq \mathrm{Gr}(k,n)$？

主要发现

• $\mathrm{GL}(n)$ 的 $\mathbb{F}_1$-概形 $\mathcal{G}$ 的 $\mathbb{F}_1$-有理点同构于外尔群 $S_n$，实现了蒂茨的猜想。
• 格拉斯曼流形 $\mathrm{Gr}(k,n)$ 的 $\mathbb{F}_1$-概形 $\mathcal{Q}$ 满足 $\mathcal{Q}(\mathbb{F}_1) \simeq M_{k,n}$，即 $\{1,\dots,n\}$ 的 $k$-元素子集的集合，其点数与 $\binom{n}{k}$ 一致。
• 态射 $\mathcal{G} \times \mathcal{Q} \to \mathcal{Q}$ 通过置换指标诱导出自然作用 $S_n \times M_{k,n} \to M_{k,n}$，确认其与 $\mathbb{Z}$-作用的相容性。
• $\mathbb{F}_1$-概形 $\mathcal{Q}$ 是通过作用 $\lambda: \mathcal{P} \times \mathcal{G} \to \mathcal{G}$ 的商构造而成，其中 $\mathcal{P}$ 对应于一个抛物子群。
• 基扩张 $\mathcal{G}_{\mathbb{Z}}$ 同构于 $\mathrm{GL}(n)$，$\mathcal{Q}_{\mathbb{Z}}$ 同构于 $\mathrm{Gr}(k,n)$，确认了正确的几何实现。
• 通过施伯特胞腔的环化结构，确保 $\mathrm{Gr}(k,n)$ 的 $\mathbb{F}_1$-点源于 0 维环，与 $S_n / (S_k \times S_{n-k})$ 的组合结构一致。