1: \begin{abstract}
2: In this paper, we propose a property which is a natural
3: generalization of Kazhdan's property $(T)$ and prove that many,
4: but not all, groups with property $(T)$ also have this property.
5:
6: Let $\G$ be a finitely generated group. One definition of $\G$
7: having property $(T)$ is that $H^1(\G,\pi,\fh)=0$ where the
8: coefficient module $\fh$ is a Hilbert space and $\pi$ is a unitary
9: representation of $\G$ on $\fh$. Here we allow more general
10: coefficients and say that $\G$ has property $F \otimes H$ if
11: $H^1(\G,\pi_1{\otimes}\pi_2,F{\otimes}\fh)=0$ if $(F,\pi_1)$ is
12: any representation with $\dim(F)<\infty$ and $(\fh,\pi_2)$ is a
13: unitary representation.
14:
15: The main result of this paper is that a uniform lattice in a
16: semisimple Lie group has property $F \otimes H$ if and only if it
17: has property $(T)$. The proof hinges on an extension of a
18: Bochner-type formula due to Matsushima-Murakami and Raghunathan.
19: We give a new and more transparent derivation of this formula as
20: the difference of two classical Weitzenb\"{o}ck formula's for two
21: different structures on the same bundle. Our Bochner-type formula
22: is also used in our work on harmonic maps into continuum products
23: \cite{Fisher-Hitchman2,Fisher-Hitchman1}. Some further
24: applications of property $F \otimes H$ in the context of group
25: actions will be given in \cite{Fisher-Hitchman3}.
26: \end{abstract}
27: