[논문 리뷰] Appendix: On linear subspaces contained in the secant varieties of a projective curve

Claire Voisin|arXiv (Cornell University)|2001. 10. 23.

Tensor decomposition and applications인용 수 4

한 줄 요약

이 논문은 매끄러운 프로젝티브 곡선 $C \subset \mathbb{P}^N$ 가 $|L \otimes \omega_C|$ 를 통해 임bed된 경우, 그 순서열 다양체에 포함된 선형 부분공간을 조사하며, $\deg L \geq 2d+3$ 이면 $d$-번째 순서열 다양체 $\Sigma_d$ 에는 $\delta \geq d$ 인 프로젝티브 공간 $\mathbb{P}^\delta$ 가 존재하지 않으며, $\delta \geq d-1$ 인 모든 $\mathbb{P}^\delta$ 는 $C^{(d)}$ 에 속하는 어떤 $Z$ 에 대해 $\langle Z \rangle$ 의 선형 스펜이어야 한다고 증명한다. 이 결과는 기대되는 선형 스펜 외의 추가적인 선형 부분공간이 존재하지 않는다는 기하학적 질문을 해결한다.

ABSTRACT

We show that the d-th secant variety of a projective curve of genus g imbedded in projective space by a complete linear system of degree 2g-2+m, with m at least 2d+3, does not contain linear spaces of dimension bigger than d-1, and that the only linear subspaces of dimension d-1 contained in it are the obvious ones.

연구 동기 및 목표

• 매끄러운 프로젝티브 곡선 $C \subset \mathbb{P}^N$ 의 $d$-번째 순서열 다양체 $\Sigma_d$ 가 $C^{(d)}$ 에 속하는 어떤 $Z$ 에 대해 $\langle Z \rangle$ 에 포함되지 않는 선형 부분공간 $\mathbb{P}^\delta$ 를 포함하는지 여부를 결정하는 것.
• C. Soulé 가 제기한 순서열 다양체 $\Sigma_d$ 내 선형 부분공간의 최대 차원에 관한 질문을 다루는 것.
• 순서열 다양체 $\Sigma_d$ 가 기대되는 것 외의 추가적인 선형 부분공간을 포함하지 않도록 하는 선형 번들의 차수에 대한 날카로운 조건을 설정하는 것.
• 분석적 경계가 아닌 변형 이론과 코homological 추정에 기반한 기하학적 추론을 제공하는 것.

제안 방법

• 이미지가 $\Sigma_d$ 인 $\alpha: \mathbb{P}(E^*) \to \mathbb{P}^N$ 의 사상은, $C^{(d)}$ 의 분할에 제한된 $L \otimes \omega_C$ 의 단면들로 이루어진 벡터 번들의 $E$ 를 사용한다.
• 순서열 다양체 $\Sigma_d$ 의 매끄러운 점에서의 프로젝티브 탄성 공간을 분석하여, $Z \in C^{(d)}$ 에 대해 $\langle 2Z \rangle$ 와 동형임을 보인다.
• 어떤 $\mathbb{P}^\delta \subset \Sigma_d$ 가 $C^{(d)}$ 의 어떤 $Z$ 에 대해 $\langle Z \rangle$ 에 포함되지 않는다고 가정하고, 이를 $C^{(d)}$ 의 차원 $w > 0$ 인 부분다양체 $W \subset C^{(d)}$ 에 다중으로 사영하는 부분다양체 $\widetilde{\mathbb{P}}^\delta \subset \mathbb{P}(E^*)$ 로 올리는 것을 시도한다.
• 사상 $\alpha$ 의 미분을 통해 $\langle 2Z_v \rangle$ 의 무한소 변화를 연구하며, 변형 사상이 $\mathcal{O}_C(Z_v)_{|Z_v}$ 의 단면들에 의한 곱셈과 일치함을 밝힌다.
• Hopf의 보조정리를 적용하여 $\widetilde{\mu}: \widetilde{V} \otimes H^0(C, L \otimes \omega_C(-2Z_v)) \to H^0(C, L \otimes \omega_C(-Z_v))$ 의 곱셈 사상의 질량에 대한 부등식을 유도한다.
• 가정된 조건 $\deg L \geq 2d+3$ 하에서 질량 추정과 부등식 $w > \delta - w$ 를 결합하여 모순을 이끌어낸다.

실험 결과

연구 질문

• RQ1 선형 번들의 $L$ 에 대해 어떤 조건이면 곡선 $C \subset \mathbb{P}^N$ 의 $d$-번째 순서열 다양체 $\Sigma_d$ 가 $\delta \geq d$ 인 선형 부분공간 $\mathbb{P}^\delta$ 를 포함하지 않는가?
• RQ2 $\delta \geq d-1$ 인 선형 부분공간 $\mathbb{P}^\delta \subset \Sigma_d$ 가 $C^{(d)}$ 의 어떤 $Z$ 에 대해 $\langle Z \rangle$ 에 포함되지 않는 채로 존재할 수 있는가?
• RQ3 선형 번들의 차수 $L$ 는 이러한 추가적인 선형 부분공간의 존재를 통제하는 데 어떤 역할을 하는가?
• RQ4 선형 스펜 $\langle 2Z \rangle$ 의 무한소 변화는 $\mathbb{P}^\delta \subset \Sigma_d$ 의 존재를 어떻게 제약하는가?

주요 결과

• $\deg L \geq 2d+3$ 이고 $\delta \geq d-1$ 이면, $\Sigma_d$ 의 모든 $\mathbb{P}^\delta$ 는 $C^{(d)}$ 에 속하는 어떤 $Z$ 에 대해 $\langle Z \rangle$ 의 선형 스펜이어야 하며, 추가적인 선형 부분공간은 존재하지 않는다.
• $\deg L \geq 2d+3$ 이면 $d$-번째 순서열 다양체 $\Sigma_d$ 는 $\delta \geq d$ 인 프로젝티브 공간 $\mathbb{P}^\delta$ 를 포함하지 않는다.
• 모순은 Hopf의 보조정리를 통해 곱셈 사상 $\widetilde{\mu}$ 의 질량 추정과, $W$ 의 일반점에서의 근처 섹션의 분리성에서 유도된 기하학적 부등식 $w > \delta - w$ 를 결합함으로써 발생한다.
• 이 증명은 $\deg L \geq 2d+3$ 이면 $H^1(C, L \otimes \omega_C(-2Z_v)) = 0$ 이며, 이는 $Z_v$ 의 선형 스펜의 차원이 $d-1$ 임을 보장함에 기반한다.
• 결과는 곡선의 종수 $g > 0$ 에 대해 성립하며, $L \otimes \omega_C(-2Z_v)$ 의 매우 쌍대성에 의해 Hopf의 보조정리에서 엄격한 부등식이 보장된다.
• 결론은 날카롭다: $\deg L < 2d+3$ 이면 이러한 추가적인 선형 부분공간이 존재할 수 있으며, 이는 코homological 소멸성의 실패 때문이기 때문이다.