Related papers: Structure theorem for log de Rham-Witt sheaves wit…
We construct real polarizable Hodge structures on the reduced leafwise cohomology of K\"ahler-Riemann foliations by complex manifolds. As in the classical case one obtains a hard Lefschetz theorem for this cohomology. Serre's K\"ahlerian…
We associate a t-structure to a family of objects in D(A), the derived category of a Grothendieck category A. Using general results on t-structures, we give a new proof of Rickard's theorem on equivalence of bounded derived categories of…
We reprove Saito's vanishing theorem for mixed Hodge modules by the method of Esnault and Viehweg. The main idea is to exploit the strictness of direct images on certain branched coverings.
A smooth scheme X over a field k of positive characteristic is said to be strongly liftable over W_2(k), if X and all prime divisors on X can be lifted simultaneously over W_2(k). In this paper, we first deduce the Kummer covering trick…
We prove that every quasi-projective semi log canonical pair has a quasi-log structure with several good properties. It implies that various vanishing theorems, torsion-free theorem, and the cone and contraction theorem hold for semi log…
This paper contains some vanishing theorems for $L^2$ harmonic forms on complete Riemannian manifolds with a weighted Poincar\'e inequality and a certain lower bound of the curvature. The results are in the spirit of Li-Wang and Lam, but…
We give an exposition of the formal aspects of deformation theory in the language of fibered categories, instead of the more traditional one of functors. The main concepts are that of tangent space to a deformation problem, obstruction…
The second vanishing theorem has a long history in the theory of local cohomology modules, which connects the vanishing of a complete regular local ring with a topological property of the punctured spectrum of the ring under some…
Let D be a divisor in a complex analytic manifold X. A natural problem is to determine when the de Rham complex of meromorphic forms on X with poles along D is quasi-isomorphic to its subcomplex of logarithmic forms. In this mostly…
Building upon the classification by Lacini [arXiv:2005.14544], we determine the isomorphism classes of log del Pezzo surfaces of rank one over an algebraically closed field of characteristic five either which are not log liftable over the…
For ample vector bundles $E$ over compact complex varieties $X$ and a Schur functor $S_I$ corresponding to an arbitrary partition $I$ of the integer $|I|$, one would like to know the optimal vanishing theorem for the cohomology groups…
We prove the classical Nakano vanishing theorem with H\"ormander $L^2$-estimates on a compact K\"ahler manifold using Siu's so called $\partial\dbar$-Bochner-Kodaira method, thereby avoiding the K\"ahler identities completely. We then…
We give a criterion for a divisorial sheaf on a log terminal variety to be Cohen-Macaulay. The log canonical case and applications to moduli are also considered.
We give a proof of the Kodaira vanishing theorem on smooth complex surfaces using geometric stability conditions. Likewise, we give a new proof of a result of Xie characterizing the counterexamples of the Kodaira vanishing theorem in…
We study the negative $K$-theory of singular varieties over a field of positive characteristic and in particular, prove the vanishing of $K_i(X)$ for $i < -d-2$ for a $k$-variety of dimension $d$.
By a [$K$-]approximate subring of a ring we mean an additively symmetric subset $X$ such that $X \cdot X \cup (X + X)$ is covered by finitely many [resp.\ $K$] additive translates of $X$. We prove a structure theorem for finite approximate…
In this article we construct a Koszul-type resolution of the p-th exterior power of the sheaf of holomorphic differential forms on smooth toric varieties and use this to prove a Nadel-type vanishing theorem for Hodge ideals associated to…
In a previous paper [FT1], for any logarithmic symplectic pair (X,D) of a symplectic manifold X and a simple normal crossings symplectic divisor D, we introduced the notion of log pseudo-holomorphic curve and proved a compactness theorem…
We confirm the quasi-projective case of Saito's conjecture, namely that the cohomological characteristic classes defined by Abbes and Saito can be computed in terms of the characteristic cycles. We construct a cohomological characteristic…
Let $k$ be a finite field, a $p$-adic field or a number field. Let $K$ be a finite extension of the Laurent series field in $m$ variables $k((x_1,...,x_m))$ or, more generally, a finite extension of the field of rational functions…