Related papers: Logarithmic Combinatorial Differentials
On a smooth discretely ringed adic space $\mathcal{X}$ over a field $k$ we define a subsheaf $\Omega_{\mathcal{X}}^+$ of the sheaf of differentials $\Omega_{\mathcal{X}}$. It is defined in a similar way as the subsheaf…
We introduce the notion of a relative log scheme with boundary: a morphism of log schemes together with a (log schematically) dense open immersion of its source into a third log scheme. The sheaf of relative log differentials naturally…
Given a natural number $m$ and a log smooth integral morphism $X\to S$ of fine log schemes of characteristic $p>0$ with a lifting of its Frobenius pull-back $X'\to S$ modulo $p^{2}$, we use indexed algebras ${\cal A}_{X}^{gp}$, ${\cal…
We introduce exponential complexes of sheaves on manifolds. They are resolutions of the (Tate twisted) constant sheaves of the rational numbers, generalising the short exact exponential sequence. There are canonical maps from the…
We define higher pro-Albanese functors for every effective log motive over a field $k$ of characteristic zero, and we compute them for every smooth log smooth scheme $X=(\underline{X}, \partial X)$. The result involves an inverse system of…
Given a smooth proper morphism $f\colon X\rightarrow S$, we introduce a certain derived category where morphisms are permitted to be $\mathcal{O}_S$-linear differential operators. We then prove a generalisation of Serre duality that applies…
The aim of this note is to define certain sheaves of vertex algebras on smooth manifolds. For each smooth complex algebraic (or analytic) manifold $X$, we construct a sheaf $\Omega^{ch}_X$, called the {\bf chiral de Rham complex} of $X$. It…
We give algorithms for the computation of the algebraic de Rham cohomology of open and closed algebraic sets inside projective space or other smooth complex toric varieties. The methods, which are based on Gr\"obner basis computations in…
A map of fine log schemes $X \to Y$ induces a map from the scheme underlying $X$ to Olsson's algebraic stack of strict morphisms of fine log schemes over $Y$. A sheaf on $X$ is called \emph{log flat over} $Y$ iff it is flat over this…
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…
Let $k$ be an algebraically closed field of characteristic $0$. For a log curve $X/k^{\times}$ over the standard log point, we define (algebraically) a combinatorial monodromy operator on its log-de Rham cohomology group. The invariant part…
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…
A standard assumption in the study of logarithmic structures is "fineness", but this assumption is not preserved by intersections, fiber products, and more general limits. We explain how a coherent logarithmic scheme $X$ has a natural…
We compute explicit bases for the de Rham cohomology of cyclic covers of the projective line defined over an algebraically closed field of characteristic $p\geq 0$. For both Kummer and Artin-Schreier extensions, we describe precise…
In this paper we study the comparison between the logarithmic and the meromorphic de Rham complexes along a divisor in a complex manifold. We focus on the case of free divisors, starting with the case of locally quasihomogeneous divisors,…
We introduce in this paper a hypercohomology version of the resonance varieties and obtain some relations to the characteristic varieties of rank one local systems on a smooth quasi-projective complex variety $M$, see Theorem (3.1) and…
For a smooth scheme $X$ over a perfect field $k$ of positive characteristic, we define (for each $m\in\mathbb{Z}$) a sheaf of rings $\mathcal{\widehat{D}}_{W(X)}^{(m)}$ of differential operators (of level $m$) over the Witt vectors of $X$.…
For smooth manifolds equipped with various geometric structures, we construct complexes that replace the de Rham complex in providing an alternative fine resolution of the sheaf of locally constant functions. In case that the geometric…
Given a morphism $X \to S$ of log schemes of characteristic $p > 0$ and a lifting of $X'$ over $S$ modulo $p^2$, we use Lorenzon's indexed algebras $A_X^{gp}$ and $B_{X/S}$ to construct an equivalence between $O_X$-modules with nilpotent…
We study derivations and differential forms on the arithmetic jet spaces of smooth schemes, relative to several primes. As applications we give a new interpretation of arithmetic Laplacians and we discuss the de Rham cohomology of some…