1: \newcommand{\opp}{{\mathrm opp}}
2:
3: \section{The elements $\bpi$ and $\bw_0$}\label{secpi}
4:
5: We consider here the order 1 $F$-root of $\bpi$, given which is
6: $\by=\bpi$, and the order 2 $F$-root $\by=\bw_0$. For $\bw_0$, we will
7: just show how conjectures \ref{A} to \ref{C} follow from known results.
8: For $\bpi$, we will in addition prove conjecture \ref{D} in a certain
9: number of cases, including split type $A$ in general.
10:
11: We recall that (\cf\ \cite[proposition 2.1.6]{DMR}) the group $C_W(F)$
12: (resp. $C_W(w_0F)$) is a Coxeter group with Coxeter generators the
13: elements $w_0^I$ for $I$ an element of the set of orbits $S/F$ (resp.
14: $I\in S/w_0F$). The corresponding braid groups $C_B(\bpi F)$ (resp
15: $C_B(\bw_0 F)$) have as generators the corresponding elements $\bw_0^I$.
16:
17: Since the generators $\bw_0^I$ divide $\bpi$ (resp $\bw_0$) in $B^+$,
18: conjecture \ref{A} is trivial. For $\bpi$, conjecture \ref{conj} is also
19: trivial. For $\bw_0$ it results from the remark below \ref{conj} and the
20: fact that $\bw_0$ is the only ``good'' square $F$-root of $\bpi$ since
21: it is the only element of $\bW$ of its length.
22:
23: Since $\bpi F$ (resp. $\bw_0 F$) acts as a diagram automorphism,
24: conjecture \ref{B} is \cite[corollary 4.4]{michel}.
25:
26: Conjecture \ref{C} holds for the cases $\by=\bpi$ and $\by=\bw_0$ by the
27: following results:
28:
29: \begin{proposition}\label{pi} \cite[5.3.4]{DMR}
30: The map $\bt\mapsto D_\bt$ from $C_B(F)$ to the $\GF$-endomorphisms of
31: $H^*_c(\bX(\bpi))$ factors through the specialization $x\mapsto q$ of a
32: 1-cyclotomic Hecke algebra for $C_W(F)$ which is the specialization
33: $ u_{\bw_0^I,0}\mapsto x^{l(w_0^I)}$, $u_{\bw_0^I,1}\mapsto -1$ of the
34: generic Hecke algebra of $C_W(F)$.
35: \end{proposition}
36:
37: \begin{proposition}\label{w0} \cite[5.4.1]{DMR}
38: The map $\bt\mapsto D_\bt$ from $C_B(w_0 F)$ to
39: the $\GF$-endomor\-phisms of $H^*_c(\bX(\bw_0))$ factors through
40: the specialization $x\mapsto q$ of a 2-cyclotomic Hecke algebra
41: for $C_W(w_0 F)$ which is the specialization
42: $u_{\bw_0^I,\varepsilon}\mapsto x^{l(w_0^I)}$, $u_{\bw_0^I,1-\varepsilon}
43: \mapsto (-1)^{1+l(\bw_0^I)}$, where $\varepsilon=0$ if $l(w_0^I)$ is even and
44: $1$ otherwise, of the generic Hecke algebra of $C_W(w_0 F)$.
45: \end{proposition}
46:
47: We will now consider conjecture \ref{D} for $\by=\bpi$. Let $\CH$ be the
48: cyclotomic algebra of \ref{pi}. Since the characters of $\CH$ are only
49: defined over $\Qlbar[x^{1/2}]$ (for $W$ irreducible, this happens only
50: for the characters of degree 512 of $W(E_7)$ and those of degree 4096 of
51: $W(E_8)$), we need to take the integer $a$ defined above \ref{C}
52: equal to $2$ and thus consider the specialization $f:x^{1/2}\mapsto
53: q^{1/2}$ of the algebra with parameters
54: $u_{\bw_0^I,0}\mapsto ((-x^{1/2})^{2l(w_0^I)})$
55: and $u_{\bw_0^I,1}\mapsto -1$. In the terms of
56: \cite[5.3]{DMR} this corresponds to the specialization $x^{1/2}\mapsto
57: -q^{1/2}$ of $\CH_x(W,F)$. We recall from \cite[5.3.2]{DMR}
58: that if $f'$ is the specialization $x^{1/2}\mapsto -q^{1/2}$
59: (which corresponds to the specialization $x^{1/2}\mapsto q^{1/2}$
60: of $\CH_x(W,F)$),
61: and if we fix an $F$-stable Borel subgroup $\bB$, then
62: $\CH\otimes_{f'}\Qlbar\simeq\End_{\Qlbar\GF}(\Ind_\BF^\GF\Id)$.
63:
64: Let $\sigma$ be the semi-linear automorphism, coming from
65: $\Gal(\Qlbar(x^{1/2})/\Qlbar(x)$, given by $x^{1/2}\mapsto -x^{1/2}$ of
66: $\CH$; thus $f\circ\sigma=f'$.
67: Let $\CH_q=\CH\otimes_{f'}\Qlbar$, let
68: $\chi\mapsto\chi_q$ be the bijection between characters of $\CH$ and
69: $\CH_q$ obtained via $f'$, and
70: let $\chi_q\mapsto\rho_\chi$ be the bijection
71: between characters of
72: $\CH_q$ and characters of $\GF$ occurring in $\Ind_\BF^\GF\Id$ coming
73: from \cite[5.3.2]{DMR}.
74:
75: Let us recall that the representation $\Ind_\BF^\GF\Id$ of
76: $\CH\otimes_{f'}\Qlbar$ is special (\cf\ \ref{D} (ii));
77: this follows from the
78: fact that the image of any non-trivial $\bw\in\bW$ has zero trace in
79: this representation, which characterizes the canonical trace form for
80: Hecke algebras of Coxeter groups.
81:
82: It follows that conjecture \ref{D} is implied by the
83:
84: \begin{conjecture}\label{conjecture Xpi}
85:
86: $\sum_i(-1)^i H^i_c(\bX(\bpi))=
87: \sum_{\chi\in\Irr(W^F)}\rho_\chi\otimes \sigma(\chi)_q$.
88: \end{conjecture}
89:
90: \smallskip
91: In the remaining part of this section we will prove the following theorem:
92: \begin{theorem}\label{Endomorphismes de Xpi}
93: Conjecture \ref{conjecture Xpi} holds if the characteristic is almost
94: good for $\bG$ and if $(W,F)$ is irreducible of type untwisted
95: $A_n$, $B_2$, $B_3$, $B_4$, $D_4$, $D_5$, $D_6$, $D_7$, $G_2$ or $E_6$.
96: \end{theorem}
97: Recall that the characteristic is almost good for $\bG$ if it is good
98: for each simple component of exceptional type of $\bG$.
99:
100: \begin{proof}
101: We have to prove that the virtual character of $\CH_q$
102: appearing in the $\rho_\chi$-isotypic component
103: of $\sum_i(-1)^iH^i_c(\bX(\bpi),\Qlbar)$ is equal to
104: $\sigma(\chi)_q$.
105: This is equivalent to proving that for any $\bx\in C_{B^+}(F)$ and any
106: $\chi\in\Irr(W^F)$, we have:
107:
108: \begin{equation}
109: \scal{g\mapsto\TrH{gD_\bx}{\bX(\bpi)}}
110: {\rho_\chi}\GF=\sigma(\chi)_q(T_\bx),\tag{1}\end{equation}
111:
112: where $T_\bx$ denotes the image of $\bx$ in $\CH_q$.
113: We will prove this equality for sufficiently many elements of
114: $C_{B^+}(F)$ to deduce it for all elements for groups in the list
115: of \ref{Endomorphismes de Xpi}. In the next two lemmas we need not assume
116: $\bG$ split or irreducible.
117:
118: \begin{lemma}\label{(1) pour x parabolique}
119: If conjecture \ref{conjecture Xpi} holds for any reductive group with
120: semi-simple rank less than that of $\bG$ then (1) holds for any $\bx\in
121: C_{B^+_\bI}(F)$ for any $F$-stable proper subset $\bI$ of $S$.
122: \end{lemma}
123: \begin{proof}
124: If $\bL_I$ is the standard Levi subgroup of $\bG$ corresponding to
125: $I$, then by
126: \cite[th\'eor\`eme 5.2.10]{DMR}, for $\bx\in C_{B^+_\bI}(F)$ we have:
127: $$\displaylines{\scal{g\mapsto\TrH{gD_\bx}{\bX(\bpi)}}
128: {\rho_\chi}\GF=\hfill\cr \hfill\scal{l\mapsto\TrH{lD_\bx}
129: {\bX_{\bL_I}(\bpi_\bI)}} {\lexp*R^\GF_{\bL_I^F}\rho_\chi}{\bL_I^F},\cr}$$
130: which by assumption is equal to
131: $$\sum_{\varphi\in\Irr(W^F_I)}\sigma(\varphi)_q(T_\bx) \scal{\rho_\varphi}
132: {\lexp*R^\GF_{\bL_I^F}\rho_\chi}{\bL_I^F}.$$
133: As $\scal{\rho_\varphi} {\lexp*R^\GF_{\bL_I^F}\rho_\chi}{\bL_I^F}=
134: \scal\varphi{\Res^{W^F}_{W_I^F}\chi}{W_I^F}$, \cf\ \cite[Theorem 70.24]
135: {Curtis-Reiner}, we get (1) for $\bx$.
136: \end{proof}
137:
138: \begin{lemma}\label{(1) pour pi^n}
139: Equality (1) holds if $\bx=\bpi^n$, with $n$ multiple of $\delta$.
140: \end{lemma}
141: \begin{proof}
142: As $\bpi^n$ acts by $F^n$ on $\bX_\bpi$, we have
143: $\TrH{gD_{\bpi^n}}{\bX(\bpi)}=|\bX(\bpi)^{gF^n}|$ by the Lefschetz trace formula.
144: We shall use the same methods and notation as in \cite[\S 2.B et \S 6.D]{Sydney}.
145: Proposition \cite[3.3.7]{DMR} shows that
146: $$|\bX(\bpi)^{gF^n}|=\sum_{\rho\in\Irr(\GF)}\rho(g)\sum_{\chi\in\Irr(W)^F}
147: \langle \rho,R_{\tilde{\chi}}\rangle\tilde{\chi}_q(T_\pi^n F).$$
148: We have $\tilde{\chi}_q(T_\pi^n F)=q^{n(2N-a_{\chi}-A_{\chi})}
149: \tilde{\chi}(F)$ \cite[proposition 6.11]{Sydney} whence we get as in the proof of
150: \cite[Proposition 2.5]{Sydney}
151: $$|\bX(\bpi)^{gF^n}|=\sum_{\rho\in\Irr(\GF)}\rho(g)
152: \langle \rho,\Ind_{\bB^F}^{\bG^F}\Id\rangle q^{n(2N-a_{\rho}-A_{\rho})}=
153: \sum_{\chi\in\Irr(W^F)}
154: \chi(1)q^{n(2N-a_{\chi}-A_{\chi})}\rho_\chi(g).$$
155: We now use $\chi_q(T_\bpi^n)=\sigma(\chi)_q(T_\bpi^n)=\chi(1)
156: q^{n(2N-a_\chi-A_\chi)}$
157: \cite[corollaire 4.21]{Sydney}, which gives the result.
158: \end{proof}
159:
160: \begin{lemma}\label{(1) pour racines de pi}
161: If the characteristic is almost good for the split irreducible group $\bG$,
162: equality (1) holds when $\bx$ is a root of $\bpi$.
163: \end{lemma}
164: \begin{proof} \ref{(1) pour pi^n} shows the result for $\bx=\bpi$; we thus
165: assume that $\bx$ is a $d$-th root of $\bpi$ with $d\geq 2$.
166: By \cite[5.2.2 (i)]{DMR}
167: the endomorphism $D_\bw$ of $\bX(\bpi)$ satisfies the trace formula so that
168: $$\TrH{gD_\bw}{\bX(\bpi)}=|\bX(\bpi)^{gD_\bw}|.$$ Moreover, by
169: \cite[5.2.2 (ii)]{DMR}, we have
170: $(g\mapsto|\bX(\bpi)^{gD_\bw}|)=\Sh^d(g\mapsto\Trace(gT_\bw\mid\Ind_\BF^\GF\Id))$.
171: So we have to prove
172: $$\Sh^d(g\mapsto\Trace(gT_\bw\mid\Ind_\BF^\GF\Id))=
173: \sum_{\chi_q\in\Irr(\CH_q(W,F))}\sigma(\chi)_q(T_\bw)\rho_\chi,$$
174: which is equivalent to
175: \begin{equation}\sum_{\chi_q\in\Irr(\CH_q(W,F))}\chi_q(T_\bw)\Sh^d\rho_\chi=
176: \sum_{\chi_q\in\Irr(\CH_q(W,F))}\sigma(\chi)_q(T_\bw)\rho_\chi.\tag{$1'$}
177: \end{equation}
178:
179: To prove this, we may replace $\bw$ by a conjugate in $B$ so we may
180: assume that $\bw$ is a ``good'' root, in particular that $\bw\in\bW$.
181: As usual we set $w=\beta(\bw)$.
182:
183: We have
184: $\chi_q(T_\bw)=\chi(w)q^{\frac{2N-a_{\rho_\chi}-A_{\rho_\chi}}d}$:
185: one gets this by applying \cite[6.15(2)]{spetses} to $\CH$;
186: it is a principal algebra (see \loccit\ 6.3), with
187: $ \theta_0(\bw_0^\bI)=x^{l(w_0^I)}$; we have $D_0=2N$ and if we take
188: $P(q)=|(\bG/\bB)^F|$ the degree $\hbox{Deg}^{(P)}_\chi$ identifies with the
189: generic degree of $\rho_\chi$.
190:
191: As $\CH$ is split over $\bbZ[x^{1/2},x^{-1/2}]$,
192: there exists a sign $\varepsilon_{d,\chi}$ depending only on
193: $(a_{\rho_\chi}+A_{\rho_\chi})/d$ such that
194: $\sigma(\chi)_q(T_\bw)=\varepsilon_{d,\chi} \chi_q(T_\bw)$.
195: This sign is equal to $-1$ if and only if $(a_{\rho_\chi}+A_{\rho_\chi})/d\in
196: \bbZ+1/2$ and $\chi(w)\ne 0$.
197: Equation ($1'$) becomes then
198:
199: \begin{equation}
200: \sum_{\chi_q\in\Irr(\CH_q(W,F))}q^{\frac{2N-a_{\rho_\chi}-A_{\rho_\chi}}d}
201: \chi(w)\Sh^d\rho_\chi=\\
202: \sum_{\chi_q\in\Irr(\CH_q(W,F))}\varepsilon_{d,\chi}
203: q^{\frac{2N-a_{\rho_\chi}-A_{\rho_\chi}} d}\chi(w)\rho_\chi.\tag{$1''$}
204: \end{equation}
205:
206: For computing $\Sh^d$, we shall use Shoji's results on the
207: identification of character sheaves with almost characters. Here we need
208: the assumption that the characteristic is almost good. We recall these
209: results: unipotent characters of $\GF$ have been divided by Lusztig into
210: families. Unipotent character sheaves have also been divided into
211: families which are in one-to-one correspondence with the families
212: of unipotent characters. In \cf\ \cite[3.2 et 4.1]{Shoji2} Shoji
213: proves that the transition matrix from the unipotent characters to
214: the characteristic functions of the unipotent character sheaves is
215: block diagonal according to the families, and in \cite[3.3]{Shoji} he
216: proves that the characteristic functions of the character sheaves are
217: eigenvectors of $\Sh$. From this we see that ($1''$) is equivalent to
218: the set of its projections on each family. Moreover $a_\rho$ and
219: $A_\rho$ are constant when $\rho$ runs over a family of unipotent
220: characters. So ($1''$) is equivalent to the set of equations
221:
222: \begin{equation}\sum_{\rho_\chi\in\CF}\chi(w)\Sh^d\rho_\chi=
223: \varepsilon_{d,\CF}\sum_{\rho_\chi\in\CF}
224: \chi(w)\rho_\chi,\tag{$1'''$}\end{equation}
225: where $\CF$ runs over the families.
226: We have written $\varepsilon_{d,\CF}$ instead of $\varepsilon_{d,\chi}$
227: because this sign depends only on the family of $\rho_\chi$.
228:
229: We can also assume that $\bG$ is adjoint as the unipotent characters
230: factorize through the adjoint group and $\Sh$ is compatible with this
231: factorization.
232:
233: Lusztig defined in \cite[4.24.1]{Lubook} almost characters $R_\rho$
234: indexed by unipotent characters. If $R_w$ is the Deligne-Lusztig
235: character given by the virtual representation
236: $\sum_{i\ge 0}(-1)^i H^i_c(\bX(\bw))$,
237: we have $R_w=\sum_{\chi\in\Irr(W)}\chi(w)R_{\rho_\chi}$; for
238: any unipotent character $\rho$ we also have
239: $\scal\rho{R_{\rho_\chi}}\GF=\Delta_\rho\scal{R_\rho}{\rho_\chi}\GF$ for
240: a sign $\Delta_\rho$ defined in \cite{Lubook}. Almost characters
241: being an orthonormal basis of the space of unipotent
242: class functions, we get $\sum_{\rho_\chi\in\CF}\chi(w)\rho_\chi=
243: \sum_{\rho\in\CF}\scal{R_w}\rho\GF \Delta_\rho R_\rho$.
244:
245: In \cite[23.1]{LuCS} Lusztig has defined a bijection $\rho\mapsto
246: A_\rho$ from the set of unipotent characters to the set of unipotent
247: character sheaves, compatible with the partition into families.
248: Shoji, in (\cite{Shoji} and \cite{Shoji2}) proved that the almost
249: character $R_\rho$ is a multiple of the characteristic function of
250: $\chi_{A_\rho}$ relative to the Frobenius endomorphism $F$ of the
251: character sheaf $A_\rho$ and that (\cf\ \cite[3.6 et 3.8]{Shoji})
252: $\Sh(\chi_{A_\rho})=\lambda_\rho \chi_{A_\rho}$ where $\lambda_\rho$ is
253: as in \cite[3.3.4]{DMR}.
254:
255: Using this, we see that $(1''')$ is equivalent to:
256:
257: \begin{equation}\text{if }
258: \scal{R_w}\rho\GF\ne 0\text{ then }\lambda_\rho^d=\varepsilon_{d,\CF}
259: \tag{$1''''$}\end{equation}
260:
261: This would be a consequence of conjecture \cite[5.13]{Sydney}.
262: We prove it by a case by case analysis.
263:
264: If $\bG$ is classical, we have always $\varepsilon_{d,\CF}=1$ and
265: $\lambda_\rho=\pm 1$, so $(1'''')$ holds
266: if $d$ is even. Assume $d$ odd; one checks that in a Coxeter group
267: of type $A_n$, $B_n$ or $D_n$, any odd order element lies in a parabolic
268: subgroup of type $A$. Let us denote by $\bL$ the corresponding Levi
269: subgroup of $\bG$, which is an $F$-stable Levi subgroup of an
270: $F$-stable
271: parabolic subgroup. We have $R_w=R_\bL^\bG(R_w^\bL)$ where $R_w^\bL$
272: is the Deligne-Lusztig character of $\LF$ associated to $w$. As
273: $\lambda_\rho$ is constant in a Harish-Chandra series and is equal to 1
274: for a group of type $A$, we get the result in this case.
275:
276: If $\bG$ is of exceptional type
277: we can check the result, using the explicit description of
278: the coefficients $\scal{R_w}\rho{\bG^{F'}}$ and of $\lambda_\rho$ in
279: \cite{Lubook}.
280: The most complicated case to check is when for some
281: $d$ we have $\varepsilon_{d,\CF}=-1$. In type $E_7$
282: there is exactly one such family; it contains 4 unipotent characters.
283: Two of them are some $\rho_\chi$ for a $\chi$ such that $a_\chi+A_\chi=63$.
284: In type
285: $E_8$ there are two such families, each with 4 unipotent characters. In
286: each of these families there are two $\rho_\chi$
287: with respectively $a_\chi+A_\chi=105$ and $a_\chi+A_\chi=135$. So in all
288: cases we have $\varepsilon_{d,\CF}=-1$ if and only if $d\equiv 2\pmod
289: 4$. In each case for the two other unipotent characters of the family one
290: has $\lambda_\rho=\pm i$. One checks that if $\rho\in\CF$
291: and $\scal\rho{R_w}\GF\ne 0$ then if $d\not\equiv 2\pmod 4$
292: one has $\lambda_\rho^d\ne1$ whence the result in this case; and if
293: $d\equiv 2\pmod 4$ we have $\lambda_\rho=\pm i$, thus
294: $\lambda_\rho^d=-1$ and we also get the result in that case.
295: \end{proof}
296:
297: Let $\Phi$ be the class function on $\CH_q$ with values in $\CR(\GF)$
298: given by
299: $$\Phi(T_\bx)=(g\mapsto\TrH{gD_\bx}{\bX(\bpi)})
300: -\sum_\chi\sigma(\chi)_q(T_\bx)\rho_\chi.$$ To prove theorem
301: \ref{Endomorphismes de Xpi} we have to prove that $\Phi=0$. By
302: \ref{(1) pour x parabolique}, \ref{(1) pour pi^n}
303: and \ref{(1) pour racines de pi} respectively
304: we know that
305: \begin{itemize}
306: \item[(a)] $\Phi(T_\bx)=0$
307: for $\bx\in B_\bI$ for any proper subset $I$ of $S$.
308: \item[(b)] $\Phi(T_\bpi^n)=0$ for $n>0$.
309: \item[(c)] We have $\Phi(T_\bx)=0$
310: if $\bx$ is a root of $\bpi$ and the characteristic is almost good.
311: \end{itemize}
312:
313: We shall prove that in any of the cases considered in \ref{Endomorphismes
314: de Xpi} a class function on $\CH_q$ which satisfies these three properties is
315: zero. Such a class function, can be written
316: $\sum_\chi\lambda_\chi\chi_q$. We show that the three above properties imply
317: $\lambda_\chi=0$ for all $\chi$. Let us translate each of these properties into
318: a property of $(\lambda_\chi)_\chi$.
319:
320: \begin{lemma}\label{(a)} Property (a) means that $(\lambda_\chi)_\chi$ is linearly spanned by
321: vectors $(\chi(w))_\chi$ with $w\in W$
322: {\it cuspidal} (\ie, the conjugacy class of $w$ has no representative in a
323: proper parabolic subgroup of $W$).
324: \end{lemma}
325: \begin{proof}
326: Consider the scalar product on $\CR(\CH_q)$ such that the
327: $\chi_q$ form an orthonormal basis (which corresponds to the usual
328: scalar product on the vectors $(\lambda_\chi)_\chi$); then the
329: $\chi_{c,q}=\sum_{\chi\in\Irr(W^F)}\chi(c)\chi$ are pairwise orthogonal
330: when $c$ runs over a set of representatives of the conjugacy classes in
331: $W$. The statement to prove is that a class function satisfies property
332: (a) if and only if it is orthogonal to the $\chi_{c,q}$ with $c$ non
333: cuspidal.
334:
335: With our choice of scalar product, restriction and induction satisfy
336: Frobenius reciprocity, as the scalar product is compatible with the
337: specialization to $W$, as are restriction and induction. So for
338: $I\subset S$, a class function is zero on $\CH_q(W_I)$ if and only if
339: it is orthogonal to any $\Ind_{\CH_q(W_I)}^{\CH_q}\phi$; but the
340: $\chi_{c,q}$ with $c$ non cuspidal span the same subspace as the
341: $\Ind_{\CH_I}^{\CH}\phi$ with $I\subsetneq S$, so we get the result.
342: \end{proof}
343:
344: \begin{lemma}\label{(c)} If $\bx$ is a $d$-th root of $\bpi$,
345: property (c) is equivalent to
346: $\sum_\chi\lambda_\chi\chi(x)q^{\frac{2N-a_{\rho_\chi}
347: -A_{\rho_\chi}} d}=0$.
348: \end{lemma}
349: \begin{proof}
350: This is a simple translation of (c), using the value of
351: $\chi_q(T_\bx)$.
352: \end{proof}
353: \def\cox{{\text{cox}}}
354: \def\bcox{{\text{\bf cox}}}
355: We now prove the theorem when $\bG$ is split of type $A_n$.
356: The only cuspidal class is the class of a Coxeter element
357: $c$. So by \ref{(a)} $(\lambda_\chi)_\chi$ has to be equal to $a(\chi(c))_\chi$
358: for some $a\in\Qlbar$.
359: Lemma \ref{(c)} then gives $a\sum_\chi\chi(c)^2
360: q^{\frac{2N-a_{\rho_\chi}-A_{\rho_\chi}} d}=0$, so that $a=0$, as
361: all summands are non negative and at least one is non zero.
362:
363: For the other types we need property (b).
364: \begin{lemma}\label{(b)}
365: Property (b) is equivalent to the fact that
366: for all $i$, we have
367: $\sum_{\{\chi\mid a_{\rho_\chi}+A_{\rho_\chi}=i\}}
368: \lambda_\chi\chi(1)=0$.
369: \end{lemma}
370: \begin{proof}
371: Using the value of $\chi_q(T_\bpi^n)$ property (b) is equivalent to the fact that
372: for all $n$ we have $$\sum_i q^{n(2N-i)}
373: \sum_{\{\chi\mid a_{\rho_\chi}+A_{\rho_\chi}=i\}}\lambda_\chi\chi(1)=0.$$
374: We get the result using the linear independence of the characters of
375: $\bbZ$.
376: \end{proof}
377:
378: The proof of \ref{Endomorphismes de Xpi} in the remaining types is obtained
379: by a computer calculation which shows that the vectors
380: given by \ref{(b)} and \ref{(c)} span for any $q$ the space given by
381: \ref{(a)} (note that only the vectors given by \ref{(c)} depend on $q$).
382: \end{proof}
383: