Namespaces
Variants
Actions

Difference between revisions of "Fourier-algebra(2)"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (link)
Line 6: Line 6:
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008016.png" /></td> </tr></table>
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008016.png" /></td> </tr></table>
  
and the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008017.png" /> of these functions is an algebra under pointwise multiplication, which is isomorphic to the measure algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008018.png" /> (cf. also [[Algebra of measures|Algebra of measures]]). Restricted to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008019.png" />, viewed as a subspace of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008020.png" />, the Fourier–Stieltjes transform is the [[Fourier transform|Fourier transform]] on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008021.png" /> and its image is, by definition, the Fourier algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008022.png" />. The generalized Bochner theorem states that a [[Measurable function|measurable function]] on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008023.png" /> is equal, almost everywhere, to the Fourier–Stieltjes transform of a non-negative finite measure on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008024.png" /> if and only if it is positive definite. Thus, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008025.png" /> can be defined as the linear span of the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008026.png" /> of continuous positive-definite functions on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008027.png" />. This definition is still valid when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008028.png" /> is not Abelian.
+
and the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008017.png" /> of these functions is an algebra under [[pointwise multiplication]], which is isomorphic to the measure algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008018.png" /> (cf. also [[Algebra of measures|Algebra of measures]]). Restricted to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008019.png" />, viewed as a subspace of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008020.png" />, the Fourier–Stieltjes transform is the [[Fourier transform|Fourier transform]] on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008021.png" /> and its image is, by definition, the Fourier algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008022.png" />. The generalized Bochner theorem states that a [[Measurable function|measurable function]] on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008023.png" /> is equal, almost everywhere, to the Fourier–Stieltjes transform of a non-negative finite measure on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008024.png" /> if and only if it is positive definite. Thus, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008025.png" /> can be defined as the linear span of the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008026.png" /> of continuous positive-definite functions on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008027.png" />. This definition is still valid when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008028.png" /> is not Abelian.
  
 
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008029.png" /> be a locally compact group. The elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008030.png" /> are exactly the matrix elements of the unitary representations of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008031.png" />: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008032.png" /> if and only if there exist a [[Unitary representation|unitary representation]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008033.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008034.png" /> in a [[Hilbert space|Hilbert space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008035.png" /> and vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008036.png" /> such that
 
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008029.png" /> be a locally compact group. The elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008030.png" /> are exactly the matrix elements of the unitary representations of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008031.png" />: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008032.png" /> if and only if there exist a [[Unitary representation|unitary representation]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008033.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008034.png" /> in a [[Hilbert space|Hilbert space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008035.png" /> and vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120080/f12008036.png" /> such that

Revision as of 18:24, 1 December 2014

Fourier and related algebras occur naturally in the harmonic analysis of locally compact groups (cf. also Harmonic analysis, abstract). They play an important role in the duality theories of these groups.

Fourier–Stieltjes algebra.

The Fourier–Stieltjes algebra and the Fourier algebra of a locally compact group were introduced by P. Eymard in 1964 in [a2] as respective replacements, in the case when is not Abelian, of the measure algebra of finite measures on and of the convolution algebra of integrable functions on , where is the character group of the Abelian group (cf. also Character of a group). Indeed, if is a locally compact Abelian group, the Fourier–Stieltjes transform of a finite measure on is the function on defined by

and the space of these functions is an algebra under pointwise multiplication, which is isomorphic to the measure algebra (cf. also Algebra of measures). Restricted to , viewed as a subspace of , the Fourier–Stieltjes transform is the Fourier transform on and its image is, by definition, the Fourier algebra . The generalized Bochner theorem states that a measurable function on is equal, almost everywhere, to the Fourier–Stieltjes transform of a non-negative finite measure on if and only if it is positive definite. Thus, can be defined as the linear span of the set of continuous positive-definite functions on . This definition is still valid when is not Abelian.

Let be a locally compact group. The elements of are exactly the matrix elements of the unitary representations of : if and only if there exist a unitary representation of in a Hilbert space and vectors such that

The elements of are the matrix elements . Because of the existence of the tensor product of unitary representations, is an algebra under pointwise multiplication. The norm defined as , where the infimum runs over all the representations , makes it into a Banach algebra. The Fourier algebra can be defined as the norm closure of the set of elements of with compact support. It consists exactly of the matrix elements of the regular representation on ; equivalently, its elements are the functions of the form , where and . It is a closed ideal in .

The most visible role of and with respect to duality is that is the dual of the -algebra of the group and is the pre-dual of the von Neumann algebra of its regular representation. The pairing is given by , where and . The comparison with a similar result for and , namely is the dual of the Banach space of continuous functions on vanishing at infinity and is the pre-dual of , leads to the theory of Kac algebras and a generalized Pontryagin theorem (see below). Two complementary results suggest to view as a dual object of the group ; namely, Eymard's theorem states that the topological space underlying can be recovered as the spectrum of the Fourier algebra and Walter's theorem states that a locally compact group is determined, up to topological isomorphism, by the normed algebra , or by ; the second result should be compared with theorems of J.G. Wendel and of B.E. Johnson, which establish the same property for the normed algebras and , respectively; see [a5] for a survey of these results.

Multipliers.

The multipliers of the Fourier algebra reflect interesting properties of the group (cf. also Multiplier theory). First, the unit (i.e., the constant function ) belongs to if and only if the group is compact. Leptin's theorem (see [a3]) asserts that has a bounded approximate unit if and only if the group is amenable. A multiplier of the Fourier algebra is a function on such that the operator of multiplication by maps into itself. These multipliers form a Banach algebra under pointwise multiplication and the norm , denoted by . The transposed operator is a bounded linear mapping from into itself. One says that the multiplier is completely bounded if the mapping is completely bounded, meaning that is finite, where the supremum runs over all integers and is the identity operator from the -algebra of complex -matrices into itself. For example, the matrix elements of uniformly bounded representations of are such multipliers. The completely bounded multipliers form also a Banach algebra under pointwise multiplication and the norm , denoted by . There is an alternative description of completely bounded multipliers as Schur multipliers, initiated by M.G. Krein [a1] (cf. also Schur multiplicator) and related to the metric theory of Grothendieck's topological tensor products. Given a measure space , a measurable function on is called a Schur multiplier if pointwise, or Schur, multiplication of kernels by defines a bounded linear mapping from the space of bounded operators on into itself; its Schur norm is then . The Schur multipliers form a Banach algebra under pointwise multiplication. According to the Bożekjko–Fendler theorem, a continuous function on is a completely bounded multiplier of if and only if the function on defined by is a Schur multiplier; moreover, the Schur norm and the completely bounded norms are equal. The continuous right-invariant Schur multipliers on are called Herz–Schur multipliers; they form a subalgebra of , denoted by , which is isometrically isomorphic to . The following norm-decreasing inclusions hold:

When is amenable, these inclusions are equalities; on the other hand, according to Losert's theorem, if , then is amenable; the equality gives the same conclusion, at least when is discrete (M. Bożekjko and J. Wysoczanski). A locally compact group is called weakly amenable if there exists an approximate unit in which is bounded in the norm of . The Haagerup constant is defined as the infimum of these bounds over all -bounded approximate units. Free groups and, more generally simple Lie groups with finite centre and real rank one and their lattices, are weakly amenable and their Haagerup constants have been computed in [a4]. For example, for or and for (). Groups of real rank greater than one are not weakly amenable. See also [a4] for references to completely bounded multipliers.

-Fourier algebras.

An -version of the Fourier algebra has been developed for (see [a3] for a detailed account and references). Let be given by . The Herz–Figa–Talamanca algebra is the space of functions on of the form

where

with pointwise multiplication. It is the quotient of the projective tensor product with respect to the mapping defined by . Again, the amenability of is equivalent to the existence of a bounded approximate unit in . Just as above, one defines for a measure space the Schur multiplier algebra as the space of functions on such that the Schur multiplication sends the space of bounded operators on (or, equivalently, its pre-dual ) into itself, and the Herz–Schur multiplier algebra as the space of continuous functions on such that belongs to ; the product is pointwise multiplication. Since the mapping from onto intertwines and , a Herz–Schur multiplier is a multiplier of and the inclusion decreases the norm. It is an equality if is amenable. These algebras are also related to convolution operators. In particular, the dual of is the weak closure of in , where acts by left convolution. Banach algebra properties of the Fourier algebras and have been much studied; see [a3] for a bibliography up to 1984.

Kac algebras.

Fourier algebras are natural objects in the -algebraic theory of quantum groups and groupoids. In particular, Kac algebras (see [a5]) provide a symmetric framework for duality, which extends the classical Pontryagin duality theory for locally compact Abelian groups. Each Kac algebra has a dual Kac algebra and the dual of is isomorphic to . The Fourier algebra is the pre-dual of and the Fourier–Stieltjes algebra is the dual of the enveloping -algebra of . If is the Kac algebra of a locally compact group , then the dual Kac algebra is and the corresponding Fourier and Fourier–Stieltjes algebras are: , , and .

References

[a1] M. Krein, "Hermitian-positive kernels on homogeneous spaces I–II" Amer. Math. Soc. Transl. (2) , 34 (1963) pp. 69–164 Ukrain. Mat. Z. , 1–2 (1949/50) pp. 64–98; 10–59
[a2] P. Eymard, "L'algèbre de Fourier d'un groupe localement compact" Bull. Soc. Math. France , 92 (1964) pp. 181–236
[a3] J.-P. Pier, "Amenable locally compact groups" , Wiley–Interscience (1984)
[a4] M. Cowling, U. Haagerup, "Completely bounded multipliers of the Fourier algebra of a simple Lie groups of real rank one" Invent. Math. , 96 : 3 (1989) pp. 507–549
[a5] M. Enock, J.-M. Schwartz, "Kac algebras and duality of locally compact groups" , Springer (1992)
How to Cite This Entry:
Fourier-algebra(2). Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Fourier-algebra(2)&oldid=16441
This article was adapted from an original article by Jean Renault (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article