1: \documentclass[a4paper,english,twoside,12pt]{smfart}

2: 

3: \usepackage{smfenum}

4: \usepackage{smfthm}

5: \usepackage{amssymb}

6: \usepackage{mathrsfs}

7: 

8: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

9: 

10: \def\CC{\mathbf{C}}

11: \def\NN{\mathbf{N}}

12: \def\QQ{\mathbf{Q}}

13: \def\RR{\mathbf{R}}

14: \def\ZZ{\mathbf{Z}} 

15: 

16: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

17: 

18: \def\A{{\rm A}}

19: \def\B{{\rm B}}

20: \def\C{{\rm C}}

21: \def\D{{\rm D}}

22: \def\E{{\rm E}}

23: \def\F{{\rm F}}

24: \def\G{{\rm G}}

25: \def\H{{\rm H}}

26: \def\I{{\rm I}}

27: \def\J{{\rm J}}

28: \def\K{{\rm K}}

29: \def\L{{\rm L}}

30: \def\M{{\rm M}}

31: \def\N{{\rm N}}

32: \def\P{{\rm P}}

33: \def\Q{{\rm Q}}

34: \def\R{{\rm R}}

35: \def\SS{{\rm S}}

36: \def\T{{\rm T}}

37: \def\U{{\rm U}}

38: \def\V{{\rm V}}

39: \def\W{{\rm W}}

40: \def\X{{\rm X}}

41: \def\Y{{\rm Y}}

42: \def\Z{{\rm Z}}

43: 

44: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

45: 

46: \def\Aa{\mathscr{A}}

47: \def\Bb{\mathscr{B}}

48: \def\Cc{\mathscr{C}}

49: \def\Dd{\mathscr{D}}

50: \def\Ee{\mathscr{E}}

51: \def\Ff{\mathscr{F}}

52: \def\Gg{\mathscr{G}}

53: \def\Hh{\mathscr{H}}

54: \def\Ii{\mathscr{I}}

55: \def\Ll{\mathscr{L}}

56: \def\Mm{\mathscr{M}}

57: \def\Nn{\mathscr{N}}

58: \def\Oo{\mathscr{O}}

59: \def\Pp{\mathscr{P}}

60: \def\Qq{\mathscr{Q}}

61: \def\Rr{\mathscr{R}}

62: \def\Ss{\mathscr{S}}

63: \def\Uu{\mathscr{U}}

64: \def\Vv{\mathscr{V}}

65: \def\Ww{\mathscr{W}}

66: \def\Xx{\mathscr{X}}

67: \def\Yy{\mathscr{Y}}

68: \def\Zz{\mathscr{Z}}

69: 

70: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

71: 

72: \def\Ga{\Gamma}

73: \def\La{\Lambda}

74: 

75: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

76: 

77: \def\a{\alpha} 

78: \def\b{\beta}

79: \def\d{\delta}

80: \def\f{\rightarrow}

81: \def\g{\gamma}

82: \def\h{\varphi}

83: \def\l{\lambda}

84: \def\o{\mathfrak{o}}

85: \def\p{\mathfrak{p}}

86: \def\s{\sigma}

87: \def\t{\theta}

88: \def\v{\upsilon}

89: \def\w{\varpi}

90: 

91: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

92: 

93: \def\ie{c'est-\`a-dire }

94: \def\et{\quad\text{et}\quad}

95: \def\lp{\langle}

96: \def\rp{\rangle}

97: \def\>{\geqslant}

98: \def\<{\leqslant}

99: 

100: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

101: 

102: \def\ff{\longrightarrow}

103: \def\fr#1{\smash{\mathop{\f}\limits^{#1}}}

104: \def\ffr#1{\smash{\mathop{\ff}\limits^{#1}}}

105: \def\surj{\twoheadrightarrow}

106: \def\inj{\hookrightarrow}

107: 

108: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

109: 

110: \def\Spec{{\rm Spec}}

111: \def\Hom{{\rm Hom}}

112: \def\End{{\rm End}}

113: \def\Aut{{\rm Aut}}

114: \def\Mat{{\rm M}}

115: \def\GL{{\rm GL}}

116: \def\Gal{{\rm Gal}}

117: \def\Ker{{\rm Ker}}

118: \def\Im{{\rm Im}}

119: \def\tr{{\rm tr}}

120: \def\rg{{\rm rg}}

121: \def\Res{{\rm Res}}

122: \def\Ind{{\rm Ind}}

123: \def\ind{{\rm ind}}

124: \def\mult#1{{#1}^{\times}}

125: 

126: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

127: 

128: \def\O{\Omega}

129: \def\Aff{{\rm Aff}}

130: \def\Phia{\Phi_{{\rm aff}}}

131: \def\Phir{\Phi^{{\rm red}}}

132: \def\App{{\rm App}}

133: \def\a{a}

134: \def\aa{\alpha}

135: \def\F{k}

136: \def\GG{\tilde\G}

137: \def\NO{\N_{\O}}

138: \def\PO{\P_{\O}}

139: \def\UO{\U_{\O}}

140: \def\cpt{1}

141: 

142: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

143: 

144: \author{P. Delorme}

145: \address{Institut de Math\'ematiques de Luminy\\UMR $6206$\\

146: Campus de Luminy\\Case $907$\\

147: $13288$ Marseille Cedex $9$}

148: \email{delorme@iml.univ-mrs.fr}

149: 

150: \author{V. S\'echerre}

151: \address{Institut de Math\'ematiques de Luminy\\UMR $6206$\\

152: Campus de Luminy\\Case $907$\\

153: $13288$ Marseille Cedex $9$}

154: \email{secherre@iml.univ-mrs.fr}

155: 

156: \textheight 20cm

157: \textwidth 14cm

158: \setlength{\oddsidemargin}{1cm}

159: \setlength{\evensidemargin}{1cm}

160: \setlength{\topmargin}{1.5cm}

161: 

162: \numberwithin{equation}{section} 

163: \bibliographystyle{smfplain}

164: \theoremstyle{plain}

165: 

166: \title[An analogue of the Cartan decomposition]

167: {An analogue of the Cartan decomposition for $\boldsymbol{p}$-adic 

168: reductive symmetric spaces}

169: 

170: \begin{abstract}

171: Let $\F$ be a non Archimedean locally compact field of residue

172: characteristic different from $2$, let $\G$ be a connected reductive

173: group defined over $\F$, let $\s$ be an involutive $\F$-automorphism

174: of $\G$ and $\H$ an open $\F$-subgroup of the fixed points group of

175: $\s$.

176: We denote by $\G_\F$ (resp. $\H_\F$) the group of $\F$-points of $\G$

177: (resp. $\H$).

178: In this paper, we obtain an analogue of the Cartan decomposition for

179: the reductive symmetric space $\H_\F\backslash\G_\F$.

180: More precisely, we obtain a decomposition of $\G_\F$ as a union of

181: $\H_\F$-cosets which is related to the $\H_\F$-conjugacy classes of

182: maximal $\s$-anti-invariant $\F$-split tori in $\G$. 

183: When $\G$ is $\F$-split, we get a more precise result, involving the

184: stabilizer of a special point of the Bruhat-Tits building of $\G$ over

185: $\F$.

186: \end{abstract}

187: 

188: \begin{altabstract}

189: Soit $\F$ un corps localement compact non archim\'edien de

190: ca\-rac\-t\'eristique r\'esiduelle impaire, soit $\G$ un groupe

191: r\'eductif connexe d\'efini sur $\F$, soient $\s$ un

192: $\F$-automorphisme involutif de $\G$ et $\H$ un $\F$-sous-groupe

193: ouvert du groupe des points de $\G$ fixes par $\s$.

194: On note $\G_\F$ (resp. $\H_\F$) le groupe des $\F$-points de $\G$ 

195: (resp. $\H$).

196: Dans cet article, nous obtenons un analogue de la d\'ecomposition de

197: Cartan pour l'espace sym\'etrique r\'eductif $\H_\F\backslash\G_\F$.

198: Plus pr\'ecis\'ement, nous obtenons une d\'ecomposition de $\G_\F$

199: sous la forme d'une r\'eunion de classes modulo $\H_\F$ reli\'ee aux

200: classes de $\H_\F$-conjugaison de tores $\F$-d\'eploy\'es 

201: $\s$-anti-invariants maximaux de $\G$.

202: Lorsque $\G$ est d\'eploy\'e sur $\F$, nous obtenons un r\'esultat

203: plus pr\'ecis impliquant le stabilisateur d'un point sp\'ecial de

204: l'immeuble de Bruhat-tits de $\G$ sur $\F$.

205: \end{altabstract}

206: 

207: \linespread{1.3}

208: 

209: \begin{document}

210: 

211: \maketitle

212: 

213: \section*{Introduction}

214: 

215: Let $\F$ be a non Archimedean locally compact field of residue

216: characteristic different from $2$.

217: Let $\G$ be a connected reductive group defined over $\F$, let $\s$ be

218: an involutive $\F$-automorphism of $\G$ and $\H$ an open $\F$-subgroup

219: of the fixed points group of $\s$.

220: We denote by $\G_\F$ (resp. $\H_\F$) the group of $\F$-points of $\G$

221: (resp. $\H$).

222: Harmonic analysis on the reductive symmetric space

223: $\H_\F\backslash\G_\F$ is the study of the action of $\G_\F$ on the

224: space of complex square integrable functions on

225: $\H_\F\backslash\G_\F$.

226: This study is related to the classification of $\H_\F$-distinguished 

227: representations of $\G_\F$, that is representations having a nonzero

228: space of $\H_\F$-invariant linear forms.

229: The question of distinguishedness has been studied intensively for

230: $\GL_n$ and related groups. 

231: See for instance \cite{AP,AT,HakimMao,HM1,HM2,Prasad,Prasad2} for a

232: (non ex\-haustive) list of works on this question.

233: Some other aspects of that problem, including the Plancherel formula,

234: have been studied by Offen \cite{Offen} for spherical representations,

235: in three particular cases related to $\GL_n$.

236: Blanc and Delorme \cite{BD} have studied parabolically induced

237: representations for a general reductive symmetric space

238: $\H_\F\backslash\G_\F$.

239: In this paper, we investigate the geometry of the space 

240: $\H_\F\backslash\G_\F$.

241: 

242: Connected reductive groups over $\F$ can be considered as reductive

243: symmetric spaces. 

244: Indeed, if $\G'$ is such a group, the map $\s:(x,y)\mapsto(y,x)$

245: defines a $\F$-involution of the connected reductive group

246: $\G=\G'\times\G'$ 

247: whose fixed points group $\H$ is the diagonal image of $\G'$ in $\G$.

248: Hence the reductive symmetric space $\H_\F\backslash\G_\F$ naturally

249: identifies with the group $\G'_\F$. %of $\F$-points of $\G'$.

250: Moreover, if $\K'$ is a subgroup of $\G'_\F$ and if we set

251: $\K=\K'\times\K'$, then the $(\H_\F,\K)$-double cosets of $\G_\F$

252: correspond to the $\K'$-double cosets of $\G'_\F$.

253: In particular, if $\K'$ is the stabilizer in $\G'_\F$ of a special

254: point in the (reduced) Bruhat-Tits building of $\G'$ over $\F$, the

255: decomposition of $\H_\F\backslash\G_\F$ into $\K$-orbits corresponds

256: to the Cartan decomposition of $\G'_\F$ relative to $\K'$ 

257: (see \cite[Proposition 4.4.3]{BT}).

258: 

259: In this paper, we obtain an analogue of the Cartan decomposition for a

260: general reductive symmetric space $\H_\F\backslash\G_\F$.

261: In \cite{H,HH,HW} A.\ and G.\ Helminck and Wang studied two kinds of

262: objects which are related to our problem:

263: \begin{itemize}

264: \item[(i)]

265: $\H_\F$-conjugacy classes of maximal $\s$-anti-invariant

266: $\F$-split tori of $\G$ (called maximal {\it $(\s,\F)$-split} tori in 

267: \cite{H}, see also Definition \ref{Justine});

268: \item[(ii)]

269: $\H_\F$-conjugacy classes of the parabolic $\F$-subgroups $\P$ of

270: $\G$ which are opp\-osite to $\s(\P)$ 

271: (called {\it $\s$-split} parabolic $\F$-subgroups in \cite{HW} and 

272: {\it $\s$-parabolic} $\F$-subgroups in this paper, see Definition

273: \ref{Juliette}). 

274: \end{itemize}

275: 

276: Let $\{\A^{j}\ |\ j\in \J\}$ be a set of representatives of the

277: $\H_\F$-conjugacy classes of maximal $(\s,\F)$-split tori in $\G$.

278: For each $j$, we denote by $\W_{\G_{\F}}(\A^{j})$

279: (resp. $\W_{\H_{\F}}(\A^{j})$) the quotient of the normalizer of

280: $\A^{j}$ in $\G_{\F}$ (resp. in $\H_\F$) by its centralizer.

281: According to Helminck and Wang \cite{HW}, the set $\J$ 

282: is finite and, for $j\in\J$, the group $\W_{\G_{\F}}(\A^{j})$ is the

283: Weyl group of a root system.

284: Moreover, let $\A$ be a max\-imal $(\s,\F)$-split torus of $\G$, let

285: $\SS$ be a $\s$-stable maximal $\F$-split torus of $\G$ cont\-aining

286: $\A$ and $\P$ a minimal $\s$-parabolic $\F$-subgroup of $\G$ containing

287: $\SS$.

288: Then, according to \cite[Theorem 3.6]{HH}, the finite union:

289: \begin{equation}

290: \label{Samantha}

291: \bigcup_{j\in\J}\W_{\H_{\F}}(\A^{j})\backslash\W_{\G_{\F}}(\A^{j})

292: \end{equation}

293: classifies the open $(\H_\F,\P_\F)$-double cosets of $\G_\F$.

294: For each $j\in\J$, we choose:

295: \begin{enumerate}

296: \item

297: a set $\Nn_j\subset\N_{\G_\F}(\A^j)$ of representatives of 

298: $\W_{\H_{\F}}(\A^{j})\backslash\W_{\G_{\F}}(\A^{j})$;

299: \item

300: an element $y_j\in\G_{\F}$ such that $y_j\A y_j^{-1}=\A^{j}$;

301: \end{enumerate}

302: and we denote by $\Nn$ the set of all $ny_j$ for $j\in\J$ and

303: $n\in\Nn_j$.

304: Note that $\Nn$ is a set of representatives of (\ref{Samantha}).

305: Let $\w$ be a uniformizer of $\F$, let $\La$ be the lattice formed by

306: the images of $\w$ by the various algebraic one-parameter subgroups of

307: $\A$ and let $\La^{-}$ denote the subset of anti-dominant elements of

308: $\La$ relative to $\P$.

309: Then we can state our first main result (see Theorem

310: \ref{Anaximandre}):

311: 

312: \begin{theo}

313: \label{ThA}

314: There exists a comp\-act subset $\O$ of $\G_{\F}$ such that:

315: \begin{equation*}

316: \G_{\F}=\bigcup\limits_{n\in\Nn}\H_\F n\La^{-}\O.

317: \end{equation*}

318: \end{theo}

319: 

320: In order to prove this result, we make a large use of the

321: Bruhat-Tits theory \cite{BT,BT2}.

322: Let $\Bb$ be the (reduced) Bruhat-Tits building of $\G$ over $\F$.

323: It is endowed with an action of $\s$.

324: Then the proof of Theorem \ref{ThA} is based on the following result

325: (see Proposition \ref{Raince}):

326: 

327: \begin{prop}

328: \label{PropA}

329: $\Bb$ is the union of its $\s$-stable apartments.

330: \end{prop}

331: 

332: This result can be rephrased as follows.

333: Let $\SS$ be a $\s$-stable max\-imal $\F$-split torus of $\G$, let $\N$

334: its normalizer in $\G$ and let $\Oo$ be the set of all $g\in\G_\F$

335: such that $g^{-1}\s(g)\in\N_\F$.

336: Then we have $\G_\F=\Oo\K$, where $\K$ is the stabilizer in $\G_\F$ of

337: any point of the apartment corresp\-onding to $\SS$ 

338: (see Proposition \ref{Euripide}).

339: 

340: Let us mention that the question of the disjointness of the various 

341: components appearing in the decomposition of $\G_\F$ given by Theorem

342: \ref{ThA} has been investigated by Lagier \cite{Nat}.

343: 

344: When the group $\G$ is $\F$-split, we obtain a refinement of

345: Theorem \ref{ThA}, which is based on the following refinement of

346: Proposition \ref{PropA} (see Proposition \ref{Rubempre}):

347: 

348: \begin{prop}

349: \label{PropB}

350: Let $x$ be a special point of $\Bb$.

351: There is a $\s$-stable max\-imal $\F$-split torus $\SS$ of $\G$ such

352: that the apartment corresponding to $\SS$ cont\-ains $x$, and such

353: that the maximal $\s$-anti-invariant subtorus of $\SS$ is a maximal

354: $(\s,\F)$-split torus of $\G$.

355: \end{prop}

356: 

357: We thus obtain our second main result (see Theorem

358: \ref{SplendeursEtMiseres}): 

359: 

360: \begin{theo}

361: \label{ThB}

362: Let $\K$ be the stabilizer in $\G_\F$ of a special point in $\Bb$.

363: Then:

364: \begin{equation*}

365: \G_{\F}=\bigcup\limits_{j\in\J}

366: \H_\F y_{j}\SS_\F\K.

367: \end{equation*}

368: \end{theo}

369: 

370: Note that Proposition \ref{PropB} is no longer true for non-split

371: groups, as proven in \S\ref{CounterStrike}.

372: 

373: The paper is organized as follows.

374: In \S1 we recall the main properties of the Bruhat-Tits build\-ing

375: attached to a connected reductive group defined over $\F$.

376: In \S2 we study the set of all apartments containing a given

377: $\s$-stable subset of the building, and we prove Proposition

378: \ref{PropA}.

379: In \S3 we prove our first  main result (Theorem \ref{ThA}).

380: In \S4 we are devoted to the case where $\G$ is $\F$-split. 

381: We prove Proposition \ref{PropB} and Theorem \ref{ThB}.

382: Finally, in \S5 we study in more details the two following examples:

383: \begin{enumerate}

384: \item

385: $\G_{\F}=\GL_{n}(\F)$ and $\s(g)=$ transpose of $g^{-1}$.

386: \item

387: $\G_{\F}=\GL_{n}(\F')$ with $\F'$ quadratic over $\F$ and 

388: ${\rm id}\neq\s\in\Gal(\F'/\F)$. 

389: \end{enumerate}

390: When $n=2$ and $\F'$ is totally ramified over $\F$, Example (2)

391: provides an example of a non-split group for which Proposition

392: \ref{PropB} is not satisfied.

393: 

394: {\it 

395: After this work was finished, we learnt that Y.\ Benoist and H.\ Oh 

396: \cite{BO} proved a result equivalent to Theorem \ref{ThA}, with a

397: weaker assumption on $\F$ (they only assume that its characteristic is

398: not $2$).

399: They also use the Bruhat-Tits building, but in a different way. 

400: }

401: 

402: We thanks F.\ Court\`es, B.\ Lemaire, G.\ Rousseau, S.\ Stevens for

403: stimulating discussions.

404: Particular thanks to Joseph Bernstein for having suggested to the

405: first author the use of the Bruhat-Tits building, and to Jean-Pierre

406: Labesse for having answered numerous questions, in particular about

407: the structure of algebraic groups. 

408: 

409: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

410: % SECTION 1

411: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

412: 

413: \section{The Bruhat-Tits building}

414: \label{sec1}

415: 

416: Let $\F$ be a non Archimedean non discrete locally compact field, and

417: let $\omega$ be its normalized valuation.

418: In this section, we recall the main properties of the

419: Bruhat-Tits build\-ing attached to a connected reductive group defined

420: over $\F$.

421: The reader may refer to the original construction of Bruhat-Tits

422: \cite{BT,BT2} or to more concise presentations \cite{Lan,SS,Tits}.  

423: 

424: If $\G$ is a linear algebraic group defined over $\F$, the group of

425: its $\F$-points will be denoted by $\G_{\F}$ or $\G(\F)$, and its

426: neutral component will be denoted by $\G^{\circ}$.

427: If $\H$ is a subset of $\G$, then $\N_{\G}(\H)$ (resp. $\Z_{\G}(\H)$) 

428: denotes the normalizer (resp. the centralizer) of $\H$ in $\G$.

429: 

430: If $\X$ is a subset of $\G$, then ${}^g\X$ denotes the left conjugate

431: of $\X$ by $g\in\G$. 

432: 

433: \subsection{}

434: 

435: Let $\G$ be a connected reductive group defined over $\F$, and let

436: $\SS$ be a maximal $\F$-split torus of $\G$.

437: We denote by $\X^{*}(\SS)=\Hom(\SS,\GL_1)$ (resp. by

438: $\X_{*}(\SS)=\Hom(\GL_1,\SS)$) the group of algebraic characters 

439: (resp. co\-characters) of $\SS$.

440: We define a map:

441: \begin{equation}

442: \label{dualiteS}

443: \X_{*}(\SS)\times\X^{*}(\SS)\f\ZZ

444: \end{equation}

445: as follows.

446: If $\l\in\X_{*}(\SS)$ and $\chi\in\X^{*}(\SS)$, 

447: then $\chi\circ\l$ is an endomorphism of the multiplicative group 

448: $\GL_{1}$, which corresponds to an endomorphism of the ring

449: $\ZZ[t,t^{-1}]$.

450: It is of the form $t\mapsto t^{n}$ for some $n\in\ZZ$.

451: This integer $n$ is denoted by $\lp\l,\chi\rp$.

452: The map (\ref{dualiteS}) defines a perfect duality 

453: (see \cite[\S8.6]{Borel}).

454: 

455: \subsection{}

456: \label{HoraceBianchon}

457: 

458: Let $\N$ (resp. $\Z$) denote the normalizer (resp. the centralizer) 

459: of $\SS$ in $\G$.

460: If we extend (\ref{dualiteS}) by $\RR$-linearity, there exists a

461: unique group homomorphism:

462: \begin{equation}

463: \label{nu1}

464: \nu:\Z_\F\f\X_{*}(\SS)\otimes_{\ZZ}\RR

465: \end{equation}

466: such that the condition:

467: \begin{equation}

468: \label{A2}

469: \lp\nu(z),\chi\rp=-\omega(\chi(z))

470: \end{equation}

471: holds for any $z\in\Z_\F$ and any $\F$-rational character

472: $\chi\in\X^{*}(\Z)_{\F}$ (see \cite[\S 1.2]{Tits}).

473: According to \cite[Proposition 1.2]{Lan}, the kernel of (\ref{nu1}) is

474: the maximal compact subgroup of $\Z_\F$.

475: It will be denoted by $\Z_\F^{\cpt}$. 

476: 

477: \begin{rema}

478: \label{RemCptMax}

479: Note that the intersection $\SS_\F\cap\Z_{\F}^{\cpt}$ is equal to the

480: maximal compact subgroup of $\SS_\F$, which we denote by $\SS_\F^{\cpt}$.

481: Indeed $\SS_\F^{\cpt}$ contains the compact subgroup

482: $\SS_\F\cap\Z_{\F}^{\cpt}$ of $\SS_\F$ and is contained in the maximal

483: compact subgroup $\Z_{\F}^{\cpt}$ of $\Z_{\F}$.

484: According to \cite[\S1.2]{Tits}, the quotient

485: $\La_{\Z}=\Z_\F/\Z_{\F}^{\cpt}$ is a free abelian group of rank

486: $\dim\SS$, and the image of $\SS_{\F}$ in $\La_{\Z}$ has finite

487: index. 

488: \end{rema}

489: 

490: \subsection{}

491: 

492: Let ${\rm C}$ denote the connected centre of $\G$ and let 

493: $\X_{*}({\rm C})$ be the group of its algebraic cocharacters.

494: It is a subgroup of the free abelian group $\X_{*}(\SS)$.

495: We denote by $\Aa$ the space: 

496: \begin{equation*}

497: \V=(\X_{*}(\SS)\otimes_{\ZZ}\RR)/(\X_{*}({\rm C})\otimes_{\ZZ}\RR)

498: \end{equation*}

499: considered as an affine space on itself and by $\Aff(\Aa)$ the group

500: of its affine automorphisms.

501: By making $\V$ act on $\Aa$ by translations, we can think to $\V$ as

502: a subgroup of $\Aff(\Aa)$.

503: It is the kernel of the natural group homomorphism

504: $\Aff(\Aa)\to\GL(\V)$ which associates to any affine automorphism its

505: linear part.

506: 

507: \subsection{}

508: \label{Hyperbate}

509: 

510: The map (\ref{nu1}) induces a homomorphism:

511: \begin{equation}

512: \label{nu2}

513: \Z_\F\f\Aff(\Aa)

514: \end{equation}

515: which is still denoted by $\nu$.

516: Its image is contained in $\V$.

517: An important property of this homomorphism is that it extends to a 

518: homomorphism $\N_\F\f\Aff(\Aa)$ (see \cite[\S 1.2]{Tits}). 

519: It does not extend in a unique way, but two homomorphisms extending

520: (\ref{nu2}) to $\N_\F$ are conj\-ugated by a {\it unique} element of

521: $\Aff(\Aa)$ (see \cite[Proposition 1.8]{Lan}).

522: 

523: \subsection{}

524: \label{consAppart}

525: 

526: The affine space $\Aa$ endowed with an action of $\N_\F$ defined

527: by a group homomorphism $\nu:\N_\F\f\Aff(\Aa)$ extending the

528: homomorphism (\ref{nu2}) is called the (reduced) {\it apartment}

529: attached to $\SS$.

530: It satisfies the conditions:

531: \begin{enumerate}

532: \item[{\bf A1}]

533: $\Aa$ is an affine space on $\V$;

534: \item[{\bf A2}]

535: $\nu$ is a group homomorphism $\N_\F\f\Aff(\Aa)$ extending the

536: canonical homomorphism $\Z_\F\to\V$.

537: \end{enumerate}

538: It has the following unicity property.

539: If $(\Aa',\nu')$ satisfy {\bf A1} and {\bf A2}, then there is a unique

540: affine and $\N_\F$-equivariant isomorphism from $\Aa'$ to $\Aa$.

541: 

542: \begin{rema}

543: \label{Sardanapale}

544: We obtain the {\it non reduced} apartment $\Aa_{\rm nr}$ by replacing 

545: $\V$ by $\X_{*}(\SS)\otimes_{\ZZ}\RR$.

546: This is the point of view of Tits \cite{Tits}.

547: The non reduced apartment is not as canonical as the reduced one: two

548: homomorphisms extending the map 

549: $\nu_{\rm nr}:\Z_\F\f\Aff(\Aa_{\rm nr})$ to $\N_\F$ are conjugated by

550: an element of $\Aff(\Aa_{\rm nr})$ which is not necessarily unique

551: (see \cite[\S1]{Lan} and also \cite[\S 1.2]{Tits}).

552: \end{rema}

553: 

554: \subsection{}

555: 

556: Let $\Phi=\Phi(\G,\SS)$ denote the set of roots of $\G$ relative to

557: $\SS$.

558: It is a subset of $\X^{*}(\SS)$.

559: Therefore, any root $\a\in\Phi$ can be seen as a linear form on

560: $\X_{*}(\SS)\otimes\RR$ which is trivial on the subspace  

561: $\X_{*}({\rm C})\otimes\RR$, hence as a linear form on $\V$ 

562: (see \cite[\S 1]{Lan}).

563: 

564: For $a\in\Phi$, we denote by $\U_{\a}$ the root subgroup associated to

565: $\a$, which is a unipotent subgroup of $\G$ normalized by $\Z$ (see

566: \cite[Proposition 21.9]{Borel}), and by $s_{\a}$ the reflection

567: corresponding to $\a$, considered as an element of $\GL(\V)$ | or,

568: more precisely, of the quotient of $\nu(\N_\F)$ by $\nu(\Z_\F)$.

569: 

570: \subsection{}

571: \label{SpecialeBanane}

572: 

573: Let $\a\in\Phi$ and $u\in\U_{\a}(\F)-\{1\}$.

574: The intersection: 

575: \begin{equation}

576: \label{InterMU}

577: \U_{-\a}(\F)u\U_{-\a}(\F)\cap\N_\F

578: \end{equation}

579: consists of a single element, called $m(u)$, whose image by $\nu$ is an

580: affine reflection whose linear part is $s_{\a}$ 

581: (see \cite[\S5]{BorelTits}).

582: The set $\Hh_{a,u}$ of fixed points of $\nu(m(u))$ is an affine

583: hyperplane of $\Aa$, which is called a {\it wall} of $\Aa$.

584: 

585: A {\it chamber} of $\Aa$ is a connected component of the complementary

586: in $\Aa$ of the union of its walls.

587: Note that a chamber is open in $\Aa$.

588: 

589: A point $x\in\Aa$ is said to be {\it special} if, for all root

590: $a\in\Phi$, there is a root $b\in\Phi\cap\RR_{+}a$ and an element

591: $u\in\U_{b}(\F)-\{1\}$ such that $x\in\Hh_{b,u}$ (see

592: \cite[\S1.2.3]{LanCrelle} and also \cite[\S1.9]{Tits}).

593: 

594: \subsection{}

595: \label{Chouans}

596: 

597: Let $\t(\a,u)$ denote the affine function $\Aa\to\RR$ whose linear

598: part is ${\a}$ and whose vanishing hyperplane is the wall $\Hh_{a,u}$ 

599: of fixed points of $\nu(m(u))$.

600: We fix a base point in $\Aa$, so that $\Aa$ can be identified with

601: the vector space $\V$.

602: For $r\in\RR$, we set: 

603: \begin{equation*}

604: \U_{\a}(\F)_{r}=\{u\in\U_{\a}(\F)-\{1\}\ |\

605: \t(\a,u)(x)\>\a(x)+r\ \text{for all}\ x\in\Aa\}\cup\{1\}. 

606: \end{equation*}

607: Thus we obtain a filtration of $\U_\a(\F)$ by subgroups.

608: If we change the base point in $\Aa$, this filtration is only modified

609: by a translation of the indexation.

610: 

611: \subsection{}

612: 

613: Let $\O$ be a nonempty subset of $\Aa$.

614: We set:

615: \begin{equation*}

616: \NO=\{n\in\N_\F\ |\ \nu(n)(x)=x\ \text{for all}\ x\in\O\},

617: \end{equation*}

618: and we denote by $\UO$ the subgroup of $\G_\F$ generated by all the 

619: $\U_{\a}(\F)_{r}$ such that the affine function $x\mapsto\a(x)+r$ is

620: non negative on $\O$.

621: According to \cite[\S12]{Lan}, this subgroup is compact in $\G_{\F}$, 

622: and we have $n\UO n^{-1}=\U_{\nu(n)(\O)}$ for any $n\in\N_{\F}$.

623: In particular $\NO$ normalizes $\UO$.

624: 

625: The subgroup $\PO=\NO\UO$ is open in $\G_\F$ 

626: (see {\it loc.cit.}, Corollary 12.12). 

627: 

628: \subsection{}

629: \label{Iwap}

630: 

631: Let $\Phi=\Phi^{-}\cup\Phi^{+}$ be a decomposition of $\Phi$ into

632: positive and negative roots.

633: We denote by $\U^{+}$ (resp. $\U^{-}$) the subgroup of $\G_{\F}$

634: generated by the $\U_{a}$ for $a\in\Phi^+$ (resp. $a\in\Phi^-$), 

635: and we set $\UO^+=\UO\cap\U^+$ (resp. $\UO^-=\UO\cap\U^-$).

636: Then the group $\PO$ has the following Iwahori decomposition:

637: \begin{equation}

638: \label{iwahoriPO}

639: \PO=\UO^-\UO^+\NO

640: \end{equation}

641: (see \cite[Corollary 12.6]{Lan} and also \cite[\S7.1.4]{BT}). 

642: 

643: %\begin{tabular}{p{3.5cm} p{1cm} p{1cm} p{1cm} p{1cm} p{2cm}}

644: %Bruhat-Tits \cite{BT} & $\widehat{\P}_{\O}$ & $\widehat{\N}_{\O}$ 

645: %& $\H$ & $\P_{\O}$ & $\N_{\O}$ \\

646: %this article  & $\PO$ & $\NO$ & $\Z_\F^{\cpt}$ & $\Z_\F^{\cpt}\UO$ & 

647: %$\Z_\F^{\cpt}(\N\cap\UO)$ \\

648: %\end{tabular}

649: 

650: \subsection{}

651: \label{TroisGraces}

652: 

653: In \cite{BT,BT2}, Bruhat and Tits associate to the apartment 

654: $(\Aa,\nu)$ a $\G_\F$-set $\Bb=\Bb(\G,\F)$ containing $\Aa$, called

655: the (reduced) {\it building} of $\G$ over $\F$ and

656: satisfying the following conditions:

657: \begin{enumerate}

658: \item[{\bf B1}]

659: The set $\Bb$ is the union of the $g\cdot\Aa$ with $g\in\G_\F$.

660: \item[{\bf B2}]

661: The subgroup $\N_{\F}$ is the stabilizer of $\Aa$ in $\G_{\F}$, and

662: $n\cdot x=\nu(n)(x)$ for all $x\in\Aa$ and $n\in\N_\F$.

663: \item[{\bf B3}]

664: For all $a\in\Phi$ and $r\in\RR$, the subgroup $\U_{\a}(\F)_{r}$

665: defined in \S\ref{Chouans} fixes the subset 

666: $\{x\in\Aa\ |\ a(x)+r\>0\}$ pointwise.

667: \end{enumerate}

668: The building has the following unicity property.

669: If $\Bb'$ is a $\G_\F$-set containing $\Aa$ and satisfying {\bf B1}, 

670: {\bf B2} and {\bf B3}, then there is a unique $\G_\F$-equivariant

671: bijection from $\Bb'$ to $\Bb$ (see \cite[\S2.1]{Tits} and also

672: \cite[\S1.9]{PY}). 

673: 

674: \subsection{}

675: 

676: The subsets of $\Bb$ of the form $g\cdot\Aa$ with $g\in\G_\F$ are

677: called {\it apartments}.

678: According to {\bf B1} the building is the union of its apartments.

679: 

680: For $g\in\G_\F$, the apartment $g\cdot\Aa$ can be naturally endowed

681: with a structure of affine space and an action of ${}^g\N_\F$ by

682: affine isomorphisms.

683: Upto unique iso\-morphism, it is the apartment attached to the maximal

684: $\F$-split torus ${}^g\SS$ (see \S\ref{consAppart}).

685: This defines a unique $\G_\F$-equivariant map:

686: \begin{equation}

687: \label{Herrera}

688: \G\supset\SS'\mapsto\Aa(\SS')\subset\Bb

689: \end{equation}

690: between maximal $\F$-split tori of $\G$ and apartments of $\Bb$, such

691: that $\SS$ maps to $\Aa$.

692: 

693: Note that $\Bb$ does not depend on the maximal $\F$-split torus

694: $\SS$.

695: Indeed, let $\SS'$ be a maximal $\F$-split torus of $\G$, let

696: $(\Aa',\nu')$ be the apartment attached to $\SS'$ and $\Bb'$ 

697: the building of $\G$ over $\F$ relative to this apartment (see 

698: \S\ref{TroisGraces}).

699: If we identify $\Aa'$ with the unique apartment of $\Bb$

700: corresponding to $\SS'$ {\it via} (\ref{Herrera}), then $\Bb'=\Bb$.

701: 

702: \subsection{}

703: \label{TroisParques}

704: 

705: The building has the following important properties

706: (see \cite[\S7.4]{BT} and also \cite[\S13]{Lan}): 

707: %See \cite{BT}, Propositions 7.4.4, 7.4.8 and Corollaire 7.4.10. 

708: %See also \cite{Lan}, Propositions 13.3, 13.6 and Corollary 13.8.

709: \begin{enumerate}

710: \item

711: Let $\O$ be a nonempty subset of $\Aa$.

712: Then $\PO$ is the subgroup of $\G_{\F}$ made of all elements

713: fixing $\O$ pointwise.

714: \item

715: Let $g\in\G_{\F}$.

716: There exists $n\in\N_{\F}$ such that $g\cdot x=n\cdot x$ for any

717: element $x\in\Aa\cap g^{-1}\cdot\Aa$.

718: \end{enumerate}

719: In particular, Property (1) together with {\bf B2} imply that

720: $\NO=\N_{\F}\cap\PO$.

721: 

722: \subsection{}

723: \label{ActionSigma}

724: 

725: Let $\s$ be a $\F$-automorphism of $\G$.

726: There is a unique bijective map from $\Bb$ to itself, which we still

727: denote by $\s$, such that:

728: \begin{itemize}

729: \item[(i)]

730: the condition:

731: \begin{equation*}

732: \label{act}

733: \s(g\cdot x)=\s(g)\cdot\s(x)

734: \end{equation*}

735: holds for any $g\in\G_{\F}$ and $x\in\Bb$;

736: \item[(ii)]

737: the map $\s$ permutes the apartments and, for any apartment $\Aa$, 

738: the restriction of $\s$ to $\Aa$ is an affine isomorphism from $\Aa$ 

739: onto its image.

740: \end{itemize}

741: This gives us an action of the group $\Aut_{\F}(\G)$ of

742: $\F$-automorphisms of $\G$ on the building (see \cite[\S 4.2.12]{BT2}).

743: %\cite[Proposition 13.18]{Lan}) and \cite[\S4.2.13]{BT2}.

744: 

745: \subsection{}

746: \label{TheExtendedBuilding}

747: 

748: Let $\V^1$ denote the dual space of $\X^*(\G)\otimes\RR$. 

749: The {\it extended building} of $\G$ over $\F$ is the product 

750: $\Bb^1=\Bb\times\V^1$, where $\G_\F$ acts on $\V^1$ by: 

751: \begin{equation*}

752: \label{ActionBExt}

753: g\cdot\chi=-\omega(\chi(g)),

754: \end{equation*}

755: for any $g\in\G_\F$ and any $\F$-rational character

756: $\chi\in\X^*(\G)_{\F}$.

757: The $\G_\F$-stabilizer of the reduced building $\Bb\times\{0\}$, 

758: considered as a subset of the extended build\-ing $\Bb^1$, is denoted

759: by $\G_{\F}^{\cpt}$.

760: It is the subgroup of all $g\in\G_\F$ such that $\omega(\chi(g))=0$

761: for any $\chi\in\X^*(\G)_{\F}$.

762: 

763: %The extended building is unique upto translations of the centre.

764: %Voir \cite{Tits} \S $1.2$, et \cite{Lan} $(13.17)$ {\it sqq}.

765: 

766: \begin{rema}

767: \label{ReseauxGD}

768: Let $\D$ denote the maximal $\F$-split torus of the connected centre

769: $\C$ of $\G$.

770: Then the quotient $\La_{\G}=\G_\F/\G^{\cpt}_\F$ is a free abelian

771: group of rank $\dim\D$, and the image of $\D_{\F}$ in $\La_{\G}$ has

772: finite index. 

773: \end{rema}

774: 

775: The action of $\Aut_{\F}(\G)$ on $\G$ induces an action of

776: $\Aut_{\F}(\G)$ on $\V^1$, hence on the extended building $\Bb^1$.

777: 

778: \begin{rema}

779: Let $\Ga$ be a finite subgroup of $\Aut_{\F}(\G)$ whose order is prime

780: to the residue characteristic of $\F$, and let $\H$ be the neutral

781: component of the fixed points subgroup $\G^{\Ga}$.

782: Prasad and Yu \cite{PY} proved the existence of a $\H_{\F}$-equivariant

783: map $\iota:\Bb^{1}(\H,\F)\to\Bb^{1}(\G,\F)$ whose image is the set

784: of $\Ga$-invariant points.

785: Moreover, such a map is {\it toral} in the sense of \cite{Lan}, 

786: which means that for any maximal $\F$-split torus $\T$ of $\H$, there

787: is a maximal $\F$-split torus $\SS$ of $\G$ containing $\T$ such that 

788: $\iota$ maps $\Aa_{\rm nr}(\H,\T)$ to $\Aa_{\rm nr}(\G,\SS)$ by an

789: affine transformation (see \cite[Theorem 1.9]{PY}, and Remark

790: \ref{Sardanapale} for the definition of the non reduced apartment

791: $\Aa_{\rm nr}$).

792: \end{rema}

793: 

794: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

795: % SECTION 2

796: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

797: 

798: \section{Existence of $\s$-stable apartments}

799: \label{sec3}

800: 

801: From now on, $\F$ will be a non-Archimedean locally compact

802: field of residue characteristic different from $2$.

803: Let $\G$ be connected reductive group defined over $\F$ and let $\s$

804: be a $\F$-involution on $\G$.

805: 

806: According to \S\ref{ActionSigma}, the building $\Bb$ of $\G$

807: over $\F$ is endowed with an action of $\s$.

808: In this section, we prove that, for any $x\in\Bb$, there exists a

809: $\s$-stable apartment containing $x$.

810: We keep using notations of Section \ref{sec1}.

811: 

812: \subsection{}

813: \label{Enmonameetconscience}

814: 

815: Let $\O$ be a nonempty $\s$-stable subset of $\Bb$ contained in some

816: apartment, and let $\App(\O)$ be the set of all apartments of $\Bb$

817: containing $\O$. 

818: It is a nonempty set on which the group $\PO$ acts transitively 

819: (see \cite[Corollary 13.7]{Lan}).

820: Because $\O$ is $\s$-stable, both $\PO$ and $\App(\O)$ are

821: $\s$-stable.

822: Note that the $\s$-stable apartments containing $\O$ are exactly the

823: $\s$-invariant points in $\App(\O)$.

824: 

825: \subsection{}

826: \label{toune}

827: 

828: Let us fix an apartment $\Aa\in\App(\O)$ and an element $u\in\PO$

829: such that $\s(\Aa)=u\cdot\Aa$.

830: Let $\N$ denote the normalizer in $\G$ of the maximal $\F$-split torus

831: of $\G$ corresponding to $\Aa$.

832: As $\s$ is involutive, we have:

833: \begin{equation}

834: \label{condg}

835: \s(u)u\in\PO\cap\N_{\F}=\NO.

836: \end{equation}

837: The map $\rho:g\mapsto g\cdot\Aa$ induces a $\PO$-equivariant

838: bijection between the homogeneous spaces $\PO/\NO$ and $\App(\O)$.

839: The automorphism:

840: \begin{equation}

841: \t:x\mapsto u^{-1}\s(x)u

842: \end{equation}

843: of the group $\G_{\F}$ stabilises $\PO$ and $\NO$.

844: Indeed $\s(\N_{\F})=u\N_{\F}u^{-1}$, and:

845: \begin{equation*}

846: \t(\NO)=u^{-1}\s(\PO\cap\N_{\F})u=\PO\cap u^{-1}\s(\N_{\F})u=\NO.

847: \end{equation*}

848: Note that the condition (\ref{condg}) means that $\t\circ\t$ is

849: conjugation by some element of $\NO$.

850: As $\NO$ is $\t$-stable, the map:

851: \begin{equation}

852: \label{ActionPN}

853: (\s,g\NO)\mapsto u\t(g\NO),\quad g\in\PO,

854: \end{equation}

855: defines an action of $\s$ on $\PO/\NO$, making $\rho$ into a

856: $\s$-equivariant bijection.

857: Note that this action differs from the natural action of $\s$ on

858: $\PO/\NO$ (which obviously has fixed points). 

859: 

860: \subsection{}

861: 

862: Let $\O$ be a nonempty $\s$-stable subset of $\Bb$ contained in some

863: apartment. 

864: 

865: \begin{prop}

866: \label{AppartStableNoWall}

867: Assume that $\O$ contains a point of a chamber of $\Bb$.

868: Then $\O$ is contained in some $\s$-stable apartment.

869: \end{prop}

870: 

871: \begin{proof}

872: First we describe $\PO/\NO$ as a projective limit of finite

873: $\s$-sets.

874: According to \cite[\S1.2]{Cartier}, Example (f), the group $\G_{\F}$

875: is locally compact and totally disconnected.

876: Therefore we can choose a decreasing filtration $(\Q^{i})_{i\>0}$ of

877: the open subgroup $\PO$ of $\G_{\F}$ satisfying the following

878: properties: 

879: \begin{enumerate}

880: \item[(A)]

881: The intersection of the $\Q^{i}$ is reduced to $\{1\}$.

882: \item[(B)]

883: For any $i\>0$, the subgroup $\Q^{i}$ is compact open and normal in

884: $\PO$.

885: \end{enumerate}

886: For $i\>0$, let $\PO^i$ denote the intersection of the subgroups

887: $\NO\Q^{i}$ and $\t(\NO\Q^{i})$. 

888: The $\PO^{i}$ form a decreasing filtration of $\PO$, and we claim that

889: such a filtration satisfies the following properties: 

890: \begin{enumerate}

891: \item

892: The intersection of the $\PO^{i}$ is reduced to $\NO$.

893: \item

894: For any $i\>0$, the subgroup $\PO^{i}$ is $\t$-stable

895: and of finite index in $\PO$.

896: \end{enumerate}

897: As $\NO$ is $\t$-stable, it is contained in the intersection of the

898: $\PO^{i}$.

899: Let $g$ be in this intersection.

900: For any $i\>0$, there exist $n_{i}\in\NO$ and

901: $q_{i}\in\Q^{i}$ such that $g=n_{i}q_{i}$.

902: Because of Property (A) above, $q_{i}$ converges to $1$.

903: Therefore $n_{i}$ converges to a limit contained in the closed subgroup

904: $\NO$, and this limit is $g$.

905: This proves Property (1).

906: 

907: Now recall that $\t\circ\t$ is conjugation by some element of $\NO$. 

908: This implies that $\PO^{i}$ is $\t$-stable.

909: As $\PO^{i}$ is open in $\PO$ and contains $\NO$, the quotient

910: $\PO/\PO^{i}$ can be identified with the quotient of $\UO$, which is

911: compact, by some open subgroup.

912: This gives the expected result.

913: 

914: Because of Property $(2)$, the map:

915: \begin{equation*}

916: (\s,g\PO^{i})\mapsto u\t(g\PO^{i}),\quad g\in\PO,

917: \end{equation*}

918: defines an action of $\s$ on the finite quotient

919: $\PO/\PO^{i}$.

920: We get a projective system $(\PO/\PO^{i})_{i\>0}$ of finite 

921: $\s$-sets.

922: Because $\PO$ is complete, and thanks to Property (1), the natural

923: $\s$-equivariant map from $\PO/\NO$ to the projective limit

924: of the $\PO/\PO^{i}$ is bijective.

925: 

926: \begin{lemm}

927: \label{LimPro}

928: Let $(\Xx^{i})_{i\>0}$ be a projective system of finite $\s$-sets, and

929: let $\Xx$ be its projective limit. 

930: Assume that, for each $i\>0$, the cardinal of $\Xx^i$ is odd.

931: Then $\Xx$ has a $\s$-invariant point. 

932: \end{lemm}

933: 

934: \begin{proof}

935: Because each of the $\Xx^{i}$ has an odd cardinal, each of them

936: contains a $\s$-invariant element.

937: Suppose that we have constructed for some $i\>1$ a $\s$-invariant

938: element $x_i\in\Xx^i$.

939: The fiber of $x_i$ in $\Xx^{i+1}$ is $\s$-stable and its cardinal is

940: the quotient of the cardinal of $\Xx^{i+1}$ by the one of $\Xx^{i}$.

941: Therefore it is odd.

942: We deduce from this that there exists a $\s$-invariant element

943: $x_{i+1}\in\Xx^{i+1}$ whose image in $\Xx^{i}$ is $x_i$.

944: By induction, we get a $\s$-invariant element $x\in\Xx$.

945: \end{proof}

946: 

947: Let $p$ denote the residue characteristic of $\F$.

948: Recall that $p$ is assumed to be odd.

949: 

950: \begin{lemm}

951: \label{lemmppower}

952: Let $\K$ be a normal subgroup of finite index in $\PO$ containing

953: $\NO$. 

954: Then the index of $\K$ in $\PO$ is a power of $p$. 

955: \end{lemm}

956: 

957: \begin{proof}

958: Let $\SS$ be the maximal $\F$-split torus associated to $\Aa$, let 

959: $\Phi$ denote the set of roots of $\G$ relative to $\SS$ and let

960: $\Phi=\Phi^{-}\cup\Phi^{+}$ be a decomposition of $\Phi$ into positive

961: and negative roots.

962: According to \S\ref{Iwap}, the group $\PO$ has the following Iwahori

963: decomposition:

964: \begin{equation}

965: \PO=\UO^-\UO^+\NO.

966: \end{equation}

967: The fact that $\O$ contains a point of a chamber of $\Bb$ implies 

968: that the group $\NO$ is reduced to $\Ker(\nu)$,

969: hence normalizes the groups $\UO^+$ and $\UO^-$.

970: The index of $\K$ in $\PO$ can be decomposed as follows:

971: \begin{equation}

972: \label{Pingouin}

973: (\PO:\K)=(\PO:\UO^+\K)\cdot(\UO^+\K:\K).

974: \end{equation}

975: In a first hand, the index $(\UO^+\K:\K)=(\UO^+:\UO^+\cap\K)$ is a

976: power of $p$, because $\UO^+$ is a pro-$p$-group ({\it i.e.} a

977: projective limit of finite discrete $p$-groups).

978: In the other hand, the index $(\PO:\UO^+\K)$ is equal to 

979: $(\UO^-:\UO^-\cap\UO^+\K)$, which is a power of $p$ because

980: $\UO^-$ is a pro-$p$-group.

981: The result follows.

982: \end{proof}

983: 

984: According to Lemma \ref{lemmppower}, the cardinal of each set

985: $\PO/\PO^{i}$ with $i\>0$ is odd.

986: Proposition \ref{AppartStableNoWall} now follows from Lemma

987: \ref{LimPro}.

988: \end{proof}

989: 

990: \subsection{}

991: \label{BrandeburgerTor}

992: 

993: We now prove the main result of this section.

994: 

995: \begin{prop}

996: \label{Raince}

997: For any $x\in\Bb$, there exists a $\s$-stable apartment containing

998: $x$. 

999: \end{prop}

1000: 

1001: \begin{proof}

1002: Let $x$ be a point in $\Bb$, and let $y$ be a point of a chamber of

1003: $\Bb$ whose adherence contains $x$.

1004: The set $\O=\{y,\s(y)\}$ is a $\s$-stable subset of $\Bb$ satisfying

1005: the conditions of Proposition \ref{AppartStableNoWall}.

1006: Hence we get a $\s$-stable apartment of $\Bb$ containing $y$.

1007: Such an apartment contains the adherence of the chamber of $y$.

1008: In particular, it contains $x$.

1009: \end{proof}

1010: 

1011: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1012: % SECTION 3

1013: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1014: 

1015: \section{Decomposition of $\H_{\F}\backslash\G_{\F}$}

1016: \label{AubergeDuPilori}

1017: 

1018: Let $\F$ be a non-Archimedean locally compact field of residue

1019: characteristic different from $2$. 

1020: Let $\G$ be a connected reductive group defined over $\F$, let

1021: $\s$ be an involutive $\F$-automorphism of $\G$ and let $\H$ be an

1022: open $\F$-subgroup of the fixed points group $\G^{\s}$. 

1023: Equivalently, $\H$ is a $\F$-subgroup of $\G^{\s}$ containing the

1024: neutral component $(\G^{\s})^{\circ}$ (see \cite{BDS}).

1025: 

1026: \subsection{}

1027: 

1028: Let $\SS$ be a maximal $\F$-split torus of $\G$, and let $\Aa$ denote

1029: the corresponding apartment.

1030: 

1031: \begin{lemm}

1032: \label{AppTore}

1033: $\Aa$ is $\s$-stable if, and only if $\SS$ is $\s$-stable.

1034: \end{lemm}

1035: 

1036: \begin{proof}

1037: This comes from the fact that the apartment corresponding to

1038: $\s(\SS)$ is the image of $\Aa$ by $\s$. 

1039: \end{proof}

1040: 

1041: \subsection{}

1042: \label{IciOEstDefini}

1043: 

1044: We now assume that $\SS$ is $\s$-stable.

1045: Let $\N$ (resp. $\Z$) denote the normalizer (resp. the centralizer) 

1046: of $\SS$ in $\G$.

1047: Let $\Oo=\Oo_\SS$ denote the set of all $g\in\G_\F$ such that

1048: $g^{-1}\s(g)\in\N_{\F}$.

1049: 

1050: \begin{prop}

1051: \label{prop34}

1052: $\Oo$ is a finite union of $(\H_{\F},\Z_{\F})$-double cosets.

1053: \end{prop}

1054: 

1055: \begin{proof}

1056: Let us fix a minimal parabolic $\F$-subgroup $\P$ of $\G$ containing

1057: $\SS$.

1058: According to \cite[Proposition 6.8]{HW}, the map

1059: $g\mapsto\H_{\F}g\P_{\F}$ induces a bijection between the

1060: $(\H_{\F},\Z_{\F})$-double cosets in $\Oo$ and the

1061: $(\H_{\F},\P_{\F})$-double cosets in $\G_{\F}$.

1062: The result then follows from \cite[Corollary 6.16]{HW}.

1063: 

1064: We now give a direct proof of this result.

1065: We have an exact sequence:

1066: \begin{equation*}

1067: \G_{\F}^{\s}=\H^{0}(\G_{\F})\f\H^0(\G_{\F}/\N_{\F})

1068: \ffr{\d}\H^1(\N_{\F})\f\H^1(\G_{\F}),

1069: \end{equation*}

1070: where $\H^0$ and $\H^1$ denote respectively the set of $\s$-fixed

1071: points and the first set of nonabelian cohomology of $\s$ (see

1072: \cite[Chapter I, \S5]{SerreCG}).

1073: The transition map $\d$ induces an injective map from

1074: $\G_{\F}^{\s}\backslash\H^0(\G_{\F}/\N_{\F})$, which is the set of

1075: $(\G_{\F}^{\s},\N_{\F})$-double cosets of $\Oo$, into $\H^1(\N_{\F})$. 

1076: Because $\Z_{\F}$ (resp. $\H_{\F}$) is of finite index in $\N_{\F}$

1077: (resp. in $\G_{\F}^{\s}$), the finiteness of the number of 

1078: $(\G_{\F}^{\s},\N_{\F})$-double cosets of $\Oo$ is equivalent to the

1079: finiteness of the number of $(\H_{\F},\Z_{\F})$-double cosets of $\Oo$.

1080: Therefore, it will be enough to prove that $\H^1(\N_{\F})$ is finite. 

1081: 

1082: Let $\M$ be a group with an action of $\s\in\Aut(\M)$, and let

1083: $\M'$ be a $\s$-stable normal subgroup of $\M$.

1084: We can form the following exact sequence:

1085: \begin{equation*}

1086: \H^1(\M')\f\H^1(\M)\f\H^{1}(\M/\M'),

1087: \end{equation*}

1088: which proves that the finiteness of $\H^1(\M')$ and $\H^{1}(\M/\M')$ 

1089: implies the finiteness of $\H^1(\M)$.

1090: Therefore we are reduced to proving that:

1091: \begin{equation*}

1092: \H^1(\N_{\F}/\Z_{\F}),\quad\H^1(\Z_{\F}/\Z_{\F}^{\cpt}),

1093: \quad\H^1(\Z_{\F}^{\cpt}) 

1094: \end{equation*}

1095: are finite sets.

1096: Recall (see \S\ref{HoraceBianchon}) that $\Z_{\F}^{\cpt}$ denotes the

1097: maximal compact subgroup of $\Z_\F$.

1098: Because $\N_{\F}/\Z_{\F}$ is finite, the first case is immediate.

1099: Next, the quotient $\La=\Z_{\F}/\Z_{\F}^{\cpt}$ is a finitely

1100: generated free abelian group. 

1101: We have an exact sequence:

1102: \begin{equation*}

1103: \H^1(2\La)\ffr{\a}\H^1(\La)\f\H^1(\La/2\La).

1104: \end{equation*}

1105: Let $2m\in2\La$ be a cocycle, that is $2m+\s(2m)=0$, and consider it

1106: as a cocycle in $\La$.

1107: The identity $2m=m-\s(m)$ implies that the class $\a(2m)$ is trivial

1108: in $\H^1(\La)$, hence that the map $\a$ is null.

1109: Therefore $\H^1(\La)$ is embedded in $\H^1(\La/2\La)$, which is finite

1110: because $\La/2\La$ is finite.

1111: 

1112: Now we treat the case of the compact subgroup $\Z_{\F}^{\cpt}$.

1113: Let $\M$ be an open pro-$p$-subgroup of $\Z_{\F}^{\cpt}$.

1114: (Its existence is a topological property of $\G_{\F}$ asserted in

1115: \cite[\S1.2]{Cartier}, Example (f).) 

1116: The normalizer of $\M$ in $\Z_{\F}^{\cpt}$ is open, hence of finite

1117: index, in $\Z_{\F}^{\cpt}$.

1118: We can therefore assume that $\M$ is normal (if not, we replace it by

1119: the intersection of the finitely many ${}^{g}\M$ with

1120: $g\in\Z_{\F}^{\cpt}$). 

1121: Moreover, we assume that $\M$ is stable by $\s$ (if not, we replace it

1122: by $\M\cap\s(\M)$). 

1123: Then $\H^1(\M)$ is trivial because $\M$ is a pro-$p$-group and $p$ is

1124: odd, and $\H^1(\Z_{\F}^{\cpt}/\M)$ is finite because $\M$ is of finite

1125: index in $\Z_{\F}^{\cpt}$. 

1126: The finiteness of $\H^1(\Z_{\F}^{\cpt})$ follows.

1127: This ends our alternative proof of Lemma \ref{prop34}.

1128: \end{proof}

1129: 

1130: \subsection{}

1131: 

1132: Let $\Aa$ denote the $\s$-stable apartment corresponding to $\SS$. 

1133: 

1134: \begin{lemm}

1135: \label{gO}

1136: We have $g\in\Oo$ if and only if $g\cdot\Aa$ is $\s$-stable.

1137: \end{lemm}

1138: 

1139: \begin{proof}

1140: As $\Aa$ is $\s$-stable, the apartment $g\cdot\Aa$ is

1141: $\s$-stable if and only if $\s(g)\cdot\Aa=g\cdot\Aa$.

1142: This amounts to saying that $g^{-1}\s(g)\in\N_{\F}$.

1143: \end{proof}

1144: 

1145: For $x\in\Aa$, let $\P_x$ denote the subgroup $\P_{\O}$ 

1146: (see \S\ref{Iwap}) with $\O=\{x\}$.

1147: 

1148: \begin{prop}

1149: \label{Euripide}

1150: Let $x$ be in $\Aa$.

1151: Then we have $\G_\F=\Oo\P_{x}$.

1152: \end{prop}

1153: 

1154: \begin{proof}

1155: For $g\in\G_\F$, we set $x'=g\cdot x$. 

1156: According to Proposition \ref{Raince}, there is a $\s$-stable

1157: apartment $\Aa'$ containing $x'$.

1158: Let $g'\in\Oo$ be such that $\Aa'=g'\cdot\Aa$.

1159: According to Property (2) of \S\ref{TroisParques}, there exists

1160: $n\in\N_{\F}$ such that we have $g'^{-1}g\cdot x=n\cdot x$. 

1161: Hence we get $g\in\Oo\N_{\F}\P_{x}$.

1162: As $\Oo\N_{\F}=\Oo$, we obtain the expected result.

1163: \end{proof}

1164: 

1165: \subsection{}

1166: \label{AlmostTrue}

1167: 

1168: If $\T$ is a $\s$-stable torus in $\G$, we denote by $\T^+$

1169: (resp. $\T^-$) the neutral comp\-onent of $\T\cap\H$ (resp. of the

1170: subgroup $\{t\in\T\ |\ \s(t)=t^{-1}\}$).

1171: Note that, as $\T^+$ is open in the fixed points subgroup $\T^{\s}$,

1172: we have $\T^+=(\T^{\s})^{\circ}$.

1173: The torus $\T$ is the almost direct product (see \cite[xi]{Borel}) of

1174: $\T^+$ and $\T^-$, which means that $\T$ is equal to the product

1175: $\T^+\T^-$ and the intersection $\T^+\cap\T^-$ is finite.

1176: 

1177: \begin{defi}[Helminck-Wang \cite{HW}, \S4.4]

1178: \label{Justine}

1179: A $\s$-stable torus $\T$ of $\G$ is said to be {\it $(\s,\F)$-split}

1180: if it is $\F$-split and if $\T=\T^-$.

1181: \end{defi}

1182: 

1183: Let us recall (see \cite[Proposition 10.3]{HW}) that two arbitrary

1184: maximal $(\s,\F)$-split tori of $\G$ are $\G_\F$-conjugated.

1185: 

1186: \subsection{}

1187: \label{Poil}

1188: 

1189: Let $\T$ be a $\F$-split torus of $\G$, and let $\T_\F^{\cpt}$ denote

1190: its maximal compact subgroup.

1191: Let $\w$ be a uniformizer of $\F$.

1192: The images of $\w$ by the various alg\-ebraic cocharacters of $\T$

1193: form a $\s$-stable lattice in $\T_{\F}$, which will be denoted by

1194: $\La(\T_{\F})$.

1195: 

1196: \begin{lemm}

1197: \label{Borely}

1198: \begin{itemize}

1199: \item[(i)]

1200: $\T_{\F}$ is the direct product of $\La(\T_{\F})$ and $\T_\F^{\cpt}$.

1201: \item[(ii)]

1202: For any $g\in\G_\F$, we have $\La({}^g\T_\F)={}^g\La(\T_{\F})$. 

1203: \item[(iii)]

1204: The subgroup generated by $\La(\T^+_\F)$ and $\La(\T^-_\F)$ has 

1205: finite index in $\La(\T_{\F})$.

1206: \end{itemize}

1207: \end{lemm}

1208: 

1209: \begin{proof}

1210: Only (iii) is not immediate.

1211: First note that, as $\F$ is a non Archi\-me\-dean locally comp\-act

1212: field of characteristic different from $2$, the subgroup of squares of

1213: $\mult\F$ is of finite index in $\mult\F$.

1214: This implies that $\T_\F^2=\{t^2\ |\ t\in\T_\F\}$ is of finite index

1215: in $\T_\F$.

1216: 

1217: For any $t\in\T_\F$, the element $t^2$ can be decomposed as the

1218: product of $t\s(t)\in\T^+_\F$ and $t\s(t)^{-1}\in\T^-_\F$.

1219: Indeed the image of $\T$ by the map $t\mapsto t\s(t)$ is connected and

1220: contained in $\T^{\s}$, thus in $\T^{+}$.

1221: By a similar argument, the image of $\T$ by $t\mapsto t\s(t)^{-1}$

1222: is contained in $\T^{-}$.

1223: 

1224: Therefore $\T_\F^2$ is contained in $\T^+_\F\T^-_\F$, thus

1225: there is some finite subset $\Ff$ of $\T_\F$ such that

1226: $\T_\F=\T^+_\F\T^-_\F\Ff$.

1227: According to (i), this gives:

1228: \begin{eqnarray*}

1229: \label{Walalal}

1230: \La(\T_\F)\T_\F^{\cpt}

1231: &=&\La(\T_\F^+)(\T_\F^+)^{\cpt}\La(\T_\F^-)(\T_\F^-)^{\cpt}\Ff\\

1232: &=&\La(\T_\F^+)\La(\T_\F^-)\T_\F^{\cpt}\Ff.

1233: \end{eqnarray*}

1234: We obtain the expected result by computing the quotient of this

1235: equality by the subgroup $\La(\T_\F^+)\La(\T_\F^-)\T_\F^{\cpt}$.

1236: \end{proof}

1237: 

1238: \subsection{}

1239: 

1240: Let $\{\A^{j}\ |\ j\in\J\}$ be a set of representatives of the

1241: $\H_\F$-conjugacy classes of maximal $(\s,\F)$-split tori in $\G$.

1242: We denote by $\W_{\G_{\F}}(\A^{j})$ (resp. $\W_{\H_{\F}}(\A^{j})$) the

1243: quotient of the normalizer of $\A^{j}$ in $\G_{\F}$ (resp. in $\H_\F$)

1244: by its centralizer.

1245: According to \cite[Proposition 5.9]{HW}, the group

1246: $\W_{\G_{\F}}(\A^{j})$ is the Weyl group of a root system.

1247: In particular, it is a finite group.

1248: (If $\s$ is trivial on the isotropic factor of $\G$ over $\F$, then

1249: this group is trivial.)

1250: 

1251: \begin{defi}

1252: \label{Juliette}

1253: A parabolic subgroup $\P$ of $\G$ is said to be $\s$-{\it parabolic}

1254: if it is opposite to $\s(\P)$, that is if $\P\cap\s(\P)$ is a Levi

1255: subgroup of $\P$ and $\s(\P)$.

1256: \end{defi}

1257: 

1258: \begin{rema}

1259: This differs from the terminology used in \cite{HW}, where such

1260: parabolic subgroups are said to be $\s$-{\it split}.

1261: \end{rema}

1262: 

1263: \subsection{}

1264: 

1265: Let $\A$ be a max\-imal $(\s,\F)$-split torus of $\G$.

1266: 

1267: \begin{lemm}

1268: There is a $\s$-stable maximal $\F$-split torus of $\G$ containing

1269: $\A$.

1270: \end{lemm}

1271: 

1272: \begin{proof}

1273: Let $\G'$ denote the neutral component of the centralizer of $\A$ in

1274: $\G$.

1275: It is a connected reductive $\F$-group.

1276: Let $\SS$ be a $\s$-stable maximal $\F$-split torus of $\G'$, whose

1277: existence is asserted by Proposition \ref{Raince} and Lemma

1278: \ref{AppTore} together.

1279: Such a torus $\SS$ is a $\s$-stable maximal $\F$-split torus of $\G$ 

1280: containing $\A$.

1281: \end{proof}

1282: 

1283: Let $\SS$ be a $\s$-stable maximal $\F$-split torus of $\G$ containing

1284: $\A$ and $\P$ a minimal $\s$-parabolic $\F$-subgroup of $\G$

1285: containing $\SS$ (see \cite[\S4]{HW}).

1286: Let $\w$ be a uniformizer of $\F$, set $\La=\La(\A_\F)$ and let

1287: $\La^{-}$ denote the subset of anti-dominant elements of $\La$

1288: relative to $\P$.

1289: 

1290: \begin{theo}

1291: \label{Anaximandre}

1292: For $j\in\J$, let $\Nn_j\subset\N_{\G_\F}(\A^j)$ be a set of 

1293: representatives of 

1294: $\W_{\H_{\F}}(\A^{j})\backslash\W_{\G_{\F}}(\A^{j})$

1295: and $y_j\in\G_{\F}$ such that ${}^{y_{j}}\A=\A^{j}$.

1296: There exists a comp\-act subset $\O$ of $\G_{\F}$ such that:

1297: \begin{equation*}

1298: \G_{\F}=\bigcup\limits_{j\in\J}\bigcup\limits_{n\in\Nn_j}

1299: \H_\F ny_{j}\La^{-}\O.

1300: \end{equation*}

1301: \end{theo}

1302: 

1303: \begin{proof}

1304: First let $\{u_i\ |\ i\in\I\}$ be a set of representatives of

1305: $(\H_\F,\Z_{\F})$-double cosets in $\Oo$.

1306: According to Lemma \ref{prop34}, such a set is finite.

1307: Let $\Aa$ denote the apartment corresponding to $\SS$, and let

1308: $\K$ be the stabilizer of $x$ in $\G_\F$.

1309: Then Proposition \ref{Euripide} can be rephrased as follows: 

1310: \begin{equation}

1311: \label{Lorenza}

1312: \G_{\F}=\bigcup\limits_{i\in\I}\H_{\F}u_i\Z_{\F}\K.

1313: \end{equation}

1314: Let $\K^{\cpt}$ denote the intersection $\K\cap\G_\F^{\cpt}$

1315: (see \S\ref{TheExtendedBuilding}).

1316: It is the maximal compact sub\-group of $\K$.

1317: 

1318: \begin{lemm}

1319: \label{Lorenzzatio}

1320: We have $\Z_{\F}\K=\La(\SS_{\F})\Ff\K^{\cpt}$ for some finite subset

1321: $\Ff\subset\G_{\F}$. 

1322: \end{lemm}

1323: 

1324: \begin{proof}

1325: First note that $\Z_{\F}\cap\K^{\cpt}=\Z_{\F}^{\cpt}$.

1326: Indeed, any element of the group $\Z_{\F}^{\cpt}$, which is the kernel

1327: of (\ref{nu1}), acts trivially on $x$.

1328: Therefore $\Z_{\F}^{\cpt}$ is contained in $\K$, hence in its maximal

1329: compact sub\-group $\K^{\cpt}$.

1330: Inversely, the compact group $\Z_{\F}\cap\K^{\cpt}$ is contained in

1331: $\Z_\F$, hence in its maximal compact sub\-group $\Z_{\F}^{\cpt}$.

1332: According to Remark \ref{RemCptMax}, the group 

1333: $\SS_{\F}\Z_{\F}^{\cpt}$ has finite index in $\Z_{\F}$.

1334: Thus there exists a finite subset $\Ff_1\subset\Z_{\F}$ 

1335: such that $\Z_{\F}=\Ff_1\SS_{\F}(\Z_{\F}\cap\K^{\cpt})$.

1336: 

1337: Let $\D$ denote the maximal $\F$-split torus of the connected centre

1338: $\C$ of $\G$.

1339: According to Remark \ref{ReseauxGD}, the image of $\D_{\F}$ in

1340: $\G_\F/\G^{1}_{\F}$ has finite index, thus its image in $\K/\K^{1}$

1341: too.

1342: This implies that $\D_{\F}\K^{\cpt}=\La(\D_{\F})\K^{\cpt}$ has finite

1343: index in $\K$, thus that there exists a finite subset $\Ff_2\subset\K$

1344: such that $\K=\Ff_2\La(\D_{\F})\K^{\cpt}$. 

1345: 

1346: Finally, we have:

1347: \begin{eqnarray*}

1348: \Z_{\F}\K&=&\Ff_1\SS_{\F}\K\\

1349: &=&\Ff_1\La(\SS_{\F})\K\\

1350: &=&\Ff_1\La(\SS_{\F})\Ff_2\La(\D_{\F})\K^{\cpt}

1351: \end{eqnarray*}

1352: which gives the expected result with $\Ff=\Ff_1\Ff_2$.

1353: \end{proof}

1354: 

1355: For $i\in\I$, we set $\SS^i={}^{u_{i}}\SS$.

1356: According to Lemmas \ref{Lorenzzatio} and \ref{Borely}(iii), there are

1357: finite subsets $\Ff\subset\G_\F$ and $\Vv_i\subset\La(\SS^{i}_{\F})$,

1358: for $i\in\I$, such that:

1359: \begin{equation}

1360: \label{Bargeton}

1361: \H_{\F}u_i\Z_{\F}\K=\H_{\F}\La(\SS^{i-}_{\F})\Vv_iu_i\Ff\K^{\cpt}.

1362: \end{equation}

1363: According to \cite[Lemma 2.2]{HH}, the $(\s,\F)$-split torus

1364: $\SS^{i-}$ is $\H_\F$-conjugated to a subtorus of $\A^j$ for some

1365: $j\in\J$. 

1366: We can therefore assume that, for a suitable choice of the

1367: representative $u_{i}$, the $(\s,\F)$-split torus $\SS^{i-}$ is

1368: contained in $\A^j$ for some $j\in\J$.

1369: For $j\in\J$, let $\Uu_j$ be the union of the $\Vv_iu_i\Ff$ such

1370: that $\A^{j}$ contains $\SS^{i-}$.

1371: Together with (\ref{Lorenza}) and (\ref{Bargeton}), this gives: 

1372: \begin{equation}

1373: \label{LouisLambert}

1374: \G_{\F}=

1375: \bigcup\limits_{j\in\J}\H_{\F}\La(\A^{j}_{\F})\Uu_j\K^{\cpt}.

1376: \end{equation}

1377: For $j\in\J$, we fix a set $\Nn_{\H_{\F},j}$ of representatives of 

1378: $\W_{\H_{\F}}(\A^{j})$ and we denote by $\tilde\Nn_{j}$ the set 

1379: $\{hn\ |\ h\in\Nn_{\H_{\F},j}, n\in\Nn_{j}\}$.

1380: It is a set of representatives of $\W_{\G_{\F}}(\A^{j})$.

1381: From (\ref{LouisLambert}) we have:

1382: \begin{equation}

1383: \label{Lousteau}

1384: \G_{\F}=\bigcup\limits_{j\in\J}\bigcup\limits_{n\in\tilde\Nn_{j}}

1385: \H_{\F}n\La(\A^{j}_{\F})^-n^{-1}\Uu_j\K^{\cpt},

1386: \end{equation}

1387: where $\La(\A^{j}_{\F})^-$ denotes the subset of anti-dominant

1388: elements of $\La(\A^{j}_{\F})$ relative to the parabolic subgroup

1389: ${}^{y_{j}}\P$.

1390: If we remark that $\La(\A^{j}_{\F})^-={}^{y_{j}}\La^{-}$, and if we

1391: denote by $\O$ the union of the $y_j^{-1}n^{-1}\Uu_j\K^{\cpt}$

1392: for $j\in\J$ and $n\in\tilde\Nn_{j}$, then (\ref{Lousteau}) becomes:

1393: \begin{equation}

1394: \G_{\F}=\bigcup\limits_{j\in\J}\bigcup\limits_{n\in\Nn_{j}}

1395: \H_{\F}ny_{j}\La^-\O.

1396: \end{equation}

1397: This gives us the expected result.

1398: \end{proof}

1399: 

1400: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1401: % SECTION 4

1402: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1403: 

1404: \section{The split case}

1405: 

1406: In this section, we keep using notations of Section

1407: \ref{AubergeDuPilori}.

1408: Moreover, we assume that the reductive group $\G$ is split over $\F$.

1409: Therefore, for any root $\a$ of $\G$ relative to some maximal

1410: $\F$-split torus of $\G$, the root subgroup $\U_{\a}$ is

1411: $\F$-isomorphic to the additive group.

1412: 

1413: The main results of this section are Proposition \ref{Rubempre} and

1414: Theorem \ref{SplendeursEtMiseres}. 

1415: 

1416: \subsection{}

1417: \label{Training}

1418: 

1419: Let $\SS$ be a $\s$-stable maximal $\F$-split torus of $\G$, let $\Aa$

1420: be the apartment corresponding to $\SS$ and $\Phi$ the set of roots of

1421: $\G$ relative to $\SS$.

1422: 

1423: Let $x\in\Aa$ be a special point, and let $\U_{x}$ denote the subgroup

1424: $\U_{\O}$ (see \S\ref{Iwap}) with $\O=\{x\}$.

1425: Let $\a\in\Phi$ be a $\s$-invariant root, which means that

1426: $\a\circ\s=\a$.

1427: 

1428: \begin{lemm}

1429: \label{Almani}

1430: Assume that $\U_{-a}(\F)$ is contained in 

1431: $\{g\in\G_\F\ |\ \s(g)=g^{-1}\}$.

1432: Then there are $n\in\N_\F$ and $c\in\U_x$ such that $n=c^{-1}\s(c)$

1433: and $\nu(n)$ is the affine reflection of $\Aa$ which let $x$ invariant

1434: and whose linear part is $s_a$.

1435: \end{lemm}

1436: 

1437: \begin{proof}

1438: We fix a base point in the apartment $\Aa$, so that it can be

1439: id\-ent\-ified with the vector space $\V$.

1440: For any $b\in\Phi$, this defines a filtration of the group $\U_{b}(\F)$

1441: (see \S\ref{Chouans}).

1442: For $u\in\U_{b}(\F)-\{1\}$, we denote by $\h_{b}(u)$ the greatest real

1443: number $r\in\RR$ such that $u\in\U_{b}(\F)_{r}$.

1444: 

1445: Let us choose $w\in\U_{-a}(\F)-\{1\}$ such that $x$ is contained in

1446: the wall $\Hh_{-a,w}$. 

1447: Thus $\nu(m(w))$ is the affine reflection of $\Aa$ which fixes $x$

1448: and whose linear part is $s_a$, and we can set:

1449: \begin{equation*}

1450: n=m(w)\in\N_\F.

1451: \end{equation*}

1452: Moreover $\t(-\a,w)$, which is the unique affine function from $\Aa$

1453: to $\RR$ whose linear part is ${-\a}$ and whose vanishing hyperplane

1454: is $\Hh_{-a,w}$, vanishes on $x$.

1455: Therefore it is equal to the map:

1456: \begin{equation*}

1457: y\mapsto-a(y)+a(x),

1458: \end{equation*}

1459: which implies that $\h_{-\a}(w)=a(x)$. 

1460: According to {\bf B3} (see \S\ref{TroisGraces}), it follows that $w$

1461: fixes $x$.

1462: 

1463: The subgroup $\U_{-a}(\F)$ is isomorphic to the additive group of

1464: $\F$.

1465: Thus, for any $r\in\RR$, the subgroup $\U_{-\a}(\F)_{r}$ corresponds

1466: through this isomorphism to a nontrivial $\mathfrak{o}$-submodule of

1467: $\F$, where $\mathfrak{o}$ denotes the ring of integers of $\F$ (see

1468: \cite[Proposition 7.7]{Lan}).

1469: Therefore there is a unique element $v\in\U_{-a}(\F)$ such that 

1470: $w=v^2$ and $\h_{-\a}(v)=\h_{-\a}(w)$.

1471: Thus $v\in\U_x$. 

1472: 

1473: The map $\U_{\a}(\F)\times\U_{\a}(\F)\to\G_\F$ defined by

1474: $(u,u')\mapsto uwu'$ is injective and the intersection given by

1475: (\ref{InterMU}) consists of a single element, namely $n$.

1476: If we choose $u,u'\in\U_{\a}(\F)$ such that $uwu'=n$, then the

1477: element:

1478: \begin{equation}

1479: \s(u')^{-1}w\s(u)^{-1}=\s(n)^{-1}

1480: \end{equation}

1481: is contained in the intersection (\ref{InterMU}).

1482: Hence $\s(n)^{-1}$ is equal to $n$, and the unicity property implies

1483: that $u'=\s(u)^{-1}$.

1484: Moreover, according to \cite[Lemma 7.4(ii)]{Lan}, the real numbers 

1485: $\h_{\a}(u)$ and $\h_{\a}(\s(u))$ are both equal to $-\h_{-\a}(w)$.

1486: This implies that $u$ and $\s(u)$ are contained in $\U_x$.

1487: Since $v$ is $\s$-anti-invariant and $w=v^{2}$, we get the expected

1488: result with $c=(uv)^{-1}$.

1489: \end{proof}

1490: 

1491: \begin{rema}

1492: Note that $\s(c)\in\U_x$. 

1493: Indeed we have $\s(v)=v^{-1}\in\U_{x}$ and $\s(u)\in\U_x$.

1494: Hence $n=c^{-1}\s(c)\in\N_\F\cap\U_{\O}$, which is contained in

1495: $\N_\O$ with $\O=\{x,\s(x)\}$. 

1496: \end{rema}

1497: 

1498: \subsection{}

1499: \label{Parsec}

1500: 

1501: Let $\Dd\G$ denote the derived subgroup of $\G$, and recall that $\C$

1502: denotes the connected centre of $\G$.

1503: This latter subgroup is a $\F$-split torus of $\G$.

1504: 

1505: \begin{lemm}

1506: \label{Marguerites}

1507: Let $\T$ be a $\F$-split torus of $\G$.

1508: \begin{itemize}

1509: \item[(i)]

1510: There is a $\F$-subtorus $\T'$ of $\C$ such that the groups 

1511: $\T\cdot\Dd\G$ and $\T'\cdot\Dd\G$ are equal.

1512: \item[(ii)]

1513: If $\T$ is $(\s,\F)$-split, then any $\T'$ satisfying (i) is

1514: $(\s,\F)$-split.

1515: \item[(iii)]

1516: Assume that $\Dd\G$ is contained in $\H$ and $\T$ is $(\s,\F)$-split.

1517: Then any $\T'$ satisfying (i) is $(\s,\F)$-split and has the same

1518: dimension as $\T$. 

1519: \end{itemize}

1520: \end{lemm}

1521: 

1522: \begin{proof}

1523: We set $\tilde\G=\G/\Dd\G$ and, for any $\F$-subgroup $\K$ of $\G$, we

1524: denote by $\tilde\K$ the image of $\K$ in $\tilde\G$.

1525: According to \cite[Proposition 14.2]{Borel}, the group $\G$ is the almost 

1526: direct product of $\C$ and $\Dd\G$, which means that $\G$ is equal to

1527: the product $\C\cdot\Dd\G$ and that the intersection $\C\cap\Dd\G$ is

1528: finite. 

1529: This implies that $\tilde\C=\tilde\G$.

1530: Let $f$ denote the $\F$-rational map $\C\to\tilde\C$.

1531: It is surjective with finite kernel.

1532: Hence $\tilde\G$ is a $\F$-split torus, and we denote by $\tilde\s$

1533: the involutive $\F$-automorphisme of $\tilde\G$ induced by $\s$.

1534: We now prove the lemma in three steps.

1535: \begin{itemize}

1536: \item[(i)]

1537: According to \cite[Proposition 8.2(c)]{Borel}, the neutral component

1538: of the inverse image $f^{-1}(\tilde\T)$ is a $\F$-split subtorus of

1539: $\C$ which we denote by $\T'$.

1540: It has finite index in $f^{-1}(\tilde\T)$.

1541: The image $f(\T')$ is then a subtorus of finite index in the connected

1542: group $\tilde\T$, so that $\tilde\T'=\tilde\T$.

1543: \item[(ii)]

1544: Now assume that $\T$ is $(\s,\F)$-split, and let $\T'$ satisfy (i).

1545: Let us consider the map $t\mapsto t\s(t)$ from $\T'$ to itself. 

1546: As $\tilde\T'=\tilde\T$ is a $(\tilde\s,\F)$-split torus, the image of

1547: this map is a connected $\F$-subgroup contained in the kernel of $f$,

1548: which is finite.

1549: \item[(iii)]

1550: Assume that $\Dd\G$ is contained in $\H$ and $\T$ is $(\s,\F)$-split.

1551: Then the map $\T\to\tilde{\T}$ has finite kernel, which implies that

1552: $\T$ and $\tilde{\T}$ have the same dimension.

1553: Now let $\T'$ satisfy (i).

1554: According to (ii), such a torus is $(\s,\F)$-split, and it has the

1555: same dimension as $\tilde\T'=\tilde\T$.

1556: \end{itemize}

1557: This ends the proof of Lemma \ref{Marguerites}.

1558: \end{proof}

1559: 

1560: \subsection{}

1561: 

1562: Let $\Bb$ denote the building of $\G$ over $\F$.

1563: 

1564: \begin{prop}

1565: \label{Rubempre}

1566: Let $x$ be a special point of $\Bb$.

1567: There exists a $\s$-stable max\-imal $\F$-split torus $\SS$ of $\G$

1568: such that the apartment corresponding to $\SS$ cont\-ains $x$ and such

1569: that $\SS^-$ is a maximal $(\s,\F)$-split torus of $\G$.

1570: \end{prop}

1571: 

1572: \begin{rema}

1573: In \S\ref{CounterStrike} we give an example of a {\it non split}

1574: $\F$-group $\G$ such that Proposition \ref{Rubempre} does not hold.

1575: \end{rema}

1576: 

1577: \begin{proof}

1578: Let $\Aa$ be a $\s$-stable apartment containing $x$ (see Proposition

1579: \ref{Raince}) and let $\SS$ be the corresponding maximal $\F$-split

1580: torus of $\G$.

1581: Assume that $\Aa$ has been chosen such that the dimension of the

1582: $(\s,\F)$-split torus $\SS^-$ is maximal.

1583: If it is a maximal $(\s,\F)$-split torus of $\G$, then Proposition

1584: \ref{Rubempre} is proved. 

1585: Assume that this is not the case, and let $\A$ be a maximal

1586: $(\s,\F)$-split torus of $\G$ containing $\SS^{-}$.

1587: The dim\-ension of $\A$ is greater than $\dim \SS^{-}$ (if not, the 

1588: containment $\SS^{-}\subset\A$ would imply that $\SS^{-}=\A$).

1589: If we get a contradiction, the proposition will be proved.

1590: 

1591: Let $\G'$ be the neutral component of the centralizer of $\SS^{-}$ in

1592: $\G$.

1593: It is a $\F$-split connected reductive subgroup of $\G$ containing

1594: $\SS$ and $\A$, which is naturally endowed with a nontrivial action

1595: of $\s$.

1596: Let $\C'$ denote the connected center of $\G'$.

1597: 

1598: \begin{lemm}

1599: \label{Petunias}

1600: There is $a\in\Phi(\G',\SS)$ such that the corresponding root subgroup

1601: $\U'_a$ is not contained in $\H$, and such a root is $\s$-invariant.

1602: \end{lemm}

1603: 

1604: \begin{proof}

1605: Assume that $\U'_a\subset\H$ for each root $a\in\Phi(\G',\SS)$.

1606: Thus the derived subgroup $\Dd\G'$, which is generated by the

1607: $\U'_a$ for $a\in\Phi(\G',\SS)$, is contained in $\H$

1608: (see \cite[Theorem 27.5(e)]{Humphreys}).

1609: According to Lemma \ref{Marguerites}(iii), there exists a

1610: $(\s,\F)$-subtorus $\A'$ of $\C'$ such that

1611: $\A\cdot\Dd\G'=\A'\cdot\Dd\G'$ and $\dim(\A)=\dim(\A')$.

1612: 

1613: The subgroup generated by $\C'$ and $\SS$ is a $\F$-torus of $\G'$.

1614: As $\G'$ is $\F$-split, $\SS$ is a maximal torus of $\G'$, hence it 

1615: contains $\C'$.

1616: Therefore $\SS^{-}$ contains $\A'$ which has the same dimension as

1617: $\A$, and this dimension is greater than $\dim\SS^{-}$.

1618: This gives us a contra\-diction.

1619: 

1620: Now let $\a$ be a root in $\Phi(\G',\SS)$ such that $\U'_a$ is not

1621: contained in $\H$.

1622: The root $\a$ and its conjugate $\a\circ\s$ coincide on $\SS^+$ and

1623: are both trivial on $\SS^-$. 

1624: As $\SS$ is the almost direct product of $\SS^+$ and $\SS^-$ (see 

1625: \S\ref{AlmostTrue}), they are equal. 

1626: Therefore $\a$ is $\s$-invariant.

1627: This ends the proof of Lemma \ref{Petunias}.

1628: \end{proof}

1629: 

1630: Let $a\in\Phi(\G',\SS)$ as in Lemma \ref{Petunias}.

1631: If we think to $\a$ as a root in $\Phi(\G,\SS)$, the root subgroup

1632: $\U_\a$ is $\s$-stable and is not contained in $\H$.

1633: Moreover, we have the following result.

1634: 

1635: \begin{lemm}

1636: $\U_\a(\F)$ is contained in $\{g\in\G_\F\ |\ \s(g)=g^{-1}\}$.

1637: \end{lemm}

1638: 

1639: \begin{proof}

1640: As $\G$ is $\F$-split, $\U_\a$ is $\F$-isomorphic to the additive

1641: group.

1642: Thus the action of $\s$ on $\U_\a(\F)$ corresponds to an involutive

1643: automorphism of the $\F$-algebra $\F[t]$.

1644: It has the form $t\mapsto\l t$ for some $\l\in\mult\F$ with

1645: $\l^{2}=1$. 

1646: As $\U_\a$ is not contained in $\H$, we have $\l=-1$.

1647: This gives the expected result.

1648: \end{proof}

1649: 

1650: According to Lemma \ref{Almani}, there are $n\in\N_\F$ and $c\in\U_x$

1651: such that $n=c^{-1}\s(c)$ and $\nu(n)$ is the affine reflection of

1652: $\Aa$ which let $x$ invariant and whose linear part is $s_a$.

1653: For any $t\in\SS$, note that we have:

1654: \begin{eqnarray*}

1655: \s(ctc^{-1})&=&cn\s(t)n^{-1}c^{-1}\\

1656: &=&cs_\a(\s(t))c^{-1}.

1657: \end{eqnarray*}

1658: Let $\Aa'$ denote the apartment $c\cdot\Aa$ and let $\SS'={}^{c}\SS$

1659: be the corresponding maximal $\F$-split torus of $\G$.

1660: Then $\Aa'$ contains $x$ and is $\s$-stable. 

1661: Moreover, as the root $a$ is trivial on $\SS^{-}$ and $s_\a$ fixes the

1662: kernel of $\a$ pointwise, the conjugate ${}^c(\SS^{-})$ is a

1663: $(\s,\F)$-split subtorus of $\SS'$.

1664: Thus $\SS'^-$ has dimension not smaller than $\dim\SS^-$.

1665: 

1666: Now let $\SS_\a$ denote the maximal $\F$-split torus in the set of all

1667: $t\in\SS$ such that $s_\a(t)=t^{-1}$.

1668: As $\a$ is $\s$-invariant, such a torus is $\s$-stable.

1669: Moreover, it is one dimensional and its intersection with $\Ker(\a)$

1670: is finite.

1671: Therefore the conjugate ${}^c\SS_\a$ is a nontrivial $(\s,\F)$-split

1672: subtorus of $\SS'$ which is not contained in ${}^c(\SS^{-})$.

1673: Thus the dimension of $\SS'^-$, which contains

1674: ${}^{c}(\SS_{\a}\SS^{-})$, is greater than $\dim\SS^{-}$, which

1675: contradicts the maximality property of $\Aa$.

1676: This ends the proof of Proposition \ref{Rubempre}.

1677: \end{proof}

1678: 

1679: \subsection{}

1680: 

1681: Let $\A$ be a max\-imal $(\s,\F)$-split torus of $\G$ and $\SS$ a

1682: $\s$-stable maximal $\F$-split torus of $\G$ containing $\A$.

1683: Let $\{\A^{j}\ |\ j\in\J\}$ be a set of representatives of the

1684: $\H_\F$-conjugacy classes of maximal $(\s,\F)$-split tori in $\G$.

1685: Let $x$ be a special point of the building and let $\K$ be its

1686: stabilizer in $\G_\F$.

1687: 

1688: \begin{theo}

1689: \label{SplendeursEtMiseres}

1690: For $j\in\J$, let $y_j\in\G_{\F}$ such that ${}^{y_{j}}\A=\A^{j}$.

1691: We have:

1692: \begin{equation*}

1693: \G_{\F}=\bigcup\limits_{j\in\J}\H_\F y_{j}\SS_\F\K.

1694: \end{equation*}

1695: \end{theo}

1696: 

1697: \begin{proof}

1698: We fix $g\in\G_\F$.

1699: According to Proposition \ref{Rubempre}, there is a $\s$-stable

1700: max\-imal $\F$-split torus $\SS'$ of $\G$ such that the apartment

1701: corresponding to it cont\-ains $g\cdot x$ and such that $\SS'^-$ 

1702: is a maximal $(\s,\F)$-split torus of $\G$.

1703: Let $j\in\J$ be such that $\SS'^-$ is $\H_\F$-conjugate to $\A^j$.

1704: According to \cite[Lemma 2.2]{HH}, there is $h\in\H_\F$ such that

1705: $\SS'={}^{hy_j}\SS$.

1706: Hence $g\cdot x$ is contained in $hy_j\cdot\Aa$.

1707: According to Property (2) of \S\ref{TroisParques}, there exists

1708: $n\in\N_{\F}$ such that $g\cdot x=hy_jn\cdot x$. 

1709: 

1710: Therefore $\G_\F$ is the union of the $\H_\F y_j\N_\F\K$ for

1711: $j\in\J$. 

1712: As $x$ is special, we have $\N_\F\K=\SS_\F\K$ and we get the expected

1713: result. 

1714: \end{proof}

1715: 

1716: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1717: % SECTION 5

1718: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1719: 

1720: \section{Examples}

1721: 

1722: Let $\F$ be a non-Archimedean locally compact field of residue

1723: characteristic different from $2$.

1724: Let $\o$ be its ring of integers and $\p$ its maximal ideal. 

1725: 

1726: \subsection{}

1727: 

1728: Here we consider the connected reductive $\F$-group $\G=\GL_{n}$,

1729: endowed with the $\F$-involution $\s:g\mapsto{}^tg^{-1}$, where 

1730: ${}^{t}g$ denotes the transpose of $g\in\G$.

1731: We set $\K=\GL_n(\o)$ and $\H=\G^\s$, which is an orthogonal group,

1732: and we denote by $\SS$ the diagonal torus of $\G$.

1733: 

1734: We start with the following lemma.

1735: 

1736: \begin{lemm}

1737: \label{lem2}

1738: Let $\V$ be a finite dimensional $\F$-vector space and $\B$ a

1739: symmetric bilinear form on $\V$.

1740: Then any free $\o$-submodule of finite rank of $\V$ has a basis which

1741: is orthogonal relative to $\B$.

1742: \end{lemm}

1743: 

1744: \begin{proof}

1745: Let $\La$ be a free $\o$-submodule of finite rank of $\V$. 

1746: The proof goes by induction on the rank of $\La$. 

1747: If $\B$ is null, then the result is trivial.

1748: If not, we denote by $\B_{\La}$ the restriction of $\B$ to

1749: $\La\times\La$.

1750: Its image is of the form $\p^m$ for some integer $m\in\ZZ$.

1751: If $\w$ is a uniformizer of $\F$, then the form

1752: $\B_{\La}^0=\w^{-m}\B_{\La}$ has image $\o$ on $\La\times\La$.

1753: Therefore, it defines a non trivial bilinear form:

1754: \begin{equation*}

1755: \bar\B_{\La}^0:\La/\p\La\times\La/\p\La\to\o/\p.

1756: \end{equation*}

1757: Let $e\in\La$ be a vector whose reduction mod. $\p$ is not isotropic

1758: relative to $\bar\B_{\La}^0$, which means that $\B_{\La}^0(e,e)$ is a

1759: unit of $\o$.

1760: Then $\La$ is the direct sum of $\o e$ and $\La\cap\F e^{\bot}$,

1761: where $\F e^{\bot}$ denotes the orthogonal of $\F e$ in $\V$.

1762: Indeed, it follows from the decomposition:

1763: \begin{equation*}

1764: x=\frac{\B(e,x)}{\B(e,e)}e+\Big(x-\frac{\B(e,x)}{\B(e,e)}e\Big)

1765: \end{equation*}

1766: for any $x\in\La$.

1767: As $\La\cap\F e^{\bot}$ is a free $\o$-submodule of finite rank of

1768: $\V$ whose rank is smaller than the rank of $\La$, we conclude by

1769: induction.

1770: \end{proof}

1771: 

1772: We introduce the set $\Ee$ of all $g\in\G_\F$ such that

1773: ${}^tgg\in\SS_\F$ (compare \S\ref{IciOEstDefini}).

1774: We have the following decomposition of $\G_\F$, which is more 

1775: precise than the one given by Proposition \ref{Euripide}.

1776: 

1777: \begin{prop}

1778: \label{decGSK}

1779: We have $\G_\F=\Ee\K$.

1780: \end{prop}

1781: 

1782: \begin{proof}

1783: We make $\G_\F$ act on the quotient $\G_\F/\K$, which can be

1784: identified to the set of all $\o$-lattices (that is, cocompact free

1785: $\o$-submodules) of the $\F$-vector space $\V=\F^n$. 

1786: Let $\B$ denote the symmetric bilinear form on $\V$ making the

1787: canonical basis of $\V$ into an orthonormal basis.

1788: According to Lemma \ref{lem2}, for any $g\in\G_\F$, the

1789: $\o$-lattice $\La$ corresponding to the class $g\K$ has a basis which

1790: is orthogonal relative to $\B$.

1791: This means that there exists $u\in\K$ such that the element 

1792: $g'=gu^{-1}\in g\K$ maps the canonical basis of $\V$ to an orthogonal

1793: basis of $\La$. 

1794: Therefore we have $g'\in\Ee$, thus $g\in\Ee\K$.

1795: \end{proof}

1796: 

1797: We now investigate the maximal $(\s,\F)$-split tori of $\G$.

1798: Note that $\SS$ is a maximal $(\s,\F)$-split torus of $\G$.

1799: 

1800: \begin{prop}

1801: \label{Verneuil}

1802: The map $g\mapsto{}^g\SS$ induces a bijection between

1803: $(\H_\F,\N_\F)$-double cosets of $\Ee$ and $\H_\F$-conjugacy classes

1804: of maximal $(\s,\F)$-split tori of $\G$.

1805: \end{prop}

1806: 

1807: \begin{proof}

1808: One immediately checks that this map is well defined and injective. 

1809: For $g\in\G_\F$, the conjugate ${}^g\SS$ is a maximal $(\s,\F)$-split

1810: torus of $\G$ if anf only if $g^{-1}\s(g)\in\SS_\F$, which amounts to

1811: saying that $g\in\Ee$ and proves surjectivity.

1812: \end{proof}

1813: 

1814: Let $\Qq$ denote the set of all equivalence classes of non

1815: degenerate quadratic forms on $\F^n$.

1816: For $a={\rm diag}(a_1,\ldots,a_n)\in\SS_\F$ we denote by $\Q_a$ the

1817: diagonal quad\-ratic form $a_1\X_{1}^{2}+\ldots+a_n\X_{n}^{2}$.

1818: Note that the map $a\mapsto\Q_a$ induces a surjective map from $\SS_\F$

1819: to $\Qq$.

1820: 

1821: \begin{prop}

1822: \label{Sprint1}

1823: \begin{itemize}

1824: \item[(i)]

1825: The map $g\mapsto{}^tgg$ induces an injection $\iota$ from the set of 

1826: $(\H_\F,\N_\F)$-double cosets of $\Ee$ to $\H^1(\N_\F)$. 

1827: \item[(ii)]

1828: For $a\in\SS_\F$, the class of $a$ in $\H^1(\N_\F)$ is in the image

1829: of $\iota$ if and only if $\Q_a\sim\X_{1}^{2}+\ldots+\X_{n}^{2}$.

1830: \end{itemize}

1831: \end{prop}

1832: 

1833: \begin{proof}

1834: We have an exact sequence:

1835: \begin{equation*}

1836: \H_\F\to\H^0(\G_\F/\N_\F)\to\H^1(\N_\F)\to\H^1(\G_\F),

1837: \end{equation*}

1838: where the map from $\H^0(\G_\F/\N_\F)$ to $\H^1(\N_\F)$

1839: is induced by $g\mapsto{}^tgg$. 

1840: As the set of $(\H_\F,\N_\F)$-double cosets of $\Ee$ is a subset of

1841: $\H_\F\backslash\H^0(\G_\F/\N_\F)$, we get (i).

1842: To get (ii), it is enough to remark that $\H^1(\G_\F)$ canonically

1843: identifies with $\Qq$.

1844: \end{proof}

1845: 

1846: \begin{rema}

1847: Recall (see \cite[IV \S2.3]{Serre}) that for $a,b\in\SS_\F$, the

1848: nondegenerate quadratic forms $\Q_a,\Q_b$ are equivalent if, and only

1849: if they have the same discriminant and the same Hasse invariant.

1850: \end{rema}

1851: 

1852: \begin{prop}

1853: \label{Lollo}

1854: Let $\{a^j\ |\ j\in\J\}\subset\SS_\F$ form a set of representatives of

1855: $\Im(\iota)$ in $\H^1(\N_\F)$. 

1856: For $j\in\J$, we choose $y_j\in\Ee$ such that ${}^ty_jy_j=a^j$.

1857: Then:

1858: \begin{equation}

1859: \label{Binou}

1860: \G_\F=\bigcup\limits_{j\in\J}\H_\F y_j\SS_\F\K.

1861: \end{equation}

1862: \end{prop}

1863: 

1864: \begin{proof}

1865: Propositions \ref{decGSK} and \ref{Verneuil} imply that $\G_\F$ is the

1866: union of the components $\H_\F y_j\N_\F\K$ for $j\in\J$.

1867: As $\N_\F\K=\SS_\F\K$ we get the expected result.

1868: \end{proof}

1869: 

1870: \begin{exem}

1871: In the case where $n=2$, we give an explicit description of

1872: $\Im(\iota)$.

1873: Let $\w$ denote a uniformizer of $\o$ and $\xi\in\mult\o$ a non square

1874: unit of $\o$, so that $\{1,\xi,\w,\xi\w\}$ is a set of

1875: rep\-resentatives of $\mult\F$ modulo $\F^{\times 2}$.

1876: The set of elements of $\mult\F$ which are represented by the

1877: quadratic form $\Q_1=\X^2+\Y^2$ depends on the image of $p$ in

1878: $\ZZ/4\ZZ$.

1879: If $p\equiv 1\ {\rm mod.}\ 4$, all elements of $\mult\F$ are

1880: represented by $\Q_1$.

1881: If $p\equiv 3\ {\rm mod.}\ 4$, an element of $\mult\F$ is

1882: represented by $\Q_1$ if and only if its normalized valuation if

1883: even. 

1884: We set:

1885: \begin{equation*}

1886: \J=

1887: \left\{

1888: \begin{array}{ll}

1889: \{1,\xi,\w,\xi\w\}\quad & \text{if}\ p\equiv 1\ {\rm mod.}\ 4, \\

1890: \{1,\xi\} & \text{if}\ p\equiv 3\ {\rm mod.}\ 4.

1891: \end{array}

1892: \right.

1893: \end{equation*}

1894: For each $j\in\J$, set $a^{j}={\rm diag}(j,j)$.

1895: Then the elements $a^{j}$ form a set of rep\-resentatives of

1896: $\Im(\iota)$ in $\H^1(\N_\F)$.

1897: \end{exem}

1898: 

1899: \subsection{}

1900: \label{Restrike}

1901: 

1902: \def\Perm{\mathfrak{S}}

1903: \def\E{\F'}

1904: 

1905: In this paragraph we consider the connected reductive $\F$-group

1906: $\G=\Res_{\E/\F}\GL_{n}$, where $\E$ is a quadratic

1907: extension of $\F$, endowed with the involutive $\F$-auto\-morphism

1908: $\s$ of $\G$ induced by the nontrivial element of $\Gal(\E/\F)$.

1909: 

1910: We set $\H=\G^{\s}$, so that we have $\G_\F=\GL_n(\E)$ and

1911: $\H_\F=\GL_n(\F)$. 

1912: We denote by $\SS$ the diagonal torus of $\G$ and by $\K$ the maximal

1913: compact subgroup $\GL_n(\o')$ of $\G_\F$, where $\o'$ denotes the

1914: ring of integers of $\E$.

1915: Note that $\SS$ is $\s$-invariant, that is $\SS=\SS^+$.

1916: 

1917: As usual, $\N$ (resp. $\Z$) denotes the normalizer (resp. the

1918: centralizer) of $\SS$ in $\G$.

1919: Let $\Perm_n$ denote the group of permutation matrices in $\G_\F$, so

1920: that $\N_\F$ is the semidirect product of $\Perm_n$ by $\Z_\F$.

1921: Note that $\SS_\F$ (resp. $\Z_\F$) is the subgroup of all diagonal

1922: matrices of $\G_\F$ with entries in $\F$ (resp. in $\E$).

1923: 

1924: \begin{lemm}

1925: \label{Ploum}

1926: $\H^1(\N_\F)$ can be identified with the set of conjugacy classes of

1927: elements of $\Perm_n$ of order $1$ or $2$.

1928: \end{lemm}

1929: 

1930: \begin{proof}

1931: According to Hilbert's Theorem 90, the group $\H^1(\Z_\F)$ is trivial.

1932: Therefore we have an exact sequence:

1933: \begin{equation}

1934: \label{hyppolite}

1935: 1\f\H^1(\N_\F)\f\H^1(\N_\F/\Z_\F).

1936: \end{equation}

1937: As $\s$ acts trivially on $\N_\F/\Z_\F\simeq\Perm_n$, the set

1938: $\H^1(\N_\F/\Z_\F)$ can be identified to the set of

1939: $\Perm_n$-conjugacy classes of $\Hom(\ZZ/2\ZZ,\Perm_n)$, that is, 

1940: to the set of conjugacy classes of elements of $\Perm_n$ of order

1941: $\<2$.

1942: This proves that $\H^1(\N_\F)$ can be naturally embedded in the set of

1943: conjugacy classes of elements of $\Perm_n$ of order $\<2$.

1944: 

1945: Now two elements $w,w'\in\Perm_n$ define the same class in

1946: $\H^1(\N_\F)$ if and only if they are conjugate in $\Perm_n$, 

1947: thus if and only if $w\Z_\F$ and $w'\Z_\F$ define the same class in 

1948: $\H^1(\N_\F/\Z_\F)$. 

1949: Therefore (\ref{hyppolite}) is a bijection.

1950: \end{proof}

1951: 

1952: \begin{prop}

1953: \label{Eulalie}

1954: \begin{itemize}

1955: \item[(i)]

1956: The number of $\H_\F$-conjugacy classes of $\s$-stable maximal

1957: $\F$-split tori in $\G_\F$ is $[n/2]+1$.

1958: \item[(ii)]

1959: There is a unique $\H_\F$-conjugacy class of maximal $(\s,\F)$-split

1960: tori in $\G_\F$.

1961: \end{itemize}

1962: \end{prop}

1963: 

1964: \begin{proof}

1965: \begin{itemize}

1966: \item[(i)]

1967: Let $\Oo$ denote the set of all $g\in\G_\F$ such that

1968: $g^{-1}\s(g)\in\N_\F$. 

1969: Then the map $g\mapsto{}^g\SS$ defines an injective map from the set

1970: of $(\H_\F,\N_\F)$-double cosets of $\Oo$ to $\H^1(\N_\F)$.

1971: Therefore we are reduced to proving that this map is surjective, and

1972: (i) will follow from Lemma \ref{Ploum}

1973: 

1974: For $n=2$, let $\tau$ denote the nontrivial element of $\Perm_2$ and 

1975: choose an element $a\in\E$ which is not in $\F$.

1976: Then the element:

1977: \begin{equation}

1978: \label{DEFu}

1979: u=

1980: \begin{pmatrix}

1981: a &\s(a)\\

1982: 1 &1\\

1983: \end{pmatrix}

1984: \in\GL_2(\E)

1985: \end{equation}

1986: satisfies the relation $u^{-1}\s(u)=\tau$.

1987: For an arbitrary integer $n\>2$, let $w\in\Perm_n$ have order $\<2$.

1988: Then there is an integer $0\<i\<[n/2]$ such that $w$ is 

1989: conjugate to the element: 

1990: \begin{equation*}

1991: \tau_i={\rm diag}(\tau,\ldots,\tau,1,\ldots,1)\in\GL_n(\E),

1992: \end{equation*}

1993: where $\tau\in\GL_2(\E)$ appears $i$ times and $1\in\GL_1(\E)$ appears

1994: $n-2i$ times. 

1995: Thus the matrice:

1996: \begin{equation}

1997: \label{DEFui}

1998: u_i={\rm diag}(u,\ldots,u,1,\ldots,1)\in\GL_n(\E)

1999: \end{equation}

2000: satisfies the relation $u_i^{-1}\s(u_i)=\tau_i$.

2001: Therefore any cocycle in $\N_\F$ is $\G_\F$-cohomo\-logous to the

2002: neutral element $1\in\G_\F$, which proves (i).

2003: \item[(ii)]

2004: For any $0\<i\<[n/2]$, the dimension of the $(\s,\F)$-split

2005: torus $({}^{u_i}\SS)^-$ is equal to $i$. 

2006: According to (i), the map:

2007: \begin{equation*}

2008: \H_\F g\N_\F\mapsto\text{class of } g^{-1}\s(g) \text{ in } \H^1(\N_\F)

2009: \end{equation*}

2010: is a bijection from the set of $(\H_\F,\N_\F)$-double cosets of $\Oo$

2011: to $\H^1(\N_\F)$, and the elements of this latter set are the classes

2012: of the $\tau_i$ for $0\<i\<[n/2]$.

2013: This gives us the expected result.

2014: \end{itemize}

2015: This ends the proof of Proposition \ref{Eulalie}.

2016: \end{proof}

2017: 

2018: \begin{prop}

2019: For $0\<i\<[n/2]$, let $u_i$ denote the element defined by

2020: (\ref{DEFu}) and (\ref{DEFui}).

2021: Then we have:

2022: \begin{equation*}

2023: \G_\F=\bigcup_{i=0}^{[n/2]}

2024: \H_\F u_i\Z_\F\K.

2025: \end{equation*}

2026: \end{prop}

2027: 

2028: \begin{proof}

2029: According to the proof of Proposition \ref{Eulalie}, the set $\Oo$ is

2030: the union of the double cosets $\H_\F u_i\N_\F$ with $0\<i\<[n/2]$.

2031: The result then follows from Proposition \ref{Euripide} and from the

2032: fact that $\N_\F\K=\Z_\F\K$.

2033: \end{proof}

2034: 

2035: \subsection{}

2036: \label{CounterStrike}

2037: \def\AA{\mathfrak{A}}

2038: \def\FF{{\rm F}}

2039: 

2040: Here we give an example (due to Bertrand Lemaire) of a non-split

2041: $\F$-group such that Proposition \ref{Rubempre} does not hold. 

2042: We set $\G=\Res_{\E/\F}\GL_{2}$, where $\E$ is now a 

2043: {\it totally ramified} quadratic extension of $\F$.

2044: The $\F$-involution $\s$ is still induced by the nontrivial element of

2045: $\Gal(\E/\F)$ and we set $\H=\GL_{2}$.

2046: Let $\Bb'$ (resp. $\Bb$) denote the building of $\G$ (resp. $\H$) over

2047: $\F$.

2048: 

2049: In \cite{BT3}, Bruhat and Tits give a description of the

2050: faces of $\Bb$ in terms of hereditary $\o$-orders of $\M_{2}(\F)$.

2051: More precisely, there is a bijective correspondence:

2052: \begin{equation}

2053: \label{IdeeNoire}

2054: \FF\mapsto\Mm_\FF

2055: \end{equation}

2056: between the faces of $\Bb$ and the hereditary $\o$-orders of

2057: $\M_{2}(\F)$, such that the stabilizer of $\FF$ in $\GL_2(\F)$ in the

2058: normalizer of $\Mm_\FF$ in $\GL_2(\F)$.

2059: For $x\in\Bb$, we will denote by $\Mm_x$ the hereditary order

2060: corresponding to the face of $\Bb$ which contains $x$.

2061: Of course, we have a similar correspondence between faces of

2062: $\Bb'$ and hereditary $\o'$-orders of $\M_{2}(\F')$.

2063: Moreover, as $\E$ is tamely ramified over $\F$, there is a bijective

2064: correspondence $j$ from the set $\Bb'^\s$ of $\s$-invariant points

2065: of $\Bb'$ to $\Bb$ such that, for any $x\in\Bb'^\s$, we have:

2066: \begin{equation*}

2067: \Mm_{j(x)}=\Mm_x\cap\M_{2}(\F).

2068: \end{equation*}

2069: 

2070: Let $q$ denote the cardinal of the residue field of $\F$.

2071: As $\E$ is totally ramified over $\F$, any vertex of $\Bb$

2072: (resp. $\Bb'$) has exactly $q+1$ neighbours in $\Bb$ (resp. in

2073: $\Bb'$). 

2074: Let $x$ be a $\s$-invariant point of $\Bb'$.

2075: Recall that, according to Proposition \ref{Raince}, it is contained in

2076: a $\s$-stable apartment. 

2077: \begin{enumerate}

2078: \item

2079: If $j(x)$ is in a chamber of $\Bb$, then $x$

2080: has $q+1$ neighbours in $\Bb'$ but only two $\s$-invariant ones.

2081: Thus $x$ has non-$\s$-invariant neighbours.

2082: \item

2083: If $j(x)$ is a vertex of $\Bb$, then $x$

2084: has $q+1$ neighbours in $\Bb'$ as in $\Bb$.

2085: Thus any neighbour of $x$ in $\Bb'$ is $\s$-invariant, which implies

2086: that any $\s$-stable apartment containing $x$ is $\s$-invariant.

2087: For instance, this is the case of the vertex $x$ corresponding to the

2088: $\o'$-order $\M_{2}(\o')$, because its image $j(x)$ corresponds to the

2089: maximal $\o$-order $\M_{2}(\o')\cap\M_{2}(\F)=\M_{2}(\o)$.

2090: Such a special point does not satisfy Proposition \ref{Rubempre}.

2091: \end{enumerate}

2092: 

2093: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2094: % BIBLIOGRAPHY

2095: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2096: 

2097: \providecommand{\bysame}{\leavevmode ---\ }

2098: \providecommand{\og}{``}

2099: \providecommand{\fg}{''}

2100: \providecommand{\smfandname}{\&}

2101: \providecommand{\smfedsname}{\'eds.}

2102: \providecommand{\smfedname}{\'ed.}

2103: \providecommand{\smfmastersthesisname}{M\'emoire}

2104: \providecommand{\smfphdthesisname}{Th\`ese}

2105: \begin{thebibliography}{10}

2106: 

2107: \bibitem{AP}

2108: {\scshape U.~K. Anandavardhanan {\normalfont \smfandname} D.~Prasad} -- {\og

2109:   Distinguished representations for {${\rm SL}(2)$}\fg}, \emph{Math. Res.

2110:   Lett.} \textbf{10} (2003), no.~5-6, p.~867--878.

2111: 

2112: \bibitem{AT}

2113: {\scshape U.~K. Anandavardhanan {\normalfont \smfandname} R.~Tandon} -- {\og On

2114:   distinguishedness\fg}, \emph{Pacific J. Math.} \textbf{206} (2002), no.~2,

2115:   p.~269--286.

2116: 

2117: \bibitem{BDS}

2118: {\scshape J.-P. Anker {\normalfont \smfandname} B.~Orsted} (\smfedsname) --

2119:   \emph{Lie theory}, Progress in Mathematics, vol. 230, Birkh\"auser Boston

2120:   Inc., Boston, MA, 2005, Harmonic analysis on symmetric spaces---general

2121:   Plancherel theorems.

2122: 

2123: \bibitem{BO}

2124: {\scshape Y.~Benoist {\normalfont \smfandname} H.~Oh} -- {\og Polar

2125:   decomposition for $p$-adic symmetric spaces\fg}, 

2126: {{\rm \verb!arXiv:math.GR/0612305!}}.

2127: 

2128: \bibitem{BD}

2129: {\scshape P.~Blanc {\normalfont \smfandname} P.~Delorme} -- {\og Vecteurs

2130:   distributions ${H}$-invariants de re\-pr\'e\-sen\-ta\-tions induites, pour un

2131:   espace sym\'etrique r\'eductif $p$-adique ${G}/{H}$\fg}, \emph{to

2132:   appear in Ann. Inst. Fourier (Grenoble)}.

2133: 

2134: \bibitem{Borel}

2135: {\scshape A.~Borel} -- \emph{Linear algebraic groups}, second \smfedname,

2136:   Graduate Texts in Mathematics, vol. 126, Springer-Verlag, New York, 1991.

2137: 

2138: \bibitem{BorelTits}

2139: {\scshape A.~Borel {\normalfont \smfandname} J.~Tits} -- {\og Groupes

2140:   r\'eductifs\fg}, \emph{Inst. Hautes \'Etudes Sci. Publ. Math.} (1965),

2141:   no.~27, p.~55--150.

2142: 

2143: \bibitem{BT}

2144: {\scshape F.~Bruhat {\normalfont \smfandname} J.~Tits} -- {\og Groupes

2145:   r\'eductifs sur un corps local\fg}, \emph{Inst. Hautes \'Etudes Sci. Publ.

2146:   Math.} (1972), no.~41, p.~5--251.

2147: 

2148: \bibitem{BT2}

2149: \bysame , {\og Groupes r\'eductifs sur un corps local. {II}. {S}ch\'emas en

2150:   groupes. {E}xistence d'une donn\'ee radicielle valu\'ee\fg}, \emph{Inst.

2151:   Hautes \'Etudes Sci. Publ. Math.} (1984), no.~60, p.~197--376.

2152: 

2153: \bibitem{BT3}

2154: \bysame , {\og Sch\'emas en groupes et immeubles des groupes classiques sur un

2155:   corps local\fg}, \emph{Bull. Soc. Math. France} \textbf{112} (1984), no.~2,

2156:   p.~259--301.

2157: 

2158: \bibitem{Cartier}

2159: {\scshape P.~Cartier} -- {\og Representations of {$p$}-adic groups: a

2160:   survey\fg}, in \emph{Automorphic forms, representations and $L$-functions

2161:   (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part

2162:   1}, Proc. Sympos. Pure Math., XXXIII, Amer. Math. Soc., Providence, R.I.,

2163:   1979, p.~111--155.

2164: 

2165: \bibitem{HakimMao}

2166: {\scshape J.~Hakim {\normalfont \smfandname} Z.~Mao} -- {\og Supercuspidal

2167:   representations of {${\rm GL}(n)$} distinguished by a unitary subgroup\fg},

2168:   \emph{Pacific J. Math.} \textbf{185} (1998), no.~1, p.~149--162.

2169: 

2170: \bibitem{HM1}

2171: {\scshape J.~Hakim {\normalfont \smfandname} F.~Murnaghan} -- {\og Tame

2172:   supercuspidal representations of {${\rm GL}(n)$} distinguished by a unitary

2173:   group\fg}, \emph{Compositio Math.} \textbf{133} (2002), no.~2, p.~199--244.

2174: 

2175: \bibitem{HM2}

2176: \bysame , {\og Two types of distinguished supercuspidal representations\fg},

2177:   \emph{Int. Math. Res. Not.} (2002), no.~35, p.~1857--1889.

2178: 

2179: \bibitem{H}

2180: {\scshape A.~G. Helminck} -- {\og Symmetric {$k$}-varieties\fg}, in

2181:   \emph{Algebraic groups and their generalizations: classical methods

2182:   (University Park, PA, 1991)}, Proc. Sympos. Pure Math., vol.~56, Amer. Math.

2183:   Soc., Providence, RI, 1994, p.~233--279.

2184: 

2185: \bibitem{HH}

2186: {\scshape A.~G. Helminck {\normalfont \smfandname} G.~F. Helminck} -- {\og A

2187:   class of parabolic {$k$}-subgroups associated with symmetric

2188:   {$k$}-varieties\fg}, \emph{Trans. Amer. Math. Soc.} \textbf{350} (1998),

2189:   no.~11, p.~4669--4691.

2190: 

2191: \bibitem{HW}

2192: {\scshape A.~G. Helminck {\normalfont \smfandname} S.~P. Wang} -- {\og On

2193:   rationality properties of involutions of reductive groups\fg}, \emph{Adv.

2194:   Math.} \textbf{99} (1993), no.~1, p.~26--96.

2195: 

2196: \bibitem{Humphreys}

2197: {\scshape J.~E. Humphreys} -- \emph{Linear algebraic groups}, Springer-Verlag,

2198:   New York, 1975, Graduate Texts in Mathematics, No. 21.

2199: 

2200: \bibitem{Nat}

2201: {\scshape N.~Lagier} -- {\og Asymptotiques de fonctions sur un espace

2202:   sym\'etrique r\'eductif $p$-adique\fg}, Manuscript.

2203: 

2204: \bibitem{Lan}

2205: {\scshape E.~Landvogt} -- \emph{A compactification of the {B}ruhat-{T}its

2206:   building}, Lecture Notes in Mathematics, vol. 1619, Springer-Verlag, Berlin,

2207:   1996.

2208: 

2209: \bibitem{LanCrelle}

2210: \bysame , {\og Some functorial properties of the {B}ruhat-{T}its building\fg},

2211:   \emph{J. Reine Angew. Math.} \textbf{518} (2000), p.~213--241.

2212: 

2213: \bibitem{Offen}

2214: {\scshape O.~Offen} -- {\og Relative spherical functions on {$\wp$}-adic

2215:   symmetric spaces (three cases)\fg}, \emph{Pacific J. Math.} \textbf{215}

2216:   (2004), no.~1, p.~97--149.

2217: 

2218: \bibitem{Prasad}

2219: {\scshape D.~Prasad} -- {\og Distinguished representations for quadratic

2220:   extensions\fg}, \emph{Compositio Math.} \textbf{119} (1999), no.~3,

2221:   p.~335--345.

2222: 

2223: \bibitem{Prasad2}

2224: \bysame , {\og On a conjecture of {J}acquet about distinguished representations

2225:   of {${\rm GL}(n)$}\fg}, \emph{Duke Math. J.} \textbf{109} (2001), no.~1,

2226:   p.~67--78.

2227: 

2228: \bibitem{PY}

2229: {\scshape G.~Prasad {\normalfont \smfandname} J.-K. Yu} -- {\og On finite group

2230:   actions on reductive groups and buildings\fg}, \emph{Invent. Math.}

2231:   \textbf{147} (2002), no.~3, p.~545--560.

2232: 

2233: \bibitem{SS}

2234: {\scshape P.~Schneider {\normalfont \smfandname} U.~Stuhler} -- {\og

2235:   Representation theory and sheaves on the {B}ruhat-{T}its building\fg},

2236:   \emph{Inst. Hautes \'Etudes Sci. Publ. Math.} (1997), no.~85, p.~97--191.

2237: 

2238: \bibitem{Serre}

2239: {\scshape J.-P. Serre} -- \emph{Cours d'arithm\'etique}, Presses Universitaires

2240:   de France, Paris, 1970.

2241: 

2242: \bibitem{SerreCG}

2243: \bysame , \emph{Cohomologie galoisienne}, fifth \smfedname, Lecture Notes in

2244:   Mathematics, vol.~5, Springer-Verlag, Berlin, 1994.

2245: 

2246: \bibitem{Tits}

2247: {\scshape J.~Tits} -- {\og Reductive groups over local fields\fg}, Proc.

2248:   Sympos. Pure Math., XXXIII, Amer. Math. Soc., Providence, R.I., 1979,

2249:   p.~29--69.

2250: 

2251: \end{thebibliography}

2252: 

2253: \end{document}

2254: