[논문 리뷰] On Syzygies of ruled varieties over a curve

Euisung Park|arXiv (Cornell University)|2004. 01. 05.

Commutative Algebra and Its Applications참고 문헌 2인용 수 1

한 줄 요약

이 논문은 매끄러운 프로젝티브 곡선 $C$ 위의 룰드 다양체 $X = \mathbb{P}_C(\mathcal{E})$의 시지지들을 조사하며, 그의 섬유들에 대한 버로네제 매핑과 관련된 선다발 $aH + \pi^*B$가 성질 $N_p$를 만족하는 조건을 규명한다. 만약 $n$-번째 버로네제 매핑이 $N_p$를 만족한다면, 충분히 양의 성격을 가진 $B$에 대해 $X$ 역시 $N_p$를 만족함을 증명하며, $\operatorname{rank}(\mathcal{E}) \geq g$ 이고 $\mu^-(\mathcal{E})$ 가 정수일 경우 $X$에 대해 무카이의 추측을 확인한다. 또한 명시적 구성에 의해 최적의 경계를 입증한다.

ABSTRACT

For a vector bundle $\mathcal{E}$ of rank $n+1$ over a smooth projective curve $C$ of genus $g$, let $X=¶_C (\mathcal{E})$ with projection map $\pi:X o C$. In this paper we investigate the minimal free resolution of homogeneous coordinate rings of $X$. We first clarify the relations between higher syzygies of very ample line bundles on $X$ and higher syzygies of Veronese embedding of fibres of $\pi$ by the same line bundle. More precisely, letting $H = \mathcal{O}_{¶_C (\mathcal{E})} (1)$ be the tautological line bundle, we prove that if $(¶^n,\mathcal{O}_{¶^n} (a))$ satisfies Property $N_p$, then $(X,aH+\pi^*B)$ satisfies Property $N_p$ for all $B \in {Pic}C$ having sufficiently large degree(Theorem ef{thm:positive}). And also the effective bound of ${deg}(B)$ for Property $N_p$ is obtained(Theorem ef{thm:1}, ef{thm:2}, ef{thm:3} and ef{thm:4}). For the converse, we get some partial answer(Corollary ef{cor:negative}). Secondly, by using these results we prove some Mukai-type statements. In particular, Mukai's conjecture is true for $X$ when ${rank}(\mathcal{E}) \geq g$ and $\mu^- (\mathcal{E})$ is an integer(Corollary ef{cor:Mukai}). Finally for all $n$, we construct an $n$-dimensional ruled variety $X$ and an ample line bundle $A \in {Pic}X$ which shows that the condition of Mukai's conjecture is optimal for every $p \geq 0$.

연구 동기 및 목표

• 룰드 다양체 위의 매우 근사한 선다발의 고차 시지지와 그의 섬유들에 대한 버로네제 매핑의 시지지 간의 관계를 명확히 하는 것.
• 선다발 $B \in \operatorname{Pic} C$ 에 대해 $aH + \pi^*B$ 가 성질 $N_p$를 만족하는 데 필요한 효과적인 차수 경계를 결정하는 것.
• 주요 양성 결과의 부분적인 역을 제공하며, 그 역 방향에서의 한계를 규명하는 것.
• 특정 랭크와 기울기 조건 하에서 룰드 다양체에 대해 무카이 유형의 진술을 증명하고, 특히 무카이의 추측을 확인하는 것.
• 모든 $p \geq 0$에 대해, 조건이 약화되었을 경우 성질 $N_p$를 만족하지 못하는 $n$차원 룰드 다양체와 앰플라인 선다발을 구성함으로써 무카이 추측의 조건이 최적임을 입증하는 것.

제안 방법

• 프로젝티브 공간에 $X$를 매립시키기 위해 타우토로지컬 선다발 $H = \mathcal{O}_{\mathbb{P}_C(\mathcal{E})}(1)$ 를 사용하는 것.
• X의 동차 좌표환의 최소 자유 해체를 통한 시지지 분석을 통해, 섬유별로 버로네제 매핑과 연결짓는 것.
• 성질 $N_p$ 이론을 적용하여 총공간 $X$와 그의 섬유들 간의 시지지 행동을 비교하는 것.
• 버로네제 매핑 $\mathbb{P}^n$ 의 행동에 기반하여, $aH + \pi^*B$ 가 $N_p$ 를 만족하는 데 필요한 $B \in \operatorname{Pic} C$ 의 효과적인 차수 경계를 확립하는 것.
• 무카이의 추측이 성립하는지 판단하기 위해 기울기 불변량 $\mu^-(\mathcal{E})$ 를 사용하며, 특히 $\mu^-(\mathcal{E})$ 가 정수일 경우에 초점을 맞추는 것.
• 모든 $p \geq 0$ 에 대해, 추측의 조건이 최적임을 입증하기 위해 명시적인 $n$-차원 룰드 다양체와 앰플라인 선다발을 구성하는 것.

실험 결과

연구 질문

• RQ1 선다발 $B \in \operatorname{Pic} C$ 가 어떤 조건을 만족할 경우 선다발 $aH + \pi^*B$ 가 성질 $N_p$ 를 만족하는가?
• RQ2 룰드 다양체 $X = \mathbb{P}_C(\mathcal{E})$ 의 시지지와 그의 섬유들에 대한 버로네제 매핑의 시지지 간의 관계는 어떠한가?
• RQ3 주요 양성 결과는 어느 정도까지 역으로 적용될 수 있으며, 그 역 방향에서의 한계는 무엇인가?
• RQ4 만약 $\operatorname{rank}(\mathcal{E}) \geq g$ 이고 $\mu^-(\mathcal{E})$ 가 정수일 경우, 룰드 다양체 $X = \mathbb{P}_C(\mathcal{E})$ 에 대해 무카이의 추측이 성립하는가?
• RQ5 무카이의 추측의 조건은 모든 $p \geq 0$ 에 대해 최적이며, 이는 명시적 구성에 의해 입증될 수 있는가?

주요 결과

• 만약 $\mathbb{P}^n$ 의 $n$-번째 버로네제 매핑이 성질 $N_p$ 를 만족한다면, 모든 $B \in \operatorname{Pic} C$ 가 충분히 큰 차수를 가질 경우 $aH + \pi^*B$ 도 $N_p$ 를 만족한다.
• 정리~\ref{thm:1}, \ref{thm:2}, \ref{thm:3}, \ref{thm:4} 에서 $aH + \pi^*B$ 가 $N_p$ 를 만족하는 데 필요한 $B$ 의 효과적인 차수 경계가 명시적으로 계산되었다.
• 주요 양성 결과의 부분적인 역이 확립되었으며, 섬유에서 총공간으로의 $N_p$ 성질 전이의 한계가 드러났다.
• 만약 $\operatorname{rank}(\mathcal{E}) \geq g$ 이고 $\mu^-(\mathcal{E})$ 가 정수일 경우, 무카이의 추측은 $X = \mathbb{P}_C(\mathcal{E})$ 에 대해 확인되었다.
• 모든 $n$ 과 $p \geq 0$ 에 대해, $n$-차원 룰드 다양체 $X$ 와 앰플라인 선다발 $A \in \operatorname{Pic} X$ 를 구성하였으며, 이들에서 $A$ 는 무카이 추측의 조건을 만족하지만 조건이 약화되었을 경우 $N_p$ 를 만족하지 못함을 보여, 조건의 최적성을 입증하였다.