Abstract
We show a vanishing result for the first direct image of a proper birational morphism of normal quasi-excellent schemes with regular codomain. As a consequence, we deduce the birational invariance of \(H^1(X,{\mathcal {O}}_X)\) for regular quasi-excellent schemes X. More generally, this is shown for quasi-excellent X which are \(S_3\) and pseudo-rational in codimension 2.
Similar content being viewed by others
References
Bosch, S., Lütkebohmert, W., Raynaud, M.: Néron Models. Ergebnisse der Mathematik und ihrer Grenzgebiete (3), 21. Springer, Berlin (1990)
Chatzistamatiou, A., Rülling, K.: Higher direct images of the structure sheaf in positive characteristic. Algebra Number Theory 5(6), 693–775 (2011)
Chatzistamatiou, A., Rülling, K.: Vanishing of the higher direct images of the structure sheaf. Compos. Math. 151(11), 2131–2144 (2015)
Cutkosky, S.D.: A new characterization of rational surface singularities. Invent. Math. 102(1), 157–177 (1990)
Grothendieck, A.: Éléments de géométrie algébrique. Publ. Math. I.H.E.S. 4, 8, 11, 17, 20, 24, 28, 32 (1960–1967). (written in collaboration with J. Dieudonné)
Grothendieck, A.: Séminaire de géométrie algébrique du Bois Marie 1962. Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux (SGA 2). Documents Mathématiques, vol. 4. Société Mathématique de France, Paris (2005)
Kovács, S.J.: Rational singularities. arXiv:1703.02269v13 (2022)
Lipman, J.: Rational singularities, with applications to algebraic surfaces and unique factorization. Publ. Math. I.H.E.S. 36, 195–279 (1969)
Lipman, J., Teissier, B.: Pseudorational local rings and a theorem of Briançon-Skoda about integral closures of ideals. Michigan Math. J. 28, 97–116 (1981)
Raynaud, M.: Exposé I. Anneaux excellents. Travaux de Gabber sur l’uniformisation locale et la cohomologie étale des schémas quasi-excellents. Astérisque No. 363–364 (2014)
The Stacks Project Authors: The Stacks project (2023). https://stacks.math.columbia.edu
Acknowledgements
I am grateful to the referee for helpful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Lodh, R. Birational invariance of \(H^1({\mathcal {O}})\). Arch. Math. 122, 163–170 (2024). https://doi.org/10.1007/s00013-023-01939-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00013-023-01939-x
Keywords
- Birational invariants
- Rational singularities
- Resolution of singularities
- First cohomology group
- Picard functor