Koszul Gorenstein algebras from Cohen-Macaulay simplicial complexes

DOI10.1093/IMRN/RNAC003MaRDI QIDQ6369871arXivFDO

Authors Alessio D'Alì, Lorenzo Venturello

Publication date 9 June 2021

Published in arXiv

Full work available at URL https://doi.org/10.1093/IMRN/RNAC003

Mathematics Subject Classification ID

Group actions on combinatorial structures (05E18) Combinatorial aspects of simplicial complexes (05E45) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55)

arXiv classification

math.ACmath.CO

Abstract: We associate with every pure flag simplicial complex $Delta$ a standard graded Gorenstein $mathbbF$-algebra $R_{Delta}$ whose homological features are largely dictated by the combinatorics and topology of $Delta$. As our main result, we prove that the residue field $mathbbF$ has a $k$-step linear $R_{Delta}$-resolution if and only if $Delta$ satisfies Serre's condition $(S_k)$ over $mathbbF$, and that $R_{Delta}$ is Koszul if and only if $Delta$ is Cohen-Macaulay over $mathbbF$. Moreover, we show that $R_{Delta}$ has a quadratic Gr"{o}bner basis if and only if $Delta$ is shellable. We give two applications: first, we construct quadratic Gorenstein $mathbbF$-algebras which are Koszul if and only if the characteristic of $mathbbF$ is not in any prescribed set of primes. Finally, we prove that whenever $R_{Delta}$ is Koszul the coefficients of its $gamma$-vector alternate in sign, settling in the negative an algebraic generalization of a conjecture by Charney and Davis.

This page was built for publication: Koszul Gorenstein algebras from Cohen-Macaulay simplicial complexes

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