[論文レビュー] ON THE CANONICAL FILTRATION OF AN IRREDUCIBLE REPRESENTATION

Helge Øystein Maakestad|arXiv (Cornell University)|Mar 18, 2010

Algebraic structures and combinatorial models参考文献 7被引用数 2

ひとこと要約

本稿は、$V_\bullet$ におけるフラッグの安定化子であるパラボリック部分代数の逆対称部分代数の冪零部分代数の普遍包あらわし代数 $U(\mathfrak{n}(V_\bullet)^{\mathrm{op}})$ を用いて、非可約有限次元 $\mathfrak{sl}(V)$-加群 $L(\lambda)$ の正規化フィルトレーション $L_l(\lambda)$ を構成する。$U(\mathfrak{n}(V_\bullet)^{\mathrm{op}})$ を用いた $L_l(\lambda)$ の明示的基底を提供し、$l$ を関数として $L_l(\lambda)$ の次元を計算する。このフィルトレーションは、先行研究における幾何的実現を通じて、旗多様体 $SL(V)/P$ 上のジャンプバンドルと関連づけられる。

ABSTRACT

The aim of this paper is to study the canonical filtration $L(λ)_l$ of an irreducible finite dimensional $\operatorname{SL}(V)$-module $L(λ)$ using the universal enveloping algebra $U(\mathfrak{sl}(V))$ and the annihilator ideal $ann(v)$ of a highest weight vector $v$ in $L(λ)$. We give a basis for $L(λ)_l$ and calculate the dimension of $L(λ)_l$ as a function of $l$. This is done in terms of the universal enveloping algebra of the nilpotent radical of an opposite parabolic sub algebra of the stabilizer Lie algebra of a flag $V_*$ in $V$ with respect to a choice of roots for $\mathfrak{sl}(V)$.

研究の動機と目的

• 非可約有限次元 $\mathfrak{sl}(V)$-加群 $L(\lambda)$ の正規化フィルトレーション $L_l(\lambda)$ を、$V$ 内のフラッグ $V_\bullet$ から導かれる代数的構造を用いて構成すること。
• フィルトレーションの各レベル $L_l(\lambda)$ に対して、$\mathfrak{n}(V_\bullet)^{\mathrm{op}}$ の普遍包あらわし代数 $U(\mathfrak{n}(V_\bullet)^{\mathrm{op}})$ を用いた明示的基底を提供すること。
• $L_l(\lambda)$ の次元をフィルトレーションインデックス $l$ の関数として計算し、フィルトレーション層の定量的解析を可能にすること。

提案手法

• $V$ 内のフラッグ $V_\bullet$ の安定化リー代数 $\mathfrak{p}(V_\bullet)$ を $\mathfrak{sl}(V)$ のパラボリック部分代数として実現し、$\mathfrak{p}(V_\bullet)^{\mathrm{op}}$ をその逆対称部分代数とする。
• $\mathfrak{n}(V_\bullet)^{\mathrm{op}}$ を $\mathfrak{p}(V_\bullet)^{\mathrm{op}}$ の冪零部分代数と定義し、その普遍包あらわし代数 $U(\mathfrak{n}(V_\bullet)^{\mathrm{op}})$ を用いてフィルトレーションを構成する。
• $U(\mathfrak{n}(V_\bullet)^{\mathrm{op}})$ の正規化フィルトレーション $U_l(\mathfrak{n}(V_\bullet)^{\mathrm{op}})$ を用いて、$L_l(\lambda)$ の基底を構成し、$\mathfrak{p}(V_\bullet)$ の $L(\lambda)$ 上の作用を活用する。
• 最高重みベクトル $v$ の annihilator 理想 $\mathrm{ann}(v)$ を用いて、加群構造とフラッグ安定化子および逆対称パラボリック構造との関係を特定する。
• Borel-Weil-Bott 定理と幾何的表現論を適用し、$L_l(\lambda)$ を旗多様体 $SL(V)/P$ 上のジャンプバンドルのファイバーとして解釈することで、代数的構造と幾何的構造を結びつける。

実験結果

リサーチクエスチョン

• RQ1 非可約 $\mathfrak{sl}(V)$-加群の正規化フィルトレーション $L_l(\lambda)$ を、冪零部分代数の普遍包あらわし代数を用いて明示的に構成する方法は何か？
• RQ2 最高重みベクトルの安定化リー代数と $V$ 内のフラッグの安定化子との正確な関係は何か？
• RQ3 $L_l(\lambda)$ の次元は、フィルトレーションインデックス $l$ およびフラッグ型 $V_\bullet$ に依存するか？
• RQ4 $L_l(\lambda)$ の基底は、$U(\mathfrak{n}(V_\bullet)^{\mathrm{op}})$ 内の単項式を用いて明示的に記述可能か？
• RQ5 この代数的フィルトレーションは、旗多様体 $SL(V)/P$ 上のジャンプバンドルによる幾何的構成とどのように関係するか？

主な発見

• 正規化フィルトレーション $L_l(\lambda)$ は、$U(\frak{n}(V_\bullet)^{\mathrm{op}})$ の正規化フィルトレーション $U_l(\frak{n}(V_\bullet)^{\mathrm{op}})$ を用いた $\mathfrak{p}(V_\bullet)$-加群として構成される。
• $L_l(\lambda)$ の基底は、$U_l(\frak{n}(V_\bullet)^{\mathrm{op}})$ の元の積を用いて明示的に与えられ、$\mathfrak{p}(V_\bullet)$ の作用がフィルトレーションを保存する。
• $L_l(\lambda)$ の次元は $l$ の関数として計算され、その式はフラッグ型 $V_\bullet$ および最高重み $\lambda$ に依存するが、本文では完全に展開されていない。
• 加群 $L(\lambda)$ 内の最高重みベクトル $v$ の安定化リー代数は、$\mathfrak{p}(V_\bullet)$ に一致し、表現論的データと幾何的データの直接的な関連を確立する。
• $L_l(\lambda)$ は、旗多様体 $SL(V)/P$ 上のラインバンドルの $l$-階ジャンプバンドルの単位元におけるファイバーと同型であり、幾何的解釈を与える。
• 本構成は、旗多様体上の線形系の判別式を研究するために応用され、Bott の定理を介して行列式的多様体のサイジィの研究への応用が可能である。