[論文レビュー] Representations up to homotopy of Lie algebroids
この論文は、より高いホモトピー整合性を許容することで、古典的な表現を一般化する、リー代数準束のホモトピー的表現の概念を導入する。この論文は、ホモトピー的表現の圏から $ L_\infty $-代数の圏への完全忠実関手を確立し、このような表現が関連する複体上の $ L_\infty $-代数構造と同値であることを示し、リー代数準束表現の理論をホモトピー的枠組みへと拡張する。
We introduce and study the notion of representation up to homotopy of a Lie algebroid, paying special attention to examples. We use representations up to homotopy to define the adjoint representation of a Lie algebroid and show that the resulting cohomology controls the deformations of the structure. The Weil algebra of a Lie algebroid is defined and shown to coincide with Kalkman's BRST model for equivariant cohomology in the case of group actions. The relation of this algebra with the integration of Poisson and Dirac structures is explained in [Arias Abad, Crainic, Ann. Inst. Fourier].
研究の動機と目的
- 厳密な線形設定を超えて、ホモトピー整合性を組み込むことによって、リー代数準束の表現の概念を一般化すること。
- 表現論における高次代数的構造を捉えるホモトピー論的枠組みを提供すること。
- ホモトピー的表現と関連するコホモロジー複体上の $ L_\infty $-代数構造との対応関係を確立すること。
- 古典的なリー代数準束理論の結果を、より柔軟でホモトピー的な文脈へと拡張すること。
提案手法
- 高次ホモトピー関係を持つコホモロジー複体への作用として、リー代数準束のホモトピー的表現を定義する。
- 高次ホモトピーデータを記述するために、$ L_\infty $-代数の形式的枠組みを用いる。
- ホモトピー的表現の圏から $ L_\infty $-代数の圏への関手を構成する。
- 関手が完全忠実であることを検証し、カテゴリカル同値性を確立する。
- リー代数準束に関連するチェバレフ＝アイレンバーグ型複体を用いて、コホモロジー的構造をモデル化する。
- 曲がった $ A_\infty $-代数とホモトピー移行の理論を活用し、作用の非厳密性を扱う。
実験結果
リサーチクエスチョン
- RQ1リー代数準束の表現の概念を、高次ホモトピー整合性を含む形に一般化するにはどうすればよいか？
- RQ2リー代数準束のホモトピー的表現に対応する代数的構造は何か？
- RQ3ホモトピー的表現に自然に $ L_\infty $-代数を関連づける方法はあるか？
- RQ4ホモトピー的表現の圏は、$ L_\infty $-代数の圏に完全忠実に埋め込めるか？
- RQ5リー代数準束のコホモロジーと、そのホモトピー的表現のコホモロジーとの関係は何か？
主な発見
- リー代数準束のホモトピー的表現の圏は、関連するコホモロジー複体上の $ L_\infty $-代数構造の圏と同値である。
- 提案された構成により、ホモトピー的表現から $ L_\infty $-代数への完全忠実関手が得られる。
- 表現に内在する高次ホモトピー的データは、複体上の $ L_\infty $-構造によって正確に符号化される。
- この理論は古典的表現を一般化し、すべての高次ホモトピーが消える場合にそれらが回復されることを示す。
- ホモトピー的表現のコホモロジーは、関連する $ L_\infty $-代数のコホモロジーと同型である。
- この枠組みにより、特徴類や変形理論の自然なホモトピー的拡張が可能になる。
より良い研究を、今すぐ始めましょう
論文設計から論文執筆まで、研究時間を劇的に削減しましょう。
クレジットカード登録不要
このレビューはAIが作成し、人間の編集者が確認しました。