[논문 리뷰] On projective varieties $n$-covered by curves of degree $δ$

Luc Pirio, Francesco Russo|arXiv (Cornell University)|2011. 09. 16.

Algebraic Geometry and Number Theory참고 문헌 46인용 수 9

한 줄 요약

이 논문은 곡선의 차수 $\delta$로 $n$-덮인 복소수 프로젝티브 다양체 $\overline{X}(r+1,n,\delta)$를 분류하며, 캐스텔누오보 유형의 경계를 통해 그 선형 스팬의 차원에 대한 날카로운 상界를 확립한다. 핵심 결과는 극한 다양체가 유리 정규 스크롤이거나 삼차 조르단 대수 위의 비틀린 세차 곡선임을 밝혀내며, 이러한 기하적 대상들이 쌍차-이차 크레모나 변환과 조르단 대수와 연결되어 있다는 추측을 제기한다.

ABSTRACT

As proved recently in [PT], for varieties $X^{r+1}\subset \mathbb P^N$ such that through $n\geq 2$ general points there passes an irreducible curve $C$ of degree $δ\geq n-1$ we have $N\leq π(r,n,δ+r(n-1)+2)$, where $π(r,n,d)$ is the Castelnuovo-Harris bound function for the geometric genus of an irreducible non-degenerate variety $Y^r\subset\mathbb P^{n+r-1}$ of degree $d$. A lot of examples of varieties as in the title and attaining the previous bound for the embedding dimension are constructed from Castelnuovo varieties and were thus dubbed {\it of Castelnuovo type} in [PT], where it is also proved that all extremal varieties as above are of this kind, except possibly when $n>2$, $r>1$ and $δ=2n-3$. One of the main results of the paper is the classification of extremal varieties $X^{r+1}\subset \mathbb P^{2r+3}$ 3-covered by twisted cubics and not of Castelnuovo type. Interesting examples are provided by the so called {\it twisted cubics over complex Jordan algebras of rank 3}, as pointed out by Mukai. By relating to an extremal variety 3-covered by twisted cubics, via tangential projection, a quadro-quadric Cremona transformation in $\mathbb P^r$ we are able to classify all these object either for $r\leq 4$ or under the smoothness assumption. In the last case we obtain that they are either smooth rational normal scrolls (hence of Castelnuovo type) or the Segre embeddings of $\p^1 imes Q^r$ or one of the four Lagrangian Grassmannians. We end by discussing some open problems pointing towards the equivalence of these apparently unrelated objects: extremal varieties 3-covered by twisted cubics, quadro-quadric Cremona transformations of $\mathbb P^r$ and complex Jordan algebras of dimension $r+1$ and of rank three.

연구 동기 및 목표

• 복소수 기약 프로젝티브 다양체 $X(r+1,n,\delta) \subset \mathbb{P}^N$를 분류하며, 이들이 기약 곡선으로 $\delta$-차수로 $n$-덮여 있는 경우, 특히 극한 경우를 다룬다.
• 캐스텔누오보-하리스 경계를 사용하여 이러한 다양체의 선형 스팬 차원에 대한 날카로운 상계를 확립한다.
• 특히 열린 경우인 $\delta = 2n-3$에서 극한 다양체 $\overline{X}(r+1,n,\delta)$의 구조를 조사하고, $n=3$일 때 이를 분류한다.
• 이 다양체와 삼차 조르단 대수학, 그리고 $\mathbb{P}^r$ 위의 쌍차-이차 크레모나 변환 사이의 관계를 탐색한다.
• 프로젝티브 동치 관계에 있어 $\overline{X}(r+1,3,3)$, 삼차 조르단 대수 위의 비틀린 세차 곡선, 그리고 $\mathbb{P}^r$ 위의 쌍차-이차 크레모나 변환 사이의 동치성을 추측한다.

제안 방법

• 오스큘레이팅 공간과 그로부터의 반복적 투영을 이용하여 $\dim\langle X(r+1,n,\delta)\rangle \leq \overline{\pi}(r,n,\delta) - 1$의 차원 상계를 유도하며, 여기서 $\overline{\pi}(r,n,\delta) = \pi(r,n,d)$ 이고 $d = \delta + r(n-1) + 2$이다.
• 캐스텔누오보 이론과 캐스텔누오보 다양체 이론을 적용하여 극한 예시 $\overline{X}(r+1,n,\delta)$를 구성하고 분류한다.
• $X$ 위의 선형계 $|D|$를 분석하며, $(D\cdot C) = \delta$를 만족하는 카르티에 인자 $D$에 대해 $h^0(\mathcal{O}_X(D)) \leq \overline{\pi}(r,n,\delta)$임을 증명하며, 등호가 성립하는 것은 $X$가 $\overline{X}(r+1,n,\delta)$에 비라시onal로 매핑될 때에 한한다.
• 비음성 조건을 이용하여 $D^{r+1} \leq \delta^{r+1}/(n-1)^r$의 차수 상계를 도출한다.
• $\delta$-베론제 임bedding과 $\mathbb{P}^1 \times Q^r$의 세그레 임bedding을 통한 기하적 예시의 구축.
• 최대 질량을 가진 웹의 기하학과 대수화 결과를 활용하여 분류를 크레모나 변환과 연결한다.

실험 결과

연구 질문

• RQ1 곡선의 차수가 $\delta$인 $\overline{X}(r+1,n,\delta)$ 다양체의 완전한 프로젝티브 분류는 무엇인가?
• RQ2 선형 스팬 차원이 최대에 도달하는 극한 다양체 $\overline{X}(r+1,n,\delta)$는 캐스텔누오보 다양체와 유리 정규 스크롤과 어떻게 관련되어 있는가?
• RQ3 $\overline{X}(r+1,3,3)$의 비-캐스텔누오보 유형 다양체들이 모두 삼차 조르단 대수 위의 비틀린 세차 곡선과 프로젝티브 동치인가?
• RQ4 모든 $\mathbb{P}^r$ 위의 쌍차-이차 크레모나 변환은 쌍곡형 초곡면에서의 비라시onal 투영으로 실현될 수 있으며, 이는 $\overline{X}(r+1,3,3)$와 어떻게 관련되어 있는가?
• RQ5 $\overline{X}(r+1,3,3)$, 차원 $r+1$인 삼차 조르단 대수, $\mathbb{P}^r$ 위의 쌍차-이차 크레모나 변환의 세 가지 수학적 대상은 동형 또는 프로젝티브 동치 관계로 일치하는가?

주요 결과

• 모든 $X(r+1,n,\delta)$에 대해 $\dim\langle X(r+1,n,\delta)\rangle \leq \overline{\pi}(r,n,\delta) - 1$이 성립하며, 등호는 $X$가 $\overline{X}(r+1,n,\delta)$와 프로젝티브 동치일 때에 한하여 성립한다.
• $X$ 위의 카르티에 인자 $D$에 대해 $(D\cdot C) = \delta$를 만족하는 곡선이 존재할 때, 완전 선형계의 차원은 $h^0(\mathcal{O}_X(D)) \leq \overline{\pi}(r,n,\delta)$를 만족하며, 등호는 $X$가 $\overline{X}(r+1,n,\delta)$에 비라시onal로 매핑될 때에 한하여 성립한다.
• $h^0(\mathcal{O}_X(D)) = \overline{\pi}(r,n,\delta)$일 경우, 다양체 $X$는 유리적이며, 일반적인 $n$개의 점을 지나는 유일한 매끄러운 유리 곡선 $C$가 존재하여 $(D\cdot C) = \delta$를 만족한다.
• $D$가 비음성일 경우 $D^{r+1} \leq \delta^{r+1}/(n-1)^r$이 성립하며, 이는 $n=2$인 경우 판의 고전적 결과를 일반화한다.
• $n=3$, $r=3$, $\delta=3$일 때, $\overline{X}(4,3,3) \subset \mathbb{P}^9$의 분류는 두 가지 유형으로 나뉜다: 차수 6의 매끄러운 유리 정규 스크롤(예: $S_{1113}$ 또는 $S_{1122}$) 또는 삼차 조르단 대수 위의 비틀린 세차 곡선.
• $\mathbb{P}^3$ 위의 $(2,2)$ 유형의 이차 크레모나 변환의 분류는 선형이거나 $\mathbb{C}^4$ 위의 일곱 개의 삼차 조르단 대수와 관련되어 있으며, 이는 $r=3$일 때 추측을 확인한다.