Abstract:We prove relative injectivity, torsion-freeness, and vanishing theorems for generalized normal crossing pairs on schemes, algebraic stacks, formal schemes, semianalytic germs of complex analytic spaces, rigid analytic spaces, Berkovich spaces, and adic spaces locally of weakly finite type over a field, all in equal characteristic zero. We give a uniform proof for all these theorems in all the categories of spaces mentioned above, which were previously only known for varieties and complex analytic spaces due to work of Ambro and Fujino. Ambro and Fujino's results are integral in the proofs of the fundamental theorems of the minimal model program for (semi-)log canonical pairs and the theory of quasi-log structures. Our results resolve a significant barrier to extending these results on (semi-)log canonical pairs and quasi-log structures beyond the setting of varieties and complex analytic spaces. In order to prove our most general injectivity theorems, we generalize to all these categories of spaces a criterion due to Guillén and Navarro Aznar characterizing when functors defined on smooth varieties extend to all varieties. This extension result uses cubical hyperresolutions, which we construct in all categories of spaces mentioned above. Our extension result is very general and is of independent interest. We use this extension result to prove our injectivity theorems for generalized normal crossing pairs. We also apply our extension result to develop the theoretical foundations for the Deligne-Du Bois complex in these categories of spaces and to construct a weight filtration on the (pro-)étale cohomology of schemes and rigid analytic spaces. These results establish some aspects of Deligne-Hodge theory in all categories of spaces mentioned above.

Construction of real algebraic functions with prescribed preimages

On real algebraic maps whose images are domains surrounded by the products of hyperbolas and real affine spaces

Explicit smooth real algebraic functions which may have both compact and non-compact preimages on smooth real algebraic manifolds

Some remarks on real algebraic maps which are topologically special generic maps and generalize the canonical projections of the unit spheres

Proofs of the non-existence of special generic maps on the $3$-dimensional complex projective space

Realization problems of graphs as Reeb graphs of Morse functions with prescribed preimages

A geometric realization of Catalan functions

A relative Nash-Tognoli theorem over $\mathbb{Q}$ and application to the $\mathbb{Q}$-algebraicity problem

Injectivity theorems and cubical descent for schemes, stacks, and analytic spaces

A class of naturally generalized special generic maps

The Bieri-Neumann-Strebel sets of quasi-projective groups

Construction of free arrangements using point-line operators

Structures theorems and applications of non-isomorphic surjective endomorphisms of smooth projective threefolds

Diffeomorphisms, Analytic Torsion and Noncommutative Geometry

Atypical values at infinity of real polynomial maps with $2$-dimensional fibers

Construction of smooth isomorphic and finite-to-one extensions of irrational rotations which are not almost automorphic

Smooth Projective Surfaces with Infinitely Many Real Forms

Arrangements of small circles for Morse-Bott functions

Surjective Nash maps between semialgebraic sets

An algebraic geometric realization of the Chern character