Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
|
   
Available in electronic format
Available in print format
Proceedings of the American Mathematical Society
Proceedings of the American Mathematical Society
ISSN 1088-6826(e) ISSN 0002-9939(p)

     

Quadratic initial ideals of root systems

Author(s): Hidefumi Ohsugi; Takayuki Hibi
Journal: Proc. Amer. Math. Soc. 130 (2002), 1913-1922.
MSC (2000): Primary 13P10
Posted: December 27, 2001
MathSciNet review: 1896022
Retrieve article in: PDF
This article is available free of charge

Abstract | References | Similar articles | Additional information

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:

1.
A. Aramova, J. Herzog and T. Hibi, Finite lattices and lexicographic Gröbner bases, Europ. J. Combin. 21 (2000), 431 - 439. MR 2001b:06011

2.
J. Backelin and R. Fröberg, Koszul algebras, Veronese subrings, and rings with linear resolutions, Rev. Roum. Math. Pures Appl. 30 (1985), 85 - 97. MR 87c:16002

3.
W. Bruns, J. Herzog and U. Vetter, Syzygies and walks, in ``Commutative Algebra'' (A. Simis, N. V. Trung and G. Valla, Eds.), World Scientific, Singapore, 1994, pp. 36 - 57. MR 97f:13024

4.
D. Cox, J. Little and D. O'Shea, ``Ideals, Varieties and Algorithms,'' Second Edition, Springer-Verlag, New York, 1996. MR 97h:13024

5.
D. Cox, J. Little and D. O'Shea, ``Using Algebraic Geometry,'' Springer-Verlag, New York, 1998. MR 99h:13033

6.
W. Fong, Triangulations and Combinatorial Properties of Convex Polytopes, Dissertation, M.I.T., June, 2000.

7.
I. M. Gelfand, M. I. Graev and A. Postnikov, Combinatorics of hypergeometric functions associated with positive roots, in ``Arnold-Gelfand Mathematics Seminars, Geometry and Singularity Theory'' (V. I. Arnold, I. M. Gelfand, M. Smirnov and V. S. Retakh, Eds.), Birkhäuser, Boston, 1997, pp. 205 - 221. MR 99k:33046

8.
J. E. Humphreys, ``Introduction to Lie Algebras and Representation Theory,'' Second Printing, Revised, Springer-Verlag, Berlin, Heidelberg, New York, 1972. MR 81b:17007

9.
H. Ohsugi and T. Hibi, Compressed polytopes, initial ideals and complete multipartite graphs, Illinois J. Math. 44 (2000), 391 - 406. MR 2001e:05092

10.
B. Sturmfels, ``Gröbner Bases and Convex Polytopes,'' Amer. Math. Soc., Providence, RI, 1995. MR 97b:13034

Similar Articles:

Retrieve articles in Proceedings of the American Mathematical Society with MSC (2000): 13P10

Retrieve articles in all Journals with MSC (2000): 13P10


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
Email: hibi@math.sci.osaka-u.ac.jp

DOI: 10.1090/S0002-9939-01-06411-5
PII: S 0002-9939(01)06411-5
Received by editor(s): August 8, 2000
Received by editor(s) in revised form: January 29, 2001
Posted: December 27, 2001
Communicated by: John R. Stembridge
Copyright of article: Copyright 2001, American Mathematical Society




AMS and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia