[논문 리뷰] On cubics and quartics through a canonical curve

Christian Pauly|arXiv (Cornell University)|2003. 04. 26.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 4

한 줄 요약

이 논문은 계량 곡선을 통과하는 4차 및 3차 초곡면의 가닥을 랭크-2 벡터 복합체와 Kempf의 코homological 장애 이론을 사용하여 구성한다. 이들 초곡면—특히 4차 초곡면 $F_W$와 3차 폴라 $P_x(F_W)$—이 계량 곡선을 그들의 기저 위치로 자르며, 고차수 다항식을 통한 새로운 구성적 Torelli 유형 결과를 제공한다.

ABSTRACT

We construct families of quartic and cubic hypersurfaces through a canonical curve, which are parametrized by an open subset in a Grassmannian and a Flag variety respectively. Using G. Kempf's cohomological obstruction theory, we show that these families cut out the canonical curve and that the quartics are birational (via a blowing-up of a linear subspace) to quadric bundles over the projective plane, whose Steinerian curve equals the canonical curve.

연구 동기 및 목표

• 계량 곡선의 이상에 속하는 4차 및 3차 초곡면의 명시적 가닥을 랭크-2 벡터 복합체를 사용하여 구성하는 것.
• 원점에서 다중도 $\geq 4$인 잭비안 내의 $2\theta$-분할의 접선 콘의 기하학을 이해하는 것.
• 이들 초곡면이 계량 곡선을 그들의 기저 위치로 자름을 증명하여, Torelli 정리에 대한 새로운 구성적 접근을 제공하는 것.
• 계량 임bedding의 맥락에서, 쌍곡선 콘과 고차수 접선 콘 사이의 유사성을 확장하는 것.

제안 방법

• 3차원 평면 $W \subset H^0(C, \omega)$로부터 평가 사상의 커널의 쌍대를 통해 랭크-2 벡터 복합체 $E_W$를 구성한다.
• Kempf의 코homological 장애 이론을 사용하여 $JC$의 원점에서 $D(E_W)$의 프로젝티브 접선 콘 $F_W$에 속하는 점들을 특징짓는다. 이는 $|\omega|^*$ 내의 4차 초곡면을 유도한다.
• 점 $x \in W^\perp$에 대한 3차 폴라 $P_x(F_W)$를 정의하여 계량 곡선을 포함하는 3차 초곡면을 얻는다.
• 정점 $\mathbb{P}W^\perp \subset F_W$를 블로우업하여 $F_W$를 $\mathbb{P}^2$ 위의 2차 초곡면 복합체로 변형하고, 그 스테이너 곡선이 계량 곡선이 되도록 한다.
• 그라스만 광역 $\mathrm{Gr}(3, H^0(\omega))$와 플라그 다양체 $\mathrm{Fl}(3,g-1,H^0(\omega))$로부터 유리 사상들을 사용하여 각각 $F_W$와 $P_x(F_W)$를 매개화한다.
• 장애 이론 기준(정리 4.1)을 적용하여 선형 계기 $|F_4|$와 $|F_3|$의 기저 위치가 계량 곡선 $C$와 정확히 일치함을 보인다.

실험 결과

연구 질문

• RQ1 랭크-2 벡터 복합체에 대응하는 4차 접선 콘 $F_W$가 계량 곡선을 그들의 기저 위치로 자를 수 있는가?
• RQ2 이 4차 초곡면의 3차 폴라 $P_x(F_W)$도 역시 계량 곡선을 자를 수 있는가?
• RQ3 4차 접선 콘 $F_W$와 $\theta$-분할의 고전적 3차 쌍곡선 콘 $S_L$ 사이에 기하학적 유사성이 존재하는가?
• RQ4 일반 곡선의 종수 $g$에 대해 선형 계기 $|F_3|$과 $|F_4|$의 차원은 얼마인가?
• RQ5 이 구성은 프림-계량 공간 또는 고차수 심플렉틱 복합체로 일반화될 수 있는가?

주요 결과

• 4차 초곡면 $F_W$로 생성되는 선형 계기 $|F_4|$의 기저 위치는 정확히 계량 곡선 $C \subset |\omega|^*$이며, van Geemen과 van der Geer의 추측을 확인한다.
• 3차 폴라 $P_x(F_W)$로 생성되는 선형 계기 $|F_3|$의 기저 위치 역시 정확히 계량 곡선 $C \subset |\omega|^*$와 일치하며, 고차수 Torelli 유형 결과를 확립한다.
• 정점 $\mathbb{P}W^\perp$를 블로우업함으로써, 4차 초곡면 $F_W$는 스테이너 곡선이 계량 곡선인 $\mathbb{P}^2$ 위의 2차 초곡면 복합체로 변형된다.
• 일반적인 $g$에 대해 $|F_4|$의 차원은 알려져 있으며, 각각 $g = 4,5,6,7$일 때 $\dim|F_4| = 4, 15, 40, 88$이며, $|F_4| \neq |I(4)|$이다.
• 이 구성은 프림-계량 공간과 심플렉틱 복합체로 일반화된다: 일반적인 3차원 평면 $Z \subset H^0(C, \omega\alpha)$에 대해, $|\omega\alpha|^*$ 내의 4차 초곡면 $F_Z$가 $2\Xi$-분할의 접선 콘으로서 나타나며, 프림-계량 곡선을 포함한다.
• 매개변수 $\Phi: \Lambda^2 W^* \to H^0(C, \omega)$로 정의된 심플렉틱 복합체 $E_\Phi$에 대해, 원점에서의 접선 콘은 $|\omega|^*$ 내의 차수 $2n+2$ 초곡면 $F_\Phi \in |I(2n+2)|$를 유도한다.