A simplicial complex 2 on the vertex set V=[x 1 , x 2 , ..., x v ] is a collection of subsets of V such that (i) Let H i (2; k) denote the ith reduced simplicial homology group of 2 with the coefficient field k. Note that H &1 (2; k)=0 if 2{[<], H &1 ([<]; k)$k, and H i ([<]; k)=0 for each i 0. We
Alexander Duality for Stanley–Reisner Rings and Squarefree Nn-Graded Modules
✍ Scribed by Kohji Yanagawa
- Publisher
- Elsevier Science
- Year
- 2000
- Tongue
- English
- Weight
- 146 KB
- Volume
- 225
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
✦ Synopsis
Let S = k x 1
x n be a polynomial ring, and let ω S be its canonical module. First, we will define squarefreeness for n -graded S-modules. A Stanley-Reisner ring k = S/I , its syzygy module Syz i k , and Ext i S k ω S are always squarefree. This notion will simplify some standard arguments in the Stanley-Reisner ring theory. Next, we will prove that the i-linear strand of the minimal free resolution of a Stanley-Reisner ideal I ⊂ S has the "same information" as the module structure of Ext i S k ∨ ω S , where ∨ is the Alexander dual of . In particular, if k has a linear resolution, we can describe its minimal free resolution using the module structure of the canonical module of k ∨ , which is Cohen-Macaulay in this case. We can also give a new interpretation of a result of Herzog and co-workers, which states that k is sequentially Cohen-Macaulay if and only if I ∨ is componentwise linear.
📜 SIMILAR VOLUMES