[論文レビュー] $L_\infty$-morphisms between twisted Courant $r$-Lie algebras and untwisted Courant $(r{+}1)$-Lie algebroids

Domenico Fiorenza, Antonio Michele Miti|SPIRE - Sciences Po Institutional REpository|Feb 16, 2026

Homotopy and Cohomology in Algebraic Topology被引用数 0

ひとこと要約

The paper provides a general framework yielding canonical L_{inf}-morphisms from twisted higher Courant algebroids to untwisted ones for arbitrary r, and establishes their geometric and homotopical foundations.

ABSTRACT

In "Lie infinity algebras and higher analogues of Dirac structures and Courant algebroids" [arXiv:1003.1004], Marco Zambon constructs an $L_\infty$-algebra associated with any higher standard or twisted Courant algebroid (also known as a Vinogradov algebroid), and exhibits an explicit $L_\infty$-morphism from the Lie algebra associated with a standard Lie algebroid twisted by a closed 2-form to the Lie-2 algebra of the standard Courant algebroid. He poses the question of whether analogous canonical $L_\infty$-morphisms exist in higher degrees -- namely, for any standard higher Courant algebroid twisted by a closed $(r+1)$-form. We adfirmatively answer this question, presenting a general framework that naturally yields such canonical $L_\infty$-morphisms for arbitrary $r$, while at the same time clarifying the geometrical and homotopical structures underlying the construction. We also show how this framework accommodates the canonical morphism between Roger's observable $L_\infty$-algebra of a pre-$r$-plectic manifold and the higher Courant algebra described by Zambon and one of the authors in "Observables on multisymplectic manifolds and higher Courant algebroids" [arXiv:2209.05836].

研究の動機と目的

• 閉じた (r+1)-形式が高次 Courant アルゲブラをねじり、それに対する L_{inf}-代数を動機づけ・形式化する。
• ねじれた高次 Courant L_{inf}-代数と非ねじれた高次 Courant L_{inf}-代数の canonical な L_{inf}-形をすべての r に対して導く概念的枠組みを提供する。
• ねじれたから非ねじれた対応付けの根底にある同倫同相と幾何学的構造を明確化する。
• ねじれた Courant の枠組みを Rogers の multisymplectic observables と統一的なホモトピー的像で結びつける。

提案手法

• M 上で Cartan 微分幾何学の計算をエンコードする Cartan DGLA モデルを開発し、埋め込みとねじりを単純化する。
• g_r = Cartan ⋉ Ω[r] の構成と、Maurer–Cartan 元 σ ∈ Ω^{r+1}_{cl}(M) を用いて σ-ねじり DGLA g_{r,σ} を形成する。
• 高次 Courant 代数は DGLA/L_{inf）設定における包含射のホモトピーフィルターであることを示す（Getzler/cone フレームワーク）。
• g_r,σ と g_{r+1} の 2-項 L_{inf}-形を構成し、非負のトランケーションと整合するように σ-ねじりして Φ_σ を得る。
• ねじれたのに対して非ねじれた Courant 代数への canonical な L_{inf}-形を、L_{inf}-形の交換図とホモトピーフィーブの普遍性の性質を用いて得る。
• Rogers の multisymplectic observables を DGLA のホモトピー的に交換可能な正方形を通じてねじれた Courant 代数と結びつける。

実験結果

リサーチクエスチョン

• RQ1 canonical な L_{inf}-morphisms が任意の r に対してねじれた高次 Courant アルゲブラと非ねじれたものを結ぶ存在するか。
• RQ2 小さく概念的なモデルがこれらの射の起源と正の次数へのトランケーションとの相互作用を明らかにできるか。
• RQ3 multisymplectic observables はこのホモトピー的枠組みの中でねじれた Courant L_{inf}-代数とどのように関連するか。
• RQ4 Cartan 微分幾何学に基づく（Cartan DGLA）定式化がこれらの射の構成と解釈を簡略化できるか。

主な発見

• DGLA/L_{inf} の設定でホモトピー的フィルターを用いる一般的な枠組みは、任意の r に対してねじれた高次 Courant L_{inf}-代数から非ねじれたものへの canonical な L_{inf}-射を生み出す。
• より小さく取り扱いやすい DGLA モデル（Cartan DGLA）は、高次 Courant 代数が適切な包含のホモトピー・フィルターであることを示し、構成を明確にする。
• g_r,σ と g_{r+1} の 2-項 L_{inf}-射は σ-ねじりによって非負の次数のトランケーションと整合する射となり、予想された射を実現する。
• この枠組みは、ねじれた高次 Courant L_{inf}-代数から非ねじれたものへの自然な射を、交換図とホモトピー・フィルターの普遍性によって提供する。
• この研究は Rogers の multisymplectic observables を DGLA のホモトピー的に交換可能な正方形を通じてねじれた Courant 代数へ結びつける。
• 高次の Dirac および Courant 構造とそれらの相互関係の幾何学的・ホモトピー的基盤を照らし出す。