Blattner's conjecture

Last updated

In mathematics, Blattner's conjecture or Blattner's formula is a description of the discrete series representations of a general semisimple group G in terms of their restricted representations to a maximal compact subgroup K (their so-called K-types). It is named after Robert James Blattner, despite not being formulated as a conjecture by him.

Contents

Statement

Blattner's formula says that if a discrete series representation with infinitesimal character λ is restricted to a maximal compact subgroup K, then the representation of K with highest weight μ occurs with multiplicity

where

Q is the number of ways a vector can be written as a sum of non-compact positive roots
WK is the Weyl group of K
ρc is half the sum of the compact roots
ρn is half the sum of the non-compact roots
ε is the sign character of WK.

Blattner's formula is what one gets by formally restricting the Harish-Chandra character formula for a discrete series representation to the maximal torus of a maximal compact group. The problem in proving the Blattner formula is that this only gives the character on the regular elements of the maximal torus, and one also needs to control its behavior on the singular elements. For non-discrete irreducible representations the formal restriction of Harish-Chandra's character formula need not give the decomposition under the maximal compact subgroup: for example, for the principal series representations of SL2 the character is identically zero on the non-singular elements of the maximal compact subgroup, but the representation is not zero on this subgroup. In this case the character is a distribution on the maximal compact subgroup with support on the singular elements.

History

Harish-Chandra orally attributed the conjecture to Robert James Blattner as a question Blattner raised, not a conjecture made by Blattner. Blattner did not publish it in any form. It first appeared in print in Schmid (1968 , theorem 2), where it was first referred to as "Blattner's Conjecture," despite the results of that paper having been obtained without knowledge of Blattner's question and notwithstanding Blattner's not having made such a conjecture. Okamoto & Ozeki (1967) mentioned a special case of it slightly earlier.

Schmid (1975a) showed that Blattner's formula gave an upper bound for the multiplicities of K-representations, Schmid (1975b) proved Blattner's conjecture for groups whose symmetric space is Hermitian, and Hecht & Schmid (1975) proved Blattner's conjecture for linear semisimple groups. Blattner's conjecture (formula) was also proved by Enright (1979) by infinitesimal methods which were totally new and completely different from those of Hecht and Schmid (1975). Part of the impetus for Enright’s paper (1979) came from several sources: from Enright & Varadarajan (1975), Wallach (1976), Enright & Wallach (1978). In Enright (1979) multiplicity formulae are given for the so-called mock-discrete series representations also. Enright (1978) used his ideas to obtain results on the construction and classification of irreducible Harish-Chandra modules of any real semisimple Lie algebra.

Related Research Articles

<span class="mw-page-title-main">Compact group</span> Topological group with compact topology

In mathematics, a compact (topological) group is a topological group whose topology realizes it as a compact topological space. Compact groups are a natural generalization of finite groups with the discrete topology and have properties that carry over in significant fashion. Compact groups have a well-understood theory, in relation to group actions and representation theory.

In mathematics, the unitarian trick (or unitary trick) is a device in the representation theory of Lie groups, introduced by Adolf Hurwitz (1897) for the special linear group and by Hermann Weyl for general semisimple groups. It applies to show that the representation theory of some complex Lie group G is in a qualitative way controlled by that of some compact real Lie group K, and the latter representation theory is easier. An important example is that in which G is the complex general linear group GLn(C), and K the unitary group U(n) acting on vectors of the same size. From the fact that the representations of K are completely reducible, the same is concluded for the complex-analytic representations of G, at least in finite dimensions.

In mathematics, a Gelfand pair is a pair (G,K ) consisting of a group G and a subgroup K (called an Euler subgroup of G) that satisfies a certain property on restricted representations. The theory of Gelfand pairs is closely related to the topic of spherical functions in the classical theory of special functions, and to the theory of Riemannian symmetric spaces in differential geometry. Broadly speaking, the theory exists to abstract from these theories their content in terms of harmonic analysis and representation theory.

<span class="mw-page-title-main">Hermitian symmetric space</span> Manifold with inversion symmetry

In mathematics, a Hermitian symmetric space is a Hermitian manifold which at every point has an inversion symmetry preserving the Hermitian structure. First studied by Élie Cartan, they form a natural generalization of the notion of Riemannian symmetric space from real manifolds to complex manifolds.

In mathematics, a discrete series representation is an irreducible unitary representation of a locally compact topological group G that is a subrepresentation of the left regular representation of G on L²(G). In the Plancherel measure, such representations have positive measure. The name comes from the fact that they are exactly the representations that occur discretely in the decomposition of the regular representation.

In mathematics, the Langlands classification is a description of the irreducible representations of a reductive Lie group G, suggested by Robert Langlands (1973). There are two slightly different versions of the Langlands classification. One of these describes the irreducible admissible (g, K)-modules, for g a Lie algebra of a reductive Lie group G, with maximal compact subgroup K, in terms of tempered representations of smaller groups. The tempered representations were in turn classified by Anthony Knapp and Gregg Zuckerman. The other version of the Langlands classification divides the irreducible representations into L-packets, and classifies the L-packets in terms of certain homomorphisms of the Weil group of R or C into the Langlands dual group.

In mathematics, a tempered representation of a linear semisimple Lie group is a representation that has a basis whose matrix coefficients lie in the Lp space

In mathematics, admissible representations are a well-behaved class of representations used in the representation theory of reductive Lie groups and locally compact totally disconnected groups. They were introduced by Harish-Chandra.

In mathematics, the main results concerning irreducible unitary representations of the Lie group SL(2, R) are due to Gelfand and Naimark (1946), V. Bargmann (1947), and Harish-Chandra (1952).

In mathematics, a zonal spherical function or often just spherical function is a function on a locally compact group G with compact subgroup K (often a maximal compact subgroup) that arises as the matrix coefficient of a K-invariant vector in an irreducible representation of G. The key examples are the matrix coefficients of the spherical principal series, the irreducible representations appearing in the decomposition of the unitary representation of G on L2(G/K). In this case the commutant of G is generated by the algebra of biinvariant functions on G with respect to K acting by right convolution. It is commutative if in addition G/K is a symmetric space, for example when G is a connected semisimple Lie group with finite centre and K is a maximal compact subgroup. The matrix coefficients of the spherical principal series describe precisely the spectrum of the corresponding C* algebra generated by the biinvariant functions of compact support, often called a Hecke algebra. The spectrum of the commutative Banach *-algebra of biinvariant L1 functions is larger; when G is a semisimple Lie group with maximal compact subgroup K, additional characters come from matrix coefficients of the complementary series, obtained by analytic continuation of the spherical principal series.

In mathematics, more specifically in the representation theory of reductive Lie groups, a -module is an algebraic object, first introduced by Harish-Chandra, used to deal with continuous infinite-dimensional representations using algebraic techniques. Harish-Chandra showed that the study of irreducible unitary representations of a real reductive Lie group, G, could be reduced to the study of irreducible -modules, where is the Lie algebra of G and K is a maximal compact subgroup of G.

In the field of mathematics known as representation theory, an L-packet is a collection of irreducible representations of a reductive group over a local field, that are L-indistinguishable, meaning they have the same Langlands parameter, and so have the same L-function and ε-factors. L-packets were introduced by Robert Langlands in, .

<span class="mw-page-title-main">Veeravalli S. Varadarajan</span> Indian mathematician (1937–2019)

Veeravalli Seshadri Varadarajan was an Indian mathematician at the University of California, Los Angeles, who worked in many areas of mathematics, including probability, Lie groups and their representations, quantum mechanics, differential equations, and supersymmetry.

In mathematical representation theory, the Eisenstein integral is an integral introduced by Harish-Chandra in the representation theory of semisimple Lie groups, analogous to Eisenstein series in the theory of automorphic forms. Harish-Chandra used Eisenstein integrals to decompose the regular representation of a semisimple Lie group into representations induced from parabolic subgroups. Trombi gave a survey of Harish-Chandra's work on this.

In mathematics, a holomorphic discrete series representation is a discrete series representation of a semisimple Lie group that can be represented in a natural way as a Hilbert space of holomorphic functions. The simple Lie groups with holomorphic discrete series are those whose symmetric space is Hermitian. Holomorphic discrete series representations are the easiest discrete series representations to study because they have highest or lowest weights, which makes their behavior similar to that of finite-dimensional representations of compact Lie groups.

In mathematical representation theory, a Harish-Chandra homomorphism is a homomorphism from a subalgebra of the universal enveloping algebra of a semisimple Lie algebra to the universal enveloping algebra of a subalgebra. A particularly important special case is the Harish-Chandra isomorphism identifying the center of the universal enveloping algebra with the invariant polynomials on a Cartan subalgebra.

Robert James Blattner was a mathematics professor at UCLA working on harmonic analysis, representation theory, and geometric quantization, who introduced Blattner's conjecture. Born in Milwaukee, Blattner received his bachelor's degree from Harvard University in 1953 and his Ph.D. from the University of Chicago in 1957. He joined the UCLA mathematics department in 1957 and remained on the staff until his retirement as professor emeritus in 1992.

He was most widely known for a conjecture that he made, contained in the so-called Blattner formula, which suggested that a certain deep property of the discrete series of representations of a semi simple real Lie group was true. He made this conjecture in the mid 1960s. The discrete series, constructed by Harish-Chandra, which is basic to most central questions in harmonic analysis and arithmetic, was still very new and very difficult to penetrate. The conjecture was later proved and the solution was published in 1975 by Wilfried Schmid and Henryk Hecht by analytic methods, and later, in 1979 by Thomas Enright who used algebraic methods; both proofs were quite deep, giving an indication of the insight that led Blattner to this conjecture.

<span class="mw-page-title-main">Thomas Jones Enright</span> American mathematician (1947–2019)

Thomas Jones Enright was an American mathematician known for his work in the algebraic theory of representations of real reductive Lie groups.

This is a glossary of representation theory in mathematics.

References