[論文レビュー] Adapted pairs and Weierstrass sections

Florence Fauquant-Millet, Anthony Joseph|arXiv (Cornell University)|Mar 9, 2015

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

ひとこと要約

本稿は、代数的リー代数の不変体論の文脈において、適応対とワイエルシュトラス断片を調べており、特に単純リー代数の双パラボリック部分代数の標準的切断に焦点を当てている。ワイエルシュトラス断片が存在するための条件を確立し、不変体代数 $ Y(\frak{a}) $ が多項式的であることを証明し、半単純リー代数を超えてコスタントの線形化結果を拡張している。

ABSTRACT

Adapted pairs and Weierstrass sections are central to the invariant theory associated to the action of an algebraic Lie algebra a on a finite dimensional vector space X. In this a need not be a semisimple Lie algebra. Here their general properties are described particularly when a is the canonical truncation of a biparabolic subalgebra of a simple Lie algebra and X is the dual of a.

研究の動機と目的

• 非半単純リー代数、特に切断された双パラボリック部分代数に対して、コスタントの不変体の線形化を一般化すること。
• 代数的リー代数 $\frak{a}$ が $\frak{a}^*$ 上で共軛作用する際に、ワイエルシュトラス断片が存在するための条件を確立すること。
• リー代数 $\frak{a}$ が半単純でない場合に、不変体代数 $ Y(\frak{a}) = S(\frak{a})^\bf{A} $ が多項式的であるかを調査すること。
• 適応対の役割と特異点集合の余次元が、線形スライスがワイエルシュトラス断片であるかどうかを決定する役割を明確にすること。
• 特に $\mathfrak{sl}_2$ トリプルが存在しない場合、たとえば型 $A$ および $C$ の切断された双パラボリック代数において、不変生成元を理解するための枠組みを提供すること。

提案手法

• $ e $ を冪零元、$ h $ を $ [h,e] = -2e $ を満たす半単純元とする適応対 $ (e,h) $ の概念を用い、線形スライスを構成する。
• ワイエルシュトラス断片を、$ \frak{a}^* $ 内の線形部分多様体 $ \eta + V \subset \frak{a}^* $ として定義し、$ Y(\frak{a}) $ と $ \eta + V $ 上の正則関数の間で制限写像が同型を誘導するようにする。
• $ \frak{a}^* $ 上での随伴群 $ \bf{A} $ の共軛作用を分析し、軌道の横断性と正則点集合・特異点集合の構造に注目する。
• $ Y(\frak{a}) $ のゲルファンド＝キリロフ次元を、$ \ell(\frak{a}) $ に等置することで、成長度と多項式的性の根拠を評価する。
• 5次元のフィリフォルムリー代数における明示的計算を用い、軌道が横断的に交差しない、または特異点集合の余次元が1である場合には、線形スライスがワイエルシュトラス断片でない可能性があることを示す。
• ポポフおよびシェヴァリエ＝ローゼンリフトの結果を応用し、ワイエルシュトラス断片の存在が制限写像の滑らかさと、真の半不変量の不在と関係することを示す。

実験結果

リサーチクエスチョン

• RQ1 リー代数 $\bf{A}$ の共軛作用に対して、線形スライス $ \eta + V \subset \frak{a}^* $ がワイエルシュトラス断片となる条件は何か？
• RQ2 非半単純リー代数、たとえば切断された双パラボリック部分代数に対して、不変体代数 $ Y(\frak{a}) $ が多項式的であることを示せるか？
• RQ3 軌道の横断性の欠如または特異点集合の余次元が、ワイエルシュトラス断片の存在にどのように影響するか？
• RQ4 主 $\mathfrak{sl}_2 $ トリプルを有さない代数に対して、コスタントの不変体の線形化をどの程度一般化できるか？
• RQ5 リー代数 $\frak{a}$ が半単純でない場合、適応対がワイエルシュトラス断片を構成する際に果たす役割は何か？

主な発見

• 型 $A$ および $C$ の双パラボリック部分代数の標準的切断において、不変体代数 $ Y(\frak{a}) $ は多項式的であり、これは古典的結果を半単純リー代数を超えて拡張している。
• ワイエルシュトラス断片が存在するための必要十分条件は、$ S(\frak{a}^*) $ の $ \eta + V $ 上への制限が $ Y(\frak{a}) $ と同型であることであり、これはスライスがすべての正則軌道を横断的に交差し、特異点集合の余次元が2以上であるときに成立する。
• 5次元のフィリフォルムリー代数の例では、$ Y(\frak{a}) $ は多項式的ではなく、$ V \setminus D $ という線形スライスは、軌道の非横断的交差と余次元1の特異点により、ワイエルシュトラス断片でない。
• $ \bf{A}.(\eta + V) \setminus (\eta + V)_{\text{reg}} $ が余次元 $ \geq 2 $ であることは、$ \eta + V $ がワイエルシュトラス断片であるための必要条件であり、特異点集合の余次元が1である場合にはこの条件が満たされない。
• フィリフォルム代数の基本的半不変量はスカラーであるため、$ \frak{a}^* \setminus \frak{a}^*_{\text{reg}} $ は余次元 $ \geq 2 $ を満たすが、$ \mathscr{S} $ はすべての正則軌道と交差しないため、ワイエルシュトラス断片ではない。
• 本稿では、ワイエルシュトラス断片の存在が $ Y(\frak{a}) $ の多項式的性を示唆するが、逆は成り立たない。これは、スライスおよび軌道構造に追加の幾何的条件が必要であることを示している。