Groebner basis degree bounds on $\Tor^{k[Λ ]}_\bullet(k,k)_\bullet$ and discrete Morse theory for posets

Details Groebner basis degree bounds on $\Tor^{k[Λ ]}_\bullet(k,k)_\bullet$ and discrete Morse theory for posets Groebner basis degree bounds on $\Tor^{k[Λ ]}_\bullet(k,k)_\bullet$ and discrete Morse theory for posets

2003-12-30

arxiv.org/abs/math/0312505v1

Mathematics

Combinatorics

Scientific paper

The purpose of this paper is twofold. 1. We give combinatorial bounds on the ranks of the groups $\Tor^{R}_\bullet(k,k)_\bullet$ in the case where $R = k[\Lambda]$ is an affine semi-group ring, and in the process provide combinatorial proofs for bounds by Eisenbud, Reeves and Totaro on which Tor groups vanish. In addition, we show that if the bounds hold for a field $k$ then they hold for $\field[\Lambda]$ and any field $\field$. Moreover, we provide a combinatorial construction for a free resolution of $\field$ over $\field[\Lambda]$ which achieves these bounds. 2. We extend the lexicographic discrete Morse function construction of Babson and Hersh for the determination of the homotopy type and homology of order complexes of posets to a larger class of facet orderings that includes orders induced by monomial term orders. Since it is known that the order complexes of finite intervals in the poset of monomials in $k[\Lambda]$ ordered by divisibility in $k[\Lambda ]$ govern the $\Tor$-groups, the newly developed tools are applicable and serve as the main ingredients for the proof of the bounds and the construction of the resolution.

Affiliated with

Also associated with

No associations

Rating

Groebner basis degree bounds on $\Tor^{k[Λ ]}_\bullet(k,k)_\bullet$ and discrete Morse theory for posets does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Groebner basis degree bounds on $\Tor^{k[Λ ]}_\bullet(k,k)_\bullet$ and discrete Morse theory for posets, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Groebner basis degree bounds on $\Tor^{k[Λ ]}_\bullet(k,k)_\bullet$ and discrete Morse theory for posets will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-600146