[論文レビュー] New family of simple $\mathfrak{gl}_{2n}(\mathbb{C})$-modules

Jonathan Nilsson|arXiv (Cornell University)|Sep 7, 2015

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

ひとこと要約

本稿は、$n \times n$ 正則複素行列でパrameter化される、$χτ_{2n}(ℂ)$ の新しい単純 $χ$-一般化 Whittaker $χτ_n$-モジュールの族を構成する。モジュールは、トレース公式を用いて明示的に定義された作用をもつ、ねじれ正則 $χτ_n$-モジュールとして実現され、Gelfand-Kirillov次元 $n^2$、局所有限の $χτ_n$-作用、および異なるパrameterでは非同型であることが示された。

ABSTRACT

We construct a new family of simple $\mathfrak{gl}_{2n}$-modules which depends on $n^2$ generic parameters. Each such module is isomorphic to the regular $U(\mathfrak{gl}_{n})$-module when restricted the $\mathfrak{gl}_{n}$-subalgebra naturally embedded into the top-left corner.

研究の動機と目的

• パrameter空間が大きな新しい単純 $χτ_{2n}(ℂ)$-モジュールの族を構成すること。
• これらのモジュールを、Whittaker対 $(χτ_n, χτ_{2n})$ の一般化された Whittaker モジュールとして実現すること。
• 正則 $χτ_n$-モジュールと同型な基底上で、$χτ_{2n}$-作用の明示的公式を提供すること。
• 異なるパrameterが非同型なモジュールをもたらすことを証明し、大きな単純モジュール族を確立すること。

提案手法

• トレース関数と行列パrameterを用いて、普遍包あらわし代数 $χτ(χτ_n)$ 上に $χτ_n + χτ_n$-モジュール構造を構成する。
• 行列 $Q$ に依存する $χτ_{2n}$ 上のリー代数自己同型 $φ_S$ を定義し、モジュール構造をねじることで、正則行列によるパrameter化を可能にする。
• 行列積のトレースを含む公式を用いて、$χτ(χτ_n)$ 内の単項式上での $χτ_{2n}$-作用を明示的に定義する。
• ねじれファンクターを用いて、単位パrameterの場合のモジュール構造を任意の正則 $Q$ に移すことで、単純性とパrameter依存性を保証する。
• 制限作用が正則 $χτ(χτ_n)$-モジュールと同型であり、$χτ_n$-作用が局所有限であることを確認する。
• 任意の同型が $Q = Q'$ を強制することを示すことにより、異なる $Q$ に対して得られるモジュールが非同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 Gelfand-Zeitlin や最高重みモジュールなどの既知の族とは同型でない、新しい単純 $χτ_{2n}(ℂ)$-モジュール族を構成できるか？
• RQ2 非自明なパrameter依存性を持つ、Whittaker対 $(χτ_n, χτ_{2n})$ に対する一般化された Whittaker モジュールを体系的に構成する方法は何か？
• RQ3 その $χτ_n$-制限が正則モジュールに同型であるようなモジュールにおける、$χτ_{2n}$-作用の正確な形は何か？
• RQ4 このようなモジュールは、$n \times n$ 正則行列によってパrameter化可能であり、これらのパrameterが非同型なモジュールを区別するのに十分か？
• RQ5 このようなモジュールの Gelfand-Kirillov 次元は何か？また、パrameter空間の構造とどのように関係するか？

主な発見

• 構成された $χτ_{2n}$-モジュールは、Gelfand-Kirillov 次元が正確に $n^2$ であり、パrameter空間の次元と一致する。
• 任意の正則 $n \times n$ 複素行列 $Q$ に対して、$χτ_n$ への制限が正則 $χτ(χτ_n)$-モジュールと同型である単純 $χτ_{2n}$-モジュール $V_Q$ が存在する。
• $V_Q$ の $χτ_n$ への制限は局所有限であり、$V_Q$ が Whittaker 対 $(χτ_n, χτ_{2n})$ の一般化された Whittaker モジュールであることが確認された。
• $χτ(χτ_n)$ 内の単項式上での $χτ_{2n}$-作用は、$Q$、$Q^{-T}$、および行列積のトレースを含む公式により明示的に与えられる。
• 異なる正則行列 $Q$ と $Q'$ に対応するモジュールは非同型であり、任意の同型が $Q = Q'$ を強制することを示した。
• 各生成子 $χτ_n$、$χτ_n$、$χτ_n$、$χτ_n$ が $χτ(χτ_n)$ 上に作用するとき、PBW 基底においてそれぞれ次数 $1$、$0$、$2$、$1$ をとる。