[論文レビュー] PBW--filtration over $\bz$ and compatible bases for $V_\bz(\la)$ in type ${ t A}_n$ and ${ t C}_n$

Evgeny Feigin, Ghislain Fourier+1 more|arXiv (Cornell University)|Apr 9, 2012

Algebraic structures and combinatorial models参考文献 9被引用数 3

ひとこと要約

本稿は、型 $\mathbf{A}_n$ および $\mathbf{C}_n$ の最高族表現 $V_\mathbb{Z}(\lambda)$ に対して、整数上でのPBWフィルトレーションを確立し、関連する順序付きモジュール $V^a_\mathbb{Z}(\lambda)$ が、$S_\mathbb{Z}(\mathfrak{n}^{-,a})$-モジュールとしてねじれがなく、整合性のある整数基底を持つことを証明する。主な結果は、任意の体上で有効である特徴的自由な組合せ的順序付きキャラクター公式を $V^a_\mathbb{Z}(\lambda)$ に対して確立することである。

ABSTRACT

We study the PBW-filtration on the highest weight representations $V(\la)$ of the Lie algebras of type ${ t A}_{n}$ and ${ t C}_{n}$. This filtration is induced by the standard degree filtration on $\U(\fn^-)$. In previous papers, the authors studied the filtration and the associated graded algebras and modules over the complex numbers. The aim of this paper is to present a proof of the results which holds over the integers and hence makes the whole construction available over any field.

研究の動機と目的

• 複素数上での最高族表現におけるPBWフィルトレーションおよび関連する順序付き構造を、整数にまで拡張し、任意の体上で適用可能であることを保証すること。
• $V^a_\mathbb{Z}(\lambda)$ を $S_\mathbb{Z}(\mathfrak{n}^{-,a})$-モジュールとして、定義イデアル $I_\mathbb{Z}(\lambda)$ を特定することにより、循環的モジュールとして記述すること。
• $V^a_\mathbb{Z}(\lambda)$ に対して整合性のある整数基底を構成し、$\mathbb{Z}$-モジュールとしてねじれがないことを証明すること。
• 任意の体上で有効な特徴的自由な組合せ的順序付きキャラクター公式を $V^a_\mathbb{Z}(\lambda)$ に対して導出すること。
• $V^a_\mathbb{Z}(\lambda + \mu)$ が $V^a_\mathbb{Z}(\lambda) \otimes_\mathbb{Z} V^a_\mathbb{Z}(\mu)$ の部分モジュールとして埋め込まれ、最高族ベクトルが保存されることを確立すること。

提案手法

• 普遍包あらゆる代数からの標準的次数フィルトレーションを整数形式に持ち上げることで、$U(\mathfrak{n}^{-})$ 上に $\mathbb{Z}$ 上のPBWフィルトレーションを構成する。
• 最高族ベクトル $v_\lambda$ に $U_\mathbb{Z}(\mathfrak{n}^{-})$ を作用させることで得られる像として、整数モデル $V_\mathbb{Z}(\lambda)$ を定義し、整数性を保つ。
• 関連する順序付きモジュール $V^a_\mathbb{Z}(\lambda)$ が $S_\mathbb{Z}(\mathfrak{n}^{-,a}) / I_\mathbb{Z}(\lambda)$ に同型であり、$I_\mathbb{Z}(\lambda)$ が $\mathbb{Z}$ 上の関係式によって生成されることを証明する。
• 生成子 $f_{i,j}^{(s)}$ における単項式順序とダイヤモンド補題を用いて、標準単項式が $V^a_\mathbb{Z}(\lambda)$ の $\mathbb{Z}$-基底をなしており、ねじれがないことを示す。
• 最高族ベクトルが $v_\lambda \otimes v_\mu$ に写される自然な写像を通じて、埋め込み $V^a_\mathbb{Z}(\lambda + \mu) \hookrightarrow V^a_\mathbb{Z}(\lambda) \otimes_\mathbb{Z} V^a_\mathbb{Z}(\mu)$ を確立する。
• 整数PBWフィルトレーションと既知の複素数キャラクター公式を組み合わせることで、順序付きキャラクター公式を導出し、それが $\mathbb{Z}$ 上で成り立ち、したがって任意の体上でも成り立つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 複素数上での $V(\lambda)$ におけるPBWフィルトレーションを $\mathbb{Z}$ 上に定義可能か？ これにより、フィルトレーションおよび関連する順序付きモジュールの整数性が保証されるか？
• RQ2 関連する順序付きモジュール $V^a_\mathbb{Z}(\lambda)$ は $\mathbb{Z}$-モジュールとしてねじれがなく、整合性のある $\mathbb{Z}$-基底をもつか？
• RQ3 $V^a_\mathbb{Z}(\lambda)$ が $S_\mathbb{Z}(\mathfrak{n}^{-,a})$-モジュールとして循環的であるという構造を、整数的イデアル $I_\mathbb{Z}(\lambda)$ を用いて明示的に記述可能か？
• RQ4 $V^a_\mathbb{Z}(\lambda)$ の順序付きキャラクターは、特徴的独立の組合せ的公式をもつか？
• RQ5 テンソル積の性質 $V^a_\mathbb{Z}(\lambda + \mu) \hookrightarrow V^a_\mathbb{Z}(\lambda) \otimes_\mathbb{Z} V^a_\mathbb{Z}(\mu)$ は $\mathbb{Z}$ 上でも保存されるか？ 特に最高族ベクトルが最高族ベクトルのテンソル積に写されるか？

主な発見

• 複素数上での $V(\lambda)$ におけるPBWフィルトレーションは、$V_\mathbb{Z}(\lambda)$ 上に整数的フィルトレーションへと持ち上げられ、関連する順序付きモジュール $V^a_\mathbb{Z}(\lambda)$ は、明示的に定義されたイデアル $I_\mathbb{Z}(\lambda)$ を用いて $S_\mathbb{Z}(\mathfrak{n}^{-,a}) / I_\mathbb{Z}(\lambda)$ に同型である。
• $V^a_\mathbb{Z}(\lambda)$ は $\mathbb{Z}$ 上ねじれがなく、生成子 $f_{i,j}^{(s)}$ の標準単項式からなる整合性のある $\mathbb{Z}$-基底をもつ。
• 任意の体上で有効な特徴的自由な組合せ的順序付きキャラクター公式が $V^a_\mathbb{Z}(\lambda)$ に対して確立され、複素数の場合を一般化する。
• テンソル積の性質は整数的条件下でも成立する： $v_{\lambda+\mu}$ が $v_\lambda \otimes v_\mu$ に写されるような、$S_\mathbb{Z}(\mathfrak{n}^{-,a})$-モジュールの単射準同型 $V^a_\mathbb{Z}(\lambda + \mu) \hookrightarrow V^a_\mathbb{Z}(\lambda) \otimes_\mathbb{Z} V^a_\mathbb{Z}(\mu)$ が一意に存在する。
• 証明はダイヤモンド補題と単項式順序を用いて、標準単項式が基底をなしており、すべての関係式が $\mathbb{Z}$ 上で定義されることを示す。
• 構成は型 $\mathbf{A}_n$ および $\mathbf{C}_n$ に対して有効であり、結果はベース体の特徴に依存しない。