HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, a matrix coefficient (or matrix element) is a function on a
group A group is a number of persons or things that are located, gathered, or classed together. Groups of people * Cultural group, a group whose members share the same cultural identity * Ethnic group, a group whose members share the same ethnic ide ...
of a special form, which depends on a
linear representation 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 essenc ...
of the group and additional data. Precisely, it is a function on a
compact topological group In mathematics, a compact (topological) group is a topological group whose topology realizes it as a compact topological space (when an element of the group is operated on, the result is also within the group). Compact groups are a natural gen ...
''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 can ...
''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 Map (mathematics), mapping V \to W between two vect ...
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 g ...
s of ''V'' into ''V'' 's underlying
field Field may refer to: Expanses of open ground * Field (agriculture), an area of land used for agricultural purposes * Airfield, an aerodrome that lacks the infrastructure of an airport * Battlefield * Lawn, an area of mowed grass * Meadow, a grass ...
. 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'' (franchis ...
-entry functions of the corresponding matrix representations. The
Peter–Weyl theorem In mathematics, the Peter–Weyl theorem is a basic result in the theory of harmonic analysis, applying to topological groups that are compact, but are not necessarily abelian. It was initially proved by Hermann Weyl, with his student Fritz Peter, ...
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 natural ...
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 additio ...
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 by ...
, 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 In mathematics, specifically in the representation theory of groups and algebras, an irreducible representation (\rho, V) or irrep of an algebraic structure A is a nonzero representation that has no proper nontrivial subrepresentation (\rho, _W,W ...
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 (mathematics), group action of the modular group, and also satisfying a grow ...
. In a different direction, mixing properties of certain
dynamical system In mathematics, a dynamical system is a system in which a Function (mathematics), function describes the time dependence of a Point (geometry), point in an ambient space. Examples include the mathematical models that describe the swinging of a ...
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 can ...
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 , the s ...
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 natural ...
, 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 R ...
, 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 the c ...
, 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'' (franchis ...
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 In mathematics, the Schur orthogonality relations, which were proven by Issai Schur through Schur's lemma, express a central fact about representations of finite groups. They admit a generalization to the case of compact groups in general, and in ...
. 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 th ...
.


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 by ...
and
orthogonal polynomials In mathematics, an orthogonal polynomial sequence is a family of polynomials such that any two different polynomials in the sequence are orthogonality, orthogonal to each other under some inner product. The most widely used orthogonal polynomial ...
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 denoted b ...
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 all ...
, the hypergeometric function and its generalizations, Legendre and
Jacobi Jacobi may refer to: * People with the surname Jacobi (surname), Jacobi Mathematics: * Jacobi sum, a type of character sum * Jacobi method, a method for determining the solutions of a diagonally dominant system of linear equations * Jacobi eigenva ...
orthogonal polynomials and
Bessel functions Bessel functions, first defined by the mathematician Daniel Bernoulli and then generalized by Friedrich Bessel, are canonical solutions of Bessel's differential equation x^2 \frac + x \frac + \left(x^2 - \alpha^2 \right)y = 0 for an arbitrary ...
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 theo ...
s and
real analytic Eisenstein series In mathematics, the simplest real analytic Eisenstein series is a special function of two variables. It is used in the representation theory of SL(2,R) and in analytic number theory. It is closely related to the Epstein zeta function. There are ma ...
, important in
algebraic geometry Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...
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 arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777 ...
, 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 (mathematics), group action of the modular group, and also satisfying a grow ...
s, initiated by Gelfand, Graev, and Piatetski-Shapiro, 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 G of ...
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''; the ...
s. This approach was further developed by Langlands, for general
reductive algebraic group In mathematics, a reductive group is a type of linear algebraic group over a field. One definition is that a connected linear algebraic group ''G'' over a perfect field is reductive if it has a representation with finite kernel which is a direc ...
s 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 In mathematics, the Peter–Weyl theorem is a basic result in the theory of harmonic analysis, applying to topological groups that are compact, but are not necessarily abelian. It was initially proved by Hermann Weyl, with his student Fritz Peter, ...
*
Spherical functions In mathematics and physical science, spherical harmonics are special functions defined on the surface of a sphere. They are often employed in solving partial differential equations in many scientific fields. Since the spherical harmonics form ...


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