[論文レビュー] Quadric surface bundles over surfaces

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

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

ひとこと要約

本稿は、正則な曲面の2次の有限平坦な二重被覆 $T \to S$ 上のアズマヤのクaternion代数と、分岐除集合 $D$ に沿って単純な退化を示す $S$ 上の二次曲面バンドルの間の標準的全単射を確立する。これは、クリフォード代数とノルム関手の代数的幾何学的性質を用いて、ヴォジンの立方四重多様体に対するホッジ的トーリー定理を一般化したものである。

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.

研究の動機と目的

• 立方四重多様体に平面を含む場合のヴォジンのグローバル・トーリー定理を、代数的構造を用いて任意の正則曲面へ一般化すること。
• 単純な退化を示す二次曲面バンドルと、二重被覆上のアズマヤのクェaternion代数との間の対応を確立すること。
• 特異的判別式部分集合へも拡張可能な古典的代数ノルム関手を拡張し、代数からバンドルへの逆構成を可能にする。
• 単純な退化を示す二次形式に対する直交群スキームの構造を研究し、それが滑らかであるが非再帰的であることを示すこと。
• クリフォード代数とねじれ層のモジュライ空間を用いて、幾何的結果（特にグローバル・トーリー定理）の新たな代数的証明を与えること。

提案手法

• スキーム $S$ 上のランク4のラインバンドル値二次形式から、偶数クリフォード代数 $\mathscr{C}_0$ を構成し、二重被覆 $T$ 上のアズマヤ代数の層を得る。
• 古典的代数ノルムを判別式除集合へと拡張する一般化されたノルム関手 $N_{T/S}$ を定義し、アズマヤ代数から二次曲面バンドルへの写像を可能にする。
• 偶数クリフォード代数とノルム関手が互いに逆写像であることを証明し、標準的全単射 $\mathrm{Quad}_2(T/S) \leftrightarrow \mathrm{Az}_2(T/S)$ を確立する。
• 単純な退化を示す二次形式に関連する直交群スキームを分析し、滑らかでありながら非再帰的であることを証明し、例外的同型 $^2\mathsf{A}_1 = \mathsf{D}_2$ が $\mathsf{A}_1 = \mathsf{B}_1$ へ退化することを実現すること。
• 平方が $-2$ であるムカイベクトルを持つねじれ層のモジュライ空間を用いて、球面的対象の一意性を証明し、これがトーリー論証の根拠となる。
• $B$-場の形式的枠組みとねじれリーマン・ローチを用い、$\beta$-ねじれ層の不変量を計算し、一般の $T$ に対して安定性を確立する。

実験結果

リサーチクエスチョン

• RQ1 平面を含む立方四重多様体とK3曲面上のアズマヤのクェaternion代数の間の対応関係は、幾何的設定を超えて一般化可能か？
• RQ2 二次曲面バンドルからアズマヤ代数への偶数クリフォード代数写像の逆を実現する、標準的な代数的構成は存在するか？
• RQ3 判別式除集合へも拡張可能な代数ノルム関手は、バンドル構造を回復できるか？
• RQ4 単純な退化を示す二次形式に対する直交群スキームの構造は何か？また、例外的同型とどのように関係するか？
• RQ5 この対応関係における代数的構造は、曲面の函数体上での二次形式の同型の局所・大域原理に対する反例をもたらすか？

主な発見

• 偶数クリフォード代数の構成により、$\mathrm{Quad}_2(T/S)$ から $\mathrm{Az}_2(T/S)$ への自然な写像が得られ、これは集合としての同型である。
• 一般化されたノルム関手 $N_{T/S}$ は、偶数クリフォード代数写像のwell-definedな逆写像を提供し、互いに逆写像である全単射を確立する。
• 単純な退化を示す二次形式に関連する直交群スキームは、非再帰的であるが滑らかであり、例外的同型 $^2\mathsf{A}_1 = \mathsf{D}_2$ が $\mathsf{A}_1 = \mathsf{B}_1$ へ退化することを実現する。
• 本稿は、関数体（特に有理関数体）上の曲面においても、二次形式の同型の局所・大域原理に対する明示的な反例を構成する。
• 一般の2次のK3曲面 $T$ に対して、平方が $-2$ であるムカイベクトルを持つ $\beta$-ねじれ層のモジュライ空間は1点からなるため、関連するアズマヤ代数の一意性が示される。
• 平面を含む非常に一般な立方四重多様体に対するグローバル・トーリー定理の新しい証明は、球面的 $\beta$-ねじれ層の一意性と、$\mathscr{C}_0$ と $\mathrm{End}(\mathscr{V}_0)$ の間の全単射に依拠しており、ホッジ理論を避ける。