scholarly journals From Bruhat intervals to intersection lattices and a conjecture of Postnikov

2008 ◽  
Vol DMTCS Proceedings vol. AJ,... (Proceedings) ◽  
Author(s):  
Axel Hultman ◽  
Svante Linusson ◽  
John Shareshian ◽  
Jonas Sjöstrand

International audience We prove the conjecture of A. Postnikov that ($\mathrm{A}$) the number of regions in the inversion hyperplane arrangement associated with a permutation $w \in \mathfrak{S}_n$ is at most the number of elements below $w$ in the Bruhat order, and ($\mathrm{B}$) that equality holds if and only if $w$ avoids the patterns $4231$, $35142$, $42513$ and $351624$. Furthermore, assertion ($\mathrm{A}$) is extended to all finite reflection groups. Nous prouvons la conjecture de A. Postnikov que ($\mathrm{A}$) le nombre de régions dans l'arrangement d'hyperplans inverses associés à la permutation $w \in \mathfrak{S}_n$ est au plus égal au nombre d'éléments en dessous de $w$ dans l'ordre de Bruhat, et ($\mathrm{B}$) il y a égalité si et seulement si $w$ évite les motifs $4231$, $35142$, $42513$ et $351624$. De plus, l'affirmation ($\mathrm{A}$) est généralisée à tous les groupes de réflexion finis.

2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
Suho Oh ◽  
Hwanchul Yoo

International audience We link Schubert varieties in the generalized flag manifolds with hyperplane arrangements. For an element of a Weyl group, we construct a certain graphical hyperplane arrangement. We show that the generating function for regions of this arrangement coincides with the Poincaré polynomial of the corresponding Schubert variety if and only if the Schubert variety is rationally smooth. Nous relions des variétés de Schubert dans le variété flag généralisée avec des arrangements des hyperplans. Pour un élément dún groupe de Weyl, nous construisons un certain arrangement graphique des hyperplans. Nous montrons que la fonction génératrice pour les régions de cet arrangement coincide avec le polynome de Poincaré de la variété de Schubert correspondante si et seulement si la variété de Schubert est rationnellement lisse.


2020 ◽  
Vol 29 (03) ◽  
pp. 2050004
Author(s):  
Hery Randriamaro

The Tutte polynomial is originally a bivariate polynomial which enumerates the colorings of a graph and of its dual graph. Ardila extended in 2007 the definition of the Tutte polynomial on the real hyperplane arrangements. He particularly computed the Tutte polynomials of the hyperplane arrangements associated to the classical Weyl groups. Those associated to the exceptional Weyl groups were computed by De Concini and Procesi one year later. This paper has two objectives: On the one side, we extend the Tutte polynomial computing to the complex hyperplane arrangements. On the other side, we introduce a wider class of hyperplane arrangements which is that of the symmetric hyperplane arrangements. Computing the Tutte polynomial of a symmetric hyperplane arrangement permits us to deduce the Tutte polynomials of some hyperplane arrangements, particularly of those associated to the imprimitive reflection groups.


2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Soojin Cho ◽  
Kyoungsuk Park

International audience Alignments, crossings and inversions of signed permutations are realized in the corresponding permutation tableaux of type $B$, and the cycles of signed permutations are understood in the corresponding bare tableaux of type $B$. We find the relation between the number of alignments, crossings and other statistics of signed permutations, and also characterize the covering relation in weak Bruhat order on Coxeter system of type $B$ in terms of permutation tableaux of type $B$. De nombreuses statistiques importantes des permutations signées sont réalisées dans les tableaux de permutations ou ”bare” tableaux de type $B$ correspondants : les alignements, croisements et inversions des permutations signées sont réalisés dans les tableaux de permutations de type $B$ correspondants, et les cycles des permutations signées sont comprises dans les ”bare” tableaux de type $B$ correspondants. Cela nous mène à relier le nombre d’alignements et de croisements avec d’autres statistiques des permutations signées, et aussi de caractériser la relation de couverture dans l’ordre de Bruhat faible sur des systèmes de Coxeter de type $B$ en termes de tableaux de permutations de type $B$.


2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
Bridget Eileen Tenner

International audience The Bruhat order gives a poset structure to any Coxeter group. The ideal of elements in this poset having boolean principal order ideals forms a simplicial poset. This simplicial poset defines the boolean complex for the group. In a Coxeter system of rank n, we show that the boolean complex is homotopy equivalent to a wedge of (n-1)-dimensional spheres. The number of these spheres is the boolean number, which can be computed inductively from the unlabeled Coxeter system, thus defining a graph invariant. For certain families of graphs, the boolean numbers have intriguing combinatorial properties. This work involves joint efforts with Claesson, Kitaev, and Ragnarsson. \par L'ordre de Bruhat munit tout groupe de Coxeter d'une structure de poset. L'idéal composé des éléments de ce poset engendrant des idéaux principaux ordonnés booléens, forme un poset simplicial. Ce poset simplicial définit le complexe booléen pour le groupe. Dans un système de Coxeter de rang n, nous montrons que le complexe booléen est homotopiquement équivalent à un bouquet de sphères de dimension (n-1). Le nombre de ces sphères est le nombre booléen, qui peut être calculé inductivement à partir du système de Coxeter non-étiquetté; définissant ainsi un invariant de graphe. Pour certaines familles de graphes, les nombres booléens satisfont des propriétés combinatoires intriguantes. Ce travail est une collaboration entre Claesson, Kitaev, et Ragnarsson.


2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
Luca Moci

International audience We introduce a multiplicity Tutte polynomial $M(x,y)$, which generalizes the ordinary one and has applications to zonotopes and toric arrangements. We prove that $M(x,y)$ satisfies a deletion-restriction recurrence and has positive coefficients. The characteristic polynomial and the Poincaré polynomial of a toric arrangement are shown to be specializations of the associated polynomial $M(x,y)$, likewise the corresponding polynomials for a hyperplane arrangement are specializations of the ordinary Tutte polynomial. Furthermore, $M(1,y)$ is the Hilbert series of the related discrete Dahmen-Micchelli space, while $M(x,1)$ computes the volume and the number of integral points of the associated zonotope. On introduit un polynôme de Tutte avec multiplicité $M(x, y)$, qui généralise le polynôme de Tutte ordinaire et a des applications aux zonotopes et aux arrangements toriques. Nous prouvons que $M(x, y)$ satisfait une récurrence de "deletion-restriction'' et a des coefficients positifs. Le polynôme caractéristique et le polynôme de Poincaré d'un arrangement torique sont des spécialisations du polynôme associé $M(x, y)$, de même que les polynômes correspondants pour un arrangement d'hyperplans sont des spécialisations du polynôme de Tutte ordinaire. En outre, $M(1, y)$ est la série de Hilbert de l'espace discret de Dahmen-Micchelli associé, et $M(x, 1)$ calcule le volume et le nombre de points entiers du zonotope associé.


2015 ◽  
Vol Vol. 17 no. 1 (Combinatorics) ◽  
Author(s):  
Bridget Eileen Tenner

Combinatorics International audience In this paper we study those generic intervals in the Bruhat order of the symmetric group that are isomorphic to the principal order ideal of a permutation w, and consider when the minimum and maximum elements of those intervals are related by a certain property of their reduced words. We show that the property does not hold when w is a decomposable permutation, and that the property always holds when w is the longest permutation.


2009 ◽  
Vol DMTCS Proceedings vol. AK,... (Proceedings) ◽  
Author(s):  
Aslak Bakke Buan ◽  
Idun Reiten ◽  
Hugh Thomas

International audience Let $W$ be a finite crystallographic reflection group, with root system $\Phi$. Associated to $W$ there is a positive integer, the generalized Catalan number, which counts the clusters in the associated cluster algebra, the noncrossing partitions for $W$, and several other interesting sets. Bijections have been found between the clusters and the noncrossing partitions by Reading and Athanasiadis et al. There is a further generalization of the generalized Catalan number, sometimes called the Fuss-Catalan number for $W$, which we will denote $C_m(W)$. Here $m$ is a positive integer, and $C_1(W)$ is the usual generalized Catalan number. $C_m(W)$ counts the $m$-noncrossing partitions for $W$ and the $m$-clusters for $\Phi$. In this abstract, we will give an explicit description of a bijection between these two sets. The proof depends on a representation-theoretic reinterpretation of the problem, in terms of exceptional sequences of representations of quivers. Soit $W$ un groupe de réflexions fini et cristallographique, avec système de racines $\Phi$. Associé à $W$, il y a un entier positif, le nombre de Catalan généralisé, qui compte les amas dans l'algèbre amassée associée, les partitions non-croisées de $W$, et plusieurs autres ensembles intéressantes. Des bijections entre les amas et les partitions non-croisées ont été données par Reading et Athanasiadis et al. On peut encore généraliser le nombre de Catalan généralisé, obtenant le nombre Fuss-Catalan de $W$, que nous noterons $C_m(W)$. Ici $m$ est un entier positif, et $C_1(W)$ est le nombre Catalan généralisé standard. $C_m(W)$ compte les partitions $m$-non-croisées de $W$ et les $m$-amas de $\Phi$. Dans ce résumé, nous donnerons une bijection explicite entre ces deux ensembles. La démonstration dépend d'une réinterprétation des objets du point de vue des suites exceptionnelles de représentations de carquois.


2008 ◽  
Vol DMTCS Proceedings vol. AJ,... (Proceedings) ◽  
Author(s):  
Alistair Savage

International audience We show that the category of representations of the Euclidean group $E(2)$ is equivalent to the category of representations of the preprojective algebra of the quiver of type $A_{\infty}$. Furthermore, we consider the moduli space of $E(2)$-modules along with a set of generators. We show that these moduli spaces are quiver varieties of the type considered by Nakajima. These identifications allow us to draw on known results about preprojective algebras and quiver varieties to prove various statements about representations of $E(2)$. In particular, we show that $E(2)$ has wild representation type but that if we impose certain combinatorial restrictions on the weight decompositions of a representation, we obtain only a finite number of indecomposable representations. Nous montrons que la catégorie des représentations du groupe d'Euclide $E(2)$ est équivalente à la catégorie des représentations de l'algèbre préprojective de type $A_{\infty}$. De plus, nous considérons l'espace classifiant de modules de $E(2)$ avec un ensemble de générateurs. Nous montrons que ces espaces sont de variétés de carquois de Nakajima. Cette identification nous permet d'utiliser des résultats des algèbres préprojectives et des variétés de carquois pour prouver des affirmations sur des représentations de $E(2)$. En particulier, nous montrons que le type de représentations de $E(2)$ est sauvage mais si nous imposons des restrictions aux poids d'une représentation, il y a seulement un nombre fini de représentations qui ne sont pas décomposables.


2008 ◽  
Vol DMTCS Proceedings vol. AJ,... (Proceedings) ◽  
Author(s):  
François Bergeron ◽  
Aaron Lauve

International audience We analyze the structure of the algebra $\mathbb{K}\langle \mathbf{x}\rangle^{\mathfrak{S}_n}$ of symmetric polynomials in non-commuting variables in so far as it relates to $\mathbb{K}[\mathbf{x}]^{\mathfrak{S}_n}$, its commutative counterpart. Using the "place-action'' of the symmetric group, we are able to realize the latter as the invariant polynomials inside the former. We discover a tensor product decomposition of $\mathbb{K}\langle \mathbf{x}\rangle^{\mathfrak{S}_n}$ analogous to the classical theorems of Chevalley, Shephard-Todd on finite reflection groups. In the case $|\mathbf{x}|= \infty$, our techniques simplify to a form readily generalized to many other familiar pairs of combinatorial Hopf algebras. Nous analysons la structure de l'algèbre $\mathbb{K}\langle \mathbf{x}\rangle^{\mathfrak{S}_n}$ des polynômes symétriques en des variables non-commutatives pour obtenir des analogues des résultats classiques concernant la structure de l'anneau $\mathbb{K}[\mathbf{x}]^{\mathfrak{S}_n}$ des polynômes symétriques en des variables commutatives. Plus précisément, au moyen de "l'action par positions'', on réalise $\mathbb{K}[\mathbf{x}]^{\mathfrak{S}_n}$ comme sous-module de $\mathbb{K}\langle \mathbf{x}\rangle^{\mathfrak{S}_n}$. On découvre alors une nouvelle décomposition de $\mathbb{K}\langle \mathbf{x}\rangle^{\mathfrak{S}_n}$ comme produit tensoriel, obtenant ainsi un analogue des théorèmes classiques de Chevalley et Shephard-Todd. Dans le cas $|\mathbf{x}|= \infty$, nos techniques se simplifient en une forme aisément généralisables à beaucoup d'autres paires d'algèbres de Hopf familières.


2008 ◽  
Vol DMTCS Proceedings vol. AJ,... (Proceedings) ◽  
Author(s):  
Drew Armstrong

International audience Let $(W,S)$ be an arbitrary Coxeter system. For each sequence $\omega =(\omega_1,\omega_2,\ldots) \in S^{\ast}$ in the generators we define a partial order― called the $\omega \mathsf{-sorting order}$ ―on the set of group elements $W_{\omega} \subseteq W$ that occur as finite subwords of $\omega$ . We show that the $\omega$-sorting order is a supersolvable join-distributive lattice and that it is strictly between the weak and strong Bruhat orders on the group. Moreover, the $\omega$-sorting order is a "maximal lattice'' in the sense that the addition of any collection of edges from the Bruhat order results in a nonlattice. Along the way we define a class of structures called $\mathsf{supersolvable}$ $\mathsf{antimatroids}$ and we show that these are equivalent to the class of supersolvable join-distributive lattices.


Sign in / Sign up

Export Citation Format

Share Document