[論文レビュー] Unimodular L-infinity algebras

Johan Granåker|ArXiv.org|Mar 12, 2008

Advanced Topics in Algebra参考文献 5被引用数 8

ひとこと要約

この論文は、ホモトピー理論をホイール付きオペラッドを用いて構築し、非可換 Lie 環のホイール付きオペラッドが Koszul であることを証明し、cobar コンストラクションにより明示的に解体する。主な貢献は、有限次元の $L_{\nu}$-代数構造を非可換なものに拡張するためのコhomological障害—特徴的類の消えること—であり、幾何学的解釈としてホモロジー的ベクトル場と不変測度をもつ。

ABSTRACT

We give a new short proof that the wheeled operad of unimodular Lie algebras is Koszul and use this to explicitly construct its minimal resolution. A representation of this resolution in a finite dimensional vector space V we call a unimodular L-infinity algebra. Such a structure corresponds to a homological vector field on V together with an invariant measure. We present explicit formulae for homotopy transferred structures, define the deformation complex and give a cohomological obstruction to the extension of an arbitrary structure of finite dimensional L-infinity algebra to a structure of unimodular L-infinity algebra.

研究の動機と目的

• 標準的オペラッドでは非可換性条件を捉えきれないため、非可換 Lie 環のホモトピー理論を構築すること。
• ホイール付きオペラッド $\mathcal{U}\!\mathcal{L}\!\mathit{ie}$ が Koszul であることを証明し、cobar コンストラクションによりその最小解体 $\mathcal{U}\!\mathcal{L}\!\mathit{ie}_{\infty}$ を明示的に構成すること。
• この解体の表現として非可換 $L_{\nu}$-代数を定義・特徴づけ、それらをホモロジー的ベクトル場と不変測度に関連付けること。
• 任意の有限次元 $L_{\nu}$-代数を非可換 $L_{\nu}$-代数に拡張できるためのコhomological障害—特徴的類の消えること—を提供すること。
• Batalin-Vilkovisky 量子化から得られるフェインマン積分が、最小解体の表現をなしており、それらにホモトピー論的意味を与えること。

提案手法

• 非可換性条件が標準的オペラッドでは許されない非自明な縮約を含むため、ホイール付きオペラッドを用いてこれを扱う。
• cobar コンストラクションを用いてホイール付きオペラッド $\mathcal{U}\!\mathcal{L}\!\mathit{ie}$ の Koszul 性を証明し、その最小解体 $\mathcal{U}\!\mathcal{L}\!\mathit{ie}_{\infty}$ を得る。
• 解体と微分付き Lie 環の技法を用いて、非可換 $L_{\infty}$-構造のホモトピー移行の明示的公式を導出する。
• 非可換 $L_{\infty}$-代数を、ホモロジー的ベクトル場 $Q$ と $V$ の 0 の形式的近傍上での $Q$-不変測度 $\rho_f$ のペア $(Q, \rho_f)$ として幾何学的に解釈する。
• 非可換 $L_{\infty}$-代数の変形複体を、変形を分類する Mauerer-Cartan 要素を持つ dg Lie 環として定義する。
• $L_{\infty}$-代数の特徴的類を定義し、非可換構造への拡張が可能であるのは、この類が消える場合に限ることを証明する。

実験結果

リサーチクエスチョン

• RQ1 非可換性条件を含む Lie 環において、オペラッド的手法を用いて一貫したホモトピー理論を構築できるか？
• RQ2 非可換 Lie 環のホイール付きオペラッドが Koszul であるか？ その場合、明示的な最小解体が得られるか？
• RQ3 非可換 $L_{\infty}$-代数の幾何的意味は、微分幾何学と不変測度の観点からどのように解釈できるか？
• RQ4 有限次元 $L_{\infty}$-代数を非可換 $L_{\infty}$-代数に拡張できないコhomological障害は何か？
• RQ5 Batalin-Vilkovisky 量子化から得られるフェインマン積分は、非可換 Lie 環オペラッドの最小解体とどのように関係するか？

主な発見

• 非可換 Lie 環のホイール付きオペラッドは Koszul であり、cobar コンストラクションにより最小解体 $\mathcal{U}\!\mathcal{L}\!\mathit{ie}_{\infty}$ が明示的に構成された。
• 非可換 $L_{\infty}$-代数は、ホモロジー的ベクトル場 $Q$ と $V$ の 0 の形式的近傍上での $Q$-不変測度 $\rho_f$ のペア $(Q, \rho_f)$ と同値である。
• 非可換 $L_{\infty}$-構造のホモトピー移行は、反復括弧積と符号を伴う循環トレースを含む明示的公式で与えられる。
• 非可換 $L_{\infty}$-代数の変形複体は、変形を分類する Mauerer-Cartan 要素を持つ dg Lie 環であり、その構造が特徴づけられる。
• $L_{\infty}$-代数が非可換拡張をもつのは、その特徴的類が消える場合に限る。これによりコhomological障害が与えられる。
• 拡張された BF 理論の Mnëv の Batalin-Vilkovisky 量子化から得られるフェインマン積分は、最小解体 $\mathcal{U}\!\mathcal{L}\!\mathit{ie}_{\infty}$ の表現をなし、それらにホモトピー論的意味を与える。