Epimorphisms of local cohomology modules, a general Peskine-Szpiro theorem, and an application to sheaf cohomology vanishing for thickenings

TL;DR

This paper explores the surjectivity of maps involving local cohomology modules, extending classical results and proving a Kodaira-type vanishing theorem for sheaf cohomology of thickenings, with applications in prime characteristic settings.

Contribution

It introduces cohomologically Mittag-Leffler rings and extends Peskine-Szpiro's theorem, providing new insights into sheaf cohomology and cohomological properties of rings.

Findings

Extended Peskine-Szpiro theorem to cohomologically Mittag-Leffler rings.

Proved a Kodaira-type vanishing theorem for sheaf cohomology of thickenings.

Identified classes of rings with desirable cohomological properties.

Abstract

We study the surjectivity of certain maps involving local cohomology modules, which we can realize as a dual version of part of the investigation developed by Bhatt, Blickle, Lyubeznik, Singh and Zhang on the sheaf cohomology of thickenings (i.e., subschemes defined by powers of ideals), where injectivity played a central role. To this end, we introduce and investigate properties of cohomologically Mittag-Leffler (cML) rings, associated to a given flat local endomorphism (for instance the Frobenius map of a regular ring of prime characteristic), a class which we show to contain, in our setting, the so-called cohomologically full rings of Dao, De Stefani and Ma (in particular, Cohen-Macaulay, Stanley-Reisner, and Du Bois singularities) as well as rings with an ideal inducing a pure endomorphism of the quotient. Our two major specific goals rely upon the prime characteristic setting. First, we extend for the class of cML rings a classical result of Peskine and Szpiro that relates the cohomological dimension and the height of a given Cohen-Macaulay ideal. Second, we prove and illustrate a Kodaira type vanishing result on the sheaf cohomology of thickenings.