db54066d80b7f0b4.tex
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}