scholarly journals Words and Noncommutative Invariants of the Hyperoctahedral Group

2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
Anouk Bergeron-Brlek
Keyword(s):  
Tensor Algebra ◽  
Combinatorial Method ◽  
Complex Vector ◽  
Hyperoctahedral Group ◽  
Signed Permutation ◽  
Combinatorial Interpretations ◽  
Free Generators ◽  
International Audience ◽  
Espace Vectoriel ◽  
Nous Utilisons

International audience Let $\mathcal{B}_n$ be the hyperoctahedral group acting on a complex vector space $\mathcal{V}$. We present a combinatorial method to decompose the tensor algebra $T(\mathcal{V})$ on $\mathcal{V}$ into simple modules via certain words in a particular Cayley graph of $\mathcal{B}_n$. We then give combinatorial interpretations for the graded dimension and the number of free generators of the subalgebra $T(\mathcal{V})^{\mathcal{B}_n}$ of invariants of $\mathcal{B}_n$, in terms of these words, and make explicit the case of the signed permutation module. To this end, we require a morphism from the Mantaci-Reutenauer algebra onto the algebra of characters due to Bonnafé and Hohlweg. Soit $\mathcal{B}_n$ le groupe hyperoctaédral agissant sur un espace vectoriel complexe $\mathcal{V}$. Nous présentons une méthode combinatoire donnant la décomposition de l'algèbre $T(\mathcal{V})$ des tenseurs sur $\mathcal{V}$ en modules simples via certains mots dans un graphe de Cayley donné. Nous donnons ensuite des interprétations combinatoires pour la dimension graduée et le nombre de générateurs libres de la sous-algèbre $T(\mathcal{V})^{\mathcal{B}_n}$ des invariants de $\mathcal{B}_n$, en termes de ces mots, et explicitons le cas du module de permutation signé. À cette fin, nous utilisons un morphisme entre l'algèbre de Mantaci-Reutenauer et l'algèbre des caractères introduit par Bonnafé et Hohlweg.

scholarly journals Words and polynomial invariants of finite groups in non-commutative variables

2009 ◽  
Vol DMTCS Proceedings vol. AK,... (Proceedings) ◽  
Author(s):  
Anouk Bergeron-Brlek ◽  
Christophe Hohlweg ◽  
Mike Zabrocki
Keyword(s):  
Nous Avons ◽  
Group Algebra ◽  
Finite Subgroup ◽  
Tensor Algebra ◽  
Descent Algebra ◽  
Polynomial Invariants ◽  
International Audience ◽  
Character Algebra ◽  
Espace Vectoriel ◽  
Complex Coefficients

International audience Let $V$ be a complex vector space with basis $\{x_1,x_2,\ldots,x_n\}$ and $G$ be a finite subgroup of $GL(V)$. The tensor algebra $T(V)$ over the complex is isomorphic to the polynomials in the non-commutative variables $x_1, x_2, \ldots, x_n$ with complex coefficients. We want to give a combinatorial interpretation for the decomposition of $T(V)$ into simple $G$-modules. In particular, we want to study the graded space of invariants in $T(V)$ with respect to the action of $G$. We give a general method for decomposing the space $T(V)$ into simple $G$-module in terms of words in a particular Cayley graph of $G$. To apply the method to a particular group, we require a surjective homomorphism from a subalgebra of the group algebra into the character algebra. In the case of the symmetric group, we give an example of this homomorphism from the descent algebra. When $G$ is the dihedral group, we have a realization of the character algebra as a subalgebra of the group algebra. In those two cases, we have an interpretation for the graded dimensions of the invariant space in term of those words. Soit V un espace vectoriel complexe de base $\{x_1,x_2,\ldots,x_n\}$ et $G$ un sous-groupe fini de $GL(V)$. L'algèbre $T(V)$ des tenseurs de $V$ sur les complexes est isomorphe aux polynômes à coefficients complexes en variables non-commutatives $x_1, x_2, \ldots, x_n$. Nous voulons donner une décomposition de $T(V)$ en $G$-modules simples de manière combinatoire. Plus particulièrement, nous étudions l'espace gradué des invariants de $T(V)$ sous l'action de $G$. Nous présentons une méthode générale donnant la décomposition de $T(V)$ en modules simples via certains mots dans un graphe de Cayley donné. Pour appliquer la méthode à un groupe particulier, nous avons besoin d'un homomorphisme surjectif entre une sous-algèbre de l'algèbre de groupe et l'algèbre des caractères. Pour le cas du groupe symétrique, nous donnons un exemple de cet homomorphisme qui provient de la théorie de l'algèbre des descentes. Pour le groupe diédral, nous avons une réalisation de l'algèbre des caractères comme une sous-algèbre de l'algèbre de groupe. Dans ces deux cas, nous avons une interprétation des dimensions graduées de l'espace des invariants en terme de ces mots.

scholarly journals A preorder-free construction of the Kazhdan-Lusztig representations of $S_n$, with connections to the Clausen representations

2009 ◽  
Vol DMTCS Proceedings vol. AK,... (Proceedings) ◽  
Author(s):  
Charles Buehrle ◽  
Mark Skandera
Keyword(s):  
Polynomial Ring ◽  
Transition Matrices ◽  
Free Construction ◽  
Nous Montrons ◽  
International Audience ◽  
Original Construction ◽  
Nous Utilisons ◽  
Invent Math

International audience We use the polynomial ring $\mathbb{C}[x_{1,1},\ldots,x_{n,n}]$ to modify the Kazhdan-Lusztig construction of irreducible $S_n$-modules. This modified construction produces exactly the same matrices as the original construction in [$\textit{Invent. Math}$ $\mathbf{53}$ (1979)], but does not employ the Kazhdan-Lusztig preorders. We also show that our modules are related by unitriangular transition matrices to those constructed by Clausen in [$\textit{J. Symbolic Comput.}$ $\textbf{11}$ (1991)]. This provides a $\mathbb{C}[x_{1,1},\ldots,x_{n,n}]$-analog of results of Garsia-McLarnan in [$\textit{Adv. Math.}$ $\textbf{69}$ (1988)]. Nous utilisons l'anneau $\mathbb{C}[x_{1,1},\ldots,x_{n,n}]$ pour modifier la construction Kazhdan-Lusztig des modules-$S_n$ irréductibles dans $\mathbb{C}[S_n]$. Cette construction modifiée produit exactement les mêmes matrices que la construction originale dans [$\textit{Invent. Math}$ $\mathbf{53}$ (1979)], mais sans employer les préordres de Kazhdan-Lusztig. Nous montrons aussi que nos modules sont reliés par des matrices unitriangulaires aux modules construits par Clausen dans [$\textit{J. Symbolic Comput.}$ $\textbf{11}$ (1991)]. Ce résultat donne un $\mathbb{C}[x_{1,1},\ldots,x_{n,n}]$-analogue des résultats de Garsia-McLarnan dans [$\textit{Adv. Math.}$ $\textbf{69}$ (1988)].

scholarly journals Counting Quiver Representations over Finite Fields Via Graph Enumeration

2009 ◽  
Vol DMTCS Proceedings vol. AK,... (Proceedings) ◽  
Author(s):  
Geir Helleloid ◽  
Fernando Rodriguez-Villegas
Keyword(s):  
Finite Field ◽  
Finite Fields ◽  
Quiver Representations ◽  
Dimension Vector ◽  
Compte Rendu ◽  
Isomorphism Classes ◽  
International Audience ◽  
Derivatives Of ◽  
Nous Utilisons ◽  
Complete Account

International audience Let $\Gamma$ be a quiver on $n$ vertices $v_1, v_2, \ldots , v_n$ with $g_{ij}$ edges between $v_i$ and $v_j$, and let $\boldsymbol{\alpha} \in \mathbb{N}^n$. Hua gave a formula for $A_{\Gamma}(\boldsymbol{\alpha}, q)$, the number of isomorphism classes of absolutely indecomposable representations of $\Gamma$ over the finite field $\mathbb{F}_q$ with dimension vector $\boldsymbol{\alpha}$. We use Hua's formula to show that the derivatives of $A_{\Gamma}(\boldsymbol{\alpha}, q)$ with respect to $q$, when evaluated at $q = 1$, are polynomials in the variables $g_{ij}$, and we can compute the highest degree terms in these polynomials. The formulas for these coefficients depend on the enumeration of certain families of connected graphs. This note simply gives an overview of these results; a complete account of this research is available on the arXiv and has been submitted for publication. Soit $\Gamma$ un carquois sur $n$ sommets $ v_1, v_2, \ldots , v_n$ avec $g_{ij}$ arêtes entre $v_i$ et $v_j$, et soit $\boldsymbol{\alpha} \in \mathbb{N}^n$. Hua a donné une formule pour $A_{\Gamma}(\boldsymbol{\alpha}, q)$, le nombre de classes d'isomorphisme absolument indécomposables de représentations de $\Gamma$ sur le corps fini $\mathbb{F}_q$ avec vecteur de dimension $\boldsymbol{\alpha}$. Nous utilisons la formule de Hua pour montrer que les dérivées de $A_{\Gamma}(\boldsymbol{\alpha}, q)$ par rapport à $q$, alors évaluée à $q=1$, sont des polynômes dans les variables $g_{ij}$, et on peut calculer les termes de plus haut degré de ces polynômes. Les formules pour ces coefficients dépendent de l'énumération de certaines familles de graphes connectés. Cette note donne simplement un aperçu de ces résultats, un compte rendu complet de cette recherche est disponible sur arXiv et a été soumis pour publication.

scholarly journals Equivariant Giambelli formula for the symplectic Grassmannians — Pfaffian Sum Formula

2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Takeshi Ikeda ◽  
Tomoo Matsumura
Keyword(s):  
Vector Space ◽  
Closed Formula ◽  
International Audience ◽  
Sum Formula ◽  
Isotropic Subspaces ◽  
Espace Vectoriel ◽  
Symplectic Vector Space ◽  
Symplectic Grassmannians ◽  
Schubert Class

International audience We prove an explicit closed formula, written as a sum of Pfaffians, which describes each equivariant Schubert class for the Grassmannian of isotropic subspaces in a symplectic vector space On démontre une formule close explicite, écrite comme une somme de Pfaffiens, qui décrit toute classe de Schubert équivariante pour la Grassmannienne des sous-espaces isotropes dans un espace vectoriel symplectique.

scholarly journals The short toric polynomial

2011 ◽  
Vol DMTCS Proceedings vol. AO,... (Proceedings) ◽  
Author(s):  
Gábor Hetyei
Keyword(s):  
Lower Bound ◽  
Reflection Principle ◽  
Lattice Path ◽  
Simple Polytope ◽  
Independent Form ◽  
International Audience ◽  
Bound Theorem ◽  
Lattice Path Enumeration ◽  
Nous Utilisons ◽  
Eulerian Poset

International audience We introduce the short toric polynomial associated to a graded Eulerian poset. This polynomial contains the same information as Stanley's pair of toric polynomials, but allows different algebraic manipulations. Stanley's intertwined recurrence may be replaced by a single recurrence, in which the degree of the discarded terms is independent of the rank. A short toric variant of the formula by Bayer and Ehrenborg, expressing the toric h-vector in terms of the cd-index, may be stated in a rank-independent form, and it may be shown using weighted lattice path enumeration and the reflection principle. We use our techniques to derive a formula expressing the toric h-vector of a dual simplicial Eulerian poset in terms of its f-vector. This formula implies Gessel's formula for the toric h-vector of a cube, and may be used to prove that the nonnegativity of the toric h-vector of a simple polytope is a consequence of the Generalized Lower Bound Theorem holding for simplicial polytopes. Nous introduisons le polynôme torique court associé à un ensemble ordonné Eulérien. Ce polynôme contient la même information que le couple de polynômes toriques de Stanley, mais il permet des manipulations algébriques différentes. La récurrence entrecroisée de Stanley peut être remplacée par une seule récurrence dans laquelle le degré des termes écartés est indépendant du rang. La variante torique courte de la formule de Bayer et Ehrenborg, qui exprime le vecteur torique d'un ensemble ordonné Eulérien en termes de son cd-index, est énoncée sous une forme qui ne dépend pas du rang et qui peut être démontrée en utilisant une énumération des chemins pondérés et le principe de réflexion. Nous utilisons nos techniques pour dériver une formule exprimant le vecteur h-torique d'un ensemble ordonné Eulérien dont le dual est simplicial, en termes de son f-vecteur. Cette formule implique la formule de Gessel pour le vecteur h-torique d'un cube, et elle peut être utilisée pour démontrer que la positivité du vecteur h-torique d'un polytope simple est une conséquence du Théorème de la Borne Inférieure Généralisé appliqué aux polytopes simpliciaux.

scholarly journals Cyclic sieving for longest reduced words in the hyperoctahedral group

2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
T. K. Petersen ◽  
L. Serrano
Keyword(s):  
Generating Function ◽  
Hyperoctahedral Group ◽  
Cyclic Action ◽  
Orbit Structure ◽  
Cyclic Sieving Phenomenon ◽  
Major Index ◽  
Nous Montrons ◽  
International Audience ◽  
Cyclic Sieving ◽  
Cette Action

International audience We show that the set $R(w_0)$ of reduced expressions for the longest element in the hyperoctahedral group exhibits the cyclic sieving phenomenon. More specifically, $R(w_0)$ possesses a natural cyclic action given by moving the first letter of a word to the end, and we show that the orbit structure of this action is encoded by the generating function for the major index on $R(w_0)$. Nous montrons que l'ensemble $R(w_0)$ des expressions réduites pour l'élément le plus long du groupe hyperoctaédral présente le phénomène cyclique de tamisage. Plus précisément, $R(w_0)$ possède une action naturelle cyclique donnée par le déplacement de la première lettre d'un mot vers la fin, et nous montrons que la structure d'orbite de cette action est codée par la fonction génératrice pour l'indice majeur sur $R(w_0)$.

scholarly journals Some combinatorial identities involving noncommuting variables

2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Michael Schlosser ◽  
Meesue Yoo
Keyword(s):  
Functional Equations ◽  
Stirling Numbers ◽  
Combinatorial Identities ◽  
Weight Functions ◽  
Nous Proposons ◽  
Nous Obtenons ◽  
Exponential Functions ◽  
Rook Theory ◽  
International Audience ◽  
Nous Utilisons

International audience We derive combinatorial identities for variables satisfying specific sets of commutation relations. The identities thus obtained extend corresponding ones for $q$-commuting variables $x$ and $y$ satisfying $yx=qxy$. In particular, we obtain weight-dependent binomial theorems, functional equations for generalized exponential functions, we propose a derivative of noncommuting variables, and finally utilize one of the considered weight functions to extend rook theory. This leads us to an extension of the $q$-Stirling numbers of the second kind, and of the $q$-Lah numbers. Nous obtenons des identités combinatoires pour des variables satisfaisant des ensembles spécifiques de relations de commutation. Ces identités ainsi obtenues généralisent leurs analogues pour des variables $q$-commutantes $x$ et $y$ satisfaisant $yx=qxy$. En particulier, nous obtenons des théorèmes binomiaux dépendant du poids, des équations fonctionnelles pour les fonctions exponentielles généralisées, nous proposons une dérivée des variables non-commutatives, et finalement nous utilisons l’une des fonctions de poids considérées pour étendre la théorie des tours. Nous en déduisons une généralisation des $q$-nombres de Stirling de seconde espèce et des $q$-nombres de Lah.

scholarly journals Skew Littlewood―Richardson rules from Hopf algebras

2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
Thomas Lam ◽  
Aaron Lauve ◽  
Frank Sottile
Keyword(s):  
Hopf Algebras ◽  
Symplectic Group ◽  
Schur Functions ◽  
Affine Grassmannian ◽  
International Audience ◽  
Pieri Rules ◽  
Skew Schur Functions ◽  
Nous Utilisons

International audience We use Hopf algebras to prove a version of the Littlewood―Richardson rule for skew Schur functions, which implies a conjecture of Assaf and McNamara. We also establish skew Littlewood―Richardson rules for Schur $P-$ and $Q-$functions and noncommutative ribbon Schur functions, as well as skew Pieri rules for k-Schur functions, dual k-Schur functions, and for the homology of the affine Grassmannian of the symplectic group. Nous utilisons des algèbres de Hopf pour prouver une version de la règle de Littlewood―Richardson pour les fonctions de Schur gauches, qui implique une conjecture d'Assaf et McNamara. Nous établissons également des règles de Littlewood―Richardson gauches pour les $P-$ et $Q-$fonctions de Schur et les fonctions de Schur rubbans non commutatives, ainsi que des règles de Pieri gauches pour les $k-$fonctions de Schur, les $k-$fonctions de Schur duales, et pour l'homologie de la Grassmannienne affine du groupe symplectique.

scholarly journals $(\ell, 0)$-Carter Partitions and their crystal theoretic interpretation

2008 ◽  
Vol DMTCS Proceedings vol. AJ,... (Proceedings) ◽  
Author(s):  
Chris Berg ◽  
Monica Vazirani
Keyword(s):  
Hecke Algebra ◽  
Specht Module ◽  
Regular Partition ◽  
Basic Representation ◽  
Crystal Graph ◽  
Generating Series ◽  
International Audience ◽  
The One ◽  
Regular Partitions ◽  
Nous Utilisons

International audience In this paper we give an alternate combinatorial description of the "$(\ell,0)$-Carter partitions''. Our main theorem is the equivalence of our combinatoric and the one introduced by James and Mathas ($\textit{A q-analogue of the Jantzen-Schaper theorem}$). The condition of being an $(\ell,0)$-Carter partition is fundamentally related to the hook lengths of the partition. The representation-theoretic significance of their combinatoric on an $\ell$-regular partition is that it indicates the irreducibility of the corresponding Specht module over the finite Hecke algebra. We use our result to find a generating series which counts the number of such partitions, with respect to the statistic of a partition's first part. We then apply our description of these partitions to the crystal graph $B(\Lambda_0)$ of the basic representation of $\widehat{\mathfrak{sl}_{\ell}}$, whose nodes are labeled by $\ell$-regular partitions. Here we give a fairly simple crystal-theoretic rule which generates all $(\ell,0)$-Carter partitions in the graph of $B(\Lambda_0)$. Dans cet article, nous donnons une description combinatoire alternative des partitions "$(\ell,0)$-Carter". Notre théorème principal est une équivalence entre notre combinatoire et celle introduite par James et Mathas ($\textit{A q-analogue of the Jantzen-Schaper theorem}$). La propriété $(\ell,0)$-Carter est fondamentalement liée aux longueurs des équerres de la partition. En terme de théorie des représentations, leur combinatoire pour une partition $\ell$-régulière permet de déterminer l'irréducibilité du module de Specht spécialisé sur l’algèbre de Hecke finie. Nous utilisons notre résultat pour déterminer leur série génératrice en fonction de la taille de la première part. Nous utilisons ensuite notre description de ces partitions au graphe cristallin $B(\Lambda _0)$ de la représentation basique de $\widehat{\mathfrak{sl}_{\ell}}$, dont les nœuds sont étiquetés par les partitions $\ell$-régulières. Nous donnons une règle cristalline relativement simple permettant d'engendrer toutes les partitions $\ell$-régulières $(\ell,0)$-Carter dans le graphe de $B(\Lambda _0)$.

scholarly journals On Schubert calculus in elliptic cohomology

2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Cristian Lenart ◽  
Kirill Zainoulline
Keyword(s):  
Formal Group ◽  
Schubert Calculus ◽  
Elliptic Cohomology ◽  
Reduced Word ◽  
Combinatorial Result ◽  
International Audience ◽  
Schubert Classes ◽  
K Theory ◽  
Nous Utilisons ◽  
Group Law

International audience An important combinatorial result in equivariant cohomology and $K$-theory Schubert calculus is represented by the formulas of Billey and Graham-Willems for the localization of Schubert classes at torus fixed points. These formulas work uniformly in all Lie types, and are based on the concept of a root polynomial. We define formal root polynomials associated with an arbitrary formal group law (and thus a generalized cohomology theory). We usethese polynomials to simplify the approach of Billey and Graham-Willems, as well as to generalize it to connective $K$-theory and elliptic cohomology. Another result is concerned with defining a Schubert basis in elliptic cohomology (i.e., classes independent of a reduced word), using the Kazhdan-Lusztig basis of the corresponding Hecke algebra. Un résultat combinatoire important dans le calcul de Schubert pour la cohomologie et la $K$-théorie équivariante est représenté par les formules de Billey et Graham-Willems pour la localisation des classes de Schubert aux points fixes du tore. Ces formules sont uniformes pour tous les types de Lie, et sont basés sur le concept d’un polynôme de racines. Nous définissons les polynômes formels de racines associées à une loi arbitraire de groupe formel (et donc à une théorie de cohomologie généralisée). Nous utilisons ces polynômes pour simplifier les preuves de Billey et Graham-Willems, et aussi pour généraliser leurs résultats à la $K$-théorie connective et la cohomologie elliptique. Un autre résultat concerne la définition d’une base de Schubert dans cohomologie elliptique (c’est à dire, des classes indépendantes d’un mot réduit), en utilisant la base de Kazhdan-Lusztig de l’algèbre de Hecke correspondant.

Sign in / Sign up

Export Citation Format

Share Document