[论文解读] 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

一句话总结

本文通过使用对称矩阵元组的线性轨道，将经典双射（theta 特征与三个二次曲面的完全交集之间）推广到任意域上的奇异超曲面，包括特征二的情形。关键贡献是通过矩阵轨道对几何上约化的超曲面上的非有效 theta 特征进行参数化，从而扩展了 Beauville 关于完全交集自同构群的结果。

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.

研究动机与目标

• 将 theta 特征与光滑三个二次曲面完全交集之间的经典对应关系推广到任意域上的奇异超曲面，包括特征二的情形。
• 用对称矩阵元组的轨道为基础的线性代数框架取代完全交集的几何构造。
• 为由对称矩阵元组的判别式多项式定义的超曲面上的非有效 theta 特征提供统一的参数化。
• 将 Beauville 关于二次曲面完全交集的射影自同构群结果推广到奇异情形和正特征情形。
• 通过凝聚层和矩阵作用，建立超曲面上 theta 特征的对偶性和上同调框架。

提出的方法

• 定义空间 $ W = k^{m+1} \tensor \text{Sym}_2 k^{n+1} $，即域 $ k $ 上的 $ (m+1) $ 个 $ (n+1) \times (n+1) $ 对称矩阵的元组空间。
• 引入判别式多项式 $ \text{disc}(M) = \text{det}(X_0M_0 + \tdots + X_mM_m) $，其为 $ m+1 $ 个变量的 $ n+1 $ 次齐次形式。
• 定义子空间 $ W_{\text{nv}} $（判别式非零）和 $ W_{\text{gr}} $（几何上约化的判别式），以确保超曲面 $ S \to \bbP^m $ 表现良好。
• 构造一个态射 $ 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) $ 的同构类之间的双射，其中 $ S $ 为几何上约化的超曲面，$ \fM $ 为非有效 theta 特征。

实验结果

研究问题

• RQ1 如何将 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, \fM) $ 的同构类之间的双射，其中 $ S \to \bbP^m $ 为次数为 $ n+1 $ 的几何上约化超曲面，$ \fM $ 为 $ S $ 上的非有效 theta 特征。
• 该构造在任意域上统一成立，包括经典几何方法失效的特征二情形。
• 完全交集的自同构群被描述为 $ \text{GL}_{m+1}(k) \times \text{GL}_{n+1}(k) $ 中稳定子的商群，从而推广了 Beauville 的结果。
• 群 $ F_Q / P_Q $ 同构于范数映射 $ \bar{\text{Nm}}: L_0^\times / k^\times \to L_0^\times / k^\times $ 的核，从而建立了算术与几何之间的联系。
• 群 $ H_Q $ 同构于保持支撑 $ \fD_Q $ 和对偶结构 $ \fM, \flambda $ 的 $ \bbP^m $ 的射影自同构群，从而为自同构群提供了几何解释。
• 凝聚 $ \bO_S $-模 $ \fM $ 是算术上的 Cohen–Macaulay 模，维数为 $ m-1 $，且满足 $ H^0(S, \fM) = 0 $，从而确认了其非有效性。