Relative vanishing theorems for $\mathbf{Q}$-schemes

We prove the relative Grauert-Riemenschneider vanishing, Kawamata-Viehweg vanishing, and Kollr 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 that these vanishing and injectivity theorems hold for locally Moishezon (respectively, projective) morphisms of quasi-excellent algebraic spaces and semianalytic germs of complex-analytic spaces (respectively, quasi-excellent formal schemes and non-Archimedean analytic spaces), all in equal characteristic zero.We give many applications of our vanishing results.For example, we extend Boutot's theorem to all Noetherian Q-algebras by showing that pseudo-rationality descends under pure maps of Q-algebras.This solves a conjecture of Boutot and answers a question of Schoutens.The proofs of this Boutot-type result and of our vanishing and injectivity theorems all use a new characterization of rational singularities using Zariski-Riemann spaces.

Authors

Publication Details

Journal
Algebraic geometry
Published
2024-12-11
DOI
https://doi.org/10.14231/ag-2025-003
Citations
4
Primary Topic
Algebraic Geometry and Number Theory
Type
article
Field-Weighted Citation Impact
4.05
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Relative vanishing theorems for $\mathbf{Q}$-schemes

Takumi Murayama
4 citations
Algebraic geometry
Algebraic Geometry and Number Theory
4.05
article

Relative vanishing theorems for $\mathbf{Q}$-schemes

Takumi Murayama
article en
4 citations

Abstract

We prove the relative Grauert-Riemenschneider vanishing, Kawamata-Viehweg vanishing, and Kollr 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 that these vanishing and injectivity theorems hold for locally Moishezon (respectively, projective) morphisms of quasi-excellent algebraic spaces and semianalytic germs of complex-analytic spaces (respectively, quasi-excellent formal schemes and non-Archimedean analytic spaces), all in equal characteristic zero.We give many applications of our vanishing results.For example, we extend Boutot's theorem to all Noetherian Q-algebras by showing that pseudo-rationality descends under pure maps of Q-algebras.This solves a conjecture of Boutot and answers a question of Schoutens.The proofs of this Boutot-type result and of our vanishing and injectivity theorems all use a new characterization of rational singularities using Zariski-Riemann spaces.

Algebraic geometry
Reduced inequalities
Openalex Percentile: Top 5%
Algebraic Geometry and Number Theory
4.05
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.