[论文解读] Associative Geometries. I: Torsors, linear relations and Grassmannians

Wolfgang Bertram, Michael Kinyon|arXiv (Cornell University)|Mar 31, 2009

Advanced Topics in Algebra参考文献 17被引用 20

一句话总结

本文引入了'关联几何'作为统一李群与广义射影几何时空的几何框架，其源于结合代数通过 torsor、线性关系与格拉斯曼流形结构。核心贡献是通过五元映射Γ编码互补子空间交集上的群作用，以非交换、无基点的方式推广仿射与线性群结构。

ABSTRACT

We define and investigate a geometric object, called an associative geometry, corresponding to an associative algebra (and, more generally, to an associative pair). Associative geometries combine aspects of Lie groups and of generalized projective geometries, where the former correspond to the Lie product of an associative algebra and the latter to its Jordan product. A further development of the theory encompassing involutive associative algebras will be given in subsequent work.

研究动机与目标

• 定义一个几何对象——'关联几何'——对应于一个结合代数，类似于李群对应于李代数的方式。
• 在单一框架内统一李群结构（来自交换子括号）与广义射影几何时空（来自乔丹积）的方面。
• 为向量空间子空间上的群作用发展一种无基点、基于 torsor 的形式化，使用五元映射Γ。
• 通过互补子空间与投影算子的相互作用，推广经典仿射与线性群结构于格拉斯曼流形上。
• 为后续工作奠定更广泛理论的基础，包括对合结合代数。

提出的方法

• 在子空间E和F的互补子空间交集C^E ∩ C^F上定义五元映射Γ(X,E,Y,F,Z) = (P^E_X − P^Z_F)(Y)，编码群作用。
• 使用 torsor（主齐性空间）消除对选定单位元的依赖，以三元运算替代群结构。
• 证明五元映射Γ满足半 torsor 的公理，广义化群行为而无需固定单位元。
• 通过固定基点Y，在C^E ∩ C^F上构造自然的非交换群结构，其乘法由投影算子定义。
• 通过标准嵌入将构造与结合对联系起来，表明每个结合对均来自具有幂等元的结合代数。
• 使用集合A与B之间关系的对称半 torsor作为基础示例，其复合运算为(rst) = r ∘ s⁻¹ ∘ t。

实验结果

研究问题

• RQ1 如何从结合代数构造一个几何对象，使其统一李群与射影几何时空结构？
• RQ2 五元映射Γ在编码互补子空间交集上的群作用中起什么作用？
• RQ3 torsor 与半 torsor 如何在非交换设定中提供群作用的无基点形式化？
• RQ4 格拉斯曼流形交集C^E ∩ C^F 以何种方式广义化了仿射空间与一般线性群？
• RQ5 该构造如何与结合对的代数结构及其标准嵌入相关联？

主要发现

• 子空间E和F的互补子空间集合C^E ∩ C^F要么为空，要么在固定基点Y时具有自然的非交换群结构。
• 五元映射Γ(X,E,Y,F,Z)在C^E ∩ C^F上定义了群运算，其结合律与逆元公理由非显然性，但依然成立。
• 当E = F时，结构退化为C^E上的经典仿射空间结构，Γ等价于投影算子之和。
• 当E与F互为互补时，C^E ∩ C^F通过E到F的同构被识别为一般线性群Gl(E)。
• 映射Γ满足半 torsor 的公理，广义化群行为而无需固定单位元。
• 每个结合对均可通过标准嵌入从具有幂等元的结合代数中导出，且该几何由此类对构建而成。