Invariant subspaces of p-adic Hilbert spaces (Q4815575)

Let \(Q_p\) denote the field of \(p\)-adic numbers. For a discrete group \(\Gamma\), the \(p\)-adic group algebra is defined as the space of all formal sums \(S=\sum_{g\in \Gamma}s_g\cdot g\) where \(s_g\in Q_p\), \(s_g\to 0\), equipped with the norm \(s\mapsto \max\{| s_g| :g\in \Gamma\}\), and denoted \(S_\Gamma\). Further, let \(B_\Gamma\) be the space of all formal sums \(b=\sum_{g\in \Gamma}b_g\cdot g\) for which \(g\mapsto | b_g| \) is bounded. \(B_\Gamma\) is equipped with the locally convex topology defined by the seminorm \(| \;| _\nu\) where \(| b| _\nu:=\sup\{| \ell_g| \,| \nu_g| :g\in \Gamma\}\) and \(\nu_g\in Q_p\), \(\nu_g\to 0\). It is shown that the formula \[ \langle s,b\rangle =\sum_{g\in \Gamma} s_g b_g \] defines a continuous bilinear form in \(S_\Gamma \times B_\Gamma\) and that this pairing identifies the dual of \(S_\Gamma\) \((B_\Gamma)\) with \(B_\Gamma\) \((S_\Gamma)\) as vector spaces. Bounded operators \(S_\Gamma\to S_\Gamma\) that are invariant under the group action are studied and results are proved when \(\Gamma\) is a so-called unique product property group. In particular, the case \(\Gamma=\mathbb Z\) is investigated.