arXiv++ Combinatorics

Browse math.CO papers from arXiv

representation ↗ reference

4143 papers tagged with this keyword
2010-05-19
Ramanujan bigraphs associated with SU(3) over a p-adic field
Published • View Publication • BIB
We use the representation theory of the quasisplit form G of SU(3) over a p-adic field to investigate whether certain quotients of the Bruhat--Tits tree associated to this form are Ramanujan bigraphs. We show that a quotient of the tree associated with G (which is a biregular bigraph) is Ramanujan if and only if G satisfies a Ramanujan type conjecture. This result is analogous to the seminal case of PGL(2) considered by Lubotzky-Phillips-Sarnak. As a consequence, the classification by Rogawski of the automorphic spectrum of U(3) implies the existence of certain infinite families of Ramanujan bigraphs.
2010-05-19
On integer radii coin representations of the wheel graph
A {\em flower} is a coin graph representation of the wheel graph. A {\em petal} of the wheel graph is an edge to the center vertex. In this paper we investigate flowers whose coins have integer radii. For an $n$-petaled flower we show there is a unique irreducible polynomial $P_n$ in $n$ variables over the integers $\ints$, the affine variety of which contains the cosines of the internal angles formed by the petals of the flower. We also establish a recursion that these irreducible polynomials satisfy. Using the polynomials $P_n$, we develop a parameterization for all the integer radii of the coins of the 3-petal flower.
2010-05-15 v2
An Extreme Family of Generalized Frobenius Numbers
Published in Integers: the Electronic Journal of Combinatorial Number Theory 11 (2011), A 24 • View Publication • BIB
We study a generalization of the \emph{Frobenius problem}: given $k$ positive relatively prime integers, what is the largest integer $g_0$ that cannot be represented as a nonnegative integral linear combination of these parameters? More generally, what is the largest integer $g_s$ that has exactly $s$ such representations? We illustrate a family of parameters, based on a recent paper by Tripathi, whose generalized Frobenius numbers $g_0, \ g_1, \ g_2, ...$ exhibit unnatural jumps; namely, $g_0, \ g_1, \ g_k, \ g_{\binom{k+1}{k-1}}, \ g_{\binom{k+2}{k-1}}, ...$ form an arithmetic progression, and any integer larger than $g_{\binom{k+j}{k-1}}$ has at least $\binom{k+j+1}{k-}$ representations. Along the way, we introduce a variation of a generalized Frobenius number and prove some basic results about it.
2010-05-14
Cyclic sieving and cluster multicomplexes
Published • View Publication • BIB
Reiner, Stanton, and White \cite{RSWCSP} proved results regarding the enumeration of polygon dissections up to rotational symmetry. Eu and Fu \cite{EuFu} generalized these results to Cartan-Killing types other than A by means of actions of deformed Coxeter elements on cluster complexes of Fomin and Zelevinsky \cite{FZY}. The Reiner-Stanton-White and Eu-Fu results were proven using direct counting arguments. We give representation theoretic proofs of closely related results using the notion of noncrossing and semi-noncrossing tableaux due to Pylyavskyy \cite{PN} as well as some geometric realizations of finite type cluster algebras due to Fomin and Zelevinsky \cite{FZClusterII}.
2010-05-14
Cyclic sieving, promotion, and representation theory
Published in J. Combin. Theory Ser. A, vol. 117, no. 1, (2010) 38-76 • View Publication • BIB
We prove a collection of conjectures of D. White \cite{WComm}, as well as some related conjectures of Abuzzahab-Korson-Li-Meyer \cite{AKLM} and of Reiner and White \cite{ReinerComm}, \cite{WComm}, regarding the cyclic sieving phenomenon of Reiner, Stanton, and White \cite{RSWCSP} as it applies to jeu-de-taquin promotion on rectangular tableaux. To do this, we use Kazhdan-Lusztig theory and a characterization of the dual canonical basis of $\mathbb{C}[x_{11}, ..., x_{nn}]$ due to Skandera \cite{SkanNNDCB}. Afterwards, we extend our results to analyzing the fixed points of a dihedral action on rectangular tableaux generated by promotion and evacuation, suggesting a possible sieving phenomenon for dihedral groups. Finally, we give applications of this theory to cyclic sieving phenomena involving reduced words for the long elements of hyperoctohedral groups and noncrossing partitions.
2010-05-13 v2
A Basis for the Symplectic Group Branching Algebra
Published in J. Algebraic Combin. 35 (2012) no. 2. 269-290 • View Publication • BIB
The symplectic group branching algebra, B, is a graded algebra whose components encode the multiplicities of irreducible representations of Sp(2n-2,C) in each irreducible representation of Sp(2n,C). By describing on B an ASL structure, we construct an explicit standard monomial basis of B consisting of Sp(2n-2,C) highest weight vectors. Moreover, B is known to carry a canonical action of the n-fold product SL(2) \times ... \times SL(2), and we show that the standard monomial basis is the unique (up to scalar) weight basis associated to this representation. Finally, using the theory of Hibi algebras we describe a deformation of Spec(B) into an explicit toric variety.
2010-05-07 v2
Faces of weight polytopes and a generalization of a theorem of Vinberg
Published in Algebras and Representation Theory 15 (2012), no. 3, 593-611 • View Publication • BIB
The paper is motivated by the study of graded representations of Takiff algebras, cominuscule parabolics, and their generalizations. We study certain special subsets of the set of weights (and of their convex hull) of the generalized Verma modules (or GVM's) of a semisimple Lie algebra $\lie g$. In particular, we extend a result of Vinberg and classify the faces of the convex hull of the weights of a GVM. When the GVM is finite-dimensional, we ask a natural question that arises out of Vinberg's result: when are two faces the same? We also extend the notion of interiors and faces to an arbitrary subfield $\F$ of the real numbers, and introduce the idea of a weak $\F$-face of any subset of Euclidean space. We classify the weak $\F$-faces of all lattice polytopes, as well as of the set of lattice points in them. We show that a weak $\F$-face of the weights of a finite-dimensional $\lie g$-module is precisely the set of weights lying on a face of the convex hull.
2010-04-22 v4
Decomposition numbers for Hecke algebras of type $G(r,p,n)$: the $(ε,q)$-separated case
Published • View Publication • BIB
The paper studies the modular representation theory of the cyclotomic Hecke algebras of type $G(r,p,n)$ with $(\eps,q)$-separated parameters. We show that the decomposition numbers of these algebras are completely determined by the decomposition matrices of related cyclotomic Hecke algebras of type $G(s,1,m)$, where $1\le s\le r$ and $1\le m\le n$. Furthermore, the proof gives an explicit algorithm for computing these decomposition numbers. Consequently, in principle, the decomposition matrices of these algebras are now known in characteristic zero. In proving these results, we develop a Specht module theory for these algebras, explicitly construct their simple modules and introduce and study analogues of the cyclotomic Schur algebras of type $G(r,p,n)$ when the parameters are $(\eps,q)$-separated. The main results of the paper rest upon two Morita equivalences: the first reduces the calculation of all decomposition numbers to the case of the \textit{$l$-splittable decomposition numbers} and the second Morita equivalence allows us to compute these decomposition numbers using an analogue of the cyclotomic Schur algebras for the Hecke algebras of type $G(r,p,n)$.
Classical Kloosterman sums: representation theory, magic squares, and Ramanujan multigraphs
Published in Revised and final version at: Journal of Number Theory 131 (2011), pp.661-680 • View Publication • BIB
We study the representation theory of a certain finite group for which Kloosterman sums appear as character values. This leads us to consider a concrete family of commuting hermitian matrices which have Kloosterman sums as eigenvalues. These matrices satisfy a number of "magical" combinatorial properties and they encode various arithmetic properties of Kloosterman sums. These matrices can also be regarded as adjacency matrices for multigraphs which display Ramanujan-like behavior.
2010-04-17
A Theory of Transformation Monoids: Combinatorics and Representation Theory
Published • View Publication • BIB
The aim of this paper is to develop a theory of finite transformation monoids and in particular to study primitive transformation monoids. We introduce the notion of orbitals and orbital digraphs for transformation monoids and prove a monoid version of D. Higman's celebrated theorem characterizing primitivity in terms of connectedness of orbital digraphs. A thorough study of the module (or representation) associated to a transformation monoid is initiated. In particular, we compute the projective cover of the transformation module over a field of characteristic zero in the case of a transitive transformation or partial transformation monoid. Applications of probability theory and Markov chains to transformation monoids are also considered and an ergodic theorem is proved in this context. In particular, we obtain a generalization of a lemma of P. Neumann, from the theory of synchronizing groups, concerning the partition associated to a transformation of minimal rank.
2010-04-15
Representations of Finite Unipotent Linear Groups by the Method of Clusters
The general linear group GL(n, K) over a field K contains a particularly prominent subgroup U(n, K), consisting of all the upper triangular unipotent elements. In this paper we are interested in the case when K is the finite field F_q, and our goal is to better understand the representation theory of U(n, F_q). The complete classification of the complex irreducible representations of this group has long been known to be a difficult task. The orbit method of Kirillov, famous for its success when K has characteristic 0, is a natural source of intuition and conjectures, but in our case the relation between coadjoint orbits and complex representations is still a mystery. Here we introduce a natural variant of the orbit method, in which the central role is played by certain clusters of coadjoint orbits. This "method of clusters" leads to the construction of a subring in the representation ring of U(n, F_q) that is rich in structure but pleasantly comprehensible. The cluster method also has many of the major features one would expect from the philosophy of orbit method.
Wallis-Ramanujan-Schur-Feynman
Published • View Publication • BIB
One of the earliest examples of analytic representations for $π$ is given by an infinite product provided by Wallis in 1655. The modern literature often presents this evaluation based on the integral formula $$ \frac{2}π \int_0^\infty \frac{dx}{(x^2+1)^{n+1}} = \frac{1}{2^{2n}} \binom{2n}{n}. $$ In trying to understand the behavior of this integral when the integrand is replaced by the inverse of a product of distinct quadratic factors, the authors encounter relations to some formulas of Ramanujan, expressions involving Schur functions, and Matsubara sums that have appeared in the context of Feynman diagrams.
2010-04-13
Affine geometric crystals in unipotent loop groups
Published • View Publication • BIB
We study products of the affine geometric crystal of type A corresponding to symmetric powers of the standard representation. The quotient of this product by the R-matrix action is constructed inside the unipotent loop group. This quotient crystal has a semi-infinite limit, where the crystal structure is described in terms of limit ratios previously appearing in the study of total positivity of loop groups.
2010-04-06 v2
Constructions for cyclic sieving phenomena
Published in SIAM J. Discrete Math., 25(3), 1297-1314. (18 pages), 2011 • View Publication • BIB
We show how to derive new instances of the cyclic sieving phenomenon from old ones via elementary representation theory. Examples are given involving objects such as words, parking functions, finite fields, and graphs.
2010-04-01
On the Homology of Configuration Spaces Associated to Centers of Mass
Published • View Publication • BIB
The aim of this paper is to make sample computations with the Salvetti complex of the "center of mass" arrangement introduced in [arXiv:math/0611732] by Cohen and Kamiyama. We compute the homology of the Salvetti complex of these arrangements with coefficients in the sign representation of symmetric groups on F_p in the case of four particles. We show, when p is an odd prime, the homology is isomorphic to the homology of the configuration space F(C,4) of distinct four points in the complex plane with the same coefficients. When p=2, we show the homology is different from that of F(C,4), hence obtain an alternative and more direct proof of a theorem of Cohen and Kamiyama in [arXiv:math/0611732].
2010-03-30 v3
Equivariant Ehrhart theory
Published in Adv. Math. 226 (2011), no. 4, 3622-3654 • View Publication • BIB
Motivated by representation theory and geometry, we introduce and develop an equivariant generalization of Ehrhart theory, the study of lattice points in dilations of lattice polytopes. We prove representation-theoretic analogues of numerous classical results, and give applications to the Ehrhart theory of rational polytopes and centrally symmetric polytopes. We also recover a character formula of Procesi, Dolgachev, Lunts and Stembridge for the action of a Weyl group on the cohomology of a toric variety associated to a root system.
2010-03-29
Limits of kernel operators and the spectral regularity lemma
Published • View Publication • BIB
We study the spectral aspects of the graph limit theory. We give a description of graphon convergence in terms of converegnce of eigenvalues and eigenspaces. Along these lines we prove a spectral version of the strong regularity lemma. Using spectral methods we investigate group actions on graphons. As an application we show that the set of isometry invariant graphons on the sphere is closed in terms of graph convergence however the analogous statement does not hold for the circle. This fact is rooted in the representation theory of the orthogonal group.
Lie theory of finite simple groups and the Roth property
In noncommutative geometry a `Lie algebra' or bidirectional bicovariant differential calculus on a finite group is provided by a choice of an ad-stable generating subset C stable under inversion. We study the associated Killing form. For the universal calculus associated to C=G \ {e} we show that the magnitude of the Killing form μ=\sum_{a,b\in C}K^{-1}_{a,b} is defined for all finite groups (even when K is not invertible) and that a finite group is Roth, meaning its conjugation representation contains every irreducible, iff μ is not equal to 1/(N-1), where N is the number of conjugacy classes. We show further that the Killing form is invertible in the Roth case, and that the Killing form restricted to the (N-1)-dimensional subspace of invariant vectors is invertible iff the finite group is almost-Roth group (meaning its conjugation representation has at most one missing irreducible). It is known that most finite simple groups are Roth and that all are almost Roth. At the other extreme from the universal calculus we prove that the generating conjugacy class in the case of the dihedral groups D_{2n} with n odd has invertible Killing form, and the same for the 2-cycles conjugacy class in any S_n. We also compute some eigenvalues of the Killing form in the case of the n-cycles class in S_n. Finally, we verify invertibility of the Killing forms of all real conjugacy classes in all nonabelian finite simple groups to order 75,000, by computer, and we conjecture this to extend to all nonabelian finite simple groups.
2010-03-24
Non-abelian representations of the slim dense near hexagons on 81 and 243 points
Published • View Publication • BIB
We prove that the near hexagon $Q(5,2) \times \mathbb{L}_3$ has a non-abelian representation in the extra-special 2-group $2^{1+12}_+$ and that the near hexagon $Q(5,2) \otimes Q(5,2)$ has a non-abelian representation in the extra-special 2-group $2^{1+18}_-$. The description of the non-abelian representation of $Q(5,2) \otimes Q(5,2)$ makes use of a new combinatorial construction of this near hexagon.
2010-03-20 v2
Intrinsic energy is a loop Schur function
Published • View Publication • BIB
We give an explicit subtraction-free formula for the energy function in tensor products of Kirillov-Reshetikhin crystals for symmetric powers of the standard representation of U_q'(\hat sl_n). The energy function is shown to be the tropicalization of a stretched staircase shape loop Schur function. The latter were introduced by the authors in the study of total positivity in loop groups.