[論文レビュー] Some schemes related to the commuting variety

Allen Knutson|arXiv (Cornell University)|Jun 18, 2003

Coding theory and cryptography参考文献 2被引用数 4

ひとこと要約

本稿では、交換子が対角行列である$n \times n$行列のペアとして定義される対角交換子スキームを導入し、それが、交換子多様体を1つの成分として持つ、非特異的完全交差であることを証明する。1パラメータ部分群によるグレブナー退化を用いて、特別なファイバーが$n!$個の成分に分解され、それぞれが置換によって添え字づけられ、各成分が行列シューベルト多様体に対応することを示す。さらに、再帰的リー代数に対しては、このスキームが正確に2つの成分を持つと予想している。

ABSTRACT

The_commuting variety_ is the pairs of NxN matrices (X,Y) such that XY = YX. We introduce the_diagonal commutator scheme_, {(X,Y) : XY-YX is diagonal}, which we prove to be a reduced complete intersection, one component of which is the commuting variety. (We conjecture there to be only one other component.) The diagonal commutator scheme has a flat degeneration to the scheme {(X,Y) : XY lower triangular, YX upper triangular}, which is again a reduced complete intersection, this time with n! components (one for each permutation). The degrees of these components give interesting invariants of permutations.

研究の動機と目的

• 交換子多様体の構造を$\mathfrak{gl}_n$において、定義方程式が少ない関連するスキームを導入することにより研究すること。
• 対角交換子スキームが非特異的完全交差であり、その1つの成分が交換子多様体であることを証明すること。
• 1パラメータ部分群作用によるこのスキームの平坦な退化を分析し、置換によって添え字づけられた$n!$個の成分への分解を明らかにすること。
• 任意の再帰的リー代数に対して、対角交換子スキームが正確に2つの成分を持つと予想し、交換子多様体のコhen＝マカウレイ性および非特異性に与える影響を示すこと。
• 行列シューベルト多様体への退化を通じて、交換子スキームの非特異性およびコhen＝マカウレイ性の証拠を提供すること。

提案手法

• Cartan部分代数$\mathfrak{h}$（対角行列）を用いて、$D = \{(X,Y) \in \mathfrak{gl}_n \oplus \mathfrak{gl}_n : [X,Y] \in \mathfrak{h}\}$として、対角交換子スキームを定義する。
• $\check{\rho}(t) = \operatorname{diag}(1, t, \dots, t^{n-1})$という1パラメータ部分群を用いて、$z \in \mathbb{C}^\times$でパrametrizedされた平坦な族$D^z$を定義し、$D^1 = D$とする。
• $z \to 0$における平坦極限$D^0 = \lim_{z \to 0} D^z$をとる。これは、$XY$が下三角で$YX$が上三角であることで定義される非特異的完全交差であることが示される。
• $B_- \times B_+$（下三角および上三角行列）の$D^0$への作用を分析し、各成分を保存し、各成分$D^0_\pi$上で推移的であることを示す。
• 各成分$D^0_\pi$を、置換行列$\pi$を含む特定のペアの$B_- \times B_+$軌道の閉包として定義し、これがちょうど既約成分であることを証明する。
• 行列シューベルト多様体の技法とグレブナー基底理論を用いて、極限方程式が十分（すなわち「グレブナーに十分」）であり、追加の式は必要でないことを示す。

実験結果

リサーチクエスチョン

• RQ1 対角交換子スキームは$\mathfrak{gl}_n$において非特異的完全交差か？
• RQ2 対角交換子スキームの平坦な退化は、置換ごとに添え字づけられた$n!$個の成分を持つか？
• RQ3 退化したスキームの成分は、置換によって添え字づけられた$B_- \times B_+$軌道の閉包として記述できるか？
• RQ4 退化は、交換子多様体の非特異性またはコhen＝マカウレイ性の証拠を提供するか？
• RQ5 $X$および$Y$のべき乗と交換子のトレース直交性から得られる方程式は、対角交換子スキームの非可換成分を定義するのに十分か？

主な発見

• 対角交換子スキーム$D$は、$\mathfrak{gl}_n \oplus \mathfrak{gl}_n$において非特異的完全交差であり、交換子多様体を1つの成分として持つ。
• $D^0$の平坦極限も、非特異的完全交差であり、$XY$が下三角で$YX$が上三角であることで定義される。
• $D^0$は正確に$n!$個の既約成分$D^0_\pi$（$\pi \in S_n$）に分解され、それぞれが$B_- \times B_+$軌道の閉包として現れる。
• 交換子多様体に対応する一般ファイバー成分は、$D^0_\mathbf{1}$（恒等置換）に特殊化され、非可約構造をとる可能性がある。
• $n=3$の場合、退化における成分の次数を明示的に計算した：$d'_{123} = A^3B^3$、$d'_{213} = 2A^3B + 2A^2B^2 + 2AB^3$、以下同様で、合計は$(A+B)^6$に等しい。
• 著者らは、$\mathfrak{gl}_3$の場合に、トレース直交性条件（命題5）から得られる方程式が、対角交換子スキームの非可換成分を定義することを検証し、これらの式が2番目の成分を切り出すと予想する根拠を提供している。