[論文レビュー] Orbit parametrizations of theta characteristics on hypersurfaces over arbitrary fields

Yasuhiro Ishitsuka|arXiv (Cornell University)|Dec 22, 2014

Algebraic Geometry and Number Theory参考文献 15被引用数 6

ひとこと要約

本稿は、特異な超曲面、特に特徴標数2を含む任意の体上での、古典的なtheta特性と3つの二次形式の完全交差の間の双対性を、対称行列の組の線形軌道を用いて一般化する。主な貢献は、幾何的に非特異な超曲面上の非効果的theta特性の行列軌道によるパラメトライゼーションであり、完全交差の自己同型群に関するボイルヴィルの結果を拡張する。

ABSTRACT

It is well-known that theta characteristics on smooth plane curves over a field of characteristic different from two are in bijection with certain smooth complete intersections of three quadrics. We generalize this bijection to possibly singular hypersurfaces of any dimension over arbitrary fields including those of characteristic two. It is accomplished in terms of linear orbits of tuples of symmetric matrices instead of smooth complete intersections of quadrics. As an application of our methods, we give a description of the projective automorphism groups of complete intersections of quadrics generalizing Beauville's results.

研究の動機と目的

• 特徴標数2を含む任意の体上での、古典的な3つの二次形式の完全交差とtheta特性の対応関係を、特異な超曲面へと拡張すること。
• 完全交差の幾何的構成を、対称行列の組の軌道に基づく線形代数的枠組みに置き換えること。
• 対称行列の組の行列式多項式によって定義される超曲面上の非効果的theta特性の均一なパラメトライゼーションを提供すること。
• 完全交差の射影自己同型群に関するボイルヴィルの結果を、特異的かつ正標数の設定へと一般化すること。
• 連接層と行列作用を用いた、超曲面上のtheta特性の双対性およびコhomological枠組みを確立すること。

提案手法

• 体 $ k $ 上の $ (n+1) \times (n+1) $ 対称行列の $ (m+1) $ 重組の空間 $ W = k^{m+1} \tensor \text{Sym}_2 k^{n+1} $ を定義する。
• 行列式多項式 $ \text{disc}(M) = \text{det}(X_0M_0 + \tdots + X_mM_m) $ を導入し、これは $ m+1 $ 変数における $ n+1 $ 次の同次形式である。
• 超曲面 $ S \to \bbP^m $ が適切に振る舞うように保証するため、$ W_{\text{nv}} $（行列式が消えない）および $ W_{\text{gr}} $（幾何的に非特異な行列式）の部分空間を定義する。
• 写像 $ M: \bigoplus \bO_{\bbP^m}(-2) \to \bigoplus \bO_{\bbP^m}(-1) $ を構成し、これにより $ \bO_S $-加群 $ \fM $ が誘導され、これは非効果的theta特性である。
• $ \text{GL}_{m+1}(k) \times \text{GL}_{n+1}(k) $ の $ W $ 上の作用を導入し、行列式をスカラー倍の意味で保存するようにし、軌道同値類を定義する。
• $ \text{GL}_{m+1}(k) \times \text{GL}_{n+1}(k) $-軌道の $ W_{\text{gr}} $ 内の同型類と、$ S $ が幾何的に非特異な超曲面で $ \fM $ が非効果的theta特性であるようなペア $ (S, \fM) $ の同型類との間の双対性を確立する。

実験結果

リサーチクエスチョン

• RQ1 特徴標数2を含む任意の体上での、古典的な3つの二次形式の完全交差とtheta特性の対応関係を、特異な超曲面へとどのように一般化できるか？
• RQ2 正標数や $ n \neq 2 $ の場合に、滑らかな完全交差の代わりにどのような代数的構造が現れるか？
• RQ3 完全交差の自己同型群を、行列軌道を用いてすべての特徴標数に一様に記述できるか？
• RQ4 $ \text{GL}_{m+1}(k) \times \text{GL}_{n+1}(k) $-作用の不変量が、関連するtheta特性の幾何にどのように関係するか？
• RQ5 行列式多項式およびその因数分解が、非効果的theta特性のパラメトライゼーションにおいて果たす正確な役割は何か？

主な発見

• 本稿は、$ \text{GL}_{m+1}(k) \times \text{GL}_{n+1}(k) $-軌道の $ W_{\text{gr}} $ 内の同型類と、$ S \to \bbP^m $ が次数 $ n+1 $ の幾何的に非特異な超曲面で $ \fM $ が $ S $ 上の非効果的theta特性であるようなペア $ (S, \fM) $ の同型類との間の双対性を確立する。
• この構成は、特徴標数2を含む任意の体上で一様に機能し、古典的な幾何的手法が失敗する場面でも有効である。
• 完全交差の自己同型群は、$ \text{GL}_{m+1}(k) \times \text{GL}_{n+1}(k) $ 内の安定化部分群の商として記述され、ボイルヴィルの結果が一般化される。
• $ F_Q / P_Q $ は、ノーム写像 $ \bar{\text{Nm}}: L_0^\times / k^\times \to L_0^\times / k^\times $ の核に同型であり、算術と幾何の間の関係を示す。
• $ H_Q $ は、$ \bbP^m $ の射影自己同型群に同型であり、これは $ \fD_Q $ の台と双対構造 $ \fM, \flambda $ を保存するものであり、自己同型群の幾何的解釈を与える。
• $ \bO_S $-加群 $ \fM $ は、算術的にコhen–マカウリー的であり、次元 $ m-1 $ の純粋性を満たし、$ H^0(S, \fM) = 0 $ を満たすため、非効果的であることが確認される。