[논문 리뷰] Relative vanishing theorems for $\mathbf{Q}$-schemes

Takumi Murayama|arXiv (Cornell University)|2021. 01. 25.

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

한 줄 요약

이 논문은 등차수 0에서의 $$\mathbf{Q}$$-스킴과 관련된 해석적 공간에 대해 상대적인 소멸 및 단사성 정리들을 증명한다. 이를 위해 자르스키–라이만 공간과 그로텐디크 극한 정리를 사용하며, 부토와 카와카타의 오랜 동안 미해결이었던 추측을 해결한다. 구체적으로, 이중화 복합체를 가진 우아한 스킴 사이의 전사 사상에 대해 카와마타–비에흐 정리의 소멸성과 콜라르 단사성 정리를 증명한다.

ABSTRACT

We prove the relative Grauert-Riemenschneider vanishing, Kawamata-Viehweg vanishing, and Kollár injectivity theorems for proper morphisms of schemes of equal characteristic zero, solving conjectures of Boutot and Kawakita. Our proof uses the Grothendieck limit theorem for sheaf cohomology and Zariski-Riemann spaces. We also show these vanishing and injectivity theorems hold for locally Moishezon (resp. projective) morphisms of quasi-excellent algebraic spaces admitting dualizing complexes and semianalytic germs of complex analytic spaces (resp. quasi-excellent formal schemes admitting dualizing complexes, rigid analytic spaces, Berkovich spaces, and adic spaces locally of weakly finite type over a field), all in equal characteristic zero. We give many applications of our vanishing results. For example, we extend Boutot's theorem to all Noetherian $\mathbf{Q}$-algebras by showing that if $R o R'$ is a cyclically pure map of $\mathbf{Q}$-algebras and $R'$ is pseudo-rational, then $R$ is pseudo-rational. This solves a conjecture of Boutot and affirmatively answers a question of Schoutens. The proof of this Boutot-type result uses a new characterization of pseudo-rationality and rational singularities using Zariski-Riemann spaces. This characterization is also used in the proofs of our vanishing and injectivity theorems and is of independent interest.

연구 동기 및 목표

• 노에테리안 $$\mathbf{Q}$$-스킴과 더 넓은 해석적 범주에서의 전사 사상에 대해 카와마타–비에흐 및 콜라르 단사성 정리와 같은 고전적 소멸 정리를 일반화한다.
• 부토와 카와카타의 추측을 해결한다. 이는 등차수 0에서 매끄럽거나 프로젝티브 다양체를 초월한 상대적 소멸 정리의 타당성을 다룬다.
• 해결의 필요 없이 자르스키–라이만 공간을 통한 극한을 이용해 유리 특이점과 가짜유리성의 새로운 특성화를 수립한다.
• 등차수 0에서 국소적으로 모이셰존 대상, 형식적 스킴, 린드 및 버코비치 공간, 복소해석적 국소화에 이르기까지 이러한 결과들을 확장한다.
• 소멸 정리를 이용해 유리 특이점, 완전 국소 UFD의 고렌스타인 성질, 그리고 순환적으로 순수한 사상 하에서의 가짜유리성에 관한 새로운 결과를 증명한다.

제안 방법

• 역계열의 스킴에 따른 코homology 군의 극한을 분석하기 위해 층 코hom로지의 그로텐디크 극한 정리를 사용한다.
• 자르스키–라이만 공간을 이용해 해결이 필요 없이 극한을 통한 해결의 극한을 통해 유리 특이점과 가짜유리성을 특성화한다.
• 우아한 스킴 위에서 이중화 복합체 이론을 적용하여 상대적 맥락에서 표준층과 조정을 정의한다.
• 차우의 보조정리와 다양한 기하 범주(대칭 스킴, 해석적 국소화, 린드, 버코비치, 아디크 공간)에서의 로그해결을 통해 일반적인 경우를 프로젝티브 경우로 환원한다.
• klt 쌍에 대해 상대적 로그해결 $$\tilde{X}\to X$$ 를 구성하고, 투영 공식을 사용해 소멸성을 $$\tilde{X}$$ 에서 $$X$$ 로 이행한다.
• 레라이 스펙트럴 시퀀스를 사용하여 $$f_*$$ 의 코homology 를 $$f\circ\pi\circ\mu_*$$ 의 코homology 와 연결하며, 해결에서의 소멸성을 이용해 원래 스킴에서의 소멸성을 유도한다.

실험 결과

연구 질문

• RQ1 이중화 복합체를 가진 노에테리안 $$\mathbf{Q}$$-스킴 사이의 전사 사상에 대해 카와마타–비에흐 소멸 정리가 성립하는가?
• RQ2 등차수 0에서 일반적인 우아한 스킴 위의 klt 쌍에 대해 콜라르의 단사성 정리가 확장 가능한가?
• RQ3 해결이 필요 없이 자르스키–라이만 공간의 극한을 통해 유리 특이점과 가짜유리성을 특성화할 수 있는가?
• RQ4 상대적 소멸 정리는 린드, 버코비치, 또는 형식적 스킴 등의 비아르키메데스적 및 복소해석적 설정으로까지 확장 가능한가?
• RQ5 부토와 쇼텐스의 추측에 따르면, $$\mathbf{Q}$$-대수 사이의 순환적으로 순수한 사상은 가짜유리성을 유지하는가?

주요 결과

• 이중화 복합체를 가진 노에테리안 $$\mathbf{Q}$$-스킴 사이의 전사 사상에 대해 상대적 카와마타–비에흐 소멸 정리가 성립한다. 이는 klt 또는 단순 정규교차 조건이 만족될 때 성립한다.
• 콜라르의 단사성 정리는 등차수 0에서 우아한 스킴 위의 klt 쌍으로까지 확장되며, $$f$$-준가장성인 $$M$$ 에 대해 $$R^if_*\mathcal{O}_X(N) \to R^if_*\mathcal{O}_X(N+D)$$ 의 단사성이 성립한다.
• 해결이 필요 없이 자르스키–라이만 공간을 통한 극한을 이용해 유리 특이점과 가짜유리성의 새로운 특성화가 수립된다.
• 소멸 정리는 국소적으로 모이셰존 대상, 준우아한 형식적 스킴, 복소해석적 국소화의 반해석적 국소화로까지 확장된다.
• 논문은 $$R \to R'$$ 이 $$\mathbf{Q}$$-대수 사이의 순환적으로 순수한 사상이고 $$R'$$ 이 가짜유리성이라면 $$R$$ 도 가짜유리성임을 증명하며, 부토의 추측과 쇼텐스의 질문을 확인한다.
• 결과는 완전 국소 UFD가 차원 $$\leq 4$$ 이고 잔여체가 $$\mathbb{C}$$ 라면, 이중화 복합체에 대한 약간의 조건 하에서 고렌스타인임을 보여준다.