[論文レビュー] Regular N-orbits in the nilradical of a parabolic subalgebra

А. Н. Панов, Victoria Sevostyanova|arXiv (Cornell University)|Mar 13, 2012

Advanced Algebra and Geometry参考文献 1被引用数 7

ひとこと要約

本稿は、$\mathfrak{gl}(n,K)$ のパラボリック部分代数の極小部分代数 $\mathfrak{m}$ における単三角群 $N$ の随伴作用について調査し、不変体の体 $\mathcal{F}^N = \mathrm{Fract}(\mathcal{A}^N)$ に対する予想的な構造を提示し、最大次元をもつ正則 $N$-軌道の記述を行う。特殊なタイプのパラボリック部分代数に対して、予想1および2を証明し、$(2,4,2)$ 型の場合に $\mathcal{A}^N$ の明示的生成元を構成し、$\mathcal{A}^N$ が小行列式と特定の $L_q$ 多項式によって生成されることを示し、それらと追加の不変量 $D$ の間に重要な恒等式が成り立つことを示している。主たる貢献は、非自明な場合における $N$-不変環の完全な記述であり、代数的依存関係と局所化の問題を解決している。

ABSTRACT

In the present paper the adjoint action of the unitriangular group in the nilradical of a parabolic subalgebra is studied. We set up general conjectures on the construction of the field of invariants and the structure of orbits of maximal dimension. The conjecture is proved for parabolic subalgebras of special types.

研究の動機と目的

• 単三角群 $N$ がパラボリック部分代数の極小部分代数 $\mathfrak{m}$ に随伴作用するもとでの不変体の体 $\mathcal{F}^N = \mathrm{Fract}(\mathcal{A}^N)$ の構造を理解すること。
• $\mathfrak{m}$ 内の正則 $N$-軌道（最大次元をもつもの）の幾何学的性質を、ルート系およびブロック構造に関連して記述すること。
• 特に特殊なタイプのパラボリック部分代数に対して、不変代数 $\mathcal{A}^N$ の予想的枠組み（生成元と関係式）を確立すること。
• パラボリック部分代数のブロックサイズが $(2,4,2)$ の場合に、$N$-不変代数 $\mathcal{A}^N$ が有限生成であることを示し、その生成元を明示的に構成すること。

提案手法

• $\mathfrak{gl}(n,K)$ のルート系を用い、正ルート $\gamma = \varepsilon_i - \varepsilon_j$ をペア $(i,j)$ に対応させる。再帰的部分代数 $\mathfrak{r}$ を用いて優越順序 $\succ$ を定義する。
• $\mathfrak{m}$ に対応する正ルートの集合 $M$ における非比較可能なルートの基底 $S$ を、最小元を繰り返し除去することで一意に構成する。
• ある正ルート $\alpha_q \in \Delta^+_{\mathfrak{r}}$ が存在し、$\{\xi, \alpha_q, \xi'\}$ が鎖をなすような、$S$ 内の適切なペア $q = (\xi, \xi')$ を定義する。
• 各適切なペア $q$ に対して、$L_q = \sum_{\alpha_1 + \alpha_2 = \alpha_q} M_{\xi + \alpha_1} M_{\alpha_2 + \xi'}$ を定義する。ここで $M_I^J$ は形式的行列 $\mathbb{X}$ の小行列式を表す。
• ルート系の図式的表現を導入し、基底ルート $S$ を $\otimes$、$\varphi_q = \alpha_q + \xi'$ を $\times$ でマークすることで、$\mathfrak{p}$ の構造を視覚化する。
• 局所化と代数的依存関係の議論を用いて、$\mathcal{A}^N$ が小行列式 $M_\xi$（$\xi \in S$）、$L_q$（$q \in Q$）、および追加の不変量 $D$ によって生成されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 単三角群 $N$ が極小部分代数 $\mathfrak{m}$ に随伴作用するもとでの不変体の体 $\mathcal{F}^N = \mathrm{Fract}(\mathcal{A}^N)$ の構造は何か？
• RQ2 正則 $N$-軌道（最大次元をもつもの）は、ルート系およびブロック分解の観点から、幾何学的および代数的にどのように特徴付けられるか？
• RQ3 不変代数 $\mathcal{A}^N$ は有限生成であるか？ もしそうであれば、特定のパラボリック型においてその生成元は何か？
• RQ4 $(2,4,2)$ 型において、$\mathcal{A}^N$ の生成元間の正確な代数的関係は何か？ また、不変量 $D$ は構造にどのように統合されるか？
• RQ5 特定の小行列式の分母に関する $\mathcal{A}^N$ の局所化は、ローレンツ多項式環として記述可能か？ そして、この記述は有限生成の証明にどのように寄与するか？

主な発見

• 特殊なタイプのパラボリック部分代数に対して、予想1（$\mathcal{F}^N$ が $\xi \in S$、$q \in Q$ に対する $M_\xi$ と $L_q$ で生成される）が証明された。
• 同じクラスのパラボリック部分代数に対して、予想2（不変体の体の構造）も証明された。
• $(2,4,2)$ 型のパラボリック部分代数に対して、代数 $\mathcal{A}^N$ は小行列式 $M_1 = x_{13}, M_2 = \left|\begin{smallmatrix}x_{13}&x_{14}\\x_{23}&x_{24}\end{smallmatrix}\right|$、$N_1 = x_{67}$、$N_2 = \left|\begin{smallmatrix}x_{57}&x_{58}\\x_{67}&x_{68}\end{smallmatrix}\right|$、および小行列式の積の和で定義される $L_{ij}$ 多項式によって生成される。
• 不変量 $D = M^{7,8}_{1,2}({\mathbb{X}}^2)$ は、$M_\xi$、$N_i$、$L_{ij}$ によって生成される部分代数 $\mathcal{B}_0$ には属さず、$\mathcal{B}_0 \subsetneq \mathcal{B}_1 = \mathcal{B}_0[D]$ であり、この包含関係は真である。
• 恒等式 $L_{1,2}L_{2,1} - L_{1,1}L_{2,2} = M_1 N_1 D$ により、生成元は代数的に依存しているが、この依存関係は $\mathcal{A}^N$ の構造において完全に捉えられており、$\mathcal{A}^N = \mathcal{B}_1$ であることが示された。
• $M_1, M_2, N_1, N_2$ の分母に関する $\mathcal{A}^N$ の局所化は、ローレンツ多項式環 $K[M_1^{\pm1}, M_2^{\pm1}, N_1^{\pm1}, N_2^{\pm1}, L_{11}, L_{12}, L_{21}, L_{22}]$ に同型であり、この性質を用いて $\mathcal{A}^N = \mathcal{B}_1$ を証明した。