[論文レビュー] $L_\infty$ and $A_\infty$ structures: then and now

Jim Stasheff|arXiv (Cornell University)|Sep 4, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 71被引用数 4

ひとこと要約

本稿は、55年にわたるホモトピー理論、代数的トポロジー、および数理物理学における $A_\infty$ および $L_\infty$-構造の発展について、個人的で回顧録的な概説を提供する。Sugawara や Moore、Tamari の基礎的寄与を強調しつつ、高次ホモトピー代数の進化、変形理論やストリング場理論におけるその役割、循環的および導来構造の出現を扱い、概念的洞察と軽視されがちな結果に焦点を当てる。

ABSTRACT

Looking back over 55 years of higher homotopy structures, I reminisce as I recall the early days and ponder how they developed and how I now see them. From the history of $A_\infty$-structures and later of $L_\infty$ -structures and their progeny, I hope to highlight some old results which seem not to have garnered the attention they deserve as well as some tantalizing new connections.

研究の動機と目的

• 50年にわたる $A_\infty$ および $L_\infty$-構造の発展について、歴史的かつ概念的な回顧録を提供すること。
• 高次ホモトピー代数理論における基礎的だが軽視されがちな結果を浮き彫りにすること。
• 高次代数的構造と、幾何学、位相幾何学、および数理物理学におけるその応用との相互作用を探ること。
• これらの構造が位相的起源から変形理論やストリング場理論における現代的定式化へとどのように進化したかを反映すること。
• オペラッド、導来括弧、循環的構造が、数学と物理学の見かけ上異なる分野を統一する役割を果たすことを強調すること。

提案手法

• Sugawara (1957) によるファイブレーションとホモトピー的結合性に関する初期の研究から、$A_\infty$-空間および代数の歴史的発展をたどる。
• アソシアヘドロン（Stasheff の多面体）が、高次結合性制約の幾何的実現であることを説明し、当初 Tamari によって構成された。
• オープン・クローズドホモトピー代数（OCHA）をモデル化するため、オペラッドおよびカラーモデルのオペラッド（例えばスイスチーズ・オペラッド）の枠組みを適用する。
• 微分付きコールゲブラ上のコデリバティブを用いて、$A_\infty$-、$L_\infty$-、および OCHA-構造を統一的な代数的設定で特徴付ける。
• 内積と循環性を $A_\infty$-および $L_\infty$-代数に適用し、ストリング場理論における作用関数への関連を示す。
• 散乱振幅の計算における多面体（例：アミリトゥーダロン、正のグラスマン多様体）の出現を分析し、アソシアヘドロンと接続する。

実験結果

リサーチクエスチョン

• RQ1 $A_\infty$-空間の概念は、ループ空間およびファイブレーションに関する初期の研究からどのように発展したか？
• RQ2 Tamari のアソシアヘドロンが、高次結合性の形式的定式化において果たす意義は何か？
• RQ3 $L_\infty$-代数は、変形理論および有理型ホモトピー論においてどのように生じるか？
• RQ4 循環的 $A_\infty$-および $L_\infty$-代数は、ストリング場理論および BV 形式主義からどのように出現するか？
• RQ5 スイスチーズ・オペラッドは、ホモトピー代数におけるオープンおよびクローズド・ストリング構造を統合的にどのようにモデル化するか？

主な発見

• Sugawara の1957年の研究は、ループ空間であるための無限個のホモトピー的条件の系列を初めて提示したが、これは $A_\infty$-構造の形式化よりも前にさかのぼる。
• Tamari が1951年に構成したアソシアヘドロン $K_n$ は、$A_\infty$-構造の幾何的基盤となったが、後に Stasheff がパrameter化された写像を通じて再解釈した。
• ファイブレーション列における $XP(3)$ の存在は、ホモトピー的結合性と同値であり、古典的射影幾何学の一般化である。
• 循環的 $A_\infty$-代数は、Kontsevich と Penkava によって形式化されたが、作用関数の循環的対称性を満たす必要性に由来する。
• スイスチーズ・オペラッドは、オープン・クローズド・ホモトピー代数（OCHA）をカラーモデルのオペラッド的枠組みで提供し、オープンおよびクローズド・ストリングの相互作用をモデル化する。
• ゲージ理論における散乱振幅は、運動量空間におけるアソシアヘドロンの一般化であるアミリトゥーダロンと関連しており、量子場理論における深い幾何的構造を示唆する。