[論文レビュー] PBW filtration: Feigin-Fourier-Littelmann modules via Hasse diagrams

Teodor Backhaus, Christian Desczyk|arXiv (Cornell University)|Jul 28, 2014

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

ひとこと要約

この論文は、単純な複素有限次元リー代数における長方形重み $\lambda = m\omega_i$ の場合の PBW-graded モジュール $V(\lambda)^a$ について、正根のハッセ図を用いて新しい組合せ的記述を提供する。この記述により、関連する次数付きモジュールがフェイジン＝フーラー＝リッターマン（FFL）モジュールであることが証明され、 annihilator 理想 $I(\lambda)$ を明示的に記述し、正多面体の整数点によってパrameter化された単項式基底を構成することで、これらの重みに関する PBW 分割理論における2つの主要な問題が解決される。

ABSTRACT

We study the PBW filtration on the irreducible highest weight representations of simple complex finite-dimensional Lie algebras. This filtration is induced by the standard degree filtration on the universal enveloping algebra. For certain rectangular weights we provide a new description of the associated graded module in terms of generators and relations. We also construct a basis parametrized by the integer points of a normal polytope. The main tool we use is the Hasse diagram defined via the standard partial order on the positive roots. As an application we conclude that all representations considered in this paper are Feigin-Fourier-Littelmann modules.

研究の動機と目的

• PBW-graded モジュール $V(\lambda)^a$ の $S(\mathfrak{n}^-)$ における annihilator 理想 $I(\lambda)$ の明示的記述を提供すること。
• 整数点によってパrameter化された $V(\lambda)^a$ の単項式基底を構成すること。
• $\lambda = m\omega_i$ の長方形重みに対して $V(\lambda)^a$ がフェイジン＝フーラー＝リッターマン（FFL）モジュールであることを確立すること。
• これまでに知られていた場合（$\mathfrak{so}_9$, $\mathfrak{so}_{10}$, $\mathfrak{e}_6$, $\mathfrak{e}_7$, $\mathfrak{f}_4$, $\mathfrak{g}_2$）を越えて FFL 基底の構成を一般化すること。
• 関連する退化フラッグ多様体が正規的かつコhen-Macaulay であり、多面体がニュートン＝オクウンコフ体として現れることを示すこと。

提案手法

• リー代数の根系の構造を符号化するために、正根の標準的順序に関するハッセ図を中心的な組合せ的道具として用いる。
• ハッセ図内の有向パスを用いて、$\mathbb{R}^N_{\geq 0}$ 内の正多面体 $P(\lambda) \subset \mathbb{R}^N_{\geq 0}$ を定義し、その整数点が $V(\lambda)^a$ の基底をパラメータ化する。
• annihilator 理想 $I(\lambda)$ は、$S(\mathfrak{n}^-) \left( U(\mathfrak{n}^+) \circ \mathrm{span}\{ f_\beta^{\langle \lambda, \beta^\vee \rangle + 1} \mid \beta \in \Delta_+ \} \right)$ として明示的に記述され、表現論と単項式イデアルを結びつける。
• この手法は、$\omega_i$ が表1の同じ行に現れる長方形重み $\lambda = m\omega_i$ に対して適用可能であり、$A_n$, $B_n$, $C_n$, $D_n$, $E_6$, $E_7$, $F_4$, $G_2$ の型に適用可能である。
• $B_n$, $F_4$, $G_2$ のような特定の型では、構成に必要な組合せ的条件を満たすためにハッセ図をわずかに修正する。
• 多面体の列挙と格子点数の計算に LattE などの計算ツールを用いて構成を検証する。

実験結果

リサーチクエスチョン

• RQ1 長方形重み $\lambda = m\omega_i$ の場合に、PBW-graded モジュール $V(\lambda)^a$ の annihilator 理想 $I(\lambda)$ が $S(\mathfrak{n}^-)$-加群として明示的に記述可能か。
• RQ2 整数点によってパラメータ化された $V(\lambda)^a$ の組合せ的単項式基底が存在するか。
• RQ3 どの基本的重み $\omega_i$ に対して $V(m\omega_i)^a$ がフェイジン＝フーラー＝リッターマンモジュールとなるか。
• RQ4 正根のハッセ図は、PBW-graded モジュールおよびその基底の構造をどのように符号化するか。
• RQ5 構成された多面体とニュートン＝オクウンコフ体、あるいはギェルファンド＝ツェトリン多面体などの既知の多面体との関係は何か。

主な発見

• PBW-graded モジュール $V(\lambda)^a$ の annihilator 理想 $I(\lambda)$ は、$S(\mathfrak{n}^-) \left( U(\mathfrak{n}^+) \circ \mathrm{span}\{ f_\beta^{\langle \lambda, \beta^\vee \rangle + 1} \mid \beta \in \Delta_+ \} \right)$ として明示的に与えられ、次数付きモジュール内の関係の完全な代数的記述が得られる。
• 整数点によってパラメータ化された $V(\lambda)^a$ の単項式基底が構成され、その基底は正多面体 $P(m\omega_i)$ の整数点によってパラメータ化される。この多面体は、多面体 $P(\omega_i)$ の $m$-重ミンコフスキー和に等しい。
• 表1に現れる $\omega_i$ 全てに対して、$V(m\omega_i)^a$ はフェイジン＝フーラー＝リッターマンモジュールであり、基底が正多面体の整数点によってパラメータ化される。
• 構成された多面体はニュートン＝オクウンコフ体であり、対応する退化フラッグ多様体は正規的かつコhen-Macaulay である。
• $\mathfrak{sl}_5$ に対して、$P(\omega_1) + P(\omega_2) + P(\omega_3) + P(\omega_4)$ のミンコフスキー和における整数点の数は 1023 であり、$\dim V(\omega_1 + \omega_2 + \omega_3 + \omega_4) = 1024$ であるため、ミンコフスキー和が常に次元を完全に反映するわけではないことが示され、長方形重みの場合の特異性が強調される。
• $\mathfrak{so}_9$, $\mathfrak{so}_{10}$, $\mathfrak{e}_6$, $\mathfrak{e}_7$, $\mathfrak{f}_4$, $\mathfrak{g}_2$ の多面体は、線形不等式の系を用いて明示的に記述され、$\mathfrak{so}_9$ の $P(m\omega_4)$ は 16 変数と 11 個の不等式を含み、$\mathfrak{e}_7$ の $P(m\omega_7)$ は 27 変数と 12 個の不等式を含む。