[論文レビュー] Projectively Dual Varieties

Evgueni A. Tevelev|ArXiv.org|Dec 3, 2001

Algebraic Geometry and Number Theory参考文献 100被引用数 9

ひとこと要約

このサーベイは代数幾何における射影的双対性を検討し、滑らかでない点における接超平面によって定義される双対的双対多様体とその双対多様体の間の双対性に焦点を当てる。基本的な結果として反射定理を確立し、代数幾何、リー群の作用、ホモロジー代数の道具を用いた現代的取り扱いを行う。主な結果には、定数ランクテンソル族の次元の上限と、$∑ X^* \geq \dim X$ の不等式の新しい証明が含まれる。幾何的直感と具体例に重点を置きつつ、トーリック多様体と$A$-判別式は省略されている。

ABSTRACT

This text is a draft of the review paper on projectively dual varieties. Topics include dual varieties, Pyasetskii pairing, discriminant complexes, resultants and schemes of zeros, secant and tangential varieties, Ein theorems, applications of projective differential geometry and Mori theory to dual varieties, degree and multiplicities of discriminants, self-dual varieties, etc.

研究の動機と目的

• 古典的および現代的視点を統合した、射影的双対性に関する包括的かつアクセス可能なサーベイを提供すること。
• 反射定理や接超平面と射影的多様体の間の双対性といった基礎的結果を確立すること。
• 極値の射影的多様体に作用するリー群の自然な作用とその幾何的意義を調査すること。
• コhomologicalおよび幾何的技法を用いて、定数ランクの対称テンソル族の次元の上限を導出すること。
• Lefschetz双対性とスペクトル系列を用いた$∑ X^* \geq \dim X$ の不等式の新しい証明を提供すること。

提案手法

• 双対多様体$X^*$を、$X$の滑らかでない点における接超平面の集合の閉包として古典的に定義する。
• シンプレクティック幾何から導かれる反射定理を適用し、滑らかな多様体に対して$X^{**} = X$が成り立つことを示す。
• ベクトルバンドルと射影バンドル$∑(E)$の理論を用いて、対称双一次形式によって定義される二次超曲面族を分析する。
• 2次のヴェロネーゼ埋め込みを用いて、$∑_{∑(E)}(2)$を双対バンドルの対称冪と関連づけ、正則性の議論を可能にする。
• Lefschetz双対性とLerayスペクトル系列の退化に関するDeligneの定理を適用し、$∑(E)\setminus Y$ と $∑(F)\setminus Z$ のコホモロジーを比較する。
• 対称写像$E \to E^* \otimes L$の核と像を分析し、部分多様体$∑(K)$と$Z \subset ∑(F)$を定義し、次元制約に至る。

実験結果

リサーチクエスチョン

• RQ1 滑らかな射影的多様体$X$の双対多様体$X^*$が$X^{**} = X$を満たすための条件は何か？
• RQ2 双対多様体$X^*$の次元は多様体$X$の次元とどのように関係するか？
• RQ3 $\mathbb{P}(S^2 V^*)$内に含まれる定数ランク$r$の対称形式の線形部分空間の最大次元は何か？
• RQ4 リー群の作用は極値の射影的多様体にどのように現れ、双対性において果たす役割は何か？
• RQ5 定数ランクの対称テンソル族の次元の上限を導出するためのコホモロジー的技法は何か？

主な発見

• $\mathbb{P}(S^2 V^*)$内に含まれる定数偶数ランク$r$の対称形式の線形部分空間の最大次元は、$m - r$で抑えられる。ここで$m = \dim V$である。
• Lefschetz双対性とLerayスペクトル系列の退化を用いて、不等式$\dim X^* \geq \dim X$を再証明した。
• 射影バンドル内の二次超曲面の補集合のコホモロジーは、中間次元より上では消える。これは双対多様体に位相的制約をもたらす。
• 双対多様体$Z$と周囲の射影バンドル$∑(F)$のベッチ数は、次数$2r + m - n - 3$まで一致する。$m > n - r$であれば、これは矛盾を引き起こす。
• 対称同型$F \simeq F^* \otimes L$の存在により、$Z \to X$のファイバーは滑らかな二次曲面となり、コホモロジーの比較が可能になる。
• ヴェロネーゼ埋め込みと基底変換を用いて、$∑_{∑(E)}(2) \otimes \pi^*L$の正則性が確立され、これは位相的議論にとって重要である。