Abstract
In the first part we deepen the sixfunctor theory of (holonomic) logarithmic Dmodules, in particular with respect to duality and pushforward along projective morphisms. Then, inspired by work of Ogus, we define a logarithmic analogue of the de Rham functor, sending logarithmic Dmodules to certain graded sheaves on the socalled Kato–Nakayama space. For holonomic modules we show that the associated sheaves have finitely generated stalks and that the de Rham functor intertwines duality for Dmodules with a version of Poincaré–Verdier duality on the Kato–Nakayama space. Finally, we explain how the grading on the Kato–Nakayama space is related to the classical Kashiwara–Malgrange Vfiltration for holonomic Dmodules.
Introduction
It is a well known observation that in many regards compact spaces behave better than noncompact ones. Thus in algebraic geometry, using Hironaka’s Theorem, one often finds oneself having to consider a smooth (compact) variety \(\underline{X}\) together with a normal crossings divisor D. Objects living on \(\underline{X}\) then have to take this boundary into account. A classical example of this are meromorphic connections which play an integral role in Deligne’s Riemann–Hilbert correspondence.
In logarithmic geometry (regular) meromorphic connections get recast as integrable logarithmic connections on the smooth log variety \(X = (\underline{X}, D)\). That is, one constructs the logarithmic cotangent bundle \(\Omega _X^1\) and defines a log connection to be a coherent sheaf \(\mathcal M\) on X together with a \(\mathbb {C}\)linear map \(\nabla :\mathcal M \rightarrow \mathcal M \otimes _{\mathcal {O}_X} \Omega _X^1\) satisfying the Leibniz rule. One wishes to classify such objects via a logarithmic analogue of the Riemann–Hilbert correspondence.
To see why this takes some effort let us consider some examples of integrable connections on \(\mathbb {A}^{1}\) with the log structure given by \(D = \{ x = 0\}\). For any complex number \(\lambda \) one can define a connection \(\nabla _\lambda \) on \(\mathcal {O}_X\) by \(\nabla _\lambda (1) = \lambda \otimes \frac{dx}{x}\). One notes that unlike the similarly defined connections on \(\mathbb {A}^{1} \setminus \{0\}\) (where \(\nabla _\lambda \cong \nabla _\lambda '\) if \(\lambda = \lambda ' \bmod \mathbb {Z}\)), in the logarithmic setting one has \(\nabla _\lambda \ncong \nabla _{\lambda '}\) for any \(\lambda \ne \lambda '\).
The first and most obvious problem when looking for a generalization of the Riemann–Hilbert correspondence to this setting is the fact that \(\mathbb {A}^{1}\) does not support any nontrivial locally constant sheaves. Thus Kato and Nakayama [8] define an auxiliary topological space \({X}_{\mathrm {log}}\), living over X, on which the correspondence takes place. This space, now usually called the Kato–Nakayama space of X, is essentially the real blowup of X along D. Thus in the example at hand one replaces the origin of \(\mathbb {A}^{1}\) by a circle.
The space \({X}_{\mathrm {log}}\) thus has a nontrivial fundamental group and hence interesting locally constant sheaves. However monodromy around the circle can only record \(\lambda \mod \mathbb {Z}\). Thus Ogus further enhances \({X}_{\mathrm {log}}\) with a sheaf of gradings \(\Lambda \) [17]. In our example this sheaf is locally constant with stalk \(\mathbb {C}\) on the added circle over the origin and 0 elsewhere. Then the sheaf corresponding to the connection \(\nabla _\lambda \) on \(\mathcal {O}_X\) would be the local system with monodromy \(e^{2\pi i \lambda }\) placed in degree \(\lambda \).
However even this is not quite sufficient, as logarithmic connections are not necessarily vector bundles. For example the same formula as above defines connections on \(\mathcal {O}_X / (x^2)\). In order to record the possibly interesting action of x at the origin, Ogus further enhances \({X}_{\mathrm {log}}\) with a \(\Lambda \)graded sheaf of rings \(\mathbb {C}^{\log }_X\). For \(\mathbb {A}^{1}\) this sheaf has stalk \(\mathbb {C}[t]\) with \(\deg t = 1\) on the circle over the origin and is the constant sheaf \(\mathbb {C}\) elsewhere (the restriction map is given by \(t \mapsto 1\)). Thus the target of the Riemann–Hilbert correspondence should be \(\Lambda \)graded \(\mathbb {C}^{\log }_X\)modules on \({X}_{\mathrm {log}}\), with some kind of “coherency” condition [17, Definition 3.2.4]. For example the connections \(\nabla _\lambda \) on \(\mathcal {O}_X\) correspond to \(\mathbb {C}^{\log }_X \otimes _\mathbb {C}\mathcal F\), where \(\mathcal F\) is the local system with monodromy \(e^{2\pi i \lambda }\) placed in degree \(\lambda \) as before.
In classical theory, the Riemann–Hilbert correspondence has long been generalized to (regular holonomic) Dmodules. It is thus an obvious question whether the above theory can be generalized to logarithmic Dmodules.
The study of holonomic log Dmodules was started in [10] where in particular one examined the interaction of holonomicity and duality. To have any hope of obtaining a generalization of the Riemann–Hilbert correspondence, one needs a good understanding of the six functor formalism for both sides of the correspondence. For graded sheaves on the Kato–Nakayama space, this was done via the new theory of “graded topological spaces” explored in [9], where one in particular generalized Poincaré–Verdier duality to this setting. For logarithmic Dmodules this is done in the first part of the present paper.
Functors on Dmodules
Let \(f:X \rightarrow Y\) be a morphism of smooth log varieties. The definition of the pushforward \(f_\bullet \) was already given in [10], and is virtually identical to the corresponding definition for ordinary Dmodules. We study some properties of this pushforward, and in particular prove in Sect. 4 that if f is projective then \(f_\bullet \) preserves holonomicity.
The definition of the pullback \(f^!\) is more subtle. It is constricted by two factors: If f is proper, then \(f^!\) should be right adjoint to \(f_{\bullet }\), and in any case it should match the !pullback for graded topological spaces. In particular for \(p:X \rightarrow \mathrm {pt}\) the structure map, \(p^!\mathcal {O}_{\mathrm {pt}}\) should correspond via the logarithmic Riemann–Hilbert correspondence to a certain subsheaf \(\widetilde{\omega }_{{X}_{\mathrm {log}}}\) of the dualizing complex of the Kato–Nakayama space viewed as a graded topological spaces. We compute this dualizing complex in Sect. 5.2, where it turns out that it is a complex of the type of coherent \(\mathbb {C}^{\log }\)modules considered by Ogus. Thus we know that the Riemann–Hilbert correspondence of Ogus must match any proposed definition of \(p^!\mathcal {O}_{\mathrm {pt}}\) with \(\widetilde{\omega }_{{X}_{\mathrm {log}}}\). It follows that \(p^!\) is not simply a shift of the naive pullback \(f^*\) as is the case in the classical theory.
The definition of \(f^!\) is given in Sect. 3.3. It is inspired by the computation of the dualizing complex done in Sect. 3.2.
In [10] one only uses the existence and properties of a rigid dualizing complex for \(\mathcal {D}_X\). For further results it is useful to have an explicit formula. Generalizing work of Chemla [2], we show that the rigid dualizing complex is given by \(\mathcal {D}_X \otimes _{\mathcal {O}_X} \mu _X\), where \(\mu _X\) is the left \(\mathcal {D}_X\)module corresponding to the Grothendieck dualizing complex of \(\underline{X}\) (which is naturally a right \(\mathcal {D}_X\)module). One notes that in general the underlying classical variety \(\underline{X}\) may have singularities, so that \(\mu _X\) may be nontrivial. We also show that duality commutes with pushforward along projective morphisms (Theorem 3.14).
The logarithmic de Rham functor
In order to construct the Riemann–Hilbert correspondence for logarithmic connections, Ogus introduces an additional \(\Lambda \)graded sheaf of rings on \({X}_{\mathrm {log}}\), the enhanced structure sheaf \(\tilde{\mathcal {O}}^{\mathrm {log}}_X\) [17, Section 3.3]. If \(\tau :{X}_{\mathrm {log}} \rightarrow X\) is the projection and \(\mathcal F\) is any \(\mathcal {O}_X\)module, one sets \(\tau ^*\mathcal F = \tilde{\mathcal {O}}^{\mathrm {log}}_X \otimes _{\tau ^{1}\mathcal {O}_X} \tau ^{1}\mathcal F\). In Sect. 5.3 we define sheaf of differential operators \(\tilde{\mathcal {D}}^{\mathrm {log}}_X\) on \({X}_{\mathrm {log}}\) so for any \(\mathcal {D}_X\)module \(\mathcal M\) the pullback \(\tau ^*\mathcal M\) is naturally a \(\tilde{\mathcal {D}}^{\mathrm {log}}_X\)module.
In analogy with the classical definition, the logarithmic de Rham functor is given by
If \(\mathcal M\) is \(\mathcal {O}_X\)coherent this agrees up to a shift with [17, Theorem 3.4.2]. We prove the following important finiteness theorem for \(\widetilde{{\text {DR}}}\).
Theorem
Let \(\mathcal M \in \mathbf {D}^{\mathrm {b}}_{\mathrm {h}}(\mathcal {D}_{X})\) be holonomic. Then the stalks of \(\widetilde{{\text {DR}}}_X(\mathcal M)\) are finitely generated over the corresponding stalk of \(\mathbb {C}^{\log }_X\).
Further, as a check that this new de Rham functor respects the six functor formalism we show the following fundamental result.
Theorem
The functor \(\widetilde{{\text {DR}}}_X\) intertwines (rigid) duality for logarithmic Dmodules with Poincaré–Verdier duality for the graded topological space \({X}_{\mathrm {log}}\).
In the process of proving these theorems we also show that \(\widetilde{{\text {DR}}}_X\) commutes with pushforward along projective morphisms whenever possible. (We note that such pushforward can only preserve holonomicity when the log structure on the target is “no worse then the log structure on the source,” see Theorem 4.1.)
In the final section we consider a smooth variety \(\underline{X}\) together with a smooth divisor \(D = \{ t =0\}\). If \(\mathcal M\) is a holonomic \(\mathcal {D}_{\underline{X}}\)module, then one can endow it with the Kashiwara–Malgrange Vfiltration given by the eigenvalues of the action of \(t\frac{\partial }{\partial t}\). On the other hand \(\widetilde{{\text {DR}}}_X(\mathcal M)\) can be filtered as a \(\mathbb {C}^{\log }_X\)module by the \(\Lambda \)grading. We show that \(\widetilde{{\text {DR}}}_X\) exactly matches the Vfiltration with the \(\Lambda \)grading filtration. This gives a nice interpretation for the appearance of the grading sheaf \(\Lambda \). In future work we are interested in extending the classical Vfiltration to a multifiltration for holonomic \(\mathcal {D}_X\)modules on arbitrary smooth log varieties. This filtration would then conjecturally match the filtration by \(\Lambda \)grading on the de Rham functor.
Conventions
We will need to consider both complex algebraic and analytic varieties. In order to present a unified perspective whenever possible, the word “variety” will always encapsulate both settings unless otherwise specified. We will be mostly concerned with derived categories of Dmodules and other sheaves. Hence, unless noted otherwise, all functors will be derived and we will not use the signifiers \(\mathbb {L}\) and \(\mathbb {R}\).
Logarithmic Dmodules
In this paper we are concerned with Dmodules on a smooth, potentially idealized, complex log variety X. For algebraic X these were introduced in [10]. In this section we will review the basic constructions of this theory and add some complements. We refer to [10, Section 2.1] for a brief introduction into the required notions of logarithmic geometry. The reader unfamiliar with idealized log varieties may safely assume that the idealized structure of the considered log varieties is trivial. We have included the idealized case, as it does not impose any additional challenges and is useful for inductive arguments. For the benefit of the reader who is not interested in the formalism of logarithmic geometry, we will summarize in Example 2.2 the definition in the case that the log structure is given by a simple normal crossings divisor on a smooth variety.
In order to fix notation, we will always denote the sheaf of monoids defining the logarithmic structure on X by \(M_X\). Associated to this sheaf we have the characteristic sheaf \(\overline{M}_X\) and its associated sheaf of groups \(\overline{M}^{\mathrm {gp}}_X\). The latter is a sheaf of torsion free abelian groups and we will write \(r_X\) for its generic rank. If X is a smooth log variety (with trivial idealized structure), then \(r_X = 0\). The rank of \(\overline{M}^{\mathrm {gp}}_X\) induces a filtration of X by closed subvarieties
where
If X is idealized, its sheaf of ideals will be denoted by \(K_X \subseteq M_X\). The underlying ordinary variety of X will be denoted by \(\underline{X}\).
For any closed subset Z of X we define the logarithmic dimension of Z to be
As X is smooth, its sheaf of logarithmic 1forms \(\Omega ^1_X\) is locally free of rank \({\text {logdim}}X\). Its dual \(\mathcal {T}_X\) generates the sheaf of logarithmic differential operators \(\mathcal {D}_X\). We recall from [10, Corollary 3.4] the following local description of \(\mathcal {D}_X\).
Fix a closed point p of X. Locally around p we can find a classically smooth morphism \(X \rightarrow \mathsf {A}_{P,K}\) for \(P = \overline{M}_p\) and some ideal \(K \subseteq P\), where \(\mathsf {A}_{P,K} = {\text {Spec}}k[P]/\langle K \rangle \). Hence étale locally around p we can identify X with \(\mathbb {A}^{n} \times \mathsf {A}_{P,K}\) for some n. Logarithmic coordinates of X at p are given by the coordinates \(x_1, \dotsc , x_n\) of \(\mathbb {A}^{n}\) (corresponding to elements of \(\mathcal {O}_{X,p}\) giving a system of parameters of \(\mathcal {O}_{S,p}\), where S is the locally closed log stratum through p), and by a map \(u:\overline{M}_p \rightarrow \mathcal {O}_{X,p}\) lifting to \(M_p \rightarrow \mathcal {O}_{X,p}\).
Proposition 2.1
Let X be a smooth idealized log variety, \(p \in X\) a closed point, and fix logarithmic coordinates of X at p as above. Then étale locally around p the sheaf \(\mathcal {D}_X\) can be described as the (noncommutative) algebra generated by \(x_i\) for \(0\le i\le n\), by \(t^m\) with \(m \in \overline{M}_{X,p}\), by symbols \(\partial _i\) for \(0\le i \le n\) and \(\partial _{m_i}\), where \(m_1,\ldots , m_k\) are elements of \(\overline{M}_p\) that form a basis of \(\overline{M}^{\mathrm {gp}}_{X,p}\), subject to all the following relations:
If X has trivial idealized structure, then the map u is injective and we can interpret \(\partial _{m_i}\) as “\(\partial \log (u(m_i)) = u(m_i) \frac{\partial }{\partial (u_{m_i})}\).”
The sheaf \(\mathcal {D}_X\) has a canonical filtration by the degree of a differential operator. The associated graded \({\text {gr}}\mathcal {D}_X\) is canonical isomorphic to the pushforward \(\pi _*\mathcal {O}_{T^*X}\) of the structure sheaf of the log cotangent space \(T^*X\). As for any filtered sheaf of rings with commutative associated graded, this is used to define the characteristic variety \({\text {Ch}}(\mathcal M)\) of a coherent \(\mathcal {D}_X\)modules \(\mathcal M\) as conical closed subset of the log cotangent space \(T^*X\) [5, Appendix D]. Such \(\mathcal M\) is called holonomic if the logarithmic dimension of each component of \({\text {Ch}}(\mathcal M)\) is equal to \({\text {logdim}}X\) [10, Definition 3.22].
Example 2.2
A common situation is that the log variety X is given by a simple normal crossings D on a smooth variety \(\underline{X}\). In this case we can locally pick coordinates \(z_1,\dotsc , z_n\) such that D is given by \(z_1\cdots z_\ell = 0\) for some \(0 \le \ell \le n\).
In this situation \(X^0 = X\) and \(X^i\) is given by the natural stratification of D, i.e.
On each \(X^k \setminus X^{k1}\) the characteristic sheaf \(\overline{M}_X\) is constant with stalk \(\mathbb {N}^k\) and similarly \(\overline{M}^{\mathrm {gp}}_X\) has stalks \(\mathbb {Z}^k\). The idealized structure is trivial, i.e. \(K_X = 0\).
The sheaf of (log) differential operators \(\mathcal {D}_X\) is the subalgebra of the sheaf of (ordinary) differential operators \(\mathcal {D}_{\underline{X}}\) generated by \(z_i\frac{\partial }{\partial z_i}\) for \(1 \le i \le \ell \), by \(\frac{\partial }{\partial z_i}\) for \(\ell < i \le n\), as well as \(\mathcal {O}_X\). Thus in particular one has the commutator relation \([z_i\frac{\partial }{\partial z_i}, z_i] = z_i\) for \(1 \le i \le \ell \). (Log) 1forms \(\Omega _X^1\) are the rank n bundle with sections given by \(\frac{dz_i}{z_i}\) for \(1 \le i \le \ell \) and \(dz_i\) for \(i > \ell \). Its total space is the (log) cotangent space \(T^*X\) (which one should be careful not to confuse with the (ordinary) cotangent space \(T^*\underline{X}\) of \(\underline{X}\)).
The log structure of \(T^*X\) is obtained by pulling back the divisor D along the projection \(T^*X \rightarrow \underline{X}\). The log dimension of closed subsets of \(T^*X\) is given as in (1) with \(r_{T^*X} = 0\).
We will sometimes need to consider Dmodules on (components) of \(X^k\) with the socalled induced idealized log structure. This means that \(\overline{M}_{X^k} = \mathchoice{\left. \overline{M}_X\right _{X^k}}{\overline{M}_X_{X^k}}{\overline{M}_X_{X^k}}{\overline{M}_X_{X^k}}\), \(\mathcal {D}_{X^k} = \mathcal {O}_{X^k} \otimes _{\mathcal {O}_X} \mathcal {D}_X\), \(\Omega _{ X^k}^1 = \mathcal {O}_{X^k} \otimes _{\mathcal {O}_X} \Omega _{X}^1\) and \(T^*X^k = \mathchoice{\left. T^*X\right _{X^k}}{T^*X_{X^k}}{T^*X_{X^k}}{T^*X_{X^k}} = X^k \times _X T^*X\). The indexing of the filtration gets shifted so that \((X^k)^i = X^{i+k}\) and one takes \(r_{X^k} = r_{T^*X^k} = k\) in (1) (or alternatively one considers Z as a subset of \(T^*X\) instead).
Logarithmic Dmodules on analytic varieties
In [10] one only considered Dmodules on complex algebraic varieties. While this is the main case of interest to us, in order to define the de Rham functor, we need to also consider the corresponding analytic varieties.
For a smooth analytic log variety X, one can define the sheaf of rings \(\mathcal {D}_X\) and the various categories of \(\mathcal {D}_X\)modules in an analogous way to the algebraic setting. As in the classical case there are a few subtle differences between the algebraic and analytic settings. While \(\mathcal {D}_X\) is still a noetherian coherent sheaf of rings, Lemma 3.8 of [10] does not hold in the analytic setting and hence coherent \(\mathcal {D}_X\)modules in general only locally admit a good filtration. As holonomicity is a local condition, one can still talk about the subcategory of holonomic \(\mathcal {D}_X\)modules, and the log Bernstein inequality of [10, Theorem 3.21] continues to hold.
In [10], duality for log Dmodules is defined via a socalled rigid dualizing complex (see Sect. 3.2 for the concept of a rigid dualizing complex). In the algebraic setting the global existence of such a complex is guaranteed by the main result of [22]. Unfortunately, the proof of this result fails for analytic varieties, as it uses noetherian induction and hence requires the underlying topological space to be noetherian. However the existence of a rigid dualizing complex is still guaranteed locally, which suffices for most arguments. (We will also explicitly construct a global rigid dualizing complex in Sect. 3.2.) The log perverse tstructure continues to exist and so does the description of holonomic \(\mathcal {D}_X\)modules given in [10, Theorem 4.6].
If X is an algebraic log variety, we write \(X^{\mathrm {an}}\) for the corresponding analytic log variety [16, Definition V.1.1.4]. The canonical map of log spaces
is, by definition, strict. Thus it induces a morphism of sheaves of rings \(\iota ^{1}\mathcal {D}_X \rightarrow \mathcal {D}_{X^{\mathrm {an}}}\) satisfying
The functor
is exact [19, Proposition 10]. Hence it extends to a functor \(\mathbf {D}^{\mathrm {b}}(\mathcal {D}_{X}) \rightarrow \mathbf {D}^{\mathrm {b}}(\mathcal {D}_{X^{\mathrm {an}}})\), preserving the coherent and holonomic subcategories.
As noted in the introduction, unless otherwise specified from now on the word variety will include both the complex algebraic and analytic versions.
The log canonical bundle
If X is a smooth idealized log variety, then the log canonical sheaf
is a line bundle. It is a right \(\mathcal {D}_X\)module via the negative of the Lie derivative. Specifically, for a log differential operator \(\theta \in \mathcal T_X\), define \(({\text {Lie}} \theta )\omega \) for \(\omega \in \omega _X\) by
where \(\theta _i\in \mathcal T_X\) and \(n={\text {logdim}}X\). Viewing \(\theta \) as an element of \(\mathcal {D}_X\), we set \(\omega \theta = ({\text {Lie}}\theta )\omega \).
Example 2.3
If \(X = \mathbb {A}^{n}\) with log structure given by the divisor \(z_1 \cdots z_n = 0\), then \(\omega _X\) is the trivial line bundle generated by \(\frac{dz_1}{z_1} \wedge \dots \wedge \frac{dz_n}{z_n}\). The action of \(z_i\frac{\partial }{\partial z_i}\) on a section \(f\frac{dz_1}{z_1} \wedge \dots \wedge \frac{dz_n}{z_n}\) is given by \(z_i\frac{\partial f}{\partial z_i} \frac{dz_1}{z_1} \wedge \dots \wedge \frac{dz_n}{z_n}\).
Via the evident map \(\mathcal {D}_X \rightarrow \mathcal {D}_{\underline{X}}\), the canonical bundle \(\omega _{\underline{X}}\) of the affine space with trivial log structure also is a right \(\mathcal {D}_X\)module. There the action of \(z_i\frac{\partial }{\partial z_i}\) on a section \(f dz_1 \wedge \dots \wedge dz_n\) is given by \((f + z_i\frac{\partial f}{\partial z_i}) dz_1 \wedge \dots \wedge dz_n\). In other words, the natural inclusion
is a morphism of right \(\mathcal {D}_X\)modules.
For later use, let us study the local situation. Fix a toric monoid P and consider the affine toric variety \(\mathsf {A}_P = {\text {Spec}}\mathbb {C}[P]\). Let \(\sigma \) be the convex polyhedral cone generated by P in \(P^{\mathrm {gp}}\otimes \mathbb {R}\). For a face \(\tau \) of the dual cone \(\sigma ^\vee \) write \(V(\tau )\) for the closure of the corresponding torus orbit \({\text {orb}}(\tau ) = {\text {Spec}}[P^{\mathrm {gp}}\cap \tau ^\perp ]\). We endow it again with the toric (nonidealized) log structure. We set \(P^{\mathrm {gp}}_\tau = P^{\mathrm {gp}}\cap \tau ^\perp \).
Set \(r = {\text {rk}} P^{\mathrm {gp}}\). By [16, Proposition IV.1.1.4], the log canonical bundle \(\omega _{\mathsf A_P}\) is identified with \(\mathcal {O}_{\mathsf A_P} \otimes \bigwedge ^r P^{\mathrm {gp}}\). If \(\tau \prec \sigma ^\vee \) is a ray (i.e., \(V(\tau )\) has codimension 1) we can write each element of \(\omega _{\mathsf A_P}\) in the form \(m_1 \wedge \dots \wedge m_r\) with \(m_2,\dots ,m_r \in P^{\mathrm {gp}}_\tau \). Ishida [6, p. 123] defines the Poincaré residue map
which sends a section \(a \otimes m_1 \wedge \dots \wedge m_r\) to \(a \otimes \langle m_1, n \rangle m_2 \wedge \dots \wedge m_r\), where n is a primitive element of \((P^{\mathrm {gp}})^\vee \) such that \(\langle m, n \rangle = 0\) for \(m \in P^{\mathrm {gp}}_\tau \) and \(\langle m, n \rangle \ge 0\) for \(m \in P^{\mathrm {gp}}\setminus P^{\mathrm {gp}}_\tau \).
If we let the differential operator corresponding to n act by zero on \(\omega _{V(\tau )}\), the sheaf \(\omega _{V(\tau )}\) obtains a right \(\mathcal {D}_{\mathsf A_P}\)module structure. With the notation of Proposition 2.1, the action of this differential operator on \(\omega _{\mathsf A_P}\) introduces a factor of \(t^n\), which vanishes in \(\mathcal {O}_{V(\tau )}\). It follows that the Poincaré residue map is a morphism of right \(\mathcal {D}_{\mathsf A_P}\)modules.
Example 2.4
Continuing Example 2.3, we can identify \(\mathbb {A}^{n}\) with \(\mathsf A_{\mathbb {N}^n}\). The subvarieties \(V(\tau )\), for \(\tau \prec \sigma ^\vee \) a ray, correspond to the coordinate hyperplanes in \(\mathbb {A}^{n}\). If \(V(\tau ) = \{ z_ i = 0 \}\), the Poincaré residue map is given by
In particular, if \(n = 1\) we obtain the usual residue \(f \frac{dz}{z} \mapsto f(0)\).
Left and right modules
As in the classical situation, one has the following module structures on tensor products and internal homs.
Proposition 2.5
Let \(\mathcal M,\, \mathcal M' \in \mathbf {Mod}_{}(\mathcal {D}_{X})\) and \(\mathcal N,\, \mathcal N' \in \mathbf {Mod}_{}(\mathcal {D}^{\mathrm {op}}_{X})\). Then with \(\theta \in \mathcal {T}_X\) one has the following module structures:
The following lemma is also classical.
Lemma 2.6
Let \(\mathcal M,\, \mathcal M' \in \mathbf {Mod}_{}(\mathcal {D}_{X})\) and \(\mathcal N \in \mathbf {Mod}_{}(\mathcal {D}^{\mathrm {op}}_{X})\). Then there exist isomorphisms
Recall that the log canonical bundle \(\omega _X = \bigwedge ^{{\text {logdim}}X} \Omega _X^1\) is a right \(\mathcal {D}_X\)module. Thus by Proposition 2.5 the assignment
extends to an equivalence of categories \(\mathbf {Mod}_{}(\mathcal {D}_{X}) \rightarrow \mathbf {Mod}_{}(\mathcal {D}^{\mathrm {op}}_{X})\) with quasiinverse given by
As \(\omega _X\) is a line bundle, these operations are clearly exact and extend to the various derived categories. We will use them frequently to switch between left and right \(\mathcal {D}_X\)modules.
Some resolutions
Let X be a smooth idealized log variety and fix a coherent left \(\mathcal {D}_X\)module \(\mathcal M \in \mathbf {Coh}(\mathcal {D}_{X})\). Assume that \(\mathcal M\) has a global good filtration \(F_\bullet \). For any fixed integer k define a complex \({\text {Sp}}_k(\mathcal M)\) with entries
and differential
given by
Lemma 2.7
(Logarithmic Spencer Resultion) For any coherent (left) \(\mathcal {D}_X\)module \(\mathcal M\) with a fixed good filtration the complex \({\text {Sp}}_k(\mathcal M)\) is a resolution of \(\mathcal M\) for all sufficiently large integers k.
This is shown exactly as in the classical case, see for example [13, Proposition I.2.1.18]. In particular, one obtains the following very useful resolutions.
Corollary 2.8
One has the following locally free resolutions of the left \(\mathcal {D}_X\)module \(\mathcal {O}_X\) and the right \(\mathcal {D}_X\)module \(\omega _X\):
Proof
The complex (3) is just the logarithmic Spencer resolution for \(\mathcal {O}_X\). The second line follows from the first by applying the sideswitching operation of Sect. 2.3, which is evidently exact. \(\square \)
Operations on Dmodules
In [10] one only briefly touches on the definition of the pushforward and pullback functors for logarithmic Dmodules. In this section we will go into more detail on the definition of these functors, as well as giving an explicit formula for duality and showing some standard identities for these three operations.
Pushforward
Let \(f:X \rightarrow Y\) be a morphism of smooth idealized log varieties. If \(\mathcal N\) is a (left) \(\mathcal {D}_Y\)module, then as in the classical setting the map \(\mathcal {T}_X \rightarrow f^*\mathcal {T}_Y\) gives the pullback \(f^*\mathcal N = \mathcal {O}_X \otimes _{f^{1}\mathcal {O}_Y} f^{1}\mathcal N\) a canonical \(\mathcal {D}_X\)module structure (see [10, Section 3.1.4]). In particular, one obtains the transfer module\(\mathcal {D}_{X \rightarrow Y} = f^*\mathcal {D}_Y\). As \(\mathcal {D}_Y\) is a locally free \(\mathcal {O}_Y\)module, \(\mathcal {D}_{X \rightarrow Y}\) is a locally free \(\mathcal {O}_X\)module concentrated in cohomological degree 0.
Lemma 3.1
Let \(f:X \rightarrow Y\) be a morphism of smooth idealized log varieties. Then \(\mathcal {D}_{X \rightarrow Y}\) has weak dimension at most \({\text {logdim}}X\) as left \(\mathcal {D}_X\)module.
Proof
Exactness can be checked locally, so we may assume that X is affine and \(\mathcal {D}_{X \rightarrow Y}\) is a free \(\mathcal {O}_X\)module, as is \({\text {gr}}\mathcal {D}_{X \rightarrow Y}\). Since locally \({\text {gr}}\mathcal {D}_X\) is isomorphic to \(\mathcal {O}_X[t_1,\dotsc ,t_{{\text {logdim}}X}]\), taking a Koszul resolution of the free \(\mathcal {O}_X\)module \({\text {gr}}_{\mathcal {D}_{X \rightarrow Y}}\) shows that \({\text {gr}}\mathcal {D}_{X \rightarrow Y}\) has weak dimension at most \({\text {logdim}}X\) as a \({\text {gr}}\mathcal {D}_X\)module (alternatively, we could apply the more general [1, Lemma 2.3.5]). Thus, by [1, Proposition 2.3.12], \(\mathcal {D}_{X \rightarrow Y}\) also has weak dimension at most \({\text {logdim}}X\) as a left \(\mathcal {D}_X\)module. \(\square \)
Concretely, as each \(F_i\mathcal {D}_{X \rightarrow Y}\) is a locally free \(\mathcal {O}_X\)module, the Spencer complex \({\text {Sp}}(\mathcal {D}_{X \rightarrow Y})\) is a locally free resolution of \(\mathcal {D}_{X \rightarrow Y}\).
As in the classical setting, one defines the \((f^{1}\mathcal {D}_Y,\, \mathcal {D}_X)\)bimodule
which by Lemma 3.1 has finite weak dimension as a right \(\mathcal {D}_X\)module. Thus the pushforward functor
is well defined. If \(f:X \rightarrow Y\) and \(g:Y \rightarrow Z\) are two morphisms of smooth idealized log varieties, one can copy the proof of [5, Proposition 1.5.21] (which is essentially an application of the projection formula for \(f_*:\mathbf {D}^{}(f^{1}\mathcal {D}_Y) \rightarrow \mathbf {D}^{}(\mathcal {D}_Y)\)) to show that
For a projection \(f:X \times Y \rightarrow Y\) one sets \(\Omega _f^k = (\bigwedge ^k \Omega _X) \boxtimes \mathcal {O}_Y\) and defines the relative de Rham complex\({\text {DR}}_f(\mathcal M)\) for \(\mathcal M \in \mathbf {QCoh}(\mathcal {D}_{X \times Y})\) by
with the differential as usual induced by the map \(\mathcal M \rightarrow \mathcal M \otimes \Omega ^1_{X \times Y}\) defining the \(\mathcal {D}_{X \times Y}\)module structure on \(\mathcal M\). Since \(\mathcal {D}_{Y \leftarrow X \times Y} = \omega _X \boxtimes \mathcal {D}_Y\) as right \(\mathcal {D}_{X \times Y}\)modules, it follows from Corollary 2.8 that
Any morphism \(f:X \rightarrow Y\) of smooth idealized log varieties can be factored into a closed immersion \(X \rightarrow X \times Y\) followed by the smooth projection \(X \times Y \rightarrow Y\). For both of these the pushforward of \(\mathcal {O}\)modules preserves boundedness of complexes. Thus, by Lemma 3.1, \(f_{\bullet }\) also preserves boundedness, i.e. restricts to a functor \(f_{\bullet }:\mathbf {D}^{\mathrm {b}}(\mathcal {D}_{X}) \rightarrow \mathbf {D}^{\mathrm {b}}(\mathcal {D}_{Y})\).
Lemma 3.2
Let \(f:X \rightarrow Y\) be a proper map of smooth idealized log varieties. Let \(\mathcal M \in \mathbf {D}^{\mathrm {b}}_{\mathrm {coh}}(\mathcal {D}_{X})\) and assume that locally on Y the cohomology modules of \(\mathcal M\) admit a good filtration. Then \(f_\bullet \mathcal M\) is contained in \(\mathbf {D}^{\mathrm {b}}_{\mathrm {coh}}(\mathcal {D}_{Y})\).
Proof
Using the resolution of Lemma 2.7 one reduces to the fact that pushforward along proper maps preserves coherence of \(\mathcal {O}\)modules, see the first part of [13, Théorème I.5.4.1]. \(\square \)
Let us remark that here, as in many of the following statements, the condition on the existence of a global good filtration is always satisfied in the algebraic setting.
We will call a morphism \(i:X \rightarrow Y\) a closed immersion if the underlying morphism of varieties \(i:\underline{X} \rightarrow \underline{Y}\) is a closed immersion (note that this is different from the usual use of the term in logarithmic geometry). For a closed immersion i, we can give the right adjoint to \(i_\bullet \) in the usual way:
Definition 3.3
Let \(i:Z \hookrightarrow X\) be a closed immersion of smooth idealized log varieties. Define \(i^!:\mathbf {D}^{+}(\mathcal {D}_{X}) \rightarrow \mathbf {D}^{+}(\mathcal {D}_{X})\) by
where the left \(\mathcal {D}_Z\)module structure is given by the right action of \(\mathcal {D}_Z\) on \(\mathcal {D}_{X \leftarrow Z}\).
Proposition 3.4
Let \(i:Z \hookrightarrow X\) be a closed immersion of smooth idealized log varieties. Then \(i^!\) is the right adjoint to \(i_\bullet :\mathbf {D}^{+}(\mathcal {D}_{Z}) \rightarrow \mathbf {D}^{+}(\mathcal {D}_{X})\).
Lemma 3.5
Let \(i:Z \hookrightarrow X\) be a closed immersion of smooth idealized log varieties. Then for any \(\mathcal M \in \mathbf {D}^{+}(\mathcal {D}_{X})\) there exists a canonical equivalence
Proof
We first show the statement on the level of abelian categories, i.e. for \(\mathcal M \in \mathbf {Mod}_{}(\mathcal {D}_{X})\). Let \(\mathcal J\) be the sheaf of ideals defining the closed subvariety Z. Then \(i^{1}\mathcal J\) annihilates \(\mathcal {D}_{X \leftarrow Z}\) and for any \(i^{1}\mathcal {D}_X\)module map \(\psi :\mathcal {D}_{X \leftarrow Z} \rightarrow \mathcal M\) one has \((i^{1}\mathcal J)\psi (m) = \psi ((i^{1}\mathcal J)m) = 0\), i.e. \(\psi \) factors through \(i^{1}R^0\Gamma _Z(\mathcal M)\).
To deduce the derived statement, it is now sufficient to show that if \(\mathcal I\) is an injective \(\mathcal {D}_Y\)module, then \(i^{1}R^0\Gamma _Z \mathcal I\) is an injective \(i^{1}\mathcal {D}_X\)module. This follows from
for any \(\mathcal {D}_Z\)module \(\mathcal N\). \(\square \)
Proof of Proposition 3.4
By Lemma 3.5 and tensorhom adjunction we have
\(\square \)
Duality
Let X be a (algebraic of analytic) scheme together with an \(\mathcal {O}_X\)ring \(\mathcal A\), that is, a sheaf of (not necessarily commutative) noetherian rings \(\mathcal A\) on X endowed with a ring homomorphism \(\mathcal {O}_X \rightarrow \mathcal A\). A dualizing complex over \(\mathcal A\) is a bounded complex \(\mathcal R\) of \(\mathcal A\)bimodules such that the following conditions hold:

(i)
The functors
$$\begin{aligned} D:\mathbf {D}^{\mathrm {b}}_{}(\mathcal A)^{{\mathrm {op}}} \rightarrow \mathbf {D}^{}(\mathcal A^{{\mathrm {op}}}), \quad \mathcal M \mapsto \underline{{\text {Hom}}}_{\mathcal A}(\mathcal M, \mathcal R) \end{aligned}$$and
$$\begin{aligned} D^{{\mathrm {op}}}:\mathbf {D}^{\mathrm {b}}_{}(\mathcal A^{\mathrm {op}})^{\mathrm {op}}\rightarrow \mathbf {D}^{}(\mathcal A), \quad \mathcal M \mapsto \underline{{\text {Hom}}}_{\mathcal A^{{\mathrm {op}}}}(\mathcal M, \mathcal R) \end{aligned}$$have finite cohomological dimension when restricted to \(\mathbf {Coh}(\mathcal A)\) and \(\mathbf {Coh}(\mathcal A^{\mathrm {op}})\) respectively.

(ii)
The functors D and \(D'\) preserve coherence.

(iii)
The adjunction morphisms \({\text {id}}\rightarrow D^{\mathrm {op}}D\) in \(\mathbf {D}^{\mathrm {b}}_{\mathrm {coh}}(\mathcal A)\) and \({\text {id}}\rightarrow D D^{\mathrm {op}}\) in \(\mathbf {D}^{\mathrm {b}}_{\mathrm {coh}}(\mathcal A^{\mathrm {op}})\) are both isomorphisms.
Unfortunately, dualizing complexes are not necessarily unique. For example, in the commutative case \(\mathcal A = \mathcal {O}_X\), they are only determined up to shift and tensoring with a line bundle. To restore uniqueness and obtain a duality theory in the noncommutative setting, van den Bergh [21] introduced the concept of a rigid dualizing complex. This is a dualizing complex \(\mathcal R\) together with a rigidifying isomorphism^{Footnote 1}
If it exists, a rigid dualizing complex is unique up to unique isomorphism.
Let us now return to the case that X is a smooth idealized log variety and \(\mathcal A = \mathcal {D}_X\). As was discussed in [10], if X is algebraic, then \(\mathcal {D}_X\) always admits a rigid dualizing complex \(\mathcal R\). As we will see below, if the log structure of X is nontrivial, \(\mathcal R\) is not simply a shift of \(\mathcal {D}_X\).
To show that the de Rham functor commutes with duality, we need an explicit computation of \(\mathcal R\). In the case that \(\underline{X}\) is smooth this is a special case of [2] where the rigid dualizing complex of the enveloping algebra of a Lie algebroid is computed. In this case the canonical bundle \(\omega _{\underline{X}}\) is a right \(\mathcal {D}_{\underline{X}}\)module and hence by restriction also a right \(\mathcal {D}_X\)module. The rigid dualizing complex of \(\mathcal {D}_X\) is then given by \(\mathcal {D}_X \otimes _{\mathcal {O}_X} \underline{{\text {Hom}}}_{\mathcal {O}_X}(\omega _X,\, \omega _{\underline{X}})[\dim X + {\text {logdim}}X]\).
We will show that this formula holds for general smooth idealized log varieties. To do so, one replaces the canonical bundle \(\omega _{\underline{X}}\) by the Grothendieck dualizing complex \(\omega '_{\underline{X}}\), i.e. if \(p:\underline{X} \rightarrow \mathrm {pt}\) is the structure map, then \(\omega '_{\underline{X}} = p_{\mathcal {O}\text {mod}}^!\mathbb {C}\). Hence, if \(\underline{X}\) is smooth, one has \(\omega '_{\underline{X}} = \omega _{\underline{X}}[\dim X]\).
To give \(\omega '_{\underline{X}}\) the structure of a right \(\mathcal {D}_X\)module we can use a result of Tsuji [20, Theorem 2.21]. For comparison with duality on the Kato–Nakayama space, an explicit description of \(\omega '_{\underline{X}}\) given by Ishida is particularly useful. We will sketch the construction of Ishida’s complex. A detailed translation of Ishida’s construction into the language of logarithmic geometry is given in [3, Section 1], while the local (toric) situation is discussed in [15, Section 3.2]
Any smooth idealized log variety X is étale locally isomorphic to a union of orbits of a normal toric variety. Thus the filtration \(X^k\) turns X into a filtered semitoroidal variety on the sense of [6, Definiton 5.2]. Let \(\phi _k:\tilde{X}^k \rightarrow X^k \) be the normalization of the closed log stratum \(X^k\). Since X is étale locally isomorphic to a normal toric variety with its toric boundary divisor, \(\tilde{X}^k\) is the disjoint union of the irreducible components of \(X^k\). As each component is again étale locally isomorphic to a toric variety, \(\tilde{X}^k\) has a canonical induced smooth log structure (note that this log structure is not idealized). Set
The local Poincaré residue maps (see Sect. 2.2) induce a differential \(d:\mathcal C^i \rightarrow \mathcal C^{i+1}\), making \((\mathcal C^\bullet ,\, d)\) into a complex of \(\mathcal {O}_X\)modules.
Proposition 3.6
[6, Theorem 5.4] The complex \((\mathcal C^\bullet ,\, d)\) is isomorphic to the Grothendieck dualizing complex \(\omega '_{\underline{X}}[\dim X]\).
Remark 3.7
Any smooth log variety is étale locally isomorphic to an affine toric variety and hence is Cohen–Macaulay. Thus despite the above description of \(\omega '_{\underline{X}}\) as a complex, in this case it is actually a sheaf concentrated in the single degree \(\dim \underline{X}\). In other words the complex \(\mathcal C^\bullet \) only has nontrivial cohomology at \(\mathcal C^0\).
Example 3.8
Let us again consider the example of the affine space \(X = \mathbb {A}^{n}\) with the log structure given by the coordinate hyperplanes. Set \(Z_i = \{z_i = 0\}\). The first differential in the complex is then
The kernel of this morphism consists of all sections of the form \(z_1\cdots z_n f\frac{dz_1}{z_1} \wedge \dots \wedge \frac{dz_n}{z_n}\), agreeing with Example 2.3.
Each \(\omega _{\tilde{X}^k}\) is canonically a right \(\mathcal {D}_{\tilde{X}^i}\)module and this structure trivially extends to a right \(\mathcal {D}_X\)module structure on \(\mathcal C^i\), which one checks to be compatible with the differential d. Thus we have defined a right \(\mathcal {D}_X\)module structure on \(\omega '_{\underline{X}}\). If \(\underline{X}\) is smooth then \(\omega _{\underline{X}}\) is a submodule of \(\omega _X\) and hence this definition agrees with the \(\mathcal {D}_X\)module structure on \(\omega _{\underline{X}}\) given by restriction of the Lie derivative. We let \(\mu _X\) be the left module corresponding by (2) to \(\omega '_{\underline{X}}\), that is,
From Proposition 3.6 one obtains the following corollary.
Corollary 3.9
Example 3.10
Continuing Examples 2.3 and 3.8, \(\mu _{\mathbb {A}^{n}}\) is the left \(\mathcal {D}_{\mathbb {A}^{n}}\)module \(z_1\cdots z_n \mathcal {O}_{\mathbb {A}^{n}}[n]\) and the above corollary presents this as the kernel of the restriction morphism \(\mathcal {O}_{\mathbb {A}^{n}} \mapsto \bigoplus _i \mathcal {O}_{Z_i}\).
Remark 3.11
One notes that if \(X = \underline{X}\) is a smooth variety, then \(\mu _X = \mathcal {O}_X[\dim X]\). The general idea is that all occurrences of this shifted structure sheaf in the classical theory should be replaced by \(\mu _X\) is the logarithmic theory. In particular, all shifts by \(\dim X\) should replaced by tensoring with \(\mu _X\).
Following this idea, the dualizing complex for \(\mathcal {D}_X\) should be given by \(\mathcal {D}_X \otimes _{\mathcal {O}_X} \mu _X\). There are two possible left \(\mathcal {D}_X\)module structures on this complex: one by left multiplication and one by Proposition 2.5 as the tensor product of two left modules. Further, \(\mathcal {D}_X \otimes _{\mathcal {O}_X} \mu _X\) has a right module structure induced from the right module \(\mathcal {D}_X\)module structure on \(\mathcal {D}_X\) and Proposition 2.5. Unless otherwise stated, we will view \(\mathcal {D}_X \otimes _{\mathcal {O}_X} \mu _X\) as a \(\mathcal {D}_X \otimes \mathcal {D}_X^{\mathrm {op}}\)module via left multiplication and the tensor product right module structure.
Lemma 3.12
Let Z be a component of some closed log stratum \(X^k\) with the induced idealized log structure and let \(\mathcal M\) be a left \(\mathcal {D}_Z\)module which is locally free as an \(\mathcal {O}_Z\)module. Then there exists an involution of \(\mathcal {D}_X \otimes _{\mathcal {O}_X} \mathcal M\) that interchanges the \(\mathcal {D}_X\)module structures given by left multiplication with that of Proposition 2.5, and fixes the submodule \(\mathcal M\). In particular there exists such an involution of \(\mathcal {D}_X \otimes _{\mathcal {O}_X} \mu _X\). A similar statement holds for right modules.
Proof
As \(\mathcal {D}_X \otimes _{\mathcal {O}_X} \mathcal M = \mathcal {D}_Z \otimes _{\mathcal {O}_Z} \mathcal M\), we can assume that \(Z = X\). Let \(\mathcal N\) and \(\mathcal N'\) be \(\mathcal {D}_X \otimes _{\mathcal {O}_X} \mathcal M\) with the two different left \(\mathcal {D}_X\)actions. Then \(\mathcal N\) (resp. \(\mathcal N'\)) have good filtrations \(F_\bullet \) (resp. \(F'_\bullet \)) such that \(F_0\mathcal N = F'_0\mathcal N'\) and \({\text {gr}}_{F}\mathcal N = {\text {gr}}_{F'}\mathcal N'\). Lifting the identity morphism of this associated graded we obtain the desired involution (see [5, Lemma D.2.3]).
The involution of \(\mathcal {D}_X \otimes _{\mathcal {O}_X} \mu _X\) follows from the description of \(\omega '_{\underline{X}}\) given in Proposition 3.6 and the fact that the involutions fix \({\text {Hom}}_{\mathcal {O}_X}(\omega _X,\ \mathcal C^i)\). \(\square \)
Lemma 3.13
The complex \(\mathcal {D}_X \otimes _{\mathcal {O}_X} \mu _X\) has finite injective dimension.
Proof
It suffices to show that for sufficiently large i one has \({\text {Ext}}^i(\mathcal M,\, \mathcal {D}_X \otimes _{\mathcal {O}_X} \mu _X) = 0\) for all \(\mathcal {D}_X\)modules \(\mathcal M\). One can further restrict to \(\mathcal M = \mathcal {D}_X / I\) for all left ideals I of \(\mathcal {D}_X\). Such \(\mathcal M\) are clearly coherent and endowed with a global good filtration. The filtration on \(\mathcal {D}_X\) induces a good filtration on \(\mathcal {D}_X \otimes _{\mathcal {O}_X} \mu _X\) such that its associated graded is given by \(\pi ^*(\omega _X^\vee \otimes _{\mathcal {O}_X} \omega '_{\underline{X}})\), where \(\pi :T^*X \rightarrow X\) is the projection from the log cotangent bundle. As this is a dualizing complex, it follows that \({\text {Ext}}^i\bigl ({\text {gr}}\mathcal M,\, {\text {gr}}(\mathcal {D}_X \otimes _{\mathcal {D}_X} \mu _X)\bigr )\) vanishes for all sufficiently large i independently of \(\mathcal M\). Thus also \({\text {Ext}}^i(\mathcal M,\, \mathcal {D}_X \otimes _{\mathcal {O}_X} \mu _X)\) vanishes. \(\square \)
For any left \(\mathcal {D}_X\)module \(\mathcal M\) the \(\mathcal {D}_X^{\mathrm {op}}\)structure on \(\mathcal {D}_X \otimes _{\mathcal {O}_X} \mu _X\) induces a right module structure on \(\underline{{\text {Hom}}}_{\mathcal {D}_X}(\mathcal M,\, \mathcal {D}_X \otimes _{\mathcal {O}_X} \mu _X)\). Thus we define the duality functor
We will show in Theorem 3.17 that, up to a shift, \(\mathcal {D}_X \otimes _{\mathcal {O}_X} \mu _X\) is indeed the rigid dualizing complex for \(\mathcal {D}_X\). In particular, we will have that \(\mathbb {D}_X \circ \mathbb {D}_X \cong {\text {id}}\). The proof of Theorem 3.17 will be based on the following duality theorem.
Theorem 3.14
Let \(f:X \rightarrow Y\) be a morphism of smooth idealized log varieties such that the induced map \(f:\underline{X} \rightarrow \underline{Y}\) on the underlying varieties is projective. Let \(\mathcal M \in \mathbf {D}^{\mathrm {b}}_{\mathrm {coh}}(\mathcal {D}_{X})\) and assume that locally on Y the cohomology modules of \(\mathcal M\) admit a good filtration. Then there exists a canonical isomorphism in \(\mathbf {D}^{\mathrm {b}}_{\mathrm {coh}}(\mathcal {D}_{Y})\)
We note that by Lemma 3.2\(f_\bullet \mathcal M\) is indeed coherent, so that the statement of the theorem makes sense.
Lemma 3.15
Let \(i:Z \rightarrow X\) be a closed immersion of smooth idealized log varieties. Then \(i^!(\mathcal {D}_X \otimes _{\mathcal {O}_X} \mu _X) \cong i^*\mathcal {D}_X \otimes _{\mathcal {O}_Z} \mu _Z\).
Proof
\(\square \)
Lemma 3.16
Let \(f:X \rightarrow Y\) be a morphism of smooth idealized log varieties such that the induced map \(f:\underline{X} \rightarrow \underline{Y}\) on the underlying varieties is projective. Then there exists a canonical morphism of functors \(\mathbf {D}^{\mathrm {b}}_{\mathrm {coh}}(\mathcal {D}_{X}) \rightarrow \mathbf {D}^{\mathrm {b}}_{\mathrm {coh}}(\mathcal {D}_{Y})\)
Proof
For any \(\mathcal M \in \mathbf {D}^{\mathrm {b}}_{\mathrm {coh}}(\mathcal {D}_{X})\) we have
and
Considering the morphism
it thus suffices to construct a canonical morphism
We can assume that f is either a closed immersion \(X \rightarrow \underline{\mathbb {P}^{n}} \times Y\) or the projection \(\underline{\mathbb {P}^{n}} \times Y \rightarrow Y\). In the first case, by Proposition 3.4 and Lemma 3.15 we have
Thus we take the image of the identity morphism for our map.
If f is a projection \(\underline{\mathbb {P}}^{n} \times Y \rightarrow Y\), then \(\mu _{\underline{\mathbb {P}}^{n} \times Y} = \mu _{\underline{\mathbb {P}}^{n}} \boxtimes \mu _Y\). Thus we can reduce to the case that Y is a point. But \(\mu _{\underline{\mathbb {P}}^{n}} = \mathcal {O}_{\mathbb {P}^{n}}[n]\), so that the desired morphism is just the classical trace morphism \(f_{\bullet }\mathcal {O}_{\mathbb {P}^{n}}[n] \rightarrow \mathbb {C}\).
Finally, we need to check that the constructed morphism is independent of the chosen factorization of f. Given two different factorizations as above one can form a commutative diagram
for some \(N \ge n_1, n_2\). For closed immersions, the constructed map is obtained by adjunction. Hence it is compatible with composition. Thus it suffices to show that \(\underline{\mathbb {P}}^{n_1} \times Y \rightarrow Y\) and \(\underline{\mathbb {P}}^{n_1} \times Y \rightarrow \underline{\mathbb {P}}^{N} \times Y \rightarrow Y\) induce the same duality map. As before, we reduce to the case that Y is a point. But then all log structures are trivial, so that the statement is just usual duality for Dmodules. \(\square \)
Proof of Theorem 3.14
We have to show that the morphism of Lemma 3.16 is an isomorphism. As usual, it suffices to show this for \(\mathcal M\) an object of the abelian category \(\mathbf {Coh}(\mathcal {D}_{X})\). Then by assumption, locally on Y, \(\mathcal M\) is generated by an \(\mathcal {O}_X\)coherent \(\mathcal {O}_X\)submodule, i.e. it is a quotient of a module of the form \(\mathcal {D}_X \otimes _{\mathcal {O}_X} \mathcal G\) for some coherent \(\mathcal {O}_X\)module \(\mathcal G\), with action given by left multiplication. Thus by the Wayout Lemma it suffices to prove the statement for modules of the form \(\mathcal {D}_X \otimes _{\mathcal {O}_X} \mathcal G\).
We thus compute
and
Thus the result follows from Grothendieck duality
\(\square \)
Theorem 3.17
Let X be a smooth idealized log variety. Then the rigid dualizing complex for \(\mathcal {D}_X\) is given by \(\mathcal {D}_X \otimes _{\mathcal {O}_X} \mu _X[{\text {logdim}}X]\).
Proof
We already know that \(\mathcal {D}_X \otimes _{\mathcal {O}_X} \mu _X\) has finite injective dimension. Showing that the canonical map
is an isomorphism for coherent \(\mathcal M\) is a local question. Hence we can assume that \(\mathcal M\) has a free resolution. Inducting on the length of the resolution, we can further reduce to the case that \(\mathcal M = \mathcal {D}_X\). Then,
where the second isomorphism follows via tensorhom adjunction from Grothendieck duality \({\text {Hom}}_{\mathcal {O}_X}(\mu _X,\, \mu _X) \cong \mathcal {O}_X\).
Let \(\Delta :X \rightarrow X \times X\) be the diagonal map. Then for any right \(\mathcal {D}_X\)module \(\mathcal M\) we have \(\mathcal M \otimes _{\mathcal {D}_X} \mathcal {D}_{X \rightarrow X \times X} \cong \mathcal M \otimes _{\mathcal {O}_X} \mathcal {D}_X\) as right \(f^{1}\mathcal {D}_{X \times X}\)modules. It follows from the resolution (4) that \(\mathbb {D}_X \mathcal {O}_X = \mu _X [{\text {logdim}}X]\). Thus \(\Delta _\bullet \mu _X = \mathbb {D}_{X\times X} \Delta _\bullet \mathcal {O}_X[{\text {logdim}}X]\). Hence, with \(d = {\text {logdim}}X\) and applying Lemma 3.12 we have
Twisting by \(\omega _X\) and shifting by d we obtain the desired isomorphism
\(\square \)
Lemma 3.18
For any \(\mathcal M \in \mathbf {D}^{\mathrm {b}}_{\mathrm {coh}}(\mathcal {D}_{X})\) and \(\mathcal N \in \mathbf {D}^{\mathrm {b}}(\mathcal {D}_{X})\) there exists a canonical isomorphism
Proof
One has
The second equivalence follows from Lemma 2.6. \(\square \)
Pullback
Let \(f:X \rightarrow Y\) be a morphism of smooth idealized log varieties. While the pushforward \(f_\bullet \) is defined as in the classical setting, the definition of the pullback \(f^!\) needs some care in order for the expected adjunctions to exist. Recall that in the classical theory, the functor \(f^!\) differs from the naive pullback \(f^*\) by a shift by \(\dim X  \dim Y\). Thus, following the spirit of Remark 3.11, in the logarithmic theory one must twist by an appropriate relative version of \(\mu _X\).
If \(\mathcal F\) is a (complex of) coherent \(\mathcal {O}_Y\)module(s), we write \(f^!_{\mathcal {O}\text {mod}}\) for the \(\mathcal {O}\)module !pullback along f. Further we write \(\mathbb {D}^{\mathrm {Se}}_Y(\mathcal F) = \underline{{\text {Hom}}}_{\mathcal {O}_Y}(\mathcal F,\, \omega '_{\underline{Y}})\) for the \(\mathcal {O}\)module dual of \(\mathcal F\). These two operations are related by \(f^!_{\mathcal {O}\text {mod}} = \mathbb {D}^{\mathrm {Se}}_X \circ f^* \circ \mathbb {D}^{\mathrm {Se}}_Y\), and if f is Torfinite^{Footnote 2} one has \(f^!_{\mathcal {O}\text {mod}}\mathcal F = f^*\mathcal F \otimes _{\mathcal {O}_X} f^!_{\mathcal {O}\text {mod}}\mathcal {O}_Y\). One always has \(f^!_{\mathcal {O}\text {mod}}\omega '_{\underline{Y}} = \omega '_{\underline{X}}\).
Let now \(\mathcal M \in \mathbf {D}^{\mathrm {b}}_{\mathrm {coh}}(\mathcal {D}_{Y}^{\mathrm {op}})\) have \(\mathcal {O}_Y\)coherent cohomology sheaves. Then \(\mathbb {D}^{\mathrm {Se}}_Y\mathcal M\) is canonically a left \(\mathcal {D}_Y\)module and hence \(f^!_{\mathcal {O}\text {mod}}\mathcal M = \mathbb {D}^{\mathrm {Se}}_X \circ f^* \circ \mathbb {D}^{\mathrm {Se}}_Y (\mathcal M)\) is canonically a right \(\mathcal {D}_X\)module. In particular \(\omega '_{\underline{X}/\underline{Y}} = f^!_{\mathcal {O}\text {mod}}\mathcal {O}_Y\) is canonically a right \(\mathcal {D}_X\)module.
The right \(\mathcal {D}_Y\)module structure on \(\mathcal {O}_Y\) induces a left module structure on \(\omega _Y^\vee = \underline{{\text {Hom}}}_{\mathcal {O}_X}(\omega _Y,\, \mathcal {O}_Y)\) and hence a right \(\mathcal {D}_X\)module structure on \(\omega _{X/Y} = \omega _X \otimes _{\mathcal {O}_X} f^*\omega _Y^\vee \). Set
Definition 3.19
Let \(f:X \rightarrow Y\) be a Torfinite morphism of smooth idealized log varieties. Define a functor \(f^!:\mathbf {D}^{\mathrm {}}_{\mathrm {qc}}(\mathcal {D}_{Y}) \rightarrow \mathbf {D}^{\mathrm {}}_{\mathrm {qc}}(\mathcal {D}_{X})\) by
Recalling that for a closed immersion \(i:Z \rightarrow X\) the sheaf \(i^!_{\mathcal {O}\text {mod}}\mathcal F\) is isomorphic to \(\underline{{\text {Hom}}}_{i^{1}\mathcal {O}_X}(\mathcal {O}_Z,\, \mathcal F)\), a straightforward computation shows that for a Torfinite closed immersion Definitions 3.19 and 3.3 agree.
Any morphism \(f:X \rightarrow Y\) can be canonically factored into a closed immersion \(X \rightarrow X \times Y\) followed by projection \(X \times Y \rightarrow Y\). Having defined the !pullback for each of those factors, one obtains \(f^!\) in general.
Remark 3.20
This also provides a nice explanation for the definition of \(f^!\) in the classical theory of Dmodules. For this one notes that every morphism of classically smooth varieties is Torfinite. Hence in this case Definition 3.19 suffices to cover the general case. If the log structures on X and Y are trivial, then \(\mu _{X/Y} \cong \mathcal {O}_X[\dim X\dim Y]\). In other words, even in the classical setting \(f^!\) should be defined via the exceptional \(\mathcal {O}\)module pullback, but switching between left and right modules reduces this to a shift of the naive pullback.
It might be interesting to see how, for general morphisms f of smooth log varieties, one can obtain a \(\mathcal {D}_X\)module structure directly on (a suitable modification of) \(f^!_{\mathcal {O}\text {mod}}\mathcal M\).
Proposition 3.21
Let \(f:X \rightarrow Y\) be a Torfinite projective morphism of smooth idealized log varieties. Then for any \(\mathcal M \in \mathbf {D}^{\mathrm {b}}_{\mathrm {coh}}(\mathcal {D}_{X})\) and \(\mathcal N \in \mathbf {D}^{\mathrm {b}}(\mathcal {D}_{Y})\) there exists a canonical isomorphism
Proof
One has an isomorphism \(\mu _X = \mu _{X/Y} \otimes _{\mathcal {O}_X} f^*\mu _Y\). Set \(\mathcal N' = \underline{{\text {Hom}}}_{\mathcal {O}_Y}(\mu _Y, \mathcal N)\). Then \(\mathcal N = \mathcal N' \otimes _{\mathcal {O}_Y} \mu _Y\) and \(f^!\mathcal N = f^!\mathcal N' \otimes _{\mathcal {O}_X} f^*\mu _Y = f^*\mathcal N' \otimes _{\mathcal {O}_X}\mu _X\). Thus by Lemma 3.18 and Theorem 3.14,
\(\square \)
Remark 3.22
Let us note that the usual basechange theorem does not generalize to the theory of logarithmic Dmodules. For example, if \(\mathrm {pt}\rightarrow \mathbb {A}^{1}\) it the inclusion of the (idealized) log point into the origin, then \(i^!i_\bullet \) is not equal to the identity for the same reason as in the \(\mathcal {O}\)module case. Indeed,
One would expect this issue to be resolved by a suitable theory of “derived logarithmic geometry.”
Pushforward of holonomic modules
Recall that a \(\mathcal {D}_X\)module \(\mathcal M\) is called holonomic if \({\text {logdim}}{\text {Ch}}(\mathcal F) = {\text {logdim}}X\). If the characteristic variety of \(\mathcal M\) is contained in the zero section of \(T^*X\), then \(\mathcal M\) is necessarily \(\mathcal {O}_X\)coherent. In this case we call \(\mathcal M\) an integrable (log) connection. As in the classical setting if \(\mathcal M\) is holonomic there always exists a divisor Z on X such that \(\mathchoice{\left. \mathcal M\right _{X\setminus Z}}{\mathcal M_{X\setminus Z}}{\mathcal M_{X\setminus Z}}{\mathcal M_{X\setminus Z}}\) is an integrable connection.
The aim of this section is to prove the following fundamental theorem.
Theorem 4.1
Let \(f:X \rightarrow Y\) be a projective morphism of smooth idealized log varieties and assume that the morphism on characteristics \(f^\flat :f^{1}\overline{M}_Y \rightarrow \overline{M}_X\) is injective. Assume that \(\mathcal M \in \mathbf {D}^{\mathrm {b}}_{\mathrm {h}}(\mathcal {D}_{X})\) admits locally on Y a good filtration. Then \(f_\bullet \mathcal M\) is holonomic.
Kashiwara’s estimate
If \(f:X \rightarrow Y\) is a morphism of smooth idealized log varieties then we have an associated diagram of log cotangent bundles
Proposition 4.2
(Kashiwara’s estimate for the characteristic variety) Let \(f:X \rightarrow Y\) be a proper morphism of smooth log varieties and assume that \(\mathcal M \in \mathbf {Coh}(\mathcal {D}_{X})\) has locally on Y a good filtration. Then
As we currently do not have a theory of logarithmic microdifferential operators, we will follow the proof using the Rees construction given in [11] (which is in turn based on the ideas in [12]). Since to the author’s knowledge this proof has not appeared in peerreviewed literature we will reproduce it here. Of course the author does not claim any originality.
Let \((\mathcal A,\, F_\bullet )\) be a filtered sheaf of \(\mathbb {C}\)algebras. Recall that the Rees sheaf of rings \(R(\mathcal A)\) is the subsheaf \(\bigoplus _n F_n\mathcal A z^n\) of \(\mathcal A \otimes _{\mathbb {C}} \mathbb {C}[z,z^{1}]\). If \((\mathcal M,\, F_\bullet )\) is a filtered \(\mathcal A\)module, then \(R(\mathcal M)\) is similarly defined to be the \(R(\mathcal A)\)module \(\bigoplus _n F_n\mathcal M z^n\). It follows that
Any graded \(R(\mathcal A)\)module without \(\mathbb {C}[z]\)torsion is canonically obtained from a filtered \(\mathcal A\)module.
We will apply this to \(\mathcal {D}_X\) with its usual filtration. If \(\mathcal M\) is a coherent \(\mathcal {D}_X\)module with a global good filtration, then the associated Rees module \(R(\mathcal M)\) is a coherent \(R(\mathcal {D}_X)\)module.
For a morphism \(f:X \rightarrow Y\) of smooth idealized log varieties we define a functor \(f^R_{\bullet }\mathbf {D}^{+}(R(\mathcal {D}_X)) \rightarrow \mathbf {D}^{+}(R(\mathcal {D}_Y))\) by \(f^R_{\bullet }\mathcal N = f_*\bigl (R(\mathcal {D}_{Y \leftarrow X}) \otimes _{R(\mathcal {D}_X)} \mathcal N\bigl )\).
Lemma 4.3
Let \(f:X \rightarrow Y\) be a morphism of smooth log varieties.

(i)
If f is proper, then \(f^R_{\bullet }\) preserves coherence.

(ii)
For any \(\mathcal N \in \mathbf {Mod}_{}(R(\mathcal {D}_X))\) and any i there exists a canonical equivalence
$$\begin{aligned} H^i(f^R_{\bullet }\mathcal N) / (z1)H^i(f^R_{\bullet }\mathcal N) \cong H^i\bigl (f_{\bullet }(\mathcal N/(z1)\mathcal N)\bigr ). \end{aligned}$$ 
(iii)
Assume that \(\mathcal M \in \mathbf {Coh}(\mathcal {D}_{X})\) has a global good filtration. Then the quotient of \(H^i(f^R_{\bullet } R(\mathcal M))\) by its ztorsion is the Rees module associated to some good filtration on \(H^i(f_{\bullet }\mathcal M)\).
Proof
Assertion (i) can be shown in the same way as the corresponding statement for \(\mathcal {D}_X\)modules (Lemma 3.2).
For (ii) we first note that for any complex of modules N over a Rees ring one has \(H^i(N/(z1)N) \cong H^i(N)/(z1)H^i(N)\). The tensor product \(R(\mathcal {D}_{Y \leftarrow X}) \otimes _{R(\mathcal {D}_X)} \mathcal N\) in the definition of \(f^R_{\bullet }\) can be computed with a Spencertype resolution of \(R(\mathcal {D}_{Y \leftarrow X})\) with \({\text {Sp}}(R(\mathcal {D}_{Y \leftarrow X}))/(z1){\text {Sp}}(R(\mathcal {D}_{Y \leftarrow X})) \cong {\text {Sp}}(\mathcal {D}_{Y \leftarrow X})\). Finally, the derived functor \(f_*\) can be computed via a Godement resolution of its argument. Restricting the Godement resolution of a sheaf \(\mathcal F\) over the Rees algebra to \(z=1\) reproduces the Godement resolution for \(\mathcal F/(z1)\mathcal F\).
To show (iii) let T be the ztorsion submodule of \(H^i(f^R_\bullet (R(\mathcal M)))\). The module \(H^i(f^R_\bullet (R(\mathcal M))) / T\) is ztorsion free and hence is the Rees module of some good filtration on
By the above, the latter module is isomorphic to
\(\square \)
Proof of Proposition 4.2
As the statement is local on Y, one can assume that \(\mathcal M\) has a good filtration \(F_\bullet \).
Define a functor \(f^{{\text {gr}}}_\bullet :\mathbf {Mod}_{}({\text {gr}}\mathcal {D}_X) \rightarrow \mathbf {Mod}_{}({\text {gr}}\mathcal {D}_Y)\) by \(f^{{\text {gr}}}_\bullet = \varpi _{f,*} \circ \rho _f^*\). One sees that
The remainder of the proof consists of comparing the support of \({\text {gr}}(f_\bullet \mathcal M)\) with that of \(f^{{\text {gr}}}_\bullet ({\text {gr}}\mathcal M)\). We will do so by interpolating with the help of the Rees construction.
As \(H^i(f^R_\bullet (R(\mathcal M)))\) is coherent, the sequence of submodules given by the kernel of multiplication by \(z^j\) (locally) stabilizes. Thus we can assume that the ztorsion submodule of \(H^i(f^R_\bullet (R(\mathcal M)))\) is given by \(\ker z^\ell \) for some fixed \(\ell \).
We will denote by \({\text {gr}}_{[\ell ]}\mathcal M = \bigoplus _k F_k\mathcal M/F_{k\ell }\mathcal M\) the grading with step \(\ell \). One defines the functor \(f_\bullet \) for \({\text {gr}}_{[\ell ]}\mathcal {D}_X\)modules in the same manner as for \(\mathcal {D}_X\)modules.
It follows from Lemma 4.3(iii) that
is a quotient of . The exact sequence
implies that in turn is a submodule of
Thus \({\text {gr}}_{[\ell ]} H^i(f_\bullet \mathcal M)\) is a \({\text {gr}}_{[\ell ]}\mathcal {D}_Y\)subquotient of \(H^i(f_\bullet {\text {gr}}_{[\ell ]}\mathcal M)\).
We filter \({\text {gr}}_{[\ell ]}\mathcal {\mathcal {D}}_X\) by the finite filtration
Similarly, we have finite Gfiltrations on \({\text {gr}}_{[\ell ]}\mathcal {D}_X\)modules. One notes that \({\text {gr}}^G {\text {gr}}^F_{[\ell ]} \cong {\text {gr}}^F \mathcal {D}_X[u]/u^\ell \) with u in Gdegree 1. Thus given a coherent \({\text {gr}}_{[\ell ]}\mathcal {D}_X\)module, its graded module with respect to any Gfiltration is \({\text {gr}}\mathcal {D}_X[u]/u^\ell \)coherent and hence also \({\text {gr}}\mathcal {D}_X\)coherent. Further, its support does not depend on the choice of Gfiltration.
The Gfiltration induces a finite spectral sequence with \(E_2\)term
converging to \({\text {gr}}^G H^i(f_\bullet {\text {gr}}^F_{[\ell ]} \mathcal M)\) for some suitable Gfiltration. Hence the support of \({\text {gr}}^G H^j(f_\bullet {\text {gr}}_{[\ell ]}^F \mathcal M)\) is contained in \({\text {supp}}H^i(f_\bullet ^{{\text {gr}}} \mathcal M) \subseteq \varpi _f(\rho _f^{1}{\text {Ch}}\mathcal M)\).
The Gfiltration on \(H^i(f_\bullet {\text {gr}}_{[\ell ]} \mathcal M)\) induces a Gfiltration on the subquotient \({\text {gr}}_{[\ell ]} H^i(f_\bullet \mathcal M)\). Thus the support of \({\text {gr}}^G {\text {gr}}^F_{[\ell ]} H^i(f_\bullet \mathcal M) \cong \bigl ({\text {gr}}^F H^i(f_\bullet \mathcal M))^\ell \) is contained in the support of \({\text {gr}}^G H^j(f_\bullet {\text {gr}}_{[\ell ]}^F \mathcal M)\) and hence in \(\varpi _f(\rho _f^{1}{\text {Ch}}\mathcal M)\). Therefore, so is the characteristic variety of \(H^i(f_\bullet \mathcal M)\). \(\square \)
Some reduction steps
For classical Dmodules, Theorem 4.1 follows from Proposition 4.2 together with a result from symplectic geometry. As the logarithmic cotangent bundle does not have a natural symplectic structure, we need some further reductions steps to deal with the logarithmic situation. The idea is to reduce to a situation with no interesting log structure.
Lemma 4.4
Let \(i:Z \hookrightarrow X\) be the inclusion of (a component of) a closed log stratum, endowed with the induced idealized log structure. Let \(\mathcal M = \mathcal {D}_X \otimes _{\mathcal {O}_X} \mathcal G\) for some \(\mathcal G \in \mathbf {Coh}(\mathcal {O}_{X})\) with \(\mathcal {D}_X\)module structure given by left multiplication. Then,
Proof of Proposition 4.2
In this situation one has \(i^*\mathcal {D}_X = \mathcal {D}_Z\) and \(i^*\omega _X = \omega _Z\). Thus,
\(\square \)
Lemma 4.5
Let X and Y be smooth idealized log varieties with X proper. Let \(f:X \times Y \rightarrow Y\) be the projection and let \(i:Z \hookrightarrow Y\) be the inclusion of (a component of) a closed log stratum (endowed with the induced idealized log structure). Consider the cartesian diagram
Assume that \(\mathcal M \in \mathbf {D}^{\mathrm {b}}_{\mathrm {coh}}(\mathcal {D}_{X \times Y})\) admits locally on Y a good filtration. Then there exists a canonical isomorphism
Proof
By adjunction we get a morphism
The question whether this is an isomorphism is local. Hence by the WayOut Lemma it suffices to show that it is an isomorphism when applied to \(\mathcal M = \mathcal {D}_{X\times Y} \otimes _{\mathcal {O}_X} \mathcal G\) for some \(\mathcal {O}\)coherent sheaf \(\mathcal G\). Then, using Lemma 4.4 and base change for coherent \(\mathcal {O}\)modules, one computes
\(\square \)
Lemma 4.6
Let \(i:Z \hookrightarrow X\) be the inclusion of (a component of) a closed log stratum, endowed with the induced idealized log structure. Then for any \(\mathcal M \in \mathbf {D}^{\mathrm {b}}_{\mathrm {coh}}(\mathcal {D}_{X})\) the restriction \(i^!\mathcal M\) is holonomic if and only if \({\text {logdim}}\mathchoice{\left. {\text {Ch}}(\mathcal M)\right _{Z}}{{\text {Ch}}(\mathcal M)_{Z}}{{\text {Ch}}(\mathcal M)_{Z}}{{\text {Ch}}(\mathcal M)_{Z}} = {\text {logdim}}X\).
Proof
One notes that in this situation \(\mathcal {D}_{X \leftarrow Z} = \mathcal {D}_Z = \mathcal {D}_X \otimes _{i^{1}\mathcal {O}_X} \mathcal {O}_Z\). Hence,
Thus the result follows from the fact that duality preserves holonomicity [10, Proposition 3.24] and [10, Lemma 3.17]. \(\square \)
Assume that the rank of \(\overline{M}^{\mathrm {gp}}_X\) is constant, i.e. X consists of a single log stratum. We note that if the rank is positive, then such X is always idealized. Then \(\underline{X}\) is necessarily smooth and by the description of \(\mathcal {D}_X\) given in Proposition 2.1\(n=\dim \underline{X}\), so that \(\mathcal {D}_{\underline{X}}\) naturally sits inside of \(\mathcal {D}_X\).
Lemma 4.7
Let X be a smooth idealized log variety and assume that the rank of \(\overline{M}^{\mathrm {gp}}_X\) is constant. Then \(\mathcal M \in \mathbf {Coh}(\mathcal {D}_{X})\) is holonomic if and only if it is coherent and holonomic as a \(\mathcal {D}_{\underline{X}}\)module.
Proof
The question is local, so that we can assume that \(\mathcal M\) has a good filtration and \(\mathcal {D}_X \cong \mathcal {D}_{\underline{X}}[\partial _{m_1},\dotsc ,\partial _{m_k}]\), where the generators \(\partial _{m_i}\) commute with everything.
Let Z be a closed subvariety of X defined by an ideal sheaf \(\mathcal J\). We set \(\mathcal M(*Z) = \varinjlim _m \underline{{\text {Hom}}}_{\mathcal {O}_X}(\mathcal J^m, \mathcal M)\). If \(j :U = X \setminus Z \hookrightarrow X\) is the inclusion, then \(\mathcal M(*Z)\) is a subsheaf of \(j_*j^*\mathcal M\) (indeed in the algebraic setting these two sheaves are the same). In particular, if \(\mathcal M' \subseteq \mathcal M\) and \(\mathchoice{\left. \mathcal M\right _{U}}{\mathcal M_{U}}{\mathcal M_{U}}{\mathcal M_{U}} = \mathchoice{\left. \mathcal M'\right _{U}}{\mathcal M'_{U}}{\mathcal M'_{U}}{\mathcal M'_{U}}\) then \((\mathcal M/\mathcal M')(*Z) = 0\) and hence \(\mathcal M(*Z) \cong \mathcal M'(*Z)\). Further there is a canonical map \(\mathcal M \rightarrow \mathcal M(*Z)\) whose kernel is supported on Z.
Since in the present situation \(\mathcal {D}_X\) differs from \(\mathcal {D}_{\underline{X}}\) only by the addition of some commuting operators which act trivially on \(\mathcal {O}_X\), many results about \(\mathcal {D}_{\underline{X}}\)modules also apply to \(\mathcal {D}_X\)modules with virtually unchanged proofs. In particular \(\mathcal M(*Z)\) is again a \(\mathcal {D}_X\)module [7, Lemma 1.1], and if \(\mathchoice{\left. \mathcal M\right _{U}}{\mathcal M_{U}}{\mathcal M_{U}}{\mathcal M_{U}}\) is holonomic, the so is \(\mathcal M(*Z)\) by the second main theorem of [7]. In fact more is true: If \(\mathchoice{\left. \mathcal M\right _{U}}{\mathcal M_{U}}{\mathcal M_{U}}{\mathcal M_{U}}\) is coherent and holonomic as a \(\mathcal {D}_{\underline{X}}\)module, then so is \(\mathcal M(*Z)\). Indeed, since we have a global good filtration, there exists a \(\mathcal {D}_{\underline{X}}\)coherent submodule which coincides with \(\mathcal M\) on U. By the above observation, replacing \(\mathcal M\) by this submodule does not change \(\mathcal M(*Z)\).
We further note that in the present situation Kashiwara’s Equivalence holds (with the usual proof), that is, if Z is smooth and i the inclusion then \(i_\bullet \) is exact and induces an equivalence of the category \(\mathbf {QCoh}(\mathcal {D}_{Z})\) with the subcategory of \(\mathbf {QCoh}(\mathcal {D}_{X})\) consisting of modules supported on Z. This equivalence respects coherence and holonomicity, both as \(\mathcal {D}_X\) and \(\mathcal {D}_{\underline{X}}\)modules.
We are now ready to prove the “only if” statement of the lemma by induction on the dimension of the support of \(\mathcal M\). If \(\dim {\text {supp}}\mathcal M = 0\) then the result is just an application of Kashiwara’s equivalence.
Set \(Z = {\text {supp}}\mathcal M\) and let \(Z_0\) be the singular locus of Z. Assume that we have shown that \(\mathchoice{\left. \mathcal M\right _{X \setminus Z_0}}{\mathcal M_{X \setminus Z_0}}{\mathcal M_{X \setminus Z_0}}{\mathcal M_{X \setminus Z_0}}\) is \(\mathcal {D}_{\underline{Z} \setminus \underline{Z}_0}\)coherent and holonomic. Then \(\mathcal M(*Z_0)\) is \(\mathcal {D}_{\underline{X}}\)coherent and holonomic, and the cone of the morphism \(\mathcal M \rightarrow \mathcal M(*Z_0)\) is \(\mathcal {D}_X\)coherent, holonomic and supported on \(Z_0\). We are thus done by induction.
Hence we can assume that Z is nonsingular and apply Kashiwara’s equivalence to replace X by Z. Then there exists a divisor D such that \(\mathchoice{\left. \mathcal M\right _{X \setminus D}}{\mathcal M_{X \setminus D}}{\mathcal M_{X \setminus D}}{\mathcal M_{X \setminus D}}\) is \(\mathcal {O}_X\)coherent and thus certainly \(\mathcal {D}_{\underline{X}}\)coherent and holonomic. Taking the cone of the map \(\mathcal M \rightarrow \mathcal M(*D)\) we reduce to a module supported on D and apply induction.
The proof of the other implication proceeds in a similar manner. \(\square \)
Proof of Theorem 4.1
We factor f into a closed immersion \(X \hookrightarrow \mathbb {P}^{n} \times Y\) followed by a projection \(\mathbb {P}^{n} \times Y \rightarrow Y\), where we endow \(\mathbb {P}^{n}\) with the trivial log structure.
If \(i :Z \rightarrow X\) is any closed immersion such that \(i^{1}\overline{M}_X \rightarrow \overline{M}_Z\) is injective, then the fibers of \(\rho :\mathchoice{\left. T^*X\right _{Z}}{T^*X_{Z}}{T^*X_{Z}}{T^*X_{Z}} \rightarrow T^*Z\) have at most dimension \(\dim X  \dim Z\) (they may be empty). Hence Proposition 4.2 shows that \(i_{\bullet }\) preserves holonomicity.
Let new \(p:\mathbb {P}^{n} \times Y \rightarrow Y\) be the projection. By Lemma 4.6 it suffices to check that the !pullback of \(p_{\bullet }\mathcal M\) to each log stratum is holonomic. The statement is local on Y, so that using Lemma 4.5, we can thus assume that Y consists of a single log stratum. But then holonomicity as \(\mathcal {D}_Y\)modules coincides with holonomicity as \(\mathcal {D}_{\underline{Y}}\)modules by Lemma 4.7, so that the statement is classical. \(\square \)
Sheaves on the Kato–Nakayama space
Let X be an analytic log variety. Following [8] the logarithmic de Rham functor should take values in sheaves on the socalled Kato–Nakayama space \({X}_{\mathrm {log}}\). Recall that as a set \({X}_{\mathrm {log}}\) is defined to be all pairs \((x, \sigma )\), with \(x \in X\) and \(\sigma :M_{X,x} \rightarrow S^1\) a homomorphism of monoids fitting into the commutative diagram
We refer to [8, Section 1] and [16, Section V.1.2] for details. If X is a smooth (idealized) log variety, \({X}_{\mathrm {log}}\) has the structure of a topological manifold with boundary whose interior is identified with \(X^* = X \setminus X^1\) (resp. a topological \((S^1)^e\)bundle over \(X \setminus X^1\) in the idealized case, where e is the generic rank of \(\overline{M}^{\mathrm {gp}}\)). We let \(\tau _X :{X}_{\mathrm {log}} \rightarrow X\) be the projection. It is proper with and its fibers \(\tau _X^{1}(x)\) have a structure of a torsor under the real torus \({\text {Hom}}(\overline{M}^{\mathrm {gp}}_{X,x},\, S^1) \cong (S^1)^{\mathrm {rk} \overline{M}^{\mathrm {gp}}_{X,x}}\).
If \(\underline{X}\) is classically smooth and the log structure on X is given by a simple normal crossings divisor D, then \({X}_{\mathrm {log}}\) is the real blowup of \(\underline{X}\) along D.
Graded topological spaces
The de Rham functor will send Dmodules to certain graded sheaves on the Kato–Nakayama space. A theory of such graded sheaves was developed in [9]. In order to fix notation, we give a brief overview of the basic definitions of this theory.
Thus in this subsection X will denote be a topological space, which we will always assume to be locally compact and Hausdorff. We fix a commutative noetherian base ring k. A graded topological space\((X, \Lambda )\) consists of a topological space X together with a sheaf of abelian groups \(\Lambda \) on X. A morphism of graded topological spaces \((X,\Lambda _X) \rightarrow (Y,\Lambda _Y)\) consists of a pair \((f,f^\flat )\), where \(f:X \rightarrow Y\) is a continuous map and \(f^\flat :f^{1}\Lambda _Y \rightarrow \Lambda _X\) is a morphism of sheaves of abelian groups.
A (\(\Lambda \)graded) presheaf\(\mathcal F\) on \((X, \Lambda )\) assigns to each open subset U of X a \(\Lambda (U)\)graded kmodule \(\mathcal F(U)\) together with a restriction map \(\rho ^U_V\) for each open inclusion \(V \subseteq U\) such that \(\rho ^U_V(\mathcal F(U)_\lambda ) \subseteq \mathcal F(V)_{\mathchoice{\left. \lambda \right _{V}}{\lambda _{V}}{\lambda _{V}}{\lambda _{V}}}\) for all \(\lambda \in \Lambda (U)\). For any \(\lambda \in \Lambda (X)\) we write \(\mathcal F_\lambda \) for the ordinary presheaf \(U \mapsto \mathcal F(U)_{\mathchoice{\left. \lambda \right _{U}}{\lambda _{U}}{\lambda _{U}}{\lambda _{U}}}\) and \(\mathcal F\langle \lambda \rangle \) for the graded presheaf with \(\mathcal F\langle \lambda \rangle (U)_\mu = \mathcal F(U)_{\mathchoice{\left. \lambda \right _{U}}{\lambda _{U}}{\lambda _{U}}{\lambda _{U}} + \mu }\). A \(\Lambda \)graded presheaf \(\mathcal F\) is called a (\(\Lambda \)graded) sheaf if for each open subset U of X and each \(\lambda \in \Lambda (U)\) the ordinary presheaf \((\mathchoice{\left. \mathcal F\right _{U}}{\mathcal F_{U}}{\mathcal F_{U}}{\mathcal F_{U}})_\lambda \) is a sheaf. Morphism of graded (pre) sheaves are defined in the obvious way by the requirement to be preserve the grading on each open subset.
Let \(f:(X,\Lambda _X) \rightarrow (Y,\Lambda _Y)\) be a morphism of graded topological spaces. One defines an adjoint pair of functors between the corresponding categories of graded sheaves as follows. The functor
is given by
Its right adjoint
is defined as
This theory can be further enhanced by adding a sheaf of rings so that a ringed graded space is a triple \((X,\Lambda , \mathcal R)\) such that \((X,\Lambda )\) is a graded topological space and \(\mathcal R\) is a \(\Lambda \)graded sheaf of kalgebras. A morphism of graded ringed topological spaces \((X,\Lambda _X,\mathcal R_X) \rightarrow (Y,\Lambda _Y,\mathcal R_Y)\) is a triple \((f,f^\flat ,f^\sharp )\) where \((f,f^\flat )\) is a morphism of graded topological spaces and \(f^\sharp :f_{{\text {gr}}}^{1}\mathcal R_Y \rightarrow \mathcal R_X\) is morphism of \(\Lambda _X\)graded sheaves of kalgebras. Such a morphism is called strict if \(f^\flat \) and \(f^\sharp \) are isomorphisms. (\(\Lambda \)graded) sheaves of \(\mathcal R\)modules are defined in the obvious way.
The functor \(f_{{\text {gr}},*}\) immediately upgrades to a functor of graded sheaves of modules. Its left adjoint is
Besides \(f_{{\text {gr}},*}\) one also has the direct image with proper supports \(f_{{\text {gr}},!}\mathcal F\), which is the subsheaf of \(f_{{\text {gr}},*}\mathcal F\) with sections
The main result of [9] is an extension of Poincaré–Verdier duality to ringed grades spaces, stating that on the level of derived categories \(f_{{\text {gr}},!}\) has a right adjoint \(f_{{\text {gr}}}^!\). Let \(p:(X, \Lambda , \mathcal R) \rightarrow (\mathrm {pt}, 0, k)\) be the canonical morphism. When k is a field one calls \(p_{{\text {gr}}}^!k\) the dualizing complex of \((X,\Lambda ,\mathcal R)\).
The ring \(\mathbb {C}^{\log }_X\) and modules over it
To classify arbitrary log connections (or \(\mathcal {D}_X\)modules) it is not sufficient to consider sheaves of \(\mathbb {C}\)modules on \({X}_{\mathrm {log}}\). For this reason Ogus [17] introduced a graded sheaf of rings on \({X}_{\mathrm {log}}\) whose definition we will recall now. Set \(\Lambda = \mathbb {C}\otimes \overline{M}^{\mathrm {gp}}_X\). By abuse of notation we will also write \(\Lambda \) for the pullback \(\tau _X^{1}\Lambda \). Let \(K_X\) be the sheaf of ideals defining the idealized structure of X. (The reader not interested in the idealized setting may assume \(K_X\) to be zero.) The sheaf \(\mathbb {C}^{\log }_X\) is defined to be the pullback by \(\tau _X\) of the quotient of the sheaf of monoid algebras \(\mathbb {C}[\overline{M}_X]\) by the ideal generated by \(K_X\).
The inclusion \(\overline{M}_X \rightarrow \Lambda \) gives \(\mathbb {C}^{\log }_X\) the structure of a \(\Lambda \)graded sheaf of rings. We write \(\mathbf {Mod}_{}(\mathbb {C}^{\log }_{X})\) for the category of \(\Lambda \)graded sheaves of \(\mathbb {C}^{\log }_X\)modules and \(\mathbf {D}^{\mathrm {b}}_{}(\mathbb {C}^{\log }_{X})\) for its bounded derived category. Ogus further defines the subcategory \(\mathbf {L}^\Lambda _{\mathrm {coh}}(\mathbb {C}^{\log }_{X})\) of coherent\(\mathbb {C}^{\log }_X\)modules [17, Definition 3.2.4], which are the correct analogue of local systems in this setting. He then proves that this category is equivalent to the category of logarithmic connections on X [17, Theorem 3.4.2], where a logarithmic connection is just an \(\mathcal {O}_X\)coherent \(\mathcal {D}_X\)module.
A morphism \(f:X \rightarrow Y\) of analytic log varieties induces a morphism of ringed graded topological spaces \(f_{\log }:{X}_{\mathrm {log}} \rightarrow {Y}_{\mathrm {log}}\) fitting into the commutative diagram
If f is strict then this diagram is cartesian.
The image of the logarithmic de Rham functor will not be arbitrary sheaves of \(\mathbb {C}^{\log }_X\)modules. As in [17], we will impose a monodromy condition along the fibers of \(\tau _X\). For this we note that for any point \(x \in X\) the logarithmic inertia group \(I_x = {\text {Hom}}(\overline{M}^{\mathrm {gp}}_{X,x},\, 2\pi i \mathbb {Z})\) is canonically identified with the fundamental group of \(\tau _X^{1}(x)\). For any \(x \in X\) there exists a natural pairing \(\langle {},{} \rangle :I_{x} \otimes \Lambda _x \rightarrow \mathbb {C}\). If \(m \in \overline{M}^{\mathrm {gp}}_{X,x}\), then \(\exp \langle {},m\rangle = 1\).
We write \(\mathbf {Mod}_{\tau }(\mathbb {C}^{\log }_{X})\) for the full subcategory of \(\mathbf {Mod}_{}(\mathbb {C}^{\log }_{X})\) consisting of sheaves which are locally constant along fibers of \(\tau _X\). The inclusion \(\mathbf {Mod}_{\tau }(\mathbb {C}^{\log }_{X}) \rightarrow \mathbf {Mod}_{}(\mathbb {C}^{\log }_{X})\) has a right adjoint \(\Psi ^\tau \) given by associating to any sheaf \(\mathcal F\) the largest subsheaf of \(\mathcal F\) contained in \(\mathbf {Mod}_{\tau }(\mathbb {C}^{\log }_{X})\).
For any \(\mathcal F \in \mathbf {Mod}_{\tau }(\mathbb {C}^{\log }_{X})\) and any point z of \({X}_{\mathrm {log}}\) there is a natural action \(\rho \) of \(I_{\tau (z)}\) on the stalk of \(\mathcal F\) at z. Using this action we let \(\mathbf {Mod}_{\Lambda }(\mathbb {C}^{\log }_{X})\) be the full subcategory of \(\mathbf {Mod}_{\tau }(\mathbb {C}^{\log }_{X})\) consisting of sheaves \(\mathcal F\) such that for each \(z \in {X}_{\mathrm {log}}\), \(\gamma \in I_{\tau _X(z)}\) and \(\lambda \in \Lambda _z\) the action of \(\rho _\gamma  \exp \langle \gamma , \lambda \rangle \) on \(\mathcal F_{\lambda ,z}\) is locally nilpotent, that is for any \(s \in \mathcal F_{\lambda ,z}\) there exists a positive integer N such that \((\rho _\gamma  \exp \langle \gamma , \lambda \rangle )^N s = 0\). The inclusion \(\mathbf {Mod}_{\Lambda }(\mathbb {C}^{\log }_{X}) \rightarrow \mathbf {Mod}_{\tau }(\mathbb {C}^{\log }_{X})\) has a right adjoint \(\Psi ^\Lambda \) which is explicitly given by associating to a sheaf \(\mathcal F\) the subsheaf \(\Psi ^\Lambda (\mathcal F)\) whose sections over U consist of all those sections \(s \in \mathcal F(U)_\lambda \) such that for each point \(z \in U\) the action of \(\rho _\gamma  \exp \langle \gamma , \lambda \rangle \) on \(s_z\) is nilpotent. Set
Let \(p:{X}_{\mathrm {log}} \rightarrow \mathrm {pt}\) be the natural map to the (ungraded) point. The dualizing complex of \(\mathbf {D}^{\mathrm {b}}_{}(\mathbb {C}^{\log }_{X})\) is \(\omega _{{X}_{\mathrm {log}}} = p_{{\text {gr}}}^!\mathbb {C}\). In order to describe this complex, we need to introduce some additional notation: Let \(X^k_j\) be the irreducible components of \(X^k\). Each \(X^k_j\) is a smooth idealized log space and the inclusion \(X^k_j \rightarrow X\) induces a map on the corresponding Kato–Nakayama spaces, and in particular a morphism \(\mathbb {C}^{\log }_X \rightarrow \mathbb {C}^{\log }_{X^k_j}\). Set
and define differentials \(\mathcal D^i \rightarrow \mathcal D^{i+1}\) coming from the inclusions of the components of \(X^{i + \dim X + 1}\) into those of \(X^{i + \dim X}\), with appropriate alternating signs.
Proposition 5.1
Let X be a smooth analytic log variety. The dualizing complex \(\omega _{{X}_{\mathrm {log}}}\) is concentrated in cohomological degree \(\dim X\). Further, there exists a isomorphism
in \(\mathbf {D}^{\mathrm {b}}_{}(\mathbb {C}^{\log }_{X})\) (where \(\mathcal D^{\dim X}\) is in cohomological degree 0).
Proof
We use the approach of [9, Remark 5.8].
As noted above, \({X}_{\mathrm {log}}\) is a topological manifold with boundary. Let \(j:X^* \rightarrow {X}_{\mathrm {log}}\) be the inclusion of the interior. Then the dualizing complex of \({X}_{\mathrm {log}}\) as an ordinary topological space is \(j_!\mathbb {C}_{X^*}[\dim X]\).
If \(\pi :({X}_{\mathrm {log}}, \Lambda , \mathbb {C}^{\log }_X) \rightarrow ({X}_{\mathrm {log}}, 0, \mathbb {C}_X)\) is the canonical map, we have for any \(\lambda \in \Lambda \)
where we note that the functors \(\pi _{{\text {gr}},*}\) and \(j_!\) are exact.
For each \(\lambda \in \Lambda \) there exists an open subset \(V_\lambda \) such that \(\mathbb {C}^{\log }_{X,\lambda } = i_{\lambda ,!}\mathbb {C}_{V_\lambda }\), where \(i_\lambda \) is the inclusion of \(V_\lambda \) into \({X}_{\mathrm {log}}\). Let further \(j_\lambda \) be the inclusion of \(X^*\) into \(V_\lambda \). Then from (7) one obtains
It follows from [17, Theorem 3.1.2] that \(i_{\lambda ,*}\) is exact. Hence \(\omega _{{X}_{\mathrm {log}}}\) is concentrated in cohomological degree \(\dim X\).
One notes that for any point x of X, if \((\omega _{{X}_{\mathrm {log}}})_\lambda \) is locally constant on \(\tau _X^{1}(x)\), then it has to be actually constant on \(\tau _X^{1}(x)\). Thus for \(\lambda \notin \overline{M}^{\mathrm {gp}}_X\) one necessarily has \(\Psi (\omega _{{X}_{\mathrm {log}}})_\lambda = j_!\mathbb {C}_{X^*}\) (i.e. the global sections vanish).
To give the required identification of \(\Psi (\omega _{{X}_{\mathrm {log}}})\) we can assume that X is an affine toric variety. Let v be the vertex of X. Let \(X^1_1, \dotsc X^1_n\) be the irreducible components of \(X^1\) and let \(\lambda _1,\dotsc ,\lambda _n\) be the corresponding \(\mathbb {C}\)vector space bases of \(\Lambda (X)\) (note that this is in general not a \(\mathbb {Z}\)basis of \(\overline{M}^{\mathrm {gp}}_{X,v}\)). Write \(\lambda = \sum \alpha _i \lambda _i\). If there exists some \(\alpha _i\) witch is not a negative integer then either \(\lambda = 0\) (in which case \(\Psi (\omega _{{X}_{\mathrm {log}}}) = j_!\mathbb {C}_{X^*}\)) or \(X^* \subsetneq V_{\lambda } \subsetneq {X}_{\mathrm {log}}\). In the latter case \(i_{\lambda , *} j_{\lambda ,!}\mathbb {C}_{X^*}\) is not locally constant on \(\tau _X^{1}(v)\).
It follows that \(\Psi (\omega _{{X}_{\mathrm {log}}})\) is isomorphic to the kernel of \(\mathbb {C}^{\log }_X \rightarrow \bigoplus _i \mathbb {C}^{\log }_{X^1_i}\) (where the components \(X^1_i\) are endowed with the induced idealized structure). One easily checks that the complex \(\mathcal D^{\dim X} \rightarrow \dotsc \rightarrow \mathcal D^0\) is exact everywhere else. \(\square \)
As we alluded to earlier, the logarithmic de Rham functor will have image in \(\mathbf {D}^{\mathrm {b}}_{\Lambda }(\mathbb {C}^{\log }_{X})\), the full subcategory of \(\mathbf {D}^{\mathrm {b}}_{}(\mathbb {C}^{\log }_{X})\) consisting of objects with cohomology sheaves in \(\mathbf {Mod}_{\Lambda }(\mathbb {C}^{\log }_{X})\).
Definition 5.2
Assume X is a smooth log variety. The dualizing complex of\(\mathbf {D}^{\mathrm {b}}_{\Lambda }(\mathbb {C}^{\log }_{X})\) is
This makes sense by Proposition 5.1 and we have an isomorphism
with \(\mathcal D^0\) in cohomological degree 0.
\(\mathcal {O}\) and \(\mathcal {D}\)modules on \({X}_{\mathrm {log}}\)
In order to define the logarithmic de Rham functor, one needs to enhance the pull back of the structure sheaf \(\mathcal {O}_X\) to \({X}_{\mathrm {log}}\) with additional sections. For this, Kato and Nakayama defined the sheaf \(\mathcal {O}^{\mathrm {log}}_X\) [8, Section 3], which was then further enlarged by Ogus to the sheaf \(\tilde{\mathcal {O}}^{\mathrm {log}}_X\) [17, Section 3.3]. The sheaf of rings \(\tilde{\mathcal {O}}^{\mathrm {log}}_X\) is \(\Lambda \)graded with the subsheaf \(\mathcal {O}^{\mathrm {log}}_X\) sitting in degree 0. It is contained in \(\mathbf {Mod}_{\Lambda }(\mathbb {C}^{\log }_{X})\).
We will not recall the exact definitions here. Intuitively, if the log structure on X is given by a normal crossings divisor \(z_1\cdots z_\ell = 0\), then \(\mathcal {O}^{\mathrm {log}}_X\) should be thought of as formally adding the logarithms \(\log z_i\), while \(\tilde{\mathcal {O}}^{\mathrm {log}}_X\) formally adds the powers \(z_i^\alpha \), \(\alpha \in \mathbb {C}\) in degree \((0,\dotsc ,\alpha ,\dotsc ,0)\). If X is a smooth log variety then \(\mathchoice{\left. \tilde{\mathcal {O}}^{\mathrm {log}}_X\right _{X^*}}{\tilde{\mathcal {O}}^{\mathrm {log}}_X_{X^*}}{\tilde{\mathcal {O}}^{\mathrm {log}}_X_{X^*}}{\tilde{\mathcal {O}}^{\mathrm {log}}_X_{X^*}}\) is canonically identified with \(\mathcal {O}_{X^*}\).
For any \(\mathcal {O}_X\)module \(\mathcal F\) we set
Lemma 5.3
The sheaf \(\tilde{\mathcal {O}}^{\mathrm {log}}_X\) is flat over \(\tau ^{1}\mathcal {O}_X\). In particular, \(\tau ^*\) is exact.
Proof
Flatness can be checked on stalks. Thus the statement follows from [17, Proposition 3.3.5]. \(\square \)
Let \(f:X \rightarrow Y\) be a morphism of smooth idealized analytic log varieties. Then there is a commutative diagram of ringed graded spaces.
If f is strict then this diagram is a cartesian square. Recall from [9, Definition 2.9] that a morphism f of graded topological spaces induces a pushforward functor \(f_{{\text {gr}},*}\) on graded sheaves. We will need the following theorem from [4].
Theorem 5.4
[4, Theorem 2.3.4] Let \(f:X \rightarrow Y\) be a proper morphism of log analytic spaces such that the morphism of characteristics \(f^{1}\overline{M}^{\mathrm {gp}}_Y \rightarrow \overline{M}^{\mathrm {gp}}_X\) is injective with torsion free cokernel. Then for any \(\mathcal F \in \mathbf {D}^{\mathrm {b}}(\mathcal {O}_{X})\) the natural isomorphism
induced by \((\tau ^*,\tau _{{\text {gr}},*})\)adjunction is an isomorphism.
Following Ogus, we set \(\tilde{\Omega }^{i,\mathrm {log}}_X = \tau ^*(\bigwedge ^i \Omega _X)\). It is a sheaf of \(\tilde{\mathcal {O}}^{\mathrm {log}}_X\)modules and admits a de Rham differential \(d:\tilde{\Omega }^{i,\mathrm {log}}_X \rightarrow \tilde{\Omega }^{i+1,\mathrm {log}}_X\). The corresponding complex \((\tilde{\Omega }^{\bullet ,\mathrm {log}}, d)\) is quasiisomorphic to \(\mathbb {C}^{\log }_X\) [17, Proposition 3.3.1].
In analogy to [10, Section 3.1.1] and using the formulas given in [17, Proposition 3.3.1] we define a sheaf of rings \(\tilde{\mathcal {D}}^{\mathrm {log}}_X\) on \({X}_{\mathrm {log}}\) with generators \(\tilde{\mathcal {O}}^{\mathrm {log}}_X\) and \(\tau ^{1}(\Theta _X)\). Clearly \(\tilde{\mathcal {O}}^{\mathrm {log}}_X\) has a natural structure of (left) \(\tilde{\mathcal {D}}^{\mathrm {log}}_X\)module. Thus if \(\mathcal M\) is a \(\mathcal {D}_X\)module, \(\tau ^*\mathcal M\) has an induced \(\tilde{\mathcal {D}}^{\mathrm {log}}_X\)module structure. Similarly, if \(\mathcal N\) is a right \(\mathcal {D}_X\)module, \(\tau ^*\mathcal N\) is a right \(\tilde{\mathcal {D}}^{\mathrm {log}}_X\)module. In particular \(\tau ^*\mathcal {D}_X\) is canonically isomorphic to \(\tilde{\mathcal {D}}^{\mathrm {log}}_X\) as a \(\tilde{\mathcal {D}}^{\mathrm {log}}_X\)bimodule and we have an isomorphism
Lemma 5.5
For any \(\mathcal {D}_X\)modules \(\mathcal M\) and \(\mathcal N\) in \(\mathbf {D}^{\mathrm {b}}_{\mathrm {qc}}(\mathcal {D}_{X})\) there is a canonical isomorphisms of \(\tilde{\mathcal {D}}^{\mathrm {log}}_X\)modules
and if \(\mathcal M\) is \(\mathcal {O}_X\)coherent a canonical isomorphism
where the \(\tilde{\mathcal {D}}^{\mathrm {log}}\)structure on the left hand sides is defined as in Proposition 2.5. In particular, \(\tau ^*(\omega _X^\vee ) \cong \tau ^*(\omega _X)^\vee \).
Proof
For the tensor product one easily checks the equivalence for the underived functors. The derived statement follows as \(\tau ^*\) is exact and preserves flatness.
To obtain the statement for \(\underline{{\text {Hom}}}\) it remains to check that the map
is an isomorphism. This can be proved locally, so that we can replace \(\mathcal M\) by a free resolution consisting of finite rank modules. Hence we are reduced to the case \(\mathcal M = \mathcal {O}_X\) where the statement is trivial. \(\square \)
Corollary 5.6
One has the following locally free resolutions of the left \(\tilde{\mathcal {D}}^{\mathrm {log}}_X\)module \(\tilde{\mathcal {O}}^{\mathrm {log}}_X\) and the right \(\tilde{\mathcal {D}}^{\mathrm {log}}_X\)module \(\tau ^*\omega _X\):
Proof
As \(\tau ^*\) is exact this follows from Corollary 2.8 by Lemma 5.5. \(\square \)
For a \(\tilde{\mathcal {D}}^{\mathrm {log}}\)module \(\mathcal M\) we set
Lemma 5.7
There exists a natural isomorphism of functors on \(\mathbf {D}^{\mathrm {b}}_{\mathrm {coh}}(\mathcal {D}_{X})\)
In particular, for any \(\mathcal M \in \mathbf {D}^{\mathrm {b}}_{\mathrm {coh}}(\mathcal {D}_{X})\) there exists a canonical isomorphism \(\tilde{\mathbb {D}}^{\mathrm {log}}\circ \tilde{\mathbb {D}}^{\mathrm {log}}(\tau ^*\mathcal M) \cong \tau ^*\mathcal M\).
Proof
By Lemma 5.5, it suffices to prove that for any \(\mathcal M \in \mathbf {D}^{\mathrm {b}}_{\mathrm {coh}}(\mathcal {D}_{X})\) there exists a canonical isomorphism of right \(\tilde{\mathcal {D}}^{\mathrm {log}}_X\)modules
There is a canonical morphism
It remains to show that this morphism is an isomorphism. This question is local and we can assume that \(\mathcal M\) has a resolution by free \(\mathcal {D}_X\)modules. Thus we are reduced to showing the statement for \(\mathcal M = \mathcal {D}_X\) which follows immediately from Lemma 5.5.
\(\square \)
The de Rham functor
Definition 6.1
Let X be a smooth idealized analytic log variety. One defines the (logarithmic) de Rham functor\(\widetilde{{\text {DR}}}_X:\mathbf {D}^{\mathrm {b}}(\mathcal {D}_{X}) \rightarrow \mathbf {D}^{\mathrm {b}}_{\Lambda }(\mathbb {C}^{\log }_{X})\) by
If X is a smooth idealized algebraic log variety, one sets \(\widetilde{{\text {DR}}}_X(\mathcal M) = \widetilde{{\text {DR}}}_{X^{\mathrm {an}}}(\mathcal M^{\mathrm {an}})\).
By Corollary 5.6 the logarithmic de Rham functor is equivalent to
Lemma 6.2
With the notation of [17, Definition 3.4.1], \(\widetilde{{\text {DR}}}_X\mathcal M\) is isomorphic to \(\mathcal V_X(\mathcal M)[{\text {logdim}}X]\) for any \(\mathcal {O}_X\)coherent \(\mathcal {D}_X\)module \(\mathcal M\). In other words up to a shift \(\widetilde{{\text {DR}}}_X\) induces Ogus’s Riemann–Hilbert correspondence between logarithmic connections and the category \(\mathbf {L}^\Lambda _{\mathrm {coh}}(\mathbb {C}^{\log }_{X})\).
Proof
This is just the statement of [17, Theorem 3.4.2 3(b)]. \(\square \)
Lemma 6.3
For \(\mathcal M \in \mathbf {D}^{\mathrm {b}}_{\mathrm {coh}}(\mathcal {D}_{X})\) there exists a canonical isomorphism
Proof
As \(\underline{{\text {Hom}}}_{\tilde{\mathcal {D}}^{\mathrm {log}}_X}(\tilde{\mathcal {O}}^{\mathrm {log}}_X,\, \tau ^*\mathcal M) \cong \underline{{\text {Hom}}}_{\tilde{\mathcal {D}}^{\mathrm {log}}_X}(\tilde{\mathcal {O}}^{\mathrm {log}}_X,\, \tilde{\mathcal {D}}^{\mathrm {log}}_X) \otimes _{\tilde{\mathcal {D}}^{\mathrm {log}}_X} \tau ^*\mathcal M\) it suffices to show the existence of the isomorphism for \(\mathcal M = \mathcal {D}_X\). The result now follows from a computation using Corollary 5.6. \(\square \)
Proposition 6.4
Assume that \(f:X \rightarrow Y\) is a proper morphism of smooth analytic log spaces such that the induced map on characteristics \(f^{1}\overline{M}^{\mathrm {gp}}_Y \rightarrow \overline{M}^{\mathrm {gp}}_X\) is injective with torsion free cokernel. Then there exists a canonical isomorphism
Proof
To start, note that by Theorem 5.4
As f is proper, so is \(f_{\log }\). Hence by the projection formula for graded spaces [9, Proposition 4.13] the above is isomorphic to
As in the classical setting, one has a canonical isomorphism \(f^{1} \omega _Y \otimes _{f^{1}\mathcal {D}_Y} \mathcal {D}_{Y \leftarrow X} \cong \omega _X\). Hence the above isomorphic to
\(\square \)
Finiteness
Write \(\mathbf {D}^{\mathrm {b}}_f(\mathbb {C}^{\log }_{X})\) for the subcategory of \(\mathbf {D}^{\mathrm {b}}_{}(\mathbb {C}^{\log }_{X})\) consisting of all \(\mathcal F\) such that for all \(x \in {X}_{\mathrm {log}}\) the stalk \(\mathcal F_x\) is finitely generated over \(\mathbb {C}^{\log }_{X,x}\).
Theorem 6.5
Let X be a smooth idealized log variety and let \(\mathcal M \in \mathbf {D}^{\mathrm {b}}_{\mathrm {h}}(\mathcal {D}_{X})\). Then \(\widetilde{{\text {DR}}}(\mathcal M) \in \mathbf {D}^{\mathrm {b}}_f(\mathbb {C}^{\log }_{X})\).
In the following, \(D^n\) is an ndimensional polydisk with the trivial log structure.
Lemma 6.6
Let X be a smooth idealized analytic log variety. Let Z be a divisor and fix a point \(x \in Z\). Let \(X^k\) be the smallest closed log stratum with \(x \in X^k\) and assume that \(X^k \cap Z\) is contained in a divisor of \(X^k\). Then there exists a smooth analytic idealized log variety \(X'\) and locally around x an isomorphism \(X \cong X' \times D^1\) such that the restriction of the projection \(X \rightarrow X'\) to Z is finite.
Proof
Set \(d = \dim X\). By [16, Corollary IV.3.3.4], locally at x we can assume that X is of the form \(Y \times D^{dk}\) for some kdimensional idealized log variety Y such that \(X^k = Y^k \times D^{dk}\). Set \(\tilde{Z} = X^k \cap Z\). Then, using the Weierstraß Preparation Theorem, locally around x there exists an identification \(\underline{X}^k \cong \tilde{X}' \times D^1\) with \(\tilde{X}'\) (classically) smooth such that the restriction of the projection \(\underline{X}^k \rightarrow \tilde{X}'\) to \(\tilde{Z}\) is finite. Set \(X' = Y \times \tilde{X}'\) and let p be the projection \(X = X' \times D^1 \rightarrow X'\). Then by upper semicontinuity for a small enough neighborhood of x the restriction of p to Z is finite. \(\square \)
Lemma 6.7
Let \(\Lambda \) be an abelian group, R a \(\Lambda \)graded ring and M a \(\Lambda \)graded Rmodule. For a subgroup \(\Lambda ' \subseteq \Lambda \) write \(R'\) for the \(\Lambda '\)graded subring of R generated by the homogeneous elements of R with degrees in \(\Lambda '\). Analogously, let \(M'\) be the submodule of M generated by homogeneous elements of M with degree in \(\Lambda '\). If M is finitely generated as an Rmodule, then \(M'\) is finitely generated as an \(R'\)module.
Proof
Let \(\phi :R \rightarrow R'\) and \(\psi :M \rightarrow M'\) be the projection maps. Then for \(r \in R\) and \(m \in M' \subseteq M\) one has \(\psi (rm) = \phi (r)m\).
Assume for contradiction that \(M'\) is not finitely generated. Then there exists an infinite sequence \(m_1, m_2, \dotsc \) in \(M'\) such that the submodules \(M_n' = \langle m_1,\dots ,\,m_n \rangle \) form an infinite asscending sequence. On the other hand, as M is finitely generated, there must exist an index N such that \(RM'_N = RM'_{N+1} = \dots \). Thus, for any \(n > N\) there exists \(r_i \in R\) with \(m_n = \sum _{i=1}^N r_im_i\). But then also \(m_n = \psi (m_n) = \sum _{i=1}^N \phi (r_i)m_i\) and the sequence \(M_n'\) stabilizes. \(\square \)
We call a sheaf \(\mathcal F \in \mathbf {Mod}_{}(\mathbb {C}^{\log }_{X})\)poorly constructible if there exists a stratification \({X}_{\mathrm {log}} = \bigsqcup _\alpha X_\alpha \) by subanalytic subsets such that all restrictions \(\mathchoice{\left. \Lambda \right _{X_\alpha }}{\Lambda _{X_\alpha }}{\Lambda _{X_\alpha }}{\Lambda _{X_\alpha }}\), \(\mathchoice{\left. \mathbb {C}^{\log }\right _{X_\alpha }}{\mathbb {C}^{\log }_{X_\alpha }}{\mathbb {C}^{\log }_{X_\alpha }}{\mathbb {C}^{\log }_{X_\alpha }}\) and \(\mathchoice{\left. \mathcal F\right _{X_\alpha }}{\mathcal F_{X_\alpha }}{\mathcal F_{X_\alpha }}{\mathcal F_{X_\alpha }}\) are locally constant as ordinary sheaves. A complex in \(\mathbf {D}^{\mathrm {b}}_{}(\mathbb {C}^{\log }_{X})\) is poorly constructible if all its cohomology sheaves are.
Lemma 6.8
Let \(f:X \rightarrow Y\) be a proper morphism of log varieties and assume that the induced map \(f^{1}\overline{M}^{\mathrm {gp}}_Y \rightarrow \overline{M}^{\mathrm {gp}}_X\) is injective. Let \(\mathcal F \in \mathbf {D}^{\mathrm {b}}_{}(\mathbb {C}^{\log }_{X})\) be poorly constructible and assume that for each \(x \in {X}_{\mathrm {log}}\) the stalk \(\mathcal F_x\) is finitely generated over \(\mathbb {C}^{\log }_{X,x}\). Then for each \(y \in {Y}_{\mathrm {log}}\) the stalk \((f_{\log ,{\text {gr}},*}\mathcal F)_y\) is finitely generated over \(\mathbb {C}^{\log }_{Y,y}\).
Proof
Let \(Z = ({X}_{\mathrm {log}},\, f^{1}\Lambda _Y,\, f^{1}\mathbb {C}^{\log }_Y)\), and let \(g:{X}_{\mathrm {log}} \rightarrow Z\) and \(h :Z \rightarrow {Y}_{\mathrm {log}}\) be the induced maps. Then the fact that h preserves finite generation of stalks is classical upon basechanging to a point \(y \in {Y}_{\mathrm {log}}\), while for g it follows from Lemma 6.7. \(\square \)
Proof of Theorem 6.5
It clearly suffices to prove the theorem in the case that X is analytic. As \(\tau ^*\omega _X\) has a finite length projective resolution over \(\tilde{\mathcal {D}}^{\mathrm {log}}_X\), \(\widetilde{{\text {DR}}}_X\) respects the boundedness condition of the derived categories. We have to show that all stalks of \(\widetilde{{\text {DR}}}_X(\mathcal M)\) are finitely generated.
It clearly suffices to show the statement for \(\mathcal M\) in the abelian category \(\mathbf {Hol}(\mathcal {D}_{X})\). We induct on the dimension of X. If \(\dim X = 0\), then \(\mathcal M\) is necessarily \(\mathcal {O}_X\)coherent and the statement is an immediate consequence of [17, Theorem 3.4.2]. Thus assume that the theorem holds for all smooth idealized analytic log varieties of dimension strictly less that \(\dim X\).
As \(\mathcal M\) is holonomic, \({\text {logdim}}{\text {Ch}}(\mathcal M) = {\text {logdim}}X\) and hence generically \({\text {Ch}}(\mathcal M)\) is contained in the zero section of \(T^*X\). Thus there exists a divisor Z of X such that \(\mathcal M\) is an integrable connection away from Z. As \(\mathcal M\) is holonomic, so are the restrictions to log strata, and hence by [10, Lemma 3.17] the restrictions \(\mathchoice{\left. {\text {Ch}}(\mathcal M)\right _{X^k}}{{\text {Ch}}(\mathcal M)_{X^k}}{{\text {Ch}}(\mathcal M)_{X^k}}{{\text {Ch}}(\mathcal M)_{X^k}}\) are generically contained in the zero section. Thus \(Z \cap X^k\) has at least codimension 1 in \(X^k\).
Let now \(x \in X\) be any point. If \(x \notin Z\), then \(\mathcal M\) is an integrable connection in a neighborhood of x and hence for points of \({X}_{\mathrm {log}}\) lying over x the statement follows from [17, Theorem 3.4.2]. Otherwise by Lemma 6.6, there exists a smooth analytic idealized log variety \(X'\) with \(\dim X' = \dim X  1\) such that locally \(X = X' \times D^1\) and the restriction of the projection \(X \rightarrow X'\) to Z is finite. Shrinking X if necessary, we can assume that \(\mathcal M\) has a global good filtration.
As \(\mathchoice{\left. p\right _{Z}}{p_{Z}}{p_{Z}}{p_{Z}}\) is finite, there exists a radius \(0< r < 1\) such that \(\{x\} \times \{z : z = r\}\) does not intersect Z. Thus by shrinking \(X'\) and \(D^1\) if necessary we can assume that the closure of Z in \(X' \times \overline{D}^1\) does not intersect \(X' \times \partial D^1\).
It follows that \((X' \times D^1) \setminus Z\) is a retraction of \((X' \times \mathbb {C}) \setminus Z\) in a way that is compatible with the log structure. Hence [17, Theorem 3.4.2] implies that the integrable connection \(\mathchoice{\left. \mathcal M\right _{X'\times D^1\setminus Z}}{\mathcal M_{X'\times D^1\setminus Z}}{\mathcal M_{X'\times D^1\setminus Z}}{\mathcal M_{X'\times D^1\setminus Z}}\) can be extended to an integrable connection on \((X' \times \mathbb {C})\setminus Z\). As this keeps \(\mathcal M\) unchanged in a neighborhood of Z, this gives an extension of \(\mathcal M\) to a holonomic Dmodule on \(X' \times \mathbb {C}\). Shrinking \(X'\) if necessary we can extend \(\mathcal M\) to a coherent Dmodule on \(X' \times \mathbb {P}^{1}\), where we give \(\mathbb {P}^{1}\) the log structure defined by just the point at infinity. Using [10, Lemma 3.18], we can further assume that \(\mathchoice{\left. {\text {Ch}}(\mathcal M)\right _{X' \times \{\infty \}}}{{\text {Ch}}(\mathcal M)_{X' \times \{\infty \}}}{{\text {Ch}}(\mathcal M)_{X' \times \{\infty \}}}{{\text {Ch}}(\mathcal M)_{X' \times \{\infty \}}}\) is contained in the zero section.
To summarize, we can assume that we are in the following situation: \(\mathcal M\) is a holonomic Dmodule on \(X = X' \times \mathbb {P}^{1}\) (with the log structure of \(\mathbb {P}^{1}\) as above) with a global good filtration and there exists a divisor Z of X, not intersecting \(X' \times \{\infty \}\), such that the restriction of \(\mathcal M\) to \(U = X \setminus Z\) is an integrable connection and the restriction of the projection \(p:X \rightarrow X'\) to Z is finite.
Let \(\hat{U} = \tau _X^{1}(U)\) and \(\hat{Z} = \tau ^{1}(Z)\) be the ringed graded topological spaces obtained by restricting the structure of \(({X}_{\mathrm {log}},\, \Lambda ,\, \mathbb {C}^{\log }_X)\) (i.e. as topological spaces these are \({U}_{\mathrm {log}}\), resp. \({Z}_{\mathrm {log}}\), but the latter is potentially endowed with a different sheaf of rings). In particular the restriction of the map \(p_{\log }:{X}_{\mathrm {log}} \rightarrow {X'}_{\mathrm {log}}\) to \(\hat{Z}\) is finite and strict. Write \(j:\hat{U} \rightarrow {X}_{\mathrm {log}}\) and \(i :\hat{Z} \rightarrow {X}_{\mathrm {log}}\) for the inclusions. Set \(\mathcal F = \widetilde{{\text {DR}}}_{X}(\mathcal M)\).
We obtain a distinguished triangle (see [9, Lemma 4.12])
Applying \(p_{\log ,{\text {gr}},*} = p_{\log ,{\text {gr}},!}\) this becomes
Since \(\hat{U}\) is open, we have \(j_{{\text {gr}}}^{1} \mathcal K \cong \widetilde{{\text {DR}}}_{U}(\mathchoice{\left. \mathcal F\right _{U}}{\mathcal F_{U}}{\mathcal F_{U}}{\mathcal F_{U}})\), which has finitely generated stalks by [17, Theorem 3.4.2]. As \(\hat{Z}\) is a subanalytic subset of \({X}_{\mathrm {log}}\) it follows that \(j_{{\text {gr}},!}j_{{\text {gr}}}^{1}\mathcal F\) is poorly constructible and has finitely generated stalks. Thus by Lemma 6.8\((p_{\log } \circ j)_{{\text {gr}},!} j_{{\text {gr}}}^{1} \mathcal F\) also has finitely generated stalks.
Further, since p is a proper projection, Proposition 6.4 implies that
As \(\mathcal M\), and hence also \(p_\bullet \mathcal M\), is holonomic (Theorem 4.1), by the induction hypothesis \(p_{\log ,{\text {gr}},*} \mathcal F\) has finitely generated stalks. Thus from the triangle (11) one sees that so has \((p_{\log } \circ i)_{{\text {gr}},!}i_{{\text {gr}}}^{1} \mathcal F\). As \(p_{\log } \circ i\) is strict and finite, one sees immediately by base changing to a point that \(i_{{\text {gr}}}^{1} \mathcal F = i_{{\text {gr}}}^{1}\widetilde{{\text {DR}}}_X(\mathcal M)\) also has finitely generated stalks. So in particular this is true for any points lying over x. \(\square \)
Duality
As in Definition 5.2 we let \(\widetilde{\omega }_{{X}_{\mathrm {log}}} = \Psi (\omega _{{X}_{\mathrm {log}}})\) be the dualizing complex of \(\mathbf {D}^{\mathrm {b}}_{\Lambda }(\mathbb {C}^{\log }_{X})\). The corresponding duality functor is
Lemma 6.9
Let X be a smooth idealized analytic log variety. There exists a canonical morphism
of functors from \(\mathbf {D}^{\mathrm {b}}_{\mathrm {coh}}(\mathcal {D}_{X})\) to \(\mathbf {D}^{\mathrm {b}}_{\Lambda }(\mathbb {C}^{\log }_{X})\).
Proof
As Lemma 3.18 also holds for \(\tilde{\mathcal {D}}^{\mathrm {log}}_X\)modules, for any \(\mathcal M \in \mathbf {D}^{\mathrm {b}}_{\mathrm {coh}}(\mathcal {D}_{X})\) there exists a canonical isomorphism
Thus it suffices to construct a morphism \(\underline{{\text {Hom}}}_{\tilde{\mathcal {D}}^{\mathrm {log}}_X}(\tau ^*\mathcal M,\, \tau ^*\mu _X) \rightarrow \widetilde{\mathbb {D}}_{{X}_{\mathrm {log}}} \widetilde{{\text {DR}}}_X(\mathcal M)\).
As noted before, the kernel of the differential \(\tilde{\mathcal {O}}^{\mathrm {log}}_X \rightarrow \tilde{\Omega }^{1,\mathrm {log}}_X\) is identified with \(\mathbb {C}^{\log }_X\). This is by definition the same as the center of \(\tilde{\mathcal {D}}^{\mathrm {log}}_X\), so that the category of \(\tilde{\mathcal {D}}^{\mathrm {log}}_X\)modules is enriched in \(\mathbb {C}^{\log }_X\)modules. Consider the canonical morphism
By Lemma 6.3 this gives a morphism
By Lemma 6.2, \(\widetilde{{\text {DR}}}_X\) is exact on integrable connections. Thus Corollary 3.9 and Proposition 5.1 imply that \(\widetilde{{\text {DR}}}_X(\mu _X)\) isomorphic to the dualizing complex \(\widetilde{\omega }_{{X}_{\mathrm {log}}}\) of \(\mathbf {D}^{\mathrm {b}}_{\Lambda }(\mathbb {C}^{\log }_{X})\). Hence one obtains a morphism
\(\square \)
Theorem 6.10
Let X be a smooth idealized log variety and let \(\mathcal M \in \mathbf {D}^{\mathrm {b}}_{\mathrm {h}}(\mathcal {D}_{X})\). Then the canonical morphism \(\widetilde{{\text {DR}}}_X \circ \mathbb {D}_X (\mathcal M) \rightarrow \widetilde{\mathbb {D}}_{{X}_{\mathrm {log}}} \circ \widetilde{{\text {DR}}}_X (\mathcal M)\) is an isomorphism.
Proof
As in the classical situation, taking duality commutes with analytification. Hence it suffices to prove the theorem for analytic log varieties. Then, as in the proof of Theorem 6.5, one uses induction to reduce to the case of an integrable connection, which is treated in the following lemma. \(\square \)
Lemma 6.11
Let X be a smooth idealized analytic log variety and let \(\mathcal M\) be an integrable connection on X Then the canonical morphism \(\widetilde{{\text {DR}}}_X \circ \mathbb {D}_X (\mathcal M) \rightarrow \widetilde{\mathbb {D}}_{{X}_{\mathrm {log}}} \circ \widetilde{{\text {DR}}}_X (\mathcal M)\) is an isomorphism.
Proof
Set \(\mathcal F = \widetilde{{\text {DR}}}(\mathcal M)\). Then by [17, Theorem 3.4.2.3a], there is a natural identification \(\tau ^*\mathcal M \cong \tilde{\mathcal {O}}^{\mathrm {log}}_X \otimes _{\mathbb {C}^{\log }_X} \mathcal F\) and hence
\(\square \)
Vfiltration and grading
Let \(\underline{X}\) be a classically smooth complex variety and \(\underline{D}\) a smooth divisor on X. Let \(\mathcal J\) be the ideal defining \(\underline{D}\). This data induces a filtration on \(\mathcal {D}_{\underline{X}}\) given by
where one sets \(\mathcal J^i = \mathcal {O}_X\) for \(i \le 0\). If \(X = (\underline{X}, \underline{D})\) is the associated log variety, one notes that \(V_0\mathcal {D}_{\underline{X}} = \mathcal {D}_X\). We will always write t for a local equation of D.
We fix a total order on \(\mathbb {C}\) compatible with the usual order on the real numbers. Let \(\mathcal M\) be any holonomic \(\mathcal {D}_{\underline{X}}\)module. Then \(\mathcal M\) has a canonical Kashiwara–Malgrange Vfiltration which we normalize by the requirement that \((t\frac{\partial }{\partial t} + \alpha )\) acts nilpotently on \({\text {gr}}_\alpha \mathcal M = V_\alpha \mathcal M / V_{<\alpha }\mathcal M\). We refer to the classical texts [14, 18] for a detailed introduction to the theory of Vfiltrations.
Lemma 7.1
If \(\mathcal M\) is a holonomic \(\mathcal {D}_{\underline{X}}\)module, then \(V_\alpha \mathcal M\) is a holonomic \(\mathcal {D}_X\)module for any \(\alpha \in \mathbb {C}\).
Proof
By definition, each \(V_\alpha \mathcal M\) is \(\mathcal {D}_X\)coherent and \(\mathchoice{\left. V_\alpha \mathcal M\right _{X\setminus X^1}}{V_\alpha \mathcal M_{X\setminus X^1}}{V_\alpha \mathcal M_{X\setminus X^1}}{V_\alpha \mathcal M_{X\setminus X^1}}\) is holonomic.
By [14, Corollaire 4.6.3] each \(\mathchoice{\left. {\text {gr}}_\alpha \mathcal M\right _{X^1}}{{\text {gr}}_\alpha \mathcal M_{X^1}}{{\text {gr}}_\alpha \mathcal M_{X^1}}{{\text {gr}}_\alpha \mathcal M_{X^1}}\) is holonomic over \(\mathcal {D}_{\underline{X}^1}\) and hence by Lemma 4.7 also over \(\mathcal {D}_{X^1}\).
Let us first assume that \(\alpha < 0\). By [10, Lemma 3.17], it suffices to check that each \(\mathcal {O}_{X^1} \otimes _{\mathcal {O}_X} V_\alpha \mathcal M\) is \(\mathcal {D}_{X^1}\)holonomic. Then \(t:V_\alpha \mathcal M \rightarrow V_{\alpha 1}\mathcal M\) is an isomorphism, so that \(\mathcal {O}_{X^1} \otimes _{\mathcal {O}_X} V_\alpha \mathcal M\) is a finite sum of modules of the form \({\text {gr}}_\mu \mathcal M\) for \(\alpha 1 < \mu \le \alpha \). Hence it is holonomic.
For the general case fix some \(\alpha ' < \min (0,\alpha )\). Then \(V_\alpha \mathcal M\) is a finite iterated extension of \(V_{\alpha '}\mathcal M\) by sheaves of the form \({\text {gr}}_\mu \mathcal M\) and hence is holonomic. \(\square \)
The \(\Lambda \)grading on \(\widetilde{{\text {DR}}}_X(\mathcal M)\) induces a filtration, which we will also denote by \(V_\lambda \). The main theorem of this section is as follows.
Theorem 7.2
Let \(\mathcal M\) be a holonomic \(\mathcal {D}_{\underline{X}}\)module. Then \(\widetilde{{\text {DR}}}_X(V_\alpha \mathcal M) = V_\alpha (\widetilde{{\text {DR}}}_X\mathcal M)\) for any \(\alpha \in \mathbb {C}\cong \Lambda (X)\).
Identify the sections of \(\mathbb {C}^{\log }_X\) locally over points of D with \(\mathbb {C}[s]\) with \(\deg s = 1\). Further locally we have \(\mathcal {O}^{\mathrm {log}}_X \cong \tau ^{1}\mathcal {O}_X[\sigma ]\) (with \(\deg \sigma = 0\)) and \(\tilde{\mathcal {O}}^{\mathrm {log}}_X\) is obtained from \(\mathcal {O}^{\mathrm {log}}\) by adding \(x_\lambda \) in degree \(\lambda \) for all \(\lambda \in \mathbb {C}\). We note that the inclusion \(\mathbb {C}^{\log }_X \subseteq \tilde{\mathcal {O}}^{\mathrm {log}}_X\) identifies \(s^n\) with \(t^nx_{n}\).
Lemma 7.3
Let \(\mathcal M\) be any \(\mathcal {D}_X\)module. The differentials of the complex \(\widetilde{{\text {DR}}}_X(\mathcal M)\) are slinear.
Proof
This is simply a consequence of the fact that s is contained in the center of \(\tilde{\mathcal {D}}^{\mathrm {log}}_X\)\(\square \)
Lemma 7.4
Let \(\mathcal M\) be a holonomic \(\mathcal {D}_X\)module, settheoretically supported on D and fix \(\alpha \in \mathbb {C}\). Assume that the minimal polynomial of the action of \(t\frac{\partial }{\partial t} \in \mathcal {D}_X\) on \(\mathcal M\) is a power of \((X+\alpha )\). Then \(\widetilde{{\text {DR}}}_X(\mathcal M)\) is concentrated in \(\Lambda \)degree \(\alpha \).
Proof
The question is local, so we use the descriptions of \(\mathbb {C}^{\log }_X\) and \(\tilde{\mathcal {O}}^{\mathrm {log}}_X\) given above.
Let \(\bar{\psi }\) be a local section of \(H^{k\dim X}(\widetilde{{\text {DR}}}_X(\mathcal M))\), represented by a form
with \(d^k(\psi ) = 0\), where \(d^\bullet \) is the differential of the complex \(\widetilde{{\text {DR}}}_X(\mathcal M)\). We have to show that there exists a representative of \(\bar{\psi }\) which is entirely contained in degree \(\alpha \), i.e. all of whose terms contain \(x_{\alpha }\).
Since the differential \(d^\bullet \) of \(\widetilde{{\text {DR}}}_X(\mathcal M)\) respects the grading, we can assume that \(\psi \) is contained in a single degree \(\mu \). Assume that \(\mu \ne \alpha \).
Let now \(\phi \) be any \((k1)\)form of \(\Lambda \)degree \(\mu \) in \(\widetilde{{\text {DR}}}_X(\mathcal M)\),
Assume that the differential forms \(\omega '_{\ell }\) do not contain \(\frac{dt}{t}\), i.e. \((t\frac{\partial }{\partial t},\omega '_\ell )=0\). Then,
By assumption the operator \(t\frac{\partial }{\partial t} + \mu \) is invertible, and hence there exists sections \(m'_{\ell }\) of \(\mathcal M\) such that \((t\frac{\partial }{\partial t} + \mu ) \cdot m'_{\ell } = m_{\ell }\). Thus we can recursively (on \(\ell \)) modify \(\psi \) such that it does not contain a term containing \(\frac{dt}{t}\).
We then easily compute
This has to vanish by assumption. Let \(\ell '\) be the largest appearing exponent, which exists as \(\mathcal M\) is holonomic. Then necessarily \((t\frac{\partial }{\partial t} + \mu ) m_{\ell '} = 0\). But this is only possible if \(\mu = \alpha \). \(\square \)
Lemma 7.5
Let \(\mathcal M\) be a holonomic \(\mathcal {D}_X\)module. Then \(\widetilde{{\text {DR}}}_X(V_\alpha \mathcal M) \subseteq V_\alpha (\widetilde{{\text {DR}}}_X(\mathcal M))\) for every \(\alpha \in \mathbb {C}\).
Proof
First consider the case that \(\alpha < 0\). We assume for contradiction that there exists a \(\mu > \alpha \) such that \(\widetilde{{\text {DR}}}_X(V_\alpha \mathcal M)_\mu \ne 0\). Pick a maximal such \(\mu \). This exists because \(V_\alpha \mathcal M\) is \(\mathcal {D}_X\)holonomic by Lemma 7.1 and hence \(\widetilde{{\text {DR}}}_X(V_\alpha \mathcal M)\) is locally finitely generated as a \(\mathbb {C}^{\log }_X\)module by Theorem 6.5.
Since \(\alpha < 0\) multiplication by t induces an isomorphism \(V_\alpha \mathcal M \rightarrow V_{\alpha  1}\mathcal M\). Thus Lemma 7.3 implies that multiplication by s induces an isomorphism
Hence maximality of \(\mu \) implies that \(\widetilde{{\text {DR}}}_X(V_{\alpha 1}\mathcal M)_\mu = 0\).
The short exact sequence
induces a distinguished triangle of \(\mathbb {C}\)modules on \({X}_{\mathrm {log}}\)
We have already established that the first term vanishes. We note that the third term is a finite iterated extension of terms of the form \(\widetilde{{\text {DR}}}_X({\text {gr}}_\nu \mathcal M)\) for \(\alpha 1 < \nu \le \alpha \). Thus, by Lemma 7.4, has no degree \(\mu \) component and hence the third term vanishes too. Therefore also \(\widetilde{{\text {DR}}}_X(V_{\alpha }\mathcal M)_\mu = 0\) in contradiction to the assumption.
Now if \(\alpha \) is general index, we can pick \(\alpha ' < \min (\alpha ,0)\). Then \(V_\alpha \mathcal M\) is a finite iterated extension of \(V_{\alpha '}\mathcal M\) by sheaves of the form \({\text {gr}}_\mu \mathcal M\) for \(\alpha ' < \mu \le \alpha \). Hence the statement follows form the previous case and Lemma 7.4. \(\square \)
Proof of Theorem 7.2
We already know that \(\widetilde{{\text {DR}}}_X(V_\alpha \mathcal M) \subseteq V_\alpha (\widetilde{{\text {DR}}}_X(\mathcal M))\). Suppose there exists some \(\alpha \in \mathbb {C}\) for which this inequality is strict. Then the difference \(\mathcal G\) is in \(\Lambda \)degrees at most \(\alpha \). But by Lemma 7.4 for any \(\alpha ' > \alpha \), \(\widetilde{{\text {DR}}}_X(V_{\alpha '} \mathcal M)\) agrees with \(\widetilde{{\text {DR}}}_X(V_{\alpha } \mathcal M)\) in \(\Lambda \)degrees at most \(\alpha \). Thus \(\mathcal G \subseteq V_{\alpha '}(\widetilde{{\text {DR}}}_X(\mathcal M)) \setminus \widetilde{{\text {DR}}}_X(V_{\alpha '} \mathcal M)\) for all \(\alpha ' > \alpha \).
On the other hand, as \(\widetilde{{\text {DR}}}_X\) commutes with colimits, both sides are exhaustive filtrations of \(\widetilde{{\text {DR}}}_X(\mathcal M)\), contradicting what was just observed. \(\square \)
Notes
The definition presented here is stricter than actually needed for a general theory, but suffices for our purposes. We refer to [22, Sections 2 and 3] for the general definition.
Recall that a morphism \(f:X \rightarrow Y\) of varieties is called Torfinite if there exists an integer m such that \(H^i(f^*\mathcal F) = 0\) for all \(\mathcal F \in \mathbf {Mod}_{}(\mathcal {O}_X)\) and \(i < m\).
References
Björk, J.E.: Rings of Differential Operators. NorthHolland Mathematical Library 21, pp. xvii+374. NorthHolland Publishing Co., AmsterdamNew York (1979). ISBN: 0444852921
Chemla, S.: Rigid dualizing complex for quantum enveloping algebras and algebras of generalized differential operators. J. Algebra 276(1), 80–102 (2004). https://doi.org/10.1016/j.jalgebra.2003.12.001
Fornasiero, M.: On the Ishida and Du Bois complexes. Kodai Math. J. 29(3), 462–474 (2006). https://doi.org/10.2996/kmj/1162478773
Gray, A.P.: Functoriality of the Logarithmic RiemannHilbert Correspondence. Ph.D. thesis. University of California, Berkeley (2007)
Hotta, R., Takeuchi, K., Tanisaki, T.: Dmodules, perverse sheaves, and representation theory. Progress in Mathematics 236. Translated from the 1995 Japanese edition by Takeuchi, pp. xii+407. Birkhäuser Boston Inc., Boston (2008). ISBN: 9780817643638. https://doi.org/10.1007/9780817645236
Ishida, M.N.: Torus embeddings and de Rham complexes. In: Commutative Algebra and Combinatorics (Kyoto, 1985). Advanced Studies in Pure Mathematics 11, pp. 111–145. NorthHolland, Amsterdam (1987)
Kashiwara, M.: On the holonomic systems of linear differential equations. II. Inventiones Mathematicae 49(2), 121–135 (1978). https://doi.org/10.1007/BF01403082
Kato, K., Nakayama, C.: Log Betti cohomology, log étale cohomology, and log de Rham cohomology of log schemes over C. Kodai Math. J. 22(2), 161–186 (1999). https://doi.org/10.2996/kmj/1138044041
Koppensteiner, C.: Graded topological spaces. Proc. Am. Math. Soc. 148(3), 1325–1338 (2020). https://doi.org/10.1090/proc/14867
Koppensteiner, C., Talpo, M.: Holonomic and perverse logarithmic Dmodules. Adv. Math. 346, 510–545 (2019). https://doi.org/10.1016/j.aim.2019.02.016
Maisonobe, P., Sabbah, C.: Aspects of the theory of Dmodules. Lecture notes (Kaiserslautern 2002) (2011). http://www.cmls.polytechnique.fr/perso/sabbah.claude/livres/kaiserslautern.pdf. Accessed 30 June 2020
Malgrange, B.: Sur les images directes de Dmodules. Manuscripta Mathematica 50, 49–71 (1985). https://doi.org/10.1007/BF01168827
Mebkhout, Z.: Le formalisme des six opérations de Grothendieck pour les \(D_X\)modules cohérents. Travaux en Cours [Works in Progress] 35. With supplementary material by the author and L. Narváez Macarro. Hermann, Paris (1989). ISBN: 2705660496
Mebkhout, Z., Sabbah, C.: \({\cal{D}_{X}}\)modules et cycles évanescents. In: Zoghman Mebkhout. Le formalisme des six opérations de Grothendieck pour les \({\cal{D}_{X}}\)modules cohérents. Travaux en Cours [Works in Progress] 35. With supplementary material by the author and L. Narváez Macarro. Hermann, Paris (1989). Chap. III.4. ISBN: 2705660496
Oda, T.: Convex bodies and algebraic geometry. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)] 15. An introduction to the theory of toric varieties, Translated from the Japanese. Springer, Berlin (1988). ISBN: 3540176004
Ogus, A.: Lectures on Logarithmic Algebraic Geometry. Cambridge Studies in Advanced Mathematics 178. Cambridge University Press, Cambridge (2018). ISBN: 9781107187733
Ogus, A.: On the logarithmic RiemannHilbert correspondence. In: Documenta Mathematica Extra Vol. (2003). Kazuya Kato’s fiftieth birthday, pp. 655–724 (electronic). ISSN: 14310635
Sabbah, C.: Dmodules et cycles évanescents (d’après B. Malgrange et M. Kashiwara). In: Géométrie algébrique et applications, III (La Rábida, 1984). Travaux en Cours 24, pp. 53–98. Hermann, Paris (1987)
Serre, J.P.: Géométrie algébrique et géométrie analytique. Annales de l’Institut Fourier 6, 1–42 (1956). https://doi.org/10.5802/aif.59
Tsuji, T.: Poincaré duality for logarithmic crystalline cohomology. Compositio Mathematica 118(1), 11–41 (1999). https://doi.org/10.1023/A:1001020809306
van den Bergh, M.: Existence theorems for dualizing complexes over noncommutative graded and filtered rings. J. Algebra 195(2), 662–679 (1997). https://doi.org/10.1006/jabr.1997.7052
Yekutieli, A., Zhang, J.J.: Dualizing complexes and perverse sheaves on noncommutative ringed schemes. Selecta Mathematica New Series 12(1), 137–177 (2006). https://doi.org/10.1007/s0002900600224
Acknowledgements
The author would like to thank David BenZvi, Pierre Deligne and Dmitry Vaintrob for enlightening conversations regarding this project and in particular Mattia Talpo for answering many questions about logarithmic geometry. He would also like to thank an anonymous referee for providing many valuable comments and suggestions. The author was supported by the National Science Foundation under Grant No. DMS1638352.
Author information
Authors and 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
Koppensteiner, C. The de Rham functor for logarithmic Dmodules. Sel. Math. New Ser. 26, 49 (2020). https://doi.org/10.1007/s00029020005764
Published:
DOI: https://doi.org/10.1007/s00029020005764
Keywords
 Dmodule
 Logarithmic geometry
 Kato–Nakayama space
 Vfiltration
Mathematics Subject Classification
 14F10
 14A99