[논문 리뷰] An Application of a Log Version of the Kodaira Vanishing Theorem to Embedded Projective Varieties

Aaron Bertram|ArXiv.org|1997. 07. 01.

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

한 줄 요약

이 논문은 임베딩된 프로젝티브 다양체에서 이상층의 거듭제곱의 소멸 임계값 $ e_Y $ 에 대한 상계를 향상시키기 위해 코다이라 소멸 정리의 로그 형태를 적용한다. 선형 행렬의 미니어 또는 펠리안에서 유도된 로그 칼라나이컬 초면을 구성함으로써, 특히 결정식 다양체와 고차 곡선의 경우 이전 결과보다 더 날카로운 상계를 확립한다. 블로우업과 로그 칼라나이컬 쌍에서의 소멸 정리들을 활용한다.

ABSTRACT

Given an embedded smooth projective variety Y in CP^n, we show how the existence of a hypersurface with high multiplicity along Y, but of relatively low degree and log canonical near Y implies vanishing of higher cohomology for certain twists of powers of the ideal sheaf of Y. This is applied to get rather non-trivial vanishing in case Y is a universal determinantal variety (i.e. quadratic Veronese, Segre embedding or Grassmannian of P^1's) or a curve embedded by a complete linear series of high degree. The key in the determinantal cases is to use the theory of complete objects. While the theories of complete quadrics and linear maps yield the desired results, a corresponding theory of complete skew forms seems not have been previously worked out. The desired results are obtained in an appendix.

연구 동기 및 목표

• 이상층의 고차 거듭제곱이 양의 차수에서 소멸하기 시작하는 임계값인 $ e_Y $ 의 상계를 개선하는 것.
• 일반적인 교차의 경우보다 더 풍부한 기하학적 구조를 지닌 임베딩된 다양체에 대해 코다이라 소멸 정리를 로그 칼라나이컬 설정으로 확장하는 것.
• 이 일반화된 소멸 정리를 결정식 다양체(세그레, 베론제, 플루커)와 고차 곡선에 적용하여 고전적 방법보다 더 날카로운 상계를 도출하는 것.
• 완전 선형 계열에 의해 임베딩된 곡선에 대해 $ e_Y \leq 1 $ 이 항상 성립하는지 탐구하는 것, 특히 종수 0 및 1의 경우에 대해.
• Castelnuovo-Mumford 정규성과의 호환성과 로그 최소 모형 프로그램에서의 플립을 통한 더 날카로운 결과 도출 가능성 탐색

제안 방법

• Y에 대해 $ \mathbb{P}^n $ 의 블로우업에 Nadel의 로그 코다이라 소멸 정리의 버전을 적용하며, Y에 대해 높은 차수를 가지는 로그 칼라나이컬 초면 $ F $ 를 사용한다.
• 선형 형식의 행렬에서 크기가 증가하는 미니어 또는 펠리안의 조합으로 $ F $ 를 구성함으로써, 온건한 특이성과 낮은 차수를 확보한다.
• Kollár의 Bertini 유사 성질을 적용하여 블로우업에서의 일반적 미끄러움과 특이성의 통제를 보장한다.
• 분열 위치 $ \Delta_{r,V} $ 의 반복 블로우업을 통해 특이성을 해결하고 정규 교차 예외적 초면을 가진 매끄러운 다양체를 얻는다.
• 오일러 수열과 층 사상들을 활용해 정규 번들의 계산을 수행하고, 블로우업에서의 유도된 사상이 임베딩임을 검증한다.
• 블로우업에서의 소멸 결과를 블로우업의 사상으로 원래 다양체로 되돌려 적용한다.

실험 결과

연구 질문

• RQ1 로그 코다이라 소멸 정리가 고전적 결과인 $ e_Y \leq d_1 + \cdots + d_r - n $ 를 초월하여 $ e_Y $ 의 상계 향상에 기여할 수 있는가?
• RQ2 미니어 또는 펠리안으로 구성된 로그 칼라나이컬 초면은 이상층의 고차 코homology 소멸에 어떤 영향을 미치는가?
• RQ3 세그레, 대칭, 비대칭 그라스만이안 임베딩과 같은 일반 결정식 다양체에서 $ e_Y $ 의 날카로운 상계는 무엇인가?
• RQ4 완전 선형 계열에 의해 임베딩된 종수 0 또는 1의 곡선에 대해 $ e_Y \leq 1 $ 이 성립하는가?
• RQ5 플립과 로그 칼라나이컬 모형에서의 일반화된 소멸 정리를 통해 $ e_Y $ 의 소멸 패턴을 Castelnuovo-Mumford 정규성과 일치시킬 수 있는가?

주요 결과

• 세그레 임베딩 $ Y = \mathbb{P}(V) \times \mathbb{P}(W) $ 의 경우, 고전적 결과인 $ e_Y \leq 2r - n $ 에 비해 $ e_Y \leq -1 $ 이 달성된다.
• 대칭 베론제 임베딩 $ Y = \mathbb{P}(V) $ 의 경우, 고전적 추정치를 초월해 $ e_Y \leq 0 $ 이 확립된다.
• G(2,V) 의 플루커 임베딩의 경우, $ e_Y \leq -3 $ 이 도출되며, 이는 비대칭 케이스에서 펠리안 구성의 힘을 보여준다.
• 종수 0 또는 1의 곡선, 또는 차수 $ > \frac{8g+2}{3} $ 인 곡선의 경우, $ e_Y \leq 1 $ 이 성립하며, 이는 추측된 패tern을 확인한다.
• 차수 $ \geq 2g+3 $ 인 곡선의 경우, 선형 계열에 빈자리가 있어도 $ e_Y \leq 1 $ 이 유지되나, 고종수의 경우 여전히 최적은 아니다.
• 이 방법은 프로젝티브 공간과 앰플 라인어스터에 대해 $ e_Y \leq 1 $ 이 성립함을 확인하며, 이는 완전 선형 계열 임베딩에 대해 이 상계가 일반적일 것이라는 추측을 지지한다.