04fc021fea71b36d.tex
1: \begin{definition}[\Cite{Vgreen}, Definition 8.1.4]\label{def:length}
2: Suppose $\Gamma = (H,\gamma,R^+_{i{\mathbb R}})$ is a Langlands
3: parameter for $G$ (Theorem \ref{thm:LC}). Choose a system of positive
4: integral roots $R^+(d\gamma)$ subject to the requirements in Theorem
5: \ref{thm:cohfam}.  Let $L_{\text{real}}$ be a split semisimple real group
6: with root system the set $R_{\mathbb R}(d\gamma)$ of integral real
7: roots, and $K_{\text{real}}$ a maximal compact subgroup of
8: $L_{\text{real}}$. Define 
9: $$\begin{aligned}
10: c_{\text{real}} &=_{\text{def}} \#\{\text{positive roots for
11:   $L_{\text{real}}$}\} - 
12: \#\{\text{positive roots for $K_{\text{real}}$}\}.\\
13: &= \text{dimension of a Borel subgroup of $K_{\text{real}}({\mathbb
14:     C})$.}
15: \end{aligned}
16: $$
17: (The reason for the equality is that the Iwasawa decomposition for the
18: split group $L_{\text{real}}$ implies that
19: $$\dim K_{\text{real}} = \#\{\text{positive roots for $L_{\text{real}}$}\}.)$$
20: The {\em (integral) length of $\Gamma$} is
21: $$\ell(\Gamma) = \#\{\text{pairs $(\alpha,-\theta(\alpha))$ of complex
22:   roots in $R^+(d\gamma)$}\} + c_{\text{real}}.$$
23: 
24: Because this definition of length is natural, it is unchanged by
25: twisting $\Gamma$ by any automorphism commuting with $\theta$.  In
26: particular, it extends immediately to parameters for the extended
27: group: the length of a parameter for ${}^\delta G$ is just the length
28: of any constituent of its restriction to $G$.
29: \end{definition}