representation ↗ reference
4053 papers tagged with this keyword
Deformation of symmetric functions and the rational Steenrod algebra
Published in In Invariant theory in all characteristics, volume 35 of CRM Proc. Lecture Notes, pages 91-125. Amer. Math. Soc. Providence, RI, 2004
• Search Publication
In 1999, Reg Wood conjectured that the quotient of Q[x_1,...,x_n] by the action of the rational Steenrod algebra is a graded regular representation of the symmetric group S_n. As pointed out by Reg Wood, the analog of this statement is a well known result when the rational Steenrod algebra is replaced by the ring of symmetric functions; actually, much more is known about the structure of the quotient in this case.
We introduce a non-commutative q-deformation of the ring of symmetric functions, which specializes at q=1 to the rational Steenrod algebra. We use this formalism to obtain some partial results. Finally, we describe several conjectures based on an extensive computer exploration. In particular, we extend Reg Wood's conjecture to q formal and to any q complex not of the form -a/b, with a in {1,...,n} and b a positive natural number.
Orders of Finite Reductive Monoids
We show four formulas for calculating the orders of finite reductive monoids with zero. As applications, these formulas are then used to calculate the orders of finite reductive monoids induced from the $F_q$-split $\J$-irreducible monoids $\overline {K^*ρ(G_0)}$ where $G_0$ is a simple algebraic group over the algebraic closure of $F_q$, and $ρ: G_0\to GL(V)$ is the irreducible representation associated with any dominant weight. Finally, we give an explicit formula for the orders of finite symplectic monoids associated with the last fundamental dominant weight of type $C_l$; the connections to $H$-polynomials and Betti numbers are shown.
Branching rules in the ring of superclass functions of unipotent upper-triangular matrices
Published
• View Publication
• BIB
It is becoming increasingly clear that the supercharacter theory of the finite group of unipotent upper-triangular matrices has a rich combinatorial structure built on set-partitions that is analogous to the partition combinatorics of the classical representation theory of the symmetric group. This paper begins by exploring a connection to the ring of symmetric functions in non-commuting variables that mirrors the symmetric group's relationship with the ring of symmetric functions. It then also investigates some of the representation theoretic structure constants arising from the restriction, tensor products and superinduction of supercharacters in this context.
On combinatorial formulas for the characters of Hecke algebras
Hecke algebras are beautiful q-extensions of Coxeter groups. In this paper, we prove several results on their characters, with an emphasis on characters induced from trivial and sign representations of parabolic subalgebras. While most of the results in type A are known, our proofs are of a combinatorial nature, and generalize to (partial) results in types B and C. We also present complete descriptions of such characters for type I.
Highest weight categories arising from Khovanov's diagram algebra III: category O
Published in Represent. Theory 15 (2011), 170-243
• View Publication
• BIB
We prove that integral blocks of parabolic category O associated to the subalgebra gl(m) x gl(n) of gl(m+n) are Morita equivalent to quasi-hereditary covers of generalised Khovanov algebras. Although this result is in principle known, the existing proof is quite indirect, going via perverse sheaves on Grassmannians. Our new approach is completely algebraic, exploiting Schur-Weyl duality for higher levels. As a by-product we get a concrete combinatorial construction of 2-Kac-Moody representations in the sense of Rouquier corresponding to level two weights in finite type A.
Homology representations arising from the half cube, II
Published
• View Publication
• BIB
In a previous work (arXiv:0806.1503v2), we defined a family of subcomplexes of the $n$-dimensional half cube by removing the interiors of all half cube shaped faces of dimension at least $k$, and we proved that the homology of such a subcomplex is concentrated in degree $k-1$. This homology group supports a natural action of the Coxeter group $W(D_n)$ of type $D$. In this paper, we explicitly determine the characters (over ${\Bbb C}$) of these homology representations, which turn out to be multiplicity free. Regarded as representations of the symmetric group $S_n$ by restriction, the homology representations turn out to be direct sums of certain representations induced from parabolic subgroups. The latter representations of $\sym_n$ agree (over ${\Bbb C}$) with the representations of $\sym_n$ on the $(k-2)$-nd homology of the complement of the $k$-equal real hyperplane arrangement.
Eulerian quasisymmetric functions
Published
• View Publication
• BIB
We introduce a family of quasisymmetric functions called {\em Eulerian quasisymmetric functions}, which specialize to enumerators for the joint distribution of the permutation statistics, major index and excedance number on permutations of fixed cycle type. This family is analogous to a family of quasisymmetric functions that Gessel and Reutenauer used to study the joint distribution of major index and descent number on permutations of fixed cycle type. Our central result is a formula for the generating function for the Eulerian quasisymmetric functions, which specializes to a new and surprising $q$-analog of a classical formula of Euler for the exponential generating function of the Eulerian polynomials. This $q$-analog computes the joint distribution of excedance number and major index, the only of the four important Euler-Mahonian distributions that had not yet been computed. Our study of the Eulerian quasisymmetric functions also yields results that include the descent statistic and refine results of Gessel and Reutenauer. We also obtain $q$-analogs, $(q,p)$-analogs and quasisymmetric function analogs of classical results on the symmetry and unimodality of the Eulerian polynomials. Our Eulerian quasisymmetric functions refine symmetric functions that have occurred in various representation theoretic and enumerative contexts including MacMahon's study of multiset derangements, work of Procesi and Stanley on toric varieties of Coxeter complexes, Stanley's work on chromatic symmetric functions, and the work of the authors on the homology of a certain poset introduced by Björner and Welker.
Indecomposable Permutations, Hypermaps and Labeled Dyck Paths
Published
• View Publication
• BIB
Hypermaps were introduced as an algebraic tool for the representation of embeddings of graphs on an orientable surface. Recently a bijection was given between hypermaps and indecomposable permutations; this sheds new light on the subject by connecting a hypermap to a simpler object. In this paper, a bijection between indecomposable permutations and labelled Dyck paths is proposed, from which a few enumerative results concerning hypermaps and maps follow. We obtain for instance an inductive formula for the number of hypermaps with n darts, p vertices and q hyper-edges; the latter is also the number of indecomposable permutations of with p cycles and q left-to-right maxima. The distribution of these parameters among all permutations is also considered.
On a generalization of P(3,n)
By using techniques of poset representation theory, we present a formula for the number of partitions of a positive integer into three polygonal numbers.
On the computation of classical, boolean and free cumulants
Published
• View Publication
• BIB
This paper introduces a simple and computationally efficient algorithm for conversion formulae between moments and cumulants. The algorithm provides just one formula for classical, boolean and free cumulants. This is realized by using a suitable polynomial representation of Abel polynomials. The algorithm relies on the classical umbral calculus, a symbolic language introduced by Rota and Taylor in 1994, that is particularly suited to be implemented by using software for symbolic computations. Here we give a MAPLE procedure. Comparisons with existing procedures, especially for conversions between moments and free cumulants, as well as examples of applications to some well-known distributions (classical and free) end the paper.
The quiver of an algebra associated to the Mantaci-Reutenauer descent algebra and the homology of regular semigroups
Published
• View Publication
• BIB
We develop the homology theory of the algebra of a regular semigroup, which is a particularly nice case of a quasi-hereditary algebra in good characteristic. Directedness is characterized for these algebras, generalizing the case of semisimple algebras studied by Munn and Ponizovksy. We then apply homological methods to compute (modulo group theory) the quiver of a right regular band of groups, generalizing Saliola's results for a right regular band. Right regular bands of groups come up in the representation theory of wreath products with symmetric groups in much the same way that right regular bands appear in the representation theory of finite Coxeter groups via the Solomon-Tits algebra of its Coxeter complex. In particular, we compute the quiver of Hsiao's algebra, which is related to the Mantaci-Reutenauer descent algebra.
Computing the Newton polygon of the implicit equation
Published
• View Publication
• BIB
We consider polynomially and rationally parameterized curves, where the polynomials in the parameterization have fixed supports and generic coefficients. We apply sparse (or toric) elimination theory in order to determine the vertex representation of its implicit polygon, i.e. of the implicit equation's Newton polygon. In particular, we consider mixed subdivisions of the input Newton polygons and regular triangulations of point sets defined by Cayley's trick. We distinguish polynomial and rational parameterizations, where the latter may have the same or different denominators; the implicit polygon is shown to have, respectively, up to 4, 5, or 6 vertices.
Representations and characterizations of polynomial functions on chains
Published in Journal of Multiple-Valued Logic and Soft Computing 16 (1-2) (2010) 65-86
• Search Publication
We are interested in representations and characterizations of lattice polynomial functions f:L^n -> L, where L is a given bounded distributive lattice. In companion papers [arXiv 0901.4888, arXiv 0808.2619], we investigated certain representations and provided various characterizations of these functions both as solutions of certain functional equations and in terms of necessary and sufficient conditions. In the present paper, we investigate these representations and characterizations in the special case when L is a chain, i.e., a totally ordered lattice. More precisely, we discuss representations of lattice polynomial functions given in terms of standard simplices and we present new axiomatizations of these functions by relaxing some of the conditions given in [arXiv 0901.4888, arXiv 0808.2619] and by considering further conditions, namely comonotonic minitivity and maxitivity.
Boxicity of Circular Arc Graphs
Published
• View Publication
• BIB
A $k$-dimensional box is the cartesian product $R_1 \times R_2 \times ... \times R_k$ where each $R_i$ is a closed interval on the real line. The {\it boxicity} of a graph $G$, denoted as $box(G)$, is the minimum integer $k$ such that $G$ can be represented as the intersection graph of a collection of $k$-dimensional boxes: that is two vertices are adjacent if and only if their corresponding boxes intersect. A circular arc graph is a graph that can be represented as the intersection graph of arcs on a circle.
Let $G$ be a circular arc graph with maximum degree $Δ$. We show that if $Δ<\lfloor \frac{n(α-1)}{2α}\rfloor$, $α\in \mathbb{N}$, $α\geq 2$ then $box(G) \leq α$. We also demonstrate a graph with boxicity $> α$ but with $Δ=n\frac{(α-1)}{2α}+\frac{n}{2α(α+1)}+(α+2)$. So the result cannot be improved substantially when $α$ is large. Let $r_{inf}$ be minimum number of arcs passing through any point on the circle with respect to some circular arc representation of $G$. We also show that for any circular arc graph $G$, $box(G) \leq r_{inf} + 1$ and this bound is tight. Given a family of arcs $F$ on the circle, the circular cover number $L(F)$ is the cardinality of the smallest subset $F'$ of $F$ such that the arcs in $F'$ can cover the circle. Maximum circular cover number $L_{max}(G)$ is defined as the maximum value of $L(F)$ obtained over all possible family of arcs $F$ that can represent $G$. We will show that if $G$ is a circular arc graph with $L_{max}(G)> 4$ then $box(G) \leq 3$.
Representations of cyclic groups acting on complete simplicial fans
Published
• View Publication
• BIB
Let $sigma$ be a complete simplicial fan in finite dimensional real Euclidean space $V$, and let $G$ be a cyclic subgroup of $GL(V)$ which acts properly on $σ$. We show that the representation of $G$ carried by the cohomology of $X_{sigma}$, the toric variety associated to $sigma$, is a permutation representation.
Computing inclusions of Schur modules
Published in J. Softw. Algebra Geom. 1 (2009), 5-10
• View Publication
• BIB
We describe a software package for constructing minimal free resolutions of GL_n(Q)-equivariant graded modules M over Q[x_1, ..., x_n] such that for all i, the ith syzygy module of M is generated in a single degree. We do so by describing some algorithms for manipulating polynomial representations of the general linear group GL_n(Q) following ideas of Olver and Eisenbud-Floystad-Weyman.
Complex zero-free regions at large |q| for multivariate Tutte polynomials (alias Potts-model partition functions) with general complex edge weights
Published in J. Combin. Theory B 103, 21-45 (2013)
• View Publication
• BIB
We find zero-free regions in the complex plane at large |q| for the multivariate Tutte polynomial (also known in statistical mechanics as the Potts-model partition function) Z_G(q,w) of a graph G with general complex edge weights w = {w_e}. This generalizes a result of Sokal (cond-mat/9904146) that applies only within the complex antiferromagnetic regime |1+w_e| \le 1. Our proof uses the polymer-gas representation of the multivariate Tutte polynomial together with the Penrose identity.
Rational Hadamard products via Quantum Diagonal Operators
We use the remark that, through Bargmann-Fock representation, diagonal operators of the Heisenberg-Weyl algebra are scalars for the Hadamard product to give some properties (like the stability of periodic fonctions) of the Hadamard product by a rational fraction. In particular, we provide through this way explicit formulas for the multiplication table of the Hadamard product in the algebra of rational functions in $\C[[z]]$.
Clifford Algebras and Graphs
Published in Geombinatorics v.XX, pp. 56-76, (2010)
• Search Publication
I show how to associate a Clifford algebra to a graph. I describe the structure of these Clifford graph algebras and provide many examples and pictures. I describe which graphs correspond to isomorphic Clifford algebras and also discuss other related sets of graphs. This construction can be used to build models of representations of simply-laced compact Lie groups.
Reduced Kronecker coefficients and counter-examples to Mulmuley's strong saturation conjecture SH
Published in Computational Complexity, vol. 18(4) pp. 577-600 (2009)
• View Publication
• BIB
We provide counter-examples to Mulmuley's strong saturation conjecture (strong SH) for the Kronecker coefficients. This conjecture was proposed in the setting of Geometric Complexity Theory to show that deciding whether or not a Kronecker coefficient is zero can be done in polynomial time. We also provide a short proof of the #P-hardness of computing the Kronecker coefficients. Both results rely on the connections between the Kronecker coefficients and another family of structural constants in the representation theory of the symmetric groups: Murnaghan's reduced Kronecker coefficients.
An appendix by Mulmuley introduces a relaxed form of the saturation hypothesis SH, still strong enough for the aims of Geometric Complexity Theory.