[논문 리뷰] Pfaffian Subschemes

Charles Walter|ArXiv.org|1994. 06. 17.

Algebraic structures and combinatorial models참고 문헌 2인용 수 16

한 줄 요약

이 논문은 프로젝티브 공간 내의 계수 3 부분다양체가 Pfaffian—즉, 홀수 계수의 벡터(bundle) 위의 반대칭 사상의 열화 위치로 정의되는 것—임을 완전히 특성화한다. 이는 그러한 부분다양체가 Pfaffian임과 동시에 국소적으로 Gorenstein이며, 하위표준적이고, 차원 n ≡ 0 mod 4 이면서 캐논칼 튜브가 짝수일 경우 오일러 지표에 대한 짝수 조건을 만족할 때에만 성립함을 증명한다. 이 결과는 모든 특성수, 특히 특성 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이 되기 위한 필요 및 충분 조건을 규명하는 것.
• 산술적으로 Gorenstein인 다항식에 대한 Buchsbaum-Eisenbud의 구조 정리가 국소적으로 Gorenstein이며 하위표준적인 다항식의 더 넓은 범주로 확장되는지 밝히는 것.
• 자기쌍대 분해를 구성하기 위한 Horrocks 대응의 유도 범주적 공식화를 수립하는 것.
• 차원 > 4인 정칙 국소환에 대한 주요 정리의 국소적 동치를 확립하는 것.
• 특성 2에서의 짝수 조건이 모든 짝수 차원에 대해 적용되어야 하며, n ≡ 0 mod 4에 국한되지 않도록 조정되어야 함을 보여주는 것.

제안 방법

• 유도 범주 프레임워크를 사용하여 Horrocks 대응을 재구성함으로써, 코homological 데이터가 벡터(bundle)로 전달되는 것을 제어할 수 있도록 한다.
• 전역 단면 복합체 RΓ∗(IX)의 잘라내기(truncation)를 적용하여 OX의 코homology를 두 부분으로 나눈다.
• Horrocks 대응을 이용하여 호환성을 확보함으로써, OX의 코homology의 한쪽 반을 포괄하는 국소적으로 자유인 층 F∞를 구성한다.
• F∞와 그 쌍대를 조합하여 OX의 자기쌍대 분해를 형성함으로써, 이 분해가 반대칭적이고 Pfaffian임을 보장한다.
• Serre 및 국소 쌍대성을 사용하여 오일러 지표 χ(OX(l/2))를 군(bundle)의 코homology, 특히 Hn/2(OX(l/2))와 연결한다.
• 국소 경우에 Matlis 쌍대성을 사용하여 Hn/2(OX) 내의 짝수 길이의 등방성 부분군을 정의함으로써, Pfaffian 분해를 구성하는 데 필수적인 조건을 확립한다.

실험 결과

연구 질문

• RQ1 P^n 내 국소적으로 Gorenstein이며 하위표준적인 계수 3 부분다양체 X가 언제 Pfaffian인가?
• RQ2 n ≡ 0 mod 4 이면서 l가 짝수일 경우, Pfaffian 구조를 위해 추가로 필요한 코homological 조건(짝수 조건)은 무엇인가?
• RQ3 유도 범주에서 Horrocks 대응을 어떻게 재구성하여 자기쌍대 분해를 체계적으로 구성할 수 있는가?
• RQ4 주요 정리는 양의 특성수, 특히 특성 2에서도 확장 가능한가?
• RQ5 차원 > 4인 정칙 국소환에서 Pfaffian 조건의 정확한 국소적 동치는 무엇인가?

주요 결과

• 계수 3 부분다양체 X ⊂ P^n은 국소적으로 Gorenstein이며, 하위표준적(ωX ≅ OX(l))이면서, 만약 n ≡ 0 mod 4 이고 l가 짝수일 경우 오일러 지표 χ(OX(l/2))가 짝수이면 Pfaffian이다.
• 유도 범주적 공식화된 Horrocks 대응은 코homological 데이터로부터 체계적인 자기쌍대 분해를 구성하는 데 기여한다.
• 자기쌍대 분해 (1)은 잘라내기와 쌍대성에 의해 명시적으로 구성되며, g와 h = g∨는 비대칭 사상 f의 차수 2p의 Pfaffian으로 주어진다.
• 특성 2에서는 짝수 조건을 일반화해야 한다: 이 조건은 n ≡ 0 mod 4에 국한되지 않고, 모든 짝수 차원에 대해 적용되어야 하며, 이는 쌍대성 쌍의 차이로 인한 것이다.
• 국소 정리(정리 0.3)는 전역 정리와 동치이다: 정칙 국소환 R 내의 무혼합 높이 3 이상의 아이디얼 I는 R/I가 최대 아이디얼을 제외한 곳에서 Gorenstein이며, ωR/I ≅ (R/I)_{sat}이고, n ≡ 0 mod 4일 경우 Hn/2_m(I)의 길이가 짝수이면 Pfaffian이다.
• P^n 내 계수 3의 매끄러운 부분다양체이며 n ≥ 10일 경우, 이 정리는 그것이 Pfaffian임을 시사하지만, Hartshorne의 추측에 따르면 그것들은 완전교차이어야 한다.