\(\ell^p(G)\)-linear independence and \(p\)-zero divisors (Q723838): Difference between revisions

Let \(T\) be a unitary action of a countable discrete Abelian group \(G\) on a Hilbert space \(\mathcal{H}\). Define \[ \mathcal{B}_{\psi} = \{ T_g : g \in G\}, \] where \(\psi \in \mathcal{H}\). In the paper under review, the author studies the linear independence of the elements in \(\mathcal{B}_{\psi}\) over various spaces when \(T\) is a unitary dual integrable representation of \(G\). More precisely, let \(\mathcal{K}\) be a subset of the set of all sequences of complex numbers. For \(\psi \in \mathcal{H}\setminus \{ 0 \}\), the set \(\mathcal{B}_{\psi}\) will be \(\mathcal{K}\)-linearly independent in \(\mathcal{H}\) if \[ (c_k) \in \mathcal{K}, \sum_{k \in G} c_k T_k \psi = 0 \text{ in } \mathcal{H} \Rightarrow c_k = 0, \forall k \in G. \] The problem of \(\mathcal{K}\)-linear independence is studied for \(\mathcal{K} = \ell^p(G) (1 \leq p \leq \infty), \mathcal{K} = C_0(G)\) and \(\mathcal{K} = \mathbb{C}G\), the set of sequences \((c_k)\) where \(c_k = 0\) for all but a finite number of \(k\). The author proves: \(\{ T_k \psi : k \in G\}\) is \(\mathcal{K}\)-linearly independent in \(\mathcal{H}\) if and only if \(\{ \hat{h}( \cdot - k) : k \in G\}\) is \(\mathcal{K}\)-linearly independent in \(\ell^2(G)\), where \( h \in L^2(\widehat{G})\) and \([ \psi, \psi ]_T = | h |^2\) almost everywhere. With this characterization the author is able to use the theory of \(p\)-zero divisors to derive new results on the \(\mathcal{K}\)-linear independence of elements in \(\mathcal{B}_{\psi}\) when \(\mathcal{K}\) is one of \(\ell^p(G) (1 \leq p \leq \infty), C_0(G)\) or \(\mathbb{C}G\). Some of the results in this paper generalize the author's results from [J. Fourier Anal. Appl. 20, No. 4, 766--783 (2014; Zbl 1304.42081)].