A colorful hochster formula and universal parameters for face rings (Q6170629)

Let \(\Delta\) be an abstract simplicial complex on a finite vertex set \(V=[n]=\{1, 2, \dots ,n\}\). Fix a field \(\mathbf{k}\) and let \(\mathbf{k}[\mathbf{x}] = \mathbf{k}[x_{1}, x_{2},\dots ,x_{n}]\) be the polynomial ring in variables indexed by the vertices \(V\). The Stanley-Reisner ring \(\mathbf{k}[\Delta]\) of \(\Delta\) over the field \(\mathbf{k}\) is the quotient \(\mathbf{k}[\mathbf{x}] / I_{\Delta}\) where \(I_{\Delta}\) is the ideal generated by all square-free monomials \(\prod_{i \in F}x_{i}\), \(F \notin \Delta\), (see [\textit{R. Fröberg}, in: Commutative algebra. Expository papers dedicated to David Eisenbud on the occasion of his 75th birthday. Cham: Springer. 317--341 (2021; Zbl 1505.13030)]) A (proper-vertex)-d-coloring of \(\Delta\) is a map \(\kappa: V=[n] \rightarrow [d]\) such that \(\kappa(i) \neq \kappa(j)\) for all edges \([i, j]\) in \(\Delta\). Two related parts are included in the paper under review. In the first part the authors generalize Hochster's formula on resolutions of Stanley-Reisner rings (see [\textit{M. Hochster}, in: Ring Theory II, Proc. 2nd Okla. Conf. 1975, 171--223 (1977; Zbl 0351.13009)]) to a colorful version. A universal system of parameters for face rings of simplicial posets (see [\textit{R. P. Stanley}, J. Pure Appl. Algebra 71, No. 2--3, 319--331 (1991; Zbl 0727.06009)]) is the subject of the second part of this paper. The authors show that these parameters have good properties, such as being stable under symmetries and detecting the depth of the face ring. Moreover, when resolving the face ring over these parameters, the shape is predicted, conjecturally, by the colorful Hochster formula.