Logarithmic combinatorial differentials (Q1012978)

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.