[论文解读] Hyperfield extensions, characteristic one and the Connes-Consani plane connection

Koen Thas|arXiv (Cornell University)|Jul 2, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用 4

一句话总结

本文在超域与特征一几何的框架下，研究了在射影平面上的Singer群——即 sharply transitive 群作用——尤其关联到Connes与Consani关于“一个元素的域”（F₁）的工作。研究发现，几乎所有无限阿贝尔群和自由群都在某些射影平面上作为Singer群作用，且证明了当m为偶数时，PG(n, F̅_p) 和 PG(m, ℝ) 无法容纳此类群；同时，为代数闭域与实闭域构造了虚拟Singer群。

ABSTRACT

Inspired by a recent paper of Alain Connes and Catherina Consani which connects the geometric theory surrounding the elusive field with one element to sharply transitive group actions on finite and infinite projective spaces ("Singer actions"), we consider several fudamental problems and conjectures about Singer actions. Among other results, we show that virtually all infinite abelian groups and all (possibly infinitely generated) free groups act as Singer groups on certain projective planes, as a corollary of a general criterion. We investigate for which fields $\mathbb{F}$ the plane $\mathbf{P}^2(\mathbb{F}) = \mathbf{PG}(2,\mathbb{F})$ (and more generally the space $\mathbf{P}^n(\mathbb{F}) = \mathbf{PG}(n,\mathbb{F})$) admits a Singer group, and show, e.g., that for any prime $p$ and any positive integer $n > 1$, $\mathbf{PG}(n,\overline{\mathbb{F}_p})$ cannot admit Singer groups. One of the main results in characteristic $0$, also as a corollary of a criterion which applies to many other fields, is that $\mathbf{PG}(m,\mathbb{R})$ with $m e 0$ a positive even integer, cannot admit Singer groups.

研究动机与目标

• 理解在各种域上的射影平面上Singer群——即 sharply transitive 群作用——的存在性与结构。
• 研究超域扩张（特别是Krasner超域上）与“ elusive field with one element (F₁)”几何之间的联系。
• 确定对于哪些域F，射影空间PG(n, F) 允许Singer群的存在，尤其关注特征0以及代数闭或实闭域的情形。
• 建立构造Singer群的一般准则，并探讨作为 sharply transitive 条件松弛形式的虚拟Singer群。

提出的方法

• 基于群在向量空间及其射影化作用上的作用，提出一个一般准则，用于构造无限阿贝尔群与自由群的Singer群。
• 利用域扩张与不可数维向量空间上的乘法群作用，诱导射影空间上的 sharply transitive 作用。
• 应用超域与超群作用的理论，以建模F₁的几何，并将其与Connes-Consani的框架联系起来。
• 分析子空间在群作用下的稳定化子结构，当Singer群存在于代数闭域上时导出矛盾。
• 通过放松传递性条件以允许有限个轨道，构造虚拟Singer群，从而为代数闭域实现存在性结果。
• 利用有限循环群的直极限构造PG(m, F̅₁)（即F₁的代数闭包上的射影空间）上的无限Singer群。

实验结果

研究问题

• RQ1 对于哪些域F，射影空间PG(n, F) 允许Singer群的存在，特别是当F为代数闭或实闭域时？
• RQ2 尽管F̅_p是代数闭域，PG(n, F̅_p) 是否仍可允许Singer群（当n > 1且p为素数时）？
• RQ3 当m为正偶数时，PG(m, ℝ) 是否允许Singer群？
• RQ4 是否存在代数闭或实闭域的虚拟Singer群？这些域是否可在“虚拟意义”上为Singer群，而并非真正意义上的Singer群？
• RQ5 PG(m, F₁^n) 上所有可能的Singer群的结构如何？如何系统地构造它们？

主要发现

• 对于任意素数p与n > 1，通过子空间上稳定化子的反证法，证明PG(n, F̅_p) 无法容纳Singer群。
• 当m为正偶数时，PG(m, ℝ) 无法容纳Singer群，这是特征0中的一个关键结果。
• 所有无限阿贝尔群与所有（可能无限生成的）自由群都作为Singer群作用于某些射影平面，这是由一个一般构造准则的推论。
• 当F不是立方闭域时，所有射影平面PG(2, F) 上均存在虚拟Singer群；当F为实闭或代数闭域且ω为无限时，PG(ω, F) 上也存在虚拟Singer群。
• 通过取循环群C_n的并集，直极限构造在PG(m, F̅₁)（即F₁的代数闭包上的射影空间）上产生了一个Singer群S(∞)。
• PG(m, F₁^n) 上的所有Singer群均来自对称群Sym(P)中的传递子群S，其点稳定化子S_x ≅ C_n，从而实现完全分类。