[논문 리뷰] Positivity for toric vector bundles

Milena Hering, Mircea Mustaţă외 1명|arXiv (Cornell University)|2008. 05. 27.

Algebraic Geometry and Number Theory참고 문헌 30인용 수 7

한 줄 요약

이 논문은 완비 토릭 다양체 위의 토르스-등변 벡터(bundle)의 네파성과 강한 양성은 그들이 고정된 곡선 위로 제한되었을 때, ℙ¹과 동형인 경우에 테스트할 수 있음을 증명한다. 주요 기여는 이러한 곡선에서의 선다발 합성의 차수를 통해 네파성과 강한 양성 토릭 벡터(bundle)를 특성화한 것으로, 선다발에 대한 고전적 결과를 고차원 벡터(bundle)로 확장한다.

ABSTRACT

We show that an equivariant vector bundle on a complete toric variety is nef or ample if and only if its restriction to every invariant curve is nef or ample, respectively. Furthermore, we show that nef toric vector bundles have a nonvanishing global section at every point, and deduce that the underlying vector bundle is trivial if and only if its restriction to every invariant curve is trivial. We apply our methods and results to study, in particular, the vector bundles M_L that arise as the kernel of the evaluation map on sections of L, when L is an ample line bundle. We give examples of twists of such bundles that are ample but not globally generated.

연구 동기 및 목표

• 토릭 다양체 위의 선다발에 대한 양성 기준을 고차원 토릭 벡터(bundle)로 확장하기.
• 등변 벡터(bundle)의 네파성과 강한 양성이 고정된 곡선에서 감지될 수 있는지 여부를 규명하기.
• 모든 점에서 전역 단면이 0이 아닌지 여부를 조사하기.
• 고정된 곡선으로의 제한을 통해 토릭 벡터(bundle)의 자명성을 특성화하기.
• 강한 선다발 $L$의 평가 사상의 핵으로서 나타나는 벡터(bundle) $\mathcal{M}_L$을 분석하기.

제안 방법

• Payne가 도입한 조각적 선형 필터링 가중치의 가중치 분류를 활용하여 토릭 벡터(bundle)를 분류하기.
• Klyachko의 분류를 통해 코특성 격자 위의 필터링을 통한 토릭 벡터(bundle) 분류를 적용하기.
• 토릭 벡터(bundle) $\mathcal{E}$ 를 고정된 곡선 $C \cong \mathbb{P}^1$ 에 제한했을 때, 선다발들의 직합 $\mathcal{O}_{\mathbb{P}^1}(a_i)$ 로 표현됨을 특성화하기.
• 모든 $a_i \geq 0$ (응당 $a_i > 0$) 이면 $\mathcal{E}|_C$ 가 네파성(응당 강한 양성)임을 조건으로 하여 전역 양성도 테스트하기.
• 필터링 기반 기반에서 네파성 토릭 벡터(bundle)는 임의의 점에서 0이 아닌 전역 단면을 항상 갖는다는 점을 활용하기.
• 이 특성화를 적용하여 $\mathcal{M}_L = \ker(H^0(X,L) \otimes \mathcal{O}_X \to L)$ 에 대해 분석하고, 전역 생성되지 않은 강한 양성 벡터(bundle)의 예를 구성하기.

실험 결과

연구 질문

• RQ1 완비 토릭 다양체 위의 토르스-등변 벡터(bundle)의 네파성과 강한 양성이 고정된 곡선으로의 제한을 통해 결정될 수 있는가?
• RQ2 네파성 토릭 벡터(bundle)는 항상 주어진 점에서 0이 아닌 전역 단면을 갖는가?
• RQ3 모든 고정된 곡선으로의 제한이 자명할 때, 토릭 벡터(bundle)가 자명한가?
• RQ4 전역 생성되지 않은 강한 양성 토릭 벡터(bundle)가 존재하는가?
• RQ5 강한 선다발 $L$의 평가 사상의 핵으로서 정의된 $\mathcal{M}_L$의 양성 성질은 무엇인가?

주요 결과

• 완비 토릭 다양체 위의 토르스-등변 벡터(bundle) $\mathcal{E}$ 는 모든 고정된 곡선으로의 제한이 네파성(응당 강한 양성)이면 네파성(응당 강한 양성)이다.
• 모든 네파성 토릭 벡터(bundle) $\mathcal{E}$ 와 임의의 점 $x \in X$ 에 대해, $x$ 에서 0이 아닌 전역 단면이 존재한다.
• 토릭 벡터(bundle) $\mathcal{E}$ 가 벡터(bundle)로서 자명하다면, 모든 고정된 곡선으로의 제한이 자명하다.
• 강한 선다발 $L$ 과 관련된 벡터(bundle) $\mathcal{M}_L$ 은 각 고정된 곡선 $C$ 에서 $\mathcal{M}_L|_C \cong \mathcal{O}_{\mathbb{P}^1}^{\oplus a} \oplus \mathcal{O}_{\mathbb{P}^1}(-1)^{\oplus b}$ 로 제한된다.
• 모든 강한 선다발 $L'$ 에 대해 $\mathcal{M}_L \otimes L'$ 는 네파성임을 알 수 있으나, $\mathcal{M}_L$ 자체는 전역 생성되지 않을 수 있다.
• 강한 양성이지만 전역 생성되지 않은 고차원 토릭 벡터(bundle)의 예를 구성함으로써, 강한 양성이 고차원에서 전역 생성을 의미하지는 않음을 입증한다.