Higher resonance schemes and Koszul modules of simplicial complexes
type: Item
instance of: scholarly article
title: Higher resonance schemes and Koszul modules of simplicial complexes
zbMATH Open document ID: 1547.13029
author: Marian Aprodu
author: Gavril Farkas
author: Claudiu Raicu
author: Alessio Sammartano
author: Alexander I. Suciu
published in: Journal of Algebraic Combinatorics
publication date: 2024-07-10T00:00:00Z
review text: Working over a characteristic zero base field $\mathbf{k}$, in the article under review, the authors study the higher Koszul modules $W_i(\Delta)$ that are associated to each abstract simplicial complex $\Delta$ on $n$ vertices.\N\NIn more precise terms, a construction of Stanley and Reisner associates to $\Delta$ a graded, graded-commutative algebra $\mathbf{k}\langle \Delta \rangle$; denoting by $S$ the polynomial ring $\mathbf{k}[x_1,\dots,x_n]$, endowed with its standard multigrading, there is a multigraded chain complex $(\mathbf{k}\langle \Delta \rangle_\bullet \otimes_{\mathbf{k}} S, \partial_\bullet)$ and the higher Koszul modules $W_i(\Delta)$ are defined to be the multigraded $S$-modules \N\[\NW_i(\Delta) := H_i (( \mathbf{k} \langle \Delta \rangle_\bullet \otimes_{\mathbf{k}} S , \partial_\bullet) ).\N\]\NThe authors' first result is that for all $i \geq 1$ and each square-free multi-index $\mathbf{b} \in \mathbb{N}^n$, there is a natural isomorphism of vector spaces \N\[\N[W_i(\Delta)]_{\mathbf{b}} \simeq [\operatorname{Tor}^S_{|\mathbf{b}| - i}(\mathbf{k},\mathbf{k}[\Delta])]_{\mathbf{b}}^\vee.\N\]\NHere, $\mathbf{k}[\Delta]$ is the polynomial Stanley-Reisner ring of $\Delta$.\N\NSecond, the authors show that the multigraded Hilbert series of $W_i(\Delta)$ can be described as \N\[\N\sum_{\mathbf{a} \in \mathbb{N}^n} \operatorname{dim}_{\mathbf{k}}[W_i(\Delta)]_{\mathbf{a}} \mathbf{t}^{\mathbf{a}} = \sum_{\substack{ \mathbf{b} \in \mathbb{N}^n \\\N\mathbf{b}\text{ is square-free}}} \operatorname{dim}_{\mathbf{k}}(\tilde{H}_{i-1}(\Delta_{\mathbf{b}};\mathbf{k})) \frac{ \mathbf{t}^{\mathbf{b}}}{\prod_{j \in \operatorname{Supp}(\mathbf{b})}(1-t_j)}.\N\]\NHere, $\Delta_{\mathbf{b}}$ is the restriction of $\Delta$ to $\operatorname{Supp}(\mathbf{b})$ and $\tilde{H}_{i-1}(\Delta_{\mathbf{b}};\mathbf{k})$ is the $(i-1)$th reduced homology group of $\Delta_{\mathbf{b}}$ with coefficients in $\mathbf{k}$.\N\NFinally, the authors prove that for each $i \geq 1$, th…
reviewed by: Nathan Grieve
Mathematics Subject Classification ID: 13F55
Mathematics Subject Classification ID: 14M12
Mathematics Subject Classification ID: 16E05
zbMATH DE Number: 7879470
zbMATH Keywords: simplicial complex
zbMATH Keywords: square-free monomial ideal
zbMATH Keywords: Koszul module
zbMATH Keywords: resonance variety
zbMATH Keywords: reduced scheme
zbMATH Keywords: Hilbert series
MaRDI profile type: MaRDI publication profile
cites work: Koszul modules and Green's conjecture
cites work: Topological invariants of groups and Koszul modules
cites work: Resolutions of monomial ideals and cohomology over exterior algebras
cites work: Linear strands of multigraded free resolutions
cites work: Abelian duality and propagation of resonance
cites work: The Geometry of Syzygies
cites work: Monomial Ideals
cites work: Algebraic invariants for right-angled Artin groups.
cites work: Toric complexes and Artin kernels
cites work: Jump loci in the equivariant spectral sequence
cites work: Vanishing resonance and representations of Lie algebras
cites work: Around the Tangent Cone Theorem
cites work: Alexander duality for Stanley-Reisner rings and squarefree \(\mathbb{N}^n\)-graded modules
DOI: 10.1007/S10801-024-01313-2
description: scientific article; zbMATH DE number 7879470