The Classical Groups

Last updated

In Weyl's wonderful and terrible1 book The Classical Groups [W] one may discern two main themes: first, the study of the polynomial invariants for an arbitrary number of (contravariant or covariant) variables for a standard classical group action; second, the isotypic decomposition of the full tensor algebra for such an action.

1Most people who know the book feel the material in it is wonderful. Many also feel the presentation is terrible. (The author is not among these latter.)

Howe (1989, p.539)

The Classical Groups: Their Invariants and Representations is a mathematics book by HermannWeyl  ( 1939 ), which describes classical invariant theory in terms of representation theory. It is largely responsible for the revival of interest in invariant theory, which had been almost killed off by David Hilbert's solution of its main problems in the 1890s.

Weyl (1939a) gave an informal talk about the topic of his book. There was a second edition in 1946.

Contents

Chapter I defines invariants and other basic ideas and describes the relation to Felix Klein's Erlangen program in geometry.

Chapter II describes the invariants of the special and general linear group of a vector space V on the polynomials over a sum of copies of V and its dual. It uses the Capelli identity to find an explicit set of generators for the invariants.

Chapter III studies the group ring of a finite group and its decomposition into a sum of matrix algebras.

Chapter IV discusses Schur–Weyl duality between representations of the symmetric and general linear groups.

Chapters V and VI extend the discussion of invariants of the general linear group in chapter II to the orthogonal and symplectic groups, showing that the ring of invariants is generated by the obvious ones.

Chapter VII describes the Weyl character formula for the characters of representations of the classical groups.

Chapter VIII on invariant theory proves Hilbert's theorem that invariants of the special linear group are finitely generated.

Chapter IX and X give some supplements to the previous chapters.

Related Research Articles

Emmy Noether German mathematician (1882–1935)

Amalie Emmy Noether was a German mathematician who made many important contributions to abstract algebra. She discovered Noether's First and Second Theorem, which are fundamental in mathematical physics. She was described by Pavel Alexandrov, Albert Einstein, Jean Dieudonné, Hermann Weyl and Norbert Wiener as the most important woman in the history of mathematics. As one of the leading mathematicians of her time, she developed some theories of rings, fields, and algebras. In physics, Noether's theorem explains the connection between symmetry and conservation laws.

Hermann Weyl German mathematician (1885–1955)

Hermann Klaus Hugo Weyl, was a German mathematician, theoretical physicist and philosopher. Although much of his working life was spent in Zürich, Switzerland, and then Princeton, New Jersey, he is associated with the University of Göttingen tradition of mathematics, represented by David Hilbert and Hermann Minkowski.

In mathematics, a unitary representation of a group G is a linear representation π of G on a complex Hilbert space V such that π(g) is a unitary operator for every gG. The general theory is well-developed in case G is a locally compact (Hausdorff) topological group and the representations are strongly continuous.

Invariant theory is a branch of abstract algebra dealing with actions of groups on algebraic varieties, such as vector spaces, from the point of view of their effect on functions. Classically, the theory dealt with the question of explicit description of polynomial functions that do not change, or are invariant, under the transformations from a given linear group. For example, if we consider the action of the special linear group SLn on the space of n by n matrices by left multiplication, then the determinant is an invariant of this action because the determinant of A X equals the determinant of X, when A is in SLn.

Élie Cartan French mathematician

Élie Joseph Cartan, ForMemRS was an influential French mathematician who did fundamental work in the theory of Lie groups, differential systems, and differential geometry. He also made significant contributions to general relativity and indirectly to quantum mechanics. He is widely regarded as one of the greatest mathematicians of the twentieth century.

Marshall Harvey Stone American mathematician

Marshall Harvey Stone was an American mathematician who contributed to real analysis, functional analysis, topology and the study of Boolean algebras.

In mathematics, the mathematician Sophus Lie initiated lines of study involving integration of differential equations, transformation groups, and contact of spheres that have come to be called Lie theory. For instance, the latter subject is Lie sphere geometry. This article addresses his approach to transformation groups, which is one of the areas of mathematics, and was worked out by Wilhelm Killing and Élie Cartan.

In mathematics, geometric invariant theory is a method for constructing quotients by group actions in algebraic geometry, used to construct moduli spaces. It was developed by David Mumford in 1965, using ideas from the paper in classical invariant theory.

In mathematics, Hilbert's fourteenth problem, that is, number 14 of Hilbert's problems proposed in 1900, asks whether certain algebras are finitely generated.

Leonard Eugene Dickson was an American mathematician. He was one of the first American researchers in abstract algebra, in particular the theory of finite fields and classical groups, and is also remembered for a three-volume history of number theory, History of the Theory of Numbers.

Schur–Weyl duality is a mathematical theorem in representation theory that relates irreducible finite-dimensional representations of the general linear and symmetric groups. It is named after two pioneers of representation theory of Lie groups, Issai Schur, who discovered the phenomenon, and Hermann Weyl, who popularized it in his books on quantum mechanics and classical groups as a way of classifying representations of unitary and general linear groups.

In mathematics, a zonal spherical function or often just spherical function is a function on a locally compact group G with compact subgroup K 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.

Representation theory Branch of mathematics that studies abstract algebraic structures

Representation theory is a branch of mathematics that studies abstract algebraic structures by representing their elements as linear transformations of vector spaces, and studies modules over these abstract algebraic structures. In essence, a representation makes an abstract algebraic object more concrete by describing its elements by matrices and their algebraic operations. The theory of matrices and linear operators is well-understood, so representations of more abstract objects in terms of familiar linear algebra objects helps glean properties and sometimes simplify calculations on more abstract theories.

In mathematics, Cayley's Ω process, introduced by Arthur Cayley (1846), is a relatively invariant differential operator on the general linear group, that is used to construct invariants of a group action.

In mathematics, Schur algebras, named after Issai Schur, are certain finite-dimensional algebras closely associated with Schur–Weyl duality between general linear and symmetric groups. They are used to relate the representation theories of those two groups. Their use was promoted by the influential monograph of J. A. Green first published in 1980. The name "Schur algebra" is due to Green. In the modular case Schur algebras were used by Gordon James and Karin Erdmann to show that the problems of computing decomposition numbers for general linear groups and symmetric groups are actually equivalent. Schur algebras were used by Friedlander and Suslin to prove finite generation of cohomology of finite group schemes.

In mathematical invariant theory, an invariant of a binary form is a polynomial in the coefficients of a binary form in two variables x and y that remains invariant under the special linear group acting on the variables x and y.

Nolan Russell Wallach is a mathematician known for work in the representation theory of reductive algebraic groups. He is the author of the 2-volume treatise Real Reductive Groups.

In algebraic geometry, a torus action on an algebraic variety is a group action of an algebraic torus on the variety. A variety equipped with an action of a torus T is called a T-variety. In differential geometry, one considers an action of a real or complex torus on a manifold.

In algebra, the first and second fundamental theorems of invariant theory concern the generators and the relations of the ring of invariants in the ring of polynomial functions for classical groups. The theorems are among the most important results of invariant theory.

Representation theory of semisimple Lie algebras

In mathematics, the representation theory of semisimple Lie algebras is one of the crowning achievements of the theory of Lie groups and Lie algebras. The theory was worked out mainly by E. Cartan and H. Weyl and because of that, the theory is also known as the Cartan–Weyl theory. The theory gives the structural description and classification of a finite-dimensional representation of a semisimple Lie algebra ; in particular, it gives a way to parametrize irreducible finite-dimensional representations of a semisimple Lie algebra, the result known as the theorem of the highest weight.

References