[논문 리뷰] Vanishing theorems and the multigraded regularity of nonsingular subvarieties

Victor Lozovanu, Gregory G. Smith|arXiv (Cornell University)|2012. 08. 02.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 3

한 줄 요약

이 논문은 스킴 이론적 방정정식과 관련된 크고 편선(line bundle)을 활용하여 비특이 부분다양체 위의 왜곡된 이상층의 고차 코hom로지 군에 대한 새로운 퇼내는 정리(가소 정리)를 수립한다. 핵심 기여는 다중계단 캐스텔누오보-무프드 정규성에 대한 선형 경계와, 편선 다발의 임베딩에 대한 프로젝티브 정규성의 새로운 기준을 제시하는 것으로, 이는 이전 결과를 일반화하며, 편선 다발에 대한 전체 순서(total order)가 필요로 하지 않는다.

ABSTRACT

Given scheme-theoretic equations for a nonsingular subvariety, we prove that the higher cohomology groups for suitable twists of the corresponding ideal sheaf vanish. From this result, we obtain linear bounds on the multigraded Castelnuovo-Mumford regularity of a nonsingular subvariety, and new criteria for the embeddings by adjoint line bundles to be projectively normal. A special case of our work recovers the vanishing theorem of Bertram, Ein, and Lazarsfeld.

연구 동기 및 목표

• 비특이 부분다양체 위의 왜곡된 이상층의 고차 코호몰로지 군에 대한 퇼내는 정리를 수립하는 것.
• 이러한 부분다양체의 다중계단 캐스텔누오보-무프드 정규성에 대한 선형 경계를 도출하는 것.
• 조인트 다발의 전역 단위의 곱셈 사상의 전성(onto)을 보장하는 새로운 조건을 제공하는 것.
• 베르트람, 아이엔, 라자르펠드의 퇼내는 정리를, 편선 다발에 대한 전체 순서가 필요로 하지 않는 조건으로 일반화하는 것.
• 토리쿠 다양체와 모르리 드림 공간과 같이 고차원 편선 콩(cone)을 가진 환경 공간으로 이 토대를 확장하는 것.

제안 방법

• 프로젝티브 다발의 몫 선다발에 기반한 기하적 구성법을 사용하여 편선 콩의 구조를 활용한다.
• 점근적 승수 이상층을 통해 고차원 코호몰로지 설정에서 카와마타-비에흐베그 퇼내는 정리를 적용한다.
• 지역 정규 매개변수 체계를 통해 크고 편선 선다발의 점별로 점근적 승수 이상층이 항상 자명하다는 것을 보이는 데 기반한다.
• 선다발 $ B = \pi^*(L \otimes \mathcal{O}_X(mD_{s_1} + \sum D_{s_j})) \otimes \mathcal{O}_{X'}(mF_{s_1} + \sum F_{s_j}) $ 의 분해를 통해 기저점이 없는 선형 계열을 분석한다.
• 문헌 [PAGII]의 정리 11.2.12(ii)를 적용하여 점근적 승수 이상층이 자명할 경우 고차 코호몰로지의 퇼내는 것을 결론짓는다.
• 모든 점에서 정규 교차를 가진 효과적 다발 $ G $ 를 구성하여 $ \mathscr{J}(G) = \mathscr{O}_{X'} $ 를 확보함으로써 승수 이상층이 자명하다는 것을 보장한다.

실험 결과

연구 질문

• RQ1 비특이 부분다양체 위의 왜곡된 이상층의 고차 코호몰로지 군이 어떤 조건에서 퇴화하는가?
• RQ2 정의 방정식의 차수에 대해 다중계단 캐스텔누오보-무프드 정규성이 어떻게 선형적으로 경계지어질 수 있는가?
• RQ3 조인트 다발의 전역 단위 간 곱셈 사상의 전성이 보장되는 조건은 무엇인가?
• RQ4 베르트람, 아이엔, 라자르펠드의 퇼내는 정리를, 편선 다발에 대한 전체 순서가 필요로 하지 않는 조건으로 일반화할 수 있는가?
• RQ5 이 틀은 토리쿠 다양체나 모르리 드림 공간과 같이 다차원 편선 콩을 가진 환경 공간에 얼마나 넓게 적용될 수 있는가?

주요 결과

• 모든 $ e $-원소 부분집합 $ \{s_1, \dots, s_e\} \subseteq \{1, \dots, r\} $ 에 대해 $ L \otimes \mathcal{O}_X(-(m+1)D_{s_1} - \cdots - D_{s_e}) $ 가 크고 편선일 경우, 모든 $ i > 0 $ 에 대해 $ H^i(X, \mathscr{I}_Y^{m+1} \otimes K_X \otimes L) $ 는 퇴화한다.
• 비특이 부분다양체 $ Y \subseteq X $ 의 다중계단 캐스텔누오보-무프드 정규성은 정의 방정식의 차수에 대해 최대 선형적으로 증가한다.
• 결론 1.2는 $ L \otimes \mathcal{O}_X(-D_{s_1} - \cdots - D_{s_e} - \sum u_j P_j) $ 가 모든 이러한 부분집합과 $ \sum u_j = \dim(Y)+1 $ 에 대해 크고 편선일 경우, $ \mathscr{I}_Y $ 의 정규성에 대해 선형 경계를 제공한다.
• 결론 1.3은 $ L_j \otimes A_1^{-1} \otimes \cdots \otimes A_d^{-1} $ 가 $ j=1,2 $ 에 대해 크고 편선일 경우, 조인트 다발 $ K_X \otimes L_1 $ 과 $ K_X \otimes L_2 $ 의 전역 단위 간 곱셈 사상의 전성에 대한 새로운 기준을 제시한다.
• 논문은 벡터 다발의 대칭곱에 대한 새로운 그리피스 유형의 퇼내는 정리를 증명하여, $ E $ 가 $ \bigoplus \mathcal{O}_X(D_j) $ 의 몫일 경우, 모든 $ i > 0 $, $ m \geq 0 $, 그리고 크고 편선인 $ B $ 에 대해 $ H^i(X, \operatorname{Sym}^m(E) \otimes B) = 0 $ 이 성립함을 보여준다.
• 특히 $ X = \mathbb{P}^{n_1} \times \cdots \times \mathbb{P}^{n_\ell} $ 인 경우, 접선다발 $ T_X $ 는 $ \bigoplus \mathcal{O}_X(D_k) $ 의 몫이므로, 모든 $ i > 0 $, $ m \geq 0 $, 그리고 크고 편선인 $ B $ 에 대해 $ H^i(X, \operatorname{Sym}^m(T_X) \otimes B) = 0 $ 이 성립한다.