[論文レビュー] The orbit structure of the Gelfand-Zeitlin group on n x n matrices

Mark Colarusso|ArXiv.org|Nov 9, 2008

Advanced Algebra and Geometry参考文献 11被引用数 4

ひとこと要約

この論文は、$n \times n$ 複素行列の空間における Gelfand-Zeitlin 群 $A \simeq \mathbb{C}^{n \choose 2}}$ の軌道を完全に分類し、次元 $\binom{n}{2}$ のすべての $A$-軌道を特定している。これらはちょうど強正則元である。主な結果は、Gelfand-Zeitlin 写像の各ファイバーにおけるこのような軌道の数を表す公式である：$2^{\sum_{i=1}^{n-1} j_i}$、ここで $j_i$ は連続する主部分行列の特性多項式の共通根の数である。これは、スペクトルが重複する一般性のない正則半単純行列に関する以前の結果を、スペクトルが重複するより広いクラスの行列へ一般化するものである。

ABSTRACT

In recent work (\cite{KW1},\cite{KW2}), Kostant and Wallach construct an action of a simply connected Lie group $A\simeq \mathbb{C}^{n\choose 2}$ on $gl(n)$ using a completely integrable system derived from the Poisson analogue of the Gelfand-Zeitlin subalgebra of the enveloping algebra. In \cite{KW1}, the authors show that $A$-orbits of dimension ${n\choose 2}$ form Lagrangian submanifolds of regular adjoint orbits in $gl(n)$. They describe the orbit structure of $A$ on a certain Zariski open subset of regular semisimple elements. In this paper, we describe all $A$-orbits of dimension ${n\choose 2}$ and thus all polarizations of regular adjoint orbits obtained using Gelfand-Zeitlin theory.

研究の動機と目的

• Gelfand-Zeitlin 群 $A$ が $\mathfrak{gl}(n)$ 上に作用する軌道構造を完全に記述すること、特に次元 $\binom{n}{2}$ のすべての軌道を特定すること。
• 以前は正則半単純行列の Zarsiki 開部分集合上で成り立つ $A$ の推移的作用を、スペクトルが非一般の重複を示すより広いクラスの行列へ拡張すること。
• Gelfand-Zeitlin 写像 $\Phi$ の各ファイバーにおける $A$-軌道の数と構造を明示的かつ組合的に記述すること。
• 写像 $\Phi$ のファイバー上で $A$ が推移的に作用する $\mathfrak{gl}(n)$ の最大部分集合を同定すること。これは、以前の一般性のない場合の一般化である。

提案手法

• Gelfand-Zeitlin 関数 $f_{i,j}(x) = \operatorname{tr}(x_i^j)$ のハミルトニアンベクトル場によって生成される可換リー代数を積分し、単連結なリー群として Gelfand-Zeitlin 群 $A$ を構成する。
• Gelfand-Zeitlin 写像 $\Phi: \mathfrak{gl}(n) \to \mathbb{C}^{n(n+1)/2}$ を用い、そのファイバー $\mathfrak{gl}(n)_c$ は主部分行列のトレースが固定された行列をパラメトライズする。
• 各 $A$-軌道を、連結な可換代数群の積へのモルフィズムの像として実現するための再帰的モルフィズム構成 $\Gamma_n^{a_1,\dots,a_{n-1}}$ を適用する。
• 各レベル $i$ で $Z_i$-軌道に分解することにより、ファイバー $\mathfrak{gl}(n)^{sreg}_c$ を分析する。ここで $Z_i$ は、整合性のある部分行列データの空間上で自由に作用する群である。
• 各ファイバーにおける $A$-軌道の数を数えるために、$p_{c_i}(t)$ と $p_{c_{i+1}}(t)$ の共通根の数を表す組合的データ $j_i$ を導入する。
• $A$ が $\mathfrak{gl}(n)^{sreg}_c$ 上で推移的であることは、$c \in \Theta_n$ であることに同値であることを確立する。ここで $\Theta_n$ は、連続する特性多項式が根を共有しないパラメータの集合である。

実験結果

リサーチクエスチョン

• RQ1 Gelfand-Zeitlin 群 $A$ が $\mathfrak{gl}(n)$ 上に作用する軌道構造は、以前に研究された一般性のない正則半単純の場合を越えて、完全に特定できるか？
• RQ2 ファイバー $\mathfrak{gl}(n)^{sreg}_c$ 内の $A$-軌道の数は、主部分行列のスペクトルデータにどのように依存するか？
• RQ3 写像 $\Phi$ のファイバー上で $A$ が推移的に作用する行列の集合を、正則半単純の場合を越えて拡大できるか？
• RQ4 連続する部分行列の特性多項式が根を共有する場合、$\mathfrak{gl}(n)^{sreg}_c$ 内の $A$-軌道の代数的構造はいかなるものか？
• RQ5 すべての $A$-軌道を、可換代数群の自由作用として一様に記述できるか？

主な発見

• ファイバー $\mathfrak{gl}(n)^{sreg}_c$ 内の $A$-軌道の数は、正確に $2^{\sum_{i=1}^{n-1} j_i}$ である。ここで $j_i$ は、$i$ 番目と $(i+1)$ 番目の主部分行列の特性多項式の共通根の数である。
• $\mathfrak{gl}(n)^{sreg}_c$ 内の $A$-軌道は、ちょうど可換かつ連結な代数群 $Z = Z_1 \times \cdots \times Z_{n-1}$ の自由代数的作用の軌道に一致する。
• $A$ が $\mathfrak{gl}(n)^{sreg}_c$ 上で推移的であることは、$c \in \Theta_n$ であることに同値である。ここで $\Theta_n$ は、連続する特性多項式が根を共有しないパラメータの集合である。
• 集合 $\mathfrak{gl}(n)_\Theta = \bigcup_{c \in \Theta_n} \mathfrak{gl}(n)_c$ は、$\mathfrak{gl}(n)$ の部分集合の中で、$A$ が $\Phi$ のファイバー上で推移的に作用する最大のものである。
• $c \in \Theta_n$ のとき、ファイバー $\mathfrak{gl}(n)_c$ は代数的多様体として $Z_1 \times \cdots \times Z_{n-1}$ に同型であり、$\mathfrak{gl}(n)_\Theta$ のすべての要素は強正則である。
• $\mathfrak{gl}(n)_\Theta$ に属する任意の行列の厳密上三角部分は、その厳密下三角部分によって一意に決定される。これは $Z_i$-作用の自由性と、$\Gamma_n^{a_1,\dots,a_{n-1}}$ の再帰的構成によるものである。