[論文レビュー] Letters to Alan Weinstein about Courant algebroids

Pavol Ševera|arXiv (Cornell University)|Jul 2, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 1被引用数 43

ひとこと要約

この論文は、パヴォル・シェベラがアラン・ヴァインシュタインに宛てた8通の手紙を提示し、コウランス代数系（CAs）の基礎的洞察を詳細に記述している。これには、分類、幾何的・圏論的構造、dgシンプレクティック多様体、gerbes、ポワンソン＝ライ T双対性との深い関係が含まれる。本論文は、CAsが、シンプレクティック形式と古典的マスター方程式を満たす次数3関数を持つ次数2のNQ多様体として同値であることを確立し、生成ディラック作用素の構成や、有理ホモトピー論を用いたシンプレクティック2群に向けた統合手続きを導入している。

ABSTRACT

These letters, written in 1998-2000, contain various basic results about Courant algebroids (CAs), such as classification of exact and transitive CAs, reduction of CAs, description in terms of symplectic dg manifolds, a canonical generating Dirac operator, and a relation with Poisson-Lie T-duality.

研究の動機と目的

• アラン・ヴァインシュタインへの一連の探求的手紙を通じて、コウランス代数系の包括的かつ包括的な理解を構築すること。
• 幾何学的およびコホロロジー的手段を用いて、正確かつトランスミッションなコウランス代数系を分類すること。
• コウランス代数系と、ホモロジー的ベクトル場を持つ次数2のdgシンプレクティック多様体との明確な関係を確立すること。
• コウランス代数系が、ポワンソン＝ライ T双対性および2次元量子場の理論の背後にある幾何的構造に果たす役割を調査すること。
• 有理ホモトピー論を用いて、自然な生成ディラック作用素の構成と、シンプレクティック2群への統合手続きの提案。

提案手法

• 多様体上のベクトル bundle 上で非反対称括弧と対称ペアリングを用いてコウランス代数系を定義する。
• 古典的マスター方程式 $\{\theta, \theta\} = 0$ を用いて、次数2のNQ多様体としてのコウランス代数系を特徴づける。ここで、次数2のシンプレクティック形式を持つ。
• 対称ペアリングを持つベクトル bundle から、$T^{*}[2]A[1]$ への埋め込みを介して、dgシンプレクティック多様体を構成し、自然な次数3関数 $\theta$ を得る。
• スールリューの有理ホモトピー論とAKSZ構成を用いて、コウランス代数系をシンプレクティック2群に統合する。
• NQ多様体の概念を導入し、CAsのホモロジー的およびシンプレクティック構造を形式的に記述する。
• トランスミッションなリー代数系と第一ポントリャーギン類が自明なものを用いて、コウランス代数系の還元を通じてポワンソン＝ライ T双対性を定式化する。

実験結果

リサーチクエスチョン

• RQ1 コウランス代数系は、特にトランスミッションおよび正確な場合に、どのようにグローバルに分類可能か？
• RQ2 コウランス代数系と、ホモロジー的ベクトル場を持つ次数2のdgシンプレクティック多様体との間の明確な対応関係は何か？
• RQ3 コウランス代数系は、高次構造の出現を通じて、gerbes や2次元量子場の理論とどのように関係するか？
• RQ4 コウランス代数系は、シンプレクティック2群のような高次圏的対象に統合可能か？ もしそうなら、その方法は何か？
• RQ5 生成ディラック作用素は、CAsに関連するdgシンプレクティック多様体の変形量子化の文脈で果たす役割は何か？

主な発見

• 正確なコウランス代数系は、基底多様体上の閉3形式によって分類され、dg形式論を通じてバンドルgerbesと自然に結びつく。
• トランスミッションなコウランス代数系は、第一ポントリャーギン類が自明なトランスミッションなリー代数系によってグローバルに分類される。
• コウランス代数系は、次数2のシンプレクティック形式と、$\{\theta, \theta\} = 0$ を満たす次数3関数 $\theta$ を持つ非負次数多様体として同値である。これは、dgシンプレクティック幾何学との深い双対性を確立する。
• 任意のコウランス代数系に対して、自然な生成ディラック作用素が構成され、これにより関連するdgシンプレクティック多様体の変形量子化が可能になる。
• コウランス代数系のシンプレクティック2群への統合は、スールリューの有理ホモトピー論を用いて達成され、基本群の群の構成が予備的ステップとして新規に提示された。
• この研究で「NQ多様体」という用語が導入・形式化され、後に導来微分幾何学の標準的用語となった。