形式リー群とリー対の表現が対応することを証明する
Representations of formal Lie groups and Lie pairs
この論文をやさしく読む
ひとことで言うと
通常のLie群を一般化した形式Lie群について、その表現と対応するLie対の加群を結び付ける理論を整えます。
何に役立つ？
微分幾何で対称性を扱う際に、群側の表現問題を対応する代数的構造で研究する土台になります。
この研究の面白いところ
形式多様体上の関数空間にLie対の加群を構成し、表現の圏と加群の圏が同型になることを証明します。先行研究の群とLie対の対応を表現理論へ広げます。
どこまで分かった？
要旨は基礎理論の構成と同型定理を述べています。具体的な計算例や応用の効果、さらに一般の構造への拡張は記されていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
微分幾何学におけるリー群を一般化した形式リー群は、代数幾何学の形式群スキームに類似する概念である。先行論文では、形式リー群をリー対と同一視する形式リー理論の定理を含め、形式リー群の基礎理論を確立した。 本論文では、形式リー群とリー対の表現論の基礎を展開する。特に、形式多様体上の関数空間にリー対の加群を構成し、形式リー群の表現の圏が、対応するリー対の加群の圏と同型であることを証明する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Formal Lie groups, which generalize Lie groups in differential geometry, are analogous to formal group schemes in algebraic geometry. In a previous paper, we established the basic theory of formal Lie groups, including a formal Lie theory theorem that identifies formal Lie groups with Lie pairs. In this paper, we develop the foundations of the representation theory of formal Lie groups and Lie pairs. In particular, we construct modules of Lie pairs on function spaces over formal manifolds and prove that the category of representations of a formal Lie group is isomorphic to the category of modules of the corresponding Lie pair.
arXiv ID: 2609.20547 ／ 要約の誤りについて