8b2298caab5b3a70.tex
1: \begin{abstract} 
2: The purpose of this paper is twofold.  
3:  
4: \noindent $\triangleright$ We give combinatorial 
5: bounds on the ranks of the groups 
6: $\Tor^{R}_\bullet(k,k)_\bullet$ 
7: in the case where $R = k[\Lambda]$ is an  affine semi-group ring,  
8: and in the process provide combinatorial proofs for bounds  
9: by Eisenbud, Reeves and Totaro on which Tor groups vanish. 
10: In addition, we show  
11: that if the bounds hold for a field $k$ then they hold for $\field[\Lambda]$ 
12: and any field $\field$.   
13: Moreover, we provide a combinatorial construction for a free resolution of  
14: $\field$ over $\field[\Lambda]$ which achieves these bounds. 
15:  
16: \noindent $\triangleright$ We extend the lexicographic discrete Morse  
17: function construction of Babson and Hersh for the determination of the  
18: homotopy type and homology of order complexes 
19: of posets to a larger class of facet orderings that includes orders  
20: induced by monomial term orders.  
21:  
22: Since it is known that the order complexes of finite intervals in the  
23: poset of monomials in $k[\Lambda]$ 
24: ordered by divisibility in $k[\Lambda ]$  
25: govern the $\Tor$-groups, the newly  
26: developed tools are applicable and serve as the main    
27: ingredients for the proof of the bounds and the construction of  
28: the resolution. 
29: \end{abstract}