[논문 리뷰] On secant loci and simple linear projections of some projective varieties

Euisung Park|ArXiv.org|2008. 08. 14.

Tensor decomposition and applications참고 문헌 18인용 수 5

한 줄 요약

이 논문은 프로젝티브 다양체 $X \subset \mathbb{P}^r$ 에 대해 그 위에 정의된 Green-Lazarsfeld의 성질 $N_p$ ($p \geq 2$) 를 만족하는 선형 사영 사상이, 다양체 외부의 점에서의 사영 사영에 대해 어떻게 행동하는지 조사한다. 이는 사영 중심 $q$ 를 통한 사영에서의 점 $X$ 에서의 초평면의 집합인 초평면 위치 $Σ_q(X)$ — 즉, 사영 중심 $q$ 를 통과하는 현의 점들 — 가 공백이거나 또는 선형 부분공간 내의 이차곡선이 되며, 이로 인해 사영된 다양체 $X_q$ 의 코homological 및 국소적 불변량이 $Σ_q(X)$ 에 의해 완전히 결정됨을 보여준다. 주요 기여는 $X_q$ 의 깊이와 Hilbert 함수가 $Σ_q(X)$ 의 차원과 정확한 공식으로 연결됨을 보여주는 것으로, 이는 Veronese 및 Segre 임bedding과 저차수 다양체에 응용된다.

ABSTRACT

In this paper, we study how simple linear projections of some projective varieties behave when the projection center runs through the ambient space. More precisely, let $X \subset ¶^r$ be a projective variety satisfying Green-Lazarsfeld's property $N_p$ for some $p \geq 2$, $q \in ¶^r$ a closed point outside of $X$, and $X_q := π_q (X) \subset ¶^{r-1}$ the projected image of $X$ from $q$. First, it is shown that the secant locus $Σ_q (X)$ of $X$ with respect to $q$, i.e. the set of all points on $X$ spanning secant lines passing through $q$, is either empty or a quadric in a subspace of $¶^r$. This implies that the finite morphism $π_q : X o X_q$ is birational. Our main result is that cohomological and local properties of $X_q$ are precisely determined by $Σ_q (X)$. To complete this result, the next step should be to classify all possible secant loci and to decompose the ambient space via the classification of secant loci. We obtain such a decomposition for Veronese embeddings and Segre embeddings. Also as an application of the main result, we study cohomological properties of low degree varieties.

연구 동기 및 목표

• 프로젝티브 다양체 $X \subset \mathbb{P}^r$ 외부의 사영 중심 $q$ 가 선형 사영 $X_q \subset \mathbb{P}^{r-1}$ 의 코homological 및 국소적 성질에 미치는 영향을 이해하는 것.
• 초평면 위치 $Σ_q(X)$ — 즉, 사영 중심 $q$ 를 통과하는 현을 이루는 점들의 집합 — 를 분류하고, 이를 통해 $X_q$ 의 기하학적 및 대수적 불변량을 결정하는 것.
• 성질 $N_p$ ($p \geq 2$) 를 만족하는 다양체에 대해 등각 사영과 Castelnuovo-Mumford 정규성에 관한 결과를 확장하는 것.
• Veronese 및 Segre 임bedding에 대해 특히, $Σ_q(X)$ 의 차원에 따라 배경 공간 $\mathbb{P}^r$ 을 초평면 스트라타 $SL_s(X)$ 로 분해하는 것.

제안 방법

• 사영 중심 $q$ 를 통과하는 현을 이루는 점들의 집합으로서 초평면 위치 $Σ_q(X)$ 를 정의한다.
• 초평면 위치 $Σ_q(X)$ 가 공백이거나 또는 $\mathbb{P}^r$ 의 선형 부분공간 내의 이차곡선임을 증명함으로써, 사영 $π_q: X \to X_q$ 가 비자명한 사상임을 보인다.
• 핵심 공식 수립: $h^0(\mathcal{I}_{X_q}(2)) = h^0(\mathcal{I}_X(2)) + s - r$ 와 $\operatorname{depth}(X_q) = \min\{\operatorname{depth}(X), s+2\}$, 여기서 $s = \dim \Sigma_q(X)$.
• 코homological 소멸 조건(예: $1 \leq i \leq n-1$, $j \leq -i$ 일 때 $H^i(X, \mathcal{O}_X(j)) = 0$) 을 가정하여 깊이 및 정규성 결과를 도출한다.
• 주요 정리들을 적용하여 Veronese 및 Segre 임bedding에 대해 초평면 분할 $SL_s(X)$ 를 분류하고, $\mathbb{P}^r$ 을 $s$ 에 따라 색분된 스트라타로 분해한다.
• 일반적인 선형 곡선 절단에 의한 계승 Betti 다이어그램의 보존성을 활용하여 $X_q$ 의 최소 자유 해상표를 계산한다.

실험 결과

연구 질문

• RQ1 초평면 위치 $Σ_q(X)$ 의 차원이 사영된 다양체 $X_q$ 의 코homological 불변량에 어떻게 영향을 미치는가?
• RQ2 사영 $π_q: X \to X_q$ 가 비자명한 사상이 되는 조건은 무엇이며, $Σ_q(X)$ 의 구조는 이에 어떻게 영향을 미치는가?
• RQ3 Castelnuovo-Mumford 정규성의 $X_q$ 와 $X$ 간의 정확한 관계는 무엇인가?
• RQ4 배경 공간 $\mathbb{P}^r$ 은 초평면 위치 $Σ_q(X)$ 의 차원에 따라 어떻게 분할될 수 있으며, 각 스트라타의 기하학적 성질은 무엇인가?
• RQ5 지역적 성질(예: 정규성, $S_2$, Cohen-Macaulay)이 $Σ_q(X)$ 의 점들에서 $X_q$ 가 $X$ 의 성질을 어느 정도 반영하는가?

주요 결과

• 초평면 위치 $Σ_q(X)$ 는 공백이거나 또는 $\mathbb{P}^r$ 의 선형 부분공간 내의 이차곡선이며, 이는 사영 $π_q: X \to X_q$ 가 비자명한 사상임을 의미한다.
• 이deals의 이차곡선 수는 $h^0(\mathcal{I}_{X_q}(2)) = h^0(\mathcal{I}_X(2)) + s - r$ 로 주어지며, 여기서 $s = \dim \Sigma_q(X)$ 이다.
• 깊이에 대해 $\operatorname{depth}(X_q) = \min\{\operatorname{depth}(X), s+2\}$ 이며, $X_q$ 가 산술적으로 Cohen-Macaulay임은 $s = \dim X - 1$ 일 때에만 성립한다.
• Castelnuovo-Mumford 정규성은 $\max\{3, \operatorname{Reg}(X)\}$ 이며, $X$ 가 성질 $N_2$ 를 만족하면 $X_q$ 는 3-정규이다.
• 도수 $d \geq 5$ 인 Del Pezzo 다양체에 대해, $X_k \subset \mathbb{P}^{k+3}$ 에서의 초평면 분할은 $\mathbb{P}^{k+3} = SL_{k-2}(X_k) \cup SL_k(X_k)$ 이며, $SL_{k-2}(X_k) = \mathbb{P}^{k+3} \setminus X_k$ 이고 $SL_k(X_k) = X_k$ 이다.
• 다양체 $π_q(X_k)$ 의 이상의 최소 자유 해상표는 $0 \to R(-5) \to R(-4)^5 \to R(-3)^5 \to I \to 0$ 이며, 곡선 절단에 의해 Betti 수가 보존된다.