Glossary of representation theory
This is a glossary of representation theory in mathematics.
The term "module" is often used synonymously for a representation; for the module-theoretic terminology, see also glossary of module theory.
See also Glossary of Lie groups and Lie algebras, list of representation theory topics and Category:Representation theory.
Notations: We write . Thus, for example, a one-representation (i.e., a character) of a group G is of the form .
A
- Adams
- Adams operations.
- adjoint
- The adjoint representation of a Lie group G is the representation given by the adjoint action of G on the Lie algebra of G (an adjoint action is obtained, roughly, by differentiating a conjugation action.)
- admissible
- A representation of a real reductive group is called admissible if (1) a maximal compact subgroup K acts as unitary operators and (2) each irreducible representation of K has finite multiplicity.
- alternating
- The alternating square of a representation V is a subrepresentation of the second tensor power .
- Artin
- 1. Emil Artin.
- 2. Artin's theorem on induced characters states that a character on a finite group is a rational linear combination of characters induced from cyclic subgroups.
- 3. Artin representation is used in the definition of the Artin conductor.
- automorphic
- automorphic representation
B
- Borel–Weil–Bott theorem
- Over an algebraically closed field of characteristic zero, the Borel–Weil–Bott theorem realizes an irreducible representation of a reductive algebraic group as the space of the global sections of a line bundle on a flag variety. (In the positive characteristic case, the construction only produces Weyl modules, which may not be irreducible.)
- branching
- branching rule
- Brauer
- Brauer's theorem on induced characters states that a character on a finite group is a linear combination with integer coefficients of characters induced from elementary subgroups.
C
- Cartan–Weyl theory
- Another name for the representation theory of semisimple Lie algebras.
- Casimir element
- A Casimir element is a distinguished element of the center of the universal enveloping algebra of a Lie algebra.
- category of representations
- Representations and equivariant maps between them form a category of representations.
- character
- 1. A character is a one-dimensional representation.
- 2. The character of a finite-dimensional representation π is the function . In other words, it is the composition .
- 3. An irreducible character (resp. a trivial character) is the character of an irreducible representation (resp. a trivial representation).
- 4. The character group of a group G is the group of all characters on G; namely, .
- 5. The character ring is the group ring (over the integers) of the character group of G.
- 6. A virtual character is an element of a character ring.
- 7. A distributional character may be defined for an infinite-dimensional representation.
- 8. An infinitesimal character.
- Chevalley
- 1. Chevalley
- 2. Chevalley generators
- 3. Chevalley group.
- 4. Chevalley's restriction theorem.
- class function
- A class function f on a group G is a function such that ; it is a function on conjugacy classes.
- coadjoint
- A coadjoint representation is the dual representation of an adjoint representation.
- complete
- “completely reducible" is another term for "semisimple".
- complex
- 1. A complex representation is a representation of G on a complex vector space. Many authors refer complex representations simply as representations.
- 2. The complex-conjugate of a complex representation V is the representation with the same underlying additive group V with the linear action of G but with the action of a complex number through complex conjugation.
- 3. A complex representation is self-conjugate if it is isomorphic to its complex conjugate.
- complementary
- A complementary representation to a subrepresentation W of a representation V is a representation W' such that V is the direct sum of W and W'.
- cuspidal
- cuspidal representation
- crystal
- crystal basis
- cyclic
- A cyclic G-module is a G-module generated by a single vector. For example, an irreducible representation is necessarily cyclic.
D
- Dedekind
- Dedekind's theorem on linear independence of characters.
- defined over
- Given a field extension , a representation V of a group G over K is said to be defined over F if for some representation over F such that is induced by ; i.e., . Here, is called an F-form of V (and is not necessarily unique).
- Demazure
- Demazure's character formula
- direct sum
- The direct sum of representations V, W is a representation that is the direct sum of the vector spaces together with the linear group action .
- discrete
- An irreducible representation of a Lie group G is said to be in the discrete series if the matrix coefficients of it are all square integrable. For example, if G is compact, then every irreducible representation of it is in the discrete series.
- dominant
- The irreducible representations of a simply-connected compact Lie group are indexed by their highest weight. These dominant weights form the lattice points in an orthant in the weight lattice of the Lie group.
- dual
- The dual representation (or the contragredient representation) of a representation V is a representation that is the dual vector space together with the linear group action that preserves the natural pairing
E
- Eisenstein
- Eisenstein series
- equivariant
- The term “G-equivariant” is another term for “G-linear”.
- exterior
- An exterior power of a representation V is a representation with the group action induced by .
F
- faithful
- A faithful representation is a representation such that is injective as a function.
- fiber functor
- fiber functor.
- Frobenius reciprocity
- The Frobenius reciprocity states that for each representation of H and representation of G there is a bijection
- fundamental
- Fundamental representation: For the irreducible representations of a simply-connected compact Lie group there exists a set of fundamental weights, indexed by the vertices of the Dynkin diagram of G, such that dominant weights are simply non-negative integer linear combinations of the fundamental weights.
The corresponding irreducible representations are the fundamental representations of the Lie group. In particular, from the expansion of a dominant weight in terms of the fundamental weights, one can take a corresponding tensor product of the fundamental representations and extract one copy of the irreducible representation corresponding to that dominant weight.
In the case of the special unitary group SU(n), the n − 1 fundamental representations are the wedge products
G
- G-linear
- A G-linear map between representations is a linear transformation that commutes with the G-actions; i.e., for every g in G.
- G-module
- Another name for a representation. It allows for the module-theoretic terminology: e.g., trivial G-module, G-submodules, etc.
- G-equivariant vector bundle
- A G-equivariant vector bundle is a vector bundle on a G-space X together with a G-action on E (say right) such that is a well-defined linear map.
- good
- A good filtration of a representation of a reductive group G is a filtration such that the quotients are isomorphic to where are the line bundles on the flag variety .
H
- Harish-Chandra
- 1. Harish-Chandra (11 October 1923 – 16 October 1983), an Indian American mathematician.Harish-Chandra
- 2. The Harish-Chandra Plancherel theorem.
- highest weight
- 1. Given a complex semisimple Lie algebra , Cartan subalgebra and a choice of a positive Weyl chamber, the highest weight of a representation of is the weight of an -weight vector v such that for every positive root (v is called the highest weight vector).
- 2. The theorem of the highest weight states (1) two finite-dimensional irreducible representations of are isomorphic if and only if they have the same highest weight and (2) for each dominant integral , there is a finite-dimensional irreducible representation having as its highest weight.
- Hom
- The Hom representation of representations V, W is a representation with the group action obtained by the vector space identification .
I
- indecomposable
- An indecomposable representation is a representation that is not a direct sum of at least two proper subrepresebtations.
- induction
- 1. Given a representation of a subgroup H of a group G, the induced representation
- 2. Depending on applications, it is common to impose further conditions on the functions ; for example, if the functions are required to be compactly supported, then the resulting induction is called the compact induction.
- infinitesimally
- Two admissible representations of a real reductive group are said to be infinitesimally equivalent if their associated Lie algebra representations on the space of K-finite vectors are isomorphic.
- intertwining
- The term "intertwining operator" is an old name for a G-linear map between representations.
- involution
- An involution representation is a representation of a C*-algebra on a Hilbert space that preserves involution.
- irreducible
- An irreducible representation is a representation whose only subrepresentations are zero and itself. The term "irreducible" is synonymous with "simple".
- isomorphism
- An isomorphism between representations of a group G is an invertible G-linear map between the representations.
- isotypic
- 1. Given a representation V and a simple representation W (subrepresebtation or otherwise), the isotypic component of V of type W is the direct sum of all subrepresentations of V that are isomorphic to W. For example, let A be a ring and G a group acting on it as automorphisms. If A is semisimple as a G-module, then the ring of invariants is the isotypic component of A of trivial type.
- 2. The isotypic decomposition of a semisimple representation is the decomposition into the isotypic components.
J
- Jacquet
- Jacquet functor
K
- Kac
- The Kac character formula
- K-finite
- A vector v in a representation space of a group K is said to be K-finite if spans a finite-dimensional vector space.
- Kirillov
- The Kirillov character formula
L
- lattice
- 1. The root lattice is the free abelian group generated by the roots.
- 2. The weight lattice is the group of all linear functionals on a Cartan subalgebra that are integral: is an integer for every root .
- Littlemann
- Littelmann path model
M
- Maschke's theorem
- Maschke's theorem states that a finite-dimensional representation over a field F of a finite group G is a semisimple representation if the characteristic of F does not divide the order of G.
- Mackey theory
- The Mackey theory may be thought of a tool to answer the question: given a representation W of a subgroup H of a group G, when is the induced representation an irreducible representation of G?[1]
- Maass–Selberg
- Maass–Selberg relations.
- matrix coefficient
- A matrix coefficient of a representation is a linear combination of functions on G of the form for v in V and in the dual space . Note the notion makes sense for any group: if G is a topological group and is continuous, then a matrix matrix coefficient would be a continuous function on G. If G and are algebraic, it would be a regular function on G.
- modular
- The modular representation theory.
O
- Oscillator
- Oscillator representation
- orbit
- orbit method, an approach to representation theory that uses tools from symplectic geometry
P
- Peter–Weyl
- The Peter–Weyl theorem states that the linear span of the matrix coefficients on a compact group G is dense in .
- permutation
- Given a group G, a G-set X and V the vector space of functions from X to a fixed field, a permutation representation of G on V is a representation given by the induced action of G on V; i.e., . For example, if X is a finite set and V is viewed as a vector space with a basis parameteized by X, then the symmetric group permutates the elements of the basis and its linear extension is precisely the permutation representation.
- Plancherel
- Plancherel formula
- positive-energy representation
- positive-energy representation.
- primitive
- The term "primitive element" (or a vector) is an old term for a Borel-weight vector.
- projective
- A projective representation of a group G is a group homomorphism . Since , a projective representation is precisely a group action of G on as automorphisms.
- proper
- A proper subrepresentation of a representation V is a subrepresentstion that is not V.
Q
- quotient
- Given a representation V and a subrepresentation , the quotient representation is the representation given by .
- quaternionic
- A quaternionic representation of a group G is a complex representation equipped with a G-invariant quaternionic structure.
R
- rational
- A representation V is rational if each vector v in V is contained in some finite-dimensional subrepresentation (depending on v.)
- real
- 1. A real representation of a vector space is a representation on a real vector space.
- 2. A real character is a character of a group G such that for all g in G.[2]
- regular
- 1. A regular representation of a finite group G is the induced representation of G on the group algebra over a field of G.
- 2. A regular representation of a linear algebraic group G is the induced representation on the coordinate ring of G. See also: representation on coordinate rings.
- representation
- 1. Representation theory is simple to define: it is the study of the ways in which a given group may act on vector spaces. It is almost certainly unique, however, among such clearly delineated subjects, in the breadth of its interest to mathematicians. This is not surprising: group actions are ubiquitous in 20th century mathematics, and where the object on which a group acts is not a vector space, we have learned to replace it by one that is (e.g., a cohomology group, tangent space, etc.). As a consequence, many mathematicians other than specialists in the field (or even those who think they might want to be) come in contact with the subject in various ways.
Fulton, William; Harris, Joe, Representation Theory: A First Course
- 2. Equivalently, a linear representation is a group action of G on a vector space V that is linear: the action such that for each g in G, is a linear transformation.
- 3. A virtual representation is an element of the Grothendieck ring of the category of representations.
- representative
- The term "representative function" is another term for a matrix coefficient.
S
- Schur
- 1. Issai SchurIssai Schur
- 2. Schur's lemma states that a G-linear map between irreducible representations must be either bijective or zero.
- 3. The Schur orthogonality relations on a compact group says the characters of non-isomorphic irreducible representations are orthogonal to each other.
- 4. The Schur functor constructs representations such as symmetric powers or exterior powers according to a partition . The characters of are Schur polynomials.
- 5. The Schur–Weyl duality computes the irreducible representations occurring in tensor powers of -modules.
- 6. A Schur polynomial is a symmetric function, of a type occurring in the Weyl character formula applied to unitary groups.
- 7. Schur index.
- 8. A Schur complex.
- semisimple
- A semisimple representation (also called a completely reducible representation) is a direct sum of simple representations.
- simple
- Another term for "irreducible".
- smooth
- 1. A smooth representation of a locally profinite group G is a complex representation such that, for each v in V, there is some compact open subgroup K of G that fixes v; i.e., for every g in K.
- 2. A smooth vector in a representation space of a Lie group is a vector v such that is a smooth function.
- Specht
- Specht module
- Steinberg
- Steinberg representation.
- subrepresentation
- A subrepresentation of a representation of G is a vector subspace W of V such that is well-defined for each g in G.
- Swan
- The Swan representation is used to define the Swan conductor.
- symmetric
- 1. A symmetric power of a representation V is a representation with the group action induced by .
- 2. In particular, the symmetric square of a representation V is a representation with the group action induced by .
- system of imprimitivity
- A concept in the Mackey theory. See system of imprimitivity.
T
- Tannakian duality
- The Tannakian duality is roughly an idea that a group can be recovered from all of its representations.
- tempered
- tempered representation
- tensor
- A tensor representation is roughly a representation obtained from tensor products (of certain representations).
- tensor product
- The tensor product of representations V, W is the representation that is the tensor product of vector spaces together with the linear group action .
- trivial
- 1. A trivial representation of a group G is a representation π such that π(g) is the identity for every g in G.
- 2. A trivial character of a group G is a character that is trivial as a representation.
U
- unitary
- A unitary representation of a group G is a representation π such that π(g) is a unitary operator for every g in G.
V
- Verma module
- Given a complex semisimple Lie algebra , a Cartan subalgebra and a choice of a positive Weyl chamber, the Verma module associated to a linear functional is the quotient of the enveloping algebra by the left ideal generated by for all positive roots as well as for all .[3]
W
- weight
- 1. The term "weight" is another name for a character.
- 2. The weight subspace of a representation V of a weight is the subspace that has positive dimension.
- 3. Similarly, for a linear functional of a complex Lie algebra , is a weight of an -module V if has positive dimension; cf. #highest weight.
- 4. weight lattice
- 5. dominant weight: a weight \lambda is dominant if for some
- 6. fundamental dominant weight: : Given a set of simple roots , it is a basis of . is a basis of too; the dual basis defined by , is called the fundamental dominant weights.
- 7. highest weight
- Weyl
- 1. Hermann Weyl
- 2. The Weyl character formula expresses the character of an irreducible representations of a complex semisimple Lie algebra in terms of highest weights.
- 3. The Weyl integration formula says: given a compact connected Lie group G with a maximal torus T, there exists a real continuous function u on T such that for every continuous function f on G,
- 4. Weyl module.
- 5. A Weyl filtration is a filtration of a representation of a reductive group such that the quotients are isomorphic to Weyl modules.
Y
- Young
- 1. Alfred Young
- 2. The Young symmetrizer is the G-linear endomorphism of a tensor power of a G-module V defined according to a given partition . By definition, the Schur functor of a representation V assigns to V the image of .
Z
- zero
- A zero representation is a zero-dimensional representation. Note: while a zero representation is a trivial representation, a trivial representation need not be zero (since “trivial” mean G acts trivially.)
Notes
- https://www.dpmms.cam.ac.uk/~nd332/Mackey.pdf
- James, Gordon Douglas (2001). Representations and characters of groups. Liebeck, Martin W. 1954- (2nd ed.). Cambridge, UK: Cambridge University Press. ISBN 978-0521003926. OCLC 52220683.
- Editorial note: this is the definition in (Humphreys 1972, § 20.3.) as well as (Gaitsgory 2005, § 1.2.) and differs from the original by half the sum of the positive roots.
References
- Adams, J. F. (1969), Lectures on Lie Groups, University of Chicago Press
- Theodor Bröcker and Tammo tom Dieck, Representations of compact Lie groups, Graduate Texts in Mathematics 98, Springer-Verlag, Berlin, 1995.
- Bushnell, Colin J.; Henniart, Guy (2006), The local Langlands conjecture for GL(2), Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 335, Berlin, New York: Springer-Verlag, doi:10.1007/3-540-31511-X, ISBN 978-3-540-31486-8, MR 2234120
- Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103.
- D. Gaitsgory, Geometric Representation theory, Math 267y, Fall 2005
- Humphreys, James E. (1972). Introduction to Lie Algebras and Representation Theory. Graduate Texts in Mathematics. 9. New York: Springer-Verlag. ISBN 978-0-387-90053-7.CS1 maint: ref=harv (link)
- Knapp, Anthony W. (2001), Representation theory of semisimple groups. An overview based on examples., Princeton Landmarks in Mathematics, Princeton University Press, ISBN 978-0-691-09089-4
- Claudio Procesi (2007) Lie Groups: an approach through invariants and representation, Springer, ISBN 9780387260402.
- Serre, Jean-Pierre (1977-09-01). Linear Representations of Finite Groups. Graduate Texts in Mathematics, 42. New York–Heidelberg: Springer-Verlag. ISBN 978-0-387-90190-9. MR 0450380. Zbl 0355.20006.CS1 maint: ref=harv (link)
- N. Wallach, Real Reductive Groups, 2 vols., Academic Press 1988,
Further reading
- M. Duflo et M. Vergne, La formule de Plancherel des groupes de Lie semi-simples réels, in “Representations of Lie Groups;” Kyoto, Hiroshima (1986), Advanced Studies in Pure Mathematics 14, 1988.
External links
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.