[論文レビュー] 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$ に移動させるフローを生成する。この公式はベルヌーイ数と随伴作用を含み、微分の二重作用がゼロになることを保証し、区間のチェイン上でのインfinityココンパクト代数的構造を一意に実現する。この結果は、有理ホモトピー論と変形理論を結ぶ。

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}a$ および ${\rm d}b$ が与えられたもとで、${\rm d}e$ の一意な公式を確立すること。
• 閉区間のチェイン上でのインfinityココンパクト代数的構造の明示的・閉形式の表現を提供すること。
• 負の次数を持つ生成子を有する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$ はベルヌーイ数である。
• Leibniz則を用いて公式を全リー代数へ拡張し、代数的変形と作用素恒等式を用いて二重作用がゼロであることを検証する。
• 証明は、$e$ がゲージ変換の1パラメータ群を生成する幾何的解釈に基づく。このフローにより $a$ が $b$ に移動する。
• 指数関数的随伴作用素とBaker-Campbell-Hausdorff公式に関連する重要な恒等式が、一貫性の検証に用いられる。
• 公式の一意性は、$e$ が生成するフローが単位時間で $a$ を $b$ に移動させるとともに、微分の二重作用がゼロになるという条件から確立される。

実験結果

リサーチクエスチョン

• RQ1 自由符号付きリー代数上の微分をどのように構成すれば、1つのMaurer-Cartan要素から別の要素への単位時間でのフローをモデル化できるか？
• RQ2 このフローを実現し、微分の二重作用がゼロになるようにする生成子 $e$ の微分の明示的・閉形式の表現は何か？
• RQ3 この構成は、閉区間のチェイン上でのインfinityココンパクト代数的構造をどのように実現するか？
• 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$ を通じてベルヌーイ数を含み、微分における高次補正を制御する。
• この構成は、閉区間のチェイン上でのインfinityココンパクト代数的構造を実現し、標準的モデルを提供する。
• 結果は、平坦接続とゲージ群作用に基づく幾何的原理から導かれる。これにより、トポロジーと変形理論が結びつけられる。
• この公式は、区間を2つの部分に分割する文脈において、Baker-Campbell-Hausdorff公式と同値であることが示される。