Abstract
Spectral analysis and synthesis studies translation invariant function spaces, so-called varieties over topological groups. The basic building blocks are the finite dimensional varieties. In the commutative case finite dimensional varieties are spanned by exponential polynomials. In non-commutative situations no relevant results exist. In this paper we consider finite dimensional left translation invariant linear spaces of continuous complex valued functions over the Heisenberg group. Using basic knowledge about Lie algebra we describe all left varieties of this type. In particular, it turns out that those function spaces are spanned by exponential polynomials as well.
Similar content being viewed by others
1 Introduction
Given a commutative topological group G a linear space of continuous complex valued functions on G is called a variety if it is closed with respect to uniform convergence on compact sets and with respect to translation. Varieties are the basic building blocks of spectral analysis and spectral synthesis. Spectral analysis for a variety means that each nonzero subvariety contains a finite dimensional nonzero subvariety, and spectral synthesis means that all finite dimensional subvarieties span a dense subspace in each subvariety. The basics of the theory can be found in [3]. In the non-commutative case, however, no general results are available. In this paper we consider a delicate non-commutative group: the Heisenberg group. We give a complete description of all finite dimensional left invariant closed linear spaces of continuous complex valued functions on this group in Theorem 6. In particular, in Theorem 8 we show that these function spaces are spanned by exponential polynomials. In Sects. 6 and 7 we describe the particular form of the generating functions of two and three dimensional varieties. It turns out that nontrivial varieties exist only if the dimension is at least three.
2 The Heisenberg group
The three dimensional Heisenberg group structure is defined on the set \(H={\mathbb {R}}\times {\mathbb {R}}\times {\mathbb {R}}\) by the following operation: for (x, y, t) and (u, v, s) in H we let
Then H is a group with identity (0, 0, 0) and the inverse of (x, y, t) is \((-x,-y, -t+xy)\). This group is obviously noncommutative, the commutator of (x, y, t) and (u, v, s) is
Using the Euclidean topology on \({\mathbb {R}}\times {\mathbb {R}}\times {\mathbb {R}}\) the Heisenberg group H is a locally compact topological group—in fact, it is a Lie group.
If we identify (x, y, t) with the matrix
then we set up an isomorphism between H and the subgroup of \(GL(\mathbb {R},3)\) consisting of all matrices of the given type. Indeed,
We shall denote the Lie group of these matrices with H as well. The Lie algebra of H can be identified with the algebra of matrices of the form
This Lie algebra will be denoted by \(\mathfrak {h}\). It is well-known, that the exponential map from \(\mathfrak {h}\) onto H is bijective.
The Lie algebra \(\mathfrak {h}\) of H has the basis
with the commutation relations
It follows that \(\big [[X,Y],Z\big ]=0\) for any three matrices X, Y, Z in \(\mathfrak {h}\). By the Campbell–Baker–Hausdorff formula (see e.g. [2, Proposition 1.3.2], p.25), it follows that for any matrices X, Y in \(\mathfrak {h}\) we have
and
3 Varieties
The space of all continuous complex valued functions on H will be denoted by \({\mathcal {C}}(H)\), and will be equipped with the topology of compact convergence. Its dual can be identified with the space \({\mathcal {M}}_c(H)\) of all compactly supported complex Borel measures on H. The space \({\mathcal {M}}_c(H)\) is equipped with the convolution:
whenever f is in \({\mathcal {C}}(H)\) and \(\mu ,\nu \) are in \({\mathcal {M}}_c(H)\). With this convolution—together with the linear operations—\({\mathcal {M}}_c(H)\) is an algebra. The space \({\mathcal {C}}(H)\) turns into a left module over \({\mathcal {M}}_c(H)\) under the action
corresponding to left translation on H. Closed submodules of this module will be called varieties.
Proposition 1
The closed subspace of \({\mathcal {C}}(H)\) is a variety if and only if it is closed under left translation.
Proof
Suppose that V is a variety in \({\mathcal {C}}(H)\), and f is in V, (u, v, s) is in H. If \(\delta _{u,v,s}\) denotes the point mass supported at the singleton (u, v, s), then we have
which is the left translate of f by (u, v, s). As V is a variety, the function \(\delta _{u,v,s}*f\) is in V, hence V is left translation invariant. The converse statement follows from the fact, that point masses span a weak*-dense subspace in \({\mathcal {M}}_c(H)\), hence if convolutions with point masses from the left leave V invariant, then the same holds for their finite linear combinations and their weak*-limits as well, which implies that V is a variety. \(\square \)
As an illustration we describe all one dimensional varieties in \({\mathcal {C}}(H)\). If V is one dimensional, then let f be a nonzero function in V. Then for each (u, v, s) in H there exists a complex number \(\lambda (u,v,s)\) such that
holds for each (x, y, t). Clearly, \(f(0,0,0)\ne 0\), hence we have that \(c\lambda = f\) for some nonzero complex number c. In particular, \(\lambda \) is continuous. It follows that
holds for each (x, y, t) and (u, v, s). Putting \(u=s=y=0\) we get
On the other hand, from (7) we infer with \(y=v=0\) that
which implies that
holds with some complex numbers \(\mu ,\xi \). Similarly, we obtain from (7) with \(x=u=t=s=0\) that
which implies that
holds with some complex number \(\nu \). Finally, we have
On the other hand, substitution into (7) yields
which implies \(e^{\xi u y}=1\) for each u, y in \({\mathbb {R}}\), that is \(\xi =0\). Finally, we arrive at \(\lambda (x,y,t)=e^{\mu x+\nu y}\). It is easy to check that indeed, such functions span one dimensional varieties in \({\mathcal {C}}(H)\) for any choice of complex numbers \(\mu ,\nu \), hence we have proved the following result:
Proposition 2
A variety in \({\mathcal {C}}(H)\) is one dimensional if and only if it is spanned by a function of the form \((x,y,t)\mapsto e^{\mu x+\nu y}\) with some complex numbers \(\mu ,\nu \).
4 Matrix functional equations
In this section we go on to the describe finite dimensional varieties with dimension greater than one. Clearly, finite sums of one dimensional varieties of the above type may result in higher dimensional varieties – we shall call them trivial. In other words, a variety is called trivial, if it consists of functions independent of the variable t. Trivial finite dimensional varieties can be described easily: they are spanned by finitely many functions of the form
where \(\mu , \nu \) are arbitrary complex numbers. Our main goal will be to describe all nontrivial finite dimensional varieties over the Heisenberg group H.
The problem of describing finite dimensional varieties over H is closely related to the study of finite dimensional representations of the Heisenberg group, that is, to the study of the matrix functional equation
where \(F:H\rightarrow M(\mathbb {C}^n)\) is a function, and \(M(\mathbb {C}^n)\) denotes the algebra of \(n\times n\) matrices with complex entries. We note that the functional Eq. (8) provides a method for creating finite dimensional varieties in \({\mathcal {C}}(H)\). Indeed, if \(F:H\rightarrow M(\mathbb {C},n)\) is a continuous solution of (8), and \(F(x,y,t)=\bigl (F_{i j}(x,y,t) \bigr )_{i,j=1,2,\dots ,n}\), then
holds for each \(i,j=1,2,\dots n\) and for every x, y, t, u, v, s in \(\mathbb {R}\), hence every left translate of the functions in the linear space V generated by the functions \(F_{i j}\) is in V, hence the functions \(F_{i j}\) for \(i,j=1,2,\dots ,n\) generate a finite dimensional variety. Later, in Theorem 6 we shall see that every finite dimensional variety arises in this way.
Proposition 3
If \(F:H\rightarrow M(\mathbb {C}^n)\) is a continuous solution of the functional Eq. (8) such that F(0, 0, 0) is invertible, then F(x, y, t) is invertible for each x, y, t in \(\mathbb {R}\), \(F(0,0,0)=I\), the identity matrix, and F is analytic.
Proof
We have, by (8)
and multiplying by the inverse of F(0, 0, 0) we have that \(F(0,0,0)=I\). Now (8) implies
hence each F(x, y, t) is invertible. Then the analiticity of F follows from the fact that F is a continuous Lie group homomorphism of H into the Lie group \(GL(\mathbb {C},n)\) (see e.g. [1], p. 50). \(\square \)
Given F with the above properties \(G=F(H)\) is a (linear) Lie group as well: we shall denote its Lie algebra by \(\mathfrak {g}\). The following theorem is well-known (see e.g. [2, Theorem 2.6.1], p.78.)
Theorem 4
The continuous homomorphism \(F:H\rightarrow G\) of the Lie group H onto the Lie group G induces a Lie algebra homomorphism \(\varphi :\mathfrak {h}\rightarrow \mathfrak {g}\) onto \(\mathfrak {g}\), which is given by the differential of F at the identity (0, 0, 0) of H, denoted by dF. Further we have
for each X in \(\mathfrak {h}\).
The following theorem describes all continuous solutions F of the functional Eq. (8) from H to \(M(\mathbb {C}^n)\) satisfying \(F(0,0,0)=I\).
Theorem 5
The continuous function \(F:H\rightarrow GL(\mathbb {C}^n)\) with invertible \(F(0,0,0)\) is a solution of the functional Eq. (8) if and only if there exist matrices X, Y in \(M(\mathbb {C}^n)\) such that in the Lie algebra generated by X, Y and [X, Y] the commutator [X, Y] is central, and for each x, y, t in \(\mathbb {R}\)
holds.
Proof
First we prove the necessity. Equation (8), together with the continuity of F and \(F(0,0,0)=I\) (see Proposition 3) implies that \(F:H\rightarrow G\) is a Lie group homomorphism. Via simple substitutions in (8) we have
for each x, y, t in \(\mathbb {R}\).
Now substituting \(y=v=t=s=0\) in (8) we get that \(x\mapsto F(x,0,0)\) is a one-parameter subgroup in the Lie group \(G=F(H)\). Similarly, by the substitutions \(x=u=t=s\), resp. \(x=y=u=v\) we obtain that \(y\mapsto F(0,y,0)\), resp. \(t\mapsto F(0,0,t)\) are one-parameter subgroups in G, as well. On the other hand, we have
hence \(F(x,0,0)=F(\exp Ax)=\exp \bigl (dF(A)x\bigr )\), by Theorem 4. Similarly, we have
for each x, y, t, where \(C=[A,B]\). Now if we take \(X=dF(A), Y=dF(B)\) we infer
as \(dF:\mathfrak {h}\rightarrow \mathfrak {g}\) is a Lie algebra homomorphism. In particular, X, Y satisfy the conditions of the theorem.
Now we have, by (5),
Using the fact that [X, Y] is central, we can write (13) in the desired form (11).
For the sufficiency we remark, that the assumption on X and Y implies
exactly as in (4). Then we can compute as follows, using repeatedly the previous identity:
and the proof is complete. \(\square \)
5 Finite dimensional varieties
Now we are in the position to describe all finite dimensional varieties over the Heisenberg group.
Theorem 6
Let n be a positive integer, and V be an n dimensional variety in \({\mathcal {C}}(H)\). Then there exist matrices X, Y in \(M(\mathbb {C}^n)\) satisfying the conditions of Theorem 5 such that the elements of the matrix function F given by (11) span V.
Proof
Let \(f_1,f_2,\dots ,f_n\) be a basis of V – then there exist continuous functions \(\alpha _{i j}:H\rightarrow \mathbb {C}\) \((i,j=1,2,\dots ,n)\) such that
holds for each (x, y, t) and (u, v, s) in H. Indeed, the left side is the left translate of \(f_i\) by (u, v, s), which belongs to V, by left invariance. Now we apply the associativity of the group operation in H to get
where the left hand side is
and the right hand side is
Using the linear independence of the functions \(f_j\) we infer from (15) and (16)
Let \(F:H\mapsto {\mathcal {M}}(\mathbb {C}^n)\) denote the matrix valued mapping such that the i, j entry \(F_{i j}(x,y,t)\) of F(x, y, t) is \(\alpha _{i j}(x,y,t)\), then we have from (17) with \(x=p, y=q, t=r\) the functional Eq. (8), and, by the definition of F, we have \(F(0,0,0)=I\). Hence \(F:H\rightarrow M(\mathbb {C}^n)\) is a continuous solution of the functional Eq. (8) with \(F(0,0,0)=I\). The functions \(f_1,f_2,\dots ,f_n\) in the i-th equation of the system (14) are linearly independent, hence there are elements \((x_k,y_k,t_k)\) in H such that the matrix \(\bigl (f_j(x_k,y_k,t_k\bigr )_{j,k=1}^n\) is regular. Substituting \(x_k,y_k,t_k\) in the i-th equation of the system (14) for x, y, t we have a system of linear equations for the unknowns \(\alpha _{i j}\) for \(j=1,2,\dots ,n\) with regular matrix. It follows, by Cramer’s Rule, that the elements of the matrix F are linear combinations of some left translates of the \(f_i\)’s, hence they are in V. This means that the matrix elements of F span V and the theorem is proved. \(\square \)
From this theorem we can see that a variety is trivial if and only if in the representation (11) we have \([X,Y]=0\), that is, if the matrices X, Y commute. In this case \(e^X\) and \(e^Y\) commute as well, and F can be written in the form
where X, Y are commuting matrices. They can be triangularized simultaneously, and from well-known results (see e.g. [3, Lemma 12.8.2] p. 181.) it follows that the elements of F(x, y, t) are exponential polynomials. On the other hand, in the case of nontrivial varieties [X, Y] is nonzero, hence \(e^X\) and \(e^Y\) cannot be triangularized simultaneously. Nevertheless, as we shall see below, even in those cases the solutions can be described using exponential polynomials.
6 Two dimensional varieties
As an application of our result we show how to describe two and three dimensional varieties in \({\mathcal {C}}(H)\). In this section we study the case \(n=2\), when the variety V in \({\mathcal {C}}(H)\) is two dimensional. We may assume that the matrix X in (11) has Jordan normal form. This means that X has one of the following forms:
where \(a_1,a_2\) are arbitrary complex numbers. If Y has the form
then in Case i) we have
hence the requirement \(\bigl [X,[X,Y]\bigr ]=0\) implies either \(a_1=a_2\), or \(b_{12}=b_{21}=0\). In both cases \([X,Y]=0\), hence V is trivial.
In Case ii) we have
hence \(\bigl [X,[X,Y]\bigr ]=0\) implies \(b_{21}=0\) and then
On the other hand, we have
hence \(\big [Y,[X,Y]\big ]=0\) implies \(b_{11}=b_{22}\), \([X,Y]=0\), consequently V is a trivial variety. It follows that there are no nontrivial varieties on H with dimension less then three.
7 Three dimensional varieties
Now we consider three dimensional varieties on H. Again, we assume that X in Theorem 5 has Jordan normal form, and
Case (i) In the first case we have three one dimensional Jordan blocks:
and
It is easy to see that \(\big [X,[X,Y]\big ]=0\) implies \([X,Y]= 0\), hence in this case there is no nontrivial variety.
Case (ii) In the second case we have two Jordan blocks—one is two dimensional, and the other is one dimensional:
Then \([X,Y]=\)
and \(\big [X,[X,Y]\big ]=\)
The condition \(\big [X,[X,Y]\big ]=0\) implies \(b_{21}=0\), and we have
and \(\big [X,[X,Y]\big ]=\)
Each entry of \(\big [X,[X,Y]\big ]\) must be zero. First we assume that \(a_1=a_3\), then we have
and \(\big [X,[X,Y]\big ]=0\), further \( \big [Y,[X,Y]\big ]= \)
If \(b_{23}\ne 0\), then \(b_{31}=0\), and
As \(b_{23}\ne 0\), we must have \(b_{22}=2b_{11}-b_{33}\), and \(b_{32}=-\frac{(b_{11}-b_{22})^2}{b_{23}}\). With this choice we have
and the corresponding variety is nontrivial. We note that with the simple choice \(a_1=b_{11}=b_{12}=b_{13}=b_{33}=0\) and \(b_{23}=1\) we have the generators of the Lie algebra \(\mathfrak {h}\) of the Heisenberg group H.
If \(b_{31}\ne 0\), then \(b_{23}=0\) and we must have \(b_{32}=2b_{22}-b_{11}\), further \(b_{13}=-\frac{(b_{11}-b_{22})^2}{b_{31}}\). With this choice we have
and again, the corresponding variety is nontrivial.
Now we consider the case when \(a_1\ne a_3\). In this case \(\big [X,[X,Y]\big ]=0\) implies that \(b_{13}=b_{21}=b_{23}=b_{31}=b_{32}=0\). We have
and \(\big [X,[X,Y]\big ]=0\). On the other hand,
hence the requirement \(\big [Y,[X,Y]\big ]=0\) implies \(b_{11}=b_{22}\), and \([X,Y]=0\), hence in this case there is no nontrivial variety.
Case (iii) Let
then
and
Now \(\big [X,[X,Y]\big ]=0\) implies \(b_{21}=b_{31}=b_{32}=0\), hence
and, again \(\big [X,[X,Y]\big ]=0\) implies \(b_{11}+b_{33}=2 b_{22}\). On the other hand, in this case we have
The requirement \(\big [Y,[X,Y]\big ]=0\) implies \(b_{11}=b_{22}\), and then also \(b_{33}=b_{22}\), and we conclude
hence the corresponding variety is nontrivial. It can be checked that this variety is spanned by the functions
8 Exponential polynomials
It is well-known that if G is a commutative group, then every finite dimensional variety in \({\mathcal {C}}(G)\) consists of exponential polynomials. In fact, exponential polynomials can be characterized by the property that they are exactly those functions which are included in some finite dimensional variety. On the real line complex exponential polynomials are the elements of the function algebra generated by the complex exponential functions and complex polynomials. In the non-commutative case the situation is not so simple. Nevertheless, we have seen above that trivial finite dimensional varieties consist of exponential polynomials, and even in the nontrivial cases in three dimensional varieties the matrix elements of the function F(x, y, t) are exponential polynomials. Now we will show that this is the case for every finite dimensional variety over the Heisenberg group. For this we shall use the following result.
Theorem 7
Every matrix in \(M(\mathbb {C}^n)\) is the sum of a semisimple and a nilpotent matrix, which commute.
We recall that a matrix is called semisimple, if it is diagonaziable, that is, similar to a diagonal matrix, and it is called nilpotent, if some power of it is zero. Clearly, being semisimple or nilpotent is similarity invariant. If the matrix A is the sum of \(A_s\) and \(A_n\) where \(A_s\) is semisimple and \(A_n\) is nilpotent, then \(A=A_s+A_n\) is called the Chevalley–Jordan decomposition of A.
Theorem 8
Every finite dimensional variety over the Heisenberg group consists of exponential polynomials.
Proof
Let V be an n-dimensional variety in \({\mathcal {C}}(H)\) and let \(F:H\mapsto GL(\mathbb {C},n)\) be of the form (11) so that the matrix elements of F span V. It is enough to show that the matrix elements of F are exponential polynomials. We have
for each x, y, t in \(\mathbb {R}\). Here the matrices X, Y satisfy the conditions of Theorem 6. Clearly, it is enough to show that the matrix elements of \(y\mapsto e^{Yy}\), the matrix elements of \(x\mapsto e^{Xx}\), and also the matrix elements of \(t\mapsto e^{[X,Y]t}\) are exponential polynomials. We show this for \(y\mapsto e^{Yy}\), the proof is similar in the other cases.
Let \(Y=Y_s+Y_n\) be the Chevalley–Jordan decomposition of Y, where \(Y_s\) is diagonizable and \(Y_n\) is nilpotent, moreover \(Y_s Y_n=Y_n Y_s\). Let P be an invertible matrix such that \(PY_sP^{-1}=D\) is diagonal, and we write \(N=P^{-1}Y_nP\). We have
In general, the matrix elements of Z are the linear combinations of the matrix elements of \(P^{-1}ZP\), hence it is enough to show that the matrix elements of \(e^{Dy}\) and the matrix elements of \(e^{Ny}\) are exponential polynomials.
If the diagonal elements of D are \(\nu _{ii}\) \((i=1,2,\dots ,n)\), then the matrix \(e^{Dy}\) is a diagonal matrix with diagonal elements \(e^{\nu _{ii}y}\) \((i=1,2,\dots ,n)\). As N is nilpotent, we have \(N^n=0\), and
that is, the matrix elements of \(e^{Ny}\) are polynomials of y of degree at most \(n-1\). It is clear, that the matrix elements of \(e^{Dy}\cdot e^{Ny}\) are linear combinations of the exponential functions \(e^{\nu _{ii}y}\) with polynomial coefficients of degree at most \(n-1\). The proof is complete. \(\square \)
Data Availibility Statement
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Freudenthal, H., de Vries, H.: Linear Lie groups, Pure and Applied Mathematics, vol. 35. Academic Press, New York (1969)
Rossmann, W.: Lie Groups, Oxford Graduate Texts in Mathematics, vol. 5. Oxford University Press, Oxford (2002)
Székelyhidi, L.: Harmonic and Spectral Analysis. World Scientific Publishing Co. Pte. Ltd., Hackensack (2014)
Acknowledgements
Research supported by OTKA Grant K-134191.
Funding
Open access funding provided by University of Debrecen.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Research supported by OTKA Grant K-134191.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Székelyhidi, L. Finite dimensional varieties over the Heisenberg group. Aequat. Math. 97, 377–390 (2023). https://doi.org/10.1007/s00010-022-00911-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00010-022-00911-4