Quadratic initial ideals of root systems
HTML articles powered by AMS MathViewer
- by Hidefumi Ohsugi and Takayuki Hibi PDF
- Proc. Amer. Math. Soc. 130 (2002), 1913-1922 Request permission
Abstract:
Let $\Phi \subset \mathbb {Z}^{n}$ be one of the root systems $\mathbf {A}_{n-1}$, $\mathbf {B}_n$, $\mathbf {C}_n$ and $\mathbf {D}_n$ and write $\Phi ^{(+)}$ for the set of positive roots of $\Phi$ together with the origin of $\mathbb {R}^{n}$. Let $K[\mathbf {t}, \mathbf {t}^{-1}, s]$ denote the Laurent polynomial ring $K[t_1, t_1^{-1}, \ldots , t_n, t_n^{-1}, s]$ over a field $K$ and write $\mathcal {R}_K[\Phi ^{(+)}]$ for the affine semigroup ring which is generated by those monomials $\mathbf {t}^{\mathbf {a}} s$ with $\mathbf {a}\in \Phi ^{(+)}$, where $\mathbf {t}^{\mathbf {a}} = t_1^{a_1} \cdots t_n^{a_n}$ if $\mathbf {a}= (a_1, \ldots , a_n)$. Let $K[\Phi ^{(+)}] = K[\{x_{\mathbf {a}} ; \mathbf {a}\in \Phi ^{(+)} \}]$ denote the polynomial ring over $K$ and write $I_{\Phi ^{(+)}}$ $( \subset K[\Phi ^{(+)}] )$ for the toric ideal of $\Phi ^{(+)}$. Thus $I_{\Phi ^{(+)}}$ is the kernel of the surjective homomorphism $\pi : K[\Phi ^{(+)}] \to \mathcal {R}_{K}[\Phi ^{(+)}]$ defined by setting $\pi (x_{\mathbf {a}}) = \mathbf {t}^{\mathbf {a}} s$ for all $\mathbf {a}\in \Phi ^{(+)}$. In their combinatorial study of hypergeometric functions associated with root systems, Gelfand, Graev and Postnikov discovered a quadratic initial ideal of the toric ideal $I_{\mathbf {A}_{n-1}^{(+)}}$ of $\mathbf {A}_{n-1}^{(+)}$. The purpose of the present paper is to show the existence of a reverse lexicographic (squarefree) quadratic initial ideal of the toric ideal of each of $\mathbf {B}_n^{(+)}$, $\mathbf {C}_n^{(+)}$ and $\mathbf {D}_n^{(+)}$. It then follows that the convex polytope of the convex hull of each of $\mathbf {B}_n^{(+)}$, $\mathbf {C}_n^{(+)}$ and $\mathbf {D}_n^{(+)}$ possesses a regular unimodular triangulation arising from a flag complex, and that each of the affine semigroup rings $\mathcal {R}_K[\mathbf {B}_n^{(+)}]$, $\mathcal {R}_K[\mathbf {C}_n^{(+)}]$ and $\mathcal {R}_K[\mathbf {D}_n^{(+)}]$ is Koszul.References
- Annetta Aramova, Jürgen Herzog, and Takayuki Hibi, Finite lattices and lexicographic Gröbner bases, European J. Combin. 21 (2000), no. 4, 431–439. MR 1756149, DOI 10.1006/eujc.1999.0358
- Jörgen Backelin and Ralf Fröberg, Koszul algebras, Veronese subrings and rings with linear resolutions, Rev. Roumaine Math. Pures Appl. 30 (1985), no. 2, 85–97. MR 789425
- Winfried Bruns, Jürgen Herzog, and Udo Vetter, Syzygies and walks, Commutative algebra (Trieste, 1992) World Sci. Publ., River Edge, NJ, 1994, pp. 36–57. MR 1421076
- David Cox, John Little, and Donal O’Shea, Ideals, varieties, and algorithms, 2nd ed., Undergraduate Texts in Mathematics, Springer-Verlag, New York, 1997. An introduction to computational algebraic geometry and commutative algebra. MR 1417938
- David Cox, John Little, and Donal O’Shea, Using algebraic geometry, Graduate Texts in Mathematics, vol. 185, Springer-Verlag, New York, 1998. MR 1639811, DOI 10.1007/978-1-4757-6911-1
- W. Fong, Triangulations and Combinatorial Properties of Convex Polytopes, Dissertation, M. I. T., June, 2000.
- Israel M. Gelfand, Mark I. Graev, and Alexander Postnikov, Combinatorics of hypergeometric functions associated with positive roots, The Arnold-Gelfand mathematical seminars, Birkhäuser Boston, Boston, MA, 1997, pp. 205–221. MR 1429893, DOI 10.1007/978-1-4612-4122-5_{1}0
- James E. Humphreys, Introduction to Lie algebras and representation theory, Graduate Texts in Mathematics, vol. 9, Springer-Verlag, New York-Berlin, 1978. Second printing, revised. MR 499562
- Hidefumi Ohsugi and Takayuki Hibi, Compressed polytopes, initial ideals and complete multipartite graphs, Illinois J. Math. 44 (2000), no. 2, 391–406. MR 1775328
- Bernd Sturmfels, Gröbner bases and convex polytopes, University Lecture Series, vol. 8, American Mathematical Society, Providence, RI, 1996. MR 1363949, DOI 10.1090/ulect/008
Additional Information
- Hidefumi Ohsugi
- Affiliation: Department of Mathematics, Graduate School of Science, Osaka University, Toyonaka, Osaka 560–0043, Japan
- Email: ohsugi@math.sci.osaka-u.ac.jp
- Takayuki Hibi
- Affiliation: Department of Mathematics, Graduate School of Science, Osaka University, Toyonaka, Osaka 560–0043, Japan
- MR Author ID: 219759
- Email: hibi@math.sci.osaka-u.ac.jp
- Received by editor(s): August 8, 2000
- Received by editor(s) in revised form: January 29, 2001
- Published electronically: December 27, 2001
- Communicated by: John R. Stembridge
- © Copyright 2001 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 130 (2002), 1913-1922
- MSC (2000): Primary 13P10
- DOI: https://doi.org/10.1090/S0002-9939-01-06411-5
- MathSciNet review: 1896022