representation ↗ reference
4053 papers tagged with this keyword
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.
Equivalences on Acyclic Orientations
The cyclic and dihedral groups can be made to act on the set Acyc(Y) of acyclic orientations of an undirected graph Y, and this gives rise to the equivalence relations ~kappa and ~delta, respectively. These two actions and their corresponding equivalence classes are closely related to combinatorial problems arising in the context of Coxeter groups, sequential dynamical systems, the chip-firing game, and representations of quivers.
In this paper we construct the graphs C(Y) and D(Y) with vertex sets Acyc(Y) and whose connected components encode the equivalence classes. The number of connected components of these graphs are denoted kappa(Y) and delta(Y), respectively. We characterize the structure of C(Y) and D(Y), show how delta(Y) can be derived from kappa(Y), and give enumeration results for kappa(Y). Moreover, we show how to associate a poset structure to each kappa-equivalence class, and we characterize these posets. This allows us to create a bijection from Acyc(Y)/~kappa to the union of Acyc(Y')/~kappa and Acyc(Y'')/~kappa, Y' and Y'' denote edge deletion and edge contraction for a cycle-edge in Y, respectively, which in turn shows that kappa(Y) may be obtained by an evaluation of the Tutte polynomial at (1,0).
Symmetry classes connected with the magnetic Heisenberg ring
Published
• View Publication
• BIB
We define symmetry classes and commutation symmetries in the Hilbert space H of the 1D spin-1/2 Heisenberg magnetic ring with N sites and investigate them by means of tools from the representation theory of symmetric groups S_N such as decompositions of ideals of the group ring C[S_N], idempotents of C[S_N], discrete Fourier transforms of S_N, Littlewood-Richardson products. In particular, we determine smallest symmetry classes and stability subgroups of both single eigenvectors v and subspaces U of eigenvectors of the Hamiltonian of the magnet. The determination of the smallest symmetry class for U bases on an algorithm which calculates explicitely a generating idempotent for a non-direct sum of right ideals of C[S_N]. Let U be a subspace of eigenvectors of a a fixed eigenvalue μof the Hamiltonian with weight (r_1,r_2). If one determines the smallest symmetry class for every v in U then one can observe jumps of the symmetry behaviour. For ''generic'' v all smallest symmetry classes have the same maximal dimension d and structure. But U can contain linear subspaces on which the dimension of the smallest symmetry class of v jumps to a value smaller than d. Then the stability subgroup of v can increase. We can calculate such jumps explicitely. In our investigations we use computer calculations by means of the Mathematica packages PERMS and HRing.
External edge condition and group cohomologies associated with the quantum Clebsch-Gordan condition
Published
• View Publication
• BIB
In this article we determine the structure of a twisted first cohomology group of the first homology of a trivalent graph with a coefficient associated with the quantum Clebsch-Gordan condition. As an application we give a characterization of a combinatorial property, the external edge condition, which is defined by the author in the study of the Heisenberg representation on the TQFT-module.
Quiver coefficients of Dynkin type
Published
• View Publication
• BIB
We study the Grothendieck classes of quiver cycles, i.e. invariant closed subvarieties of the representation space of a quiver. For quivers without oriented loops we show that the class of a quiver cycle is determined by quiver coefficients, which generalize the earlier studied quiver coefficients for equioriented quivers of type A. We conjecture that quiver coefficients satisfy positivity and finiteness properties. Our main result is a formula for the quiver coefficients for orbit closures of Dynkin type with rational singularities, which confirms the finiteness conjecture. This formula is based on Reineke's desingularization of such orbit closures. For quivers of type A3, we give positive combinatorial formulas for the quiver coefficients, which confirm the full conjecture. We also interpret quiver coefficients as formulas for degeneracy loci defined by quivers of vector bundle maps.
Dense sets of integers with prescribed representation functions
Published in European Journal of Combinatorics 34 (2013), 1297--1306
• View Publication
• BIB
Let A be a set of integers and let h \geq 2. For every integer n, let r_{A, h}(n) denote the number of representations of n in the form n=a_1+...+a_h, where a_1,...,a_h belong to the set A, and a_1\leq ... \leq a_h. The function r_{A,h} from the integers Z to the nonnegative integers N_0 U {\infty} is called the representation function of order h for the set A. We prove that every function f from Z to N_0 U {\infty} satisfying liminf_{|n|->\infty} f (n)\geq g is the representation function of order h for some sequence A of integers, and that A can be constructed so that it increases "almost" as slowly as any given B_h[g] sequence. In particular, for every epsilon >0 and g \geq g(h,epsilon), we can construct a sequence A satisfying r_{A,h}=f and A(x)\gg x^{(1/h)-epsilon}.
Zonotopal algebra
Published in Advances in Mathematics, 227 (2011), no.2, 847-894
• View Publication
• BIB
A wealth of geometric and combinatorial properties of a given linear endomorphism $X$ of $\R^N$ is captured in the study of its associated zonotope $Z(X)$, and, by duality, its associated hyperplane arrangement ${\cal H}(X)$. This well-known line of study is particularly interesting in case $n\eqbd\rank X \ll N$. We enhance this study to an algebraic level, and associate $X$ with three algebraic structures, referred herein as {\it external, central, and internal.} Each algebraic structure is given in terms of a pair of homogeneous polynomial ideals in $n$ variables that are dual to each other: one encodes properties of the arrangement ${\cal H}(X)$, while the other encodes by duality properties of the zonotope $Z(X)$. The algebraic structures are defined purely in terms of the combinatorial structure of $X$, but are subsequently proved to be equally obtainable by applying suitable algebro-analytic operations to either of $Z(X)$ or ${\cal H}(X)$. The theory is universal in the sense that it requires no assumptions on the map $X$ (the only exception being that the algebro-analytic operations on $Z(X)$ yield sought-for results only in case $X$ is unimodular), and provides new tools that can be used in enumerative combinatorics, graph theory, representation theory, polytope geometry, and approximation theory.
Rankin-Cohen Deformations and Representation Theory
Published
• View Publication
• BIB
In this paper, we use the unitary representation theory of $SL_2(\mathbb R)$ to understand the Rankin-Cohen brackets for modular forms. Then we use this interpretation to study the corresponding deformation problems that Paula Cohen, Yuri Manin and Don Zagier initiated. Two uniqueness results are established.
Generalisations of the Tits representation
Published
• View Publication
• BIB
We construct a group K_n with properties similar to infinite Coxeter groups. In particular, it has a geometric representation featuring hyperplanes and simplicial chambers. The generators of K_n are given by 2-element subsets of {0, .., n}. We give some easy combinatorial results on the finite residues of K_n.
The hook fusion procedure and its generalisations
The fusion procedure provides a way to construct new solutions to the Yang-Baxter equation. In the case of the symmetric group the fusion procedure has been used to construct diagonal matrix elements using a decomposition of the Young diagram into its rows or columns. We present a new construction which decomposes the diagram into hooks, the great advantage of this is that it minimises the number of auxiliary parameters needed in the procedure. We go on to use the hook fusion procedure to find diagonal matrix elements computationally and calculate supporting evidence to a previous conjecture.
We are motivated by the construction of certain elements that allow us to generate representations of the symmetric group and single out particular irreducible components. In this way we may construct higher representations of the symmetric group from elementary ones. We go some way to generalising the hook fusion procedure by considering other decompositions of Young diagrams, specifically into ribbons. Finally, we adapt our construction to the quantum deformation of the symmetric group algebra known as the Hecke algebra.
Reflection Groups and Polytopes over Finite Fields, III
Published
• View Publication
• BIB
When the standard representation of a crystallographic Coxeter group is reduced modulo an odd prime p, one obtains a finite group G^p acting on some orthogonal space over Z_p . If the Coxeter group has a string diagram, then G^p will often be the automorphism group of a finite abstract regular polytope. In parts I and II we established the basics of this construction and enumerated the polytopes associated to groups of rank at most 4, as well as all groups of spherical or Euclidean type. Here we extend the range of our earlier criteria for the polytopality of G^p . Building on this we investigate the class of 3-infinity groups of general rank, and then complete a survey of those locally toroidal polytopes which can be described by our construction.