Related papers: Structure theorem for log de Rham-Witt sheaves wit…

We prove that the Kawamata-Viehweg vanishing theorem holds on rational surfaces in positive characteristic by means of the lifting property to W_2(k) of certain log pairs on smooth rational surfaces. As a corollary, the Kawamata-Viehweg…

We generalize Illusie's result to prove the decomposition of the de Rham complex with smooth horizontal coefficients for a semistable $S$-morphism $f:X\ra Y$ which is liftable over $\Z/p^2\Z$. As an application, we prove the Koll\'ar…

This work discusses combinatorial and arithmetic aspects of cohomology vanishing for divisorial sheaves on toric varieties. We obtain a refined variant of the Kawamata-Viehweg theorem which is slightly stronger. Moreover, we prove a new…

For a gerbe $\Y$ over a smooth proper Deligne-Mumford stack $\B$ banded by a finite group $G$, we prove a structure result on the Gromov-Witten theory of $\Y$, expressing Gromov-Witten invariants of $\Y$ in terms of Gromov-Witten invariants…

In this paper, we study shape functions depending on closed submanifolds. We prove a new structure theorem that establishes the general structure of the shape derivative for this type of shape function. As a special case we obtain the…

We establish a relative Bertini type theorem for multiplier ideal sheaves. Then we prove a relative version of the Koll\'ar--Nadel type vanishing theorem as an application.

A Laurent polynomial ring $A[t,1/t]$ with coefficients in a unital ring $A$ determines a category of quasi-coherent sheaves on the projective line over $A$; its $K$-theory is known to split into a direct sum of two copies of the $K$-theory…

We investigate the positivity and extension of invertible sheaves on group homogeneous spaces over coherent bases. Bypassing the failure of standard limit arguments and the classical Weil--Cartier correspondence, we develop a valuative…

We prove a structure theorem for the Gromov-Witten invariants of compact Kahler surfaces with geometric genus $p_g>0$. Under the technical assumption that there is a canonical divisor that is a disjoint union of smooth components, the…

We generalize the logarithmic decomposition theorem of Deligne-Illusie to a filtered version. There are two applications. The easier one provides a mod $p$ proof for a vanishing theorem in characteristic zero. The deeper one gives rise to a…

We prove a vanishing theorem for the twisted de Rham cohomology of a compact manifold.

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…

When a quantum field theory in $d$-spacetime dimensions possesses a global $(d-1)$-form symmetry, it can decompose into disjoint unions of other theories. This is reflected in the physical quantities of the theory and can be used to study…

We show that any pseudo-effective divisor on a normal surface decomposes uniquely into its "integral positive" part and "integral negative" part, which is an integral analog of Zariski decompositions. By using this decomposition, we give…

We study a notion of derived foliations on schemes and derived schemes of arbitrary characteristics. We introduce the Hodge filtration associated to a derived foliation, which functorialy filters derived de Rham cohomology. We use this…

In these notes we investigate the cone of nef curves of projective varieties, which is the dual cone to the cone of pseudo-effective divisors. We prove a structure theorem for the cone of nef curves of projective $\mathbb Q$-factorial klt…

To a smooth variety $X$ with simple normal crossings divisor $D$, we associate a sheaf of vertex algebras on $X$, denoted $\Omega^{ch}_{X}(\operatorname{log}D)$, whose conformal weight $0$ subspace is the algebra…

We construct the relative log de Rham-Witt complex. This is a generalization of the relative de Rham-Witt complex of Langer-Zink to log schemes. We prove the comparison theorem between the hypercohomology of the log de Rham-Witt complex and…

In this paper, we mainly build up the theory of sheaf-correspondence filtered spaces and stratified de Rham complexes for studying singular spaces. We prove the finiteness of a stratified de Rham cohomology and obtain its isomorphism to…

A rough structure theorem is proved for graphs $G$ containing no copy of a bounded degree tree $T$: from any such $G$, one can delete $o(|G||T|)$ edges in order to get a subgraph all of whose connected components have a cover of order…