[논문 리뷰] Ulrich Bundles on Projective Spaces

Zhiming Lin|arXiv (Cornell University)|2017. 03. 19.

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

한 줄 요약

이 논문은 프로젝티브 공간 $\mathbb{P}^n$ 상에서 $\mathcal{O}(d)$에 대해 정의된 모든 울리히(bundle)가 $\Omega^j(j)$로 틀어질 때 자연스러운 코homology를 가짐을 증명하며, 자명한 배럴 $\mathcal{O}$만을 사용하여 이러한 배럴의 분해를 제공한다. 주요 기여는 $n \leq 3$일 때 울리히(bundle)의 필요충분조건을 제시함으로써, $\mathbb{P}^3$에서 $\mathcal{O}(2)$에 대해 랭크 2의 배럴과 $\mathbb{P}^2$에서 $\mathcal{O}(3)$에 대해 랭크 3의 배럴에 대한 새로운 구성법을 가능하게 한다.

ABSTRACT

We assume that $\mathcal{E}$ is a rank $r$ Ulrich bundle for $(P^n, \mathcal{O}(d))$. The main result of this paper is that $\mathcal{E}(i)\otimes Ω^{j}(j)$ has natural cohomology for any integers $i \in \mathbb{Z}$ and $0 \leq j \leq n$, and every Ulrich bundle $\mathcal{E}$ has a resolution in terms of $n$ of the trivial bundle over $P^n$. As a corollary, we can give a necessary and sufficient condition for Ulrich bundles if $n \leq 3$, which can be used to find some new examples, i.e., rank $2$ bundles for $(P^3, \mathcal{O}(2))$ and rank $3$ bundles for $(P^2, \mathcal{O}(3))$.

연구 동기 및 목표

• 프로젝티브 공간 $\mathbb{P}^n$ 상에서 $\mathcal{O}(d)$에 대해 울리히(bundle)의 코homological 특성화를 확립하기 위해.
• 모든 이러한 울리히(bundle)가 자명한 배럴 $\mathcal{O}$만을 사용하는 분해를 갖는다는 것을 증명하여 이전 결과를 일반화하기 위해.
• $n \leq 3$일 때 울리히(bundle)의 필요충분조건을 제공하여 명시적 구성법을 가능하게 하기 위해.
• 특히 $(\mathbb{P}^3, \mathcal{O}(2))$에 대해 랭크 2의, $(\mathbb{P}^2, \mathcal{O}(3))$에 대해 랭크 3의 울리히(bundle)의 새로운 예를 구성하기 위해.

제안 방법

• 오일러 지표 공식과 본의 공식을 사용하여, 임의의 정수 $i$와 $0 \leq j \leq n$에 대해 $\mathcal{E}(i) \otimes \Omega^j(j)$가 자연스러운 코homology를 가짐을 증명한다.
• 오일러 지표를 기반으로 이분법 계수와 $rd^n$을 포함한 이항계수의 명시적 공식을 유도하여 울리히(bundle)의 분해에서의 베텨 수 $a_j$를 표현한다.
• 분해를 통해 울리히(bundle)의 존재 문제를 특정 코homological 성질을 가진 사상 $\alpha: \mathcal{O}^{a_{j-1}}(-j+1) \to \mathcal{O}^{a_j}(-j)$의 존재 문제로 환원한다.
• 세르 dual을 적용하여 $H^n(\alpha(-d))$의 상연성 조건을 이중 사상의 단사성 조건으로 변환함으로써, 사상의 계수에 대한 선형방정식계를 유도한다.
• 해결된 선형계를 바탕으로 명시적 예를 구성하며, 계수 행렬의 행렬식이 0이 아님을 보장한다.
• 코homological 소멸 조건을 통해 구성된 배럴이 울리히 조건을 만족하는지 확인한다.

실험 결과

연구 질문

• RQ1 프로젝티브 공간 $\mathbb{P}^n$ 상에서 $\mathcal{O}(d)$에 대해 최소 랭크의 울리히(bundle)가 존재하는 $n$과 $d$는 무엇인가?
• RQ2 울리히(bundle) $\mathcal{E}$에 대해 $\mathcal{E}(i) \otimes \Omega^j(j)$의 코homology는 오직 그 오일러 지표로 완전히 결정될 수 있는가?
• RQ3 $n \leq 3$일 때, 어떤 벡터 배럴이 울리히(bundle)인지에 대한 필요충분조건은 무엇인가?
• RQ4 모든 $n=2,3$ 및 $d>1$에 대해 울리히(bundle)의 새로운 예를 명시적으로 구성할 수 있는가?
• RQ5 모든 울리히(bundle)가 자명한 배럴 $\mathcal{O}$만을 사용하여 분해될 수 있는가?

주요 결과

• 모든 울리히(bundle) $\mathcal{E}$는 $\mathbb{P}^n$ 상에서 $\mathcal{O}(d)$에 대해 정의되었을 때, 모든 $i \in \mathbb{Z}$와 $0 \leq j \leq n$에 대해 $\mathcal{E}(i) \otimes \Omega^j(j)$가 자연스러운 코homology를 가짐을 만족한다.
• $\mathcal{E}(i) \otimes \Omega^j(j)$의 오일러 지표는 $\chi = rd^n \sum_{k=0}^j (-1)^{j-k} \binom{n+1}{k} \binom{\frac{i+j-k}{d} + n}{n}$로 주어진다.
• $\mathbb{P}^n$ 상에서 $\mathcal{O}(d)$에 대해 랭크 $r$인 모든 울리히(bundle) $\mathcal{E}$는 $0 \to \mathcal{O}^{a_n}(-n) \to \cdots \to \mathcal{O}^{a_1}(-1) \to \mathcal{E}(-d) \to 0$ 형태의 분해를 갖는다. 여기서 $a_j = -rd^n \sum_{k=0}^j (-1)^{j-k} \binom{n+1}{k} \binom{\frac{j-k}{d} + n - 1}{n}$이다.
• $n \leq 3$일 때, 분해와 코homological 소멸 조건을 바탕으로 배럴이 울리히(bundle)임을 판별하는 필요충분조건이 유도되며, 이는 명시적 분류를 가능하게 한다.
• 랭크 2의 새로운 울리히(bundle)가 $\mathbb{P}^3$에서 $\mathcal{O}(2)$에 대해 사상 $\alpha: \mathcal{O}^3(-2) \to \mathcal{O}^6(-1)$을 통해 구성되며, 계수 행렬 $C$의 행렬식이 0이 아니어야 하므로 $\det(C) = 4 \neq 0$이다.
• $\mathbb{P}^2$에서 $\mathcal{O}(3)$에 대해 랭크 3의 새로운 울리히(bundle)가 시스템 $\delta(f) = 0$을 풀고 $\det(C) \neq 0$임을 검증함으로써 구성되었으며, 이는 $d=3$에 대해 첫 번째 명시적 예를 제공한다.