Indexed metadata

Betti numbers of fat forests and their Alexander dual

Ralf Fröberg

Source record

Source: Crossref

Published: May 20, 2022

DOI: 10.1007/s10801-022-01143-0

Open original source ↗

Source abstract

Abstract Let k be a field and R=k[x1,…,xn]/I=S/IR=k[x_1,\ldots ,x_n]/I=S/I R = k [ x 1 , … , x n ] / I = S / I a graded ring. Then R has a t -linear resolution if I is generated by homogeneous elements of degree t , and all higher syzygies are linear. Thus, R has a t -linear resolution if Tori,jS(S/I,k)=0\mathrm{Tor}^S_{i,j}(S/I,k)=0 Tor i , j S ( S / I , k ) = 0 if j≠i+t−1j\ne i+t-1 j ≠ i + t - 1 . For a graph G on {1,…,n}\{1,\ldots ,n\} { 1 , … , n } , the edge algebra is k[x1,…,xn]/Ik[x_1,\ldots ,x_n]/I k [ x 1 , … , x n ] / I , where I is generated by those xixjx_ix_j x i x j for which {i,j}\{ i,j\} { i , j } is an edge in G . We want to determine the Betti numbers of edge rings with 2-linear resolution. But we want to do that by looking at the edge ring as a Stanley–Reisner ring. For a simplicial complex Δ\Delta Δ on [n]={1,…,n}[\mathbf{n}]=\{1,\ldots ,n\} [ n ] = { 1 , … , n } and a field k , the Stanley–Reisner ring k[Δ]k[\Delta ] k [ Δ ] is k[x1,…,xn]/Ik[x_1,\ldots ,x_n]/I k [ x 1 , … , x n ] / I , where I is generated by the squarefree monomials xi1…xikx_{i_1}\ldots x_{i_k} x i 1 … x i k for which {i1,…,ik}\{ i_1,\ldots ,i_k\} { i 1 , … , i k } does not belong to Δ\Delta Δ . Which Stanley–Reisner rings that are edge rings with 2-linear resolution are known. Their associated complexes has had different names in the literature. We call them fat forests here. We determine the Betti numbers of many fat forests and compare our result with what is known. We also consider Betti numbers of Alexander duals of fat forests.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.