Logarithmic combinatorial differentials

From MaRDI portal



Abstract: Given a morphism XoS of fine log schemes, we develop a geometric description of the sheaves of higher-order differentials OmegaX/Sn for n>1, as well as a definition of the de Rham complex in terms of this description.


Given a morphism \(X \rightarrow S\) of log schemes, a universal sheaf \(\Omega^1_{X/S}\) of relative logarithmic differential forms is well-defined [see \textit{K. Kato}, in: Algebraic analysis, geometry, and number theory, Proc. JAMI Inaugur. Conf., Baltimore/MD (USA) 1988, 191--224 (1989; Zbl 0776.14004)]. The aim of the paper is to generalize the approach from [\textit{L. Breen} and \textit{W. Messing}, Adv. Math. 164, No. 2, 203--282 (2001; Zbl 1084.14510)] in order to describe the exterior powers \(\bigwedge^n\Omega^1_{X/S},\) \(n > 1,\) in terms of the \((n+1)\)-folding product \(\Delta^n_{X/S}\) of \(X\) over \(S\) and the defining ideals \(I_{ij}\) of partial diagonals \(\{(x_0, \dots, x_n)\in \Delta^n_{X/S}: x_i = x_j\}\) for all \(0\leq i,j \leq n.\) In fact, this construction can be also considered as a natural generalization of the classical description of Kähler differentials for ordinary schemes in algebraic geometry.











This page was built for publication: Logarithmic combinatorial differentials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1012978)