Problems and algorithms for affine semigroups

Affine semigroups—discrete analogues of convex polyhedral cones—mark the cross-roads of algebraic geometry, commutative algebra and integer programming. They constitute the combinatorial background for the theory of toric varieties, which is their main link to algebraic geometry. Initiated by the work of Demazure [17] and Kempf, Knudsen, Mumford and Saint-Donat [33] in the early 70s, toric geometry is still a very active area of research. However, the last decade has clearly witnessed the extensive study of affine semigroups from the other two perspectives. No doubt, this is due to the tremendously increased computational power in algebraic geometry, implemented through the theory of Grobner bases, and, of course, to the modern computers. In this article we overview those aspects of this development that have been relevant for our own research, and pose several open problems. Answers to these problems would contribute substantially to the theory. The paper treats two main topics: (1) affine semigroups and several covering properties for them and (2) algebraic properties for the corresponding rings (Koszul, Cohen-Macaulay, different “sizes” of the defining binomial ideals). We emphasize the special case when the initial data are encoded into lattice polytopes. The related objects—polytopal semigroups and algebras— provide a link with the classical theme of triangulations into unimodular simplices. We have also included an algorithm for checking the semigroup covering property in the most general setting (Section 4). Our counterexample to certain covering conjectures (Section 3) was found by the application of a small part of this algorithm. The general algorithm could be used for a deeper study of affine semigroups.

[1]  R. Gilmer,et al.  Commutative Semigroup Rings , 1984 .

[2]  Wolfgang Vogel,et al.  Buchsbaum rings and applications , 1986 .

[3]  Jürgen Herzog,et al.  Generators and relations of abelian semigroups and semigroup rings , 1970 .

[4]  Winfried Bruns,et al.  Normality and covering properties of affine semigroups , 1999 .

[5]  Apostolos Thoma,et al.  On Simplicial Toric Varieties Which Are Set-Theoretic Complete Intersections , 2000 .

[6]  András Sebö,et al.  Hilbert Bases, Caratheodory's Theorem and Combinatorial Optimization , 1990, IPCO.

[7]  P. Schenzel.  On Veronesean embeddings and projections of Veronesean varieties , 1978 .

[8]  W. Bruns,et al.  Cohen-Macaulay rings , 1993 .

[9]  Bernd Sturmfels.  Equations Defining Toric Varieties , 1996 .

[10]  Takayuki Hibi,et al.  Toric Ideals Generated by Quadratic Binomials , 1999 .

[11]  U. Schäfer,et al.  Dualizing complexes of affine semigroup rings , 1990 .

[12]  A toric ring with irrational Poincaré-Betti series , 1998 .

[13]  H. Bresinsky.  Monomial Gorenstein ideals , 1979 .

[14]  Robert Lazarsfeld,et al.  On a theorem of Castelnuovo, and the equations defining space curves , 1983 .

[15]  W. Bruns,et al.  Divisorial Linear Algebra of Normal Semigroup Rings , 2000, math/0001049.

[16]  S. Goto,et al.  On affine semigroup rings , 1976 .

[17]  C. Bouvier,et al.  Système générateur minimal, diviseurs essentiels et $G$-désingularisations de variétés toriques , 1995 .

[18]  Henrik Bresinsky,et al.  Symmetric semigroups of integers generated by 4 elements , 1975 .

[19]  R. Stanley.  Combinatorics and commutative algebra , 1983 .

[20]  D. Eisenbud.  Commutative Algebra: with a View Toward Algebraic Geometry , 1995 .

[21]  B. Sturmfels.  Gröbner bases and convex polytopes , 1995 .

[22]  William J. Cook,et al.  An integer analogue of Carathéodory's theorem , 1986, J. Comb. Theory, Ser. B.

[23]  N. Trung,et al.  Affine semigroups and Cohen-Macaulay rings generated by monomials , 1986 .

[24]  K. S. Sarkaria,et al.  On Primitive Subdivisions of an Elementary Tetrahedron , 2003 .

[25]  T. Moh.  Set-theoretic complete intersections , 1985 .

[26]  H. Bresinsky.  On Prime Ideals with Generic Zero x i = t n i , 1975 .

[27]  Richard P. Stanley,et al.  Linear diophantine equations and local cohomology , 1982 .

[28]  Monomial Subrings in Arbitrary Dimension , 2001 .

[29]  David Eisenbud,et al.  Linear Free Resolutions and Minimal Multiplicity , 1984 .

[30]  L. T. Hoa.  Classification of the Triple Projections of Veronese Varieties , 1986 .

[31]  Alexander Martin,et al.  A counterexample to an integer analogue of Carathéodory's theorem , 1999 .

[32]  W. Gröbner.  Über Veronesesche Varietäten und deren Projektionen , 1965 .

[33]  Michel Demazure,et al.  Sous-groupes algébriques de rang maximum du groupe de Cremona , 1970 .

[34]  Takayuki Hibi,et al.  A Normal (0, 1)-Polytope None of Whose Regular Triangulations Is Unimodular , 1999, Discret. Comput. Geom..

[35]  Ernst Kunz,et al.  Die Wertehalbgruppe eines lokalen Rings der Dimension 1 , 1971 .

[36]  W. Bruns,et al.  Normal polytopes, triangulations, and Koszul algebras. , 1997 .

[37]  Bernd Sturmfels,et al.  Syzygies of codimension 2 lattice ideals , 1998 .

[38]  Melvin Hochster,et al.  Rings of Invariants of Tori, Cohen-Macaulay Rings Generated by Monomials, and Polytopes , 1972 .

[39]  Günter M. Ziegler,et al.  Hilbert Bases, Unimodular Triangulations, and Binary Covers of Rational Polyhedral Cones , 1999, Discret. Comput. Geom..

[40]  N. Trung.  Projections of One‐Dimensional Veronese Varieties , 1984 .

[41]  N. Trung.  Classification of the double projections of Veronese varieties , 1982 .

[42]  Tadao Oda.  Convex Bodies and Algebraic Geometry: An Introduction to the Theory of Toric Varieties , 1987 .