[論文レビュー] A new way to construct 1-singular Gelfand-Tsetlin modules

Pablo Zadunaisky|arXiv (Cornell University)|Mar 21, 2017

Advanced Topics in Algebra被引用数 12

ひとこと要約

本稿では、一般のGelfand-Tsetlinモジュールの平坦な族を、1-特異点を含むように拡張することにより、$ℝ(n,\mathbb{C})$ 上の1-特異Gelfand-Tsetlinモジュールの新しい幾何的構成を提示する。この方法により、一般の場合の作用を特殊化することで、特異モジュール上の作用を直接導出し、[FGR-singular-gt]で以前に構成されたモジュールと同型であることを証明する。

ABSTRACT

We present a simplified way to construct the Gelfand-Tsetlin modules over $\mathfrak{gl}(n,\mathbb C)$ related to a $1$-singular GT-tableau defined by Futorny, Grantcharov and Ramirez. We begin by reframing the classical construction of generic Gelfand-Tsetlin modules found by Drozd, Futorny and Ovsienki, showing that they form a flat family over generic points of $\mathbb C^{\binom{n}{2}}$. We then show that this family can be extended to a flat family over a variety including generic points and $1$-singular points for a fixed singular pair of entries. The $1$-singular modules are precisely the fibers over these points.

研究の動機と目的

• 1-特異Gelfand-Tsetlinモジュールを、生成子と関係による直接的検証を避けることで、簡略化された幾何的構成を与えること。
• 古典的な一般Gelfand-Tsetlinモジュールを、$ℝ^{\binom{n}{2}}$ から極の集合を除いた空間上の平坦族として再定式化すること。
• この平坦族を、表の中に2つの成分が等しくなる1-特異点を含むように拡張し、より大きな多様体上の平坦族を得ること。
• 極の点におけるファイバーが、生成子と関係によって以前に構成された1-特異モジュールと一致することを示すこと。
• 普遍的な公式の特殊化によって、1-特異モジュール上のGelfand-Tsetlin部分代数の作用を導出すること。

提案手法

• 一般のGelfand-Tsetlinモジュールの普遍的構成として、$ℝ^{\binom{n}{2}}$ 内の極の集合の補集合上の正則関数の代数 $A$ 上の自由モジュール $V_A$ を構成する。
• ファイバーが一般のGTモジュールに同型である、$X = \mathbb{C}^{\binom{n}{2}} \setminus P$ 上の $ℝ(n,\mathbb{C})$-モジュールの平坦族を定義する。
• 表の中に $v_{k,i} = v_{k,j}$ であり、それ以外に臨界的な等式がない1-特異表の多様体 $H$ を含むように、族を $Y = X \cup H$ に拡張する。
• 多様体 $Y$ 上の正則関数の環 $B$ 上で、$ℝ(n,\mathbb{C})$-作用に関して安定な $B$-格子 $V_B \subset V_A$ を構成する。
• 1-特異点 $y \in H$ に対して、$V_y = V_B \otimes_B \mathbb{C}_y$ を特殊化により得る。このとき、$ℝ(n,\mathbb{C})$-作用は $V_A$ から引き継がれる。
• $x - y$ を法としての剰余類を用いて、特異モジュール上の作用公式を導出し、[FGR-singular-gt]で定義されたモジュール構造を回復する。

実験結果

リサーチクエスチョン

• RQ1 生成子と関係による直接的検証を避けることで、1-特異Gelfand-Tsetlinモジュールの構成を簡略化できるか？
• RQ2 一般Gelfand-Tsetlinモジュールの族を自然に1-特異点を含むように拡張する幾何的または普遍的構成は存在するか？
• RQ3 1-特異モジュール上の $ℝ(n,\mathbb{C})$-作用は、一般の場合の特殊化によって導出可能か？
• RQ4 Gelfand-Tsetlin部分代数の作用は特異モジュール上でどのように振る舞い、普遍的構成から回復可能か？
• RQ5 得られた1-特異モジュールは、[FGR-singular-gt]で以前に定義されたものと同型か？

主な発見

• 一般のGelfand-Tsetlinモジュールは、$ℝ^{\binom{n}{2}}$ 内の極の集合の補集合上の平坦族をなす。この族は、正則関数の環 $A$ 上の自由モジュール $V_A$ によってパラメトライズされる。
• この平坦族は、$H$ が $v_{k,i} = v_{k,j}$ を満たす1-特異表の集合である $Y = X \cup H$ 上に、$V_A$ の $B$-格子 $V_B \subset V_A$ を用いて拡張可能である。この格子は $ℝ(n,\mathbb{C})$-作用に関して安定である。
• 拡張された族の $H$ 上のファイバーは、1-特異Gelfand-Tsetlinモジュールを導き、[FGR-singular-gt]で生成子と関係によって構成されたものと同型である。
• $\u211d(n,\mathbb{C})$-作用は、$V_A$ 上の普遍的作用の特殊化と $x - y$ を法とする剰余類を用いた操作により導出され、直接的検証を回避する。
• Gelfand-Tsetlin部分代数の作用は、剰余類による還元によって回復される。$c_{k,t}$ は導関数 $\overline{D}$ を含む混合項として作用し、特異性を反映する。
• 新しい構成と元の1-特異モジュールとの同型は、$1 \otimes_{B'} \overline{S}(z) \mapsto T(v+z)$ および $1 \otimes_{B'} \overline{A}(z) \mapsto DT(v+z)$ によって明示的に与えられ、従来の結果と整合することが確認される。