-
$K$-type multiplicities in degenerate principal series via Howe duality
Authors:
Mark Colarusso,
William Q. Erickson,
Andrew Frohmader,
Jeb F. Willenbring
Abstract:
Let $K$ be one of the complex classical groups ${\rm O}_k$, ${\rm GL}_k$, or ${\rm Sp}_{2k}$. Let $M \subseteq K$ be the block diagonal embedding ${\rm O}_{k_1} \times \cdots \times {\rm O}_{k_r}$ or ${\rm GL}_{k_1} \times \cdots \times {\rm GL}_{k_r}$ or ${\rm Sp}_{2k_1} \times \cdots \times {\rm Sp}_{2k_r}$, respectively. By using Howe duality and seesaw reciprocity as a unified conceptual frame…
▽ More
Let $K$ be one of the complex classical groups ${\rm O}_k$, ${\rm GL}_k$, or ${\rm Sp}_{2k}$. Let $M \subseteq K$ be the block diagonal embedding ${\rm O}_{k_1} \times \cdots \times {\rm O}_{k_r}$ or ${\rm GL}_{k_1} \times \cdots \times {\rm GL}_{k_r}$ or ${\rm Sp}_{2k_1} \times \cdots \times {\rm Sp}_{2k_r}$, respectively. By using Howe duality and seesaw reciprocity as a unified conceptual framework, we prove a formula for the branching multiplicities from $K$ to $M$ which is expressed as a sum of generalized Littlewood-Richardson coefficients, valid within a certain stable range. By viewing $K$ as the complexification of the maximal compact subgroup $K_{\mathbb{R}}$ of the real group $G_{\mathbb{R}} = {\rm GL}(k,\mathbb{R})$, ${\rm GL}(k, \mathbb{C})$, or ${\rm GL}(k,\mathbb{H})$, respectively, one can interpret our branching multiplicities as $K_{\mathbb{R}}$-type multiplicities in degenerate principal series representations of $G_{\mathbb{R}}$. Upon specializing to the minimal $M$, where $k_1 = \cdots = k_r = 1$, we establish a fully general tableau-theoretic interpretation of the branching multiplicities, corresponding to the $K_{\mathbb{R}}$-type multiplicities in the principal series.
△ Less
Submitted 26 February, 2025;
originally announced February 2025.
-
Graphical methods and rings of invariants on the symmetric algebra
Authors:
Rebecca Bourn,
William Q. Erickson,
Jeb F. Willenbring
Abstract:
Let $G$ be a complex classical group, and let $V$ be its defining representation (possibly plus a copy of the dual). A foundational problem in classical invariant theory is to write down generators and relations for the ring of $G$-invariant polynomial functions on the space $\mathcal{P}^m(V)$ of degree-$m$ homogeneous polynomial functions on $V$. In this paper, we replace $\mathcal{P}^m(V)$ with…
▽ More
Let $G$ be a complex classical group, and let $V$ be its defining representation (possibly plus a copy of the dual). A foundational problem in classical invariant theory is to write down generators and relations for the ring of $G$-invariant polynomial functions on the space $\mathcal{P}^m(V)$ of degree-$m$ homogeneous polynomial functions on $V$. In this paper, we replace $\mathcal{P}^m(V)$ with the full polynomial algebra $\mathcal{P}(V)$. As a result, the invariant ring is no longer finitely generated. Hence instead of seeking generators, we aim to write down linear bases for bigraded components. Indeed, when $G$ is of sufficiently high rank, we realize these bases as sets of graphs with prescribed number of vertices and edges. When the rank of $G$ is small, there arise complicated linear dependencies among the graphs, but we remedy this setback via representation theory: in particular, we determine the dimension of an arbitrary component in terms of branching multiplicities from the general linear group to the symmetric group. We thereby obtain an expression for the bigraded Hilbert series of the ring of invariants on $\mathcal{P}(V)$. We conclude with examples using our graphical notation, several of which recover classical results.
△ Less
Submitted 2 December, 2023; v1 submitted 18 May, 2022;
originally announced May 2022.
-
Contingency tables and the generalized Littlewood-Richardson coefficients
Authors:
Mark Colarusso,
William Q. Erickson,
Jeb F. Willenbring
Abstract:
The Littlewood-Richardson coefficients $c^λ_{μν}$ give the multiplicity of an irreducible polynomial ${\rm GL}_n$-representation $F^λ_n$ in the tensor product of polynomial representations $F^μ_n\otimes F^ν_n$. In this paper, we generalize these coefficients to an $r$-fold tensor product of rational representations, and give a new method for computing them using an analogue of statistical continge…
▽ More
The Littlewood-Richardson coefficients $c^λ_{μν}$ give the multiplicity of an irreducible polynomial ${\rm GL}_n$-representation $F^λ_n$ in the tensor product of polynomial representations $F^μ_n\otimes F^ν_n$. In this paper, we generalize these coefficients to an $r$-fold tensor product of rational representations, and give a new method for computing them using an analogue of statistical contingency tables. We demonstrate special cases in which our method reduces to counting statistical contingency tables with prescribed margins. Finally, we extend our result from the general linear group to both the orthogonal and symplectic groups.
△ Less
Submitted 12 December, 2020;
originally announced December 2020.
-
Expected value of the one-dimensional Earth Mover's Distance
Authors:
Rebecca Bourn,
Jeb F. Willenbring
Abstract:
From a combinatorial point of view, we consider the Earth Mover's Distance (EMD) associated with a metric measure space. The specific case considered is deceptively simple: Let the finite set [n] = {1,...,n} be regarded as a metric space by restricting the usual Euclidean distance on the real numbers. The EMD is defined on ordered pairs of probability distributions on [n]. We provide an easy metho…
▽ More
From a combinatorial point of view, we consider the Earth Mover's Distance (EMD) associated with a metric measure space. The specific case considered is deceptively simple: Let the finite set [n] = {1,...,n} be regarded as a metric space by restricting the usual Euclidean distance on the real numbers. The EMD is defined on ordered pairs of probability distributions on [n]. We provide an easy method to compute a generating function encoding the values of EMD in its coefficients, which is related to the Segre embedding from projective algebraic geometry. As an application we use the generating function to compute the expected value of EMD in this one-dimensional case. The EMD is then used in clustering analysis for a specific data set.
△ Less
Submitted 21 November, 2019; v1 submitted 8 March, 2019;
originally announced March 2019.
-
Branching from the General Linear Group to the Symmetric Group and the Principal Embedding
Authors:
Alexander Heaton,
Songpon Sriwongsa,
Jeb F. Willenbring
Abstract:
Let S be a principally embedded sl_2 subalgebra in sl_n for n > 2. A special case of results of the third author and Gregg Zuckerman implies that there exists a positive integer b(n) such that for any finite-dimensional irreducible sl_n representation, V, there exists an irreducible S-representation embedding in V with dimension at most b(n). In a 2017 paper (joint with Hassan Lhou), they prove th…
▽ More
Let S be a principally embedded sl_2 subalgebra in sl_n for n > 2. A special case of results of the third author and Gregg Zuckerman implies that there exists a positive integer b(n) such that for any finite-dimensional irreducible sl_n representation, V, there exists an irreducible S-representation embedding in V with dimension at most b(n). In a 2017 paper (joint with Hassan Lhou), they prove that b(n)=n is the sharpest possible bound, and also address embeddings other than the principal one.
These results concerning embeddings may by interpreted as statements about plethysm. Then, a well known result about these plethysms can be interpreted as a "branching rule". Specifically, a (finite dimensional) representation of GL(n,C) will decompose into irreducible representations of the symmetric group when it is restricted to the subgroup consisting of permutation matrices. The question of which irreducible representations of the symmetric group occur with positive multiplicity is the topic of this paper, applying the previous work of Lhou, Zuckerman, and the third author.
△ Less
Submitted 9 May, 2020; v1 submitted 14 December, 2018;
originally announced December 2018.
-
Lowest sl(2)-types in sl(n)-representations with respect to a principal embedding
Authors:
Hassan Lhou,
Jeb F. Willenbring
Abstract:
Fix n>2. Let s be a principally embedded sl(2)-subalgebra in sl(n). A special case of results of the second author and Gregg Zuckerman implies that there exists a positive integer b(n) such that for any finite dimensional sl(n)-representation, V, there exists an irreducible s-representation embedding in V with dimension at most b(n). We prove that b(n)=n is the sharpest possible bound. We also add…
▽ More
Fix n>2. Let s be a principally embedded sl(2)-subalgebra in sl(n). A special case of results of the second author and Gregg Zuckerman implies that there exists a positive integer b(n) such that for any finite dimensional sl(n)-representation, V, there exists an irreducible s-representation embedding in V with dimension at most b(n). We prove that b(n)=n is the sharpest possible bound. We also address embeddings other than the principal one.
The exposition involves an application of the Cartan--Helgason theorem, Pieri rules, Hermite reciprocity, and a calculation in the "branching algebra" introduced by Roger Howe, Eng-Chye Tan, and the second author.
△ Less
Submitted 23 June, 2016; v1 submitted 15 March, 2016;
originally announced March 2016.
-
Sums of squares of the Littlewood-Richardson coefficients and GL(n)-harmonic polynomials
Authors:
Pamela E. Harris,
Jeb F. Willenbring
Abstract:
We consider the example from invariant theory concerning the conjugation action of the general linear group on several copies of the $n \times n$ matrices, and examine a symmetric function which stably describes the Hilbert series for the invariant ring with respect to the multigradation by degree. The terms of this Hilbert series may be described as a sum of squares of Littlewood-Richardson coeff…
▽ More
We consider the example from invariant theory concerning the conjugation action of the general linear group on several copies of the $n \times n$ matrices, and examine a symmetric function which stably describes the Hilbert series for the invariant ring with respect to the multigradation by degree. The terms of this Hilbert series may be described as a sum of squares of Littlewood-Richardson coefficients. A "principal specialization" of the gradation is then related to the Hilbert series of the $\K$-invariant subring in the $\GL_n$-harmonic polynomials, where $\K$ denotes a block diagonal embedding of a product of general linear groups. We also consider other specializations of this Hilbert series.
△ Less
Submitted 22 April, 2013; v1 submitted 2 June, 2012;
originally announced June 2012.
-
The measurement of quantum entanglement and enumeration of graph coverings
Authors:
Michael W. Hero,
Jeb F. Willenbring,
Lauren Kelly Williams
Abstract:
We provide formulas for invariants defined on a tensor product of defining representations of unitary groups, under the action of the product group. This situation has a physical interpretation, as it is related to the quantum mechanical state space of a multi-particle system in which each particle has finitely many outcomes upon observation. Moreover, these invariant functions separate the entang…
▽ More
We provide formulas for invariants defined on a tensor product of defining representations of unitary groups, under the action of the product group. This situation has a physical interpretation, as it is related to the quantum mechanical state space of a multi-particle system in which each particle has finitely many outcomes upon observation. Moreover, these invariant functions separate the entangled and unentangled states, and are therefore viewed as measurements of quantum entanglement. When the ranks of the unitary groups are large, we provide a graph theoretic interpretation for the dimension of the invariants of a fixed degree. We also exhibit a bijection between isomorphism classes of finite coverings of connected simple graphs and a basis for the space of invariants. The graph coverings are related to branched coverings of surfaces.
△ Less
Submitted 28 October, 2011; v1 submitted 1 November, 2009;
originally announced November 2009.
-
A generating function for Blattner's formula
Authors:
Jeb F. Willenbring,
Gregg J. Zuckerman
Abstract:
Let G be a connected, semisimple Lie group with finite center and let K be a maximal compact subgroup. We investigate a method to compute multiplicities of K-types in the discrete series using a rational expression for a generating function obtained from Blattner's formula. This expression involves a product with a character of an irreducible finite dimensional representation of K and is valid f…
▽ More
Let G be a connected, semisimple Lie group with finite center and let K be a maximal compact subgroup. We investigate a method to compute multiplicities of K-types in the discrete series using a rational expression for a generating function obtained from Blattner's formula. This expression involves a product with a character of an irreducible finite dimensional representation of K and is valid for any discrete series system. Other results include a new proof of a symmetry of Blattner's formula, and a positivity result for certain low rank examples. We consider in detail the situation for G of type split G_2. The motivation for this work came from an attempt to understand pictures coming from Blattner's formula, some of which we include in the paper.
△ Less
Submitted 17 December, 2006; v1 submitted 10 December, 2006;
originally announced December 2006.
-
Stable Hilbert series of $\mathcal S(\mathfrak g)^K$ for classical groups
Authors:
Jeb F. Willenbring
Abstract:
Given a classical symmetric pair, $(G,K)$, with $\mathfrak g = Lie(G)$, we provide descriptions of the Hilbert series of the algebra of $K$-invariant vectors in the associated graded algebra of $\mathcal U(\mathfrak g)$ viewed as a $K$-representation under restriction of the adjoint representation. The description illuminates a certain stable behavior of the Hilbert series, which is investigated…
▽ More
Given a classical symmetric pair, $(G,K)$, with $\mathfrak g = Lie(G)$, we provide descriptions of the Hilbert series of the algebra of $K$-invariant vectors in the associated graded algebra of $\mathcal U(\mathfrak g)$ viewed as a $K$-representation under restriction of the adjoint representation. The description illuminates a certain stable behavior of the Hilbert series, which is investigated in a case-by-case basis. We note that the stable Hilbert series of one symmetric pair often coincides with others. Also, for the case of the real form $U(p,q)$ we derive a closed expression for the Hilbert series when $\min(p,q) \to \infty$.
△ Less
Submitted 6 November, 2005; v1 submitted 29 October, 2005;
originally announced October 2005.
-
Invariant Differential Operators and FCR factors of Enveloping algebras
Authors:
Ian M. Musson,
Jeb F. Willenbring
Abstract:
If $\fg$ is a semisimple Lie algebra, we describe the prime factors of $\mcU(\fg)$ that have enough finite dimensional modules. The proof depends on some combinatorial facts about the Weyl group which may be of independent interest. We also determine, which finite dimensional $\mcU(\fg)$-modules are modules over a given prime factor. As an application we study finite dimensional modules over som…
▽ More
If $\fg$ is a semisimple Lie algebra, we describe the prime factors of $\mcU(\fg)$ that have enough finite dimensional modules. The proof depends on some combinatorial facts about the Weyl group which may be of independent interest. We also determine, which finite dimensional $\mcU(\fg)$-modules are modules over a given prime factor. As an application we study finite dimensional modules over some rings of invariant differential operators arising from Howe duality.
△ Less
Submitted 16 March, 2007; v1 submitted 28 September, 2004;
originally announced September 2004.
-
Small semisimple subalgebras of semisimple Lie algebras
Authors:
Jeb F. Willenbring,
Gregg Zuckerman
Abstract:
The main goal of this paper is to prove the following theorem:
Let $\frak k$ be an $\frak {sl}_2$-subalgebra of a semisimple Lie algebra $\frak g$, none of whose simple factors is of type $A1$. Then there exists a positive integer $b(\frak k, \frak g)$, such that for every irreducible finite dimensional $\frak g$-module $V$, there exists an injection of $\frak k$-modules $W \to V$, where $W$ i…
▽ More
The main goal of this paper is to prove the following theorem:
Let $\frak k$ be an $\frak {sl}_2$-subalgebra of a semisimple Lie algebra $\frak g$, none of whose simple factors is of type $A1$. Then there exists a positive integer $b(\frak k, \frak g)$, such that for every irreducible finite dimensional $\frak g$-module $V$, there exists an injection of $\frak k$-modules $W \to V$, where $W$ is an irreducible $\frak k$-module of dimension less than $b(\frak k, \frak g)$.
This result was announced in math.RT/0310140.
△ Less
Submitted 23 August, 2004;
originally announced August 2004.
-
A Basis for the GL_n Tensor Product Algebra
Authors:
Roger E. Howe,
Eng Chye Tan,
Jeb F. Willenbring
Abstract:
This paper focuses on the $GL_n$ tensor product algebra, which encapsulates the decomposition of tensor products of arbitrary finite dimensional irreducible representations of $GL_n$. We will describe an explicit basis for this algebra. This construction relates directly with the combinatorial description of Littlewood-Richardson coefficients in terms of Littlewood-Richardson tableaux. Philosoph…
▽ More
This paper focuses on the $GL_n$ tensor product algebra, which encapsulates the decomposition of tensor products of arbitrary finite dimensional irreducible representations of $GL_n$. We will describe an explicit basis for this algebra. This construction relates directly with the combinatorial description of Littlewood-Richardson coefficients in terms of Littlewood-Richardson tableaux. Philosophically, one may view this construction as a recasting of the Littlewood-Richardson rule in the context of classical invariant theory.
△ Less
Submitted 6 November, 2005; v1 submitted 27 July, 2004;
originally announced July 2004.
-
Reciprocity Algebras and Branching for Classical Symmetric Pairs
Authors:
Roger E. Howe,
Eng Chye Tan,
Jeb F. Willenbring
Abstract:
We study branching laws for a classical group $G$ and a symmetric subgroup $H$. Our approach is through the {\it branching algebra}, the algebra of covariants for $H$ in the regular functions on the natural torus bundle over the flag manifold for $G$. We give concrete descriptions of (natural subalgebras of) the branching algebra using classical invariant theory. In this context, it turns out th…
▽ More
We study branching laws for a classical group $G$ and a symmetric subgroup $H$. Our approach is through the {\it branching algebra}, the algebra of covariants for $H$ in the regular functions on the natural torus bundle over the flag manifold for $G$. We give concrete descriptions of (natural subalgebras of) the branching algebra using classical invariant theory. In this context, it turns out that the ten classes of classical symmetric pairs $(G,H)$ are associated in pairs, $(G,H)$ and $(H',G')$, and that the (partial) branching algebra for $(G,H)$ also describes a branching law from $H'$ to $G'$. (However, the second branching law may involve certain infinite-dimensional highest weight modules for $H'$.) To highlight the fact that these algebras describe two branching laws simultaneously, we call them {\it reciprocity algebras}. Our description of the reciprocity algebras reveals that they all are related to the tensor product algebra for $GL_n$. This relation is especially strong in the {\it stable range}. We give quite explicit descriptions of reciprocity algebras in the stable range in terms of the tensor product algebra for $GL_n$. This is the structure lying behind formulas for branching multiplicities in terms of Littlewood-Richardson coefficients.
△ Less
Submitted 6 November, 2005; v1 submitted 27 July, 2004;
originally announced July 2004.
-
Stable branching rules for classical symmetric pairs
Authors:
Roger E. Howe,
Eng Chye Tan,
Jeb F. Willenbring
Abstract:
We approach the problem of obtaining branching rules from the point of view of dual reductive pairs. Specifically, we obtain a stable branching rule for each of 10 classical families of symmetric pairs. In each case, the branching multiplicities are expressed in terms of Littlewood-Richardson coefficients. Some of the formulas are classical and include, for example, Littlewood's restriction rule…
▽ More
We approach the problem of obtaining branching rules from the point of view of dual reductive pairs. Specifically, we obtain a stable branching rule for each of 10 classical families of symmetric pairs. In each case, the branching multiplicities are expressed in terms of Littlewood-Richardson coefficients. Some of the formulas are classical and include, for example, Littlewood's restriction rule as a special case.
△ Less
Submitted 6 November, 2005; v1 submitted 11 November, 2003;
originally announced November 2003.
