1: \begin{abstract}
2: The study of harmonic functions on a locally compact group $G$ has recently
3: been transferred to a ``non-commutative'' setting in two different directions:
4: C.-H.\ Chu and A.\ T.-M.\ Lau replaced the algebra $L^\infty(G)$ by the
5: group von Neumann algebra $\VN(G)$ and the convolution action of a probability
6: measure $\mu$ on $L^\infty(G)$ by the canonical action of a positive definite
7: function $\sigma$ on $\VN(G)$; on the other hand, W.\ Jaworski and the
8: first-named author replaced $L^\infty(G)$ by ${\cal B} (L^2(G))$ to which
9: the convolution action by $\mu$ can be extended in a natural way.
10: We establish a link between both approaches. The action of $\sigma$
11: on $\VN(G)$ can be extended to ${\cal B} (L^2(G))$. We study the
12: corresponding space $\tilde{\cal H}_\sigma$ of ``$\sigma$-harmonic operators'',
13: i.e., fixed points in ${\cal B} (L^2(G))$ under the action of $\sigma$.
14: We show, under mild conditions on either $\sigma$ or $G$, that
15: $\tilde{\cal H}_\sigma$ is in fact a von Neumann subalgebra of
16: ${\cal B} (L^2(G))$. Our investigation of $\tilde{\cal H}_\sigma$ relies, in
17: particular, on a notion of support for an arbitrary operator
18: in ${\cal B} (L^2(G))$ that extends Eymard's definition for elements of
19: $\VN(G)$. Finally, we present an approach to $\tilde{\cal H}_\sigma$ via
20: ideals in ${\cal T} (L^2(G))$---where ${\cal T}(L^2(G))$ denotes the trace
21: class operators on $L^2(G)$, but equipped with a product different from
22: composition---, as it was pioneered for harmonic functions by G.\ A.\ Willis.
23: \end{abstract}
24: