[論文レビュー] Algebraic analysis on scalar generalized Verma modules of Heisenberg parabolic type I.: $A_n$-series

Libor Křižka, Petr Somberg|arXiv (Cornell University)|Feb 25, 2015

Advanced Algebra and Geometry参考文献 12被引用数 6

ひとこと要約

本稿では、sl(n+2,C) のHeisenbergパラボリック部分代数をもつスカラー一般化Verma加群におけるg′_r-特異ベクトルを分類するための幾何的D-加群枠組みを構築する。代数的フーリエ変換と層論的技法を用いる。主な結果は、複素化された奇数次元CR球面 S^{2n+1} 及びそのCR部分多様体 S^{2(n−r)+1} 上の同次線束間のSL(n−r+2,C)-不変微分作用素の完全分類である。

ABSTRACT

In the present article, we combine some techniques in the harmonic analysis together with the geometric approach given by modules over sheaves of rings of twisted differential operators ($\mathcal{D}$-modules), and reformulate the composition series and branching problems for objects in the Bernstein-Gelfand-Gelfand parabolic category $\mathcal{O}^\mathfrak{p}$ geometrically realized on certain orbits in the generalized flag manifolds. The general framework is then applied to the scalar generalized Verma modules supported on the closed Schubert cell of the generalized flag manifold $G/P$ for $G={ m SL}(n+2,\mathbb{C})$ and $P$ the Heisenberg parabolic subgroup, and the algebraic analysis gives a complete classification of $\mathfrak{g}'_r$-singular vectors for all $\mathfrak{g}'_r=\mathfrak{sl}(n-r+2,\mathbb{C})\,\subset\, \mathfrak{g}=\mathfrak{sl}(n+2,\mathbb{C})$, $n-r > 2$. A consequence of our results is that we classify ${ m SL}(n-r+2,\mathbb{C})$-covariant differential operators acting on homogeneous line bundles over the complexification of the odd dimensional CR-sphere $S^{2n+1}$ and valued in homogeneous vector bundles over the complexification of the CR-subspheres $S^{2(n-r)+1}$.

研究の動機と目的

• BGGパラボリック族カテゴリO_pにおける合成系列および分岐則を解析するための幾何的D-加群アプローチの開発。
• Heisenbergパラボリック部分代数をもつsl(n+2,C) のスカラー一般化Verma加群におけるg′_r-特異ベクトルの分類。
• 一般フラッグ多様体G/PとG′/P′上の同次ベクトル束間のG′-不変微分作用素の明示的記述の提供。
• 代数的フーリエ変換を用いて特異ベクトルとG′-不変微分作用素との間の対応を確立。
• 非可換極小イデアル設定に一般化された可換極小イデアルに関する先行結果を、ねじれたD-加群を用いて展開。

提案手法

• パラボリック部分群の極小部分群NのG/P上でのN軌道に台を持つねじれたD-加群として一般化Verma加群の幾何的実現。
• 特異ベクトル問題を逆極小部分群上のPDE系に変換するために代数的フーリエ変換の応用。
• Heisenbergパラボリックの場合の非可換極小イデアルを取り扱うために、ねじれた微分作用素の層（D-加群）の使用。
• gをWeyl代数A_g¯uおよびA_g¯u∗に埋め込み、普遍包あらわし代数と対称代数との関係を確立。
• sl(n,C)におけるFischer分解を用いて多項式不変量および調和成分の解析。
• 一般化Verma加群の準同型写像とG′-不変微分作用素の間の反変双対性の利用。

実験結果

リサーチクエスチョン

• RQ1 Heisenbergパラボリック部分代数をもつsl(n+2,C) のスカラー一般化Verma加群の合成系列は、D-加群を用いてどのように幾何的に実現できるか？
• RQ2 g′_r = sl(n−r+2,C) に対して、sl(n+2,C) の一般化Verma加群内に存在するg′_r-特異ベクトルの完全分類は何か？
• RQ3 一般化Verma加群内の特異ベクトルは、複素化フラッグ多様体上の同次ベクトル束間のG′-不変微分作用素とどのように対応するか？
• RQ4 代数的フーリエ変換によって得られるPDE系の解の空間の構造は何か？
• RQ5 sl(n,C)におけるFischer分解は、D-加群枠組みにおいて不変微分作用素および調和成分の解析をどのように支援するか？

主な発見

• 本稿は、すべてのg′_r = sl(n−r+2,C) ⊂ sl(n+2,C) に対して、g′_r-特異ベクトルの完全分類を提供する。
• 代数的フーリエ変換は、特異ベクトル問題から生じるPDE系の解の空間を完全に特徴付ける。
• 特異ベクトルは、複素化された奇数次元CR球面 S^{2n+1} 上の同次線束から、S^{2(n−r)+1} 上の同次ベクトル束へのSL(n−r+2,C)-不変微分作用素に正確に対応する。
• sl(n,C)におけるFischer分解を用いて、C[x,y] を C[q] ⊗ H に分解し、q = ∑xiyi および H = ker(∑∂xi∂yi) とし、H がirreducible g-表現 Ha,b の直和分解をもつことを示す。
• Hom(g′,N′)(M′, M) と HomDiff(IndG_P(V*), IndG′_P′(W*)) の間の対応は、反変双対性を確立し、加群準同型写像と微分作用素を結びつける。
• 可換極小イデアルに関する先行研究を非可換極小イデアル設定に一般化し、パラボリックカテゴリOにおける分岐問題のための枠組みを提供する。