representation ↗ reference
4143 papers tagged with this keyword
The real loci of Calogero-Moser spaces, representations of rational Cherednik algebras and the Shapiro conjecture
We prove a criterion for the reality of irreducible representations of the rational Cherednik algebras H_{0,1}(S_n). This is shown to imply a criterion for the real loci of the Calogero-Moser spaces C_n in terms of the Etingof-Ginzburg finite maps Υ\colon C_n \to C^n/S_n \times C^n/S_n, recovering a result of Mikhin, Tarasov, and Varchenko [MTV2]. As a consequence we obtain a criterion for the real locus of the Wilson's adelic Grassmannian of rank one bispectral solutions of the KP hierarchy. Using Wilson's first parametrisation of the adelic Grassmannian, we give a new proof of a result of [MTV2] on real bases of spaces of quasi polynomials. The Shapiro Conjecture for Grassmannians is equivalent to a special case of our result for Calogero-Moser spaces, namely for the fibres of Υover C^n/S_n \times 0.
Natural realizations of sparsity matroids
Published
• View Publication
• BIB
A hypergraph G with n vertices and m hyperedges with d endpoints each is (k,l)-sparse if for all sub-hypergraphs G' on n' vertices and m' edges, m'\le kn'-l. For integers k and l satisfying 0\le l\le dk-1, this is known to be a linearly representable matroidal family.
Motivated by problems in rigidity theory, we give a new linear representation theorem for the (k,l)-sparse hypergraphs that is natural; i.e., the representing matrix captures the vertex-edge incidence structure of the underlying hypergraph G.
Branching properties for the groups G(de,e,r)
We study general properties of the restriction of the representations of the finite complex reflection groups $G(de,e,r+1)$ to their maximal parabolic subgroups of type $G(de,e,r)$, and focus notably on the multiplicity of components. In combinatorial terms, this amounts to the following question : which symmetries arise or disappear when one changes (exactly) one pearl in a combinatorial necklace ?
The Hecke group algebra of a Coxeter group and its representation theory
Published
• View Publication
• BIB
Let W be a finite Coxeter group. We define its Hecke-group algebra by gluing together appropriately its group algebra and its 0-Hecke algebra. We describe in detail this algebra (dimension, several bases, conjectural presentation, combinatorial construction of simple and indecomposable projective modules, Cartan map) and give several alternative equivalent definitions (as symmetry preserving operator algebra, as poset algebra, as commutant algebra, ...).
In type A, the Hecke-group algebra can be described as the algebra generated simultaneously by the elementary transpositions and the elementary sorting operators acting on permutations. It turns out to be closely related to the monoid algebras of respectively nondecreasing functions and nondecreasing parking functions, the representation theory of which we describe as well.
This defines three towers of algebras, and we give explicitly the Grothendieck algebras and coalgebras given respectively by their induction products and their restriction coproducts. This yields some new interpretations of the classical bases of quasi-symmetric and noncommutative symmetric functions as well as some new bases.
Schreier spectrum of the Hanoi Towers group on three pegs
Published
• View Publication
• BIB
Finite dimensional representations of the Hanoi Towers group are used to calculate the spectra of the finite graphs associated to the Hanoi Towers Game on three pegs (the group serves as a renorm group for the game). These graphs are Schreier graphs of the action of the Hanoi Towers group on the levels of the rooted ternary tree. The spectrum of the limiting graph (Schreier graph of the action on the boundary of the tree) is also provided.
Homology of coloured posets: a generalisation of Khovanov's cube construction
Published in J. Algebra, 322 (2009) 429-448.
• View Publication
• BIB
We define a homology theory for a certain class of posets equipped with a representation. We show that when restricted to Boolean lattices this homology is isomorphic to the homology of the "cube" complex defined by Khovanov.
Factorised solutions of Temperley-Lieb $q$KZ equations on a segment
Published in Adv. Theor. Math. Phys. 14 (2010), 795-877
• View Publication
• BIB
We study the q-deformed Knizhnik-Zamolodchikov equation in path representations of the Temperley-Lieb algebras. We consider two types of open boundary conditions, and in both cases we derive factorised expressions for the solutions of the qKZ equation in terms of Baxterised Demazurre-Lusztig operators. These expressions are alternative to known integral solutions for tensor product representations. The factorised expressions reveal the algebraic structure within the qKZ equation, and effectively reduce it to a set of truncation conditions on a single scalar function. The factorised expressions allow for an efficient computation of the full solution once this single scalar function is known. We further study particular polynomial solutions for which certain additional factorised expressions give weighted sums over components of the solution. In the homogeneous limit, we formulate positivity conjectures in the spirit of Di Francesco and Zinn-Justin. We further conjecture relations between weighted sums and individual components of the solutions for larger system sizes.
The real loci of the Calogero-Moser spaces and the Shapiro-Shapiro conjecture
This paper has been withdrawn by the authors; it is superceeded by the paper: The real loci of Calogero--Moser spaces, representations of rational Cherednik algebras and the Shapiro conjecture, by Iain Gordon, Emil Horozov, and Milen Yakimov, arXiv:0711.4336.
Tensor factorization and Spin construction for Kac-Moody algebras
Published
• View Publication
• BIB
In this paper we discuss the "Factorization phenomenon" which occurs when a representation of a Lie algebra is restricted to a subalgebra, and the result factors into a tensor product of smaller representations of the subalgebra. We analyze this phenomenon for symmetrizable Kac-Moody algebras (including finite-dimensional, semi-simple Lie algebras). We present a few factorization results for a general embedding of a symmetrizable Kac-Moody algebra into another and provide an algebraic explanation for such a phenomenon using Spin construction. We also give some application of these results for semi-simple finite dimensional Lie algebras.
We extend the notion of Spin functor from finite-dimensional to symmetrizable Kac-Moody algebras, which requires a very delicate treatment. We introduce a certain category of orthogonal $\g$-representations for which, surprisingly, the Spin functor gives a $\g$-representation in Bernstein-Gelfand-Gelfand category $Ø$. Also, for an integrable representation $\Spin$ produces an integrable representation. We give the formula for the character of Spin representation for the above category and work out the factorization results for an embedding of a finite dimensional semi-simple Lie algebra into its untwisted affine Lie algebra. Finally, we discuss classification of those representations for which $\Spin$ is irreducible.
Cells and Constructible Representations in type B
We examine the partition of a finite Coxeter group of type $B$ into cells determined by a weight function $L$. The main objective of these notes is to reconcile Lusztig's description of constructible representations in this setting with conjectured combinatorial descriptions of cells.
Cohomology of the Hilbert scheme of points on a surface with values in representations of tautological bundles
Published in Duke Math. J. 150, no. 2 (2009), 211-267
• View Publication
• BIB
Let $X$ a smooth quasi-projective algebraic surface, $L$ a line bundle on $X$. Let $X^{[n]}$ the Hilbert scheme of $n$ points on $X$ and $L^{[n]}$ the tautological bundle on $X^{[n]}$ naturally associated to the line bundle $L$ on $X$. We explicitely compute the image $\bkrh(L^{[n]})$ of the tautological bundle $L^{[n]}$ for the Bridgeland-King-Reid equivalence $\bkrh : \B{D}^b(X^{[n]}) \ra \B{D}^b_{\perm_n}(X^n)$ in terms of a complex $\comp{\mc{C}}_L$ of $\perm_n$-equivariant sheaves in $\B{D}^b_{\perm_n}(X^n)$. We give, moreover, a characterization of the image $\bkrh(L^{[n]} \tens ... \tens L^{[n]})$ in terms of of the hyperderived spectral sequence $E^{p,q}_1$ associated to the derived $k$-fold tensor power of the complex $\comp{\mc{C}}_L$. The study of the $\perm_n$-invariants of this spectral sequence allows to get the derived direct images of the double tensor power and of the general $k$-fold exterior power of the tautological bundle for the Hilbert-Chow morphism, providing Danila-Brion-type formulas in these two cases. This yields easily the computation of the cohomology of $X^{[n]}$ with values in $L^{[n]} \tens L^{[n]}$ and $Λ^k L^{[n]}$.
Schubert polynomials and classes of Hessenberg varieties
Published in J. Algebra 323 (2010), 2605-2623
• View Publication
• BIB
Regular semisimple Hessenberg varieties are a family of subvarieties of the flag variety that arise in number theory, numerical analysis, representation theory, algebraic geometry, and combinatorics. We give a "Giambelli formula" expressing the classes of regular semisimple Hessenberg varieties in terms of Chern classes. In fact, we show that the cohomology class of each regular semisimple Hessenberg variety is the specialization of a certain double Schubert polynomial, giving a natural geometric interpretation to such specializations. We also decompose such classes in terms of the Schubert basis for the cohomology ring of the flag variety. The coefficients obtained are nonnegative, and we give closed combinatorial formulas for the coefficients in many cases. We introduce a closely related family of schemes called regular nilpotent Hessenberg schemes, and use our results to determine when such schemes are reduced.
Powers of Coxeter elements in infinite groups are reduced
Published
• View Publication
• BIB
Let W be an infinite irreducible Coxeter group with (s_1, ..., s_n) the simple generators. We give a simple proof that the word s_1 s_2 ... s_n s_1 s_2 >... s_n ... s_1 s_2 ... s_n is reduced for any number of repetitions of s_1 s_2 >... s_n. This result was proved for simply-laced, crystallographic groups by Kleiner and Pelley using methods from the theory of quiver representations. Our proof only using basic facts about Coxeter groups and the geometry of root systems.
Two positivity conjectures for Kerov polynomials
Published in Advances in Applied Mathematics, 41 (2008), 407-422
• View Publication
• BIB
Kerov polynomials express the normalized characters of irreducible representations of the symmetric group, evaluated on a cycle, as polynomials in the free cumulants of the associated Young diagram. We present two positivity conjectures for their coefficients. The latter are stronger than the positivity conjecture of Kerov-Biane, recently proved by Feray.
Construction and Analysis of Projected Deformed Products
Published in Discrete Comput. Geom. 43 (2010), no. 2, 412-435
• View Publication
• BIB
We introduce a deformed product construction for simple polytopes in terms of lower-triangular block matrix representations. We further show how Gale duality can be employed for the construction and for the analysis of deformed products such that specified faces (e.g. all the k-faces) are ``strictly preserved'' under projection. Thus, starting from an arbitrary neighborly simplicial (d-2)-polytope Q on n-1 vertices we construct a deformed n-cube, whose projection to the last dcoordinates yields a neighborly cubical d-polytope. As an extension of thecubical case, we construct matrix representations of deformed products of(even) polygons (DPPs), which have a projection to d-space that retains the complete (\lfloor \tfrac{d}{2} \rfloor - 1)-skeleton. In both cases the combinatorial structure of the images under projection is completely determined by the neighborly polytope Q: Our analysis provides explicit combinatorial descriptions. This yields a multitude of combinatorially different neighborly cubical polytopes and DPPs. As a special case, we obtain simplified descriptions of the neighborly cubical polytopes of Joswig & Ziegler (2000) as well as of the ``projected deformed products of polygons'' that were announced by Ziegler (2004), a family of 4-polytopes whose ``fatness'' gets arbitrarily close to 9.
Higher string functions, higher-level Appell functions, and the logarithmic ^sl(2)_k/u(1) CFT model
Published in Commun.Math.Phys.286:559-592,2009
• View Publication
• BIB
We generalize the string functions C_{n,r}(tau) associated with the coset ^sl(2)_k/u(1) to higher string functions A_{n,r}(tau) and B_{n,r}(tau) associated with the coset W(k)/u(1) of the W-algebra of the logarithmically extended ^sl(2)_k conformal field model with positive integer k. The higher string functions occur in decomposing W(k) characters with respect to level-k theta and Appell functions and their derivatives (the characters are neither quasiperiodic nor holomorphic, and therefore cannot decompose with respect to only theta-functions). The decomposition coefficients, to be considered ``logarithmic parafermionic characters,'' are given by A_{n,r}(tau), B_{n,r}(tau), C_{n,r}(tau), and by the triplet \mathscr{W}(p)-algebra characters of the (p=k+2,1) logarithmic model. We study the properties of A_{n,r} and B_{n,r}, which nontrivially generalize those of the classic string functions C_{n,r}, and evaluate the modular group representation generated from A_{n,r}(tau) and B_{n,r}(tau); its structure inherits some features of modular transformations of the higher-level Appell functions and the associated transcendental function Phi.
Lossless Representation of Graphs using Distributions
We consider complete graphs with edge weights and/or node weights taking values in some set. In the first part of this paper, we show that a large number of graphs are completely determined, up to isomorphism, by the distribution of their sub-triangles. In the second part, we propose graph representations in terms of one-dimensional distributions (e.g., distribution of the node weights, sum of adjacent weights, etc.). For the case when the weights of the graph are real-valued vectors, we show that all graphs, except for a set of measure zero, are uniquely determined, up to isomorphism, from these distributions. The motivating application for this paper is the problem of browsing through large sets of graphs.
Eriksson's numbers game and finite Coxeter groups
Published
• View Publication
• BIB
The numbers game is a one-player game played on a finite simple graph with certain ``amplitudes'' assigned to its edges and with an initial assignment of real numbers to its nodes. The moves of the game successively transform the numbers at the nodes using the amplitudes in a certain way. This game and its interactions with Coxeter/Weyl group theory and Lie theory have been studied by many authors. In particular, Eriksson connects certain geometric representations of Coxeter groups with games on graphs with certain real number amplitudes. Games played on such graphs are ``E-games.'' Here we investigate various finiteness aspects of E-game play: We extend Eriksson's work relating moves of the game to reduced decompositions of elements of a Coxeter group naturally associated to the game graph. We use Stembridge's theory of fully commutative Coxeter group elements to classify what we call here the ``adjacency-free'' initial positions for finite E-games. We characterize when the positive roots for certain geometric representations of finite Coxeter groups can be obtained from E-game play. Finally, we provide a new Dynkin diagram classification result of E-game graphs meeting a certain finiteness requirement.
New path description for the M(k+1,2k+3) models and the dual Z_k graded parafermions
Published in J.Stat.Mech.0711:P11005,2007
• View Publication
• BIB
We present a new path description for the states of the non-unitary M(k+1,2k+3) models. This description differs from the one induced by the Forrester-Baxter solution, in terms of configuration sums, of their restricted-solid-on-solid model. The proposed path representation is actually very similar to the one underlying the unitary minimal models M(k+1,k+2), with an analogous Fermi-gas interpretation. This interpretation leads to fermionic expressions for the finitized M(k+1,2k+3) characters, whose infinite-length limit represent new fermionic characters for the irreducible modules. The M(k+1,2k+3) models are also shown to be related to the Z_k graded parafermions via a (q to 1/q) duality transformation.
Representation functions of bases for binary linear forms
Published in Funct. Approx. Comment. Math. 37 (2007), 341--350
• View Publication
• BIB
Let F(x_1,...,x_m) = u_1 x_1 + ... + u_m x_m be a linear form with nonzero, relatively prime integer coefficients u_1,..., u_m. For any set A of integers, let F(A) = {F(a_1,...,a_m) : a_i in A for i=1,...,m}. The representation function associated with the form F is
R_{A,F}(n) = card {(a_1,...,a_m) in A^m: F(a_1,..., a_m) = n}. The set A is a basis with respect to F for almost all integers the set Z\F(A) has asymptotic density zero. Equivalently, the representation function of an asymptotic basis is a function f:Z -> N_0 U {\infty} such that f^{-1}(0) has density zero. Given such a function, the inverse problem for bases is to construct a set A whose representation function is f. In this paper the inverse problem is solved for binary linear forms.