[论文解读] Geometry from Brackets Consistency

Edward Anderson|arXiv (Cornell University)|Nov 1, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 74被引用 11

一句话总结

本文提出李括号一致性作为几何学的基础性‘几何支柱’——支柱6——提供了一条新颖的代数路径，用于推导几何结构，而无需依赖微分方程。通过强制候选生成元的李括号满足封闭性，该方法在平坦空间中恢复了共形与射影结构，且共形–射影对偶性自然地源于一个二次一致性条件。

ABSTRACT

We argue for Brackets Consistency to be a `Pillar of Geometry', i.e. a foundational approach, other Pillars being 1) Euclid's constructive approach, 2) the algebraic approach, 3) the projective approach, and 4) the geometrical automorphism groups `Erlangen' approach. We proceed via a distinct Pillar 5) - Killing's computational route to Erlangen's groups - firstly by picking out the ensuing geometrically significant brackets subalgebras as consistent possibilities. Secondly, by considering which generators, arising piecemeal from different generalized Killing equations, combine brackets-consistently, recovering the affine-conformal and projective-conformal alternatives. Thirdly, we cease to rest on Killing's Pillar altogether, replacing it by mere polynomial ansätaze as source of generators. Even in this case - demanding (Lie) Brackets Consistency - suffices to recover notions of geometry, as indicated by the below alternative just dropping out of the ensuing brackets algebra, and is thus declared to be Pillar 6. The current article is further motivated, firstly, by the gradually accumulating successes in reformulating Theoretical Physics to run on the Dirac Algorithm for classical constraint algebraic structure consistency. Secondly, this is sufficiently driven by Brackets Consistency alone to transcend to whichever context possesses such brackets. Thirdly, we derive the conformal-or-projective alternative in top-automorphism-group $d \geq 3$ Flat Geometry. In a manner by now familiar in Dirac Algorithm applications, a) these two top geometries moreover arise side by side as roots of a merely algebraic quadratic equation. b) This equation arises from requiring that the self-bracket of a general ansatz for generators be strongly zero. c) For, if not, an infinite cascade of generators would follow, by which the ansatz would not support a finite Shape Theory.

研究动机与目标

• 建立李括号一致性作为几何学中的基础性原则，独立于微分方程或群论构造。
• 证明几何结构——包括共形、射影与仿射结构——可完全基于候选生成元上李括号的代数一致性推导得出。
• 表明平坦几何中的共形–射影对偶性作为强要求一般试探解的自括号为零所导出的二次方程的根自然出现。
• 通过用多项式试探解替代基尔ting方程方法，推广基尔ting方程方法，同时通过括号封闭保持几何一致性。
• 识别并分类由括号一致性产生的李代数分解中的可积性结构（例如单向、双向或受阻可积性）。

提出的方法

• 对候选生成元 $c_A$ 应用李括号封闭条件 $[c_A, c_B] = C^C_{AB} c_C$，将其视为基本的一致性要求。
• 使用一般多项式试探解代替求解广义基尔ting方程，从而避开微分几何。
• 强制对一般试探解 $X$ 的自括号强为零，即 $[X, X] = 0$，由此导出一个二次方程，其根对应于几何上一致的代数。
• 分析李代数的块分解（如 $\mathfrak{h}$, $\mathfrak{K}$）的代数结构，识别可积性类型：直积、半直积、单向或双向可积性。
• 区分一致封闭（导致有限代数）与不一致情形（引发新生成元的无限级联）。
• 通过非零结构常数 $\Theta_{AB}$ 或 $\Theta_{AA'}$ 识别障碍，并确定何时可通过调节系数消除此类障碍。

实验结果

研究问题

• RQ1 仅靠李括号一致性是否足以作为几何学的基础性原则，而无需依赖微分方程或变换群？
• RQ2 强制一般生成元试探解的自括号强为零，如何导致共形或射影几何等几何结构的出现？
• RQ3 当来自不同广义基尔ting方程的候选生成元在括号一致性下组合时，会涌现出何种代数结构？
• RQ4 用多项式试探解替代基尔ting方程方法，为何仍能产生有限且一致的几何代数？
• RQ5 李代数分解中的可积性类型（如单向、双向、受阻）如何影响最终几何理论的一致性与有限性？

主要发现

• 在平坦空间 $d \geq 3$ 中，共形与射影几何时作为单一二次方程的两个对偶根自然出现，该方程源于强要求一般试探解的自括号为零。
• 仅靠括号一致性——无需求解微分方程——即可恢复仿射–共形与射影–共形代数作为完整生成元代数的一致子代数。
• 在 $d \geq 2$ 中同时包含特殊共形与特殊射影/仿射生成元时，会引发新生成元的无限级联，表明二者互不相容。
• 该方法在李代数分解中识别出六种不同的可积性类型，涵盖从直积到双向可积性，其中后者暗示相互依赖性并导致独立子代数结构的丧失。
• 仅当括号结构中的系数可调节至零时，才能排除硬性障碍（$\Theta_{AB} \neq 0$）与无限级联，这等价于强要求自括号为零。
• 半直积结构 $\mathfrak{h} \rtimes \mathfrak{K}$ 与 $\mathfrak{K} \rtimes \mathfrak{h}$ 自然地由一致括号封闭产生，前者对应单向可积性，即一个块蕴含另一个。