[论文解读] Pfaffian Subschemes

Charles Walter|ArXiv.org|Jun 17, 1994

Algebraic structures and combinatorial models参考文献 2被引用 16

一句话总结

本文對射影空間中余维3子概形的Pfaffian性質作出了完整特徵化——即定義為奇數秩向量丛上斜對稱映射的退化性位置的子概形。證明了此類子概形為Pfaffian當且僅當其為局部Gorenstein、子canonical，且當維數n ≡ 0 mod 4且canonical twist為偶數時，滿足歐拉示性數的奇偶性條件。該結果可推廣至局部環，且在所有特徵下成立，包括特徵2，但需對奇偶性條件作相應修正。

ABSTRACT

A subscheme $X\subset \Bbb P^{n+3}$ of codimension $3$ is {\em Pfaffian} if it is the degeneracy locus of a skew-symmetric map $f:\cal{E}\spcheck(-t) @>>> \cal{E}$ with $\cal{E}$ a locally free sheaf of odd rank on $\Bbb P^{n+3}$. It is shown that a codimension $3$ subscheme $X\subset\Bbb P^{n+3}$ is Pfaffian if and only if it is locally Gorenstein, subcanonical (i.e.\ $ω_X\cong\cal O_X(l)$ for some integer $l$), and the following parity condition holds: if $n\equiv 0\pmod{4}$ and $l$ is even, then $χ(\cal O_X (l/2))$ is also even. The paper includes a modern version of the Horrocks correspondence, stated in the language of derived categories. A local analogue of the main theorem is also proved.

研究动机与目标

• 確定射影空間中余維3子概形為Pfaffian的必要與充分條件。
• 將Buchsbaum-Eisenbud對算術Gorenstein概形的結構定理推廣至更廣泛的局部Gorenstein、subcanonical概形類。
• 建立Horrocks對應關係的導出範疇形式，以構造局部自由解析列。
• 證明主定理在維數 > 4的正則局部環中的局部類比。
• 表明在特徵2下，奇偶性條件必須調整，使其適用於所有偶數維度，而非僅n ≡ 0 mod 4。

提出的方法

• 利用導出範疇框架重構Horrocks對應關係，從而控制上同調資料向向量叢的傳遞。
• 對全局截面複形RΓ∗(IX)進行截斷，將OX的上同調分解為兩半。
• 透過Horrocks對應關係構造一個局部自由層F∞，使其上同調捕獲H∗(OX)的一半，並確保相容性。
• 透過結合F∞與其對偶，構造OX的自對偶解析列，確保解析列為斜對稱且Pfaffian。
• 運用Serre與局部對偶性，將歐拉示性數χ(OX(l/2))與叢的上同調（特別是Hn/2(OX(l/2))）關聯起來。
• 在局部情形中使用Matlis對偶，定義Hn/2(OX)中長度為偶數的極大 isotropic 子模，此為構造Pfaffian解析列的關鍵。

实验结果

研究问题

• RQ1 何時一個局部Gorenstein、subcanonical的余維3子概形X ⊂ P^n 為Pfaffian？
• RQ2 當n ≡ 0 mod 4且l為偶數時，Pfaffian結構還需何種額外的上同調條件（奇偶性條件）？
• RQ3 如何在導出範疇中重構Horrocks對應關係，以構造自對偶解析列？
• RQ4 主定理是否可推廣至正特徵，特別是特徵2？
• RQ5 在維數 > 4的正則局部環中，Pfaffian條件的精確局部類比為何？

主要发现

• 射影空間中余維3子概形X ⊂ P^n 為Pfaffian當且僅當其為局部Gorenstein、subcanonical（ωX ≅ OX(l)），且滿足奇偶性條件：若n ≡ 0 mod 4且l為偶數，則χ(OX(l/2))為偶數。
• 導出範疇中Horrocks對應關係的表述，使得可系統性地從上同調資料構造自對偶解析列。
• 自對偶解析列(1)透過截斷與對偶性顯式構造，其中g與h = g∨由斜對稱映射f的2p階Pfaffian給出。
• 在特徵2下，奇偶性條件必須推廣：該條件適用於所有偶數n，不僅限於n ≡ 0 mod 4，這是因對偶配對的差異所致。
• 局部定理（定理0.3）與全局定理等價：正則局部環R中高度3的無雜質理想I為Pfaffian，當且僅當R/I在最大理想外為Gorenstein，ωR/I ≅ (R/I)_{sat}，且當n ≡ 0 mod 4時，Hn/2_m(I)的長度為偶數。
• 對於P^n中余維3的光滑子簇，當n ≥ 10時，該定理表明其為Pfaffian，但Hartshorne猜想其應為完全交集。