Stanley-Reisner rings for symmetric simplicial complexes, \(G\)-semimatroids and abelian arrangements (Q2078954)

The authors define a simplicial poset as a finite length, countable poset, \(P\), with a unique minimal element, satisfying the following condition: for each \(p\in P\), there exists a nonnegative integer \(n\) such that \(\{q\in P : q\leq p\}\) is isomorphic to the poset of subsets of \(\{1,2,\dots,n\}\) (\textit{cf}. Definition 3.1). For each set, \(\tau\), of maximal elements of \(P\), let \(R_{\lceil\tau \rceil}\) be the Stanley-Reisner ring of the simplicial complex \(\lceil\tau \rceil = \bigcap_{p\in \tau} \{q\in P : q\leq p\}\). Let \(X(P)\) denote the set of all \(\lceil\tau \rceil\) where \(\tau\) is a non-empty set of maximal elements of \(P\), which is also a poset with the canonical binary relation and a topological space via the Alexandrov topology. A sheaf of rings on \(X(P)\) can be defined by the assignments \(\lceil\tau \rceil \mapsto R_{\lceil\tau \rceil}\) and \((\lceil\tau \rceil \supseteq \lceil\tau' \rceil) \mapsto \bigl( \pi \colon R_{\lceil\tau \rceil} \twoheadrightarrow R_{\lceil\tau' \rceil}\bigr)\), with \(\pi\) the canonical projection. The Stanley-Reisner ring of \(P\), denoted by \(\mathcal{R}(P)\), is defined as the ring of global sections of this sheaf (\textit{cf}. Definition 5.1). In Theorem 1, the authors show that if \(P\) is a finite simplicial complex (ordered by inclusion), then \(\mathcal{R}(P)\) is the Stanley-Reisner ring of \(P\). In Theorem 2, they show that the ring of invariants of the action of a group \(G\) induced by an action of \(G\) on \(P\) is isomorphic to \(\mathcal{R}(P/G)\). Further results include: a relation of group actions to Cohen-Macaulayness (Theorem 3); the particular case of actions on the poset of independent sets of a semimatroid (Theorem 4) and, in Section 9, applications to Abelian arrangements and \((p,q)\)-arrangements.