[论文解读] Maximal linear spaces contained in the base loci of pencils of quadrics

Xiaoheng Wang|arXiv (Cornell University)|Feb 11, 2013

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

一句话总结

本文在任意特征不为2的域上，对与铅笔型二次曲面相关的Picard簇与Fano簇的不连通并集建立了规范的群结构。证明了在一般铅笔下，基簇中极大线性空间的Fano簇是相关超椭圆曲线的雅可比簇上的主齐性空间，并构造了唯一一个可交换代数群结构，该结构扩展了雅可比簇，从而实现了向J[4]和J[2]上的主齐性空间的规范提升，应用于2-下降法与Selmer群统计。

ABSTRACT

The geometry of the Fano scheme of maximal linear spaces contained in the base locus of a pencil of quadrics has been studied by algebraic geometers when the base field is algebraically closed. In this paper, we work over an arbitrary base field of characteristic not equal to 2 and show how these Fano schemes are related to the Jacobians of hyperelliptic curves. In particular, if $B$ is the base locus of a generic pencil of quadrics in $\bbp^{2n+1}$, and $F$ is the Fano variety of $n - 1$ planes contained in $B$, then $F$ is a component of a disconnected commutative algebraic group $G = \picz(C) \dcup F \dcup \pico(C) \dcup F'$, where $C$ is the hyperelliptic curve defined by the discriminant form of the pencil. In the second half of this paper, we study regular pencils of quadrics, where the hyperelliptic curve defined by the discriminant is singular.

研究动机与目标

• 将Fano簇中基簇内极大线性空间的几何与算术理论，从代数闭域推广至任意特征≠2的域。
• 在任意特征≠2的域上，对Picard簇与Fano簇的不连通并集建立规范的可交换代数群结构。
• 通过所构造的群律，将Fano簇主齐性空间规范提升至J[4]与J[2]，从而实现对2-下降与Selmer群统计的应用。
• 将一般铅笔的结果推广至正则铅笔（仅含简单锥奇点），并扩展与超椭圆曲线雅可比簇的联系。

提出的方法

• 在由铅笔判别式定义的超椭圆曲线C上，构造一个可交换代数群G = Pic⁰(C) ⊔ F ⊔ Pic¹(C) ⊔ F′。
• 在G上施加一个群运算+G，使得G⁰ = Pic⁰(C)，其分量群为Z/4Z，并确保F′通过取逆同构于F。
• 利用与铅笔相关的自伴算子T，分析基簇所含线性空间中的广义特征子空间与迷向2-平面。
• 应用约化理论，通过分析判别多项式f(x)的结构及其在可分闭包上的因式分解，对基簇中的线性空间进行分类。
• 采用Fano簇间关于奇点类型的递归双射δ，保持稳定子大小，并通过引理3.36约化至已知情形。
• 推导出显式线性系统与矩阵条件（例如含Γi, Ωi系数的3×4矩阵），以在k̄上计数迷向2-平面的解。

实验结果

研究问题

• RQ1 在特征≠2的任意域上，铅笔型二次曲面基簇中极大线性空间的Fano簇行为如何？
• RQ2 能否在Picard簇与Fano簇的并集上构造一个规范的可交换代数群结构，以扩展相关超椭圆曲线的雅可比簇？
• RQ3 Fano簇与判别曲线雅可比簇的2-挠与4-挠子群之间的确切关系为何？
• RQ4 当铅笔为正则（仅含简单锥奇点）而非一般情形时，Fano簇的几何与算术结构如何变化？
• RQ5 Fano簇在雅可比簇上的主齐性结构能否被规范地提升至J[4]或J[2]？此类提升的几何意义为何？

主要发现

• 在P^{2n+1}中，若铅笔为一般型，则其基簇中(n−1)维平面的Fano簇F是相关超椭圆曲线C（亏格为n）的雅可比簇J上的主齐性空间。
• 存在唯一一个可交换代数群结构+G在G = Pic⁰(C) ⊔ F ⊔ Pic¹(C) ⊔ F′上，其分量群为Z/4Z，且该结构扩展了H = Pic(C)/D₀上的群运算。
• 通过F[4] = {X ∈ F | X +G X +G X +G X = 0}，Fano簇F被规范地提升为J[4]上的主齐性空间，从而提供规范的4阶挠结构。
• 当Pic¹(C)(k) ≠ ∅时，F是J上阶整除2的主齐性空间，且可通过F[2]_{[D₁]} = {X ∈ F | X +G X = [D₁]}规范地提升为J[2]上的主齐性空间。
• 对于C上的有理魏尔斯特拉斯点或非魏尔斯特拉斯点P，提升F[2]_P具有几何描述，即由包含P的线性空间构成，从而支持算术应用。
• 基簇中k̄-有理极大线性空间的数量在N = 2n+1为奇数时为2^{2n}，在N = 2n+2为偶数时也为2^{2n}，与k̄上已知的几何计数一致。