Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

Root polytopes, triangulations, and the subdivision algebra, II


Author: Karola Mészáros
Journal: Trans. Amer. Math. Soc. 363 (2011), 6111-6141
MSC (2010): Primary 05E15, 16S99, 51M25, 52B11
DOI: https://doi.org/10.1090/S0002-9947-2011-05371-7
Published electronically: April 28, 2011
MathSciNet review: 2817421
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: The type $ C_{n}$ root polytope $ \mathcal{P}(C_{n}^+)$ is the convex hull in $ \mathbb{R}^{n}$ of the origin and the points $ e_i-e_j, e_i+e_j, 2e_k$ for $ 1\leq i<j \leq n, k \in [n]$. Given a graph $ G$, with edges labeled positive or negative, associate to each edge $ e$ of $ G$ a vector v$ (e)$ which is $ e_i-e_j$ if $ e=(i, j)$, $ i<j$, is labeled negative and $ e_i+e_j$ if it is labeled positive. For such a signed graph $ G$, the associated root polytope $ \mathcal{P}(G)$ is the intersection of $ \mathcal{P}(C_{n}^+)$ with the cone generated by the vectors v$ (e)$, for edges $ e$ in $ G$. The reduced forms of a certain monomial $ m[G]$ in commuting variables $ x_{ij}, y_{ij}, z_k$ under reductions derived from the relations of a bracket algebra of type $ C_n$, can be interpreted as triangulations of $ \mathcal{P}(G)$. Using these triangulations, the volume of $ \mathcal{P}(G)$ can be calculated. If we allow variables to commute only when all their indices are distinct, then we prove that the reduced form of $ m[G]$, for ``good'' graphs $ G$, is unique and yields a canonical triangulation of $ \mathcal{P}(G)$ in which each simplex corresponds to a noncrossing alternating graph in a type $ C$ sense. A special case of our results proves a conjecture of A. N. Kirillov about the uniqueness of the reduced form of a Coxeter type element in the bracket algebra of type $ C_n$. We also study the bracket algebra of type $ D_n$ and show that a family of monomials has unique reduced forms in it. A special case of our results proves a conjecture of A. N. Kirillov about the uniqueness of the reduced form of a Coxeter type element in the bracket algebra of type $ D_n$.


References [Enhancements On Off] (What's this?)

  • [BR] M. Beck, S. Robins, Computing the continuous discretely. Integer-point enumeration in polyhedra, Springer Science and Business Media, LLCC, 2007. MR 2271992 (2007h:11119)
  • [D] E. Deutsch, Dyck path enumeration, Discrete Math. 204 (1999), 167-202. MR 1691869 (2000d:05007)
  • [FK] S. Fomin, A. N. Kirillov, Quadratic algebras, Dunkl elements and Schubert calculus, Advances in Geometry, Progress in Mathematics 172 (1999), 147-182. MR 1667680 (2001a:05152)
  • [F] W. Fong, Triangulations and Combinatorial Properties of Convex Polytopes, Ph.D. Thesis, 2000.
  • [GGP] I. M. Gelfand, M. I. Graev, A. Postnikov, Combinatorics of hypergeometric functions associated with positive roots, in Arnold-Gelfand Mathematical Seminars: Geometry and Singularity Theory, Birkhäuser, Boston, 1996, 205-221. MR 1429893 (99k:33046)
  • [G] E.  L.  Green, Noncommutative Gröbner bases, and projective resolutions, Computational methods for representations of groups and algebras (Essen, 1997), 29-60, Progr. Math., 173, Birkhäuser, Basel, 1999. MR 1714602 (2001f:16030)
  • [K1] A. N. Kirillov, On some quadratic algebras, L. D. Faddeev's Seminar on Mathematical Physics, American Mathematical Society Translations: Series 2, 201, AMS, Providence, RI, 2000. MR 1772287 (2003a:05155)
  • [K2] A. N. Kirillov, personal communication, 2007.
  • [M] K. Mészáros, Root polytopes, triangulations, and the subdivision algebra, I, http:// arxiv.org/abs/0904.2194.
  • [P] A. Postnikov, Permutohedra, associahedra, and beyond, Int. Math. Res. Not. IMRN 2009, no. 6, 1026-1106. MR 2487491 (2010g:05399)
  • [R1] V. Reiner, Quotients of Coxeter complexes and P-Partitions, Ph.D. Thesis, 1990.
  • [R2] V. Reiner, Signed posets, J. Combin. Theory Ser. A 62 (1993), 324-360. MR 1207741 (94d:06011)
  • [S1] R. Stanley, Decompositions of rational convex polytopes, Annals of Discrete Mathematics 6 (1980), 333-342. MR 593545 (82a:52007)
  • [S2] R. Stanley, Enumerative Combinatorics, vol. 2, Cambridge University Press, New York/Cambridge, 1999. MR 1676282 (2000k:05026)
  • [Z1] T. Zaslavsky, Signed graphs, Discrete Appl. Math. 4 (1982), 47-74. MR 676405 (84e:05095a)
  • [Z2] T. Zaslavsky, Orientation of signed graphs, Europ. J. Combinatorics 12 (1991), 361-375. MR 1120422 (93a:05065)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2010): 05E15, 16S99, 51M25, 52B11

Retrieve articles in all journals with MSC (2010): 05E15, 16S99, 51M25, 52B11


Additional Information

Karola Mészáros
Affiliation: Department of Mathematics, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139

DOI: https://doi.org/10.1090/S0002-9947-2011-05371-7
Keywords: Root polytope, type $C_{n}$, type $D_{n}$, triangulation, volume, Ehrhart polynomial, noncrossing alternating graph, subdivision algebra, bracket algebra, reduced form, noncommutative Gröbner basis
Received by editor(s): October 6, 2009
Received by editor(s) in revised form: April 17, 2010
Published electronically: April 28, 2011
Article copyright: © Copyright 2011 American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication.

American Mathematical Society