[論文レビュー] Super Distributions, Analytic and Algebraic Super Harish-Chandra pairs

Claudio Carmeli, R. Fioresi|arXiv (Cornell University)|Jun 6, 2011

Algebraic structures and combinatorial models参考文献 14被引用数 10

ひとこと要約

本稿は、特徴値が零の体上の解析的および代数的(super)群への超ハリシ・チャンドラ対の理論を拡張し、そのような(super)群の圏とそれに対応する超ハリシ・チャンドラ対の圏との間の同値性を確立する。分布の超代数を導入し、(super)群が(super)多様体に作用することは、それらに対応するSHCPの作用とちょうど一致することを証明し、コスタントの微分的枠組みを一般化する。

ABSTRACT

The purpose of this paper is to extend the theory of Super Harish-Chandra pairs, originally developed by Koszul for Lie supergroups, to analytic and algebraic supergroups, in order to obtain information also about their representations. We also define the distribution superalgebra for algebraic and analytic supergroups and study its relation with the universal enveloping superalgebra

研究の動機と目的

• 超ハリシ・チャンドラ対の理論を微分的設定から解析的および代数的(super)群へ拡張すること。
• 代数的および解析的(super)群のための分布超代数を定義し、普遍包あらわし超代数と関連付けること。
• 適切な条件下で、解析的または代数的超ハリシ・チャンドラ対の圏と、解析的またはアフィン代数的(super)群の圏との同値性を確立すること。
• コスタントの枠組みを一般化し、(super)群の作用を超ハリシ・チャンドラ対を介して同等に扱うアプローチを提供すること。
• 文献における空白を埋め、解析的および代数的カテゴリーにおける(super)群表現の完全で自己完結的な取り扱いを提供すること。

提案手法

• 局所環を最大イデアルの冪で割ったものから基底体への準同型として、解析的(super)多様体および代数的(super)スキーム上の分布を定義する。
• すべての $ k $-点における有限位数の分布の和として、分布超代数 $ D(X) $ を構成する。
• ハリシ・チャンドラ対構造を通じて、分布超代数と普遍包あらわし超代数との双対性を確立する。
• 関手的ポイントと層論的技法を用いて、解析的および代数的(super)群を一様に取り扱う。
• (super)群が(super)多様体に作用することは、その関連するSHCPの作用にちょうど一対一に対応し、$ \rho(X) $ と引き戻し $ \underline{a}^* $ を含む超代数準同型によって与えられることを証明する。
• SHCPが(super)多様体に作用する仕組みが、$ \mathrm{Hom}_{\mathcal{U}(\mathfrak{g}_0)}(\mathcal{U}(\mathfrak{g}), \mathcal{O}_{G_0} \hat{\otimes} \mathcal{O}_M) $ を含む自然同型を介して、完全な(super)群作用を決定することを示す。

実験結果

リサーチクエスチョン

• RQ1 超ハリシ・チャンドラ対の理論を微分的カテゴリーから解析的および代数的(super)群へ一般化する方法は何か？
• RQ2 代数的および解析的(super)群の分布超代数の構造は何か？ そして、普遍包あらわし超代数とどのように関係するか？
• RQ3 特徴値が零の体上での解析的／代数的超ハリシ・チャンドラ対の圏と、解析的／アフィン代数的(super)群の圏との間に同値性があるか？
• RQ4 (super)群が(super)多様体に作用することは、その関連するSHCPを介して同等に記述可能か？ もしそうなら、その対応はどのように構成されるか？
• RQ5 代数的および解析的設定において、(super)群の無限小的および縮約された作用は、そのグローバル作用とどのように関係するか？

主な発見

• (super)群 $ X $ 上の分布超代数 $ D(X) $ は、各点における局所環の完備化の双対と同型であり、$ D_1(X,x) $ は自然に $ x $ における接空間と同一視される。
• アフィン代数的(super)群に対しては、有理点 $ x $ における分布は $ \mathcal{O}(X)/m_x^n $ 上の線形汎関数に対応し、代数幾何学における標準的定義が回復される。
• Lie超代数が $ \mathfrak{g} $ である(super)群 $ G $ に対して、分布超代数 $ D(G) $ は普遍包あらわし超代数 $ \mathcal{U}(\mathfrak{g}) $ と同型である。これは、微分的状況におけるコスタントの双対性を一般化する。
• 特徴値が零の体上では、解析的または代数的超ハリシ・チャンドラ対の圏と、解析的またはアフィン代数的(super)群の圏との間に自然な同値性が存在する。
• (super)群 $ G $ が(super)多様体 $ M $ に作用することは、その関連するSHCP $ (G_0, \mathfrak{g}) $ の作用とちょうど同等であり、対応は超代数準同型 $ a_\rho^* $ によって与えられる。この準同型は、$ f \in \mathcal{O}_M(U) $ を $ X \mapsto (-1)^{|X|}(1 \otimes \rho(X))\underline{a}^*(f) $ を通じて $ \mathcal{U}(\mathfrak{g}_0) $-線形写像に写す。
• (super)群作用の一意性は、$ (\mathrm{ev}_e \otimes 1)a_\rho^*(f) = f $ が成り立つことから保証され、これにより対応がSHCP作用によって完全に決定される。