Abstract
Let \(\Delta \) be a closed, cocompact subgroup of \(G \times \widehat{G}\), where G is a second countable, locally compact abelian group. Using localization of Hilbert \(C^*\)-modules, we show that the Heisenberg module \(\mathcal {E}_{\Delta }(G)\) over the twisted group \(C^*\)-algebra \(C^*(\Delta ,c)\) due to Rieffel can be continuously and densely embedded into the Hilbert space \(L^2(G)\). This allows us to characterize a finite set of generators for \(\mathcal {E}_{\Delta }(G)\) as exactly the generators of multi-window (continuous) Gabor frames over \(\Delta \), a result which was previously known only for a dense subspace of \(\mathcal {E}_{\Delta }(G)\). We show that \(\mathcal {E}_{\Delta }(G)\) as a function space satisfies two properties that make it eligible for time-frequency analysis: Its elements satisfy the fundamental identity of Gabor analysis if \(\Delta \) is a lattice, and their associated frame operators corresponding to \(\Delta \) are bounded.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Gabor analysis concerns sets of time-frequency shifts of functions. The field has its roots in a paper by the electrical engineer and physicist Dennis Gabor [14]. In this paper, the author made the claim that one could obtain basis-like representations of functions in \(L^2(\mathbb {R})\) in terms of the set \(\{ e^{2\pi i lx} \phi (x- k) : k,l \in \mathbb {Z}\}\), where \(\phi \) denotes a Gaussian. Today, one of the central problems of the field remains understanding the spanning and basis-like properties of sets of the form \(\{ e^{2\pi i \beta l x} \eta (x - \alpha k) : k,l \in \mathbb {Z}\}\) for a given \(\eta \in L^2(\mathbb {R})\) and \(\alpha ,\beta > 0\).
Although Gabor analysis is usually carried out for functions of one or several real variables, the nature of time-frequency shifts makes it possible to generalize many aspects of the theory to the setting of a locally compact abelian group G [15]. In this setting, elements of G represent time, while elements of the Pontryagin dual \({\widehat{G}}\) represent frequency. If \(\eta \in L^2(G)\), then a time-frequency shift of \(\eta \) is a function of the form \(\pi (x,\omega )\eta (t) = \omega (t) \eta (t-x)\) for \(t,x \in G\) and \(\omega \in {\widehat{G}}\). A Gabor system with generator \(\eta \) will in general be any collection of time-frequency shifts of \(\eta \). In this paper, we will allow continuous Gabor systems over any closed subgroup \(\Delta \) of the time-frequency plane \(G \times \widehat{G}\), which will be of the form \(( \pi (z) \eta )_{z \in \Delta }\). We say that such a system forms a Gabor frame if it is a continuous frame for \(L^2(G)\), which means that there exist \(C,D > 0\) such that
for every \(\xi \in L^2(G)\). Here, we integrate with respect to a fixed Haar measure on \(\Delta \). More generally, if \(\eta _1, \ldots , \eta _k \in L^2(G)\), one calls \(( \pi (z) \eta _j)_{z \in \Delta , 1 \le j \le k}\) a multi-window Gabor frame if there exist \(C,D > 0\) such that
for all \(\xi \in L^2(G)\). If \(\Delta \) is a discrete subgroup of \(G \times \widehat{G}\), one recovers the usual notion of a (discrete) regular Gabor frame. Here, regular means that the discrete subset \(\Delta \) of \(G \times \widehat{G}\) has the structure of a subgroup. A basic fact of Gabor frame theory is that \((\pi (z) \eta )_{z \in \Delta }\) is a Gabor frame if and only if the associated frame operator \(S_{\eta } :L^2(G) \rightarrow L^2(G)\) is invertible. The operator is given weakly by
for \(\xi \in L^2(G)\).
In [18, 25, 26], Luef and later Jakobsen and Luef discovered that the duality theory of regular Gabor frames is closely related to a class of imprimitivity bimodules constructed by Rieffel [33]. These imprimitivity bimodules are known as Heisenberg modules. In general, a Hilbert \(C^*\)-module over a \(C^*\)-algebra A can be thought of as a generalized Hilbert space where the field of scalars \(\mathbb {C}\) is replaced with A, and where the inner product takes values in A rather than \(\mathbb {C}\). Hilbert \(C^*\)-modules were introduced by Kaplansky in [21], and have since become essential in many parts of operator algebras and noncommutative geometry [6]. An imprimitivity A-B-bimodule is both a left Hilbert \(C^*\)-module over A and a right Hilbert \(C^*\)-module over B, with compatibility conditions on the left and right structures. If there exists an imprimitivity A-B-bimodule, then the \(C^*\)-algebras A and B are called Morita equivalent, a notion first described by Rieffel in [31, 32]. Morita equivalent \(C^*\)-algebras share many important properties, such as representation theory and ideal structure.
For a closed subgroup \(\Delta \) of \(G \times \widehat{G}\), the Heisenberg module \(\mathcal {E}_{\Delta }(G)\) can be constructed as a norm completion of the Feichtinger algebra \(S_0(G)\) [25]. The latter is an important space of functions in time-frequency analysis [10]. The Heisenberg module implements the Morita equivalence between the twisted group \(C^*\)-algebras \(C^*(\Delta ,c)\) and \(C^*(\Delta ^{\circ },{\overline{c}})\). Here, \(\Delta ^{\circ }\) denotes the adjoint subgroup of \(\Delta \), which consists of all points \(w \in G \times \widehat{G}\) for which \(\pi (w)\) commutes with \(\pi (z)\) for every \(z \in \Delta \). Readers familiar with Gabor analysis know that the adjoint subgroup plays a central role in results such as the fundamental identity of Gabor analysis, and this result can indeed be inferred directly from the structure of the Heisenberg modules. An important class of examples comes from when \(G = \mathbb {R}^n\) and \(\Delta \) is a lattice in \(G \times \widehat{G} \cong \mathbb {R}^{2n}\), in which case the twisted group \(C^*\)-algebras \(C^*(\Delta ,c)\) and \(C^*(\Delta ^{\circ },{\overline{c}})\) are both noncommutative 2n-tori. Indeed, these examples were the original motivation for the construction of Heisenberg modules in [33]. However, the construction has also been applied in other contexts, such as in the construction of finitely generated projective modules over noncommutative solenoids [9, 23, 24].
For a general left Hilbert \(C^*\)-module \(\mathcal {E}\) over a \(C^*\)-algebra A, one defines rank-one operators in analogy with the Hilbert space case. Specifically, if \(\eta ,\gamma \in \mathcal {E}\), the rank-one operator \(\Theta _{\eta ,\gamma } :\mathcal {E}\rightarrow \mathcal {E}\) is given by
for \(\xi \in \mathcal {E}\). Here, \({_\bullet \!}\langle \cdot ,\cdot \rangle \) denotes the A-valued inner product on \(\mathcal {E}\). A central observation in [25] is that for \(\eta \in S_0(G)\), the rank-one operator \(\Theta _{\eta ,\eta }\) associated to the Heisenberg module \(\mathcal {E}_{\Delta }(G)\) agrees with the Gabor frame operator \(S_{\eta }\) on a dense subspace of \(\mathcal {E}_{\Delta }(G)\), namely the Feichtinger algebra \(S_0(G)\). This observation has an important consequence: It allows a finite generating set of the Heisenberg module coming from the dense subspace \(S_0(G)\) to be characterized exactly as the generators of a multi-window Gabor frame over \(\Delta \) [18, p. 14]. Moreover, such a finite generating set exists (that is, \(\mathcal {E}_{\Delta }(G)\) is finitely generated) if and only if \(\Delta \) is cocompact in \(G \times \widehat{G}\) [18, Theorem 3.9]. However, since \(\mathcal {E}_{\Delta }(G)\) is an abstract completion of \(S_0(G)\), its elements can a priori not be interpreted as functions in any sense. Therefore, it is not straightforward to obtain a similar characterization for generators of \(\mathcal {E}_{\Delta }(G)\) not necessarily in \(S_0(G)\).
Nonetheless, it was recently remarked in [3] that \(\mathcal {E}_{\Delta }(G)\) can be continuously embedded into \(L^2(G)\). In the present paper, we elaborate on this embedding, and show how it arises naturally from the notion of localization of Hilbert \(C^*\)-modules as discussed in [22]. The important extra structure on the Heisenberg module when localizing is a faithful trace on the \(C^*\)-algebra \(C^*(\Delta ,c)\). In the case that \(\Delta \) is a lattice in \(G \times \widehat{G}\), we use the canonical tracial state on \(C^*(\Delta ,c)\) (see e.g. [4, p. 951]). If \(\Delta \) is only cocompact, we have to work a bit more, see Proposition 3.1. It was already observed in [25] that this trace plays an important role when connecting Heisenberg modules and Gabor frames. However, the consequence that the trace makes it possible to embed \(\mathcal {E}_{\Delta }(G)\) continuously into \(L^2(G)\) was first observed in [3].
Furthermore, in the language of localization, the rank-one operator \(\Theta _{\eta ,\eta }\) for \(\eta \in \mathcal {E}_{\Delta }(G)\) extends uniquely to a bounded linear operator on \(L^2(G)\), and we show in this paper that the extension is exactly the Gabor frame operator \(S_{\eta }\) (Theorem 3.15). As a consequence, we generalize the equivalence between generators of Heisenberg modules and generators of multi-window Gabor frames to the case when the generators belong to \(\mathcal {E}_{\Delta }(G)\) (Theorem 3.16). We summarize some of our main results in the following.
Theorem A
(cf. Proposition 3.12, Theorem 3.15, Theorem 3.16) Let G be a second countable, locally compact abelian group, and let \(\Delta \) be a closed, cocompact subgroup of \(G \times \widehat{G}\). Denote by \(B_{\Delta }(G)\) the subspace of \(L^2(G)\) consisting of those \(\eta \in L^2(G)\) for which \(( \pi (z) \eta )_{z \in \Delta }\) is a Bessel family for \(L^2(G)\), that is,
for every \(\xi \in L^2(G)\). This is a Banach space with respect to the norm
The following hold:
- (i)
The Heisenberg module \(\mathcal {E}_{\Delta }(G)\) has a concrete description as the completion of \(S_0(G)\) in the Banach space \(B_{\Delta }(G)\). The actions are given in Proposition 3.12.
- (ii)
For \(\eta \in \mathcal {E}_{\Delta }(G)\), the Heisenberg module rank-one operator \(\Theta _{\eta } :\mathcal {E}_{\Delta }(G) \rightarrow \mathcal {E}_{\Delta }(G)\) extends to the Gabor frame operator \(S_{\eta } :L^2(G) \rightarrow L^2(G)\).
- (iii)
Let \(\eta _1, \ldots , \eta _k \in \mathcal {E}_{\Delta }(G)\). Then \(\{ \eta _1, \ldots , \eta _k \}\) is a generating set for \(\mathcal {E}_{\Delta }(G)\) as a left \(C^*(\Delta ,c)\)-module if and only if \(( \pi (z) \eta _j)_{z \in \Delta , 1 \le j \le k}\) is a multi-window Gabor frame for \(L^2(G)\).
Part (iii) of Theorem A gives a complete description of finite generating sets of the Heisenberg modules due to Rieffel, showing that they are the generators of a multi-window Gabor frame. Conversely, multi-window Gabor frames over \(\Delta \) with generators in \(\mathcal {E}_{\Delta }(G)\) give rise to finite generating sets for \(\mathcal {E}_{\Delta }(G)\).
Note also that part (i) of Theorem A implies that \(( \pi (z) \eta )_{z \in \Delta }\) is a Bessel family for \(L^2(G)\) whenever \(\eta \in \mathcal {E}_{\Delta }(G)\). Consequently, the Gabor analysis operator \(C_\eta :L^2 (G) \rightarrow L^2 (\Delta )\), synthesis operator \(D_\eta :L^2 (\Delta ) \rightarrow L^2 (G)\), and frame operator \(S_\eta :L^2 (G) \rightarrow L^2 (G)\) associated to \(\eta \) over \(\Delta \) are all bounded linear operators. This is an attractive property of \(\mathcal {E}_{\Delta }(G)\) as a function space in time-frequency analysis, at least when focusing on the subgroup \(\Delta \). We also show that elements of the Heisenberg module satisfy the fundamental identity of Gabor analysis over the subgroup \(\Delta \) when it is a lattice (Proposition 3.18).
We also comment on the assumption in Theorem A that \(\Delta \) is cocompact. This is necessary for our localization techniques to work, see Proposition 3.1. However, as shown in [17, Theorem 5.1], the existence of a multi-window Gabor frame over \(\Delta \) implies that the quotient \((G \times \widehat{G})/\Delta \) is compact, i.e. \(\Delta \) is a cocompact subgroup of \(G \times \widehat{G}\). The assumption is therefore mild.
The paper is structured as follows: In Sect. 2, we cover the necessary background material on frames in Hilbert \(C^*\)-modules, continuous Gabor frames and Heisenberg modules. In Sect. 3, we introduce the notion of the localization of a Hilbert \(C^*\)-module with respect to a (possibly unbounded) trace on the coefficient algebra, and compute the localization of the Heisenberg module. We then give applications to Gabor analysis.
2 Preliminaries
2.1 Frames in Hilbert \(\varvec{C^*}\)-Modules
In the interest of brevity, we will assume basic knowledge about \(C^*\)-algebras, Hilbert \(C^*\)-modules, imprimitivity bimodules and adjointable operators between such modules. We mention [22, 30] as references. Instead, we dedicate this section to introduce module frames.
The A-valued inner product of a left Hilbert A-module will in general be denoted by \({_\bullet \!}\langle \cdot ,\cdot \rangle \), while the A-valued inner product of a right Hilbert A-module will be denoted by \(\langle \cdot ,\cdot \rangle \!{_\bullet }\). We often refer to A as the coefficient algebra of \(\mathcal {E}\). If \(\mathcal {E}\) and \(\mathcal {F}\) are left Hilbert A-modules, we use \(\mathcal {L}_A(\mathcal {E}, \mathcal {F})\) to denote the Banach space of adjointable operators \(\mathcal {E}\rightarrow \mathcal {F}\), or just \(\mathcal {L}(\mathcal {E},\mathcal {F})\) when there is no chance of confusion. As is standard, we write \(\mathcal {L}(\mathcal {E}) = \mathcal {L}_A (\mathcal {E})\) for the \(C^*\)-algebra \(\mathcal {L}_A (\mathcal {E},\mathcal {E})\), and \(\mathcal {K}(E) = \mathcal {K}_A(E)\) for the (generalized) compact operators on \(\mathcal {E}\).
For an (at most) countable index set J, we denote by \(\ell ^2(J,A)\) the left Hilbert A-module of all sequences \((a_j)_{j \in J}\) in A for which the sum \(\sum _{j \in J} a_ja_j^*\) converges in A, with A-valued inner product
There is an analogous way to make \(\ell ^2(J,A)\) into a right Hilbert A-module, by replacing \(a_j b_j^*\) with \(a_j^* b_j\) in the definition. We will work with left modules throughout this section, but obvious modifications can be made for the case of right modules as well.
We now define module frames in Hilbert A-modules, introduced in [13] in the case where A is unital. For a treatment of the possibly non-unital case, see [2].
Definition 2.1
Let A be a \(C^*\)-algebra and \(\mathcal {E}\) be a left Hilbert A-module. Furthermore, let J be some countable index set and let \(( \eta _j )_{j\in J}\) be a sequence in \(\mathcal {E}\). We say \(( \eta _j )_{j\in J}\) is a module frame for\(\mathcal {E}\) if there exist constants \(C,D > 0\) such that
for all \(\xi \in \mathcal {E}\), and the middle sum converges in norm. The constants C and D are called lower and upper frame bounds, respectively.
Remark 2.2
If \(A = \mathbb {C}\) in the above definition then \(\mathcal {E}\) is a Hilbert space, and we recover the definition of frames in Hilbert spaces due to Duffin and Schaeffer [8].
Remark 2.3
We will never treat frames over different index sets simultaneously, so to ease notation we will sometimes leave the index set implied.
Let \(( \eta _j )_{j \in J}\) be a sequence in \(\mathcal {E}\) that satisfies the upper frame bound condition in Definition 2.1 but not necessarily the lower frame bound condition. Such a sequence is called a Bessel sequence and every constant \(D>0\) for which (1) is true is called a Bessel bound for \(( \eta _j )_{j \in J}\). To a Bessel sequence \(( \eta _j)_{j \in J}\) we associate the module analysis operator\(\Phi = \Phi _{(\eta _j)_j} :\mathcal {E}\rightarrow \ell ^2(J,A)\) given by
for \(\xi \in \mathcal {E}\). It is an adjointable A-linear operator, and its adjoint \(\Psi = \Psi _{(\eta _j)_j}\) is known as the module synthesis operator, and is given by
for \((a_j)_j \in \ell ^2(J,A)\). Now let \( ( \gamma _j )_{j\in J}\) be another Bessel sequence. We then define the module frame-like operator\(\Theta \in \mathcal {L}_A (\mathcal {E})\) by \(\Theta = \Theta _{( \eta _j )_j , ( \gamma _j )_j} := \Psi _{( \gamma _j )_j} \Phi _{( \eta _j )_j}\). That is, for all \(\xi \in \mathcal {E}\) we have
In case \(( \eta _j )_j = ( \gamma _j )_j\) we write \(\Theta _{( \eta _j )_j} := \Theta _{( \eta _j )_j, ( \eta _j )_j}\) and call it the module frame operator (associated to \(( \eta _j )_j\)). Since \(\Theta _{( \eta _j )_j} = \Phi _{( \eta _j )_j}^*\Phi _{( \eta _j )_j}\), we see that \(\Theta _{( \eta _j )_j}\) is always a positive operator.
A special case of the above situation is when we consider a sequence \(( \eta )\) consisting of a single element \(\eta \in \mathcal {E}\), i.e. \(|J| = 1\). It follows by the Cauchy-Schwarz inequality for Hilbert \(C^*\)-modules that such a sequence is automatically a Bessel sequence. We write \(\Phi _{\eta } = \Phi _{(\eta )}\), \(\Psi _{\eta } = \Psi _{(\eta )}\), \(\Theta _{\eta ,\gamma } = \Theta _{(\eta ),(\gamma )}\) for another sequence \((\gamma )\) where \(\gamma \in \mathcal {E}\), and \(\Theta _{\eta } = \Theta _{(\eta )}\). Note that in this case, \(\Phi _{\eta } \in \mathcal {L}_A(\mathcal {E},A)\), \(\Psi _{\eta } \in \mathcal {L}_A(A,\mathcal {E})\) and \(\Theta _{\eta ,\gamma } \in \mathcal {L}_A(\mathcal {E},\mathcal {E})\) are given by
for \(\xi \in \mathcal {E}\), \(a \in A\). Also, for a finite Bessel sequence \((\eta _1, \ldots , \eta _k)\), we have that \(\Phi _{(\eta _j)_{j=1}^k} = \sum _{j=1}^k \Phi _{\eta _j}\), and similar equalities for the synthesis and frame-like operators. The operator \(\Theta _{\eta ,\gamma }\) is often called a rank-one operator, and we have the following proposition, which is immediate by [30, Lemma 2.30, Proposition 3.8].
Proposition 2.4
Let \(\eta \) be an element of a full left Hilbert A-module \(\mathcal {E}\). Then
More generally, if \(\mathcal {E}\) is an imprimitivity A-B-bimodule, then
for every \(\xi ,\eta \in \mathcal {E}\). Hence, the norm of \(\mathcal {E}\) as a left Hilbert A-module coincides with the norm of \(\mathcal {E}\) as a right Hilbert B-module.
The frame property of a Bessel sequence \((\eta _j)_{j \in J}\) can be characterized in terms of the invertibility of the associated frame operator \(\Theta _{(\eta _j)_j}\). For a proof, see [2, Theorem 1.2].
Proposition 2.5
Let \(( \eta _j )_{j \in J}\) be a Bessel sequence in \(\mathcal {E}\). Then the frame operator \(\Theta _{( \eta _j )_j}\) associated to \( ( \eta _j)_j\) is invertible if and only if \(( \eta _j )_j\) is a module frame for \(\mathcal {E}\).
The following proposition shows that finite module frames are nothing more than (algebraic) generating sets, and conversely.
Proposition 2.6
Let \(\mathcal {E}\) be a left Hilbert A-module, and let \(\eta _1, \ldots , \eta _k \in \mathcal {E}\). Then \((\eta _1, \ldots , \eta _k)\) is a module frame for \(\mathcal {E}\) if and only if it is a generating set for \(\mathcal {E}\), i.e. for every \(\xi \in \mathcal {E}\) there exist coefficients \(a_1, \ldots , a_k \in A\) such that
Proof
Let \(\Theta \) be the module frame operator corresponding to \((\eta _j)_j\). If \((\eta _j)_j\) is a frame for \(\mathcal {E}\), then by [2, Theorem 1.2] one has the expansion \(\xi = \sum _{j=1}^k {_\bullet \!}\langle \xi ,\Theta ^{-1}\eta _j\rangle \cdot \eta _j\) for every \(\xi \in \mathcal {E}\). This shows that \((\eta _j)_j\) is a generating set for \(\mathcal {E}\).
We now prove the converse. Denote by \(\Phi : \mathcal {E}\rightarrow A^k\) the map \(\Phi \xi = ({_\bullet \!}\langle \xi ,\eta _j\rangle )_{j=1}^k\). This is an adjointable A-module map, with \(\Phi ^* (a_j)_{j=1}^k = \sum _{j=1}^k a_j \eta _j\). By assumption \(\Phi ^*\) is a surjection. [22, Theorem 3.2] then gives that the image of \(\Phi \) is a complementable submodule of \(A^k\). The usual Hilbert space argument then gives that \(\Phi ^* \Phi : \mathcal {E}\rightarrow \mathcal {E}\) is invertible, and it follows from Proposition 2.5 that \((\eta _1, \ldots , \eta _k)\) is a module frame for \(\mathcal {E}\). \(\square \)
2.2 Gabor Analysis on Locally Compact Abelian Groups
For the rest of the paper (unless stated otherwise), G will denote a second countable, locally compact abelian group with group operation written additively and with identity \(0 \in G\), and \(\Delta \) will denote a closed subgroup of the time-frequency plane \(G \times \widehat{G}\). We fix a Haar measure on G and equip \({\widehat{G}}\) with the dual measure [12, Theorem 4.21]. Furthermore, we pick a Haar measure on \(\Delta \), and let \((G \times \widehat{G})/\Delta \) have the unique measure such that Weil’s formula holds [17, equation (2.4)]. We can then associate to \(\Delta \) the quantity \(s(\Delta ) = \mu ((G \times \widehat{G})/\Delta )\), known as the size of\(\Delta \) [17, p. 235]. Here \(\mu \) denotes the chosen Haar measure. The size of \(\Delta \) is finite precisely when \((G \times \widehat{G})/\Delta \) is compact, that is, \(\Delta \) is cocompact in \(G \times \widehat{G}\).
Given \(x \in G\) and \(\omega \in {\widehat{G}}\), we define the translation operator \(T_x\) and modulation operator \(M_{\omega }\) on \(L^2(G)\) by
for \(\xi \in L^2(G)\) and \(t \in G\). The translation and modulation operators are unitary linear operators on \(L^2(G)\). Moreover, a time-frequency shift is an operator of the form \(\pi (x,\omega ) = M_{\omega }T_x\) for \(x \in G\) and \(\omega \in {\widehat{G}}\).
The adjoint subgroup of \(\Delta \), denoted by \(\Delta ^{\circ }\), is the closed subgroup of \(G \times \widehat{G}\) given by
We use the identification of \(\Delta ^{\circ }\) with \(((G \times \widehat{G})/\Delta )^{\widehat{}}\) in [17, p. 234] to pick the dual measure on \(\Delta ^{\circ }\) corresponding to the measure on \((G \times \widehat{G})/\Delta \) induced from the chosen measure on \(\Delta \). If \(\Delta \) is cocompact in \(G \times \widehat{G}\), then \(\Delta ^{\circ }\) is discrete, and the induced measure on \(\Delta ^{\circ }\) will be the counting measure scaled by the constant \(s(\Delta )^{-1}\) [18, equation (13)].
We consider the two following important examples:
Example 2.7
Suppose \(\Delta \) is a lattice in \(G \times \widehat{G}\), namely a discrete, cocompact subgroup of \(G \times \widehat{G}\). Then \(\Delta ^{\circ }\) is also a lattice in \(G \times \widehat{G}\) [33, Lemma 3.1]. In this situation, we will usually equip \(\Delta \) with the counting measure. The size of \(\Delta \) is then the measure of any fundamental domain for \(\Delta \) in \(G \times \widehat{G}\) [17, Remark 1]. Since \(\Delta \) in particular is cocompact, the measure on \(\Delta ^{\circ }\) will not be the counting measure in general, but rather the counting measure scaled by \(s(\Delta )^{-1}\).
Example 2.8
Let \(\Delta = G \times \widehat{G}\). \(\Delta \) is then cocompact in \(G \times \widehat{G}\), since \((G \times \widehat{G})/\Delta \) is trivial. The natural choice of measure on \(\Delta \) in this situation is the product measure coming from the chosen measure on G and the dual measure on \({\widehat{G}}\). The induced measure on \(\Delta ^{\circ } = \{ 0 \}\) is then the normalized measure assigning the value 1 to \(\{0 \}\).
2.3 Gabor Frames
We will need a continuous version of Gabor frames, and so we cannot treat our Gabor frames as a special case of Definition 2.1. However, note the similarities between the definitions and results given here and in Sect. 2.1.
Given \(\eta \in L^2(G)\), the family \(\mathcal {G}(\eta ;\Delta ) = ( \pi (z) \eta )_{z \in \Delta }\) is called a Gabor system over \(\Delta \) with generator \(\eta \). More generally, given \(\eta _1, \ldots , \eta _k \in L^2(G)\), the family \(\mathcal {G}(\eta _1, \ldots , \eta _k ; \Delta ) = (\pi (z) \eta _j)_{z \in \Delta , 1 \le j \le k}\) is called a multi-window Gabor system over \(\Delta \) with generators \(\eta _1, \ldots , \eta _k\).
The multi-window Gabor system \(\mathcal {G}(\eta _1, \ldots , \eta _k ; \Delta )\) is called a multi-window Gabor frame if it is a (continuous) frame [1, 17, 20] for \(L^2(G)\) in the sense that both of the following hold:
- (i)
The family \(\mathcal {G}(\eta _1, \ldots , \eta _k; \Delta )\) is weakly measurable, that is, for every \(\xi \in L^2(G)\) and each \(1 \le j \le k\), the map \(z \mapsto \langle \xi , \pi (z) \eta _j \rangle \) is measurable.
- (ii)
There exist positive constants \(C,D > 0\) such that for all \(\xi \in L^2(G)\) we have that
$$\begin{aligned} C \Vert \xi \Vert _2^2 \le \sum _{j=1}^k \int _{\Delta } | \langle \xi , \pi (z) \eta _j \rangle |^2 \, \mathrm{d}z \le D \Vert \xi \Vert _2^2 . \end{aligned}$$(5)
The numbers C and D are called lower and upper frame bounds respectively. We may also refer to the upper frame bound as a Bessel bound in analogy with Sect. 2. If the family \(\mathcal {G}(\eta _1,\ldots , \eta _k;\Delta )\) is weakly measurable and has an upper frame bound but not necessarily a lower frame bound, we call it a Bessel family. A (single-window) Gabor system which is a frame is called a Gabor frame.
The analysis operator associated to a Bessel family \(( \pi (z) \eta )_{z \in \Delta }\) is the bounded linear operator \(C_{\eta } :L^2(G) \rightarrow L^2(\Delta )\) given by
for \(\xi \in L^2(G)\). Its adjoint \(D_{\eta } :L^2(\Delta ) \rightarrow L^2(G)\) is called the synthesis operator and is given weakly by
for \((c_z)_{z \in \Delta } \in L^2(\Delta )\). The frame-like operator associated to two Bessel families \(\mathcal {G}(\eta ;\Delta )\) and \(\mathcal {G}(\gamma ;\Delta )\) is the operator \(S_{\eta ,\gamma } = D_{\gamma }C_{\eta }\) which is given weakly by
for \(\xi \in L^2(G)\). In particular, the frame operator associated to the Bessel family \(\mathcal {G}(\eta ;\Delta )\) is the operator \(S_{\eta } := S_{\eta ,\eta }\). This is a positive operator.
If \(\mathcal {G}(\eta _1, \ldots , \eta _k ; \Delta )\) is a multi-window Gabor Bessel family, then its analysis, synthesis and frame operators are given respectively by \(C= \sum _{j=1}^k C_{\eta _j}\), \(D= \sum _{j=1}^k D_{\eta _j}\) and \(S= \sum _{j=1}^k S_{\eta _j}\).
Note how the following proposition is analogous to Proposition 2.5. The result is well-known in frame theory.
Proposition 2.9
Let \(\eta _1, \ldots , \eta _k \in L^2(G)\) be such that \(\mathcal {G}(\eta _1, \ldots , \eta _k ; \Delta )\) is a Bessel family for \(L^2(G)\). Then \(\mathcal {G}(\eta _1, \ldots , \eta _k ; \Delta )\) is a multi-window Gabor frame if and only if the associated frame operator \(S = \sum _{j=1}^k S_{\eta _j}\) is invertible on \(L^2(G)\).
The Feichtinger algebra\(S_0(G)\) is the set of \(\xi \in L^2(G)\) for which
See [16] for a comprehensive introduction to \(S_0(G)\). For us, the Feichtinger algebra will play a key role in the construction of Heisenberg modules as in [25], see Proposition 2.12. Note that in the original paper [33], the Schwartz-Bruhat space \(\mathcal {S}(G)\) was used instead. The Schwartz-Bruhat space has a more technical definition. Although it will not be important to us, we mention that the Feichtinger algebra has a natural Banach space structure [10, Theorem 1].
Proposition 2.10
The following properties hold for the Feichtinger algebra:
- (i)
If \(\eta \in S_0(G)\), then \(\mathcal {G}(\eta ;\Delta )\) is a Bessel family for \(L^2(G)\).
- (ii)
If G is discrete, then \(S_0(G) = \ell ^1(G)\).
For a proof of these results, see [17, Corollary A.5] and [16, Lemma 4.11].
2.4 Twisted Group \(\varvec{C^*}\)-Algebras and Heisenberg Modules
For the moment, let \(\Delta \) be a general second countable, locally compact abelian group. A (normalized) continuous 2-cocycle on \(\Delta \) is a continuous map \(c :\Delta \times \Delta \rightarrow \mathbb {T}\) that satisfies the following two identities:
- (i)
For every \(z_1,z_2,z_3 \in \Delta \) we have that
$$\begin{aligned} c(z_1,z_2)c(z_1+z_2,z_3) = c(z_1,z_2+z_3)c(z_2,z_3). \end{aligned}$$(10) - (ii)
If 0 denotes the identity element of \(\Delta \), then
$$\begin{aligned} c(0,0) = 1. \end{aligned}$$(11)
Note that if c is a continuous 2-cocycle, then its pointwise complex conjugate \({\overline{c}}\) is a continuous 2-cocycle as well.
Given a continuous 2-cocycle c on \(\Delta \), one can equip the Feichtinger algebra \(S_0(\Delta )\) with a multiplication and involution as follows: For \(a,b \in S_0(\Delta )\) and \(z \in \Delta \), one defines
The \(C^*\)-enveloping algebra of \(S_0(\Delta ,c)\) is called the c-twisted group\(C^*\)-algebra of\(\Delta \) and is denoted by \(C^*(\Delta ,c)\). Note that this definition is equivalent to the usual definition of \(C^*(\Delta ,c)\) as the \(C^*\)-enveloping algebra of \(L^1(\Delta ,c)\), as \(S_0(\Delta ,c)\) is dense in \(L^1(\Delta ,c)\) and the \(L^1\)-norm dominates the universal \(C^*\)-norm on \(L^1(\Delta ,c)\).
Let H be a Hilbert space, and denote by \(\mathcal {U}(H)\) the unitary operators on H. A map \(\pi :\Delta \rightarrow \mathcal {U}(H)\) is called a c-projective unitary representation of\(\Delta \)onH if the following two properties hold:
- (i)
\(\pi \) is strongly continuous, i.e. for every \(\xi \in H\), the map \(\Delta \rightarrow H\), \(z \mapsto \pi (z) \xi \) is continuous.
- (ii)
For every \(z,w \in \Delta \), we have that
$$\begin{aligned} \pi (z)\pi (w) = c(z,w) \pi (z+w) . \end{aligned}$$(14)
The twisted group \(C^*\)-algebra \(C^*(\Delta ,c)\) captures the c-projective unitary representation theory of \(\Delta \) in the following sense: For every c-projective unitary representation \(\pi :\Delta \rightarrow \mathcal {U}(H)\) on a Hilbert space H, there is a nondegenerate \(*\)-representation \({\overline{\pi }} :C^*(\Delta ,c) \rightarrow \mathcal {L}(H)\) which for \(a \in L^1(\Delta ,c)\) is given weakly by
The above representation is called the integrated representation of \(\pi \). Conversely, if \(\Pi : C^*(\Delta ,c) \rightarrow \mathcal {L}(H)\) is any nondegenerate \(*\)-representation of \(C^*(\Delta ,c)\) on H, then there exists a unique c-projective unitary representation \(\pi :\Delta \rightarrow \mathcal {U}(H)\) such that \({\overline{\pi }} = \Pi \). This correspondence can be seen as a consequence of e.g. [28, Proposition 2.7].
Note also that if \(\pi \) is a c-projective unitary representation, then \(\pi ^*\) defined by \(\pi ^*(z) = \pi (z)^*\) is \({\overline{c}}\)-projective. This follows from taking the adjoint of both sides of (14) (it is essential that we are working with abelian groups in this situation).
When \(\Delta \) is discrete, we have by Proposition 2.10 (ii) that \(S_0(\Delta ,c) \cong \ell ^1(\Delta ,c)\). If we equip \(\Delta \) with the counting measure, there is a canonical tracial state on \(C^*(\Delta ,c)\) [4, p. 951]. On the dense \(*\)-subalgebra \(\ell ^1(\Delta ,c)\), it is given by
for \(a \in \ell ^1(\Delta ,c)\).
We now return to the situation where G is a second countable, locally compact abelian group, and \(\Delta \) is a closed subgroup of \(G \times \widehat{G}\). The map \(c :\Delta \times \Delta \rightarrow \mathbb {T}\) given by
for \((x,\omega ),(y,\tau ) \in \Delta \) is a continuous 2-cocycle on \(\Delta \) called the Heisenberg 2-cocycle [33, p. 263]. Moreover, the time-frequency shifts \(\pi (x,\omega ) = M_{\omega } T_x\) define a c-projective unitary representation of \(G \times {\widehat{G}}\) on \(L^2(G)\), and so we have that
This representation is often called the Heisenberg representation. Restricting to the closed subgroup \(\Delta \) of \(G \times \widehat{G}\), we obtain a c-projective unitary representation of \(\Delta \) on \(L^2(G)\). We denote the restriction by \(\pi _{\Delta }\). This representation then induces a \(*\)-representation of \(C^*(\Delta ,c)\) on \(L^2(G)\), which we also (by slight abuse of notation) denote by \(\pi _\Delta \). We have the following result, see [33, Proposition 2.2].
Proposition 2.11
The integrated representation \(\pi _{\Delta } :C^*(\Delta ,c) \rightarrow \mathcal {L}(L^2(G))\) is faithful, i.e. \(\pi _{\Delta }(a) = 0\) implies \(a=0\) for all \(a \in C^*(\Delta ,c)\).
In the following proposition, we give the definition of Heisenberg modules. For a proof, see the proof of [18, Theorem 3.4] or Rieffel’s arguments from [33] which are similar.
Proposition 2.12
Let G be a locally compact abelian group, and let \(\Delta \) be a closed subgroup of \(G \times \widehat{G}\), both with chosen Haar measures. Equip \(\Delta ^{\circ }\) with the Haar measure determined as in Sect. 2.2. The Heisenberg module\(\mathcal {E}_{\Delta }(G)\) is an imprimitivity \(C^*(\Delta ,c)\)-\(C^*(\Delta ^{\circ },{\overline{c}})\)-module obtained as a completion of the Feichtinger algebra \(S_0(G)\). The actions and inner products are given densely as follows:
- (i)
If \(a \in S_0(\Delta ,c)\), \(b \in S_0(\Delta ^{\circ }, {\overline{c}})\) and \(\xi \in S_0(G)\), then \(a \cdot \xi , \xi \cdot b \in S_0(G)\), with
$$\begin{aligned} a \cdot \xi = \int _{\Delta } a(z) \pi (z) \xi \, \mathrm{d}z,&\xi \cdot b = \int _{\Delta ^{\circ }} b(w) \pi (w)^* \xi \mathrm{d}w . \end{aligned}$$(18) - (ii)
If \(\xi ,\eta \in S_0(G)\), then \({_\bullet \!}\langle \xi ,\eta \rangle \in S_0(\Delta ,c)\) and \(\langle \xi ,\eta \rangle \!{_\bullet } \in S_0(\Delta ^{\circ },{\overline{c}})\), with
$$\begin{aligned} {_\bullet \!}\langle \xi ,\eta \rangle (z) = \langle \xi , \pi (z) \eta \rangle ,&\langle \xi ,\eta \rangle \!{_\bullet }(w) = \langle \pi (w) \eta ,\xi \rangle \end{aligned}$$(19)for \(z \in \Delta \) and \(w \in \Delta ^{\circ }\).
We can rewrite the left and right actions of Proposition 2.12 as follows: Since \({\pi :G \times {\widehat{G}} \rightarrow \mathcal {U}(L^2(G))} \) is a c-projective unitary representation, it follows that \(\pi ^*\) is \({\overline{c}}\)-projective. We restrict \(\pi \) and \(\pi ^*\) to \(\Delta \) and \(\Delta ^{\circ }\) respectively and obtain the representations \(\pi _{\Delta }\) and \(\pi ^*_{\Delta ^{\circ }}\). Passing to the integrated representations, we obtain \(*\)-representations of \(C^*(\Delta ,c)\) and \(C^*(\Delta ^{\circ },{\overline{c}})\) which we also denote by \(\pi _{\Delta }\) and \(\pi _{\Delta ^{\circ }}^*\) respectively. We can then write the left and right module actions given in (18) as
for \(\xi \in S_0(G)\), \(a \in S_0(\Delta ,c)\) and \(b \in S_0(\Delta ^{\circ },{\overline{c}})\).
3 Results
3.1 Localization of Hilbert \(\varvec{C^*}\)-Modules
We will use localization of Hilbert \(C^*\)-modules with respect to positive linear functionals as defined in [22, p. 7]. Localization is a technique reminiscent of the GNS construction. It uses a positive linear functional on the coefficient algebra of a Hilbert \(C^*\)-module to embed the module continuously into a Hilbert space. The authors are not aware of many uses of localization in the literature, but an example is found in [19]. We will focus exclusively on the case of faithful traces, but we will need a version for (possibly) unbounded traces, which we develop after reviewing the case of finite faithful traces.
Let \({{\,\mathrm{tr}\,}}: A \rightarrow \mathbb {C}\) denote a finite trace on A, i.e. a positive linear functional on A that satisfies \({{\,\mathrm{tr}\,}}(a^*a) = {{\,\mathrm{tr}\,}}(aa^*)\) for all \(a \in A\). Assume also that \({{\,\mathrm{tr}\,}}\) is faithful, that is, \({{\,\mathrm{tr}\,}}(a^*a) = 0\) implies \(a=0\) for all \(a \in A\). If \(\mathcal {E}\) is a left Hilbert A-module, it is easily verified that
for \(\xi ,\eta \in \mathcal {E}\) defines a (\(\mathbb {C}\)-valued) inner product on \(\mathcal {E}\), and we denote the Hilbert space completion of \(\mathcal {E}\) in the norm \(\Vert \cdot \Vert _{H_{\mathcal {E}}}\) coming from \(\langle \cdot , \cdot \rangle _{{{\,\mathrm{tr}\,}}}\) by \(H_{\mathcal {E}}\). For \(\xi \in \mathcal {E}\), the chain of inequalities
shows that the embedding \(\mathcal {E}\hookrightarrow H_{\mathcal {E}}\) is continuous. Moreover, if \({{\,\mathrm{tr}\,}}\) is a state, that is, \(\Vert {{\,\mathrm{tr}\,}}\Vert =1\), then the embedding is norm-decreasing. The Hilbert space \(H_{\mathcal {E}}\) is called the localization of \(\mathcal {E}\) with respect to \({{\,\mathrm{tr}\,}}\).
If \(\mathcal {E}\) and \(\mathcal {F}\) are left Hilbert A-modules, we obtain localizations \(H_{\mathcal {E}}\) and \(H_{\mathcal {F}}\) with respect to \({{\,\mathrm{tr}\,}}\). Let \(T :\mathcal {E}\rightarrow \mathcal {F}\) be an adjointable linear operator. Then in particular, T is a bounded linear operator when viewing the Hilbert \(C^*\)-modules as Banach spaces, and we denote its norm by \(\Vert T \Vert \). For all \(\xi \in \mathcal {E}\) we have that \({_\bullet \!}\langle T\xi ,T\xi \rangle \le \Vert T \Vert ^2 {_\bullet \!}\langle \xi ,\xi \rangle \) [30, Corollary 2.22]. Applying \({{\,\mathrm{tr}\,}}\) on both sides, we obtain
which shows that T extends to a bounded linear operator of Hilbert spaces \({\overline{T}} :H_{\mathcal {E}} \rightarrow H_{\mathcal {F}}\). If \(\Vert {\overline{T}} \Vert _h\) denotes the norm of \({\overline{T}}\) as a Hilbert space operator, then (22) also shows that \(\Vert {\overline{T}} \Vert _h \le \Vert T \Vert \). Hence we have a norm-decreasing (hence continuous) inclusion of Banach spaces \(\mathcal {L}(\mathcal {E}, \mathcal {F}) \longrightarrow \mathcal {L}(H_{\mathcal {E}}, H_{\mathcal {F}})\). If \(\mathcal {E}= \mathcal {F}\), then more is true: We obtain an injective \(*\)-homomorphism of \(C^*\)-algebras [22, p. 58] \(\mathcal {L}(\mathcal {E}) \longrightarrow \mathcal {L}(H_{\mathcal {E}})\). Since injective \(*\)-homomorphisms of \(C^*\)-algebras are necessarily isometries [27, Theorem 3.1.5], we deduce that \(\mathcal {L}(\mathcal {E}) \rightarrow \mathcal {L}(H_{\mathcal {E}})\) is an isometry. Hence in this case we have
for all \(T \in \mathcal {L}(\mathcal {E})\).
We can define the localization of a right Hilbert A-module \(\mathcal {E}\) at a faithful trace \({{\,\mathrm{tr}\,}}\) similarly, except in this situation we have to set the inner product to be \(\langle \xi , \eta \rangle _{{{\,\mathrm{tr}\,}}} = {{\,\mathrm{tr}\,}}( \langle \eta ,\xi \rangle \!{_\bullet })\) for \(\xi ,\eta \in \mathcal {E}\) to get linearity in the first argument instead of the second. Just as with left modules, we obtain a Hilbert space \(H_{\mathcal {E}}\) together with an injective bounded linear map \(\mathcal {E}\hookrightarrow H_{\mathcal {E}}\).
In the following, we develop a version of localization with respect to a possibly unbounded trace that works for our purposes. Denote by \(A_+\) the positive elements of the \(C^*\)-algebra A. By a weight on A, we will mean a function \(\phi : A_+ \rightarrow [0,\infty ]\) that satisfies \(\phi (a+b) = \phi (a)+\phi (b)\) for all \(a,b \in A_+\), \(\phi (\lambda a) = \lambda \phi (a)\) for all \(a \in A_+\) and \(\lambda > 0\), and \(\phi (0) = 0\). The weight \(\phi \) is lower semi-continuous if whenever \((a_\alpha )_{\alpha }\) is a net in \(A_+\) converging to a, then \(\phi (a) \le \liminf _{\alpha } \phi (a_\alpha )\). A weight \(\phi \) on A is a trace if \(\phi (a^*a) = \phi (aa^*)\) for all \(a \in A\), and is faithful if \(\phi (a) = 0\) implies \(a=0\) for every \(a \in A_+\).
For a weight \(\phi \) on A, let \(A_+^{\phi } = \{ a \in A_+ : \phi (a) < \infty \}\). The weight \(\phi \) is called densely defined if \(A_+^{\phi }\) is dense in \(A_+\) (in the norm topology). Moreover, let \(A^{\phi } = {{\,\mathrm{span}\,}}A_{+}^{\phi }\). By [29, Lemma 5.1.2], \(\phi \) has a unique extension to a positive linear functional on \(A^{\phi }\), and \(\phi \) is densely defined if and only if \(A^{\phi }\) is dense in A. A weight \(\phi \) on A is called finite if \(A_+^{\phi } = A_+\). In that case, \(\phi \) extends uniquely to a positive linear functional on \(A^{\phi } = {{\,\mathrm{span}\,}}A_+^{\phi } = {{\,\mathrm{span}\,}}A_+ = A\), and so we obtain a positive linear functional on the whole of A. Conversely, any positive linear functional on A restricts to a finite weight on \(A_+\). If A is a unital \(C^*\)-algebra, then \(\phi \) is finite if and only if \(1 \in A_+^{\phi }\) if and only if \(\phi \) is densely defined.
Now let \(\mathcal {E}\) be a left Hilbert A-module, and \({{\,\mathrm{tr}\,}}\) a (possibly unbounded) trace on A. There are two problems with localizing \(\mathcal {E}\) with respect to A: The first one is that \({{\,\mathrm{tr}\,}}({_\bullet \!}\langle \xi ,\eta \rangle )\) might not be finite for \(\xi ,\eta \in \mathcal {E}\), which means that we do not get a well-defined inner product by setting \(\langle \xi , \eta \rangle = {{\,\mathrm{tr}\,}}({_\bullet \!}\langle \xi ,\eta \rangle )\). The other problem is that we might not get a continuous embedding \(\mathcal {E}\rightarrow H_{\mathcal {E}}\) even if the inner product is well-defined. However, the following set-up is sufficient for our purposes, and solves the aforementioned problems. The essential ingredient in the proof is a result due to Combes and Zettl [5].
Proposition 3.1
Let A and B be \(C^*\)-algebras, and suppose \({{\,\mathrm{tr}\,}}_B\) is a faithful finite trace on B. Then the following hold:
- (i)
If \(\mathcal {E}\) is an imprimitivity A-B-bimodule, then there exists a unique lower semi-continuous trace \({{\,\mathrm{tr}\,}}_A\) such that
$$\begin{aligned} {{\,\mathrm{tr}\,}}_A({_\bullet \!}\langle \xi ,\xi \rangle ) = {{\,\mathrm{tr}\,}}_B(\langle \xi ,\xi \rangle \!{_\bullet }) \end{aligned}$$(24)for all \(\xi \in \mathcal {E}\). Moreover, \({{\,\mathrm{tr}\,}}_A\) is faithful and densely defined, with \({{\,\mathrm{span}\,}}\{ {_\bullet \!}\langle \xi ,\eta \rangle : \xi ,\eta \in \mathcal {E}\} \subseteq A^{{{\,\mathrm{tr}\,}}_A}\), and setting
$$\begin{aligned} \langle \xi , \eta \rangle _{{{\,\mathrm{tr}\,}}_A} = {{\,\mathrm{tr}\,}}_A({_\bullet \!}\langle \xi ,\eta \rangle ) \end{aligned}$$(25)for \(\xi ,\eta \in \mathcal {E}\) defines an inner product on \(\mathcal {E}\), with \(\langle \xi , \eta \rangle _{{{\,\mathrm{tr}\,}}_A} = \langle \xi , \eta \rangle _{{{\,\mathrm{tr}\,}}_B}\) for all \(\xi ,\eta \in \mathcal {E}\). Consequently, the Hilbert space obtained by completing \(\mathcal {E}\) in the norm \(\Vert \xi \Vert ' = {{\,\mathrm{tr}\,}}_A({_\bullet \!}\langle \xi ,\xi \rangle )^{1/2}\) is just the localization of \(\mathcal {E}\) with respect to \({{\,\mathrm{tr}\,}}_B\).
- (ii)
If \(\mathcal {E}\) and \(\mathcal {F}\) are imprimitivity A-B-bimodules, then every adjointable A-linear operator \(\mathcal {E}\rightarrow \mathcal {F}\) has a unique extension to a bounded linear operator \(H_{\mathcal {E}} \rightarrow H_{\mathcal {F}}\). Furthermore, the map \(\mathcal {L}_A(\mathcal {E},\mathcal {F}) \rightarrow \mathcal {L}(H_{\mathcal {E}},H_{\mathcal {F}})\) given by sending T to its unique extension is a norm-decreasing linear map of Banach spaces. Finally, if \(\mathcal {E}= \mathcal {F}\), the map \(\mathcal {L}_A(\mathcal {E}) \rightarrow \mathcal {L}(H_{\mathcal {E}})\) is an isometric \(*\)-homomorphism of \(C^*\)-algebras.
Proof
Suppose \(\mathcal {E}\) is an imprimitivity A-B-bimodule. By [5, Proposition 2.2], there is a unique lower semi-continuous trace \({{\,\mathrm{tr}\,}}_A\) on A such that the relation in equation (24) holds for all \(\xi \in \mathcal {E}\). Since \({{\,\mathrm{tr}\,}}_B\) is finite, it is densely defined, and so \({{\,\mathrm{tr}\,}}_A\) is densely defined by the same proposition. The same goes for faithfulness. Since \({{\,\mathrm{tr}\,}}_A({_\bullet \!}\langle \xi ,\xi \rangle ) = {{\,\mathrm{tr}\,}}_B(\langle \xi ,\xi \rangle \!{_\bullet }) < \infty \), we have that \({{\,\mathrm{span}\,}}\{ {_\bullet \!}\langle \xi ,\xi \rangle : \xi \in \mathcal {E}\} \subseteq {{\,\mathrm{span}\,}}A_+^{{{\,\mathrm{tr}\,}}_A} = A^{{{\,\mathrm{tr}\,}}_A}\). By the polarization identity for Hilbert \(C^*\)-modules, elements of the form \({_\bullet \!}\langle \xi ,\eta \rangle \) are in \({{\,\mathrm{span}\,}}\{ {_\bullet \!}\langle \xi ,\xi \rangle : \xi \in \mathcal {E}\}\), and so the unique extension of \({{\,\mathrm{tr}\,}}_A\) to a positive linear functional on \(A^{{{\,\mathrm{tr}\,}}_A}\) is defined on all elements of the form \({_\bullet \!}\langle \xi ,\eta \rangle \) with \(\xi ,\eta \in \mathcal {E}\). Thus, in this situation the inner product proposed in (25) is well-defined. Again by the polarization identity, the relation in (24) implies that \({{\,\mathrm{tr}\,}}_A({_\bullet \!}\langle \xi ,\eta \rangle ) = {{\,\mathrm{tr}\,}}_B(\langle \eta ,\xi \rangle \!{_\bullet })\) for all \(\xi , \eta \in \mathcal {E}\), and so \(\langle \xi , \eta \rangle _{{{\,\mathrm{tr}\,}}_A} = \langle \xi , \eta \rangle _{{{\,\mathrm{tr}\,}}_B}\).
If \(T \in \mathcal {L}(\mathcal {E},\mathcal {F})\), then we have that \({_\bullet \!}\langle T\xi ,T\xi \rangle \le \Vert T \Vert {_\bullet \!}\langle \xi ,\xi \rangle \) for every \(\xi \in \mathcal {E}\). Taking the trace \({{\,\mathrm{tr}\,}}_A\), we obtain that \(\Vert T \xi \Vert _{H_{\mathcal {E}}} \le \Vert T \Vert \Vert \xi \Vert _{H_{\mathcal {F}}}\), just as in the discussion of localization with respect to finite traces. This shows that T extends to a bounded linear map \(H_{\mathcal {E}} \rightarrow H_{\mathcal {F}}\), and that the inclusion \(\mathcal {L}(\mathcal {E},\mathcal {F}) \rightarrow \mathcal {L}(H_{\mathcal {E}},H_{\mathcal {F}})\) is norm-decreasing. In particular, if \(\mathcal {E}=\mathcal {F}\), it becomes an isometric \(*\)-homomorphism of \(C^*\)-algebras. \(\square \)
We will refer to the localization of \(\mathcal {E}\) with respect to \({{\,\mathrm{tr}\,}}_B\) in Proposition 3.1 above also as the localization of \(\mathcal {E}\) with respect to \({{\,\mathrm{tr}\,}}_A\).
Remark 3.2
If both A and B are unital in Proposition 3.1, then \({{\,\mathrm{tr}\,}}_A\), being a densely defined trace on a unital \(C^*\)-algebra, has to be finite. In that case, we can localize \(\mathcal {E}\) as a left A-module with respect to \({{\,\mathrm{tr}\,}}_A\) in the usual fashion, and then Proposition 3.1 tells us that the localization is exactly the same as when done with respect to \({{\,\mathrm{tr}\,}}_B\).
3.2 Localization of the Twisted Group \(\varvec{C^*}\)-Algebra
The following proposition shows that for a discrete group \(\Delta \) with a 2-cocycle c, the localization of \(C^*(\Delta ,c)\) as a left Hilbert module over itself with respect to the canonical trace can be identified in a natural way with \(\ell ^2(\Delta )\).
Proposition 3.3
Let \(\Delta \) be a discrete group equipped with the counting measure and a 2-cocycle c. Denote by H the localization of \(C^*(\Delta ,c)\) as a left module over itself with respect to its canonical faithful tracial state. Then H can be identified with \(\ell ^2(\Delta )\) in such a way that the following diagram of inclusions commutes:
Moreover, the inclusion map \(C^*(\Delta ,c) \rightarrow \ell ^2(\Delta )\) is norm-decreasing, that is, for all \(a \in C^*(\Delta ,c)\) we have that
Proof
We have that \(C^*(\Delta ,c)\) is dense in H in the Hilbert space norm on H, and that \(\ell ^1(\Delta )\) is dense in \(C^*(\Delta ,c)\) in the \(C^*\)-norm on \(C^*(\Delta ,c)\). Since the \(C^*\)-norm on \(C^*(\Delta ,c)\) dominates the Hilbert space norm of H, we get that \(\ell ^1(\Delta )\) is also dense in H in the Hilbert space norm. Moreover \(\ell ^1(\Delta )\) is also dense in \(\ell ^2(\Delta )\) in the \(\ell ^2\)-norm.
Denote by \(\langle \cdot , \cdot \rangle \) the inner product on \(\ell ^2(\Delta )\). The \(C^*(\Delta ,c)\)-valued inner product on \(C^*(\Delta ,c)\) as a left Hilbert \(C^*\)-module over itself is given by \({_\bullet \!}\langle a,b\rangle = ab^*\) for \(a,b \in C^*(\Delta ,c)\), and so the inner product with respect to \({{\,\mathrm{tr}\,}}\) is given by \(\langle a, b \rangle _{{{\,\mathrm{tr}\,}}} = {{\,\mathrm{tr}\,}}(ab^*)\). If \(a,b \in \ell ^1(\Delta ,c)\), then
This shows that \(\langle \cdot , \cdot \rangle _{{{\,\mathrm{tr}\,}}}\) and \(\langle \cdot , \cdot \rangle \) agree on the subspace \(\ell ^1(\Delta ,c)\) which is dense in both of the Hilbert spaces as argued. It follows that H can be identified with \(\ell ^2(\Delta )\) in such a way that the inclusions of \(\ell ^1(\Delta )\) into \(\ell ^2(\Delta )\) and \(C^*(\Delta ,c)\) are preserved. Moreover, since \({{\,\mathrm{tr}\,}}\) is a state, we have that the inclusion \(C^*(\Delta ,c) \hookrightarrow \ell ^2(G)\) is norm-decreasing. \(\square \)
Remark 3.4
In the sequel the following situation will be relevant: Let \(\Delta \) be a discrete group, and denote by \(\mu \) the counting measure on \(\Delta \). Let \(k > 0\) be a constant. Then we can consider the \(C^*\)-algebra \(C^*(\Delta ,c)\) defined with respect to the measure \(k \mu \) rather than \(\mu \), and so all sums involved in formulas for convolutions and norms will have a factor of k in front. In this situation there is still a faithful trace \({{\,\mathrm{tr}\,}}\) on \(C^*(\Delta ,c)\) given by \({{\,\mathrm{tr}\,}}(a) = a(0)\) for \(a \in \ell ^1(\Delta ,c)\). However, note that this is not a state when \(k \ne 1\). Indeed, the multiplicative identity of \(C^*(\Delta ,c)\) is \(k^{-1} \delta _0\) rather than \(\delta _0\), and so
If we rescale \({{\,\mathrm{tr}\,}}\) by k, we obtain a state.
3.3 Localization of the Heisenberg Module
We will need a trace on the left \(C^*\)-algebra \(A=C^*(\Delta ,c)\) of the Heisenberg module in Proposition 2.12. When \(\Delta \) is a lattice in \(G \times \widehat{G}\), we will just consider the canonical faithful trace \({{\,\mathrm{tr}\,}}_A\) on \(C^*(\Delta ,c)\). Note that by Proposition 3.1 and Remark 3.2, there exists a finite faithful trace on the right \(C^*\)-algebra \(B=C^*(\Delta ^{\circ },{\overline{c}})\) such that \({{\,\mathrm{tr}\,}}_A({_\bullet \!}\langle \xi ,\eta \rangle ) = {{\,\mathrm{tr}\,}}_B(\langle \eta ,\xi \rangle \!{_\bullet })\) for all \(\xi ,\eta \in \mathcal {E}_{\Delta }(G)\). If \(\xi ,\eta \in S_0(G)\), then
But there is a canonical trace \({{\,\mathrm{tr}\,}}_B'\) on B such that \({{\,\mathrm{tr}\,}}_B'(b) = b(0)\) whenever \(b \in \ell ^1(\Delta ^{\circ },{\overline{c}})\). Since \({{\,\mathrm{tr}\,}}_B'(\langle \eta ,\xi \rangle \!{_\bullet }) = \langle \xi ,\eta \rangle \!{_\bullet }(0) = \langle \pi (0) \xi , \eta \rangle = \langle \xi , \eta \rangle \), this shows that \({{\,\mathrm{tr}\,}}_B\) and \({{\,\mathrm{tr}\,}}_B'\) agree on \({{\,\mathrm{span}\,}}\{ \langle \xi ,\eta \rangle \!{_\bullet } : \xi ,\eta \in S_0(G) \}\). Since the latter is dense in B, we conclude that \({{\,\mathrm{tr}\,}}_B = {{\,\mathrm{tr}\,}}_B'\). Note however by Remark 3.4 that the faithful trace \({{\,\mathrm{tr}\,}}_B\) which satisfies (25) is not a state unless \(s(\Delta ) =1\).
In the case when \(\Delta \) is only cocompact and not necessarily discrete, \(\Delta ^\circ \) is discrete, and we obtain a (possibly unbounded) trace on \(C^*(\Delta ,c)\) by the following proposition. Note that we use the measures as chosen in the beginning of this section, and that B is equipped with the canonical trace that is not a state in general.
Proposition 3.5
Let G be a second countable, locally compact abelian group, and let \(\Delta \) be a closed, cocompact subgroup of \(G \times \widehat{G}\). Let \(A = C^*(\Delta ,c)\) and \(B = C^*(\Delta ^{\circ },{\overline{c}})\). Denote by \({{\,\mathrm{tr}\,}}_B\) the canonical faithful trace on B as in Remark 3.4. Then the induced trace \({{\,\mathrm{tr}\,}}_A\) on A via the Heisenberg module \(\mathcal {E}_{\Delta }(G)\) as in Proposition 3.1 is given by
for \(\xi ,\eta \in S_0(G)\). In particular, if \(\Delta \) is a lattice in \(G \times \widehat{G}\), then \({{\,\mathrm{tr}\,}}_A\) is the canonical faithful tracial state on \(C^*(\Delta ,c)\).
Proof
By Proposition 3.1, the induced trace \({{\,\mathrm{tr}\,}}_A\) satisfies
for all \(\xi ,\eta \in \mathcal {E}_{\Delta }(G)\). If \(\xi ,\eta \in S_0(G)\), then \(\langle \eta ,\xi \rangle \!{_\bullet } \in S_0(\Delta ^{\circ }, {\overline{c}}) = \ell ^1(\Delta ^{\circ },{\overline{c}})\) by Proposition 2.12 and Proposition 2.10 (ii), and so
If \(\Delta \) is a lattice, then A is the twisted group \(C^*\)-algebra of a discrete group, and in this case we know that the canonical faithful tracial state \({{\,\mathrm{tr}\,}}\) on \(C^*(\Delta ,c)\) is given by \({{\,\mathrm{tr}\,}}(a) = a(0)\) for \(a \in \ell ^1(\Delta ,c) = S_0(\Delta ,c)\). In particular, \({{\,\mathrm{tr}\,}}({_\bullet \!}\langle \xi ,\eta \rangle ) = \langle \xi , \eta \rangle \). By fullness of \(\mathcal {E}\) as a left Hilbert A-module, it follows that \({{\,\mathrm{tr}\,}}\) and \({{\,\mathrm{tr}\,}}_A\) agree on a dense subspace of A, hence on all of A. This shows that \({{\,\mathrm{tr}\,}}_A\) is indeed the faithful canonical tracial state on A. \(\square \)
Based on the above proposition, we make the following convention for the rest of the paper:
Convention 3.6
We fix a second countable, locally compact abelian group G, and a closed, cocompact subgroup \(\Delta \) of \(G \times \widehat{G}\). We fix Haar measures on G and \(\Delta \). If \(\Delta \) is a lattice in \(G \times \widehat{G}\), we assume the counting measure on \(\Delta \). From these measures, we obtain measures on \({\widehat{G}}\), \(G \times \widehat{G}\) and \(\Delta ^{\circ }\) as in Sect. 2.2. Note that the measure on \(\Delta ^{\circ }\) will be the counting measure scaled by a factor of \(s(\Delta )^{-1}\). Let \(A = C^*(\Delta ,c)\) and \(B = C^*(\Delta ^{\circ },{\overline{c}})\), so that the Heisenberg module \(\mathcal {E}_{\Delta }(G)\) is an imprimitivity A-B-bimodule. We assume the canonical faithful trace \({{\,\mathrm{tr}\,}}_B\) on B given by \({{\,\mathrm{tr}\,}}_B(b) = b(0)\) for \(b \in \ell ^1(\Delta ^{\circ },c)\). We equip A with the possibly unbounded trace \({{\,\mathrm{tr}\,}}_A\) induced from \({{\,\mathrm{tr}\,}}_B\) as in Proposition 3.5. In particular, if \(\Delta \) is a lattice, then \({{\,\mathrm{tr}\,}}_A\) is the canonical faithful tracial state on A.
In the following proposition, we compute the localization of the Heisenberg module associated to a cocompact subgroup \(\Delta \subseteq G \times \widehat{G}\).
Proposition 3.7
Let G denote a second countable locally compact abelian group, and let \(\Delta \) be a closed, cocompact subgroup of \(G \times \widehat{G}\). Then the localization H of the Heisenberg module \(\mathcal {E}_{\Delta }(G)\) with respect to either of the traces on \(C^*(\Delta ,c)\) and \(C^*(\Delta ^{\circ },{\overline{c}})\) can be identified with \(L^2(G)\) in such a way that the diagram of inclusions commutes:
Thus, the Heisenberg module can be continuously embedded into\(L^2(G)\), with
for all\(\eta \in \mathcal {E}_{\Delta }(G)\). In particular, if\((\eta _n)_n\)is a sequence in\(\mathcal {E}_{\Delta }(G)\)that converges to an element\(\eta \in \mathcal {E}_{\Delta }(G)\)in the\(\mathcal {E}_{\Delta }(G)\)-norm, then\((\eta _n)_n\)also converges to\(\eta \)in the\(L^2(G)\)-norm.
Proof
Let \(\xi , \eta \in S_0(G)\). Then \({_\bullet \!}\langle \xi ,\eta \rangle \in S_0(\Delta ,c)\) by Proposition 2.12, and so by (19) and Proposition 3.5 we obtain
This shows that \(\langle \cdot , \cdot \rangle _{{{\,\mathrm{tr}\,}}}\) and \(\langle \cdot , \cdot \rangle \) agree on the dense subspace \(S_0(G)\) of H. Hence, the localization H can be identified with \(L^2(G)\) in such a way that the above diagram commutes. Moreover, since \(\Vert {{\,\mathrm{tr}\,}}_B\Vert = {{\,\mathrm{tr}\,}}_B (1_B) = s(\Delta )\), see Remark 3.4, we have
This implies (26). \(\square \)
Proposition 3.7 embeds the Heisenberg module as a dense subspace of \(L^2(G)\), and allows us to think of \(\mathcal {E}_{\Delta }(G)\) as a function space.
3.4 Applications to Gabor Analysis
In light of Proposition 3.7 and Proposition 3.1, it follows that every adjointable \(C^* (\Delta , c)\)-module operator \(\mathcal {E}_{\Delta }(G) \rightarrow \mathcal {E}_{\Delta }(G)\) has a unique extension to a bounded linear map \(L^2(G) \rightarrow L^2(G)\). The following lemma states that when \(\eta ,\gamma \in S_0(G)\), the extension of the adjointable operator \(\Theta _{\eta ,\gamma }\) on \(\mathcal {E}_{\Delta }(G)\) to a bounded linear operator on \(L^2(G)\) is equal to \(S_{\eta ,\gamma }\). This will be generalized to functions \(\eta ,\gamma \in \mathcal {E}_{\Delta }(G)\) in Theorem 3.15. The lemma was observed in [25] in the case of \(G = \mathbb {R}^d\), but without using the language of localization. It was also covered in greater generality in [18, Theorem 3.14].
Lemma 3.8
Let \(\eta ,\gamma \in S_0(G)\). Then the module frame-like operator \(\Theta _{\eta ,\gamma } :\mathcal {E}_{\Delta }(G) \rightarrow \mathcal {E}_{\Delta }(G)\) extends to the Gabor frame-like operator \(S_{\eta ,\gamma } :L^2(G) \rightarrow L^2(G)\).
Proof
Suppose \(\eta ,\gamma \in S_0(G)\). To begin with, let \(\xi \in S_0(G)\). Then by Proposition 2.12, \({_\bullet \!}\langle \xi ,\eta \rangle \in S_0(\Delta ,c)\), and consequently \({_\bullet \!}\langle \xi ,\eta \rangle \cdot \gamma \in S_0(G)\). Moreover, equations (19) and (18) give that
Now let \(\xi \in \mathcal {E}_{\Delta }(G)\), and suppose \((\xi _n)_n\) is a sequence in \(S_0(G)\) that converges to \(\xi \) in the \(\mathcal {E}_{\Delta }(G)\)-norm. Then by continuity, \(\Theta _{\eta ,\gamma } \xi = \lim _n \Theta _{\eta ,\gamma } \xi _n\) in the \(\mathcal {E}_{\Delta }(G)\)-norm. By Proposition 3.7, the sequence \((\xi _n)_n\) also converges to \(\xi \) in the \(L^2(G)\)-norm, and so by continuity, \(S_{\eta ,\gamma } \xi = \lim _n S_{\eta ,\gamma } \xi _n\) in the \(L^2(G)\)-norm. From what we already proved for functions in \(S_0(G)\), we obtain that \(\Theta _{\eta ,\gamma } \xi = S_{\eta ,\gamma } \xi \) (as elements of \(L^2(G)\)).
But this shows that \(S_{\eta ,\gamma } |_{\mathcal {E}_{\Delta }(G)} = \Theta _{\eta ,\gamma }\), and since the extension of \(S_{\eta ,\gamma } |_{\mathcal {E}_{\Delta }(G)}\) to \(L^2(G)\) is \(S_{\eta ,\gamma }\), we conclude that the extension of \(\Theta _{\eta ,\gamma }\) to \(L^2(G)\) is \(S_{\eta ,\gamma }\). \(\square \)
The following lemma was also noted in [18, Lemma 3.6]. We give a different proof here which uses localization.
Lemma 3.9
Let \(\eta \in S_0(G)\). Then the Heisenberg module norm of \(\eta \) can be expressed in the following ways:
Proof
By Proposition 2.4, the Heisenberg module norm of \(\eta \) is given by \(\Vert \eta \Vert _{\mathcal {E}_{\Delta }(G)} = \Vert \Theta _{\eta } \Vert _{\mathcal {L}(\mathcal {E}_{\Delta }(G))}^{1/2}\). Since \(\eta \in S_0(G)\), we get from Lemma 3.8 and (23) that
Now from the equality \(S_{\eta } = C_{\eta }^* C_{\eta }\) it follows that \(\Vert S_{\eta } \Vert ^{1/2} = \Vert C_{\eta } \Vert \). This takes care of (27) and (28). The expressions in (29) and (30) are well-known for the operator norm \(\Vert C_{\eta } \Vert \). \(\square \)
We are now ready to prove the first of our main results:
Theorem 3.10
Let G be a second countable, locally compact abelian group, and let \(\Delta \) be a closed, cocompact subgroup of \(G \times \widehat{G}\). If \(\eta \in \mathcal {E}_{\Delta }(G)\), then \(\mathcal {G}(\eta ;\Delta )\) is a Bessel family for \(L^2(G)\). That is, there exists a \(D > 0\) such that
for all \(\xi \in L^2(G)\). Consequently, the analysis, synthesis and frame-like operators \({ C_{\eta }:L^2(G) \rightarrow L^2 (\Delta ) }\), \(D_{\eta }:L^2 (\Delta )\rightarrow L^2 (G)\), \(S_{\eta ,\gamma }:L^2 (G) \rightarrow L^2 (G)\) are all well-defined, bounded linear operators for \(\eta ,\gamma \in \mathcal {E}_{\Delta }(G)\).
Proof
Let \(\eta \in \mathcal {E}_{\Delta }(G)\), and let \((\eta _n)_n\) be a sequence in \(S_0(G)\) with
Since \(\eta _n \in S_0 (G)\) for all n, \(\mathcal {G}(\eta ,\Delta )\) is a Bessel family for all n by Proposition 2.10. Denote by \(D_n\) the optimal Bessel bound of \(\mathcal {G}(\eta ;\Delta )\) for each n, which by (30) in Lemma 3.9 is equal to \(\Vert \eta _n \Vert _{\mathcal {E}_{\Delta }(G)}^2\). Since \(( \eta _n)_n\) is convergent in the Heisenberg module norm, it follows that \(( \Vert \eta _n \Vert _{\mathcal {E}_{\Delta }(G)} )_{n=1}^\infty \) is bounded, and so \((D_n)_{n=1}^\infty \) is bounded, by D say. We then have that
for every \(\xi \in L^2 (G)\) and every \(n \in \mathbb {N}\). Since \((\eta _n)_n \rightarrow \eta \) in \(\mathcal {E}_{\Delta }(G)\), we have from Proposition 3.7 that \((\eta _n)_n \rightarrow \eta \) in \(L^2(G)\) as well. Hence, continuity of the inner product gives for each \(z \in \Delta \) and each \(\xi \in L^2(G)\) that
By Fatou’s lemma, we obtain for every \(\xi \in L^2(G)\) that
This proves that \(\mathcal {G}(\eta ;\Delta )\) is a Bessel family. \(\square \)
We are now able to extend the description of the Heisenberg module norm given in Lemma 3.9 for functions in \(S_0(G)\) to all of \(\mathcal {E}_{\Delta }(G)\).
Proposition 3.11
Let \(\eta \in \mathcal {E}_{\Delta }(G)\). Then the module norm of \(\eta \) can be expressed in the following ways:
Proof
Let \(\eta \in \mathcal {E}_{\Delta }(G)\). We will show that \(\Vert \eta \Vert _{\mathcal {E}_{\Delta }(G)} = \Vert C_{\eta } \Vert \). Once this is shown, the rest of the expressions for \(\Vert \eta \Vert _{\mathcal {E}_{\Delta }(G)}\) follow just as in the proof of Lemma 3.9.
Let \((\eta _n)_{n=1}^\infty \) be a sequence in \(S_0(G)\) such that
Then \((\eta _n)_n\) is a Cauchy sequence in the Heisenberg module norm, and so for every \(\epsilon > 0\) there exists \(N \in \mathbb {N}\) such that for all \(m,n \ge N\) we have that
Since \(\eta _n \in S_0(G)\) for all \(n \in \mathbb {N}\) and \(S_0(G)\) is a subspace of \(L^2(G)\), we have that \(\eta _m - \eta _n \in S_0(G)\) for all \(m,n \in \mathbb {N}\), and so by Lemma 3.9, we can write
But then by the above, we obtain that the sequence of operators \((C_{\eta _n})_{n=1}^\infty \) is Cauchy in \(\mathcal {L}(L^2(G), L^2 (\Delta ))\), and so by completeness, there exists \(T \in \mathcal {L}(L^2(G), L^2 (\Delta ))\) such that
Now fix \(\xi \in L^2(G)\). Then we have that
It is well-known that this implies the existence of a subsequence \((C_{\eta _{n_k}} \xi )_{k=1}^\infty \) that converges pointwise almost everywhere to \(T \xi \) (see for instance [34, Theorem 3.12]). However, since \((\eta _n)_n\) converges to \(\eta \) in the \(L^2(G)\)-norm by Proposition 3.7, we have that
for every \(z \in \Delta \). Hence \((C_{\eta _n} \xi )_n\) converges pointwise to \(C_{\eta } \xi \), and it follows that \((C_{\eta _{n_k}} \xi )_k\) converges pointwise to \(C_{\eta } \xi \) as well. This shows that \(C_{\eta } \xi = T \xi \) almost everywhere, and so they represent the same element in \(L^2(\Delta )\). Since \(\xi \) was arbitrary, it follows that \(C_{\eta } = T\), and so we have that
This implies that
\(\square \)
Let \(B_{\Delta }(G)\) denote the set of \(\xi \in L^2(G)\) such that \(\mathcal {G}(\eta ;\Delta )\) is a Bessel family for \(L^2(G)\). Then \(B_{\Delta }(G)\) is a Banach space when equipped with the norm
By Proposition 2.12, the Heisenberg module \(\mathcal {E}_{\Delta }(G)\) is the completion of \(S_0(G)\) with respect to the Heisenberg module norm. But by using our embedding of \(\mathcal {E}_{\Delta }(G)\) into \(L^2(G)\) in Proposition 3.7 and the expression of the Heisenberg module norm provided in Proposition 3.11, we obtain a concrete description of \(\mathcal {E}_{\Delta }(G)\) as a subspace of \(L^2(G)\). In the following proposition, we use the notation from (20).
Proposition 3.12
Let G be a second countable, locally compact abelian group, and let \(\Delta \) be a closed, cocompact subgroup of \(G \times \widehat{G}\). Then the Heisenberg module \(\mathcal {E}_{\Delta }(G)\) is the completion of \(S_0(G)\) in \(B_{\Delta }(G)\). The bimodule structure can be described as follows: Let \(a \in C^*(\Delta ,c)\), \(b \in C^*(\Delta ^{\circ },{\overline{c}})\) and \(\xi \in \mathcal {E}_{\Delta }(G)\). Then
Proof
By Proposition 2.12, we know that \(\mathcal {E}_{\Delta }(G)\) is the completion of \(S_0(G)\) with respect to the Heisenberg module norm. By Proposition 3.7, we know that \(\mathcal {E}_{\Delta }(G)\) is continuously embedded into \(L^2(G)\) in a way that respects the embedding of \(S_0(G)\) into \(L^2(G)\). By Proposition 3.11, we have a description of the Heisenberg module norm as \(\Vert \eta \Vert _{\mathcal {E}_{\Delta }(G)} = \Vert \eta \Vert _{B_{\Delta }(G)}\). It follows that \(\mathcal {E}_{\Delta }(G)\) is the completion of \(S_0(G)\) with respect to the norm of \(B_{\Delta }(G)\).
To see that (36) holds, let \(a \in C^*(\Delta ,c)\) and \(\xi \in \mathcal {E}_{\Delta }(G)\). Let \((a_n)_n\) be a sequence in \(S_0(\Delta ,c)\) such that \(\lim _{n \rightarrow \infty } a_n = a\) in \(C^*(\Delta ,c)\). Let \((\xi _n)_n\) be a sequence in \(S_0(G)\) such that \(\lim _{n \rightarrow \infty } \xi _n = \xi \) in \(\mathcal {E}_{\Delta }(G)\). Then by continuity of the left action of \(C^*(\Delta ,c)\) on \(\mathcal {E}_{\Delta }(G)\), we have that
in \(\mathcal {E}_{\Delta }(G)\). The last equality follows from the description of \(a \cdot \xi \) for \(a \in S_0(\Delta ,c)\) and \(\xi \in S_0(G)\) as \(\pi (a) \xi \) (see Proposition 2.12). Since \(\xi _n \rightarrow \xi \) in the Heisenberg module norm, we have that \(\xi _n \rightarrow \xi \) in the \(L^2(G)\)-norm. Also, since \(\pi (a_n) \rightarrow \pi (a)\) in the operator norm, we have that \(\pi (a_n) \xi _n \rightarrow \pi (a) \xi \) in the \(L^2(G)\)-norm. Hence, interchanging the \(\mathcal {E}_{\Delta }(G)\)-limit in the equation above with an \(L^2(G)\)-limit, we obtain that \(a \cdot \xi = \pi _{\Delta }(a) \xi \).
The argument for (37) is similar, as for \(b \in S_0(\Delta ^{\circ },{\overline{c}})\) and \(\xi \in S_0(G)\), the definition of \(\xi \cdot b\) in Proposition 2.12 is equal to \(\pi _{\Delta ^{\circ }}^*(b)\xi \). A similar approximation argument to the one above shows that \(\xi \cdot b = \pi _{\Delta ^{\circ }}^*(b)\xi \) also holds for \(b \in C^*(\Delta ^{\circ },{\overline{c}})\) and \(\xi \in \mathcal {E}_{\Delta }(G)\). \(\square \)
Example 3.13
If one sets \(\Delta = G \times \widehat{G}\), the Heisenberg module \(\mathcal {E}_{\Delta }(G)\) is all of \(L^2(G)\). To see this, note that \(\Delta ^{\circ } = \{0\}\). Thus, we have the identification \(C^* (\Delta ^{\circ }, {\overline{c}}) \cong \mathbb {C}\), where a sequence \(a \in C^*(\Delta ^{\circ },{\overline{c}}) = \mathbb {C}\Delta ^{\circ }\) is identified with its value a(0) at 0. In this situation, the Heisenberg module \(\mathcal {E}_{\Delta }(G)\) is a \(C^*(\Delta ,c)\)-\(\mathbb {C}\)-imprimitivity bimodule. But then \(\mathcal {E}_{\Delta }(G)\) is a right Hilbert \(C^*\)-module over \(\mathbb {C}\), so it must be a Hilbert space (with linearity in the second argument of the inner product). The right action is given by
which under the identification \(C^*(\Delta ^{\circ },{\overline{c}}) \cong \mathbb {C}\) becomes \(\xi \cdot \lambda = \xi \lambda \) for \(\xi \in L^2(G)\) and \(\lambda \in \mathbb {C}\), i.e. ordinary scalar multiplication. Furthermore, the inner product at the value 0 is given by \(\langle \xi ,\eta \rangle \!{_\bullet }(0) = \langle \pi (0) \eta , \xi \rangle = \langle \eta , \xi \rangle \), i.e. the right inner product is just the conjugate of the ordinary \(L^2(G)\)-inner product.
It follows immediately from Proposition 2.4 that the Heisenberg module norm in this case is just the \(L^2(G)\)-norm, and so \(\mathcal {E}_{\Delta }(G) = B_{\Delta }(G) = L^2 (G)\). The statement \(B_{\Delta }(G) = L^2 (G)\) when \(\Delta \) is the whole time-frequency plane is well known. Indeed, in this case the analysis operator \(C_{\eta }\) is the short-time Fourier transform. This is a bounded operator \(L^2 (G)\rightarrow L^2 (G \times \widehat{G})\) for all \(\eta \in L^2 (G)\), and is invertible for any \(\eta \ne 0\), see [15, Theorem 6.2.1].
Example 3.14
Suppose G is a discrete group, and that \(\Delta \) is a lattice in \(G \times \widehat{G}\). Then \(S_0(G) = \ell ^1(G)\) (Proposition 2.10, (ii)), and so the Heisenberg module satisfies \(\ell ^1(G) \subseteq \mathcal {E}_{\Delta }(G) \subseteq \ell ^2(G)\). In particular, if G is finite, then \(\mathcal {E}_{\Delta }(G) = \ell ^1(G) = \ell ^2(G) = \mathbb {C}G \cong \mathbb {C}^{|G|}\).
The following theorem extends Lemma 3.8 and is one of our main results.
Theorem 3.15
Let G be a second countable, locally compact abelian group, and let \(\Delta \) be a closed, cocompact subgroup of \(G \times \widehat{G}\). Let \(\eta ,\gamma \in \mathcal {E}_{\Delta }(G)\). Then the module frame-like operator \(\Theta _{\eta ,\gamma } :\mathcal {E}_{\Delta }(G) \rightarrow \mathcal {E}_{\Delta }(G)\) extends via localization to the Gabor frame-like operator \(S_{\eta ,\gamma } :L^2(G) \rightarrow L^2(G)\).
Proof
Let \((\eta _n)_{n=1}^\infty \) and \((\gamma _n)_{n=1}^\infty \) be sequences in \(S_0(G)\) that converge towards \(\eta \) and \(\gamma \) respectively in the Heisenberg module norm. Let \(\xi \in \mathcal {E}_{\Delta }(G)\). Then \((\Theta _{\eta _n,\gamma _n} \xi )_n\) converges towards \(\Theta _{\eta ,\gamma } \xi \) in the Heisenberg module norm. By Lemma 3.8, we have that \(\Theta _{\eta _n,\gamma _n} \xi = S_{\eta _n,\gamma _n} \xi \) for each n, and since convergence in the Heisenberg module norm implies convergence in the \(L^2(G)\)-norm, we have that
By Proposition 3.11 and the identity \(C_{\eta - \eta _n} = C_{\eta } - C_{\eta _n}\), the sequences of operators \((C_{\eta _n})_n\) and \((C_{\gamma _n}^*)_n\) converge in the operator norm to \(C_\eta \) and \(C_{\gamma }^*\) respectively, and so \((S_{\eta _n,\gamma _n} )_n\) converges in the operator norm towards \(S_{\eta ,\gamma }\). It follows that the sequence \((S_{\eta _n,\gamma _n} \xi )_n\) converges to \(S_{\eta ,\gamma } \xi \) in the \(L^2\)-norm. But then by (38), we have that \(\Theta _{\eta ,\gamma } \xi = S_{\eta ,\gamma } \xi \). This shows that the restriction of \(S_{\eta ,\gamma }\) to \(\mathcal {E}_{\Delta }(G)\) is equal to \(\Theta _{\eta ,\gamma }\), and so the unique extension of \(\Theta _{\eta ,\gamma }\) to a bounded linear operator on \(L^2(G)\) must be \(S_{\eta ,\gamma }\). \(\square \)
We now arrive at another one of our main results. The following result was previously only known for generators in \(S_0 (G)\) [17, 25]. It states that finite module frames for \(\mathcal {E}_{\Delta }(G)\) are exactly the generators of multi-window Gabor frames for \(L^2 (G)\), where the generators are allowed to come from \(\mathcal {E}_{\Delta }(G)\). This gives a complete description of generators of Heisenberg modules in terms of multi-window Gabor frames.
Theorem 3.16
Let G be a second countable, locally compact abelian group, let \(\Delta \) be a closed, cocompact subgroup of \(G \times \widehat{G}\), and let \(\eta _1, \ldots , \eta _k\) be elements of the Heisenberg module \(\mathcal {E}_{\Delta }(G)\). Then the following are equivalent:
- (i)
The set \(\{ \eta _1, \ldots , \eta _k \}\) generates \(\mathcal {E}_{\Delta }(G)\) as a left \(C^*(\Delta ,c)\)-module. That is, for all \(\xi \in \mathcal {E}_{\Delta }(G)\) there exist \(a_1, \ldots , a_k \in C^*(\Delta ,c)\) such that
$$\begin{aligned} \xi = \sum _{j=1}^k a_j \cdot \eta _j . \end{aligned}$$ - (ii)
The system
$$\begin{aligned} \mathcal {G}(\eta _1, \ldots , \eta _k ; \Delta ) = \{ \pi (z) \eta _j : z \in \Delta , 1 \le j \le k \} \end{aligned}$$is a multi-window Gabor frame for \(L^2(G)\).
Proof
By Proposition 2.6, the set \(\{ \eta _1, \ldots , \eta _k \}\) is a generating set for \(\mathcal {E}_{\Delta }(G)\) if and only if the sequence \((\eta _1, \ldots , \eta _k)\) is a module frame for \(\mathcal {E}_{\Delta }(G)\). By Proposition 2.5, this happens if and only if \(\Theta = \Theta _{(\eta _j)_{j=1}^k} = \sum _{j=1}^k \Theta _{\eta _j}\) is invertible as an element of \(\mathcal {L}_{C^* (\Delta , c)}(\mathcal {E}_{\Delta }(G))\). By Theorem 3.15 and linearity of the localization map \(\mathcal {L}_{C^* (\Delta , c)}(\mathcal {E}_{\Delta }(G)) \hookrightarrow \mathcal {L}(L^2(G))\), this operator extends via localization to the Gabor multi-window frame operator \(S = S_{(\eta _j)_{j=1}^k} = \sum _{j=1}^k S_{\eta _j}\) on \(L^2(G)\). Since the localization map \(\mathcal {L}(\mathcal {E}_{\Delta }(G)) \hookrightarrow \mathcal {L}(L^2(G))\) is an inclusion of unital \(C^*\)-subalgebras, it follows by inverse closedness [27, Theorem 2.1.11] that \(\Theta \) is invertible in \(\mathcal {L}(\mathcal {E}_{\Delta }(G))\) if and only if \(S\) is invertible in \(\mathcal {L}(L^2(G))\). But by Proposition 2.9, the latter happens if and only if \(\mathcal {G}(\eta _1, \ldots , \eta _k ; \Delta )\) is a frame for \(L^2(G)\). \(\square \)
3.5 The Fundamental Identity of Gabor Analysis
So far we have considered a closed subgroup \(\Delta \) of \(G \times \widehat{G}\), and from this we built the Heisenberg module \(\mathcal {E}_{\Delta }(G)\), which is a \(C^* (\Delta ,c)\)-\(C^*(\Delta ^{\circ }, {\overline{c}})\)-imprimitivity bimodule. We focused specifically on the case when \(\Delta \) is cocompact, since this implies \(\Delta ^{\circ }\) is discrete and hence \(C^*(\Delta ^{\circ }, {\overline{c}})\) is unital. By [17, p. 5], \(\Delta ^{\circ }\) is identical to the annihilator \(\Delta ^{\perp }\) (also defined in the same article) up to a measure-preserving change of coordinates, and it is also the case that \((\Delta ^{\perp })^{\perp } = \Delta \) by [7, Proposition 3.6.1]. Hence \((\Delta ^{\circ })^{\circ } = \Delta \). Imposing the restriction that \(\Delta ^{\circ }\) also be cocompact, which implies that both \(\Delta \) and \(\Delta ^{\circ }\) are lattices, we could build \(\mathcal {E}_{\Delta ^{\circ }}(G)\) and ask how it relates to \(\mathcal {E}_{\Delta }(G)\). The following proposition shows that the relationship is just about as good as we could hope for.
Proposition 3.17
Let \(\Delta \) be a lattice in \(G \times \widehat{G}\). Then \(\mathcal {E}_{\Delta }(G) = \mathcal {E}_{\Delta ^{\circ }}(G)\) as subspaces of \(L^2(G)\), and \(\Vert \eta \Vert _{\mathcal {E}_{\Delta ^{\circ }}(G)} = s(\Delta )^{-1/2}\Vert \eta \Vert _{\mathcal {E}_{\Delta }(G)}\) for all \(\eta \in \mathcal {E}_{\Delta }(G)\).
Proof
Note first that since \(\Delta \) is a lattice, so is \(\Delta ^{\circ }\). In particular, \(\Delta ^{\circ }\) is a cocompact subgroup, so all the results in this section for \(\Delta \) apply just as well for \(\Delta ^{\circ }\). Hence, by Proposition 2.12 and Proposition 3.12, one obtains the Heisenberg module \(\mathcal {E}_{\Delta ^{\circ }}(G)\) as a completion of \(S_0(G)\) in \(B_{\Delta ^{\circ }}(G)\), which is a \(C^*(\Delta ^{\circ }, c)\)-\(C^*(\Delta ,{\overline{c}})\)-imprimitivity bimodule. Note that in the construction of \(\mathcal {E}_{\Delta ^{\circ }}(G)\) we put on \(\Delta ^{\circ }\) the counting measure, and on \(\Delta \) the counting measure scaled with \(s(\Delta ^{\circ })^{-1}\) as per Convention 3.6. Denote the left inner product on \(\mathcal {E}_{\Delta ^{\circ }}(G)\) by \({_\bullet \!}\langle \cdot ,\cdot \rangle '\) and the right inner product by \(\langle \cdot ,\cdot \rangle \!{_\bullet }'\).
Let \(\eta \in S_0 (G)\). Denote by \(\pi _{\Delta ^{\circ }}^*\) the \(C^*\)-algebra representation as in the discussion following Proposition 2.12. Denote by \(\pi _{\Delta ^{\circ }}\) the representation \(\pi _{\Delta }\) in the same discussion, but with \(\Delta \) replaced with \(\Delta ^{\circ }\). In other words, \(\pi _{\Delta ^{\circ }}^*\) is a representation of \(C^*(\Delta ^{\circ }, {\overline{c}})\) on \(L^2(G)\), while \(\pi _{\Delta ^{\circ }}\) is a representation of \(C^*(\Delta ^{\circ }, c)\) on \(L^2(G)\). Keeping in mind the right measures, we have that
From the above we see that
Using the faithfulness of the integrated representations (Proposition 2.11), we obtain for all \(\eta \in S_0(G)\) that
By the above, we have that a sequence \((\eta _n)_n\) in \(S_0(G)\) is Cauchy in the \(\mathcal {E}_{\Delta }(G)\)-norm if and only if it is Cauchy in the \(\mathcal {E}_{\Delta ^{\circ }}(G)\)-norm. Thus, the sequence has a limit in \(\mathcal {E}_{\Delta }(G)\)-norm if and only if it has a limit in \(\mathcal {E}_{\Delta ^{\circ }}(G)\)-norm. Since both of these norms dominate the \(L^2(G)\)-norm, it follows if \((\eta _n)_n\) is Cauchy in either of the norms, the limit in either of the norms give the same element in \(L^2(G)\). It follows that \(\mathcal {E}_{\Delta ^{\circ }}(G) = \mathcal {E}_{\Delta }(G)\), with \(\Vert \eta \Vert _{\mathcal {E}_{\Delta ^{\circ }}(G)} = s(\Delta )^{1/2} \Vert \eta \Vert _{\mathcal {E}_{\Delta }(G)}\) for all \(\eta \in \mathcal {E}_{\Delta }(G)\). \(\square \)
Finally, we show that the fundamental identity of Gabor analysis (or FIGA) [11, Theorem 4.5] holds when all involved functions are in \(\mathcal {E}_{\Delta }(G)\) when \(\Delta \) is a lattice. In the following we let \(S^{\Delta }_{\eta , \gamma }\) be the operator of (8), and let \(S^{\Delta ^{\circ }}_{\eta , \gamma }\) denote the operator of (8) but with \(\Delta ^{\circ }\) instead of \(\Delta \). It is already known that FIGA holds for functions in \(S_0 (G)\) even when \(\Delta \) is just a closed subgroup of the time-frequency plane \(G \times \widehat{G}\) [17, Corollary 6.3]. However, in the proof of Proposition 3.18 below we shall need to apply Theorem 3.15 to frame operators with respect to \(\Delta \) and with respect to \(\Delta ^{\circ }\). This then requires that both \(\Delta \) and \(\Delta ^\circ \) are cocompact, hence they are both lattices. With these restrictions, FIGA is the statement
for \(\eta ,\gamma ,\xi , \psi \in S_0(G)\). In short form it is just the statement
for \(\eta ,\gamma ,\xi \in S_0(G)\). With the restriction that \(\Delta \) is a lattice in \(G \times \widehat{G}\), the following proposition extends the range for the FIGA (for the particular lattice \(\Delta \)) to functions in \(\mathcal {E}_{\Delta }(G)\).
Proposition 3.18
Let G be a second countable, locally compact abelian group, and let \(\Delta \) be a lattice in \(G \times \widehat{G}\). Then (41) holds for \(\eta , \gamma , \xi \in \mathcal {E}_{\Delta }(G)\).
Proof
Let \((\eta _n)_n\), \((\gamma _n)_n\) and \((\xi _n)_n\) be sequences in \(S_0(G)\) that converge to \(\eta \), \(\gamma \) and \(\xi \), respectively, in the \(\mathcal {E}_{\Delta }(G)\)-norm. By Proposition 3.17, the same is true in \(\mathcal {E}_{\Delta ^{\circ }}(G)\)-norm. Then, since the fundamental identity of Gabor analysis applies for functions in \(S_0 (G)\) by [17, Corollary 6.3], we have
for all \(n \in \mathbb {N}\). By Theorem 3.15 we have
Since convergence in the Heisenberg module norm implies convergence in the \(L^2(G)\)-norm, we conclude that the following equality holds in \(L^2(G)\), were the limits are taken in \(L^2(G)\):
\(\square \)
Remark 3.19
As already mentioned, the FIGA holds for functions in \(S_0(G)\) even when \(\Delta \) is only a closed subgroup for \(G \times \widehat{G}\). The techniques in this paper are based on localization of A-B-imprimitivity bimodules, which requires that we have a finite trace on at least one of the algebras A and B. Therefore the assumption that \(\Delta \) is a lattice in \(G \times \widehat{G}\) is necessary for our approach to the FIGA. There might be another technique that allows for an extension of the FIGA to \(\mathcal {E}_{\Delta }(G)\) for \(\Delta \) only a closed subgroup of \(G \times \widehat{G}\) that the authors are not aware of. We remark again that for the existence of Gabor frames over a closed subgroup \(\Delta \) of \(G \times \widehat{G}\), it is necessary that \(\Delta \) is cocompact in \(G \times \widehat{G}\), which is the setting for most of the results in the paper.
References
Ali, S.T., Antoine, J.-P., Gazeau, J.-P.: Continuous frames in Hilbert space. Ann. Phys. 222(1), 1–37 (1993)
Arambašić, L., Bakić, D.: Frames and outer frames for Hilbert \(C^\ast \)-modules. Linear Multilinear Algebra 65(2), 381–431 (2017)
Austad, A., Luef, F.: Modulation spaces as a smooth structure in noncommutative geometry. arXiv:1809.11063 (2018)
Bédos, E., Omland, T.: On reduced twisted group \( C^*\)-algebras that are simple and/or have a unique trace. J. Noncommut. Geom. 12(3), 947–996 (2018)
Combes, F., Zettl, H.: Order structures, traces and weights on Morita equivalent \(C^{\ast } \)-algebras. Math. Ann. 265(1), 67–81 (1983)
Connes, A.: Noncommutative Geometry. Academic Press Inc., San Diego (1994)
Deitmar, A., Echterhoff, S.: Principles of Harmonic Analysis, 2nd edn. Springer, Cham (2014)
Duffin, R.J., Schaeffer, A.C.: A class of nonharmonic Fourier series. Trans. Am. Math. Soc. 72, 341–366 (1952)
Enstad, U.B.R., Jakobsen, M.S., Luef, F.: Time-frequency analysis on the adeles over the rationals. C. R. Math. Acad. Sci. Paris 357(2), 188–199 (2019)
Feichtinger, H.G.: On a new Segal algebra. Monatsh. Math. 92(4), 269–289 (1981)
Feichtinger, H.G., Luef, F.: Wiener amalgam spaces for the fundamental identity of Gabor analysis. Collect. Math. 57, 233–253 (2006)
Folland, G.B.: A Course in Abstract Harmonic Analysis. Studies in Advanced Mathematics. CRC Press, Boca Raton (1995)
Frank, M., Larson, D.R.: Frames in Hilbert \(C^\ast \)-modules and \(C^\ast \)-algebras. J. Oper. Theory 48(2), 273–314 (2002)
Gabor, D.: Theory of communication. J. Inst. Electr. Eng. 93, 429–457 (1946)
Gröchenig, K.: Aspects of Gabor analysis on locally compact abelian groups. In: Feichtinger, H.G., Strohmer, T. (eds.) Gabor Analysis and Algorithms. Applied and Computational Harmonic Analysis, pp. 211–231. Birkhäuser Boston, Boston (1998)
Jakobsen, M.S.: On a (no longer) new Segal algebra: a review of the Feichtinger algebra. J. Fourier Anal. Appl. 24(6), 1579–1660 (2018)
Jakobsen, M.S., Lemvig, J.: Density and duality theorems for regular Gabor frames. J. Funct. Anal. 270(1), 229–263 (2016)
Jakobsen, M.S., Luef, F.: Duality of Gabor frames and heisenberg modules. preprint, arXiv:1806.05616, (2018)
Kaad, J., Lesch, M.: A local global principle for regular operators in Hilbert \(C^*\)-modules. J. Funct. Anal. 262(10), 4540–4569 (2012)
Kaiser, G.: A Friendly Guide to Wavelets. Birkhäuser Boston Inc., Boston (1994)
Kaplansky, I.: Modules over operator algebras. Am. J. Math. 75, 839–858 (1953)
Lance, E.C.: A toolkit for operator Algebraists. In: Hitchin, N.J. (ed.) Hilbert \(C^*\)-Modules. London Mathematical Society Lecture, vol. 210. Cambridge University Press, Cambridge (1995)
Latrémolière, F., Packer, J.A.: Noncommutative solenoids and their projective modules. In: Jorgensen, P.E.T., Olafsson, G. (eds.) Commutative and Noncommutative Harmonic Analysis and Applications. Contemporary Mathematics, vol. 603, pp. 35–53. American Mathematical Society, Providence (2013)
Latrémolière, F., Packer, J.A.: Explicit construction of equivalence bimodules between noncommutative solenoids. In: Kadison, R.V. (ed.) Trends in Harmonic Analysis and Its Applications. Contemporary Mathematics, vol. 650, pp. 111–140. American Mathematical Society, Providence (2015)
Luef, F.: Projective modules over noncommutative tori are multi-window Gabor frames for modulation spaces. J. Funct. Anal. 257(6), 1921–1946 (2009)
Luef, F.: Projections in noncommutative tori and Gabor frames. Proc. Am. Math. Soc. 139(2), 571–582 (2011)
Murphy, G.J.: \(C^*\)-Algebras and Operator Theory. Academic Press Inc., Boston (1990)
Packer, J.A., Raeburn, I.: Twisted crossed products of \(C^*\)-algebras. Math. Proc. Camb. Philos. Soc. 106(2), 293–311 (1989)
Pedersen, G.K.: \(C^{\ast } \)-Algebras and Their Automorphism Groups. London Mathematical Society Monographs, vol. 14. Academic Press Inc., London (1979)
Raeburn, I., Williams, D.P.: Morita Equivalence and Continuous-Trace \(C^*\)-Algebras. Mathematical Surveys and Monographs, vol. 60. American Mathematical Society, Providence (1998)
Rieffel, M.A.: Induced representations of \(C^{\ast } \)-algebras. Adv. Math. 13, 176–257 (1974)
Rieffel, M.A.: Morita equivalence for \(C^{\ast } \)-algebras and \(W^{\ast } \)-algebras. J. Pure Appl. Algebra 5, 51–96 (1974)
Rieffel, M.A.: Projective modules over higher-dimensional noncommutative tori. Can. J. Math. 40(2), 257–338 (1988)
Rudin, W.: Real and Complex Analysis, 3rd edn. McGraw-Hill Book Co., New York (1987)
Acknowledgements
Open Access funding provided by Oslo University and Oslo University Hospital. The authors would like to thank Nadia Larsen, Franz Luef and Luca Gazdag for giving feedback on a draft of the paper. The second author would like to thank Erik Bédos for helpful discussions. The authors are also indebted to the referees for their invaluable feedback on the first draft of the paper, and to one of the referees for suggesting a simpler proof of Proposition 2.6, which we have included.
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.
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
Austad, A., Enstad, U. Heisenberg Modules as Function Spaces. J Fourier Anal Appl 26, 24 (2020). https://doi.org/10.1007/s00041-020-09729-7
Received:
Published:
DOI: https://doi.org/10.1007/s00041-020-09729-7