Monomial and toric ideals associated to Ferrers graphs
HTML articles powered by AMS MathViewer
- by Alberto Corso and Uwe Nagel PDF
- Trans. Amer. Math. Soc. 361 (2009), 1371-1395 Request permission
Abstract:
Each partition $\lambda = (\lambda _1, \lambda _2, \ldots , \lambda _n)$ determines a so-called Ferrers tableau or, equivalently, a Ferrers bipartite graph. Its edge ideal, dubbed a Ferrers ideal, is a squarefree monomial ideal that is generated by quadrics. We show that such an ideal has a $2$-linear minimal free resolution; i.e. it defines a small subscheme. In fact, we prove that this property characterizes Ferrers graphs among bipartite graphs. Furthermore, using a method of Bayer and Sturmfels, we provide an explicit description of the maps in its minimal free resolution. This is obtained by associating a suitable polyhedral cell complex to the ideal/graph. Along the way, we also determine the irredundant primary decomposition of any Ferrers ideal. We conclude our analysis by studying several features of toric rings of Ferrers graphs. In particular we recover/establish formulæ for the Hilbert series, the Castelnuovo-Mumford regularity, and the multiplicity of these rings. While most of the previous works in this highly investigated area of research involve path counting arguments, we offer here a new and self-contained approach based on results from Gorenstein liaison theory.References
- Shreeram S. Abhyankar, Enumerative combinatorics of Young tableaux, Monographs and Textbooks in Pure and Applied Mathematics, vol. 115, Marcel Dekker, Inc., New York, 1988. MR 926272
- Francesco Brenti, Gordon F. Royle, and David G. Wagner, Location of zeros of chromatic and related polynomials of graphs, Canad. J. Math. 46 (1994), no. 1, 55–80. MR 1260339, DOI 10.4153/CJM-1994-002-3
- Dave Bayer and Bernd Sturmfels, Cellular resolutions of monomial modules, J. Reine Angew. Math. 502 (1998), 123–140. MR 1647559, DOI 10.1515/crll.1998.083
- Dave Bayer, Irena Peeva, and Bernd Sturmfels, Monomial resolutions, Math. Res. Lett. 5 (1998), no. 1-2, 31–46. MR 1618363, DOI 10.4310/MRL.1998.v5.n1.a3
- Riccardo Biagioli, Sara Faridi, and Mercedes Rosas, Resolutions of De Concini-Procesi ideals of hooks, Comm. Algebra 35 (2007), no. 12, 3875–3891. MR 2371263, DOI 10.1080/00927870701511954
- Winfried Bruns and Anna Guerrieri, The Dedekind-Mertens formula and determinantal rings, Proc. Amer. Math. Soc. 127 (1999), no. 3, 657–663. MR 1468185, DOI 10.1090/S0002-9939-99-04535-9
- Winfried Bruns and Jürgen Herzog, On the computation of $a$-invariants, Manuscripta Math. 77 (1992), no. 2-3, 201–213. MR 1188581, DOI 10.1007/BF02567054
- Winfried Bruns and Jürgen Herzog, Cohen-Macaulay rings, Cambridge Studies in Advanced Mathematics, vol. 39, Cambridge University Press, Cambridge, 1993. MR 1251956
- Fred Butler, Rook theory and cycle-counting permutation statistics, Adv. in Appl. Math. 33 (2004), no. 4, 655–675. MR 2095860, DOI 10.1016/j.aam.2004.03.004
- Aldo Conca, Ladder determinantal rings, J. Pure Appl. Algebra 98 (1995), no. 2, 119–134. MR 1319965, DOI 10.1016/0022-4049(94)00039-L
- Aldo Conca, Straightening law and powers of determinantal ideals of Hankel matrices, Adv. Math. 138 (1998), no. 2, 263–292. MR 1645574, DOI 10.1006/aima.1998.1740
- Aldo Conca and Jürgen Herzog, On the Hilbert function of determinantal rings and their canonical module, Proc. Amer. Math. Soc. 122 (1994), no. 3, 677–681. MR 1213858, DOI 10.1090/S0002-9939-1994-1213858-0
- A. Corso and U. Nagel, Specializations of Ferrers ideals, to appear in J. Algebraic Combin.
- Alberto Corso, Wolmer V. Vasconcelos, and Rafael H. Villarreal, Generic Gaussian ideals, J. Pure Appl. Algebra 125 (1998), no. 1-3, 117–127. MR 1600012, DOI 10.1016/S0022-4049(97)80001-1
- Mike Develin, Rook poset equivalence of Ferrers boards, Order 23 (2006), no. 2-3, 179–195. MR 2308905, DOI 10.1007/s11083-006-9039-8
- Kequan Ding, Rook placements and cellular decomposition of partition varieties, Discrete Math. 170 (1997), no. 1-3, 107–151. MR 1452940, DOI 10.1016/S0012-365X(96)00002-7
- J. A. Eagon and D. G. Northcott, Ideals defined by matrices and a certain complex associated with them, Proc. Roy. Soc. London Ser. A 269 (1962), 188–204. MR 142592, DOI 10.1098/rspa.1962.0170
- Richard Ehrenborg and Stephanie van Willigenburg, Enumerative properties of Ferrers graphs, Discrete Comput. Geom. 32 (2004), no. 4, 481–492. MR 2096744, DOI 10.1007/s00454-004-1135-1
- David Eisenbud, Mark Green, Klaus Hulek, and Sorin Popescu, Restricting linear syzygies: algebra and geometry, Compos. Math. 141 (2005), no. 6, 1460–1478. MR 2188445, DOI 10.1112/S0010437X05001776
- D. Eisenbud, M. Green, K. Hulek, and S. Popescu, Small schemes and varieties of minimal degree, Amer. J. Math. 128 (2006), no. 6, 1363–1389. MR 2275024
- Ralf Fröberg, On Stanley-Reisner rings, Topics in algebra, Part 2 (Warsaw, 1988) Banach Center Publ., vol. 26, PWN, Warsaw, 1990, pp. 57–70. MR 1171260
- Ira Gessel and Gérard Viennot, Binomial determinants, paths, and hook length formulae, Adv. in Math. 58 (1985), no. 3, 300–321. MR 815360, DOI 10.1016/0001-8708(85)90121-5
- Jay R. Goldman, J. T. Joichi, and Dennis E. White, Rook theory. I. Rook equivalence of Ferrers boards, Proc. Amer. Math. Soc. 52 (1975), 485–492. MR 429578, DOI 10.1090/S0002-9939-1975-0429578-4
- Elisa Gorla, Mixed ladder determinantal varieties from two-sided ladders, J. Pure Appl. Algebra 211 (2007), no. 2, 433–444. MR 2340461, DOI 10.1016/j.jpaa.2007.01.016
- Henry W. Gould, Combinatorial identities, Henry W. Gould, Morgantown, W. Va., 1972. A standardized set of tables listing 500 binomial coefficient summations. MR 0354401
- Sudhir R. Ghorpade, Hilbert functions of ladder determinantal varieties, Discrete Math. 246 (2002), no. 1-3, 131–175. Formal power series and algebraic combinatorics (Barcelona, 1999). MR 1887484, DOI 10.1016/S0012-365X(01)00256-4
- Dominique Gouyou-Beauchamps, Chemins sous-diagonaux et tableaux de Young, Combinatoire énumérative (Montreal, Que., 1985/Quebec, Que., 1985) Lecture Notes in Math., vol. 1234, Springer, Berlin, 1986, pp. 112–125 (French, with English summary). MR 927762, DOI 10.1007/BFb0072513
- Huy Tài Hà and Adam Van Tuyl, Splittable ideals and the resolutions of monomial ideals, J. Algebra 309 (2007), no. 1, 405–425. MR 2301246, DOI 10.1016/j.jalgebra.2006.08.022
- James Haglund, Rook theory and hypergeometric series, Adv. in Appl. Math. 17 (1996), no. 4, 408–459. MR 1422066, DOI 10.1006/aama.1996.0017
- Jürgen Herzog and Takayuki Hibi, Distributive lattices, bipartite graphs and Alexander duality, J. Algebraic Combin. 22 (2005), no. 3, 289–302. MR 2181367, DOI 10.1007/s10801-005-4528-1
- Jürgen Herzog, Takayuki Hibi, and Xinxian Zheng, Monomial ideals whose powers have a linear resolution, Math. Scand. 95 (2004), no. 1, 23–32. MR 2091479, DOI 10.7146/math.scand.a-14446
- Jürgen Herzog and Ngô Viêt Trung, Gröbner bases and multiplicity of determinantal and Pfaffian ideals, Adv. Math. 96 (1992), no. 1, 1–37. MR 1185786, DOI 10.1016/0001-8708(92)90050-U
- Jan O. Kleppe, Juan C. Migliore, Rosa Miró-Roig, Uwe Nagel, and Chris Peterson, Gorenstein liaison, complete intersection liaison invariants and unobstructedness, Mem. Amer. Math. Soc. 154 (2001), no. 732, viii+116. MR 1848976, DOI 10.1090/memo/0732
- C. Krattenthaler, Non-crossing two-rowed arrays and summations for Schur functions, preprint 1992.
- C. Krattenthaler and S. G. Mohanty, On lattice path counting by major index and descents, European J. Combin. 14 (1993), no. 1, 43–51. MR 1197475, DOI 10.1006/eujc.1993.1007
- C. Krattenthaler and M. Prohaska, A remarkable formula for counting nonintersecting lattice paths in a ladder with respect to turns, Trans. Amer. Math. Soc. 351 (1999), no. 3, 1015–1042. MR 1407495, DOI 10.1090/S0002-9947-99-01884-X
- Christian Krattenthaler and Martin Rubey, A determinantal formula for the Hilbert series of one-sided ladder determinantal rings, Algebra, arithmetic and geometry with applications (West Lafayette, IN, 2000) Springer, Berlin, 2004, pp. 525–551. MR 2037108
- Devadatta M. Kulkarni, Counting of paths and coefficients of the Hilbert polynomial of a determinantal ideal, Discrete Math. 154 (1996), no. 1-3, 141–151. MR 1395454, DOI 10.1016/0012-365X(94)00345-J
- Juan C. Migliore, Introduction to liaison theory and deficiency modules, Progress in Mathematics, vol. 165, Birkhäuser Boston, Inc., Boston, MA, 1998. MR 1712469, DOI 10.1007/978-1-4612-1794-7
- J. Migliore, U. Nagel and T. Römer, Extensions of the multiplicity conjecture, to appear in Trans. Amer. Math. Soc.
- Ezra Miller and Bernd Sturmfels, Combinatorial commutative algebra, Graduate Texts in Mathematics, vol. 227, Springer-Verlag, New York, 2005. MR 2110098
- A. Mitchell, The inverse rook problem on Ferrers boards, preprint 2004.
- Himanee Narasimhan, The irreducibility of ladder determinantal varieties, J. Algebra 102 (1986), no. 1, 162–185. MR 853237, DOI 10.1016/0021-8693(86)90134-1
- Claudia Polini, Bernd Ulrich, and Marie A. Vitulli, The core of zero-dimensional monomial ideals, Adv. Math. 211 (2007), no. 1, 72–93. MR 2313528, DOI 10.1016/j.aim.2006.07.020
- Martin Rubey, The $h$-vector of a ladder determinantal ring cogenerated by $2\times 2$ minors is log-concave, J. Algebra 292 (2005), no. 2, 303–323. MR 2172157, DOI 10.1016/j.jalgebra.2005.07.023
- Aron Simis, Wolmer V. Vasconcelos, and Rafael H. Villarreal, On the ideal theory of graphs, J. Algebra 167 (1994), no. 2, 389–416. MR 1283294, DOI 10.1006/jabr.1994.1192
- Richard P. Stanley, Enumerative combinatorics. Vol. 2, Cambridge Studies in Advanced Mathematics, vol. 62, Cambridge University Press, Cambridge, 1999. With a foreword by Gian-Carlo Rota and appendix 1 by Sergey Fomin. MR 1676282, DOI 10.1017/CBO9780511609589
- R.P. Stanley, Catalan addendum (URL: www-math.mit.edu/~rstan/ec/catadd.pdf).
- Carlos E. Valencia and Rafael H. Villarreal, Canonical modules of certain edge subrings, European J. Combin. 24 (2003), no. 5, 471–487. MR 1983672, DOI 10.1016/S0195-6698(03)00058-1
- Anna Varvak, Rook numbers and the normal ordering problem, J. Combin. Theory Ser. A 112 (2005), no. 2, 292–307. MR 2177488, DOI 10.1016/j.jcta.2005.07.012
- Rafael H. Villarreal, Monomial algebras, Monographs and Textbooks in Pure and Applied Mathematics, vol. 238, Marcel Dekker, Inc., New York, 2001. MR 1800904
- Hsin-Ju Wang, A determinantal formula for the Hilbert series of determinantal rings of one-sided ladder, J. Algebra 265 (2003), no. 1, 79–99. MR 1984900, DOI 10.1016/S0021-8693(03)00223-0
- H.-J. Wang, Counting of paths and the multiplicity of determinantal rings, preprint 2002.
- H.-J. Wang, A conjecture of Herzog and Conca on counting of paths, preprint 2002.
Additional Information
- Alberto Corso
- Affiliation: Department of Mathematics, University of Kentucky, Lexington, Kentucky 40506
- MR Author ID: 348795
- Email: corso@ms.uky.edu
- Uwe Nagel
- Affiliation: Department of Mathematics, University of Kentucky, Lexington, Kentucky 40506
- MR Author ID: 248652
- Email: uwenagel@ms.uky.edu
- Received by editor(s): January 22, 2007
- Published electronically: October 17, 2008
- Additional Notes: The second author gratefully acknowledges partial support from the NSA under grant H98230-07-1-0065
- © Copyright 2008
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Trans. Amer. Math. Soc. 361 (2009), 1371-1395
- MSC (2000): Primary 05A15, 13D02, 13D40, 14M25; Secondary 05C75, 13C40, 13H10, 14M12, 52B05
- DOI: https://doi.org/10.1090/S0002-9947-08-04636-9
- MathSciNet review: 2457403