Heisenberg modules as function spaces

TL;DR

This paper demonstrates that Heisenberg modules over twisted group C*-algebras can be embedded into L^2 spaces, enabling their use as function spaces in time-frequency analysis with Gabor frames.

Contribution

It establishes a continuous embedding of Heisenberg modules into L^2(G) and characterizes their generators as multi-window Gabor frames, extending previous results.

Findings

Heisenberg modules can be embedded into L^2(G) as function spaces.

Generators of these modules correspond to multi-window Gabor frames.

Modules satisfy properties suitable for time-frequency analysis, including the fundamental identity and bounded frame operators.

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.

Equations

$$C\Vert \xi {\Vert }_2^2\le {\int }_{\Delta }|⟨\xi ,\pi (z)\eta ⟩{|}^{2}dz\le D\Vert \xi {\Vert }_2^2$$

$$C\Vert \xi {\Vert }_2^2\le \sum _{j=1}^k{\int }_{\Delta }|⟨\xi ,\pi (z){\eta }_j⟩{|}^{2}dz\le D\Vert \xi {\Vert }_2^2$$

$$S_{\eta }\xi ={\int }_{\Delta }⟨\xi ,\pi (z)\eta ⟩\pi (z)\eta dz$$

$${\Theta }_{\eta ,\gamma }\xi ={}_{\bullet }⟨\xi ,\eta ⟩\gamma$$

$${\int }_{\Delta }|⟨\xi ,\pi (z)\eta ⟩{|}^{2}dz<\infty$$

$$\Vert \eta {\Vert }_{B_{\Delta }(G)}=\Vert S_{\eta }{\Vert }^{1/2}=\underset{\Vert \xi {\Vert }_2=1}{\sup }{\left({\int }_{\Delta }|⟨\xi ,\pi (z)\eta ⟩{|}^{2}dz\right)}^{1/2}.$$

$${}_{\bullet }⟨(a_j{)}_{j\in J},(b_j{)}_{j\in J}⟩=\sum _{j\in J}{a}_j{b}_j^{\ast }.$$

$$C{}_{\bullet }⟨\xi ,\xi ⟩\le \sum _{j\in J}{}_{\bullet }⟨\xi ,{\eta }_j⟩{}_{\bullet }⟨{\eta }_j,\xi ⟩\le D{}_{\bullet }⟨\xi ,\xi ⟩$$

$$\Phi \xi =({}_{\bullet }⟨\xi ,{\eta }_j⟩{)}_{j\in J}$$

$$\Psi ((a_j{)}_j)=\sum _{j\in J}{a}_j\cdot {\eta }_j,$$

$$\Theta \xi =\sum _{j\in J}{}_{\bullet }⟨\xi ,{\eta }_j⟩\cdot {\gamma }_j.$$

$${\Phi }_{\eta }\xi$$

$${\Psi }_{\eta }a$$

$${\Theta }_{\eta ,\gamma }\xi$$

$$\Vert \eta {\Vert }_{\mathcal{E}}=\Vert {\Theta }_{\eta }{\Vert }_{{\mathcal{L}}_A(\mathcal{E})}.$$

$$\Vert {}_{\bullet }⟨\xi ,\eta ⟩{\Vert }_A=\Vert ⟨\eta ,\xi ⟩{}_{\bullet }{\Vert }_B$$

$$\xi =\sum _{j=1}^k{a}_j\cdot {\eta }_j.$$

$$(T_x\xi )(t)$$

$${\Delta }^{\circ }$$

$$C\Vert \xi {\Vert }_2^2\le \sum _{j=1}^k{\int }_{\Delta }|⟨\xi ,\pi (z){\eta }_j⟩{|}^{2}dz\le D\Vert \xi {\Vert }_2^2.$$

$$C_{\eta }\xi =(⟨\xi ,\pi (z)\eta ⟩{)}_{z\in \Delta }$$

$$D_{\eta }(c_z{)}_{z\in \Delta }={\int }_{\Delta }{c}_z\pi (z)\eta dz$$

$$S_{\eta ,\gamma }\xi ={\int }_{\Delta }⟨\xi ,\pi (z)\eta ⟩\pi (z)\gamma dz$$

$${\int }_{G\times \hat{G}}|⟨\xi ,\pi (z)\xi ⟩|dz<\infty .$$

$$c(z_1,z_2)c(z_1+z_2,z_3)=c(z_1,z_2+z_3)c(z_2,z_3).$$

$$c(0,0)=1.$$

$$a\ast b(z)$$

$$a^{\ast }(z)$$

$$\pi (z)\pi (w)=c(z,w)\pi (z+w).$$

$$\overline{\pi }(a)={\int }_{\Delta }a(z)\pi (z)dz.$$

$$\mathrm{tr}(a)=a(0)$$

$$c((x,\omega ),(y,\tau ))=\overline{\tau (x)}$$

Full text

Keywords. Gabor frames, twisted group C*-algebras, Hilbert C*-modules.

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 ilx}\phi(x-k)\mathrel{\mathop{\mathchar 58\relax}}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 lx}\eta(x-\alpha k)\mathrel{\mathop{\mathchar 58\relax}}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

[TABLE]

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\leq j\leq k}$ a multi-window Gabor frame if there exist $C,D>0$ such that

[TABLE]

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}\colon L^{2}(G)\to L^{2}(G)$ is invertible. The operator is given weakly by

[TABLE]

for $\xi\in L^{2}(G)$.

In [25, 26, 18], 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 come 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 [23, 24, 9].

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}\colon\mathcal{E}\to\mathcal{E}$ is given by

[TABLE]

for $\xi\in\mathcal{E}$. Here, ${{}_{\bullet}\!\!}\left\langle\cdot,\cdot\right\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,

[TABLE]

for every $\xi\in L^{2}(G)$. This is a Banach space with respect to the norm

[TABLE]

The following hold:

1. (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. 2. (ii)

For $\eta\in\mathcal{E}_{\Delta}(G)$, the Heisenberg module rank-one operator $\Theta_{\eta}\colon\mathcal{E}_{\Delta}(G)\to\mathcal{E}_{\Delta}(G)$ extends to the Gabor frame operator $S_{\eta}\colon L^{2}(G)\to L^{2}(G)$. 3. (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\leq j\leq k}$ is a multi-window Gabor frame for $L^{2}(G)$.

Part (iii) of 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 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}\colon L^{2}(G)\to L^{2}(\Delta)$, synthesis operator $D_{\eta}\colon L^{2}(\Delta)\to L^{2}(G)$, and frame operator $S_{\eta}\colon L^{2}(G)\to 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 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 Section 2, we cover the necessary background material on frames in Hilbert $C^{*}$-modules, continuous Gabor frames and Heisenberg modules. In Section 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.

Acknowledgements

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.

2. Preliminaries

2.1. Frames in Hilbert $\boldsymbol{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 [30, 22] 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}\!\!}\left\langle\cdot,\cdot\right\rangle$, while the $A$-valued inner product of a right Hilbert $A$-module will be denoted by $\left\langle\cdot,\cdot\right\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}\to\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_{j}a_{j}^{*}$ converges in $A$, with $A$-valued inner product

[TABLE]

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

[TABLE]

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}}\colon\mathcal{E}\to\ell^{2}(J,A)$ given by

[TABLE]

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

[TABLE]

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}}\mathrel{\mathop{\mathchar 58\relax}}=\Psi_{(\gamma_{j})_{j}}\Phi_{(\eta_{j})_{j}}$. That is, for all $\xi\in\mathcal{E}$ we have

[TABLE]

In case $(\eta_{j})_{j}=(\gamma_{j})_{j}$ we write $\Theta_{(\eta_{j})_{j}}\mathrel{\mathop{\mathchar 58\relax}}=\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

[TABLE]

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

[TABLE]

More generally, if $\mathcal{E}$ is an imprimitivity $A$-$B$-bimodule, then

[TABLE]

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

[TABLE]

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}\!\!}\left\langle\xi,\Theta^{-1}\eta_{j}\right\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\mathrel{\mathop{\mathchar 58\relax}}\mathcal{E}\to A^{k}$ the map $\Phi\xi=({{}_{\bullet}\!\!}\left\langle\xi,\eta_{j}\right\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\mathrel{\mathop{\mathchar 58\relax}}\mathcal{E}\to\mathcal{E}$ is invertible, and it follows from Proposition 2.5 that $(\eta_{1},\ldots,\eta_{k})$ is a module frame for $\mathcal{E}$.

∎

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

[TABLE]

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

[TABLE]

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 Section 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\leq j\leq 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, 20, 17] for $L^{2}(G)$ in the sense that both of the following hold:

1. (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\leq j\leq k$, the map $z\mapsto\langle\xi,\pi(z)\eta_{j}\rangle$ is measurable. 2. (ii)

There exist positive constants $C,D>0$ such that for all $\xi\in L^{2}(G)$ we have that

[TABLE]

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 Section 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}\colon L^{2}(G)\to L^{2}(\Delta)$ given by

[TABLE]

for $\xi\in L^{2}(G)$. Its adjoint $D_{\eta}\colon L^{2}(\Delta)\to L^{2}(G)$ is called the synthesis operator and is given weakly by

[TABLE]

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

[TABLE]

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}\mathrel{\mathop{\mathchar 58\relax}}=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

[TABLE]

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:

1. (i)

If $\eta\in S_{0}(G)$, then $\mathcal{G}(\eta;\Delta)$ is a Bessel family for $L^{2}(G)$. 2. (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 $\boldsymbol{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\colon\Delta\times\Delta\to\mathbb{T}$ that satisfies the following two identities:

1. (i)

For every $z_{1},z_{2},z_{3}\in\Delta$ we have that

[TABLE] 2. (ii)

If [math] denotes the identity element of $\Delta$, then

[TABLE]

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

[TABLE]

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\colon\Delta\to\mathcal{U}(H)$ is called a $c$-projective unitary representation of $\Delta$ on $H$ if the following two properties hold:

1. (i)

$\pi$ is strongly continuous, i.e. for every $\xi\in H$, the map $\Delta\to H$, $z\mapsto\pi(z)\xi$ is continuous. 2. (ii)

For every $z,w\in\Delta$, we have that

[TABLE]

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\colon\Delta\to\mathcal{U}(H)$ on a Hilbert space $H$, there is a nondegenerate $*$-representation $\overline{\pi}\colon C^{*}(\Delta,c)\to\mathcal{L}(H)$ which for $a\in L^{1}(\Delta,c)$ is given weakly by

[TABLE]

The above representation is called the integrated representation of $\pi$. Conversely, if $\Pi\mathrel{\mathop{\mathchar 58\relax}}C^{*}(\Delta,c)\to\mathcal{L}(H)$ is any nondegenerate $*$-representation of $C^{*}(\Delta,c)$ on $H$, then there exists a unique $c$-projective unitary representation $\pi\colon\Delta\to\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

[TABLE]

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\colon\Delta\times\Delta\to\mathbb{T}$ given by

[TABLE]

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

[TABLE]

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}\colon C^{*}(\Delta,c)\to\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 Section 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:

1. (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

[TABLE] 2. (ii)

If $\xi,\eta\in S_{0}(G)$, then ${{}_{\bullet}\!\!}\left\langle\xi,\eta\right\rangle\in S_{0}(\Delta,c)$ and $\left\langle\xi,\eta\right\rangle\!\!{{}_{\bullet}}\in S_{0}(\Delta^{\circ},\overline{c})$, with

[TABLE]

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\colon G\times\widehat{G}\to\mathcal{L}(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

[TABLE]

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 $\boldsymbol{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 $\operatorname{tr}\mathrel{\mathop{\mathchar 58\relax}}A\to\mathbb{C}$ denote a finite trace on $A$, i.e. a positive linear functional on $A$ that satisfies $\operatorname{tr}(a^{*}a)=\operatorname{tr}(aa^{*})$ for all $a\in A$. Assume also that $\operatorname{tr}$ is faithful, that is, $\operatorname{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

[TABLE]

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 $\|\cdot\|_{H_{\mathcal{E}}}$ coming from $\langle\cdot,\cdot\rangle_{\operatorname{tr}}$ by $H_{\mathcal{E}}$. For $\xi\in\mathcal{E}$, the chain of inequalities

[TABLE]

shows that the embedding $\mathcal{E}\hookrightarrow H_{\mathcal{E}}$ is continuous. Moreover, if $\operatorname{tr}$ is a state, that is, $\|\operatorname{tr}\|=1$, then the embedding is norm-decreasing. The Hilbert space $H_{\mathcal{E}}$ is called the localization of $\mathcal{E}$ with respect to $\operatorname{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 $\operatorname{tr}$. Let $T\colon\mathcal{E}\to\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 $\|T\|$. For all $\xi\in\mathcal{E}$ we have that ${{}_{\bullet}\!\!}\left\langle T\xi,T\xi\right\rangle\leq\|T\|^{2}{{}_{\bullet}\!\!}\left\langle\xi,\xi\right\rangle$ [30, Corollary 2.22]. Applying $\operatorname{tr}$ on both sides, we obtain

[TABLE]

which shows that $T$ extends to a bounded linear operator of Hilbert spaces $\overline{T}\colon H_{\mathcal{E}}\to H_{\mathcal{F}}$. If $\|\overline{T}\|_{h}$ denotes the norm of $\overline{T}$ as a Hilbert space operator, then (22) also shows that $\|\overline{T}\|_{h}\leq\|T\|$. 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})\to\mathcal{L}(H_{\mathcal{E}})$ is an isometry. Hence in this case we have

[TABLE]

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 $\operatorname{tr}$ similarly, except in this situation we have to set the inner product to be $\langle\xi,\eta\rangle_{\operatorname{tr}}=\operatorname{tr}(\left\langle\eta,\xi\right\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\mathrel{\mathop{\mathchar 58\relax}}A_{+}\to[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)\leq\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_{+}\mathrel{\mathop{\mathchar 58\relax}}\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}=\operatorname{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}=\operatorname{span}A_{+}^{\phi}=\operatorname{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 $\operatorname{tr}$ a (possibly unbounded) trace on $A$. There are two problems with localizing $\mathcal{E}$ with respect to $A$: The first one is that $\operatorname{tr}({{}_{\bullet}\!\!}\left\langle\xi,\eta\right\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=\operatorname{tr}({{}_{\bullet}\!\!}\left\langle\xi,\eta\right\rangle)$. The other problem is that we might not get a continuous embedding $\mathcal{E}\to 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 $\operatorname{tr}_{B}$ is a faithful finite trace on $B$. Then the following hold:

1. (i)

If $\mathcal{E}$ is an imprimitivity $A$-$B$-bimodule, then there exists a unique lower semi-continuous trace $\operatorname{tr}_{A}$ such that

[TABLE]

for all $\xi\in\mathcal{E}$. Moreover, $\operatorname{tr}_{A}$ is faithful and densely defined, with $\operatorname{span}\{{{}_{\bullet}\!\!}\left\langle\xi,\eta\right\rangle\mathrel{\mathop{\mathchar 58\relax}}\xi,\eta\in\mathcal{E}\}\subseteq A^{\operatorname{tr}_{A}}$, and setting

[TABLE]

for $\xi,\eta\in\mathcal{E}$ defines an inner product on $\mathcal{E}$, with $\langle\xi,\eta\rangle_{\operatorname{tr}_{A}}=\langle\xi,\eta\rangle_{\operatorname{tr}_{B}}$ for all $\xi,\eta\in\mathcal{E}$. Consequently, the Hilbert space obtained by completing $\mathcal{E}$ in the norm $\|\xi\|^{\prime}=\operatorname{tr}_{A}({{}_{\bullet}\!\!}\left\langle\xi,\xi\right\rangle)^{1/2}$ is just the localization of $\mathcal{E}$ with respect to $\operatorname{tr}_{B}$. 2. (ii)

If $\mathcal{E}$ and $\mathcal{F}$ are imprimitivity $A$-$B$-bimodules, then every adjointable $A$-linear operator $\mathcal{E}\to\mathcal{F}$ has a unique extension to a bounded linear operator $H_{\mathcal{E}}\to H_{\mathcal{F}}$. Furthermore, the map $\mathcal{L}_{A}(\mathcal{E},\mathcal{F})\to\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})\to\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 $\operatorname{tr}_{A}$ on $A$ such that the relation in equation (24) holds for all $\xi\in\mathcal{E}$. Since $\operatorname{tr}_{B}$ is finite, it is densely defined, and so $\operatorname{tr}_{A}$ is densely defined by the same proposition. The same goes for faithfulness. Since $\operatorname{tr}_{A}({{}_{\bullet}\!\!}\left\langle\xi,\xi\right\rangle)=\operatorname{tr}_{B}(\left\langle\xi,\xi\right\rangle\!\!{{}_{\bullet}})<\infty$, we have that $\operatorname{span}\{{{}_{\bullet}\!\!}\left\langle\xi,\xi\right\rangle\mathrel{\mathop{\mathchar 58\relax}}\xi\in\mathcal{E}\}\subseteq\operatorname{span}A_{+}^{\operatorname{tr}_{A}}=A^{\operatorname{tr}_{A}}$. By the polarization identity for Hilbert $C^{*}$-modules, elements of the form ${{}_{\bullet}\!\!}\left\langle\xi,\eta\right\rangle$ are in $\operatorname{span}\{{{}_{\bullet}\!\!}\left\langle\xi,\xi\right\rangle\mathrel{\mathop{\mathchar 58\relax}}\xi\in\mathcal{E}\}$, and so the unique extension of $\operatorname{tr}_{A}$ to a positive linear functional on $A^{\operatorname{tr}_{A}}$ is defined on all elements of the form ${{}_{\bullet}\!\!}\left\langle\xi,\eta\right\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 $\operatorname{tr}_{A}({{}_{\bullet}\!\!}\left\langle\xi,\eta\right\rangle)=\operatorname{tr}_{B}(\left\langle\eta,\xi\right\rangle\!\!{{}_{\bullet}})$ for all $\xi,\eta\in\mathcal{E}$, and so $\langle\xi,\eta\rangle_{\operatorname{tr}_{A}}=\langle\xi,\eta\rangle_{\operatorname{tr}_{B}}$.

If $T\in\mathcal{L}(\mathcal{E},\mathcal{F})$, then we have that ${{}_{\bullet}\!\!}\left\langle T\xi,T\xi\right\rangle\leq\|T\|{{}_{\bullet}\!\!}\left\langle\xi,\xi\right\rangle$ for every $\xi\in\mathcal{E}$. Taking the trace $\operatorname{tr}_{A}$, we obtain that $\|T\xi\|_{H_{\mathcal{E}}}\leq\|T\|\|\xi\|_{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}}\to H_{\mathcal{F}}$, and that the inclusion $\mathcal{L}(\mathcal{E},\mathcal{F})\to\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. ∎

We will refer to the localization of $\mathcal{E}$ with respect to $\operatorname{tr}_{B}$ in Proposition 3.1 above also as the localization of $\mathcal{E}$ with respect to $\operatorname{tr}_{A}$.

Remark 3.2*.*

If both $A$ and $B$ are unital in Proposition 3.1, then $\operatorname{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 $\operatorname{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 $\operatorname{tr}_{B}$.

3.2. Localization of the twisted group $\boldsymbol{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:

\ell^{1}(\Delta)$$C^{*}(\Delta,c)$$\ell^{2}(\Delta)$$H$$\cong

Moreover, the inclusion map $C^{*}(\Delta,c)\to\ell^{2}(\Delta)$ is norm-decreasing, that is, for all $a\in C^{*}(\Delta,c)$ we have that

[TABLE]

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}\!\!}\left\langle a,b\right\rangle=ab^{*}$ for $a,b\in C^{*}(\Delta,c)$, and so the inner product with respect to $\operatorname{tr}$ is given by $\langle a,b\rangle_{\operatorname{tr}}=\operatorname{tr}(ab^{*})$. If $a,b\in\ell^{1}(\Delta,c)$, then

[TABLE]

This shows that $\langle\cdot,\cdot\rangle_{\operatorname{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 $\operatorname{tr}$ is a state, we have that the inclusion $C^{*}(\Delta,c)\hookrightarrow\ell^{2}(G)$ is norm-decreasing. ∎

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 $\operatorname{tr}$ on $C^{*}(\Delta,c)$ given by $\operatorname{tr}(a)=a(0)$ for $a\in\ell^{1}(\Delta,c)$. However, note that this is not a state when $k\neq 1$. Indeed, the multiplicative identity of $C^{*}(\Delta,c)$ is $k^{-1}\delta_{0}$ rather than $\delta_{0}$, and so

[TABLE]

If we rescale $\operatorname{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 $\operatorname{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 $\operatorname{tr}_{A}({{}_{\bullet}\!\!}\left\langle\xi,\eta\right\rangle)=\operatorname{tr}_{B}(\left\langle\eta,\xi\right\rangle\!\!{{}_{\bullet}})$ for all $\xi,\eta\in\mathcal{E}_{\Delta}(G)$. If $\xi,\eta\in S_{0}(G)$, then

[TABLE]

But there is a canonical trace $\operatorname{tr}_{B}^{\prime}$ on $B$ such that $\operatorname{tr}_{B}^{\prime}(b)=b(0)$ whenever $b\in\ell^{1}(\Delta^{\circ},\overline{c})$. Since $\operatorname{tr}_{B}^{\prime}(\left\langle\eta,\xi\right\rangle\!\!{{}_{\bullet}})=\left\langle\xi,\eta\right\rangle\!\!{{}_{\bullet}}(0)=\langle\pi(0)\xi,\eta\rangle=\langle\xi,\eta\rangle$, this shows that $\operatorname{tr}_{B}$ and $\operatorname{tr}_{B}^{\prime}$ agree on $\operatorname{span}\{\left\langle\xi,\eta\right\rangle\!\!{{}_{\bullet}}\mathrel{\mathop{\mathchar 58\relax}}\xi,\eta\in S_{0}(G)\}$. Since the latter is dense in $B$, we conclude that $\operatorname{tr}_{B}=\operatorname{tr}_{B}^{\prime}$. Note however by Remark 3.4 that the faithful trace $\operatorname{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 $\operatorname{tr}_{B}$ the canonical faithful trace on $B$ as in Remark 3.4. Then the induced trace $\operatorname{tr}_{A}$ on $A$ via the Heisenberg module $\mathcal{E}_{\Delta}(G)$ as in Proposition 3.1 is given by

[TABLE]

for $\xi,\eta\in S_{0}(G)$. In particular, if $\Delta$ is a lattice in $G\times\widehat{G}$, then $\operatorname{tr}_{A}$ is the canonical faithful tracial state on $C^{*}(\Delta,c)$.

Proof.

By Proposition 3.1, the induced trace $\operatorname{tr}_{A}$ satisfies

[TABLE]

for all $\xi,\eta\in\mathcal{E}_{\Delta}(G)$. If $\xi,\eta\in S_{0}(G)$, then $\left\langle\eta,\xi\right\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

[TABLE]

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 $\operatorname{tr}$ on $C^{*}(\Delta,c)$ is given by $\operatorname{tr}(a)=a(0)$ for $a\in\ell^{1}(\Delta,c)=S_{0}(\Delta,c)$. In particular, $\operatorname{tr}({{}_{\bullet}\!\!}\left\langle\xi,\eta\right\rangle)=\langle\xi,\eta\rangle$. By fullness of $\mathcal{E}$ as a left Hilbert $A$-module, it follows that $\operatorname{tr}$ and $\operatorname{tr}_{A}$ agree on a dense subspace of $A$, hence on all of $A$. This shows that $\operatorname{tr}_{A}$ is indeed the faithful canonical tracial state on $A$. ∎

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 Section 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 $\operatorname{tr}_{B}$ on $B$ given by $\operatorname{tr}_{B}(b)=b(0)$ for $b\in\ell^{1}(\Delta^{\circ},c)$. We equip $A$ with the possibly unbounded trace $\operatorname{tr}_{A}$ induced from $\operatorname{tr}_{B}$ as in Proposition 3.5. In particular, if $\Delta$ is a lattice, then $\operatorname{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:

S_{0}(G)$$\mathcal{E}_{\Delta}(G)$$L^{2}(G)$$H$$\cong

Thus, the Heisenberg module can be continuously embedded into $L^{2}(G)$, with

[TABLE]

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}\!\!}\left\langle\xi,\eta\right\rangle\in S_{0}(\Delta,c)$ by Proposition 2.12, and so by (19) and Proposition 3.5 we obtain

[TABLE]

This shows that $\langle\cdot,\cdot\rangle_{\operatorname{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 $\|\operatorname{tr}_{B}\|=\operatorname{tr}_{B}(1_{B})=s(\Delta)$, see 3.4, we have

[TABLE]

This implies (26). ∎

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)\to\mathcal{E}_{\Delta}(G)$ has a unique extension to a bounded linear map $L^{2}(G)\to 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}\colon\mathcal{E}_{\Delta}(G)\to\mathcal{E}_{\Delta}(G)$ extends to the Gabor frame-like operator $S_{\eta,\gamma}\colon L^{2}(G)\to 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}\!\!}\left\langle\xi,\eta\right\rangle\in S_{0}(\Delta,c)$, and consequently ${{}_{\bullet}\!\!}\left\langle\xi,\eta\right\rangle\cdot\gamma\in S_{0}(G)$. Moreover, equations (19) and (18) give that

[TABLE]

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 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}$. ∎

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:

[TABLE]

Proof.

By Proposition 2.4, the Heisenberg module norm of $\eta$ is given by $\|\eta\|_{\mathcal{E}_{\Delta}(G)}=\|\Theta_{\eta}\|_{\mathcal{L}(\mathcal{E}_{\Delta}(G))}^{1/2}$. Since $\eta\in S_{0}(G)$, we get from Lemma 3.8 and (23) that

[TABLE]

Now from the equality $S_{\eta}=C_{\eta}^{*}C_{\eta}$ it follows that $\|S_{\eta}\|^{1/2}=\|C_{\eta}\|$. This takes care of (27) and (28). The expressions in (29) and (30) are well-known for the operator norm $\|C_{\eta}\|$. ∎

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

[TABLE]

for all $\xi\in L^{2}(G)$. Consequently, the analysis, synthesis and frame-like operators ${C_{\eta}\colon L^{2}(G)\to L^{2}(\Delta)}$, $D_{\eta}\colon L^{2}(\Delta)\to L^{2}(G)$, $S_{\eta,\gamma}\colon L^{2}(G)\to 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

[TABLE]

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 $\|\eta_{n}\|_{\mathcal{E}_{\Delta}(G)}^{2}$. Since $(\eta_{n})_{n}$ is convergent in the Heisenberg module norm, it follows that $(\|\eta_{n}\|_{\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

[TABLE]

for every $\xi\in L^{2}(G)$ and every $n\in\mathbb{N}$. Since $(\eta_{n})_{n}\to\eta$ in $\mathcal{E}_{\Delta}(G)$, we have from Proposition 3.7 that $(\eta_{n})_{n}\to\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

[TABLE]

By Fatou’s lemma, we obtain for every $\xi\in L^{2}(G)$ that

[TABLE]

This proves that $\mathcal{G}(\eta;\Delta)$ is a Bessel family. ∎

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:

[TABLE]

Proof.

Let $\eta\in\mathcal{E}_{\Delta}(G)$. We will show that $\|\eta\|_{\mathcal{E}_{\Delta}(G)}=\|C_{\eta}\|$. Once this is shown, the rest of the expressions for $\|\eta\|_{\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

[TABLE]

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\geq N$ we have that

[TABLE]

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

[TABLE]

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

[TABLE]

Now fix $\xi\in L^{2}(G)$. Then we have that

[TABLE]

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 3.7, we have that

[TABLE]

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

[TABLE]

This implies that

[TABLE]

∎

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

[TABLE]

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

[TABLE]

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 $\|\eta\|_{\mathcal{E}_{\Delta}(G)}=\|\eta\|_{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\to\infty}a_{n}=a$ in $C^{*}(\Delta,c)$. Let $(\xi_{n})_{n}$ be a sequence in $S_{0}(G)$ such that $\lim_{n\to\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

[TABLE]

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}\to\xi$ in the Heisenberg module norm, we have that $\xi_{n}\to\xi$ in the $L^{2}(G)$-norm. Also, since $\pi(a_{n})\to\pi(a)$ in the operator norm, we have that $\pi(a_{n})\xi_{n}\to\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)$. ∎

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 [math]. 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

[TABLE]

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 [math] is given by $\left\langle\xi,\eta\right\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)\to L^{2}(G\times\widehat{G})$ for all $\eta\in L^{2}(G)$, and is invertible for any $\eta\neq 0$, see [15, Theorem 6.2.1].

Example 3.14**.**

Suppose $G$ is a discrete group, and that $\Delta$ is a cocompact subgroup of $G\times\widehat{G}$ (which must then be a lattice). 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}\colon\mathcal{E}_{\Delta}(G)\to\mathcal{E}_{\Delta}(G)$ extends via localization to the Gabor frame-like operator $S_{\eta,\gamma}\colon L^{2}(G)\to 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

[TABLE]

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}$. ∎

We now arrive at another one of our main results. The following result was previously only known for generators in $S_{0}(G)$ [25, 17]. 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:

1. (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

[TABLE] 2. (ii)

The system

[TABLE]

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)$. ∎

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 $\|\eta\|_{\mathcal{E}_{\Delta^{\circ}}(G)}=s(\Delta)^{-1/2}\|\eta\|_{\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 3.6. Denote the left inner product on $\mathcal{E}_{\Delta^{\circ}}(G)$ by ${{}_{\bullet}\!\!}\left\langle\cdot,\cdot\right\rangle^{\prime}$ and the right inner product by $\left\langle\cdot,\cdot\right\rangle\!\!{{}_{\bullet}}^{\prime}$.

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

[TABLE]

From the above we see that

[TABLE]

Using the faithfulness of the integrated representations (Proposition 2.11), we obtain for all $\eta\in S_{0}(G)$ that

[TABLE]

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 $\|\eta\|_{\mathcal{E}_{\Delta^{\circ}}(G)}=s(\Delta)^{1/2}\|\eta\|_{\mathcal{E}_{\Delta}(G)}$ for all $\eta\in\mathcal{E}_{\Delta}(G)$. ∎

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

[TABLE]

for $\eta,\gamma,\xi,\psi\in S_{0}(G)$. In short form it is just the statement

[TABLE]

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 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

[TABLE]

for all $n\in\mathbb{N}$. By Theorem 3.15 we have

[TABLE]

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)$:

[TABLE]

∎

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.