Francisco Santos ; Christian Stump ; Volkmar Welker - Noncrossing sets and a Graßmannian associahedron

dmtcs:2427 - Discrete Mathematics & Theoretical Computer Science, January 1, 2014, DMTCS Proceedings vol. AT, 26th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2014) - https://doi.org/10.46298/dmtcs.2427
Noncrossing sets and a Graßmannian associahedronConference paper

Authors: Francisco Santos 1; Christian Stump 2; Volkmar Welker 3

  • 1 Departamento de Matemáticas, Estadística y Computación
  • 2 Institut für Mathematik
  • 3 Fachbereich Mathematik und Informatik [Marburg] [Dept. of Math and Computer Science]

[en]
We study a natural generalization of the noncrossing relation between pairs of elements in $[n]$ to $k$-tuples in $[n]$. We show that the flag simplicial complex on $\binom{[n]}{k}$ induced by this relation is a regular, unimodular and flag triangulation of the order polytope of the poset given by the product $[k] \times [n-k]$ of two chains, and it is the join of a simplex and a sphere (that is, it is a Gorenstein triangulation). This shows the existence of a flag simplicial polytope whose Stanley-Reisner ideal is an initial ideal of the Graßmann-Plücker ideal, while previous constructions of such a polytope did not guaranteed flagness. The simplicial complex and the polytope derived from it naturally reflect the relations between Graßmannians with different parameters, in particular the isomorphism $G_{k,n} \cong G_{n-k,n}$. This simplicial complex is closely related to the weak separability complex introduced by Zelevinsky and Leclerc.

[fr]
Nous étudions une généralisation naturelle de la relation entre les paires d’éléments non-croisés de $[n]$ et les $k$-uplets de $[n]$. Nous montrons que le complexe simplicial de drapeau sur $\binom{[n]}{k}$ induit par cette relation est une triangulation régulière, unimodulaire et de drapeau du polytope d’ordre de l’ensemble partiellement ordonné obtenu par le produit $[k] \times [n-k]$ des deux chaînes, et c’est la jointure d’un simplexe et une sphère (c’est-à-dire qu’elle est une triangulation de Gorenstein). Cela montre l’existence d’un polytope simplicial de drapeau dont l’idéal de Stanley-Reisner est un idéal initial de l’idéal de Graßmann-Plücker, tandis que les constructions précédentes d’un tel polytope ne garantissaient pas la propriété de drapeau. Le complexe simplicial et le polytope qui en découle reflètent naturellement les relations entre les Grassmanniens avec différents paramètres, en particulier l’isomorphisme $G_{k,n} \cong G_{n-k,n}$. Ce complexe simplicial est étroitement lié au complexe de séparabilité faible étudié par Zelevinskyet Leclerc.


Volume: DMTCS Proceedings vol. AT, 26th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2014)
Section: Proceedings
Published on: January 1, 2014
Imported on: November 21, 2016
Keywords: [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], [en] Graßmannian, associahedron, crossing, order polytope, triangulation

Consultation statistics

This page has been seen 451 times.
This article's PDF has been downloaded 629 times.