1: \begin{definition}\label{def:tauinv}
2: In the setting of Theorem \ref{thm:cohfam}, the subset
3: $$\tau_s(\Gamma) \subset \Pi(d\gamma_s)$$
4: of the simple integral roots is called the {\em $\tau$-invariant of
5: the irreducible representation $J(\Gamma)$}, or the {\em
6: $\tau$-invariant of $\Gamma$}. (Because of the canonical
7: isomorphism $i(R^+_s,R^+)$, we may also refer to $\tau(\Gamma) \subset
8: \Pi(d\gamma)$ as the $\tau$-invariant.)
9: \end{definition}