[论文解读] Quadric surface bundles over surfaces

Asher Auel, R. Parimala+1 more|arXiv (Cornell University)|Jul 17, 2012

Algebraic Geometry and Number Theory参考文献 51被引用 18

一句话总结

本文通过 Clifford 代数与范数函子的代数几何方法，建立了在正则曲面的度数为2的有限平坦双重覆盖 $T \to S$ 上，Azumaya 四元数代数与沿分支除子 $D$ 具有简单退化的二次曲面丛之间的典范双射，推广了 Voisin 对含平面的立方四fold 的霍奇理论型全局 Torelli 定理。

ABSTRACT

Let T -> S be a finite flat morphism of degree two between regular integral schemes of dimension at most two (and with 2 invertible), having regular branch divisor D. We establish a bijection between Azumaya quaternion algebras on T and quadric surface bundles over S with simple degeneration along D. This is a manifestation of the exceptional isomorphism A_1^2 = D_2 degenerating to the exceptional isomorphism A_1 = B_1. In one direction, the even Clifford algebra yields the map. In the other direction, we show that the classical algebra norm functor can be uniquely extended over the discriminant divisor. Along the way, we study the orthogonal group schemes, which are smooth yet nonreductive, of quadratic forms with simple degeneration. Finally, we provide two surprising applications: constructing counter-examples to the local-global principle for isotropy, with respect to discrete valuations, of quadratic forms over surfaces; and a new proof of the global Torelli theorem for very general cubic fourfolds containing a plane.

研究动机与目标

• 通过代数结构将 Voisin 对含平面的立方四fold 的全局 Torelli 定理推广至任意正则曲面。
• 在具有简单退化的二次曲面丛与双重覆盖上的 Azumaya 四元数代数之间建立对应关系。
• 将经典的代数范数函子推广至奇异判别超平面，实现从代数到丛的逆构造。
• 研究具有简单退化的二次型所关联的正交群概形结构，证明其光滑但非重新性。
• 利用 Clifford 代数与扭曲层模空间，为几何结果（包括全局 Torelli 定理）提供新的代数证明。

提出的方法

• 从 scheme $S$ 上秩为4的带线丛值二次型构造偶 Clifford 代数 $\mathscr{C}_0$，在双重覆盖 $T$ 上得到一个 Azumaya 代数层。
• 定义广义范数函子 $N_{T/S}$，将其作为经典代数范数在判别超平面上的提升，从而建立从 Azumaya 代数到二次曲面丛的映射。
• 证明偶 Clifford 代数与范数函子互为逆映射，确立典范双射 $\mathrm{Quad}_2(T/S) \leftrightarrow \mathrm{Az}_2(T/S)$。
• 分析具有简单退化的二次型所关联的正交群概形，证明其光滑，并实现例外同构 $^2\mathsf{A}_1 = \mathsf{D}_2$ 到 $\mathsf{A}_1 = \mathsf{B}_1$ 的退化。
• 利用 Mukai 向量平方为 $-2$ 的扭曲层模空间，证明球形对象的唯一性，该唯一性构成 Torelli 论证的基础。
• 应用 $B$-场与扭曲 Riemann–Roch 的形式系统，计算 $\beta$-扭曲层的不变量，并为一般情形 $T$ 建立稳定性。

实验结果

研究问题

• RQ1 是否可将含平面的立方四fold 与 K3 曲面上 Azumaya 四元数代数之间的对应关系推广至几何设定之外？
• RQ2 是否存在一个典范的代数构造，实现从二次曲面丛到 Azumaya 代数的偶 Clifford 代数映射的逆？
• RQ3 代数范数函子能否在判别超平面上延拓，以恢复丛结构？
• RQ4 具有简单退化的二次型所关联的正交群概形的结构是怎样的？其与例外同构有何关系？
• RQ5 该对应关系中的代数结构是否能产生曲面函数域上二次型各向同性之局部-整体原理的反例？

主要发现

• 偶 Clifford 代数构造给出了从 $\mathrm{Quad}_2(T/S)$ 到 $\mathrm{Az}_2(T/S)$ 的典范映射，且该映射为集合上的同构。
• 广义范数函子 $N_{T/S}$ 提供了偶 Clifford 代数映射的良定义逆，确立了互逆双射关系。
• 与具有简单退化的二次型相关的正交群概形虽非重新性，但光滑，并实现例外同构 $^2\mathsf{A}_1 = \mathsf{D}_2$ 到 $\mathsf{A}_1 = \mathsf{B}_1$ 的退化。
• 本文构造了曲面函数域上二次型各向同性之局部-整体原理的显式反例，甚至在有理函数域上亦成立。
• 对于一般度数为2的 K3 曲面 $T$，Mukai 向量平方为 $-2$ 的 $\beta$-扭曲层的模空间仅含一个点，意味着其关联的 Azumaya 代数唯一。
• 本文对包含平面的非常一般立方四fold 的全局 Torelli 定理给出了新证明，其核心在于球形 $\beta$-扭曲层的唯一性，以及 $\mathscr{C}_0$ 与 $\mathrm{End}(\mathscr{V}_0)$ 之间的双射，完全避免了霍奇理论。