[論文レビュー] Lie supergroups vs. super Harish-Chandra pairs: a new equivalence

Giovanna Fabio|arXiv (Cornell University)|Sep 9, 2016

Advanced Algebra and Geometry参考文献 10被引用数 3

ひとこと要約

本稿では、Weil超代数を用いたファンクター的・グロテンディーク的アプローチにより、Lie超群の圏と超ハリシ・チャンドラ対の圏の間の新しい同型を確立する。そのために、超ハリシ・チャンドラ対からLie超群を構成する2つの新規ファンクター $ Psi^{\circ}$ と $ Psi^{e}$ を導入した。主な貢献は、Lie超群から超ハリシ・チャンドラ対への標準的ファンクター $ Phi$ に対する準逆関手を提供する、明示的かつ具体的な代替構成を与えることである。これは超幾何学および表現論における新たな視点を提供する。

ABSTRACT

It is known that there exists a natural functor $Φ$ from Lie supergroups to super Harish-Chandra pairs. A functor going backwards, that associates a Lie supergroup with each super Harish-Chandra pair, yielding an equivalence of categories, was found by Koszul [18]; this result was later extended by other authors, to different levels of generality, but always elaborating on Koszul's original idea. In this paper, I provide two new backwards equivalences, i.e. two different functors $Ψ^\circ$ and $Ψ^e$ that construct a Lie supergroup (thought of as a special group-valued functor) out of a given super Harish-Chandra pair, so that any Lie supergroup is recovered from its naturally associated super Harish-Chandra pair; more precisely, both $Ψ^\circ$ and $Ψ^e$ are quasi-inverse to the functor $Φ$.

研究の動機と目的

• Lie超群の圏と超ハリシ・チャンドラ対の圏の間の新しい同型を確立し、古典的コシュール構成の代替を提供すること。
• Lie超群がその関連する超ハリシ・チャンドラ対から、ファンクター的かつ明示的に再構成可能かどうかという基礎的問題に取り組むこと。
• 標準的ファンクター $ Phi$（Lie超群から超ハリシ・チャンドラ対への写像）に対する準逆関手を果たす2つの新規ファンクター $\Psi^{\circ}$ と $\Psi^{e}$ を導入すること。
• 特にWeil超代数に注目したファンクターの点のアプローチを用いて、超幾何学を再定式化し、超ハリシ・チャンドラ対から直接Lie超群を構成すること。

提案手法

• 本稿は、Weil超代数を値とするファンクターの点のアプローチを用いて、超多様体および超群を定義するファンクター的超幾何学的手法を採用している。
• 与えられた超ハリシ・チャンドラ対 $\mathcal{P} = (G_0, \mathfrak{g})$ から、$G_0$-加群 $V$ に対する誘導表現 $\mathrm{Ind}_{\mathfrak{g}_0}^{\mathfrak{g}}(V)$ を用いて、2つの異なる超群ファンクター $G_{\mathcal{P}}^{\circ}$ と $G_{\mathcal{P}}^{e}$ を構成している。
• $\Psi^{\circ}$ と $\Psi^{e}$ のファンクターは、$\eta \in A_1$、$Y \in \mathfrak{g}_1$、$\mathcal{Y} \in A_1 \otimes \mathfrak{g}_1$ に対して、作用を $1 + \eta Y$ および $\exp(\mathcal{Y})$ として実現することにより定義され、$G_0$-作用と整合的である。
• この構成により、得られるファンクターはLie超群の公理を満たし、$\bigwedge \mathfrak{g}_1$ および $\mathfrak{g}_1$ における $G_0$ の随伴作用と整合的であることが保証され、超ハリシ・チャンドラ対の構造と整合性を保つ。
• $\Psi^{\circ}$ と $\Psi^{e}$ が標準的ファンクター $\nPhi$ に対して準逆関手であることが証明され、圏の間の新しい同型が確立された。
• 本稿では、Lie超代数のPBW定理を用いて $U(\mathfrak{g}) \cong \bigwedge \mathfrak{g}_1 \otimes U(\mathfrak{g}_0)$ を分解し、誘導加群の明示的実現とその $G_0$-作用の記述を可能にした。

実験結果

リサーチクエスチョン

• RQ1 超ハリシ・チャンドラ対から、コシュールの元来の構成とは独立して、ファンクター的かつ明示的な方法でLie超群を再構成することは可能か？
• RQ2 ファンクターの点の定式化を通じて、Weil超代数がどのようにLie超群を定義するか、そしてそれが新しい同型を構築するためにどう利用できるか？
• RQ3 $\Psi^{\circ}$ と $\Psi^{e}$ の2つの新規ファンクターは、構造的および表現論的整合性の観点から、古典的コシュール構成とどのように比較できるか？
• RQ4 新しいファンクターは、誘導における線形性および忠実性の性質をどの程度保っているか？
• RQ5 自然で幾何的に意味のある方法で、$G_0$-加群を$G$-加群へ誘導する方法は、新しい超群構造と整合的に行えるか？

主な発見

• 本稿では、超ハリシ・チャンドラ対の圏からLie超群の圏への2つの新規ファンクター $\Psi^{\circ}$ と $\Psi^{e}$ を構成し、これらはいずれも標準的ファンクター $\nPhi$ に対して準逆関手である。
• 新しいファンクターはWeil超代数を用いたファンクターの点のアプローチに基づいて定義されており、従来の方法に比べてより明示的かつ幾何的に透明な構成を提供する。
• 誘導表現 $\mathrm{Ind}_{\mathfrak{g}_0}^{\mathfrak{g}}(V)$ は $\bigwedge \mathfrak{g}_1 \otimes V$ として実現され、$\bigwedge \mathfrak{g}_1$ における随伴作用と $V$ における元の $G_0$-作用によって誘導される $G_0$-作用を備える。これにより、超ハリシ・チャンドラ対の構造と整合性が保証される。
• $\Psi^{\circ}$ と $\Psi^{e}$ は、構成されたLie超群の作用を誘導加群に正しく定義し、$1 + \eta Y$ および $\exp(\mathcal{Y})$ を用いて $G_0$-作用を拡張する。これらの作用は必要な超群関係を満たす。
• この構成により、誘導加群に一意な $G$-加群構造が与えられ、元の $G_0$-作用および $\mathfrak{g}$-作用に制限される。これは誘導が制限の左随伴であることを確認する。
• 元の $G_0$-加群 $V$ が忠実である場合、誘導された $G$-加群 $\mathrm{Ind}_{G_0}^{G}(V)$ も忠実であることが示され、$G_0$ の線形性が誘導により $G$ の線形性に保存されることを示唆する。