Degree and Algebraic Properties of Lattice and Matrix Ideals

We study the degree of nonhomogeneous lattice ideals over arbitrary fields, and give formulas to compute the degree in terms of the torsion of certain factor groups of $\mathbb{Z}^s$ and in terms of relative volumes of lattice polytopes. We also study primary decompositions of lattice ideals over an...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:SIAM journal on discrete mathematics 2014-01, Vol.28 (1), p.394-427
Hauptverfasser: O'Carroll, Liam, Planas-Vilanova, Francesc, Villarreal, Rafael H.
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We study the degree of nonhomogeneous lattice ideals over arbitrary fields, and give formulas to compute the degree in terms of the torsion of certain factor groups of $\mathbb{Z}^s$ and in terms of relative volumes of lattice polytopes. We also study primary decompositions of lattice ideals over an arbitrary field using the Eisenbud--Sturmfels theory of binomial ideals over algebraically closed fields. We then use these results to study certain families of integer matrices (positive critical binomial (PCB), generalized positive critical binomial (GPCB), critical binomial (CB), and generalized critical binomial (GCB) matrices) and the algebra of their corresponding matrix ideals. In particular, the family of GPCB matrices is shown to be closed under transposition, and previous results for PCB ideals are extended to GPCB ideals. Then, more particularly, we give some applications to the theory of $1$-dimensional binomial ideals. If $G$ is a connected graph, we show as a further application that the order of its sandpile group is the degree of the Laplacian ideal and the degree of the toppling ideal. We also use our earlier results to give a structure theorem for graded lattice ideals of dimension $1$ in $3$ variables and for homogeneous lattices in $\mathbb{Z}^3$ in terms of CB ideals and CB matrices, respectively, thus complementing a well-known theorem of Herzog on the toric ideal of a monomial space curve. [PUBLICATION ABSTRACT]
ISSN:0895-4801
1095-7146
DOI:10.1137/130922094