[論文レビュー] Eigenvalue Coincidences and Multiplicity Free Spherical Pairs

Mark Colarusso, Sam Evens|arXiv (Cornell University)|Oct 15, 2014

Advanced Algebra and Geometry参考文献 18被引用数 3

ひとこと要約

この論文は、複素一般線型代数群 gl(n,C) から複素直交リー代数 so(n,C) へ固有値一致多様体を拡張し、直交リー代数上の K-軌道の幾何学的および不変式論的枠組みを確立する。最大次元の K-軌道が、K-不変生成子の微分が線形独立である点に対応することを証明し、コスタントの定理を一般化することで、ゲルファンド＝ツァイティリン可積分系における強正則元の新たな特徴付けを可能にした。

ABSTRACT

In recent work, we related the structure of subvarieties of $n imes n$ complex matrices defined by eigenvalue coincidences to $GL(n-1,\mathbb{C})$-orbits on the flag variety of $\mathfrak{gl}(n,\mathbb{C})$. In the first part of this paper, we extend these results to the complex orthogonal Lie algebra $\mathfrak{g}=\mathfrak{so}(n,\mathbb{C})$. In the second part of the paper, we use these results to study the geometry and invariant theory of the $K$-action on $\mathfrak{g}$, in the cases where $(\mathfrak{g}, K)$ is $(\mathfrak{gl}(n,\mathbb{C}), GL(n-1,\mathbb{C}))$ or $(\mathfrak{so}(n,\mathbb{C}), SO(n-1,\mathbb{C}))$. We study the geometric quotient $\mathfrak{g} o \mathfrak{g}//K$ and describe the closed $K$-orbits on $\mathfrak{g}$ and the structure of the zero fibre. We also prove that for $x\in \mathfrak{g}$, the $K$-orbit $Ad(K)\cdot x$ has maximal dimension if and only if the algebraically independent generators of the invariant ring $\mathbb{C}[\mathfrak{g}]^{K}$ are linearly independent at $x$, which extends a theorem of Kostant. We give applications of our results to the Gelfand-Zeitlin system.

研究の動機と目的

• gl(n,C) からの固有値一致多様体の研究を、複素直交リー代数 so(n,C) へ拡張すること。
• K = SO(n−1,C) として g = so(n,C) 上の K-作用の幾何学と不変式論を、商写像 g → g//K を通じて分析すること。
• 閉じた K-軌道の特徴付けと、Kostant-Wallach写像 Φn の零ファイバーの構造の記述。
• コスタントの定理を一般化し、最大次元の K-軌道が、不変生成子の微分の線形独立性に対応することを示すこと。
• これらの結果を so(n,C) 上のゲルファンド＝ツァイティリン可積分系に応用し、強正則元の定義を簡略化すること。

提案手法

• so(n,C) 内の固有値一致多様体 g(≥i) を、x のスペクトルとその (n−1)×(n−1) 上左部分行列 x_k の固有値が重複度を考慮し、±の対称性を反映して少なくとも 2i 個の固有値を共有する x の集合として定義する。
• 商 g//K を通じて因数分解される Kostant-Wallach 写像 Φn: g → C^k を用い、幾何的商と零ファイバー Φn⁻¹(0) を研究する。
• Knop の定理を適用して C[g]^K が多項式代数であることを示し、商写像を Φn と同一視する。
• Borel部分代数の K-飽和を通じて、旗多様体 B_g 上の K-軌道と固有値一致多様体の構造を関連付ける。
• 球対条件の下で、写像 Ψ: h^⊥ → h^⊥//H が平坦であることを、次元の上限とハリス写像の固有性を用いて証明する。
• f|_h^⊥ が生成子 g₁,…,g_k の多項式であるという事実を用い、Ψ⁻¹(0) 内の元が冪零かつハリス写像の像上にあることを示す。

実験結果

リサーチクエスチョン

• RQ1 so(n,C) 内の固有値一致多様体は gl(n,C) 内のそれらをどのように一般化するのか。その幾何的構造は何か？
• RQ2 K = SO(n−1,C) による g = so(n,C) 上の閉じた K-軌道の構造は何か？
• RQ3 Kostant-Wallach 写像 Φn の零ファイバーは、g と不変環 C[g]^K の幾何学的性質とどのように関係するか？
• RQ4 最大次元の K-軌道の条件は、K-不変生成子の微分の線形独立性によって特徴付けられるか？
• RQ5 新しい強正則元の特徴付けにより、so(n,C) 上のゲルファンド＝ツァイティリン可積分系の構成と解析はどのように簡略化されるか？

主な発見

• so(n,C) 内の固有値一致多様体 g(≥i) の既約成分は、旗多様体 B_g 上の K-軌道によってインデックス付けされる。
• 零ファイバー Φn⁻¹(0) は次元 dim g − dim g//K の等次元的で、その既約成分は B_g 上の K-軌道と関連している。
• Kostant-Wallach 写像 Φn は平坦である。次元の上限とハリス写像の固有性を用いて示された。
• K-軌道 Ad(K)·x が最大次元をとるための必要十分条件は、C[g]^K の代数的に独立な生成子の微分が x で線形独立であることである。これはコスタントの定理の一般化である。
• so(n,C) 内の n-強正則集合は n = 3 のみで非空であり、零ファイバー Φ⁻¹(0) には強正則元を含まない。
• 微分の線形独立性による n-強正則元の新しい定義により、スライスを用いずとも、so(n,C) 上のゲルファンド＝ツァイティリン系を直接構成できる。