Root polytopes, tropical types,  and toric edge ideals

Almousa, Ayah; Dochtermann, Anton; Smith, Ben

doi:10.5802/alco.404

Root polytopes, tropical types, and toric edge ideals

Almousa, Ayah ¹; Dochtermann, Anton ²; Smith, Ben ³

¹ University of South Carolina Dept. of Mathematics 1523 Greene Street, LeConte College Rm 417 Columbia SC 29208 (USA)
² Texas State University Dept. of Mathematics MCS 470, 601 University Drive San Marcos TX 78666 (USA)
³ University of Lancaster School of Mathematical Sciences Fylde College, Lancaster, LA1 4YF (United Kingdom)

Algebraic Combinatorics, Volume 8 (2025) no. 1, pp. 59-99.

Abstract

We consider arrangements of tropical hyperplanes where the apices of the hyperplanes are taken to infinity in certain directions. Such an arrangement defines a decomposition of Euclidean space where a cell is determined by its ‘type’ data, analogous to the covectors of an oriented matroid. By work of Develin–Sturmfels and Fink–Rincón, these ‘tropical complexes’ are dual to regular subdivisions of root polytopes, which in turn are in bijection with mixed subdivisions of certain generalized permutohedra. Extending previous work with Joswig–Sanyal, we show how a natural monomial labeling of these complexes describes polynomial relations (syzygies) among ‘type ideals’ which arise naturally from the combinatorial data of the arrangement. In particular, we show that the cotype ideal is Alexander dual to a corresponding initial ideal of the lattice ideal of the underlying root polytope. This leads to novel ways of studying algebraic properties of various monomial and toric ideals, as well as relating them to combinatorial and geometric properties. In particular, our methods of studying the dimension of the tropical complex leads to new formulas for homological invariants of toric edge rings of bipartite graphs, which have been extensively studied in the commutative algebra community.

Received: 2023-03-07
Revised: 2024-03-28
Accepted: 2024-10-07
Published online: 2025-03-03

DOI: 10.5802/alco.404

Classification: 14T90, 13F65, 13F55, 13D02, 52B05, 05E40
Keywords: tropical hyperplanes, free resolutions, toric edge ideals, root polytopes, monomial ideals

Author's affiliations:

Almousa, Ayah ¹; Dochtermann, Anton ²; Smith, Ben ³

¹ University of South Carolina Dept. of Mathematics 1523 Greene Street, LeConte College Rm 417 Columbia SC 29208 (USA)
² Texas State University Dept. of Mathematics MCS 470, 601 University Drive San Marcos TX 78666 (USA)
³ University of Lancaster School of Mathematical Sciences Fylde College, Lancaster, LA1 4YF (United Kingdom)

License:

CC-BY 4.0

Copyrights: The authors retain unrestricted copyrights and publishing rights

@article{ALCO_2025__8_1_59_0,
     author = {Almousa, Ayah and Dochtermann, Anton and Smith, Ben},
     title = {Root polytopes, tropical types,  and toric edge ideals},
     journal = {Algebraic Combinatorics},
     pages = {59--99},
     publisher = {The Combinatorics Consortium},
     volume = {8},
     number = {1},
     year = {2025},
     doi = {10.5802/alco.404},
     language = {en},
     url = {https://alco.centre-mersenne.org/articles/10.5802/alco.404/}
}

TY  - JOUR
AU  - Almousa, Ayah
AU  - Dochtermann, Anton
AU  - Smith, Ben
TI  - Root polytopes, tropical types,  and toric edge ideals
JO  - Algebraic Combinatorics
PY  - 2025
SP  - 59
EP  - 99
VL  - 8
IS  - 1
PB  - The Combinatorics Consortium
UR  - https://alco.centre-mersenne.org/articles/10.5802/alco.404/
DO  - 10.5802/alco.404
LA  - en
ID  - ALCO_2025__8_1_59_0
ER  -

%0 Journal Article
%A Almousa, Ayah
%A Dochtermann, Anton
%A Smith, Ben
%T Root polytopes, tropical types,  and toric edge ideals
%J Algebraic Combinatorics
%D 2025
%P 59-99
%V 8
%N 1
%I The Combinatorics Consortium
%U https://alco.centre-mersenne.org/articles/10.5802/alco.404/
%R 10.5802/alco.404
%G en
%F ALCO_2025__8_1_59_0

Almousa, Ayah; Dochtermann, Anton; Smith, Ben. Root polytopes, tropical types,  and toric edge ideals. Algebraic Combinatorics, Volume 8 (2025) no. 1, pp. 59-99. doi : 10.5802/alco.404. https://alco.centre-mersenne.org/articles/10.5802/alco.404/

References
Cited by

[1] Almousa, Ayah Combinatorial Characterizations of Polarizations of Powers of the Graded Maximal Ideal, Ph. D. Thesis, Cornell University (2021)

[2] Almousa, Ayah; Dochtermann, Anton; Smith, Ben Tropical types, parking function ideals, and root polytopes, 2025 (work in progress)

[3] Almousa, Ayah; Dochtermann, Anton; Smith, Ben Tropical types, trianguloids, and polarizations, 2025 (work in progress)

[4] Almousa, Ayah; Fløystad, Gunnar; Lohne, Henning Polarizations of powers of graded maximal ideals, J. Pure Appl. Algebra, Volume 226 (2022) no. 5, Paper no. 106924, 33 pages | DOI | MR | Zbl

[5] Ardila, Federico; Benedetti, Carolina; Doker, Jeffrey Matroid polytopes and their volumes, Discrete Comput. Geom., Volume 43 (2010) no. 4, pp. 841-854 | DOI | MR | Zbl

[6] Ballard, Laura E Properties of the Toric Rings of a Chordal Bipartite Family of Graphs, Ph. D. Thesis, Syracuse University (2020)

[7] Benedetti, Bruno; Varbaro, Matteo On the dual graphs of Cohen-Macaulay algebras, Int. Math. Res. Not. IMRN, Volume 2015 (2015) no. 17, pp. 8085-8115 | DOI | MR | Zbl

[8] Biermann, Jennifer; O’Keefe, Augustine; Van Tuyl, Adam Bounds on the regularity of toric ideals of graphs, Adv. in Appl. Math., Volume 85 (2017), pp. 84-102 | DOI | MR | Zbl

[9] Block, Florian; Yu, Josephine Tropical convexity via cellular resolutions, J. Algebraic Combin., Volume 24 (2006) no. 1, pp. 103-114 | DOI | MR | Zbl

[10] Butkovič, Peter Max-linear systems: theory and algorithms, Springer Monographs in Mathematics, Springer-Verlag London, Ltd., London, 2010, xviii+272 pages | DOI | MR

[11] Cohen, Guy; Gaubert, Stéphane; Quadrat, Jean-Pierre Duality and separation theorems in idempotent semimodules, Linear Algebra Appl., Volume 379 (2004), pp. 395-422 | DOI | MR | Zbl

[12] Conca, Aldo Ladder determinantal rings, J. Pure Appl. Algebra, Volume 98 (1995) no. 2, pp. 119-134 | DOI | MR | Zbl

[13] Conca, Aldo Gorenstein ladder determinantal rings, J. London Math. Soc. (2), Volume 54 (1996) no. 3, pp. 453-474 | DOI | MR | Zbl

[14] Conca, Aldo; Varbaro, Matteo Square-free Gröbner degenerations, Invent. Math., Volume 221 (2020) no. 3, pp. 713-730 | DOI | MR | Zbl

[15] Corso, Alberto; Nagel, Uwe Specializations of Ferrers ideals, J. Algebraic Combin., Volume 28 (2008) no. 3, pp. 425-437 | DOI | MR | Zbl

[16] Corso, Alberto; Nagel, Uwe Monomial and toric ideals associated to Ferrers graphs, Trans. Amer. Math. Soc., Volume 361 (2009) no. 3, pp. 1371-1395 | DOI | MR | Zbl

[17] Develin, Mike; Sturmfels, Bernd Tropical convexity, Doc. Math., Volume 9 (2004), pp. 1-27 | DOI | MR | Zbl

[18] Dochtermann, Anton; Joswig, Michael; Sanyal, Raman Tropical types and associated cellular resolutions, J. Algebra, Volume 356 (2012), pp. 304-324 | DOI | MR | Zbl

[19] Dochtermann, Anton; Sanyal, Raman Laplacian ideals, arrangements, and resolutions, J. Algebraic Combin., Volume 40 (2014) no. 3, pp. 805-822 | DOI | MR | Zbl

[20] Eagon, John A.; Reiner, Victor Resolutions of Stanley-Reisner rings and Alexander duality, J. Pure Appl. Algebra, Volume 130 (1998) no. 3, pp. 265-275 | DOI | MR | Zbl

[21] Fink, Alex; Rincón, Felipe Stiefel tropical linear spaces, J. Combin. Theory Ser. A, Volume 135 (2015), pp. 291-331 | DOI | MR | Zbl

[22] Galashin, Pavel; Nenashev, Gleb; Postnikov, Alexander Trianguloids and triangulations of root polytopes, J. Combin. Theory Ser. A, Volume 201 (2024), Paper no. 105802, 28 pages | DOI | MR | Zbl

[23] Gawrilow, Ewgenij; Joswig, Michael polymake: a framework for analyzing convex polytopes, Polytopes—combinatorics and computation (Oberwolfach, 1997) (DMV Sem.), Volume 29, Birkhäuser, Basel, 2000, pp. 43-73 | DOI | MR | Zbl

[24] Gorla, Elisa Mixed ladder determinantal varieties from two-sided ladders, J. Pure Appl. Algebra, Volume 211 (2007) no. 2, pp. 433-444 | DOI | MR | Zbl

[25] Hà, Huy Tài; Beyarslan, Selvi Kara; O’Keefe, Augustine Algebraic properties of toric rings of graphs, Comm. Algebra, Volume 47 (2019) no. 1, pp. 1-16 | DOI | MR | Zbl

[26] Herzog, Jürgen; Hibi, Takayuki The Regularity of Edge Rings and Matching Numbers, Mathematics, Volume 8 (2020) no. 1, pp. 103-114 | DOI

[27] Herzog, Jürgen; Hibi, Takayuki; Ohsugi, Hidefumi Binomial ideals, Graduate Texts in Mathematics, 279, Springer, Cham, 2018, xix+321 pages | DOI | MR

[28] Hibi, Takayuki; Matsuda, Kazunori; Tsuchiya, Akiyoshi Edge rings with 3-linear resolutions, Proc. Amer. Math. Soc., Volume 147 (2019) no. 8, pp. 3225-3232 | DOI | MR

[29] Hochster, M. Rings of invariants of tori, Cohen-Macaulay rings generated by monomials, and polytopes, Ann. of Math. (2), Volume 96 (1972), pp. 318-337 | DOI | MR

[30] Huber, Birkett; Rambau, Jörg; Santos, Francisco The Cayley trick, lifting subdivisions and the Bohne-Dress theorem on zonotopal tilings, J. Eur. Math. Soc. (JEMS), Volume 2 (2000) no. 2, pp. 179-198 | DOI | MR

[31] Joswig, Michael Essentials of tropical combinatorics, Graduate Studies in Mathematics, 219, American Mathematical Society, Providence, RI, 2021, xx+398 pages | DOI | MR

[32] Joswig, Michael; Loho, Georg Weighted digraphs and tropical cones, Linear Algebra Appl., Volume 501 (2016), pp. 304-343 | DOI | MR

[33] Kálmán, Tamás; Postnikov, Alexander Root polytopes, Tutte polynomials, and a duality theorem for bipartite graphs, Proc. Lond. Math. Soc. (3), Volume 114 (2017) no. 3, pp. 561-588 | DOI | MR

[34] Litvinov, G. L.; Maslov, V. P.; Shpiz, G. B. Idempotent functional analysis. An algebraic approach, Mat. Zametki, Volume 69 (2001) no. 5, pp. 758-797 | DOI | MR

[35] Miller, Ezra; Sturmfels, Bernd Combinatorial commutative algebra, Graduate Texts in Mathematics, 227, Springer-Verlag, New York, 2005, xiv+417 pages | DOI | MR

[36] Mori, Kenta; Ohsugi, Hidefumi; Tsuchiya, Akiyoshi Edge rings with $q$ -linear resolutions, J. Algebra, Volume 593 (2022), pp. 550-567 | DOI | MR

[37] Novik, Isabella; Postnikov, Alexander; Sturmfels, Bernd Syzygies of oriented matroids, Duke Math. J., Volume 111 (2002) no. 2, pp. 287-317 | DOI | MR | Zbl

[38] Ohsugi, Hidefumi; Hibi, Takayuki Koszul bipartite graphs, Adv. in Appl. Math., Volume 22 (1999) no. 1, pp. 25-28 | DOI | MR | Zbl

[39] Ohsugi, Hidefumi; Hibi, Takayuki Toric ideals generated by quadratic binomials, J. Algebra, Volume 218 (1999) no. 2, pp. 509-527 | DOI | MR | Zbl

[40] Postnikov, Alexander Permutohedra, associahedra, and beyond, Int. Math. Res. Not. IMRN, Volume 2009 (2009) no. 6, pp. 1026-1106 | DOI | MR | Zbl

[41] Postnikov, Alexander; Shapiro, Boris Trees, parking functions, syzygies, and deformations of monomial ideals, Trans. Amer. Math. Soc., Volume 356 (2004) no. 8, pp. 3109-3142 | DOI | MR | Zbl

[42] Rajchgot, Jenna; Robichaux, Colleen; Weigandt, Anna Castelnuovo-Mumford regularity of ladder determinantal varieties and patches of Grassmannian Schubert varieties, J. Algebra, Volume 617 (2023), pp. 160-191 | DOI | MR | Zbl

[43] Rubey, Martin The $h$ -vector of a ladder determinantal ring cogenerated by $2 \times 2$ minors is log-concave, J. Algebra, Volume 292 (2005) no. 2, pp. 303-323 | DOI | MR | Zbl

[44] Santos, Francisco Triangulations of oriented matroids, Mem. Amer. Math. Soc., Volume 156 (2002) no. 741, p. viii+80 | DOI | MR | Zbl

[45] Santos, Francisco The Cayley trick and triangulations of products of simplices, Integer points in polyhedra—geometry, number theory, algebra, optimization (Contemp. Math.), Volume 374, Amer. Math. Soc., Providence, RI, 2005, pp. 151-177 | DOI | MR | Zbl

[46] Stanley, Richard P. Log-concave and unimodal sequences in algebra, combinatorics, and geometry, Graph theory and its applications: East and West (Jinan, 1986) (Ann. New York Acad. Sci.), Volume 576, New York Acad. Sci., New York, 1989, pp. 500-535 | DOI | MR | Zbl

[47] Stanley, Richard P. A monotonicity property of $h$ -vectors and $h^{*}$ -vectors, European J. Combin., Volume 14 (1993) no. 3, pp. 251-258 | DOI | MR | Zbl

[48] Sturmfels, Bernd Gröbner bases and convex polytopes, University Lecture Series, 8, American Mathematical Society, Providence, RI, 1996, xii+162 pages | DOI | MR

[49] Terai, Naoki Generalization of Eagon-Reiner theorem and h-vectors of graded rings, 1997 (unpublished preprint)

[50] Tsuchiya, Akiyoshi Edge rings of bipartite graphs with linear resolutions, J. Algebra Appl., Volume 20 (2021) no. 9, Paper no. 2150163, 8 pages | DOI | MR | Zbl

[51] Villarreal, Rafael H. Rees algebras of edge ideals, Comm. Algebra, Volume 23 (1995) no. 9, pp. 3513-3524 | DOI | MR | Zbl

Cited by Sources: