[論文レビュー] Properties of legendrian subvarieties of projective space

Jarosław Buczyński|ArXiv.org|Mar 24, 2005

Algebraic Geometry and Number Theory参考文献 10被引用数 4

ひとこと要約

この論文は、定義イデアルが二次式によって生成される滑らかで非可約なリーマン多様体の部分多様体を分類し、それらがすべて同次多様体、具体的にはサブアドジョイント多様体であることを証明する。シンプレクティック幾何学と表現論を含むリー理論的技法を用いて、著者たちは、ねじれた立方曲線、直線と二次曲面の積、グラスマン多様体、ラグランジュングラスマン多様体、スピンオル多様体、および $E_7$-多様体を含むすべての such 多様体を同定し、$τ_{2n}$ および表現論の構造を通じて完全な分類を確立する。

ABSTRACT

I prove that every smooth legendrian variety generated by quadrics is a homogeneous variety and further I give a list of all such legendrian varieties. A review of the subject is included, illustrated by examples. Another result is that no complete intersection is a legendrian variety.

研究の動機と目的

• 定義イデアルが二次多項式によって生成されるすべての滑らかで非可約なリーマン多様体部分多様体を分類すること。
• 二次部分の理想から構成されるシンプレクティック群の作用を用いて、このような多様体が必然的に同次空間であることを証明すること。
• 完全交差（線形空間または特異多様体を除く）はリーマン多様体にはなり得ないことを示し、位相的障害を確立すること。
• 表現論と計算的検証を用いて、古典的および例外的ケースを含む、すべての such 多様体の包括的リストを提供すること。
• サブアドジョイント多様体およびそのリー理論的起源を通じて、リーマン多様体の研究を統一すること。

提案手法

• リーマン多様体の理想の二次部分から、アーモニック空間上のシンプレクティック構造を活用して $\mathbf{Sp}_{\mathbb{C}}(V)$ の部分群を構成する。
• この群の多様体への作用を用いて、理想が二次式によって生成されるとき、滑らかな点上で推移的であることを証明し、同次性を示す。
• 半単純リー代数の表現論を用い、重み、根、最高重み表現に焦点を当て、可能な同次多様体を分類する。
• 表現の次元と多重度の条件を分析して、非リーマン多様体候補を除外する。次元比較と重み制約を用いる。
• Magma を用いた計算ツールを活用して、特に例外的リー型 $F_4, E_6, E_7, E_8$ の明示的例を検証する。
• 座標環上のポアソン括弧構造を用いて、代数的イデアル構造とシンプレクティック幾何学、リー代数表現を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 射影空間内の滑らかで非可約なリーマン多様体部分多様体で、イデアルが完全に二次多項式によって生成されるものはどれか？
• RQ2 このようなリーマン多様体は分類可能であり、同次空間である必要があるか？
• RQ3 すべての such 多様体の完全なリスト（例外的ケースを含む）は何か？
• RQ4 なぜ非線形完全交差はリーマン多様体になれないのか？そのような多様体の特異点は何か？
• RQ5 リー理論的構成から生じるサブアドジョイント多様体は、二次式によって生成されるリーマン多様体とどのように関係するか？

主な発見

• 二次式によって生成されるすべての滑らかで非可約なリーマン多様体部分多様体は、滑らかな点での群作用の推移性により、同次多様体であることが証明された。
• 完全なリストは6種類である：$\mathbb{P}^3$ 内のねじれた立方曲線、$\mathbb{P}^{2n-1}$ 内の $\mathbb{P}^1 \times Q^{n-2}$、$\mathbb{P}^{19}$ 内の $Gr(3,6)$、$\mathbb{P}^{13}$ 内の $Gr_L(3,6)$、$\mathbb{P}^{31}$ 内のスピンオル多様体 $\mathbb{S}_6$、および $\mathbb{P}^{55}$ 内の $E_7$-多様体。
• 完全交差は、線形空間または余次元1の特異点集合を持つ場合を除き、リーマン多様体にはなり得ない。これにより、位相的障害が確立された。
• 古典的リー型（$A_m, C_m, B_m, D_m$）の分類は、次元と重みの分析により達成され、それ以外のすべてのケースが有限個に制限された。
• 例外的リー型では、唯一の解は $\mathbb{P}^{55}$ 内の $E_7$-多様体であり、アルゴリズム的分類の計算的検証により確認された。
• 同定された多様体は、すべて正確にサブアドジョイント多様体であり、単純リー代数の随伴表現における最小軌道として生じる。