[论文解读] A formula for topology/deformations and its significance

R. J. Lawrence, Dennis Sullivan|arXiv (Cornell University)|Oct 30, 2006

Advanced Topics in Algebra参考文献 1被引用 4

一句话总结

本文提出了一种在由元素 $a$、$b$ 和 $e$ 生成的完备自由分次李代数上，针对微分的闭式公式，其中 $e$ 诱导一个流，使 $a$ 在单位时间内移动到 $b$。该公式涉及伯努利数和伴随作用，确保微分的平方为零，并唯一实现了区间链上的无穷余交换余代数结构，从而在有理同伦论与形变理论之间建立桥梁。

ABSTRACT

The formula is $\partial{e}=({ m ad}_e)b+\sum_{i=0}^\infty{\frac{B_i}{i!}}({ m ad}_e)^i(b-a)\>,$ with $\partial{a}+{1\over2}[a,a] =0$ and $\partial{b}+{1\over2}[b,b] =0$, where $a$, $b$ and $e$ in degrees $-1$, $-1$ and 0 are the free generators of a completed free graded Lie algebra $L[a,b,e]$. The coefficients are defined by ${x\over{e^x-1}}=\sum_{n=0}^\infty{B_n\over{}n!}x^n$. The theorem is that (I) this formula for $\partial$ on generators extends to a derivation of square zero on $L[a,b,e]$, (II) the formula for $\partial{e}$ is unique satisfying the first property, once given the formulae for $\partial{a}$ and $\partial{b}$, along with the condition that the "flow" generated by $e$ moves $a$ to $b$ in unit time. The immediate significance of this formula is that it computes the infinity cocommutative coalgebra structure on the chains of the closed interval. It may be derived and proved using the geometrical idea of flat connections and one parameter groups or flows of gauge transformations. The deeper significance of such general DGLAs which want to combine deformation theory and rational homotopy theory is proposed as a research problem.

研究动机与目标

• 在由 $a$、$b$ 和 $e$ 生成的完备自由分次李代数上构造一个微分，以建模从 $a$ 到 $b$ 在单位时间内的流动。
• 在满足Maurer-Cartan方程和流动条件的前提下，建立 ${\rm d}e$ 的唯一公式，给定 ${\rm d}a$ 和 ${\rm d}b$。
• 为闭区间链上的无穷余交换余代数结构提供显式的闭式表达式。
• 通过具有负次数生成元的DGLA框架，统一有理同伦论与形变理论中的概念。

提出的方法

• 微分在度数分别为 $-1$、$-1$ 和 $0$ 的生成元 $a$、$b$ 和 $e$ 上定义，满足 ${\rm d}a + \frac{1}{2}[a,a] = 0$ 和 ${\rm d}b + \frac{1}{2}[b,b] = 0$。
• ${\rm d}e$ 的公式为 ${{\rm d}e} = ({\rm ad}_e)b + \sum_{i=0}^{\infty} \frac{B_i}{i!}({\rm ad}_e)^i(b - a)$，其中 $B_i$ 为伯努利数。
• 通过莱布尼茨法则将推导扩展至整个李代数，并通过代数恒等式和算子恒等式验证微分平方为零的条件。
• 证明依赖于将 $e$ 几何解释为生成一个规范变换的一参数群，其流动将 $a$ 移动到 $b$。
• 关键恒等式涉及伴随算子的指数和Baker-Campbell-Hausdorff公式，用于验证一致性。
• 通过要求由 $e$ 生成的流动在单位时间内将 $a$ 映射到 $b$，且微分平方为零，确立了公式的唯一性。

实验结果

研究问题

• RQ1 如何在自由分次李代数上构造一个微分，使其能建模从一个Maurer-Cartan元素到另一个在单位时间内的流动？
• RQ2 实现该流动并确保微分平方为零的生成元 $e$ 的微分的显式闭式表达式是什么？
• RQ3 该构造如何实现闭区间链上的无穷余交换余代数结构？
• RQ4 伯努利数在有理同伦论中编码对角近似更高同伦数据的角色是什么？
• RQ5 该框架能否推广以建模高维胞复形及其链余代数结构？

主要发现

• ${\rm d}e$ 的公式唯一地扩展为完备自由分次李代数 $L[a,b,e]$ 上的平方为零的导子。
• 微分满足 $a$ 和 $b$ 的Maurer-Cartan方程，且由 $e$ 生成的流动在单位时间内将 $a$ 映射到 $b$。
• 该公式通过生成函数 $\frac{x}{e^x - 1} = \sum \frac{B_n}{n!}x^n$ 涉及伯努利数，该函数控制微分中的高阶修正。
• 该构造实现了闭区间链上的无穷余交换余代数结构，提供了典范模型。
• 该结果源自涉及平坦联络和规范群作用的几何原理，将拓扑学与形变理论联系起来。
• 该公式被证明在将区间划分为两部分的背景下，等价于Baker-Campbell-Hausdorff公式。