[論文レビュー] Statement of the Alexandru Conjecture

Pierre-Yves Gaillard|arXiv (Cornell University)|Mar 12, 2000

Algebraic structures and combinatorial models参考文献 5被引用数 4

ひとこと要約

本稿では、特定の実再帰的リー群のハリシュ・チャンドラモジュールの圏 $\mathcal{H}_\rho$ がグイシャルデット圏である、すなわち $\mathcal{H}_\rho$-順序における初期セグメントによって生成される部分圏が Ext-完全であるという、弱アレクサンドル予想を提示する。この予想は $G = SL(3,\mathbb{R})$、$\mathrm{Spin}(n,1)$、$SU(n,1)$ に対して証明され、実双曲空間上の $L^p$ ハーモニック形式を幾何的モデルとして用い、 Bernstein-Gelfand-Gelfand 圏 $\mathcal{O}$ におけるよく知られたグイシャルデット性質と類似性を示している。

ABSTRACT

The Vogan Conjectures (sometimes called Kazhdan-Lusztig Conjectures) say that a certain algorithm works both on the category of BGG modules and on the category of Harish-Chandra modules. The Alexandru Conjecture tries to uncover the general property common to these two categories which makes Vogan's algorithm work.

研究の動機と目的

• Bernstein-Gelfand-Gelfand 圏 $\mathcal{O}$ とハリシュ・チャンドラモジュールの圏 $\mathcal{H}$ 間の既知の類似性を拡張し、$\mathcal{H}_\rho$ に対してグイシャルデット性質を予想すること。
• 実再帰的リー群の表現論と、実双曲空間上の $L^p$ ハーモニック形式との間の関係を確立すること。
• $\mathrm{Spin}(2n+1,1)$-対称空間上の $p$-形式の構造を通じて、強アレクサンドル予想の幾何的動機を与えること。
• ホモロジー代数および Ext-有限性の性質を用いて、特定の群に対して弱アレクサンドル予想を検証すること。

提案手法

• $\mathrm{Ext}^1$ の非消滅および射影次元の差を用いて、複素数係数圏における単純対象の同型類に $\mathcal{C}$-順序を定義する。
• グイシャルデット圏の概念を導入する：初期セグメントによって生成される全部分圏が Ext-完全であること。
• 実双曲 $(2n+1)$-空間上の $p$-形式の位相的 $G$-加群の圏 $\mathcal{C}$ を用いる。ここで $G = \mathrm{Isom}^+(\mathbb{H}^{2n+1})$ である。
• $\Omega^p_k$ に $C^0$-位相、$\Omega^p$ に帰納的極限位相を導入し、微分および共微分作用素の核として $L_p$、$M_p$、$\overline{M}_p$ を定義する。
• $\mathcal{H}_\rho$ が $\mathcal{C}$ の有限長対象であり、$\Delta$ のあるべきによって消える部分圏に同値であることを示す。
• ホモロジー代数を用いて、$\mathrm{Tor}$ および $\mathrm{Ext}$ のスペクトル系列と加群の平坦性条件を用い、$\mathcal{H}_\rho$ が $\mathcal{C}$ で Ext-完全であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 ハリシュ・チャンドラモジュールの圏 $\mathcal{H}_\rho$ はグイシャルデット圏であるか、すなわち初期セグメントによって生成される部分圏が Ext-完全であるか？
• RQ2 $\mathcal{H}_\rho$ のホモロジー的構造は、実双曲空間上の $L^p$ ハーモニック形式によってモデル化可能か？
• RQ3 $SL(3,\mathbb{R})$、$\mathrm{Spin}(n,1)$、$SU(n,1)$ の場合に、$\mathcal{H}_\rho$-順序と $\mathcal{O}$-順序が一致するか？
• RQ4 実双曲空間 $\mathbb{H}^{2n+1}$ 上の $p$-形式の圏 $\mathcal{C}$ における単純対象 $L_p$ の射影次元は何か？
• RQ5 $\mathcal{H}_\rho$ が $\mathcal{C}$ で Ext-完全であることは、代数的枠組みにおける $M$-可篩性および平坦性条件とどのように関係するか？

主な発見

• $G = SL(3,\mathbb{R})$、$\mathrm{Spin}(n,1)$、$SU(n,1)$ に対して弱アレクサンドル予想が成立し、ホモロジー代数および幾何的モデルを用いて証明された。
• 実双曲空間 $\mathbb{H}^{2n+1}$ 上の $p$-形式の圏における単純対象 $\{L_p\}_{p=0}^n$ の $\mathcal{C}$-順序は、$p$ の自然な順序とは逆である。
• $\mathcal{C}$ における $L_p$ の射影次元は $2n+1 - p$ であり、これは $\mathcal{H}_\rho$ における射影次元と一致する。
• $\mathcal{H}_\rho \subset \mathcal{C}$ は Ext-完全である。つまり、すべての $V,W \in \mathcal{H}_\rho$ に対して $\mathrm{Ext}^\bullet_{\mathcal{H}_\rho}(V,W) \cong \mathrm{Ext}^\bullet_{\mathcal{C}}(V,W)$ が成り立つ。
• $\mathcal{O}_\rho$ は Cline, Parshall, および Scott によってグイシャルデット圏であると示されており、$\mathcal{H}_\rho$ に対する基礎的な類似性を提供している。
• 圏 $\mathcal{H}_\rho$ は、$\Delta$ のあるべきによって消える、すなわち有限長対象からなる $\mathcal{C}$ の全部分圏に同値である。