ScalingStacks

Remark 5.2 . [016M]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Remark 5.2.

When 𝒳{\mathcal{X}} is snc, 𝒪𝒳​(K𝒳/Slog){\mathcal{O}}_{\mathcal{X}}(K^{\mathrm{log}}_{{\mathcal{X}}/S}) coincides with the relative logarithmic dualizing sheaf ω𝒳+/S+\omega_{{\mathcal{X}}^{+}/S^{+}} of [NX13, (3.2.2)]. When 𝒳{\mathcal{X}} is regular, 𝒪𝒳​(K𝒳){\mathcal{O}}_{\mathcal{X}}(K_{\mathcal{X}}) is described in [dFEM11, Appendix A] as the determinant of the locally free sheaf Ω𝒳/k′⊂Ω𝒳/k1\Omega^{\prime}_{{\mathcal{X}}/k}\subset\Omega^{1}_{{\mathcal{X}}/k} of special differentials, corresponding to derivations DD of 𝒪𝒳{\mathcal{O}}_{\mathcal{X}} such that D⁡(f)=f′​(t)​d​tD(f)=f^{\prime}({t})d{t} for f∈k⁡[[t]]f\in k[\![{t}]\!].

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.