[论文解读] The Lie algebra of the group of bisections

Hirokazu Nishimura|ArXiv.org|Dec 2, 2006

Advanced Algebra and Geometry参考文献 1被引用 9

一句话总结

本文在解析微分几何中证明了微线性广群的双截面群的切空间自然构成李代数，通过两种不同的证明方法验证了雅可比恒等式。该研究利用无穷小变换与微立方体，从几何角度推导出李括号结构，确认了双截面群切空间的代数封闭性与基本恒等式。

ABSTRACT

Groupoids provide a more appropriate framework for differential geometry than principal bundles. Synthetic differential geometry is the avant-garde branch of differential geometry, in which nilpotent infinitesimals are available in abundance. The principal objective in this paper is to show within our favorite framework of synthetic differential geometry that the tangent space of the group of bisections of a microlinear groupoid at its identity is naturally a Lie algebra. We give essentially distinct two proofs for its Jacobi identity.

研究动机与目标

• 在解析微分几何中，建立微线性广群的双截面群的切空间自然构成李代数。
• 为此李代数结构提供两个独立的几何证明方法，以验证雅可比恒等式。
• 利用幂零无穷小量，阐明无穷小规范变换与双截面李代数之间的关系。
• 在解析微分几何的背景下，通过微立方体构造与置换对称性，形式化李括号。

提出的方法

• 使用包含幂零无穷小量的格罗滕迪克拓扑框架，特别是集合 $ D = \{d \in \mathbb{R} \mid d^2 = 0\} $。
• 通过映射 $ X: D \to \mathfrak{B}(G) $，其中 $ X_0 = \mathrm{id} $，将向量场表示为双截面群的切向量。
• 将李括号 $[X,Y]$ 定义为通过双截面上的运算 $ \ast $ 所得流的交换子的导数。
• 构造 $ n $-微立方体 $ X_n \circledast \cdots \circledast X_1 $，以编码对 $ \mathfrak{B}(G) $ 的高阶无穷小作用。
• 对微立方体应用置换对称性 $ \sum_\varepsilon $，以比较不同顺序的无穷小变换。
• 通过沿轴比较微立方体差值，推导出雅可比恒等式，特别利用 $ (Y \circledast X) \mathbin{\cdot\!\!\!\cdot} \sum_{(12)}(X \circledast Y) = [X,Y] $。

实验结果

研究问题

• RQ1 在解析微分几何中，微线性广群的双截面群的切空间是否自然地构成李代数？
• RQ2 能否在不依赖无穷维流形或经典集合论的前提下，通过几何方法证明该李代数的雅可比恒等式？
• RQ3 微立方体构造与置换对称性如何编码李括号及其恒等式？
• RQ4 无穷小流与运算 $ \ast $ 在通过双截面定义李括号的过程中起什么作用？
• RQ5 两种不同的雅可比恒等式证明在几何与代数基础方面有何差异？

主要发现

• 在单位元处，双截面群的切空间微分同构于李代数丛 $ \mathcal{A}G $ 的截面空间 $ \Gamma(\mathcal{A}G) $，并构成李代数。
• 李括号 $[X,Y]$ 几何地实现为交换子 $ \sigma \ast \rho \ast \sigma^{-1} \ast \rho^{-1} $ 的导数，其中 $ \sigma, \rho \in \mathfrak{B}(G) $。
• 第一种雅可比恒等式证明依赖于伴随作用 $ \mathbf{L}_X $，并利用恒等式 $ [X,[Y,Z]] = \mathbf{L}_X[Y,Z] - \mathbf{L}_{[X,Y]}Z - \mathbf{L}_Y[X,Z] $。
• 第二种证明使用微立方体构造：$[X,Y] = Y \circledast X \mathbin{\cdot\!\!\!\cdot} \sum_{(12)}(X \circledast Y) $，其中高阶微立方体编码了雅可比恒等式。
• 通过在 $ D^3 $ 上构造函数 $ \lambda $，在微立方体值之间插值，并在对角线上恢复括号，验证了雅可比恒等式。
• 通过微立方体对称比较，验证了雅可比恒等式的全部三种形式，借助解析几何推理，确认了李代数结构。