Semi-group rings, resolutions and homology of monoidsAlgebra & Discrete Mathematics
|Speaker:||Patricia Hersh, Indiana University|
|Start time:||Fri, Oct 15 2004, 12:10PM|
A series of papers (by Herzog, Peeva, Reiner, Sturmfels, Welker, etc.) have used the simplicial homology of monoid posets to deduce properties of semi-group rings, i.e. of coordinate rings for affine (not necessarily normal) toric varieties. I'll explain the connection between monoid posets and semi-group rings, after reviewing a few notions from commutative algebra that we'll use.
Then I'll review Robin Forman's discrete Morse theory, Chari's combinatorial reformulation in terms of matchings on face posets, and discuss how this may be applied to monoid posets. When one has a Groebner basis of degree d for a toric ideal related to the monoid, we show that this implies that the homology of each monoid poset interval vanishes below dimension equal to the rank of the interval divided by d-1. This gives a combinatorial version of a notion from commutative algebra in this case -- the complexity of a resolution, and it enables us to construct a correspondingly ``small'' resolution. This is joint work with Volkmar Welker.