Monomial ideals, edge ideals of hypergraphs, and their graded Betti numbers

被引:159
作者
Ha, Huy Tai [1 ]
Van Tuyl, Adam [2 ]
机构
[1] Tulane Univ, Dept Math, New Orleans, LA 70118 USA
[2] Lakehead Univ, Dept Math Sci, Thunder Bay, ON P7B 5E1, Canada
关键词
hypergraphs; chordal graphs; monomial ideals; graded resolutions; regularity;
D O I
10.1007/s10801-007-0079-y
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We use the correspondence between hypergraphs and their associated edge ideals to study the minimal graded free resolution of squarefree monomial ideals. The theme of this paper is to understand how the combinatorial structure of a hypergraph H appears within the resolution of its edge ideal I(H). We discuss when recursive formulas to compute the graded Betti numbers of I(H) in terms of its sub-hypergraphs can be obtained; these results generalize our previous work (Ha, H.T., Van Tuyl, A. in J. Algebra 309:405-425, 2007) on the edge ideals of simple graphs. We introduce a class of hypergraphs, which we call properly-connected, that naturally generalizes simple graphs from the point of view that distances between intersecting edges are "well behaved." For such a hypergraph H (and thus, for any simple graph), we give a lower bound for the regularity of I(H) via combinatorial information describing H and an upper bound for the regularity when H=G is a simple graph. We also introduce triangulated hypergraphs that are properly-connected hypergraphs generalizing chordal graphs. When I(H) is a triangulated hypergraph, we explicitly compute the regularity of I(H) and show that the graded Betti numbers of I(H) are independent of the ground field. As a consequence, many known results about the graded Betti numbers of forests can now be extended to chordal graphs.
引用
收藏
页码:215 / 245
页数:31
相关论文
共 33 条
[1]  
BARILE M, 2006, MATHAC0606353
[2]  
Berge C., 1989, Hypergraphs: Combinatorics of Finite Sets
[3]   Simplicial cycles and the computation of simplicial trees [J].
Caboara, Massimo ;
Faridi, Sara ;
Selinger, Peter .
JOURNAL OF SYMBOLIC COMPUTATION, 2007, 42 (1-2) :74-88
[4]  
*COCOATEAM, COCA SYST DOING COMP
[5]  
CORSO A, 2006, MTHAC0609371
[6]  
Dirac G. A., 1961, Abh. Math. Semin. Univ. Hambg, V25, P71, DOI [10.1007/BF02992776, DOI 10.1007/BF02992776]
[7]   Restricting linear syzygies: algebra and geometry [J].
Eisenbud, D ;
Green, M ;
Hulek, K ;
Popescu, S .
COMPOSITIO MATHEMATICA, 2005, 141 (06) :1460-1478
[8]   MINIMAL RESOLUTIONS OF SOME MONOMIAL IDEALS [J].
ELIAHOU, S ;
KERVAIRE, M .
JOURNAL OF ALGEBRA, 1990, 129 (01) :1-25
[9]  
Eliahou S., 1998, APORTACIONES MAT COM, V25, P115
[10]   The facet ideal of a simplicial complex [J].
Faridi, S .
MANUSCRIPTA MATHEMATICA, 2002, 109 (02) :159-174