HOME

TheInfoList



OR:

In mathematics, a matrix coefficient (or matrix element) is a function on a group of a special form, which depends on a linear representation of the group and additional data. Precisely, it is a function on a compact topological group ''G'' obtained by composing a representation of ''G'' on a
vector space In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called '' vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but ...
''V'' with a
linear map In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pr ...
from the
endomorphism In mathematics, an endomorphism is a morphism from a mathematical object to itself. An endomorphism that is also an isomorphism is an automorphism. For example, an endomorphism of a vector space is a linear map , and an endomorphism of a ...
s of ''V'' into ''V'' 's underlying field. It is also called a representative function. They arise naturally from finite-dimensional representations of ''G'' as the
matrix Matrix most commonly refers to: * ''The Matrix'' (franchise), an American media franchise ** '' The Matrix'', a 1999 science-fiction action film ** "The Matrix", a fictional setting, a virtual reality environment, within ''The Matrix'' (franchi ...
-entry functions of the corresponding matrix representations. The Peter–Weyl theorem says that the matrix coefficients on ''G'' are dense in the
Hilbert space In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natu ...
of square-integrable functions on ''G''. Matrix coefficients of representations of
Lie group In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the addit ...
s turned out to be intimately related with the theory of
special functions Special functions are particular mathematical functions that have more or less established names and notations due to their importance in mathematical analysis, functional analysis, geometry, physics, or other applications. The term is defined ...
, providing a unifying approach to large parts of this theory. Growth properties of matrix coefficients play a key role in the classification of irreducible representations of
locally compact group In mathematics, a locally compact group is a topological group ''G'' for which the underlying topology is locally compact and Hausdorff. Locally compact groups are important because many examples of groups that arise throughout mathematics are lo ...
s, in particular, reductive real and ''p''-adic groups. The formalism of matrix coefficients leads to a generalization of the notion of a
modular form In mathematics, a modular form is a (complex) analytic function on the upper half-plane satisfying a certain kind of functional equation with respect to the group action of the modular group, and also satisfying a growth condition. The theory ...
. In a different direction, mixing properties of certain
dynamical system In mathematics, a dynamical system is a system in which a function describes the time dependence of a point in an ambient space. Examples include the mathematical models that describe the swinging of a clock pendulum, the flow of water i ...
s are controlled by the properties of suitable matrix coefficients.


Definition

A matrix coefficient (or matrix element) of a linear representation of a group on a
vector space In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called '' vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but ...
is a function on the group, of the type :f_(g) = \eta(\rho(g)v) where is a vector in , is a continuous
linear functional In mathematics, a linear form (also known as a linear functional, a one-form, or a covector) is a linear map from a vector space to its field of scalars (often, the real numbers or the complex numbers). If is a vector space over a field , th ...
on , and is an element of . This function takes scalar values on . If is a
Hilbert space In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natu ...
, then by the
Riesz representation theorem :''This article describes a theorem concerning the dual of a Hilbert space. For the theorems relating linear functionals to measures, see Riesz–Markov–Kakutani representation theorem.'' The Riesz representation theorem, sometimes called the ...
, all matrix coefficients have the form :f_(g) = \langle \rho(g)v, w \rangle for some vectors and in . For of finite dimension, and and taken from a
standard basis In mathematics, the standard basis (also called natural basis or canonical basis) of a coordinate vector space (such as \mathbb^n or \mathbb^n) is the set of vectors whose components are all zero, except one that equals 1. For example, in th ...
, this is actually the function given by the
matrix Matrix most commonly refers to: * ''The Matrix'' (franchise), an American media franchise ** '' The Matrix'', a 1999 science-fiction action film ** "The Matrix", a fictional setting, a virtual reality environment, within ''The Matrix'' (franchi ...
entry in a fixed place.


Applications


Finite groups

Matrix coefficients of irreducible representations of finite groups play a prominent role in representation theory of these groups, as developed by Burnside, Frobenius and Schur. They satisfy Schur orthogonality relations. The
character Character or Characters may refer to: Arts, entertainment, and media Literature * ''Character'' (novel), a 1936 Dutch novel by Ferdinand Bordewijk * ''Characters'' (Theophrastus), a classical Greek set of character sketches attributed to The ...
of a representation ρ is a sum of the matrix coefficients ''f''''v''ii, where form a basis in the representation space of ρ, and form the
dual basis In linear algebra, given a vector space ''V'' with a basis ''B'' of vectors indexed by an index set ''I'' (the cardinality of ''I'' is the dimension of ''V''), the dual set of ''B'' is a set ''B''∗ of vectors in the dual space ''V''∗ with ...
.


Finite-dimensional Lie groups and special functions

Matrix coefficients of representations of Lie groups were first considered by
Élie Cartan Élie Joseph Cartan (; 9 April 1869 – 6 May 1951) was an influential French mathematician who did fundamental work in the theory of Lie groups, differential systems (coordinate-free geometric formulation of PDEs), and differential geometry ...
.
Israel Gelfand Israel Moiseevich Gelfand, also written Israïl Moyseyovich Gel'fand, or Izrail M. Gelfand ( yi, ישראל געלפֿאַנד, russian: Изра́иль Моисе́евич Гельфа́нд, uk, Ізраїль Мойсейович Гел� ...
realized that many classical
special functions Special functions are particular mathematical functions that have more or less established names and notations due to their importance in mathematical analysis, functional analysis, geometry, physics, or other applications. The term is defined ...
and
orthogonal polynomials In mathematics, an orthogonal polynomial sequence is a family of polynomials such that any two different polynomials in the sequence are orthogonal to each other under some inner product. The most widely used orthogonal polynomials are the cl ...
are expressible as the matrix coefficients of representation of Lie groups ''G''. This description provides a uniform framework for proving many hitherto disparate properties of special functions, such as addition formulas, certain recurrence relations, orthogonality relations, integral representations, and
eigenvalue In linear algebra, an eigenvector () or characteristic vector of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denot ...
properties with respect to differential operators.See the references for the complete treatment. Special functions of mathematical physics, such as the
trigonometric functions In mathematics, the trigonometric functions (also called circular functions, angle functions or goniometric functions) are real functions which relate an angle of a right-angled triangle to ratios of two side lengths. They are widely used in ...
, the hypergeometric function and its generalizations, Legendre and Jacobi orthogonal polynomials and Bessel functions all arise as matrix coefficients of representations of Lie groups.
Theta function In mathematics, theta functions are special functions of several complex variables. They show up in many topics, including Abelian varieties, moduli spaces, quadratic forms, and solitons. As Grassmann algebras, they appear in quantum field ...
s and real analytic Eisenstein series, important in algebraic geometry and
number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Math ...
, also admit such realizations.


Automorphic forms

A powerful approach to the theory of classical
modular form In mathematics, a modular form is a (complex) analytic function on the upper half-plane satisfying a certain kind of functional equation with respect to the group action of the modular group, and also satisfying a growth condition. The theory ...
s, initiated by Gelfand, Graev, and
Piatetski-Shapiro Ilya Piatetski-Shapiro (Hebrew: איליה פיאטצקי-שפירו; russian: Илья́ Ио́сифович Пяте́цкий-Шапи́ро; 30 March 1929 – 21 February 2009) was a Soviet-born Israeli mathematician. During a career that sp ...
, views them as matrix coefficients of certain infinite-dimensional unitary representations,
automorphic representation In harmonic analysis and number theory, an automorphic form is a well-behaved function from a topological group ''G'' to the complex numbers (or complex vector space) which is invariant under the action of a discrete subgroup \Gamma \subset ...
s of
adelic group In abstract algebra, an adelic algebraic group is a semitopological group defined by an algebraic group ''G'' over a number field ''K'', and the adele ring ''A'' = ''A''(''K'') of ''K''. It consists of the points of ''G'' having values in ''A'' ...
s. This approach was further developed by Langlands, for general reductive algebraic groups over
global field In mathematics, a global field is one of two type of fields (the other one is local field) which are characterized using valuations. There are two kinds of global fields: *Algebraic number field: A finite extension of \mathbb *Global function fi ...
s.


See also

* Peter–Weyl theorem * Spherical functions


Notes


References

* * * Vilenkin, N. Ja. ''Special functions and the theory of group representations''. Translated from the Russian by V. N. Singh. Translations of Mathematical Monographs, Vol. 22 American Mathematical Society, Providence, R. I. 1968 * Vilenkin, N. Ja., Klimyk, A. U. ''Representation of Lie groups and special functions. Recent advances''. Translated from the Russian manuscript by V. A. Groza and A. A. Groza. Mathematics and its Applications, 316. Kluwer Academic Publishers Group, Dordrecht, 1995. xvi+497 pp. * Vilenkin, N. Ja., Klimyk, A. U. ''Representation of Lie groups and special functions. Vol. 3. Classical and quantum groups and special functions''. Translated from the Russian by V. A. Groza and A. A. Groza. Mathematics and its Applications (Soviet Series), 75. Kluwer Academic Publishers Group, Dordrecht, 1992. xx+634 pp. * Vilenkin, N. Ja., Klimyk, A. U. ''Representation of Lie groups and special functions. Vol. 2. Class I representations, special functions, and integral transforms''. Translated from the Russian by V. A. Groza and A. A. Groza. Mathematics and its Applications (Soviet Series), 74. Kluwer Academic Publishers Group, Dordrecht, 1993. xviii+607 pp. * Vilenkin, N. Ja., Klimyk, A. U. ''Representation of Lie groups and special functions. Vol. 1. Simplest Lie groups, special functions and integral transforms''. Translated from the Russian by V. A. Groza and A. A. Groza. Mathematics and its Applications (Soviet Series), 72. Kluwer Academic Publishers Group, Dordrecht, 1991. xxiv+608 pp. * {{cite book, last=Želobenko, first= D. P., title=Compact Lie groups and their representations, series=Translations of Mathematical Monographs, volume=40, publisher=
American Mathematical Society The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings ...
, year= 1973 Representation theory of groups