相关论文: Injectivity theorems and cubical descent for schem…

We prove some injectivity, torsion-free, and vanishing theorems for simple normal crossing pairs. Our results heavily depend on the theory of mixed Hodge structures on compact support cohomology groups. We also treat several basic…

We formulate and establish a generalization of Koll\'ar's injectivity theorem for adjoint bundles twisted by suitable multiplier ideal sheaves. As applications, we generalize Koll\'ar's torsion-freeness, Koll\'ar's vanishing theorem, and a…

This is a short report on our new vanishing theorems for projective morphisms between complex analytic spaces. We established a complex analytic generalization of Koll\'ar's torsion-freeness and vanishing theorem for analytic simple normal…

We prove the relative Grauert-Riemenschneider vanishing, Kawamata-Viehweg vanishing, and Koll\'ar injectivity theorems for proper morphisms of schemes of equal characteristic zero, solving conjectures of Boutot and Kawakita. Our proof uses…

Recently, Cochran and Harvey defined torsion-free derived series of groups and proved an injectivity theorem on the associated torsion-free quotients. We show that there is a universal construction which extends such an injectivity theorem…

We prove a general vanishing theorem for the cohomology of products of symmetric and skew-symmetric powers of an ample vector bundle on a smooth complex projective variety. Special cases include an extension of classical theorems of…

We prove the injectivity and vanishing theorem for R-Hodge modules and R-divisors over projective varieties, extending the results for rational Hodge modules and integral divisors in \cite{Wu15}. In particular, the injectivity generalizes…

We describe the foundation of the log minimal model program for log canonical pairs according to Ambro's idea. We generalize Koll\'ar's vanishing and torsion-free theorems for embedded simple normal crossing pairs. Then we prove the cone…

Let $X$ be a complex manifold, and let $Y$ and $D$ be two reduced simple-normal-crossing (snc) divisors on $X$ with no common irreducible components. Given a proper locally K\"ahler morphism $\pi \colon X \to \Delta$ from $X$ to a complex…

We prove a generalized vanishing theorem for certain quasi-coherent sheaves along the derived blow-ups of quasi-smooth derived Artin stacks. We give four applications of the generalized vanishing theorem: we prove a $K$-theoretic version of…

We show that the group cohomology of torsion-free virtually polycyclic groups and the continuous cohomology of simply connected solvable Lie groups can be computed by the rational cohomology of algebraic groups. Our results are…

We prove a rigid analytic analogue of the Artin vanishing theorem. Precisely, we prove (under mild hypotheses) that the geometric etale cohomology of any Zariski-constructible sheaf on any affinoid rigid space $X$ vanishes in all degrees…

For smooth affine varieties in positive characteristic, we identify a slope obstruction to the injectivity of the comparison morphism from rigid cohomology to rationalised crystalline cohomology. This yields a negative answer to a question…

We prove a surjectivity theorem for the Deligne canonical extension of a polarizable variation of Hodge structure with quasi-unipotent monodromy at infinity along the lines of Esnault-Viehweg. We deduce from it several injectivity theorems…

The purpose of this survey is to present analytic versions of the injectivity theorem and their applications. The proof of our injectivity theorems is based on a combination of the L^2-method for the dbar-equation and the theory of harmonic…

We construct the \'etale motivic Borel-Moore homology of derived Artin stacks. Using a derived version of the intrinsic normal cone, we construct fundamental classes of quasi-smooth derived Artin stacks and demonstrate functoriality, base…

On Zariski Main Theorem in Algebraic Geometry and Analytic Geometry. We fill a surprising gap of Complex Analytic Geometry by proving the analogue of Zariski Main Theorem in this geometry, i.e. proving that an holomorphic map from an…

We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived)…

We give new proofs for many injectivity results in analysis that make more careful use of the duality between unital abelian C*-algebras and compact Hausdorff spaces. We then extend many of these results to incorporate group actions. Our…

We prove the existence theorem for basic elements in the quasi-projective case, extending results of Eisenbud-Evans and Bruns from the affine case. We give several geometric applications. For example, we show that every local complete…