Abstract
In a beautiful paper, Deligne and Illusie (Invent Math 89(2):247–270, 1987) proved the degeneration of the Hodgetode Rham spectral sequence using positive characteristic methods. Kato (in: Igusa (ed) ALG analysis, geographic and numbers theory, Johns Hopkins University Press, Baltimore, 1989) generalized this result to logarithmic schemes. In this paper, we use the theory of twisted derived intersections developed in Arinkin et al. (Algebraic Geom 4:394–423, 2017) and the author of this paper to give a new, geometric interpretation of the Hodge theorem for the logarithmic de Rham complex.
Introduction
Let X be a smooth proper variety over an algebraically closed field k of characteristic 0. The algebraic de Rham complex is defined as the complex
where d is the usual differential on the algebraic forms. The de Rham cohomology of X is defined as the hypercohomology of the de Rham complex,
The Hodgetode Rham spectral sequence
is given by the stupid filtration on the de Rham complex whose associated graded terms are the \(\varOmega ^p_X\).
In their celebrated paper [9], Deligne and Illusie proved the degeneration of the Hodgetode Rham spectral sequence holds in positive characteristics by showing the following result.
Theorem 1.1
[9] Let X be a smooth proper scheme over a perfect field k of positive characteristic \(p \ge \dim X\). Assume that X lifts to the ring \(W_2(k)\) of second Witt vectors of k. Then the Hodgetode Rham spectral sequence for X degenerates at \(E_1\).
Then they showed that the corresponding result in characteristic 0 follows from a standard reduction argument.
Similar results can be obtained in the logarithmic setting. Consider a smooth proper scheme X over a perfect field k of characteristic \(p>\dim X\) and a reduced normal crossing divisor D on X. Around each point of the divisor, there exist local coordinates \(x_1,\ldots ,x_n\) so that in an étale neighborhood of that point the divisor is cut out by \(x_1\cdot \ldots \cdot x_k\) for some \(k\le n\). The logarithmic 1forms are generated locally by the symbols
The logarithmic 1forms form a locally free sheaf which we denote by \(\varOmega ^1_X(\log D)\). We define the sheaf \(\varOmega ^q_X(\log D)\) of logarithmic qforms as the qth wedge power of the sheaf of logarithmic 1forms, \(\wedge ^q\varOmega _X^1(\log D)\). The differential d of the meromorphic de Rham complex maps logarithmic forms to logarithmic forms, and hence, we define the logarithmic de Rham complex \(\varOmega ^{{\bullet }}_X(\log D)\) as the subcomplex of the meromorphic de Rham complex consisting of logarithmic forms. The stupid filtration of this complex gives rise to a Hodgetode Rham spectral sequence
In [12], Kato generalized the result of Deligne–Illusie obtaining the following result.
Theorem 1.2
[12] Assume that the pair (X, D) lifts to the ring \(W_2(k)\). Then the Hodgetode Rham spectral sequence of the logarithmic de Rham complex degenerates at \(E_1\).
The corresponding result in characteristic 0 follows from a standard reduction argument similarly to the case of the theorem of Deligne and Illusie. (For a detailed treatment, and for applications to vanishing theorems see [10].)
In a recent paper [3], Arinkin, Căldăraru and the author of the present paper recast the problem of the degeneration of the Hodgetode Rham spectral sequence as a derived selfintersection problem. They considered the embedding of the Frobenius twist \(X'\) (see Sect. 3 for the definition) of X into its cotangent bundle \(T^*X'\) as the zero section. The sheaf of crystalline differential operators \({{\mathcal {D}}}_X\) on X can be regarded as a sheaf \({{\mathcal {D}}}\) of Azumaya algebras on \(T^*X'\). This Azumaya algebra splits on the zero section \(X'\rightarrow T^*X'\) giving rise to an embedding of Azumaya spaces \(X'\rightarrow (T^*X',{{\mathcal {D}}})\)^{Footnote 1}. We follow [3] and call this intersection problem as a twisted intersection problem. The main geometric observation in [3] is that there exists a line bundle on the ordinary derived selfintersection of Y inside S measuring the difference between the twisted and the ordinary derived selfintersections. In the case of the embedding \(X'\rightarrow (T^*X',{{\mathcal {D}}})\), this line bundle is given by the dual of \(F_*\varOmega ^{{\bullet }}_X\), the Frobenius pushforward of the de Rham complex of X.
Using the theory of twisted derived selfintersections, the authors of [3] obtain the following result giving a geometric interpretation of the result of Deligne–Illusie (see also [15] for the relation between the statements (1) and (2)).
Theorem 1.3
[3] Let X be a smooth scheme over a perfect field k of characteristic \(p > \dim X\). Then the following statements are equivalent.

1.
X lifts to \(W_2(k)\).

2.
D splits on the first infinitesimal neighborhood of \(X'\) in \(T^*X'\).

3.
The associated line bundle is trivial.

4.
\(F_*\varOmega ^{{\bullet }}_X\) is formal in \(D(X')\) (meaning that it is quasiisomorphic to the direct sum of its cohomology sheaves).
In the present paper, we generalize the result of [3] to the logarithmic setting. We consider the logarithmic scheme (X, D) where X is a smooth proper scheme over a perfect field k of characteristic \(p>\dim X\) and D is a reduced normal crossing divisor on X. As the category of quasicoherent sheaves on (X, D), we consider the quasicoherent parabolic sheaves on (X, D) defined by Yokogawa (see [21]).
These sheaves are generalizations of parabolic sheaves introduced by Mehta and Seshadri [14, 19], Mehta and Seshadri define parabolic sheaves on a projective curve with finitely many marked points as locally free sheaves E with filtrations
at every marked point. They use these sheaves to generalize the correspondence between stable sheaves of rank 0 and irreducible unitary representations of the topological fundamental group to nonprojective curves. One major advantage of Yokogawa’s version of parabolic sheaves is that those sheaves form an Abelian category.
The sheaf of crystalline logarithmic differential operators \({{\mathcal {D}}}_X(\log D)\)—defined as the universal enveloping Lie algebroid of the logarithmic tangent bundle—is not an Azumaya algebra over its center. On the other hand, one can equip \({{\mathcal {D}}}_X(\log D)\) with a filtration so that the corresponding parabolic sheaf becomes a parabolic Azumaya algebra over its center. (For a treatment of parabolic Azumaya algebras see [13].) The center of the parabolic Azumaya algebra can be identified with the structure sheaf of the logarithmic cotangent bundle \(T^*X'(\log D')\) of the Frobenius twist \((X',D')\) of (X, D) equipped with the divisor \(\pi ^*D'\) where \(\pi :T^*X'(\log D')\rightarrow X'\) is the bundle map. Therefore the parabolic sheaf of crystalline logarithmic differential operators can be regarded as a parabolic sheaf of algebras \({{\mathcal {D}}}(\log D)_*\) over \((T^*X'(\log D'),\pi ^*D')\). Moreover, the parabolic Azumaya algebra \({{\mathcal {D}}}(\log D)_*\) splits on the zero section \((X',D')\rightarrow (T^*X'(\log D'),\pi ^*D')\). We consider the two embeddings

\((X',D')\rightarrow (T^*X'(\log D'),\pi ^*D')\) and

\((X',D')\rightarrow (T^*X'(\log D'),\pi ^*D',{{\mathcal {D}}}(\log D)_*)\).
where the second embedding is an embedding of logarithmic Azumaya schemes. (For more details, see Sect. 5.)
The difference between the derived selfintersections of the embeddings is measured by a parabolic line bundle, which is the dual of the Frobenius pushforward of the logarithmic de Rham complex \(F_*\varOmega ^{{\bullet }}_X(\log D)\) equipped with the filtration given by D.
We generalize the theory of twisted derived selfintersections to the logarithmic setting. Our main result is a generalization of Theorem 1.3.
Theorem 1.4
Let X be a smooth variety over a perfect field of characteristic \(p>\dim X\), with a reduced normal crossing divisor D. Then, the following statements are equivalent.

1.
The logarithmic scheme (X, D) lifts to \(W_2(k)\).

2.
The associated line bundle is trivial.

3.
The parabolic sheaf of algebras \({{\mathcal {D}}}(\log D)_*\) splits on the first infinitesimal neighborhood of \((X',D')\) inside \((T^*X'(\log D'),\pi ^*D')\).

4.
The complex \(F_*\varOmega ^{{\bullet }}_X(\log D)_*\) is quasiisomorphic to a formal parabolic sheaf equipped with the trivial parabolic structure.
As an easy corollary, we obtain Kato’s theorem, Theorem 1.2.
We remark that there is another approach in the literature to deal with the sheaf of differential operators in the logarithmic setting. In [18], Schepler extends the theory of Ogus and Vologodsky [15] to the case of logarithmic schemes. He uses the theory of indexed modules and algebras, and he shows the sheaf of differential operators form an indexed Azumaya algebra. These results are generalized by Ohkawa [16, 17] to the ring of differential operators for higher level. We choose not to work with indexed modules and algebras because of lack of functoriality. It would be interesting to compare the results of [16,17,18] with our approach.
The paper is organized as follows. In Sect. 2, we collect some basic facts about logarithmic schemes and parabolic sheaves. In Sect. 3, we introduce the parabolic sheaf of crystalline differential operators and the parabolic logarithmic de Rham complex. We show the Azumaya property of the parabolic sheaf of crystalline differential operators, and we show that there exists a Koszul duality between the parabolic sheaf of crystalline differential operators and the parabolic logarithmic de Rham complex. In Sect. 4, we summarize the theory of twisted derived intersections. We expand the theory to the case of logarithmic schemes in Sect. 5. We conclude the paper with Sect. 6 where we prove our main theorems Theorem 1.4 and Theorem 1.2.
Background on logarithmic schemes
In this section, we introduce the notion of the category of (quasi)coherent sheaves on logarithmic schemes (X, D). We show how to apply pushforward and pullback functors to the objects, and we also provide some details about the monoidal structure of this category. We remark that we could have taken an alternative path, looking at the category of (quasi)coherent sheaves on the infinite root stack (see [4, 20]). In our case, the two categories are equivalent and we decided to follow the paper [21].
We regard \({\mathbf {R}}\) as the category whose objects are real numbers and whose morphism spaces between two objects \(\alpha \in {\mathbf {R}}\) and \(\beta \in {\mathbf {R}}\) are defined as
In other words, if \(\alpha \ge \beta \), then there exists a unique morphism from \(\alpha \) to \(\beta \); otherwise, the morphism space is empty.
Definition 2.1
An \({\mathbf {R}}\)filtered \({{\mathscr {O}}}_X\)module is a covariant functor from the category \({\mathbf {R}}\) to the category of \({{\mathscr {O}}}_X\)modules. For an \({\mathbf {R}}\)filtered \({{\mathscr {O}}}_X\)module E we denote the \({{\mathscr {O}}}_X\)module \(E(\alpha )\) by \(E_\alpha \), and the \({{\mathscr {O}}}_X\)linear homomorphisms \(E(i^{\alpha ,\beta })\) by \(i_E^{\alpha ,\beta }\).
Remark 2.2
The morphisms \(i^{\alpha ,\beta }_E\) are not necessarily injections.
We can shift \({\mathbf {R}}\)filtered sheaves.
Definition 2.3
For an \({\mathbf {R}}\)filtered \({{\mathscr {O}}}_X\)module E, we define the \({\mathbf {R}}\)filtered \({{\mathscr {O}}}_X\)module \(E[\alpha ]\) as \(E[\alpha ]_{\beta }=E_{\alpha +\beta }\) with morphisms \(i^{\beta ,\gamma }_{E[\alpha ]}=i_E^{\beta +\alpha ,\gamma +\alpha }\). In the sequel, we denote \({\mathbf {R}}\)filtered \({{\mathscr {O}}}_X\)modules by \(E_*\).
Moreover, the \({\mathbf {R}}\)filtered sheaves can be equipped with a module structure over the monoid of \({{\mathscr {O}}}_X\)modules:
Definition 2.4
For an \({\mathbf {R}}\)filtered \({{\mathscr {O}}}_X\)module \(E_*\) and for an “ordinary” \({{\mathscr {O}}}_X\)module F, we define their tensor product as \((E_*\otimes F)_\alpha =E_\alpha \otimes F\) with homomorphisms \(i^{\alpha ,\beta }_{E_*\otimes F}=i^{\alpha ,\beta }_{E_*}\otimes {{\,\mathrm{id}\,}}_F\).
We are ready to define the category of (quasi)coherent parabolic sheaves with respect to an effective Cartier divisor D.
Definition 2.5
A (quasi)coherent parabolic sheaf is an \({\mathbf {R}}\)filtered \({{\mathscr {O}}}_X\)module \(E_*\) together with an isomorphism of \({\mathbf {R}}\)filtered \({{\mathscr {O}}}_X\)modules
Parabolic morphisms between parabolic sheaves \(E_*\) and \(E'_*\) are natural transformations \(E_*\rightarrow E'_*\). We denote the Abelian group of parabolic morphisms by \(Hom(E_*, E'_*)\).
Remark 2.6
It is enough to know \(E_\alpha \) and \(i_E^{\alpha ,\beta }\) for \(\alpha ,\beta \in [0,1]\) in order to determine the parabolic sheaf \(E_*\). We say that a parabolic sheaf has weights \(\alpha =(\alpha _1,\ldots \alpha _k)\)
if \(E_\beta =E\gamma \) and \(i_E^{\gamma ,\beta }={{\,\mathrm{id}\,}}\) for all \(\beta , \gamma \in [0,1]\) satisfying \(\alpha _i< \beta ,\gamma \le \alpha _{i+1}\).
Visually a parabolic sheaf can be thought of as a finite collection of sheaves \(E_0\), \(E_{\alpha _1}\), ..., \(E_{\alpha _k}\) on the interval [0, 1].
Now, we can define the category of (quasi)coherent sheaves on (X, D).
Definition 2.7
The category of (quasi)coherent sheaves on \((X,D,\alpha )\) is the category whose objects are parabolic sheaves with weights \(\alpha \), and the Homspaces are the sets of parabolic morphisms. These categories will be denoted by \(Coh(X,D,\alpha )\) or \(QCoh(X,D,\alpha )\) respectively.
Throughout the paper, we only use two kinds of weights. Either the parabolic sheaves have trivial parabolic structure meaning that \(\alpha =(0)\) or the parabolic sheaves have weights \(\alpha =\left( 0,\frac{1}{p},\frac{2}{p},\ldots \frac{p1}{p}\right) \). The choice of the weights will be clear from the context, and hence, by abuse of notation we write Coh(X, D) (or QCoh(X, D)) instead of \(Coh(X,D,\alpha )\) (or \(QCoh(X,D,\alpha )\)).
The category QCoh(X, D) is Abelian, the kernel and cokernel of a morphism can be defined pointwise. It has enough injectives (see [21]); we denote the corresponding derived category by \({{\mathbf {D}}}(X,D)\).
Pushforward and pullback functors
The pushforward and pullback functors can be quite complicated for a general map of logarithmic schemes \((X,D_1)\rightarrow (Y,D_2)\). On the other hand, these functors are simple in the following very special case.
Consider a morphism \(f:X\rightarrow Y\) and an effective Cartier divisor D on Y such that \(f^*D\) is an effective divisor on X. These data give rise to a morphism of logarithmic schemes \( (X,f^*D)\rightarrow (Y,D)\). We abuse notation and denote the induced map by f as well. We define the pushforward and pullback along f as follows. For any parabolic sheaf \(E_*\) on X its pushforward \(f_*E_*\) is defined as the parabolic sheaf where \((f_*E)_\alpha \) are the pushforward of the sheaves \(E_\alpha \) along f and the morphisms \(i^{\alpha ,\beta }_{f_*E}\) are the morphisms \(f_*i^{\alpha ,\beta }_E\). Indeed, we obtain a parabolic sheaf on (Y, D), by the projection formula, we have
Similarly, for any parabolic sheaf \(E'_*\) on Y its pullback \(f^*E'_*\), is defined as the parabolic sheaf where \((f^*E')_\alpha \) is the pullback of \(E'_\alpha \) along f and the morphisms \(i^{\alpha , \beta }_{f^*E'}\) are the morphisms \(f^*i^{\alpha ,\beta }_{E'}\). Again, we obtain a parabolic sheaf on \((X,f^*D)\), we have
The pushforward and pullback functors descend to the derived categories and by abuse of notation, we denote the corresponding maps by \(f_*\) and \(f^*\) as well.
We give an example of a more complicated pushforward. Consider the morphism \((X,D)\rightarrow (X,pD)\) which is the identity on X and the embedding of the divisor D into pD. The pushforward along this \((X,D)\rightarrow (X,pD)\) brings a parabolic sheaf \(E_*\) with weights \(\alpha =(0)\) generated by
to a parabolic sheaf generated by
with weights
Monoidal structure
In our cases (when \(\alpha =(0)\) and \(\alpha =(0,\frac{1}{p},\ldots ,\frac{p1}{p}))\) the categories Coh(X, D) and QCoh(X, D) are equipped with natural monoidal structures. We describe the monoidal structure in the case of \(\alpha =\left( 0,\frac{1}{p},\ldots ,\frac{p1}{p}\right) \), the other case is very similar. In order to describe the monoidal structure, we take a quick detour.
An important subcategory of QCoh(X, D) is the category of parabolic bundles (see [14, 19]).
Definition 2.8
A parabolic bundle is a triple \((E,F_*,\alpha _*)\) where E is a locally free sheaf on X, \(F_*\) is a filtration of E by locally free sheaves on X
together with a sequence of weights \(\alpha \) satisfying
The sequence of weights determines a family of coherent sheaves \(E_x\) for \(0\le x\le 1\) defined as
for \(\alpha _i< x\le \alpha _{i+1}\). A morphism between parabolic bundles \((E,F_*,\alpha _*)\) and \((E',F'_*,\alpha '_*)\) is a morphism of \({{\mathscr {O}}}_X\)modules \(\varphi :E\rightarrow E'\) so that \(\varphi (E_x)\subseteq E'_x\) for any \(x\in [0,1]\). By Remark 2.6, parabolic bundles give rise to parabolic sheaves and morphisms between parabolic bundles are exactly the parabolic morphisms between the corresponding parabolic sheaves.
Consider \(\alpha =\left( 0,\frac{1}{p},\ldots ,\frac{p1}{p}\right) \) and the morphism
mapping the pair (L, a) to the parabolic bundle \((L,F_*,\alpha _*)\) where
Here \(a'\) denotes the residue of a modulo 1. Parabolic bundles of this form are called the parabolic line bundles. The tensor product of parabolic sheaves is defined (for parabolic line bundles) to respect the group structure coming from the natural group structure on \({{\,\mathrm{Pic}\,}}(X)\times {\mathbf {Z}}\left[ \frac{1}{p}\right] \) given by
The unit element of the tensor product is given by the parabolic sheaf \(\psi ({{\mathscr {O}}}_X,0)\), where
We define the structure sheaf of the logarithmic scheme (X, D) to be the parabolic sheaf \(\psi ({{\mathscr {O}}}_X,0)\) and in the sequel we denote it by \({{\mathscr {O}}}_{(X,D)}\).
Definition 2.9
For two parabolic sheaves \(E_*\), \(F_*\), we define the sheaf Hom as
Remark 2.10
If the parabolic sheaves \(E_*\) and \(F_*\) have weights \(\alpha =\left( 0,\frac{1}{p},\ldots ,\frac{p1}{p}\right) \) (or \(\alpha =(0)\)), then the parabolic sheaf \(\underline{\mathsf {Hom}}_*(E_*,F_*)\) has weights \(\alpha =\left( 0,\frac{1}{p},\ldots ,\frac{p1}{p}\right) \) (or \(\alpha =(0)\)) as well.
For any parabolic line bundle L, its parabolic sheaf of endomorphisms is isomorphic to \({{\mathscr {O}}}_{(X,D)}\). The sheaf Hom functor and the tensor product satisfy the usual adjoint property (for more details, see [21]) giving rise to natural monoidal structures on Coh(X, D) and QCoh(X, D). We remark that the monoidal structures descend to the derived category \({{\mathbf {D}}}(X,D)\).
Background on schemes over fields of positive characteristics
In this section, we collect basic facts about schemes over fields of positive characteristics. We review the notion of logarithmic tangent sheaf, logarithmic qforms and the crystalline sheaf of logarithmic differential operators. We show that the parabolic sheaf of crystalline logarithmic differential operators is an Azumaya algebra over its center. We conclude the section by showing that there exists a Koszul duality between the parabolic sheaf of crystalline logarithmic differential operators and the parabolic logarithmic de Rham complex.
We begin with the definition of the Frobenius twist.
Let X be a smooth scheme over a perfect field k of characteristic p. The absolute Frobenius map \(\varphi :{{\,\mathrm{Spec}\,}}k\rightarrow {{\,\mathrm{Spec}\,}}k\) is given by the pth power map \(k\rightarrow k\). The Frobenius twist of X is defined as the base change of X along the absolute Frobenius morphism
Since k is assumed to be perfect, the pth power map \(k\rightarrow k\) is an isomorphism; hence, \(X'\) is abstractly isomorphic to X (but not over \({{\,\mathrm{Spec}\,}}k\)). The pth power map \({{\mathscr {O}}}_X\rightarrow {{\mathscr {O}}}_X\) gives rise to a morphism \(X\rightarrow X\) compatible with \(\varphi \); thus, by the universal property of fiber product it factors through the Frobenius twist. The induced morphism \(F:X\rightarrow X'\) is called the relative Frobenius morphism. For any effective Cartier divisor, D on X with ideal sheaf \({{\mathscr {I}}}={{\mathscr {O}}}_X(D)\); we obtain a corresponding Cartier divisor \(D'\), which is the pullback of D under the base change morphism \(X'\rightarrow X\) and whose pullback \(F^*D'\) under the relative Frobenius morphism is the divisor pD. Thus, we have the following sequence of maps of logarithmic schemes
The morphism \((X,D)\rightarrow (X',D')\) is called the relative Frobenius morphism of logarithmic schemes; by abuse of notation, we denote it by F as well.
In this paragraph, we explain why we only consider the category of (quasi)coherent sheaves on a logarithmic scheme as the category whose objects are parabolic sheaves with weights \(\alpha =\left( 0,\frac{1}{p},\ldots ,\frac{p1}{p}\right) \) and weights \(\alpha =(0)\), and the Homspaces are the sets of parabolic morphisms (see Definition 2.7). Consider the category of parabolic sheaves on (X, D) with trivial weights \(\alpha =(0)\). In other words, the objects of this category are just sheaves E on X equipped with the trivial parabolic structure
Consider the pushforward of such sheaves along the sequence of morphisms
The pushforward along the first map \((X,D)\rightarrow (X,pD)\) brings E to the parabolic sheaf
with weights \(\alpha =\left( 0,\frac{1}{p},\ldots ,\frac{p1}{p}\right) \) (see Paragraph 2.11.2). The second map \((X,pD)\rightarrow (X',D')\) brings the above parabolic sheaf to the parabolic sheaf
with weights \(\alpha =\left( 0,\frac{1}{p},\ldots ,\frac{p1}{p}\right) \).
Logarithmic tangent and cotangent bundles
We say that a derivation \(\delta \in T_X\) is logarithmic if for every open subset U we have \(\delta ({{\mathscr {I}}}(U))\subset {{\mathscr {I}}}(U)\). The logarithmic derivations form a subsheaf of the tangent bundle of X which is called the logarithmic tangent sheaf, \(T_X(\log D)\). The sheaf \(T_X(\log D)\) is a Lie subalgebroid of \(T_X\) meaning that it is closed under the Liebracket on \(T_X\). In characteristic \(p>0\), the pth iteration \(\delta ^{[p]}\) of a derivation \(\delta \) is again a derivation. Clearly, the sheaf \(T_X(\log D)\) is closed under this operation as well; hence, \(T_X(\log D)\) is a subprestricted Lie algebroid of \(T_X\).
In general \(T_X(\log D)\) is not a subbundle of \(T_X\), we say that a divisor is free if \(T_X(\log D)\) is a locally free sheaf. For instance, reduced normal crossing divisors are free divisors. Indeed, we can find local coordinates \(x_1,\ldots ,x_n\) around each point of the divisor so that in an étale neighborhood of that point the divisor is given by \(x_1\cdot \ldots \cdot x_k\) for some \(k\le n\), and thus, the logarithmic tangent sheaf is generated by the logarithmic derivations \(x_1\frac{\partial }{\partial x_1}, x_2\frac{\partial }{\partial x_2},\ldots ,x_k\frac{\partial }{\partial x_k}\) and \(\frac{\partial }{\partial x_{k+1}},\ldots ,\frac{\partial }{\partial x_n}\).
Remark 3.1
It is easy to see that the logarithmic derivations are just derivations of the parabolic bundle Ø\({}_{(X,D)}\).
We say that a meromorphic qform \(\omega \) is logarithmic, if \(\omega \) and \(d(\omega )\) have a pole of order at most one along the divisor. The logarithmic qforms form a subsheaf \(\varOmega ^q_X(\log D)\) of the sheaf of meromorphic qforms. The differential d of the meromorphic de Rham complex maps logarithmic forms to logarithmic forms. We define the logarithmic de Rham complex \(\varOmega ^{{\bullet }}_X(\log D)\) as the subcomplex of the de Rham complex consisting of the logarithmic forms. This complex \(\varOmega ^{{\bullet }}_X(\log D)\) is not a complex of \({{\mathscr {O}}}_X\)modules, the differential d is not linear in \({{\mathscr {O}}}_X\). On the other hand, we have
for every \(s\in {{\mathscr {O}}}_X\) and \(\omega \in \varOmega ^q_X(\log D)\). This implies that \(F_*\varOmega ^{{\bullet }}_X(\log D)\) is a complex of \({{\mathscr {O}}}_{X'}\)modules.
If the divisor is free, then the sheaves \(\varOmega ^q_X(\log D)\) are locally free sheaves, and moreover, we have that the sheaf of logarithmic qforms is the qth wedge power of the sheaf of logarithmic 1forms: \(\varOmega ^q_X(\log D)=\wedge ^q \varOmega ^1_X(\log D)\). In the case of a reduced normal crossing divisor, locally the logarithmic 1forms are generated by
Similarly to the nonlogarithmic case, there is a perfect duality between \(T_X(\log D)\) and \(\varOmega ^1_X(\log D)\) given by contracting with polyvector fields.
In the sequel, D denotes a reduced normal crossing divisor.
The sheaf of crystalline logarithmic differential operators \({{\mathcal {D}}}_X(\log D)\) is defined as the universal enveloping algebra of the Lie algebroid \(T_X(\log D)\). Explicitly it is defined locally as the kalgebra generated by sections of \(T_X(\log D)\) and \({{\mathscr {O}}}_X\) modulo the relations

\(s\cdot \delta =s\delta \) for every \(s\in {{\mathscr {O}}}_X\) and \(\delta \in T_X(\log D)\),

\(\delta _1\cdot \delta _2\delta _2\cdot \delta _1=[\delta _1,\delta _2]\) for every \(\delta _1, \delta _2\in T_X(\log D)\) and

\(\delta \cdot ss\cdot \delta =\delta (s)\) for every \(s\in {{\mathscr {O}}}_X\) and \(\delta \in T_X(\log D)\).
We emphasize that we do not work with the sheaf of PD differential operators, for our purposes we need an algebra which is of finite type over X. Since \(T_X(\log D)\) is a Lie subalgebroid of \(T_X\), we have an inclusion of \({{\mathcal {D}}}_X(\log D)\) into the sheaf of crystalline differential operators \({{\mathcal {D}}}_X\) (defined as the universal enveloping algebra of the Lie algebroid \(T_X\)).
The map
mapping
is \({{\mathscr {O}}}_{X'}\)linear and its image is in the center of \({{\mathcal {D}}}_X(\log D)\) (see [5] for a detailed treatment in the nonlogarithmic case) implying that the center of \({{\mathcal {D}}}_X(\log D)\) can be identified with the structure sheaf \({{\mathscr {O}}}_{T^*X'(\log D')}\) of the logarithmic cotangent bundle \(\pi : T^*X'(\log D')\rightarrow X'\) over the Frobenius twist. The zero section \(i:X'\rightarrow T^*X'(\log D')\) of the bundle map \(\pi \) gives rise to a natural embedding of logarithmic schemes
since \(i^*\pi ^*D'=D'\).
We equip the sheaf of algebras \({{\mathcal {D}}}_X(\log D)\) with the trivial logarithmic structure on (X, D) (in other words \(\alpha =(0)\)), we denote the corresponding logarithmic sheaf by \({{\mathcal {D}}}_X(\log D)_*\):
After pushing forward the parabolic sheaf \({{\mathcal {D}}}_X(\log D)_*\) along the relative Frobenius morphism \(F:(X,D)\rightarrow (X',D')\), we obtain the parabolic sheaf \(F_*{{\mathcal {D}}}_X(\log D)_*\), whose filtration is given by
This parabolic sheaf has weights \(\alpha =\left( 0,\frac{1}{p},\ldots ,\frac{p1}{p}\right) \).
By the discussion in Paragraph 3.4, we can regard the parabolic sheaf of algebras \(F_*{{\mathcal {D}}}_X(\log D)_*\) as a parabolic sheaf of algebras on \((T^*X'(\log D'), \pi ^*D')\). We denote the corresponding parabolic sheaf of algebras by \({{\mathcal {D}}}(\log D)_*\). The bundle map \(\pi \) identifies \(\pi _*{{\mathcal {D}}}(\log D)_*\) with \(F_*{{\mathcal {D}}}_X(\log D)_*\).
The following lemma is a straightforward generalization of [5] to the case of logarithmic schemes.
Lemma 3.2
Assume that D is a reduced normal crossing divisor. Then, the parabolic sheaf of algebras \({{\mathcal {D}}}(\log D)_*\) is a parabolic Azumaya algebra over the logarithmic space \((T^*X'(\log D'),\pi ^*D')\). Moreover, the parabolic Azumaya algebra \({{\mathcal {D}}}(\log D)\) splits on the zero section
Proof
We only highlight the key steps. We need to show that \({{\mathcal {D}}}(\log D)_*\) becomes a parabolic matrix algebra under a flat cover. Consider an affine open set \(U'\) of \(X'\), and the corresponding open set \(U\subseteq X\). Pick local coordinates \(x_1,\ldots ,x_n\) for U so that the reduced normal crossing divisor, D is given by the equation \(x_1\cdot \ldots \cdot x_k\). Then, the (nonparabolic) sheaf of algebras \({{\mathcal {D}}}_X(\log D)\) is generated by \(\varGamma (U,{{\mathscr {O}}}_X)\) and the derivations \(x_i\frac{\mathrm{d}}{\mathrm{d}x_i}\) for \(1\le i\le k\), and the derivations \(\frac{\mathrm{d}}{\mathrm{d}x_i}\) for \(k<i\le n\). Consider \(F_*{{\mathcal {D}}}_X(\log D)\) and the centralizer \(A_X\) of \(\varGamma (U',{{\mathscr {O}}}_{X'})\) inside \(F_*{{\mathcal {D}}}_X(\log D)\). A straightforward calculation shows that the centralizer is the \(R=\varGamma (U',{{\mathscr {O}}}_{X'})\)algebra generated by the logarithmic derivations \(\delta \) of X, in other words
There is a natural logarithmic structure on \(V={{\,\mathrm{Spec}\,}}A_X\) given by the restriction of the divisor \(\pi ^*D'\) to V. The ideal sheaf corresponding to the divisor is generated by the element \(x_1^p\cdot \ldots \cdot x_k^p\). We denote by \({{\mathscr {I}}}\) the ideal sheaf of \({{\mathscr {O}}}_X\) generated by the element \(x_1\cdot \ldots \cdot x_k\). The sheaf
is generated by \(\varGamma (U',{{\mathscr {O}}}_{X'})\) and two copies \(u_1,\ldots ,u_n\) and \(v_1,\ldots ,v_n\) corresponding to the logarithmic derivations
The action \(u_i.x=u_ix\) and \(v_i.x=xv_i\) for \(x\in {{\mathcal {D}}}(\log D)\) gives rise to an action of \({{\mathcal {D}}}(\log D)_V\) on the parabolic sheaf
viewed as a parabolic sheaf over \({{\,\mathrm{Spec}\,}}A_X\). A local calculation similar to one in [5] shows that we have an isomorphism
hence \({{\mathcal {D}}}(\log D)_*\) is an Azumaya algebra over \((T^*X'(\log D'),\pi ^*D')\).
Next we show that the parabolic Azumaya algebra \({{\mathcal {D}}}(\log D)_*_{X'}\) splits. More explicitly, we show that \({{\mathcal {D}}}(\log D)_*_{X'}=\underline{\mathsf {End}}_{(X',D')}(F_*{{\mathscr {O}}}_{(X,D)})\). We remind the reader that the parabolic sheaf \(F_*{{\mathscr {O}}}_{(X,D)}\) is defined as the parabolic sheaf given by the filtration
The sheaf of crystalline logarithmic differential operators acts nontrivially on \({{\mathscr {O}}}_X(D)\), \({{\mathscr {O}}}_X(2D)\), ..., \({{\mathscr {O}}}_X((p1)D)\) and moreover the elements which act trivially are generated by the symbols \(\delta ^p\delta ^{[p]}\) for \(\delta \in T_X(\log D)\). These are exactly the elements which vanish under the pullback map \({{\mathscr {O}}}_{T^*X'(\log D')}\rightarrow {{\mathscr {O}}}_{X'}\), hence \({{\mathcal {D}}}(\log D)_*_{X'}\) acts on \(F_*{{\mathscr {O}}}_{(X,D)}\). As before, a local calculation similar to one in [5] shows that we have an isomorphism
This concludes the proof. \(\square \)
Remark 3.3
If D is a nonreduced normal crossing divisor, then the lemma above does not hold anymore. It would be interesting to generalize the above lemma to any normal crossing divisor. For instance, in the case of \(p=5\), \(X={{\,\mathrm{Spec}\,}}k[x]\), \({{\mathscr {I}}}=(x^3)\), the parabolic sheaf of algebras \({{\mathcal {D}}}(\log D)_*\) is not a parabolic Azumaya algebra over the logarithmic space \((T^*X'(\log D'),\pi ^*D')\).
As a consequence of Lemma 3.2, we obtain a Morita equivalence between the category of coherent sheaves \(Coh(X',D')\) on \((X',D')\) and the category of coherent sheaves \(Coh({{\mathcal {D}}}(\log D)_*_{(X',D')})\) on \((X',D')\) with a left \({{\mathcal {D}}}(\log D)_*_{X'}\)action: the functors
and
are inverses to each other. These functors give rise to an equivalence between the corresponding derived categories \({{\mathbf {D}}}(X',D')\) and \({{\mathbf {D}}}(X', D', {{\mathcal {D}}}(\log D)_*_{(X',D')})\).
We conclude this section by showing that the sheaf of crystalline logarithmic differential operators and the logarithmic de Rham complex are Koszul dual (our reference is [7]). The sheaf \({{\mathscr {O}}}_X\) is naturally a left \({{\mathcal {D}}}_X(\log D)\subset {{\mathcal {D}}}_X\)module given by the action of the logarithmic derivations on \({{\mathscr {O}}}_X\). The logarithmic Spencer complex \(Sp^{{\bullet }}({{\mathscr {O}}}_X)\) defined as the complex of left \({{\mathcal {D}}}_X(\log D)\)modules
where the differentials
are given by
is a locally free resolution of \({{\mathscr {O}}}_X\) by locally free left \({{\mathcal {D}}}_X(\log D)\)modules. As a consequence, for any left \({{\mathcal {D}}}_X(\log D)\) module F we have that the object \({{\mathbf {R}}\underline{\mathsf {Hom}}}_{(X,{{\mathcal {D}}}_X(\log D))} ({{\mathscr {O}}}_X,F)\) can be represented by the logarithmic de Rham complex of F
In the case of \(F={{\mathscr {O}}}_X\), we obtain an isomorphism
Similarly, for any left \({{\mathcal {D}}}_X(\log D)\)module E we obtain a complex \(Sp^{{\bullet }}(E)\) defined as
where the differentials
are given by
The Spencer complex of E gives rise to a locally free resolution of E by left \({{\mathcal {D}}}_X(\log D)\)modules. As a consequence, we can compute
for any \(l,m\in {\mathbf {Z}}\) by replacing \({{\mathscr {O}}}_X(lD)\) by its Spencer complex, and we obtain isomorphisms
The above discussion shows that for the parabolic sheaf \({{\mathcal {D}}}_X(\log D)\), we have
where \(\varOmega ^{{\bullet }}_X(\log D)_*\) is the parabolic sheaf given by the de Rham complex equipped with the trivial parabolic structure:
Consider the parabolic sheaf \(F_*{{\mathcal {D}}}_X(\log D)_*\) on \((X',D')\). We remind the reader that this parabolic sheaf has weights \(\alpha =\left( 0,\frac{1}{p},\ldots ,\frac{p1}{p}\right) \). As before, using the isomorphisms 1 we obtain an isomorphim
where \(F_*\varOmega ^{{\bullet }}_X(\log D)_*\) is the complex of parabolic bundles given by the pushforward de Rham complex with the filtration
with weights \(\alpha =\left( 0,\frac{1}{p},\ldots ,\frac{p1}{p}\right) \).
Derived selfintersection of (Azumaya) schemes
In this section, we summarize the theory of derived selfintersections of (Azumaya) schemes. Our references are [1, 2, 8, 11].
Let S be a smooth variety and X a smooth subvariety of S of codimension n. Assume that the base field is either of characteristic 0 or of \(p>n\). We denote the embedding of X inside S by i and the corresponding normal bundle by N. The derived selfintersection W of X inside S is a dgscheme whose structure sheaf is constructed by taking the derived tensor product of the structure sheaf of X with itself over \({{\mathscr {O}}}_S\). The derived selfintersection is equipped with a map from the underived selfintersection, X, by the universal property of fiber product.
We say that a derived scheme W is formal over a scheme \(\pi : W\rightarrow Z\) if \(\pi _*{{\mathscr {O}}}_W\) is a formal complex of \({{\mathscr {O}}}_Z\)modules, meaning that there exists an isomorphism of commutative differential graded algebras
A local calculation [6] shows that the cohomology sheaves of the structure sheaf of the derived selfintersection W (over S) are given by
Therefore, the formality of the derived selfintersection asserts that there is a quasiisomorphism (of commutative dgalgebras)
(We omit writing the pushforward of \(N^\vee \) to Z along the map \(X\rightarrow W\rightarrow Z\).) The main result of [1] is the following.
Theorem 4.1
[1] The following statements are equivalent.

1.
There exists an isomorphism of dgautofunctors of D(X)
$$\begin{aligned} i^*i_*()=()\otimes {{\mathbb {S}}}(N^\vee [1]). \end{aligned}$$ 
2.
W is formal over \(X\times X\).

3.
The natural map \(X\rightarrow W\) is split over \(X\times X\).

4.
The short exact sequence
$$\begin{aligned} 0\rightarrow T_X\rightarrow T_S_X\rightarrow N\rightarrow 0 \end{aligned}$$of vector bundles on X splits.
Remark 4.2
For instance, the derived selfintersection of \(X'\) inside \(T^*X'(\log D')\) is formal: the bundle map \(\pi :T^*X'(\log D')\rightarrow X'\) splits the embedding of the zero section, and hence, the injection
is split.
An Azumaya scheme is a pair \((S,{{\mathcal {A}}})\) where S is a scheme or dgscheme and \({{\mathcal {A}}}\) is an Azumaya algebra over S. We say that \((f,E):(X,{{\mathcal {B}}})\rightarrow (S,{{\mathcal {A}}})\) is a 1morphism of Azumaya schemes if f is a morphism of schemes and E is an \(f^*{{\mathcal {A}}}^{opp}\otimes {{\mathcal {B}}}\)module that provides a Morita equivalence between \(f^*{{\mathcal {A}}}\) and \({{\mathcal {B}}}\). Given an embedding of Azumaya schemes \({{\bar{i}}}:(X,{{\mathcal {A}}}_X)\rightarrow (S,{{\mathcal {A}}})\), the derived selfintersection is given by \({{\overline{W}}}=(W,{{\mathcal {A}}}_W)\).
From now on, assume that \({{\mathcal {A}}}_X\) is a split Azumaya algebra with splitting module E, in other words there exists a 1isomorphism \(({{\,\mathrm{id}\,}}, E)\) of Azumaya schemes \(m:X\rightarrow (X,{{\mathcal {A}}}_X)\). We denote the induced map \(X\rightarrow (S,{{\mathcal {A}}})\) by \(i'\). We organize our spaces into the following diagram.
The Azumaya schemes W and \((W,{{\mathcal {A}}}_W)\) are abstractly isomorphic, but in general the isomorphism is not over (X, X). (We remark that W can be thought of as a dgscheme over \(X\times X\); on the other hand, Azumaya spaces do not have absolute products, and thus, it is more natural to think of them as spaces equipped with two morphisms to X.) The structure sheaves of derived selfintersections W and \((W,{{\mathcal {A}}}_W)\) regarded as dgschemes endowed with a map to (X, X) are the kernels of the dgautofunctors of D(X) \(i^*i_*()\) and \(i'^*i'_*()\) respectively. In [2], the authors show that there exists an isomorphism of dgautofunctors of D(X)
for some line bundle L on the derived scheme W. This line bundle is called the associated line bundle of the derived selfintersection in [2].
Consider the object \({{\bar{i}}}^*{{\bar{i}}}_*E\) of \(D(X,{{\mathcal {A}}}_X)\). A local calculation similar to one in [6] shows that there exist isomorphisms
Therefore, we obtain a triangle in \(D(X,{{\mathcal {A}}}_X)\)
The rightmost map of the triangle
is called the HKR class of E.
The HKR class gives the obstruction of lifting E to the first infinitesimal neighborhood of \((X,{{\mathcal {A}}}_X)\) inside \((S,{{\mathcal {A}}})\). Having a lifting of E is equivalent to having a splitting module F of the Azumaya algebra \({{\mathcal {A}}}_{X^{(1)}}\) so that \(F_X=E\) where \(X^{(1)}\) denotes the first infinitesimal neighborhood of X inside S. Such lifting exists, if \(i'\) splits to firstorder meaning that there exists a map \(\varphi :X^{(1)}\rightarrow X\) splitting the natural inclusion \(X\rightarrow X^{(1)}\), so that \(\varphi ^*E\) is a splitting module for \({{\mathcal {A}}}_{X^{(1)}}\). We are ready to state the main result concerning about the triviality of the associated line bundle.
Theorem 4.3
[2] Assume that W is formal over \(X\times X\). Then, the following statements are equivalent.

1.
The dgschemes W and \((W,{{\mathcal {A}}}_W)\) are isomorphic over \(X\times X\).

2.
There exists an isomorphism of dgautofunctors of D(X)
$$\begin{aligned} i^*i_*()\cong i'^*i'_*()=()\otimes {{\mathbb {S}}}(N^\vee [1]). \end{aligned}$$ 
3.
The associated line bundle is trivial.

4.
The morphism \(i'\) splits to first order.

5.
The HKR class \(\alpha _E\) vanishes.
Derived selfintersection of logarithmic (Azumaya) schemes
In this section, we expand the theory of twisted derived intersections to the logarithmic setting.
Let X be a smooth subscheme of a smooth scheme S. We denote the embedding by i. Let us equip S with an effective Cartier divisor D so that \(i^*D\) is an effective divisor on X. Consider the induced embedding of logarithmic schemes \(i_D:(X,D_X)\rightarrow (S,D)\). We say that \(i_D\) splits to first order if there is a left inverse of the induced morphism
where \(X^{(1)}\) denotes the first infinitesimal neighborhood of X inside S. Equivalently, we say that \(i_D\) splits to first order if there is a splitting \(\rho :X^{(1)}\rightarrow X\) of the embedding \(X\rightarrow X^{(1)}\) so that \(\rho ^*D_X=D_{X^{(1)}}\).
We define the derivedself intersection of \((X,D_X)\) inside (S, D) as the logarithmic dgscheme \((W,D_W)\). We assume that the dgscheme W is formal over \(X\times X\). Notice that the divisor \(D_W\) can be thought of restricting \(D_{X\times X}\) to W. We generalize Theorem 4.1 to the logarithmic setting.
Proposition 5.1
Assume further that \(i_D\) splits to first order. Then we have an isomorphism of dgautofunctors of \(D(X,i^*D)\)
In other words, \((W,D_W)\) is formal over \((X\times X,D_{X\times X})\).
Proof
The proof is entirely similar to the proof of Theorem 0.7 of [1]. \(\square \)
Remark 5.2
All the assumptions of the Proposition above are satisfied in the case when S is a vector bundle \(\pi :S\rightarrow X\) over X, \(i:X\rightarrow S\) is the zero section and the divisor D is the pullback along \(\pi \) of a divisor on X.
We turn our attention to embeddings of logarithmic Azumaya schemes. Let us equip the logarithmic scheme (S, D) with a parabolic sheaf of Azumaya algebras \({{\mathcal {A}}}_*\) and assume that \({{\mathcal {A}}}_*\) splits over \((X,D_X)\) with splitting module \(E_*\). We remind the reader that \(E_*\) induces an isomorphism of spaces \(m_D:(X,D)\rightarrow (X,D_X,{{\mathcal {A}}}_*_X)\). We denote the embedding of logarithmic Azumaya spaces \((X,D_X,{{\mathcal {A}}}_*_X)\rightarrow (S,D,{{\mathcal {A}}}_*)\) by \({\bar{i}}_D\), and the composite of embeddings \((X,D_X)\rightarrow (X,D_X,{{\mathcal {A}}}_*_X)\rightarrow (S,D,{{\mathcal {A}}}_*)\) by \(i_D'\). We organize our spaces as follows.
The spaces \((W,D_W)\) and \((W,D_W,{{\mathcal {A}}}_*_W)\) are abstractly isomorphic, but in general not over the pair ((X, D), (X, D)), since the splitting modules \(p_D^*E_*\) and \(q_D^*E_*\) may not be isomorphic. Two splitting modules differ by a parabolic line bundle; thus, the failure to have an isomorphism between \((W,D_W)\) and \((W,D_W,{{\mathcal {A}}}_*_W)\) is measured by a parabolic line bundle on \((W,D_W)\) which we call the associated parabolic line bundle \({{\mathcal {L}}}_*\). As a consequence, we obtain an isomorphism of dgfunctors
In particular for the structure sheaf \({{\mathscr {O}}}_{(X,D_X)}\), we have
Consider the object \({\bar{i}}_D^*{\bar{i}}_{D,*}E_*\). As before, a local calculation similar to one in [6] shows that there exist isomorphisms of parabolic sheaves
As above, we define the HKR class \(\alpha ^D_{E_*}\) as the rightmost map of the triangle
A priori the HKR class is an element of
which is the obstruction of lifting the splitting module \(E_*\) to the first infinitesimal neighborhood of the embedding \({{\bar{i}}}_D\).
By Morita equivalence the extension group above is isomorphic to
It is easy to see that \({\mathsf {Hom}}_{(X,D_X)}({{\mathscr {O}}}_{(X,D_X)}, E'_*)={\mathsf {Hom}}_X({{\mathscr {O}}}_X,E'_0)\) for any parabolic sheaf \(E'_*\). Therefore, the HKR class \(\alpha ^D_{E_*}\) can be thought of as an element of \(H^2(X,N^\vee )\). This element corresponds to the rightmost map of the triangle given by the triangle in 2 when \(*=0\), i.e., all objects are considered as ordinary sheaves. Summarizing the above discussion we obtain the following theorem which is a straightforward generalization of Theorem 4.3.
Theorem 5.3
Assume that both maps i and \(i_D\) split to first order. Then, the following statements are equivalent.

1.
The dgschemes \((W,D_W)\) and \((W,D_W,{{\mathcal {A}}}_W)\) are isomorphic over \((X\times X,D_{X\times X})\).

2.
There exists an isomorphism of dgautofunctors of \(D(X,D_X)\)
$$\begin{aligned} i_D^*i_{D,*}()\cong i_D'^*i'_{D,*}()=()\otimes {{\mathbb {S}}}(N^\vee [1]). \end{aligned}$$ 
3.
The associated parabolic line bundle is trivial.

4.
The morphism \(i'_D\) splits to first order.

5.
The HKR class \(\alpha ^D_{E_*}\) vanishes.
Proof of the main theorems
In this section, we prove our main theorems, Theorems 6.1–6.3 and Corollary 6.5.
Let X be a smooth scheme over a perfect field k of characteristic \(p>\dim X\), and D a reduced normal crossing divisor. We denote by \(D'\) the corresponding reduced normal crossing divisor on the Frobenius twist, \(X'\). We consider the Frobenius twist, \(X'\) embedded into the vector bundle \(T^*X'(\log D')\) as the zero section. Recall that the parabolic sheaf of crystalline logarithmic differential operators \({{\mathcal {D}}}(\log D)_*\) can be regarded as a parabolic sheaf of algebras over \(T^*X'(\log D')\). Moreover, \({{\mathcal {D}}}(\log D)_*\) is a parabolic sheaf of Azumaya algebras over the logarithmic scheme \((T^*X'(\log D'),\pi ^*D')\), so that on the zero section \({{\mathcal {D}}}(\log D)_*_{X'}\) is a split parabolic sheaf of Azumaya algebras.
We are in the context described in Paragraph 5.5. We compare the derived selfintersection \((W,D_W)\) corresponding to the embedding
and the derived selfintersection corresponding to
We denote the latter space by \(({{\overline{W}}},D'_W)\), and the map
by \({{\bar{i}}}\). As an easy consequence of Proposition 5.1 we obtain that the structure sheaf of \((W,D_W)\) is a formal parabolic sheaf.
Theorem 6.1
The structure sheaf \({{\mathscr {O}}}_{(W,D_W)}\) over \(X'\) is isomorphic to the dual of the formal complex
equipped with the trivial parabolic structure.
Proof
The structure sheaf of \((W,D_W)\) over \(X'\) is given by the object \(i^*i_*{{\mathscr {O}}}_{(X',D')}\). By Remark 5.2, all the assumption of Proposition 5.1 are satisfied for the embedding i implying the statement above. \(\square \)
Next we compute the associated parabolic line bundle \({{\mathcal {L}}}_*\) of the derived selfintersection corresponding to
Theorem 6.2
The associated line bundle \({{\mathcal {L}}}\) is isomorphic to the dual of \(F_*\varOmega ^{{\bullet }}_X(\log D)_*\).
Proof
We have the following sequence of maps
where the first isomorphism is the Koszul duality between \(\varOmega ^{{\bullet }}_X(\log D)_*\) and \({{\mathcal {D}}}_X(\log D)_*\), the second is the isomorphism \(F_*{{\mathcal {D}}}_X(\log D)_*=\pi _*{{\mathcal {D}}}(\log D)_*\) for the bundle map \(\pi :T^*X'(\log D')\rightarrow X'\), the third is the identity \(\pi \circ i={{\,\mathrm{id}\,}}\) and the last one is the consequence of that \(\pi \) is affine. The map \({{\bar{i}}}_*\) has a right adjoint, which we denote by \({{\bar{i}}}^!\) (see [3, 21]). We have
We use again that \(\pi \circ i={{\,\mathrm{id}\,}}\) to obtain
We remind the reader that there exists a Morita equivalence between \((X',D')\) and \((X', D', {{\mathcal {D}}}(\log D)_*_{X'})\) given by the functors
and
and therefore
Moreover, the functor \(m^*\) is both left and right adjoint to \(m_*\) implying that
completing the proof. \(\square \)
We conclude the paper by applying Theorem 5.3 to our situation.
Theorem 6.3
Let X be a smooth variety over a perfect field of characteristic \(p>\dim X\), with a reduced normal crossing divisor D. Then, the following statements are equivalent.

1.
The logarithmic scheme (X, D) lifts to \(W_2(k)\).

2.
The class of the extension
$$\begin{aligned} 0\rightarrow {{\mathscr {O}}}_{X'}\rightarrow F_*{{\mathscr {O}}}_X\rightarrow F_*Z^1\rightarrow \varOmega ^1_{X'}(\log D')\rightarrow 0 \end{aligned}$$vanishes. Here \(Z^1\) denotes the image of d inside \(F_*\varOmega ^1_X(\log D)\).

3.
The map \(i'\) splits to first order.

4.
The associated line bundle is trivial.

5.
The parabolic sheaf of algebras \({{\mathcal {D}}}(\log D)_*\) splits on the first infinitesimal neighborhood of \((X',D')\) inside \((T^*X'(\log D'),\pi ^*D')\).

6.
The complex \(F_*\varOmega ^{{\bullet }}_X(\log D)_*\) is a formal parabolic sheaf equipped with the trivial parabolic structure.

7.
There exists an isomorphism
$$\begin{aligned} F_*\varOmega ^{{\bullet }}_X(\log D)_*\cong {{\mathbb {S}}}(\varOmega ^1_{X'}(\log D')[1])_* \end{aligned}$$in \(D(X',D')\) where the sheaf \({{\mathbb {S}}}(\varOmega ^1_{X'}(\log D')[1])\) is equipped with the trivial parabolic structure.
Proof
The HKR class corresponding to the embedding \(i'\) is the dual of the extension class in 2. Therefore, the equivalence
follows from Theorems 5.3, 6.1 and 6.2. The equivalence \((1)\Leftrightarrow (2)\) is proved in [10]. \(\square \)
Remark 6.4
A particular interesting feature of the theorem above is part (7). The two parabolic complexes \(F_*\varOmega ^{{\bullet }}_X(\log D)_*\) and \({{\mathbb {S}}}(\varOmega ^1_{X'}(\log D')[1])_*\) have different filtration, the former one has weights \(\alpha _i=\frac{i}{p+1}\), the latter has the trivial parabolic structure. On the other hand, under quasiisomorphism the filtrations may change. We illustrate the phenomenon in the simplest case. Let \(X={{\,\mathrm{Spec}\,}}k[x]\) and \(D=\{0\}\). Then the pushforward of the logarithmic de Rham complex is given by
The kernel of d is the parabolic sheaf
which is isomorphic \({{\mathscr {O}}}_{(X',D')}\). Similar calculations can be done for the cokernel.
As an immediate consequence, we obtain a Hodge decomposition for the logarithmic de Rham cohomology.
Theorem 6.5
Let X be a smooth variety over a perfect field of characteristic \(p>\dim X\), and D a reduced normal crossing divisor on X. Assume that (X, D) lifts to \(W_2(k)\). Then,
Proof
By Theorem 6.3, there exists an isomorphism
In particular setting \(*=0\), we obtain an isomorphism
of objects in \(D(X')\). Thus,
On the one hand, since F is affine we have
On the other hand, since X and \(X'\) are abstractly isomorphic, we have
completing the proof. \(\square \)
The above theorem implies that the Hodgetode Rham spectral sequence degenerates by dimension counting. This gives a new, geometric proof of Kato’s theorem.
Corollary 6.6
Assume that the pair (X; D) lifts to the ring \(W_2(k)\). Then, the Hodgetode Rham spectral sequence of the logarithmic de Rham complex degenerates at the \(E_1\)page.
Notes
 1.
We emphasize that \({{\mathcal {D}}}\) is a sheaf of algebras on X, not a divisor.
References
 1.
Arinkin, D., Căldăraru, A.: When is the selfintersection of a subvariety a fibration? Adv. Math. 231(2), 815–842 (2012)
 2.
Arinkin, D., Căldăraru, A., Hablicsek, M.: Formality of derived intersections and the orbifold HKR isomorphism. J. Algebra 540, 100–120 (2019)
 3.
Arinkin, D., Căldăraru, A., Hablicsek, M.: Derived intersections and the Hodge theorem. Algebraic Geom. 4, 394–423 (2017)
 4.
Borne, N., Vistoli, A.: Parabolic sheaves on logarithmic schemes. Adv. Math. 3–4, 1327–1363 (2012)
 5.
Bezrukavnikov, R., Mirkovič, I., Rumynin, D.: Localization of modules for a semisimple Lie algebra in prime characteristic. Ann. Math. 167(3), 945–991 (2008)
 6.
Căldăraru, A., Katz, S., Sharpe, E.: Dbranes, \(B\)fields and Ext groups. Adv. Theor. Math. Phys. 7(3), 381–404 (2003)
 7.
CalderónMoreno, F.J., NarvaezMacarro, L.: Dualité et comparaison sur les complexes de de Rham logarithmiques par rapport aux diviseurs libres. Ann. Inst. Fourier Grenoble 55, 47–75 (2005)
 8.
CiocanFontanine, I., Kapranov, M.: Derived Quot schemes. Ann. Sci. Ecole Norm. Sup. (4) 34(3), 403–440 (2001)
 9.
Deligne, P., Illusie, L.: Relèvements modulo \(p^2\) et décomposition du complexe de de Rham. Invent. Math. 89(2), 247–270 (1987)
 10.
Esnault, H., Viehweg, E.: Lectures on Vanishing Theorems. Springer, Berlin (1992)
 11.
Grivaux, J.: Formality of derived intersections. Doc. Math. 19, 1003–1016 (2014)
 12.
Kato, K.: Logarithmic structures of FontaineIllusie. In: Igusa, J.I. (ed.) ALG Analysis, Geographic and Numbers Theory, pp. 191–224. Johns Hopkins University Press, Baltimore (1989)
 13.
Kulkarni, R.S., Lieblich, M.: Blt Azumaya algebras and moduli of maximal orders. Preprint (2011)
 14.
Mehta, V.B., Seshadri, C.S.: Moduli of vector bundles on curves with parabolic structures. Math. Ann. 248(3), 205–239 (1980)
 15.
Ogus, A., Vologodsky, V.: Nonabelian Hodge theory in characteristic \(p\). Publ. Math. Inst. Hautes Études Sci. 106, 1–138 (2007)
 16.
Ohkawa, S.: On logarithmic nonabelian Hodge theory of higher level in characteristic \(p\). Rend. Semin. Mat. della Univ. Padova 134, 47–92 (2015)
 17.
Ohkawa, S.: On log local Cartier transform of higher level in characteristic \(p\). Math. Z. 283, 871–894 (2016)
 18.
Schepler, D.: Logarithmic nonabelian Hodge theory in characteristic \(p\). Preprint (2008)
 19.
Seshadri, C.S.: Moduli of vector bundles on curves with parabolic structures. Bull. Am. Math. Soc. 83, 123–126 (1977)
 20.
Talpo, M., Vistoli, A.: Infinite root stacks and quasiCoherent sheaves on logarithmic schemes. Proc. Lond. Math. Soc. 116(5), 1187–1243 (2018)
 21.
Yokogawa, K.: Infinitesimal deformation of parabolic Higgs sheaves. Int. J. Math. 6(1), 125 (1995)
Acknowledgements
The author expresses his thanks to Dima Arinkin, Andrei Căldăraru and Tony Pantev for useful conversations.
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hablicsek, M. Hodge theorem for the logarithmic de Rham complex via derived intersections. Res Math Sci 7, 24 (2020). https://doi.org/10.1007/s40687020002227
Received:
Accepted:
Published: