[논문 리뷰] Heisenberg invariant quartics and SU_C(2) for a curve of genus four

W. M. Oxbury, Christian Pauly|ArXiv.org|1997. 03. 21.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 16

한 줄 요약

이 논문은 종수 4 곡선 $C$ 상에서 임의의 결정성과 함께 계수 2의 반안정 벡터(bundle)의 모듈리 공간 $Σ_C(2)$ 의 기하학을 조사하며, 그 이미지가 사상 $φ: Sigma_C(2) rightarrow |2 heta|$ 에서 유일한 기약 Heisenberg-불변 4차 곡면 $Q_C \subset mathbb{P}^{15}$ 의 특이점 집합에 포함됨을 보여준다. 주요 결과는 $C$ 가 영이 아닌 θ-널(null)을 가지지 않을 경우 $Q_C$ 의 존재성과 유일성을 입증하며, 이는 삼차 정규성과 Verlinde 공식의 응용을 통해 이루어지며, 고차 초평면의 구조와 Prym 다양체에 대한 제약 조건을 통해 그 의미를 밝힌다.

ABSTRACT

If C is a curve of genus 4 without vanishing theta-nulls then there exists a unique (irreducible) Heisenberg-invariant quartic Q_C in |2Θ| = P^{15} such that Sing Q_C contains the image of SU_C(2), the moduli space of rank 2 vector bundles with trivial determinant. Moreover, in each eigen-P^7 of the Heisenberg action on |2Θ|, Q_C restricts to the classical Coble quartic of the corresponding Prym-Kummer variety. We compare Q_C with the hypersurface G_3 in |2Θ| of divisors containing a translate of C in J(C), and show that in the eigen-P^7s G_3 recovers Beauville--Debarre's quadrisecant planes of the Prym-Kummers (this works for any genus). Using the Recillas construction this enables us to deduce, contrary to the analogous result for genus 3, that Q_C and G_3 are distinct.

연구 동기 및 목표

• 종수 2 및 3 곡선에 대한 Narasimhan–Ramanan 결과를 종수 4로 확장한다.
• Heisenberg-불변 4차 곡면을 통해 $|2\Theta| \cong \mathbb{P}^{15}$ 내의 이미지 $\phi(\mathcal{SU}_C(2))$ 를 특성화한다.
• $\phi(\mathcal{SU}_C(2))$ 가 종수 3의 Coble 4차 곡면과 유사하게 표준 4차 곡면 $Q_C$ 의 특이점 집합과 일치하는지 조사한다.
• $\mathcal{SU}_C(2)$ 와 $W_{g-d}$ 의 이동으로 정의된 Heisenberg-불변 다양체 $G_d \subset |2\Theta|$ 간의 관계를 분석한다.
• Recillas 대응을 통해 $Q_C$ 와 $G_3$ 를 2차 토르션 점 $\eta \in J_C[2]$ 와 관련된 Prym 다양체 $P_\eta$ 에 제약하고, 이를 기존의 초평면 구조와 비교한다.

제안 방법

• 기하학적 및 코homological 기법을 사용하여 $\mathbb{P}^{15}$ 내에서 $\phi(\mathcal{SU}_C(2))$ 의 삼차 정규성을 증명한다.
• Verlinde 공식을 적용하여 $\phi(\mathcal{SU}_C(2))$ 에서 정확히 16개의 독립적인 삼차 다항식이 사라짐을 보인다.
• Heisenberg 작용의 대칭성을 이용해 이러한 삼차 다항식들이 단일 기약 4차 곡면 $Q_C$ 의 편미분임을 유추함으로써 $Q_C$ 의 유일성을 도출한다.
• $J_C[2]$ 작용 하에서 $|2\Theta| \cong \mathbb{P}^{15}$ 의 고유 평면 $|2\Xi| \subset \mathbb{P}^7$ 로 환경 공간을 제약하며, 이를 Prym 다양체의 $|2\Theta|$ 와 동일시한다.
• Beauville–Debarre 의 Prym Kummer 다양체의 4점 초평면에 대한 결과를 활용하여 $|2\Xi|$ 에서 $G_3$ 와 $Q_C$ 의 제약을 비교함으로써, 이들이 다름을 보인다.
• $\mathrm{Kum}(J) \subset G_2 \subset \phi(\mathcal{SU}_C(2)) \subset G_3 \subset \mathbb{P}^{15}$ 의 필터링을 구성한다. 여기서 $G_2$ 는 4차원 평면들로 이루어진 초곡면이며, $G_3$ 는 10차원 평면들로 이루어진 초곡면이며, 이들은 θ-특성치에 대해 서로 쌍대적이다.

실험 결과

연구 질문

• RQ1 종수 4 곡선이 영이 아닌 θ-널을 가지지 않을 경우, $\phi(\mathcal{SU}_C(2))$ 가 포함된 유일한 기약 Heisenberg-불변 4차 곡면 $Q_C \subset \mathbb{P}^{15}$ 가 존재하는가?
• RQ2 $\phi(\mathcal{SU}_C(2))$ 는 $Q_C$ 의 특이점 집합과 일치하는가, 즉 그 이상수는 삼차 다항식들로 생성되는가?
• RQ3 종수 4에서 $W_{g-d}$ 의 이동으로 정의된 다양체 $G_d \subset |2\Theta|$ 는 $\mathcal{SU}_C(2)$ 와 $Q_C$ 와 어떻게 관련되어 있는가?
• RQ4 2차 토르션 점 $\eta \in J_C[2]$ 와 관련된 Prym 다양체 $P_\eta$ 의 $|2\Xi|$ 에 제약된 $Q_C$ 와 $G_3$ 는 어떻게 행동하는가?
• RQ5 종수 3의 Prym 다양체에서 알려진 4점 초평면들이 $|2\Xi|$ 에 제약된 $G_3$ 와 일치하는가?

주요 결과

• 비초등 종수 4 곡선 $C$ 가 영이 아닌 θ-널을 가지지 않을 경우, $\phi(\mathcal{SU}_C(2)) \subset \mathrm{Sing}(Q_C)$ 를 만족하는 유일한 기약 Heisenberg-불변 4차 곡면 $Q_C \subset \mathbb{P}^{15}$ 가 존재한다.
• $\phi(\mathcal{SU}_C(2))$ 는 $\mathbb{P}^{15}$ 내에서 삼차 정규이며, Verlinde 공식에 의해 정확히 16개의 독립적인 삼차 다항식이 그 위에서 사라진다.
• 이 삼차 다항식들은 단일 4차 곡면 $Q_C$ 의 편미분이므로, $Q_C$ 는 기약적이며 유일하다.
• $Q_C$ 는 각 $|2\Xi| \subset \mathbb{P}^{15}$ (각 $\eta \in J_C[2]$ 에 의해 고정됨) 에 제약되었을 때, Prym Kummer 다양체 $\mathrm{Kum}(P_\eta)$ 의 Coble 4차 곡면이 된다.
• $G_3$ 의 $|2\Xi|$ 에 제약된 결과는 $\mathrm{Kum}(P_\eta)$ 의 4매개수의 4점 초평면들로 이루어진 초곡면이며, 이는 Coble 4차 곡면과 다름을 보인다.
• $\mathrm{Kum}(J) \subset G_2 \subset \phi(\mathcal{SU}_C(2)) \subset G_3 \subset \mathbb{P}^{15}$ 의 필터링이 성립하며, $G_2$ 는 4차원 평면들로 이루어진 초곡면이고, $G_3$ 는 10차원 평면들로 이루어진 초곡면이며, 이들은 임의의 θ-특성치에 대해 서로 쌍대적이다.