[論文レビュー] Derived categories of quadric bundles and moduli stacks of spinor sheaves

Raymond Cheng, Noah Olander|arXiv (Cornell University)|Feb 23, 2026

Algebraic structures and combinatorial models被引用数 0

ひとこと要約

要約: 本論文は、flat family of even-dimensional quadric bundles（corank ≤ 2）のKuznetsov成分が、特定の退化条件とエタール被覆の分解条件の下で、スピナーシェafesのモジュミ stackとFourier–Mukai変換を介して、代数空間のねじれた導来圏と同値であることを示す。

ABSTRACT

We prove that the Kuznetsov component of a flat family of even-dimensional quadrics of corank at most 2 is equivalent to the twisted derived category of an algebraic space whenever: (i) the open subset of the base over which the quadrics has corank at most 1 is scheme-theoretically dense; and (ii) a certain étale double cover of the closed complement admits a section. This provides the first general geometricity result for Kuznetsov components of higher dimensional quadrics, thereby generalizing works of Kapranov, Bondal, Orlov, Kuznetsov, Moschetti, Xie, and others. Our main tool is the moduli stack of spinor sheaves on a family of quadrics, which we define and study in detail. In the situation of our main result, we produce an open substack which is a $\mathbf{G}_m$-gerbe, and show that the associated twisted derived category is equivalent to the Kuznetsov component of the family of quadrics, thereby providing a geometric interpretation of the Brauer classes appearing in previous works.

研究の動機と目的

• quadric bundles の導来 category の分解を高次元およびより広い基底スキームに一般化すること。
• Kuznetsov成分をねじれた導来圏として幾何的に解釈すること（スピナーシェafesのモジュミ堆を介して）。
• スタック理論および降下ツールを開発し、ファミリにおける Fourier–Mukai 同値性を実現する。
• hyperbolic reduction と spinor データが Ku(Q) の構造とその同値性を支配する様子を明らかにする。
• これらの結果を古典的な場合（Kapranov、Bondal–Orlov）と結びつけ、クォドラックの交線や三次の四分体への適用を示す。

提案手法

• 相対次元 2ℓ かつ cosrack 制約を持つ quadric bundle Q → S を研究する。
• family Q → S の spinor sheaf のモジュミ堆を定義・分析する。
• セクションに沿った hyperbolic reduction を用いて Ku(Q) を Ku(Q′) に関連付け、核を理想 sheaf ファミリの twists と同定する。
• Ku(Q) と twisted derived categories D_qc(M,β) との間の S-線形 Fourier–Mukai 同値性を確立する。
• Fourier–Mukai 関数子の降下命題を適用して、局所（エタール）データから全体同値性を導く。
• カーネルを積 Q ×_S M の普遍 spinor-sheaf に関連付け、Morita 同値を解釈する。

実験結果

リサーチクエスチョン

• RQ1 Ku(Q) が代数空間 M のねじれた導来圏 D_qc(M,β) と同値になる正確な退化条件と分割条件は何か。
• RQ2 セクションに沿った hyperbolic reduction は Kuznetsov成分とその同値性にどう影響するか。
• RQ3 Ku(Q) を spinor sheaf によって生成されるモジュミ堆として実現できるか、普遍ファミリを妨げる Brauer データは何か。
• RQ4 これらの結果がクォドラックの交線および三次の四分体に対して、任意の特性でどんな影響をもつか。
• RQ5 降下とスタック理論的手法でエタール局所データから全体同値性を導けるか。

主な発見

• 定理A: relative dimension 2ℓ の quadric bundle Q → S が S3 が空で、S2 が非弱関連、かつ S2 の分割エタール二重被覆が与えられるとき、S2 から離れた次数2の有限なモジュリ M → S と Brauer クラス β ∈ Br(M) が存在し、D_qc(M,β) ≃ Ku(Q) となる。
• 定理B: relative dimension n−1 ≥ 2 の quadric bundle Q → S と正則断面に沿う hyperbolic reduction Q′ → S の場合、S-線形同値 Ku(Q′) ≃ Ku(Q) が存在する。
• 定理A/B を完全なフラグの下で反復させると、corank ≤ 2 のファイバーを得、S-線形同値 Ψ: D_qc(M) → Ku(Q) が成り立ち、M は spinors のモジュミ空間として機能する；構成は普遍 spinor sheaf からの Fourier–Mukai 変換を用いる。
• 同値性の核は、選択したセクションを通るファミリのラインの理想 sheaf の twists であり、対蹠 spinor sheaf は同値性の下で保存される。
• この枠組みは Brauer クラスの幾何的解釈を與え、Kapranov の quadric 分解をより高次元・より広い基底へ一般化する。
• 適用例: (i) 2つの quadric の交線に対する Bondal–Orlov 型の記述（任意の特性の場で D^b_coh(X) が twist 付き D^b_coh(C,α) に分解）、(ii) 三次四分体の twist 的幾何実現、特に特性2における supersingular K3 対象 S を線分成分として持つ場合、既知の/K3型挙動への明示的結びつき。