Heisenberg modules as function spaces (Q2300554): Difference between revisions

The paper under review concerns continuous frames on locally compact abelian groups and Hilbert \(C^*\)-modules. Let \(G\) be a second countable, locally compact abelian group with dual group \(\widehat G\) and \(\Delta\) be a closed, co-compact subgroup of \(G\times \widehat G\). The Heisenberg module \(\mathcal E_{\Delta}\) is an imprimitive \(C^*(G)\) bimodule obtained as the completion of the Feichtinger Segal algebra \(S_0(G)\). The main result here is that the Heisenberg module \(\mathcal E_{\Delta}\) over Rieffel's twisted group \(C^*\)-algebra \(C^*(\Delta, c)\) can be continuously and densely embedded in \(L^2(G)\). The authors first study localisation in the Heisenberg module using certain traces. These are applied to Gabor analysis to prove that the frame-like operators associated to Bessel families given by functions in \(\mathcal E_{\Delta}\) are well-defined bounded linear operators on \(L^2(G)\) and are extensions of `module frame-like operators' \(\mathcal E_{\Delta}\rightarrow \mathcal E_{\Delta}\). The next main result states that finite module frames for \(\mathcal E_{\Delta}\) are exactly the generators of multi-window Gabor frames for \(L^2(G)\), when the generators are in \(\mathcal E_{\Delta}\). When the generators come from \(S_0(G)\) this result is already known. The so-called fundamental identity of Gabor analysis is shown to hold for functions from \(\mathcal E_{\Delta}\) when \(\Delta\) is a lattice.