[논문 리뷰] Log-terminal singularities and vanishing theorems

Hans Schoutens|ArXiv.org|2003. 03. 15.

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

한 줄 요약

이 논문은 양의 특성에서의 프로베누스 사상의 초곱을 사용하여 유한 생성된 $$\mathbb{C}\u0024$-대수에서의 로그-단절 특이점의 새로운 특성화를 제시한다. 주요 퇴화 정리들을 확립하며, 부토트 유형 결과와 토르 퇴화 성질을 포함하고, 로그-단절 정점 콘을 가진 프로젝티브 다양체에 대해 카와마타-비에흐베그 유형의 퇴화 정리를 증명하여, 스미스가 스무스 팔로 다양체의 몫에 대해 제기한 추측을 확인한다.

ABSTRACT

Generalizing work of Smith and Hara, we give a new characterization of log-terminal singularities for finitely generated algebras over $\mathbb C$, in terms of purity properties of ultraproducts of characteristic $p$ Frobenii. The first application is a Boutôt-type theorem for log-terminal singularities: given a pure morphism $Y o X$ between affine $\mathbb Q$-Gorenstein varieties of finite type over $\mathbb C$, if $Y$ has at most a log-terminal singularities, then so does $X$. The second application is the Vanishing for Maps of Tor for log-terminal singularities: if $A\subset R$ is a Noether Normalization of a finitely generated $\mathbb C$-algebra $R$ and $S$ is a finitely generated $R$-algebra with log-terminal singularities, then the natural morphism $\operatorname{Tor}^A_i(M,R) o \operatorname{Tor}^A_i(M,S)$ is zero, for every $A$-module $M$ and every $i\geq 1$. The final application is the Kawamata-Viehweg Vanishing Theorem for a connected projective variety $X$ of finite type over $\mathbb C$ whose affine cone has a log-terminal vertex (for some choice of polarization). As a smooth Fano variety has this latter property, we obtain a proof of the following conjecture of Smith for quotients of smooth Fano varieties: if $G$ is the complexification of a real Lie group acting algebraically on a projective smooth Fano variety $X$, then for any numerically effective line bundle $\mathcal L$ on any GIT quotient $Y:=X//G$, each cohomology module $H^i(Y,\mathcal L)$ vanishes for $i>0$, and, if $\mathcal L$ is moreover big, then $H^i(Y,\mathcal L^{-1})$ vanishes for $i

연구 동기 및 목표

• 복소수 대수에서의 로그-단절 특이점에 대한 새로운 모델 이론적 특성화를 초곱에서의 순수성 조건을 이용하여 제시한다.
• $$\mathbb{Q}\u0024$-코렌스타인 다양체 사이의 순수 사상의 맥락에서 부토트 유형 정리를 로그-단절 특이점으로 확장한다.
• 로기-단절 특이점이 존재할 경우 노에터 정규화에서의 토르 모듈러스에 대한 퇴화 결과를 확립한다.
• 로그-단절 정점 콘을 가진 프로젝티브 다양체에 대해 카와마타-비에흐베그 유형의 퇴화 정리를 증명한다.
• 스무스 팔로 다양체의 몫에 대해 수치적으로 효과적인 선다발의 코homology 퇴화에 관한 스미스의 추측을 확인한다.

제안 방법

• 양의 특성에서의 프로베누스 사상의 초곱을 사용하여 복소수 위에서의 로그-단절 특이점을 특성화하는 순수성 조건을 정의하고 분석한다.
• 모델 이론 기법을 적용하여 양의 특성에서의 성질을 특성 0으로 이 trasfer하며, Łoś 정리를 활용한다.
• 순수 사상 이론을 활용하여 로그-단절 특이점이 $$\mathbb{Q}\u0024$-코렌스타인 다양체 사이의 순수 사상 아래에서 내림내림함을 유도한다.
• 노에터 정규화 $A \subset R$ 위에서 로그-단절 특이점을 지닌 임의의 유한 생성 $R$-대수 $S$에 대해, $i \geq 1$ 이면 자연스러운 사상 $\operatorname{Tor}^A_i(M,R) \to \operatorname{Tor}^A_i(M,S)$ 가 0이 됨을 확립한다.
• affine 콘에 로그-단절 정점이 있는 프로젝티브 다양체에 대해 퇴화 결과를 적용하여 카와마타-비에흐베그 유형의 퇴화를 유도한다.
• 스무스 팔로 다양체의 기하적 성질과 그들의 복소화된 실 리 군 작용에 의한 몫을 활용하여 스미스의 추측이 코homological 퇴화에 대해 참임을 검증한다.

실험 결과

연구 질문

• RQ1 유한 생성된 $\mathbb{C}$-대수에서의 로그-단절 특이점은 양의 특성에서의 프로베누스 사상의 초곱을 통해 특성화될 수 있는가?
• RQ2 로그-단절 특이점의 성질은 $$\mathbb{Q}\u0024$-코렌스타인 다양체 사이의 순수 사상 아래에서 내림내림하는가?
• RQ3 노에터 정규화 $A \subset R$ 위에서 로그-단절 특이점을 지닌 임의의 $R$-대수 $S$에 대해, $i \geq 1$ 이면 자연스러운 사상 $\operatorname{Tor}^A_i(M,R) \to \operatorname{Tor}^A_i(M,S)$ 가 0이 되는가?
• RQ4 복소수 위에서 연결된 프로젝티브 다양체 $X$의 아핀 콘에 로그-단절 정점이 존재할 경우, 카와마타-비에흐베그 퇴화 정리는 성립하는가?
• RQ5 스무스 팔로 다양체의 GIT 몫에서 수치적으로 효과적인 선다발의 코homology 퇴화에 관한 스미스의 추측은 참인가?

주요 결과

• 유한 생성된 $\mathbb{C}$-대수에서의 로그-단절 특이점은 양의 특성에서의 프로베누스 사상 초곱에서의 순수성 조건으로 특성화된다.
• 만약 $$\mathbb{C}$$ 위에서 유한형의 $$\mathbb{Q}$$-코렌스타인 다양체 사이의 순수 사상 $Y \to X$ 가 있고, $Y$ 가 로그-단절 특이점을 지닌다면, $X$ 역시 로그-단절 특이점을 가진다.
• 임의의 유한 생성된 $\mathbb{C}$-대수 $R$ 의 노에터 정규화 $A \subset R$ 와, 로그-단절 특이점을 지닌 임의의 유한 생성 $R$-대수 $S$ 에 대해, 모든 $i \geq 1$ 과 모든 $A$-모듈러스 $M$ 에 대해 $\operatorname{Tor}^A_i(M,R) \to \operatorname{Tor}^A_i(M,S)$ 는 0이다.
• 복소수 위에서 연결된 프로젝티브 다양체 $X$ 의 아핀 콘에 로그-단절 정점이 존재할 경우, 모든 수치적으로 효과적인 선다발 $\mathcal{L}$ 에 대해 $i > 0$ 이면 $H^i(X, \mathcal{L}) = 0$ 이다.
• 스미스의 추측이 확인되었다: 복소화된 실 리 군 $G$ 가 스무스 팔로 다양체 $X$ 에 대수적으로 작용할 경우, GIT 몫 $Y = X//G$ 에서 $\mathcal{L}$ 이 수치적으로 효과적이고 크고, $i > 0$ 이면 $H^i(Y, \mathcal{L})$ 이 퇴화하고, $i < \dim Y$ 이면 $H^i(Y, \mathcal{L}^{-1})$ 도 퇴화한다.
• 이 결과들은 양의 특성 방법과 복소대수기하학에서의 퇴화 정리 사이에 새로운 다리를 구축하며, 특히 특이점과 몫에 대해 강력한 기여를 한다.