Beurling-Fourier algebras on Lie groups and their spectra
Introduction
Let G be a locally compact group and its Fourier algebra as defined in [9]. We recall that is the predual of the von Neumann algebra generated by the left regular representation , and, moreover, is a dense subalgebra of . In a sense which is specified in the theory of locally compact quantum groups, the pair is the Pontryagin dual object to , where we purposely suppress mention of the Haar weights. In fact, if G is abelian, then where is the dual group. Hence we expect aspects of the theory of the convolution algebra , and related convolution algebras, to be reflected in the theory of .
Beurling algebras, for submultiplicative weights, satisfying for in G, are important variants of , in particular when G is abelian or is compactly generated. Recently, weighted versions of the Fourier algebra have been introduced and investigated by various subsets of the present authors [16], [29], [31] under the name of Beurling-Fourier algebras; see also [38]. These have proved to admit a rich theory. In [29] properties such as Arens regularity are studied. This is followed up by [16] where it is shown that Beurling-Fourier algebras can often be isomorphic to algebras of operators on Hilbert spaces, a property which stands in contrast to ([30, Prop. 3.1]). In [31], spectral theory and associated properties such as regularity are studied. The present article is really a continuation on the theme of the latter.
The first goal of the present note is to give a unified treatment to all known examples. In broad terms, we proceed as follows.
- (1)
We formulate a general definition of a weight W on the dual of G, which allows the definition of the Beurling-Fourier algebra which is commutative. See Section 3.2.
- (2)
construct examples of weights W on the dual of G.
- (3)
compute the spectrum of .
Beginning with the influential work of Wiener [47], spectral theory has proved to be an essential part of understanding a commutative Banach algebra. Of course, our modern understanding of spectral theory arises from the revolutionary work of Gelfand [15]. Eymard [9], Saitô [41] and Herz [21] have all given different proofs that the spectrum of is identifiable with G. In both [9], [21], spectral synthesis at points plays a key role in the determination of the spectrum.
Let us consider the case of G abelian. We let where is the multiplicative group of non-zero complex numbers. Then it is straightforward to see that the spectrum of is the set of ω-bounded characters, those χ in such that for all x in G (see [24, Section 2.8]). Notice for χ in , the range of any compact subgroup is in . Hence we expect interesting theory of the spectrum only for G with no compact subgroups, i.e. those groups for which is connected. Notice, in the case of connected Lie dual group, i.e. so , and we have is the complexification of . We note that especially in the case that or , and ω bounded away from 0, the set of Fourier transforms have been important in the study of spectral properties of commuting operators on Banach spaces and (systems of) operator equations through -functional calculus. Here the analytic structure and spectral synthesis in have been significant issues. See, for example, [33], [44].
When we consider the Beurling-Fourier algebras , we simultaneously lose any (a priori) notion of spectral synthesis of points and a straightforward notion of “generalized W-bounded character”. Hence this task of understanding the structure of the spectrum requires a novel approach. We require a means of allowing complexifications of (in the present paper) a connected Lie group G to act as operators on , affiliated with , in a manner that interacts nicely with W. Regrettably, there are no general means of doing so in the literature, so we are forced to devise one ourselves. Our approach entails a large amount of hard analysis, specific to examples. Our mix of unbounded operator theory, harmonic analysis, and Lie theory appears to be novel and hence an interesting contribution itself.
In [31], three of the present authors considered central weights on compact groups. Here the dual object is the set of equivalence classes of irreducible representations. They considered functions , , which satisfy the submultiplicativity condition for any such that , i.e. ρ is a subrepresentation of . They, then, let where the norm is given by a weighted sum of the trace norms of the matricial Fourier coefficients In the case that w is the constant function 1, this gives . In this case the subalgebra of finite linear combinations of matrix coefficients of elements of forms a dense subspace. McKennon [34] defined the abstract complexification of G as the set of non-zero multiplicative functionals , and a full analysis was done by Cartwright and McMullen [2]. For a connected compact Lie group, this is exactly the universal complexification due to Chevalley ([1, III.8]), and generally is a pro-Lie group which is an extension of the complexification of the connected component of the identity , by the totally disconnected quotient . Hence computing reduces to the task of determining which elements of lie naturally in the dual of . This task is interesting only on connected groups and can be easily reduced to connected Lie groups. See Section 5.1.1 for some sample computations in this context.
For the reason just mentioned and other considerations below, we restrict our analysis to certain connected Lie groups. The main theme of this paper is to extend the above scheme to the case of general connected possibly non-compact Lie groups. However, we immediately face an obstacle, namely the absence of the abstract Lie theory applicable for non-compact locally compact groups. There is one model of abstract Lie theory for locally compact groups suggested by McKennon ([35]). However, the authors were not able to find any direct connection between our Beurling-Fourier algebras and McKennon's model (see (2) of Remark 3.16 for more details) at the time of this writing. For this reason, we are forced to establish an “abstract Lie model” suitable for Beurling-Fourier algebras from scratch.
As a motivation for this “abstract Lie model” we consider the case of . Using Pontryagin duality we begin with a weight function (i.e. sub-multiplicative and Borel measurable) . We assume that w is bounded below (i.e. ) to ensure that . Here, is the dual group of . Then the Beurling-Fourier algebra can be identified with the Beurling algebra via the Fourier transform, , on the dual group . Even though we know we will keep the notation to emphasize the distinction of the two groups. As mentioned above, the spectrum is well-understood via the concept of w-bounded characters. However, we require a more subtle route starting with a dense subalgebra of , which plays an important role replacing for a compact group G. An element is determined by its restriction by the density of , and its transferred version is now a continuous multiplicative linear functional with respect to convolution product on . This is illustrated in the diagram below. Since ψ arises from a locally integrable function in , it is continuous on . Hence the Cauchy functional equation for distributions, which will be discussed in Section 6.1.2, shows that (up to normalization of the Lebesgue measure) Notice that the Paley-Wiener Theorem tells us that is an algebra of analytic functions, and hence solving the Cauchy functional equation amounts to saying that such point evaluations comprise . Returning to , we simply need to determine for which c in does . Notice that is the universal complexification .
In this paper, we aim to determine for a connected Lie group G by extending the above approach as follows.
- (Step 1)
Any dense subalgebra of gives an injective embedding We require to satisfy that through an appropriate “abstract Lie” theory. Hence, we require that any element in extends analytically to , so that we can identify a point and the point evaluation functional at x.
- (Step 2)
We check which points in give rise to a linear functional bounded in the -norm.
The technicality of choosing a dense subalgebra and the associated Cauchy type functional equation forces us not to attempt to establish a general theory applicable for any connected Lie group in this paper. Instead, we will focus on representative examples, namely among compact connected Lie groups, the Heisenberg group among simply connected nilpotent Lie groups and its reduced version , the Euclidean motion group acting on among solvable non-nilpotent Lie groups and its simply connected cover . These are groups which are known to have sufficiently many entire vectors.
In Section 2 we summarize some basic materials we need in this paper. In Section 2.1 we cover basics on unbounded operators, including Borel functional calculus for strongly commuting self-adjoint operators and a general treatment on an extension of ⁎-homomorphisms to certain unbounded operators. In Section 2.2 we provide materials about Lie groups, Lie algebras, and related operators, including complexification models of Lie groups and entire vectors of unitary representations. We include a short Section 2.3.2 on the choice of Fourier transforms since we use various versions of them.
In Section 3 we will provide a general definition of Beurling-Fourier algebras on locally compact groups, and the associated weights on their dual, which replaces the definition in [29]. We begin with motivation from the case of abelian groups in Section 3.1. In Section 3.2 we give a rigorous definition of weights on the dual of locally compact groups and define associated Beurling-Fourier algebras based on it. A more concrete interpretation of Beurling-Fourier algebras is given in the following two subsections 3.2.1 and 3.2.2. In Section 3.3 we introduce three fundamental ways of constructing weights, namely the central weights, the weights extended from subgroups, and the weights obtained from Laplacian on the group.
Starting from Section 4 we examine concrete examples, with the first being compact connected Lie groups, in particular , the special unitary group. We first provide details of weights on the dual of compact connected Lie groups in Section 5. We then determine the spectrum of Beurling-Fourier algebras in Section 5.1. The cases of central weights and the weights extended from subgroups are fundamentally different, so the corresponding approaches also differ.
In Section 6 we analyze the case of the Heisenberg group . The technical key observation here is that we borrow the “background” Euclidean structure of , namely for the choice of dense subalgebra , playing the role which does in compact theory. Then, we continue to the Cauchy functional equation for distributions on to provide a substitute for the Chevalley style of complexification model. In Section 7 we continue the case of the reduced Heisenberg group , which shares most of the technical details of the Heisenberg group case.
In Section 8 we focus on the case of the Euclidean motion group . The choice of the dense subalgebra becomes more involved, reflecting the structure of the representation theory using the polar form on . Moreover, the corresponding Cauchy functional equation is also more involved. In Section 9 we continue the case of the simply connected cover of , which shares most of the technicalities.
Up to this point, we mainly focused on the case of “exponentially growing” weights providing the spectrum of the corresponding Beurling-Fourier algebras strictly larger than the original group. In Section 10, however, we consider the case of “polynomially growing weights”. The main result is that polynomially growing weights do not change the spectrum of the Beurling-Fourier algebras. The proof also provides the regularity of the corresponding Beurling-Fourier algebras. We also provide some non-regular Beurling-Fourier algebras at the end of this section.
In the final section, we collect some questions remaining from our analysis.
Section snippets
Unbounded operators
We collect some of the basic materials on unbounded operators. Our main reference on this matter is the text of Schmüdgen, [42], in particular Chapters 4 and 5.
A linear map T defined on a subspace domT, which we call the domain of T, of a Hilbert space H into another Hilbert space K is called closed if the graph of T, , is closed in . We say that another linear map is an extension of T if and . In this case we write . We say that T is closable
A refined definition for Beurling-Fourier algebras
In [29] the authors suggested a model for a weight W on the dual of a locally compact group G. Regrettably, the suggested set of axioms in [29] was slightly misleading and had limitations in covering variety of examples beyond the ones already covered there, namely the case of “central weights” on compact groups (extending the case of [31]) and the Heisenberg group. Here, we introduce a refined definition of weights and the associated Beurling-Fourier algebras extending the previous definitions
More on representations of compact connected Lie groups
In this section we recall some representation theory of compact connected Lie groups starting with the highest weight theory from [46] and [31, Section 5]. We consider the decomposition , where is the center of and . Let be a maximal abelian subalgebra of and . Then there are fundamental weights with and such that any is in one-to-one correspondence with its associated highest weight with and
Weights on the dual of compact connected Lie group G
In this section, we present three types of weights on the dual of a compact connected Lie group G: central weights, weights extended from subgroups, and weights derived from the Laplacian. Note first that a weight W on the dual of G can be understood as a collection of matrices with the dense subspace in Section 3.2.2. We begin with central weights.
Example 5.1 For we have dimension weights given by The sub-multiplicativity comes from the fact
The Heisenberg group
The Heisenberg group is with the group law being the matrix multiplication or equivalently Here, we use the notation instead of in order to keep the semi-direct product structure of . The Haar measure of is given by , where dx, dy, and dz denote the Lebesgue measure on .
For any , we have an irreducible unitary representation given by Now the
The reduced Heisenberg group
The reduced Heisenberg group is with the group law The order of variables is again from the semi-direct product structure of . Using Mackey machinery, we can completely describe the unitary dual of as follows: where for every , the irreducible unitary representation is defined on the Hilbert space , whereas is a one-dimensional representation for every . The precise
The Euclidean motion group on
The Euclidean motion group on is with the group law by the matrix multiplication or equivalently where and refers to the transposed column vector. Here, we use the notations .
The unitary dual of can be described as follows. For any we define an irreducible unitary representation acting on by
The simply connected cover of the Euclidean motion group
The simply connected cover of the Euclidean motion group on is with the group law where and we use the notation .
The representation theory of can be described as follows. For any and we consider the Hilbert space with the inner product where refers to the space of locally
The spectrum under polynomial weights and regularity of Beurling-Fourier algebras
In this section we will demonstrate that a “polynomially growing” weight W does not change the spectrum, i.e. Spec and prove regularity of the associated algebra . Recall that a subalgebra of for a locally compact Hausdorff space Σ is called regular on Σ if for each proper, closed subset E of Σ and each there exists with and on E. A commutative Banach algebra is regular if its algebra of Gelfand transforms is regular on . When the weight is
Questions
In this final section we collect relevant questions that we were not able to answer at the time of this writing.
References (47)
- et al.
On reduction theory and Brown measure for closed unbounded operators
J. Funct. Anal.
(2016) Representations of differential operators on a Lie group
J. Funct. Anal.
(1975)- et al.
Beurling-Fourier algebras, operator amenability and Arens regularity
J. Funct. Anal.
(2012) - et al.
Similarity degree of Fourier algebras
J. Funct. Anal.
(2016) - et al.
Beurling-Fourier algebras on compact groups: spectral theory
J. Funct. Anal.
(2012) - et al.
Representations of Compact Lie Groups
(1985) - et al.
A generalised complexification for compact groups
J. Reine Angew. Math.
(1982) - et al.
Representations of Nilpotent Lie Groups and Their Applications. Part I. Basic Theory and Examples
(1990) Harmonic analysis based on certain commutative Banach algebras
Acta Math.
(1956)- et al.
Distributions. Theory and Applications
(2010)
Weighted function algebras on groups and semigroups
Bull. Aust. Math. Soc.
Operator Spaces
L'algèbre de Fourier d'un groupe localement compact
Bull. Soc. Math. Fr.
Analysis on Lie Groups. An Introduction
A Course in Abstract Harmonic Analysis
Abstract Harmonic Analysis of Continuous Wavelet Transforms
Harmonic Analysis on Exponential Solvable Lie Groups
Representation Theory. A First Course
Normierte Ringe
Mat. Sb. N.S.
Some Beurling-Fourier algebras on compact groups are operator algebras
Trans. Am. Math. Soc.
Introduction to the Theory of Linear Nonselfadjoint Operators
Complex Fourier analysis on a nilpotent Lie group
Trans. Am. Math. Soc.
Analytic and entire vectors for representations of Lie groups
Trans. Am. Math. Soc.
Cited by (2)
- 1
M. Ghandehari was partially supported by University of Delaware Research Foundation, and partially by NSF grant DMS-1902301, while this work was being completed.
- 2
H.H. Lee was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) Grant NRF-2017R1E1A1A03070510 and the National Research Foundation of Korea (NRF) Grant funded by the Korean Government (MSIT) (Grant No. 2017R1A5A1015626).
- 3
N. Spronk was partially supported by NSERC grant 312515-2020.
- 4
L. Turowska was partially supported by “Stiftelsen G S Magnussons Fond” and the Department of Mathematical Sciences, Chalmers University of Technology through a guest research program.