We extend the notion of face rings of simplicial complexes and simplicial posets to the case of finite-length (possibly infinite) simplicial posets with a group action. The action on the complex induces an action on the face ring, and we prove that the ring of invariants is isomorphic to the face ring of the quotient simplicial poset under a mild condition on the group action. We also identify a class of actions on simplicial complexes that preserve the homotopical Cohen–Macaulay property under quotients. When the acted-upon poset is the independence complex of a semimatroid, the h-polynomial of the ring of invariants can be read off the Tutte polynomial of the associated group action. Moreover, in this case an additional condition on the action ensures that the quotient poset is Cohen–Macaulay in characteristic 0 and every characteristic that does not divide an explicitly computable number. This implies the same property for the associated Stanley–Reisner rings. In particular, this holds for independence posets and rings associated to toric, elliptic and, more generally, .p; q/-arrangements. As a byproduct, we prove that posets of connected components (also known as posets of layers) of such arrangements are Cohen–Macaulay with the same condition on the characteristic.

Stanley–Reisner rings for symmetric simplicial complexes, G-semimatroids and Abelian arrangements

D'Ali' A.;Delucchi E.
2021-01-01

Abstract

We extend the notion of face rings of simplicial complexes and simplicial posets to the case of finite-length (possibly infinite) simplicial posets with a group action. The action on the complex induces an action on the face ring, and we prove that the ring of invariants is isomorphic to the face ring of the quotient simplicial poset under a mild condition on the group action. We also identify a class of actions on simplicial complexes that preserve the homotopical Cohen–Macaulay property under quotients. When the acted-upon poset is the independence complex of a semimatroid, the h-polynomial of the ring of invariants can be read off the Tutte polynomial of the associated group action. Moreover, in this case an additional condition on the action ensures that the quotient poset is Cohen–Macaulay in characteristic 0 and every characteristic that does not divide an explicitly computable number. This implies the same property for the associated Stanley–Reisner rings. In particular, this holds for independence posets and rings associated to toric, elliptic and, more generally, .p; q/-arrangements. As a byproduct, we prove that posets of connected components (also known as posets of layers) of such arrangements are Cohen–Macaulay with the same condition on the characteristic.
2021
Arrangements of hypersurfaces
Cohen–Macaulay complexes
Face rings of simplicial posets
Group actions
Poset topology
File in questo prodotto:
File Dimensione Formato  
(2021) D'Alì Delucchi - Stanley-Reisner rings for symmetric simplicial complexes, G-semimatroids and Abelian arrangements.pdf

Accesso riservato

: Publisher’s version
Dimensione 591.42 kB
Formato Adobe PDF
591.42 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/1223267
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 0
social impact