No label defined (Q4381889)

Ist \(K\) eine kompakte erzeugende Menge einer zusammenhängenden Lieschen Gruppe \(G\) und ist \(\pi\) eine stetige unitäre Darstellung von \(G\) in einem separablen Hilbertschen Raum \({\mathfrak H}={\mathfrak H}_\pi\) ohne \(\pi\)-Fixvektoren (die Menge der Äquivalenzklassen derartiger Darstellungen wird mit \(\widetilde G^*\) bezeichnet), so kann man die Zahl \(\kappa(G,K,\pi)=\inf_{\xi\in{\mathfrak H},\;\|\xi\|=1}\max_{s\in K}\|\pi(s)\xi-\xi\|\) bilden, und weiter \[ \kappa(G,K)=\inf_{\pi\in\widetilde G^*}\kappa(G,K,\pi). \] Es ist seit geraumer Zeit bekannt, dass \(\kappa(G,K)\) genau dann strikt positiv ist, wenn \(G\) die Kazhdansche Eigenschaft \((T)\) besitzt. Im vorliegenden Artikel wird den obigen Bildungen eine ``infinitesimale Version'' an die Seite gestellt. Ist \(X_1,\dots,X_n\) irgendeine Basis der Lieschen Algebra \(\mathfrak g\) von \(G\) und bezeichnet \(\Delta=-\sum^n_{j=1}X^2_j\) den zugehörigen Laplaceschen Operator, so sei \(k(G,\Delta,\pi)=\inf_{\xi\in{\mathfrak H}^\infty_\pi,\;\|\xi\|=1}\langle d\pi(\Delta)\xi,\xi\rangle\) und \(k(G,\Delta)=\inf_{\pi\in\widetilde G^*} k(G,\Delta,\pi)\). Es wird gezeigt, dass \(k(G,\Delta)\) genau dann strikt positiv ist, wenn \(G\) die Eigenschaft \((T)\) besitzt. Aber auch in anderen Fällen kann man \(k(G,\Delta,\pi)\) für bestimmte \(\pi\) nach unten abschätzen, wofür Beispiele angeführt werden.