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.

Injective Analytic Maps - A Counterexample to the Proof

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

A Note on Injectivity of Frobenius on Local Cohomology of Hypersurfaces

A G ] 2 1 O ct 2 01 8 GENERALIZATIONS OF LOCAL BIJECTIVITY OF KELLER MAPS AND A PROOF OF 2-DIMENSIONAL JACOBIAN

Some Kollar-Enoki type injectivity and Nadel type vanishing theorems on compact Kahler manifolds

Injectivity theorems for higher direct images under proper Kähler morphisms on snc spaces

Injectivity Theorem for Generalised Pairs on Surfaces

A note on injectivity of Frobenius on local cohomology of global complete intersections

Fundamental Theorem of Hyperbolic Geometry Without the Injectivity Assumption

Injectives obstruct Fourier-Mukai functors

An injectivity theorem on snc compact Kähler spaces: an application of the theory of harmonic integrals on log-canonical centers via adjoint ideal sheaves

Kirchberg's Conjecture in the System of Hilbert Space Factorable Mapping Spaces

Injectivity of the genus 1 Kudla-Millson lift on locally symmetric spaces

Injectivity of Keller Mappings

A Non Explicit Counterexample to a Problem of Quasi-Normality

Construction of real algebraic functions with prescribed preimages

Real Polynomial Rings and Domain Invariance

Degeneracy of holomorphic mappings into or avoiding Fermat type hypersurfaces

Projective Duality, Unexpected Hypersurfaces and Logarithmic Derivations of Hyperplane Arrangements

Topological equivalence of finitely determined real analytic plane-to-plane map-germs

Geometry of hyperbolic Cauchy-Riemann singularities and KAM-like theory for holomorphic involutions