Related papers: Decomposition of De Rham Complexes with Smooth Hor…

On a compact K\"{a}hler manifold $X$ with a holomorphic 2-form $\a$, there is an almost complex structure associated with $\a$. We show how this implies vanishing theorems for the Gromov-Witten invariants of $X$. This extends the approach,…

In this paper, we prove compatibilities of various definitions of relatively unipotent log de Rham fundamental groups for certain proper log smooth integral morphisms of fine log schemes of characteristic zero. Our proofs are purely…

We prove an elegant structure theorem for log de Rham-Witt sheaves with vanishing along an effective Cartier divisor $D$ defined in arXiv:2403.18763, answering a question of Shuji Saito during the Mainz conference and a question of Yigeng…

This is the second in a sequence of three articles exploring the relationship between commutative algebras and $E_\infty$-algebras in characteristic $p$ and mixed characteristic. Given a topological space $X,$ we construct, in a manner…

We present an understandable, efficient, and streamlined proof of the Holonomy Decomposition for finite transformation semigroups and automata. This constructive proof closely follows the existing computational implementation. Its novelty…

Let $X$ be a smooth projective geometrically irreducible curve over a perfect field $k$ of positive characteristic $p$. Suppose $G$ is a finite group acting faithfully on $X$ such that $G$ has non-trivial cyclic Sylow $p$-subgroups. We show…

We prove the existence of a smoothing for a toroidal crossing space under mild assumptions. By linking log structures with infinitesimal deformations, the result receives a very compact form for normal crossing spaces. The main approach is…

We prove the following criterion for the pro-representability of the deformation cohomology of a commutative formal Lie group. Let f be a flat and separated morphism between noetherian schemes. Assume that the target of f is flat over the…

Let $X$ be a singular Hermitian complex space of pure dimension $n$. We use a resolution of singularities to give a smooth representation of the $L^2$-$\overline\partial$-cohomology of $(n,q)$-forms on $X$. The central tool is an…

In 2000 Abramovich and Karu proved that any dominant morphism $f\:X\to B$ of varieties of characteristic zero can be made weakly semistable by replacing $B$ by a smooth alteration $B'$ and replacing the proper transform of $X$ by a…

We derive an \'etale descent formula for topological Hochschild homology and prove a HKR theorem for smooth S-algebras.

Let K be any field, and let G be a semisimple group over K. Suppose the characteristic of K is positive and is very good for G. We describe all group scheme homomorphisms phi:SL(2) --> G whose image is geometrically G-completely reducible…

The paper explores the indecomposable submodule structures of quantum divided power algebra $\mathcal{A}_q(n)$ defined in \cite{HU} and its truncated objects $\mathcal{A}_q(n, \bold m)$. An "intertwinedly-lifting" method is established to…

We study the convex lift of Mumford-Shah type functionals in the space of rectifiable currents and we prove a generalized coarea formula in dimension one, for finite linear combinations of SBV graphs. We use this result to prove the…

For a smooth finite cyclic covering over a projective space of dimension greater than one, we show that the group of automorphisms acts faithfully on the cohomology except for a few cases. In characteristic zero, we study the equivariant…

We develop a new analytic method for quantitative mixing of automorphisms on nilmanifolds. The method is based on the introduction and solvability of \emph{multiple fractional cohomological equations of Type~$I$} (sum type). We prove that…

We define a version of a derived chiral De Rham complex over a locally complete intersection, thereby "chiralizing" a result by Illusie and Bhatt. A similar construction attaches to a graded ring a dg vertex algebra, which we prove to be…

We obtain variational formulas for holomorphic objects on Riemann surfaces with respect to arbitrary local coordinates on the moduli space of complex structures. These formulas are written in terms of a canonical object on the moduli space…

We prove a logarithmic base change theorem for pushforwards of pluri-canonical bundles and use it to deduce that positivity properties of log canonical divisors descend via smooth projective morphisms. As an application, for a surjective…

Let $X\to Y^0$ be an abelian prime-to-$p$ Galois covering of smooth schemes over a perfect field $k$ of characteristic $p>0$. Let $Y$ be a smooth compactification of $Y^0$ such that $Y-Y^0$ is a normal crossings divisor on $Y$. We describe…