1: \documentclass{smfart}
2: \usepackage[francais,english]{babel}
3: %\usepackage{amssymb,amsthm,amscd,array,amsmath}
4: \usepackage{smfthm}
5: \usepackage{bull}
6: \theoremstyle{plain} \newtheorem{scholie}{Scholie}
7: \author{Pascal Redou}
8: \address{
9: Institut Girard Desargues, Universit\'e Claude Bernard Lyon 1, B\^atiment Braconnier (ex-101), 21 Avenue
10: Claude Bernard, 69622 VILLEURBANNE Cedex, FRANCE
11: }
12: \email{redou@enib.fr}
13: \title[Densit\'es tensorielles sur la sph\`ere]{Repr\'esentations de l'alg\`ebre de Lie conforme sur l'espace des densit\'es tensorielles sur la sph\`ere}
14: \alttitle{Representations of the conformal Lie algebra on the space of tensor densities on the sphere}
15:
16: \newcommand{\bbR}{\mathbb{R}}
17:
18: \newcommand{\bbC}{\mathbb{C}}
19:
20: \newcommand{\bbN}{\mathbb{N}}
21:
22: \newcommand{\Diff}{\mathrm{Diff}}
23: \newcommand{\Div}{\mathrm{Div}}
24:
25: \newcommand{\End}{\mathrm{End}}
26: \newcommand{\cF}{{\mathcal{F}}}
27:
28: \newcommand{\SL}{\mathrm{SL}}
29:
30: \newcommand{\SO}{\mathrm{SO}}
31:
32: \newcommand{\so}{\mathrm{o}}
33: \newcommand{\Tr}{\mathrm{Tr}}
34: \newcommand{\Vect}{\mathrm{Vect}}
35:
36:
37: \def\a{\alpha}
38: \def\b{\beta}
39: \def\d{\delta}
40: \def\g{\gamma}
41: \def\om{\omega}
42: \def\r{\rho}
43: \def\s{\sigma}
44: \def\vfi{\varphi}
45: \def\vr{\varrho}
46: \def\l{\lambda}
47: \def\m{\mu}
48: \def\n{\nu}
49: \def\implies{\Rightarrow}
50:
51:
52: \def\mod#1{\left|{#1}\right|}
53: \newcommand{\cqfd}{\hspace*{\fill}\rule{3mm}{3mm}}
54: \begin{document}
55: \frontmatter
56:
57: \begin{abstract}
58: \noindent Soit $\cF_\l(\mathbb{S}^n)$ l'espace des densit\'es tensorielles sur $\mathbb{S}^n$ de degr\'e $\l$
59: (ou, de fa\c{c}on \'equivalente, des densit\'es conformes de degr\'e $-\l n$). Cet espace est muni d'une structure de $\Diff(\mathbb{S}^n)$- et de
60: $\Vect(\mathbb{S}^n)$-module, et
61: nous d\'emontrons dans un premier temps qu'en tant que
62: $\SO(n+1,1)$-module, il est infinit\'esimalement \'equivalent au module
63: associ\'e
64: \`a une repr\'esentation induite de la s\'erie principale du groupe connexe $\SO_0(n+1,1)$, plus pr\'ecis\'ement de la s\'erie sph\'erique nonunitaire sur l'espace ${\mathcal C}^\infty(\mathbb{S}^n)$. A partir des propri\'et\'es de cette derni\`ere,
65: nous classifions selon les valeurs de $\l$ les sous-($\so(n+1,1),\SO(n+1))$-modules irr\'eductibles et unitaires de $\cF_\l(\mathbb{S}^n)$.
66: \end{abstract}
67:
68: \begin{altabstract}
69: \noindent Let $\cF_\l(\mathbb{S}^n)$ be the space of tensor densities on $\mathbb{S}^n$ with degree $\l$ (or, equivalently, of conformal densities
70: with degree $\l$). This space is embedded with a structure of $\Diff(\mathbb{S}^n)$- and
71: $\Vect(\mathbb{S}^n)$-module, and we first prove that as a $\SO(n+1,1)$-module, it is infinitesimally equivalent to an induced module from the
72: principal series of the connected group
73: $\SO_0(n+1,1)$, precisely from the nonunitary spherical series on the space ${\mathcal C}^\infty(\mathbb{S}^n)$. In function of $\l$, $(\mathfrak{g},K)$-simple and unitary submodules of
74: $\cF_\l(\mathbb{S}^n)$ are therefore classified.
75: \end{altabstract}
76:
77:
78: \subjclass{G\'eom\'etrie diff\'erentielle et th\'eorie des repr\'esentations}
79: \keywords{Densit\'es tensorielles, $(\mathfrak{g}, K)$-modules, repr\'esentations induites.}
80: \altkeywords{Tensor densities, $(\mathfrak{g}, K)$-modules, induced representations}
81:
82: \maketitle
83:
84: \mainmatter
85: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
86: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
87: \section{Introduction et r\'esultats principaux}
88: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
89: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
90: L'espace $\cF_\l(M)$ des densit\'es tensorielles de degr\'e $\l$ sur une vari\'et\'e $M$ est l'espace des sections lisses du fibr\'e
91: $\Delta_\l(M)=
92: \mod{\Lambda^nT^*M}^{\otimes\l}$ sur $M$. Cet espace est
93: utilis\'e dans les probl\`emes li\'es \`a la quantification g\'eom\'etrique, et plus r\'ecemment dans le domaine de la quantification
94: \'equivariante. Son introduction permet par exemple d'\'eviter l'\'ecueil de la non compatibilit\'e de l'action des op\'erateurs diff\'erentiels
95: avec celle du groupe des diff\'eomorphismes de M (et donc de l'alg\`ebre de Lie $\Vect(M)$) sur l'espace ${\mathcal C}^\infty(M)$: l'exemple le plus
96: c\'el\`ebre est l'espace des op\'erateurs de Sturm-Liouville $A=\frac{d^2}{dx^2}+u(x)$, qui agissent de $\cF_{-\frac{1}{2}}(\bbR)$ vers
97: $\cF_{\frac{3}{2}}(\bbR)$. Il est de m\^eme aujourd'hui bien connu (voir par exemple \cite{ER}) que les seuls
98: op\'erateurs diff\'erentiels lin\'eaires conform\'ement invariants (i.e. dont l'action commute avec celle de l'alg\`ebre de Lie conforme
99: $\so(n+1,1)$) sur $\cF_\l(\bbR^n)$ sont les ``puissances du Laplacien'' :
100: pour tout $k\in\mathbb{N}$, il existe un unique (\`a constante pr\`es) op\'erateur diff\'erentiel lin\'eaire $\so(p+1,q+1)$-invariant d'ordre $k$ :
101: $$
102: A_{2k}: \cF_{\frac{n-2k}{2n}}
103: \to\cF_{\frac{n+2k}{2n}}
104: $$
105: et il n'existe pas d'autre op\'erateurs diff\'erentiels lin\'eaires $\so(p+1,q+1)$-invariants d'ordre $k\geq1$ de $\cF_\l$ vers $\cF_\m$.
106:
107: De la m\^eme fa\c{c}on, la classification des op\'erateurs diff\'erentiels bilin\'eaires conform\'ement invariants a \'et\'e recemment effectu\'ee (\cite{OvR}),
108: qui g\'en\'eralise la notion de transvectants ou de crochets de Rankin-Cohen.
109:
110: \medskip
111:
112: Notre travail s'inscrit \`a la crois\'ee de deux champs d'investigation : celui de la g\'eom\'etrie bien s\^ur, eu \'egard \`a la pr\'epond\'erance des densit\'es
113: tensorielles dans le domaine de la g\'eom\'etrie diff\'erentielle, et, partant, de la physique th\'eorique, mais \'egalement celui de la th\'eorie des
114: repr\'esentations, l'enjeu \'etant la classification exhaustive des espaces $\cF_\l(M)$ en tant que $\Diff(M)$-modules (sous-modules, modules \'equivalents, etc.)
115:
116: \medskip
117:
118: Dans cet article, nous consid\'erons pr\'ecis\'ement l'espace $\cF_\l(\mathbb{S}^n)$ des densit\'es tensorielles sur la sph\`ere $\mathbb{S}^n$.
119: Le sens g\'eom\'etrique de cette \'etude r\'eside dans le fait que le groupe conforme $\SO(n+1,1)$ agit naturellement sur $\mathbb{S}^n$, ce qui conf\`ere
120: \`a $\cF_\l(\mathbb{S}^n)$ une structure de
121: $\SO(n+1,1)$-module, et par cons\'equent de $\so(n+1,1)$- et de $\SO(n+1)$-module. Nous ferons naturellement usage de la classification des
122: repr\'esentations du groupe conforme,
123: d\'ecrite par M. Takeshi Hirai (\cite{Hir}) ainsi que MM. Klimyk et Gavrilik (\cite{KG}).
124:
125: \medskip
126:
127: Donnons quelques pr\'ecisions sur les r\'esultats que nous allons d\'emontrer et les m\'ethodes employ\'ees :
128:
129: \medskip
130:
131:
132: Rappelons que si $G$ est un groupe de Lie, $K$ un sous-groupe compact de $G$, et $\mathfrak{g}$ et $\mathfrak{k}$ sont leurs alg\`ebres de Lie
133: respectives, on appelle
134: $(\mathfrak{g},K)$-module un espace vectoriel complexe $E$ muni d'une repr\'esentation de $\mathfrak{g}$ et d'une repr\'esentation de $K$ v\'erifiant
135: \begin{enumerate}
136: \item $({\rm Ad}k\cdot X)\cdot e=k\cdot X\cdot k^{-1}\cdot e\quad \forall k\in K$, $X\in\mathfrak{g}$, $e\in E$
137: \item pour tout $e\in E$, $K\cdot e$ engendre un sous-espace vectoriel de dimension finie $F$ (on dit que $e$ est $K$-fini), la repr\'esentation de $K$
138: dans $F$ est continue et on a, pour tout $X\in\mathfrak{k}$,
139: $
140: X\cdot e=\displaystyle\frac{d}{dt}(\exp tX)\cdot e|_{t=0}$.
141: \end{enumerate}
142: Nous notons \`a pr\'esent $G=\SO_0(n+1,1)$, composante connexe de l'identit\'e dans $\SO(n+1,1)$, $\mathfrak{g}=\so(n+1,1)$, $K=\SO(n+1)$,
143: et ${\mathcal H}(K)$ l'espace des vecteurs $K$-finis de $\cF_\l(\mathbb{S}^n)$.
144: Le r\'esultat final de notre travail est la classification, selon les valeurs de $\l$, des sous-$(\mathfrak{g},K)$-modules simples et unitaires de ${\mathcal H}(K)$.
145:
146: \medskip
147:
148: Dans un premier temps, nous d\'emontrons que la repr\'esentation du groupe conforme $\SO(n+1,1)$ sur $\cF_\l(\mathbb{S}^n)$ est
149: infinit\'esimalement \'equivalente \`a une repr\'esentation induite de la s\'erie principale du groupe $G=\SO_0(n+1,1)$, plus pr\'ecis\'ement de la s\'erie dite
150: sph\'erique nonunitaire :
151: notons $G=KAN$ la
152: d\'ecomposition d'Iwasawa de $G$, $\rho$ la demi-somme des racines restreintes positives de la paire ($\so(n+1,1),\mathfrak{a})$,
153: $A={\rm exp} \mathfrak{a}$.
154: Nous consid\'erons la repr\'esentation induite par le sous-groupe
155: parabolique minimal $MAN$ de $G$, en faisant le choix de la repr\'esentation triviale du sous-groupe $M=\SO(n)$, centralisateur de $A$
156: dans $K$, et d'une repr\'esentation
157: $\mu$ de dimension $1$ de $A$. Nous noterons, pour tout \'el\'ement $h$ de $A$, $\mu(h)={\rm exp}(\nu(\log h))$, $\nu\in \mathfrak{a}^*$.
158: Les notations assimilent
159: un \'el\'ement de $\mathfrak{a}^*$ et sa valeur en l'\'el\'ement matriciel $H=E_{n+1,n+2}+E_{n+2,n+1}$. La d\'ecomposition d'Iwasawa montre que
160: la repr\'esentation induite en question, que nous noterons
161: ${\rm Ind}_{MAN}^G(0\otimes \nu)$, prend effet sur l'espace des fonctions de ${\mathcal L}^2(K/M)={\mathcal L}^2(\mathbb{S}^n)$, et les op\'erateurs
162: de cette repr\'esentation sont donn\'es, pour $g\in G$, par
163: $$
164: {\rm Ind}_{MAN}^G(0\otimes \nu)(g)f(k)={\rm exp}(-\nu(\log h))f(k_g), {~\rm avec~} g^{-1}k=k_ghn\in KAN.
165: $$
166: Lorsque $\nu$ varie dans $\bbC$, nous obtenons ainsi les
167: repr\'esentations de la s\'erie dite {\it sph\'erique nonunitaire}, qui munissent l'espace ${\mathcal L}^2(\mathbb{S}^n)$ d'une structure de $G$-module.
168: Nous d\'esignons alors par ${\mathcal C}^\infty_\nu(\mathbb{S}^n)$ le sous-module form\'e des \'el\'ements de classe
169: ${\mathcal C}^\infty$. Nous d\'emontrons le r\'esultat-cl\'e suivant :
170:
171: \begin{theo}
172: $\cF_\l(\mathbb{S}^n)$ et ${\mathcal C}^\infty_\nu(\mathbb{S}^n)$ sont des $\mathfrak{g}$-modules isomorphes si et seulement si $\nu=n\l$, et cet
173: isomorphisme est compatible avec l'action de $K$.
174: \label{equiv}
175: \end{theo}
176: La d\'emonstration de ce r\'esultat pr\'esente l'int\'er\^et (et la difficult\'e!) d'exposer des calculs explicites sur un groupe de Lie, en l'occurence le groupe
177: conforme,
178: au moyen notamment de la d\'ecomposition d'Iwasawa. Elle s'appuie par ailleurs sur des consid\'erations cohomologiques simples
179: mais d'une grande utilit\'e.
180: \medskip
181:
182: En utilisant les propri\'et\'es des repr\'esentations de la s\'erie sph\'erique nonunitaire, nous classifions dans un second temps les
183: sous-$(\mathfrak{g},K)$-modules simples et unitaires de ${\mathcal H}(K)$. Cette classification est la suivante :
184: \begin{theo}
185: \begin{enumerate}
186: \item Si $\l\not=l/n$ pour tout $l\in\mathbb{Z}$, ou si, pour $n>1$, $\l\in\{\frac{1}{n},\dots,\frac{n-1}{n}\}$, alors $\cF_\l(\mathbb{S}^n)$
187: contient un unique $(\mathfrak{g},K)$-module simple ${\mathcal H}(K)$,
188: qui s'identifie
189: \`a l'espace des polyn\^omes harmoniques en les coordonn\'ees cart\'esiennes sur $\mathbb{S}^n$. Ce module est unitaire si et seulement
190: si $\l=\frac{1}{2}+i\a$, $\a\in\bbR^*$, ou $\l\in ]0,1[\setminus\{\frac{1}{2}\}$.
191: \item Si $\l=-l/n$, $l\in\mathbb{N}$, ${\mathcal H}(K)$ admet un unique sous-$(\mathfrak{g},K)$-module simple, de dimension finie, form\'e de ses
192: \'el\'ements
193: de degr\'e $\le l$. Il est de plus unitaire pour $\l=0$.
194: \item Si $n=1$ et $\l=l$, $l\in\mathbb{N}^*$, ${\mathcal H}(K)$ admet deux sous-$(\mathfrak{g},K)$-modules simples, unitaires et de dimension infinie,
195: dont la somme est l'ensemble des \'el\'ements de ${\mathcal H}(K)$ de degr\'e $\ge l$.
196: \item Si $n>1$ et $\l=1+l/n$, $l\in\mathbb{N}$, ${\mathcal H}(K)$ admet un sous-$(\mathfrak{g},K)$-module simple, unitaire pour $\l=0$ et de dimension
197: infinie,
198: form\'e de ses \'el\'ements de degr\'e $\ge l+1$.
199: \end{enumerate}
200: \label{class}
201: \end{theo}
202: \begin{rema}
203: Le r\'esultat obtenu contient \'egalement la classification des sous-quotients simples de l'espace des vecteurs $K$-finis, ce que la d\'emonstration mettra en exergue.
204:
205: D'autre part, nous obtenons dans le m\^eme temps tous les sous-$G$-modules ferm\'es de $\cF_\l(\mathbb{S}^n)$ (d'apr\`es \cite{Kna}, th\'eor\`eme 8.9.), et
206: la connexit\'e de $G$ implique que l'on obtient dans le cas (2) du th\'eor\`eme \ref{class} tous les sous $\mathfrak{g}$-modules simples de dimension finie de
207: $\cF_\l(\mathbb{S}^n)$.
208: \end{rema}
209:
210: Nous commencerons par pr\'esenter l'espace des densit\'es tensorielles sur la sph\`ere, puis la s\'erie sph\'erique nonunitaire du groupe
211: $\SO_0(n+1,1)$, pour entreprendre ensuite la d\'emonstration des th\'eor\`emes \ref{equiv} et \ref{class}.
212: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
213: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
214: \section{Densit\'es tensorielles}
215: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
216: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
217: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
218: \subsection{Structures de $\mathfrak{g}$- et $K$-module}
219: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
220: Soit $\cF_\l(\mathbb{S}^n)$ l'espace des densit\'es tensorielles de degr\'e $\l\in\bbC$ sur la sph\`ere $\mathbb{S}^n$. Cet espace est de fa\c{c}on
221: naturelle muni d'une structure de $\Diff(\mathbb{S}^n)$- et $\Vect(\mathbb{S}^n)$-module. En tant qu'espace vectoriel,
222: $\cF_\l(\mathbb{S}^n)$ est isomorphe \`a l'espace de fonctions lisses \`a valeurs complexes ${\mathcal C}^\infty_\bbC(\mathbb{S}^n)$, mais l'action d'un champ de vecteurs
223: $X=\sum_{i=1}^n X^i\frac{\partial}{\partial{}x_i}$ de l'alg\`ebre de Lie
224: $\Vect(\mathbb{S}^n)$ est donn\'ee par la d\'eriv\'ee de Lie de degr\'e $\l$
225: \begin{equation}
226: L^\l_{X}=
227: X^i\frac{\partial}{\partial x_i} +\l\,\Div(X),
228: \label{LieDer}
229: \end{equation}
230: ind\'ependamment du choix du syst\`eme de coordonn\'ees.
231: Explicitement, si $\varphi\in\cF_\l(\mathbb{S}^n)$, et si nous notons $\Omega$ la forme de volume
232: $$
233: \Omega=dx_1\wedge\cdots\wedge dx_n,
234: $$
235: la formule (\ref{LieDer}) se lit
236: $$
237: L_X^\l(\varphi(x_1,\ldots,x_n)(\Omega)^\l)=\sum_{i=1}^n(X^i\frac{\partial{} \varphi}{\partial{}x_i}+
238: \l\frac{\partial {}X^i}{\partial{}x_i}\varphi)(x_1,\ldots,x_n)(\Omega)^\l~.
239: $$
240:
241:
242: \noindent L'alg\`ebre de Lie $\so(n+1,1)$ des transformations conformes infinit\'esimales, que nous d\'esignons plus bri\`evement par alg\`ebre de
243: Lie conforme,
244: est engendr\'ee par les champs de vecteurs
245: \begin{equation}
246: \begin{array}{rcl}
247: X_i
248: &=&
249: \displaystyle \frac{\partial}{\partial s_i}\;\hfill\cr
250: \noalign{\smallskip}
251: X_{ij}
252: &=&
253: \displaystyle s_i\frac{\partial}{\partial s_j}-
254: s_j\frac{\partial}{\partial s_i}\;\hfill\cr
255: \noalign{\smallskip}
256: X_0
257: &=&
258: \sum_i\displaystyle s_i\frac{\partial}{\partial s_i}\;\hfill\cr
259: \noalign{\smallskip}
260: \bar X_i
261: &=&
262: \sum_j(\displaystyle s_j^2\frac{\partial}{\partial s_i}-
263: 2s_is_j\frac{\partial}{\partial s_j})\hfill\cr
264: \end{array}
265: \label{confGenerators}
266: \end{equation}
267: o\`u $(s_1,\ldots,s_n)$ sont les coordonn\'ees {\it st\'er\'eographiques} sur la sph\`ere $\mathbb{S}^n$.
268:
269: \medskip
270:
271: \noindent Nous consid\'erons l'espace $\cF_\l(\mathbb{S}^n)$ comme un $\mathfrak{g}=\so(n+1,1)$-module, au moyen de la formule (\ref{LieDer}) et
272: des champs de vecteurs
273: (\ref{confGenerators}).
274: D'autre part, nous d\'eduisons de l'action du groupe $\Diff(\mathbb{S}^n)$ celle du sous-groupe $K=\SO(n+1)$, donn\'ee
275: par la repr\'esentation dite r\'eguli\`ere \`a gauche
276: \begin{equation}
277: (k_0\cdot f)(k)=f(k_0^{-1}k),
278: \label{reg}
279: \end{equation}
280: o\`u $k_0\in K$, $k\in\mathbb{S}^n\simeq\SO(n+1)/\SO(n)$.
281: La structure de $K$-module de $\cF_\l(\mathbb{S}^n)$ est donc
282: ainsi explicit\'ee.
283:
284: \medskip
285:
286: Nous d\'ecrivons ci-apr\`es comment nous pouvons utiliser les coordonn\'ees cart\'esiennes
287: pour d\'ecrire la structure de $\mathfrak{g}$-module de $\cF_\l(\mathbb{S}^n)$, ce dont nous ferons usage par la suite.
288: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
289: \subsection{Module des fonctions homog\`enes sur $\bbR^{n+1}\setminus\{0\}$}
290: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
291: Nous notons ${\it C}^\infty_{-\l(n+1)}(\bbR^{n+1}\setminus\{0\})$ l'espace des fonctions lisses sur
292: $\bbR^{n+1}\setminus\{0\}$, homog\`enes de degr\'e $-(n+1)\l$, i.e. telles que
293: $$
294: f(\alpha x_0,\ldots,\alpha x_n)~=~\alpha^{-(n+1)\l}f(x_0,\ldots,x_n),~ \forall\alpha\in\bbC.
295: $$
296: Cet espace est naturellement muni d'une structure de ${\rm Vect}(\bbR^{n+1})$-module, {\it l'action d'un vecteur \'etant donn\'ee par la d\'eriv\'ee de
297: Lie le long de ce vecteur}.
298: D\'esignons par ${\it C}^\infty_{-\l(n+1)}(\bbR^{n+1}\setminus\{0\}|_{\mathbb{S}^n})$ la restriction de cet espace aux fonctions sur $\mathbb{S}^n$.
299: Nous lui attribuons une structure de $\Diff(\mathbb{S}^n)$-module, h\'erit\'ee de celle de $\cF_\l(\mathbb{S}^n)$, de la mani\`ere suivante :
300:
301: \begin{prop} (\cite{Ovs})
302: L'espace $\cF_\l(\mathbb{S}^n)$ est isomorphe en tant que $\Diff(\mathbb{S}^n)$-module \`a l'espace
303: ${\it C}^\infty_{-\l(n+1)}(\bbR^{n+1}\setminus\{0\}|_{\mathbb{S}^n})$.
304: \label{Reltheo}
305: \end{prop}
306: \noindent Explicitement, si $\varphi\in\cF_\l(\mathbb{S}^n)$ et si nous notons $t_1,\ldots t_n$ les coordonn\'ees {\it projectives} sur $\mathbb{S}^n$ et
307: $x_0,x_1,\dots ,x_n$ les coordonn\'ees {\it cart\'esiennes} sur $\bbR^{n+1}$, cet isomorphisme, que nous appelons {\it rel\`evement}, est donn\'e par
308: \begin{equation}
309: \displaystyle\varphi(t_1,\dots t_n)(dt_1\wedge\cdots\wedge dt_n)^{\l}\longmapsto\varphi(\frac{x_1}{x_0},\dots ,\frac{x_n}{x_0})(x_0)^{-(n+1)\l}.
310: \label{rel}
311: \end{equation}
312:
313: Bien entendu, il correspond \`a ce rel\`evement un ``rel\`evement des champs de vecteurs", faisant correspondre aux champs (\ref{confGenerators})
314: qui agissent par la d\'eriv\'ee de Lie de degr\'e $\l$ sur
315: $\cF_\l(\mathbb{S}^n)$, des champs de vecteurs en coordonn\'ees cart\'esiennes, qui agissent par la d\'eriv\'ee de Lie standard (degr\'e $0$) sur
316: ${\it C}^\infty_{-\l(n+1)}(\bbR^{n+1}\setminus\{0\})$. N'en ayant pas ici l'utilit\'e, nous n'explicitons pas ces~champs.
317: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
318: \subsection{Polyn\^omes harmoniques}
319: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
320: Par la suite, il nous sera n\'ecessaire de nous placer alternativement dans chacun des espaces
321: ${\it C}^\infty_{-\l(n+1)}(\bbR^{n+1}\setminus\{0\}|_{\mathbb{S}^n})$ et $\cF_\l(\mathbb{S}^n)$, utilisant \`a cette fin l'isomorphisme que nous venons de d\'ecrire. Nous ferons en
322: particulier un large
323: usage des polyn\^omes harmoniques dans $\bbR^{n+1}|_{\mathbb{S}^n}$, i.e des polyn\^omes en les $n+1$ variables r\'eelles
324: $x_0,\ldots,x_n$, restreints \`a la sph\`ere et appartenant au noyau du Laplacien standard
325: $$
326: \Delta=\displaystyle\frac{\partial^2}{\partial x_0^2}+\cdots+\frac{\partial^2}{\partial x_n^2}.
327: $$
328: Parmi ces polyn\^omes, nous consid\'erons en particulier les \'el\'ements
329: $$
330: \psi_{il}~=~(x_0+{\bf i}x_i)^l,
331: $$
332: o\`u nous avons not\'e ${\bf i}=\sqrt{-1}$. Afin d'expliciter un exemple concret, mais aussi parce que nous en aurons besoin, montrons comment
333: $\psi_{il}$ peut \^etre consid\'er\'e comme un
334: \'el\'ement
335: de l'espace $\cF_\l(\mathbb{S}^n)$: \`a l'aide de la relation $x_0^2+\cdots+x_n^2=1$, nous obtenons
336: $$
337: \psi_{il}~=~\displaystyle\frac{(x_0+{\bf i}x_i)^l}{(x_0^2+\cdots+x_n^2)^{\frac{l}{2}+\l\frac{n+1}{2}}},
338: $$
339: et v\'erifions facilement que $\psi_{il}\in{\mathcal C}^\infty_{-(n+1)\l}(\bbR^{n+1}\setminus\{0\}|_{\mathbb{S}^n})$.
340: \begin{rema}
341: L'action d'un \'el\'ement de l'alg\`ebre de Lie $\so(n+1)$ sur $\psi_{il}$ ne fait pas intervenir $\lambda$: il suffit d'appliquer un op\'erateur
342: infinit\'esimal
343: $x_k\displaystyle\frac{\partial }{\partial x_l}-x_l\displaystyle\frac{\partial }{\partial x_k}$ de $\so(n+1)$ pour s'en convaincre.
344: \end{rema}
345: \noindent Utilisant maintenant l'isomorphisme (\ref{rel}), nous obtenons l'image de $\psi_{il}$ dans $\cF_\l(\mathbb{S}^n)$:
346: $$
347: \psi_{il}~=~\displaystyle\frac{(1+{\bf i}t_i)^l}{(1+t_1^2+\cdots+t_n^2)^{\frac{l}{2}+\l\frac{n+1}{2}}}(dt_1\wedge\cdots\wedge dt_n)^\l
348: \label{psiil}
349: $$
350: (par commodit\'e nous la d\'esignons aussi par $\psi_{il}$), cette expression \'etant \'evidemment donn\'ee en coordonn\'ees projectives.
351: Il nous reste alors \`a appliquer les champs (\ref{confGenerators}) exprim\'es dans ces coordonn\'ees, si nous souhaitons obtenir les images de
352: $\psi_{il}$
353: par l'action des champs de $\so(n+1,1)$. Utilisant \`a nouveau (\ref{rel}), nous obtiendrons les expressions de ces images dans l'espace
354: ${\it C}^\infty_{-\l(n+1)}(\bbR^{n+1}\setminus\{0\}|_{\mathbb{S}^n})$.
355:
356:
357: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
358: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
359: \section{Repr\'esentations de la s\'erie sph\'erique nonunitaire}
360: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
361: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
362: L'id\'ee principale de notre travail de classification r\'eside dans l'identification de $\cF_\l(\mathbb{S}^n)$ comme module induit : il s'agit d'un
363: module de la s\'erie principale des repr\'esentations du groupe $\SO_0(n+1,1)$, plus pr\'ecis\'ement de la s\'erie dite sph\'erique nonunitaire.
364: Nous d\'ecrivons ci-apr\`es la construction de cette s\'erie (que l'on trouvera expos\'ee dans l'ouvrage \cite{ViK} de MM.~Klymik et Vilenkin).
365: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
366: \subsection{Description}
367: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
368: Avant de consid\'erer plus pr\'ecis\'ement le groupe conforme, nous donnons quelques r\'esultats g\'en\'eraux.
369: Soit $G$ un groupe de Lie lin\'eaire non compact, $K$ son sous-groupe compact maximal. On note $\mathfrak{g}$ l'alg\`ebre de Lie de $G$, et
370: $\mathfrak{k}$ celle de $K$, qui est une sous-alg\`ebre de $\mathfrak{g}$.
371: Il existe dans $\mathfrak{g}$ un isomorphisme involutif $\theta$, l'involution de Cartan, pour lequel $\mathfrak{k}$ est le sous-espace stationnaire.
372: Le sous-espace
373: $\{X:\theta X=-X\}$ dans $\mathfrak{g}$ est not\'e $\mathfrak{p}$. Nous avons alors
374: $$
375: \mathfrak{g}=\mathfrak{k}+\mathfrak{p}.
376: $$
377: Cette d\'ecomposition se transforme par l'application exponentielle $\mathfrak{g}\longrightarrow G$, en la d\'ecomposition $G=KP$ de $G$, o\`u
378: $P=\exp\mathfrak{p}$.
379:
380: Soit $\mathfrak{a}$ une sous-alg\`ebre commutative maximale de $\mathfrak{p}$. La dimension de $\mathfrak{a}$ est appel\'ee le rang de
381: $\mathfrak{g}$
382: et de $G$. Le sous-groupe $$A=\exp\mathfrak{a}$$ est commutatif.
383:
384: Les op\'erateurs de repr\'esentation adjointe ${\rm ad}H$, $H\in\mathfrak{a}$, sont anti-hermitiens pour le produit
385: $$
386: \langle X,Y\rangle=-\Tr({\rm ad}X{\rm ad}(\theta Y)),~X,Y\in\mathfrak{g},
387: $$
388: et par cons\'equent nous avons la d\'ecomposition
389: \begin{equation}
390: \mathfrak{g}=\mathfrak{g}_0+\sum_\gamma\mathfrak{g}_\gamma~,
391: \label{dec1}
392: \end{equation}
393: o\`u $\mathfrak{g}_0$ est le noyau de l'op\'erateur ${\rm ad}H$ et $\mathfrak{g}_\gamma$ correspond aux valeurs propres $\gamma(H)$,
394: $H\in\mathfrak{a}$. La d\'ecomposition (\ref{dec1}) est orthogonale. Les formes lin\'eaires $\gamma$ sont appel\'ees {\it racines restreintes}
395: de la paire $(\mathfrak{g},\mathfrak{a})$,
396: et les sous-espaces $\mathfrak{g}_\gamma$ sont les {\it sous-espaces radiciels}.
397:
398: Si $H_1,\ldots H_l$ est une base de $\mathfrak{a}$, et si le premier nombre non nul dans la suite
399: \newline
400: $\{\gamma(H_1),\ldots,\gamma(H_l)\}$ est positif (resp. n\'egatif),
401: alors la racine $\gamma$ est dite positive (resp. n\'egative). La dimension de $\mathfrak{g}_\gamma$ est appel\'ee multiplicit\'e de $\gamma$,
402: et est not\'ee
403: $m(\gamma)$.
404: Posons
405: \begin{equation}
406: \rho=\displaystyle\frac{1}{2}\sum_{\gamma>0}m(\gamma)\gamma.
407: \label{ro}
408: \end{equation}
409: La somme
410: $$
411: \mathfrak{n}=\sum_{\gamma>0}\mathfrak{g}_\gamma
412: $$
413: est une sous-alg\`ebre nilpotente maximale de $\mathfrak{g}$, et
414: $$
415: N=\exp\mathfrak{n}
416: $$
417: est un sous-groupe nilpotent maximal de $G$.
418:
419: \noindent Le groupe $G$ admet une d\'ecomposition d' {\it Iwasawa}
420: $$
421: G=KAN,
422: $$
423: ce qui signifie que chaque \'el\'ement $g\in G$ peut \^etre \'ecrit de mani\`ere unique $g=khn$, o\`u $k\in K$, $h\in A,~n\in N$.
424: De plus l'application $(k,h,n)\mapsto khn$ est un diff\'eomorphisme analytique de $K\times A\times N$ vers $G$.
425:
426: Soit $M$ le centralisateur de $A$ dans $K$. Le sous-groupe
427: $$
428: P=MAN
429: $$
430: est appel\'e sous-groupe parabolique minimal de $G$. Un sous-groupe $P'$ contenant $P$ et diff\'erent de $G$ est appel\'e sous-groupe parabolique.
431: Un tel groupe s'obtient par extension de $P=MAN$ en $P'=M'AN$, o\`u $M\subset M'\subset K$.
432:
433: \bigskip
434:
435: Soient $G,K,A,M,N,P$ les groupes ainsi d\'efinis. Nous choisissons une repr\'esentation de dimension $1$
436: $$
437: \mu(h)=\exp(\nu(H)),\quad h\in \exp H,
438: $$
439: du sous-groupe $A=\exp \mathfrak{a}$. Alors la correspondance
440: $$
441: p=mhn\longmapsto\d(mhn)=\mu(h)
442: $$
443: d\'efinit une repr\'esentation de dimension $1$ du sous-groupe parabolique minimal $P$.
444: Cette repr\'esentation induit une repr\'esentation ${\rm Ind}_{MAN}^G(0\otimes \nu)$ du groupe $G$, que nous noterons par souci de concision
445: $I_\nu$, agissant
446: sur l'espace des fonctions $f$ sur $G$ qui satisfont \`a la condition
447: \begin{equation}
448: f(gp)=\mu(h^{-1})f(g),\quad p=mhn \in P.
449: \label{ind1}
450: \end{equation}
451: Les op\'erateurs $I_\nu(g_0)$, $g_0\in G$, agissent sur ces fonctions par la formule
452: $$
453: I_\nu(g_0)f(g)=f(g_0^{-1}g).
454: $$
455: Nous appelons ces repr\'esentations ${\rm Ind}_{MAN}^G(0\otimes \nu)=I_\nu$ {\it repr\'esentations de la s\'erie sph\'erique nonunitaire}.
456:
457: Si des fonctions $f$ sur $G$ satisfont \`a la condition (\ref{ind1}), elles sont d\'etermin\'ees par leurs valeurs sur un certain sous-groupe de $G$ :
458: la d\'ecomposition d'Iwasawa $G=KAN$ montre qu'elles sont d\'etermin\'ees par leurs valeurs sur $K$, et la relation
459: \begin{equation}
460: f(km)=f(k),\quad m\in M,
461: \label{quot}
462: \end{equation}
463: est satisfaite.
464:
465: Les op\'erateurs $I_\nu(g)$ sont donn\'es par la formule
466: $$
467: I_\nu(g)f(k)=\mu(h^{-1})f(k_g),
468: $$
469: o\`u $h\in A$ et $k_g\in K$ sont d\'efinis par la d\'ecomposition d'Iwasawa
470: $$
471: g^{-1}k=k_ghn
472: $$
473: de l'\'el\'ement $g^{-1}k$.
474:
475: \medskip
476:
477: \noindent Le produit scalaire
478: $$
479: \langle f_1,f_2\rangle=\int_K f_1(k)\overline{f_2(k)}dk
480: $$
481: est introduit dans l'espace des fonctions sur $K$.
482: La relation (\ref{quot}) signifie que ces fonctions sont en fait des fonctions sur le groupe quotient $K/M$.
483:
484: Les repr\'esentations $I_\nu$ sont par cons\'equent r\'ealis\'ees dans l'espace des fonctions sur $K/M$.
485: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
486: \subsection{D\'ecomposition du groupe $\SO_0(n+1,1)$}
487: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
488: Pour ce groupe, nous avons $K\cong\SO(n+1)$: tout \'el\'ement de $K$ s'\'ecrit en effet sous la forme
489: $$
490: k=
491: \left[
492: \begin{array}{c|c}
493: \begin{array}{ccc}
494: \hspace{0.2cm}&\hspace{0.2cm}&\hspace{0.2cm}\\
495: &R&\\
496: &&
497: \end{array}&~{\bf 0}\\
498: \hline
499: {\bf 0}& ~1
500: \end{array}
501: \right]
502: $$
503: o\`u $R\in\SO(n+1)$.
504:
505: \noindent D'autre part, le sous-groupe $A$ est constitu\'e des matrices
506: \begin{equation}
507: h_{n+1}(t)=
508: \left[
509: \begin{array}{c|c}
510: \begin{array}{ccc}
511: \hspace{0.3cm}&\hspace{0.3cm}&\hspace{0.3cm}\\
512: &I_n&\\
513: &&
514: \end{array}&~{\bf 0}\\
515: \hline
516: {\bf 0}& \begin{array}{cc}
517: \cosh t&\sinh t\\
518: \sinh t&\cosh t
519: \end{array}
520: \end{array}
521: \right]
522: ,
523: \label{A}
524: \end{equation}
525: o\`u $I_n$ est la matrice identit\'e de type $(n,n)$.
526:
527: Nous noterons $H$ l'\'el\'ement de $\so(n+1,1)$ tel que $h_{n+1}(t)={\rm exp}tH$.
528: Ainsi,
529: \begin{equation}
530: H=E_{n+1,n+2}+E_{n+2,n+1},
531: \label{h}
532: \end{equation}
533: o\`u $E_{ij}$ est la matrice dont les coefficients sont les $(E_{ij})_{rs}=\d_{ir}\d_{js}$.
534:
535: Le groupe $M$ est isomorphe \`a $\SO(n)$. Le groupe $N$ est constitu\'e des matrices
536: \begin{equation}
537: n({\bf a})=
538: \left[
539: \begin{array}{c|cc}
540: \begin{array}{ccc}
541: \hspace{0.5cm}&\hspace{0.5cm}&\hspace{0.5cm}\\
542: &I_n&\\
543: &&
544: \end{array}
545: &
546: {\bf a}^t&-{\bf a}^t
547: \\
548: \hline
549: -{\bf a}&1-\frac{\|{\bf a}\|^2}{2}&\frac{\|{\bf a}\|^2}{2}\\
550: -{\bf a}&-\frac{\|{\bf a}\|^2}{2}&1+\frac{\|{\bf a}\|^2}{2}
551: \end{array}
552: \right]
553: ,
554: \label{N}
555: \end{equation}
556: o\`u ${\bf a}=(a_1,\ldots,a_n)\in\bbR^n$, et $||{\bf a}||^2=\sum a_j^2$.
557: Nous v\'erifions facilement que $N$ est ici ab\'elien.
558:
559: \medskip
560:
561: En dernier lieu, pour $g\in\SO_0(n+1,1)$, le param\`etre $t$ de $h_{n+1}(t)\in A$, dans la d\'ecomposition d'Iwasawa
562: $g=kh_{n+1}(t)n$, $g\in\SO_0(n+1,1)$,
563: est donn\'e par $t=\ln[{\bf x_0},g{\bf \xi_0}]$, o\`u $
564: [{\bf x},{\bf y}]=x^1y^1+\cdots+x^{n+1}y^{n+1}-x^{n+2}y^{n+2}$, ${\bf \xi_0}=(0,\ldots ,0,1,1)$, et ${\bf x_0}=(0,\ldots,0,1)$.
565: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
566: \subsection{S\'erie sph\'erique nonunitaire du groupe $\SO_0(n+1,1)$}
567: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
568: Nous avons ici
569: $$
570: \mathfrak{a}=\{t(E_{n+1,n+2}+E_{n+2,n+1}),~t\in\bbR\},
571: $$
572: ainsi les caract\`eres du sous-groupe $A$ et, partant, les repr\'esentations ${\rm Ind}_{MAN}^G(0\otimes \nu)=I_\nu$ de la s\'erie sph\'erique nonunitaire
573: du groupe $\SO_0(n+1,1)$,
574: sont-ils donn\'es par un nombre complexe $\nu=\nu(H)$, o\`u $H$ est donn\'e par (\ref{h}).
575: On notera donc ult\'erieurement $\nu(H)=\nu$ et $\rho(H)=\rho$, $\rho$ \'etant d\'efini par (\ref{ro}). Nous avons alors en particulier $\rho=\frac{n}{2}$.
576:
577:
578: Puisque, pour $\SO_0(n+1,1)$, nous avons $K=\SO(n+1)$ et $M=\SO(n)$, les repr\'esentations $I_\nu$ sont r\'ealis\'ees dans l'espace
579: ${\mathcal L}^2(\mathbb{S}^n)$ des fonctions de carr\'e int\'egrable sur la sph\`ere
580: $$
581: \mathbb{S}^n=\SO(n+1)/\SO(n)\subset\bbR^{n+1}.
582: $$
583: De telles fonctions peuvent \^etre consid\'er\'ees comme fonctions des coordonn\'ees sph\'eriques $\theta_1,\dots,\theta_n$ sur $\mathbb{S}^n$.
584: En effet consid\'erons l'\'el\'ement $P$ de $\mathbb{S}^n$, de coordonn\'ees sph\'eriques $(\theta_1,\dots,\theta_n)$.
585: Nous avons alors en coordonn\'ees cart\'esiennes $(x_0,\dots,x_n)$
586: $$
587: P\left(
588: \begin{array}{c}
589: \sin\theta_1\cdots\sin\theta_n\\
590: \cos\theta_1\sin\theta_2\cdots\sin\theta_n\\
591: \cos\theta_2\sin\theta_3\cdots\sin\theta_n\\
592: \vdots\\
593: \cos\theta_{n-1}\sin\theta_n\\
594: \cos\theta_n
595: \end{array}
596: \right).
597: $$
598: De plus, l'application
599: \begin{equation}
600: \varphi :\SO(n+1)\longrightarrow\bbR^{n+1},\quad\varphi(g)=ge_{n+1},
601: \label{isosphere}
602: \end{equation}
603: o\`u $e_{n+1}$ a pour coordonn\'ees cart\'esiennes $(0,\ldots,0,1)$,
604: donne le diff\'eomorphisme
605: $$
606: \SO(n+1)/\SO(n)\cong\mathbb{S}^n,
607: $$
608: puisque le stabilisateur de $e_{n+1}$ dans $\SO(n+1)$ est donn\'e par les matrices
609: $$
610: \left[
611: \begin{array}{c|c}
612: \begin{array}{ccc}
613: &&\\
614: &R\in\SO(n)&\\
615: &&
616: \end{array}&~{\bf 0}\\
617: \hline
618: {\bf 0}& ~1
619: \end{array}
620: \right]
621: .
622: $$
623: Dans cet isomorphisme, \`a l'\'el\'ement $P\in \mathbb{S}^n$ donn\'e ci-dessus correspond la classe
624: $$
625: \left[
626: \begin{array}{c|c}
627: \begin{array}{ccc}
628: \hspace{0.2cm}&\hspace{0.2cm}&\hspace{0.2cm}\\
629: &R\in\SO(n)&\\
630: &&
631: \end{array}
632: &
633: \begin{array}{c}\sin\theta_1\cdots\sin\theta_n\\
634: \cos\theta_1\sin\theta_2\cdots\sin\theta_n\\
635: \cos\theta_2\sin\theta_3\cdots\sin\theta_n\\
636: \vdots\\ \cos\theta_{n-1}\sin\theta_n\end{array}\\
637: \hline
638:
639: {\bf 0}&\cos\theta_n
640: \end{array}
641: \right]
642: \in \SO(n+1)/\SO(n)
643: .
644: $$
645:
646: \bigskip
647:
648: Nous allons maintenant d\'eterminer l'expression
649: \begin{equation}
650: I_\nu(g)f(k)=\mu(h^{-1})f(k_g),
651: \label{ind4}
652: \end{equation}
653: o\`u $k\in K/M\cong \mathbb{S}^n,\quad g^{-1}k=k_ghn \in KAN,$
654: pour $g\in A$ et $g\in N$.
655:
656: \medskip
657:
658: Notons $k_i$ la rotation d'angle $\theta_i$ dans le plan $(e_i,e_{i+1})$, donn\'ee par
659: $$
660: k_i=
661: \left[
662: \begin{array}{cccccc}
663: 1&0&&&&0\\
664: 0&\ddots&&&&0\\
665: &&\cos\theta_i&\sin\theta_i &&\\
666: &&-\sin\theta_i&\cos\theta_i&&\\
667: &&&\ddots&\\
668: 0&&&&0&1\\
669: \end{array}
670: \right]
671: \in K=\SO(n+1)
672: .
673: $$
674: De m\^eme, $k'_i$ d\'esignera une semblable rotation, d'angle $\theta'_i$.
675:
676: \noindent A l'\'el\'ement $P\in\mathbb{S}^n$ pr\'esent\'e plus haut correspond la classe d'\'equivalence dans $\SO(n+1)/SO(n)$ de l'\'el\'ement
677: $k_1k_2\cdots k_n$, puisque la $n+1$-\`eme colonne de l'\'el\'ement $k_1k_2\cdots k_n$ est pr\'ecis\'ement form\'ee des coordonn\'ees cart\'esiennes
678: de $P$.
679: Nous avons en effet (comme \'el\'ement du groupe $\SO_0(n+1,1)$),
680: $$
681: \begin{array}{l}
682: k_1k_2\cdots k_n=\\[15pt]
683: \left[
684: \begin{array}{cccccc}
685: \cos\theta_1&\sin\theta_1\cos\theta_2&\ldots&\sin\theta_1\cdots\sin\theta_{n-1}\cos\theta_n&\sin\theta_1\cdots\sin\theta_n&0\\
686: -\sin\theta_1&\cos\theta_1\cos\theta_2&\ldots&\cos\theta_1\sin\theta_2\cdots\sin\theta_{n-1}\cos\theta_n&\cos\theta_1\sin\theta_2\cdots\sin\theta_n&0\\
687: 0&-\sin\theta_2&\ldots&\cos\theta_2\sin\theta_3\cdots\sin\theta_{n-1}\cos\theta_n&\cos\theta_2\sin\theta_3\cdots\sin\theta_n&0\\
688: \vdots&\vdots&&\vdots&\vdots&\vdots\\
689: 0&0&\ldots&-\sin\theta_n&\cos\theta_n&0\\
690: 0&&&&0&1
691: \end{array}
692: \right].
693: \end{array}
694: $$
695:
696: \bigskip
697:
698: $\bullet$ Consid\'erons tout d'abord $g\in A$, $g=h_{n+1}(t)$ comme dans ($\ref{A}$), et posons $k=k_1k_2\cdots k_n\in K/M$.
699: Utilisant alors la d\'ecomposition d'Iwasawa et le fait que $g\in A$ commute avec chaque \'el\'ement $k_ i$ appartenant \`a $M=\SO(n)$,
700: nous obtenons
701: $$
702: g^{-1}k=k_ghn,\quad h=h_{n+1}(u),~n\in N,
703: $$
704: o\`u $k_g$ est du type
705: $$
706: k_g=k_1k_2\cdots k_{n-1}k'_n,
707: $$
708: $k'_n$ \'etant caract\'eris\'ee par l'angle $\theta'_n$, tel que
709: \begin{equation}
710: \cos \theta'_n=\displaystyle\frac{\cos \theta_n\cosh t-\sinh t}{\cosh t-\cos \theta_n\sinh t}.
711: \label{teta'}
712: \end{equation}
713: D'autre part une identification matricielle directe nous donne $g^{-1}k=k_ghn$, $h=h_{n+1}(u)$, o\`u
714: $$
715: e^u=\cosh t-\cos \theta_n\sinh t.
716: $$
717: Enfin, au moyen de l'isomorphisme donn\'e par (\ref{isosphere}), nous obtenons la relation
718: \begin{equation}
719: I_\nu(h_{n+1}(t))f(\theta_1,\dots,\theta_n)=(\cosh t-\cos \theta_n\sinh t)^{-\nu} f(\theta_1,\dots,\theta_{n-1},\theta'_n),
720: \label{indA}
721: \end{equation}
722: o\`u $\theta'_n$ est donn\'e par (\ref{teta'}).
723:
724: \bigskip
725:
726: $\bullet$ Consid\'erons \`a pr\'esent le cas $g\in N$, $g=n({\bf a})$, comme dans (\ref{N}) :
727:
728: \noindent \`A nouveau nous posons $k=k_1k_2\cdots k_n\in K/M$, et nous \'ecrivons la d\'ecomposition d'Iwasawa pour $g^{-1}k$. Chaque \'el\'ement
729: du groupe
730: quotient $K/M=\SO(n+1)/\SO(n)$ est du type
731: $$
732: k_g=k'_1k'_2\cdots k'_nm,\quad m\in \SO(n).
733: $$
734: Un calcul matriciel direct nous conduit \`a l'identification
735: $$
736: g^{-1}k=k_ghn\iff n({\bf a})^{-1}k_1k_2\cdots k_n=k'_1k'_2\cdots k'_nmh_{n+1}(u)n({\bf \alpha}),
737: $$
738: o\`u ${\bf\alpha}=(\alpha_1,\dots,\alpha_n)$. Il convient de remarquer que $u$ et $\theta'_i$, $1\leq i\leq n$ doivent \^etre d\'etermin\'es,
739: afin d'obtenir l'expression (\ref{ind4}).
740: L'identification ci-dessus nous conduit aux relations:
741: $$
742: \begin{array}{rcl}
743: e^u&=&1+\displaystyle\frac{||{\bf a}||^2}{2}+a_1\sin\theta_1\cdots\sin\theta_n + a_2\cos\theta_1\sin\theta_2\cdots\sin\theta_n \\[6pt]
744: &&+\cdots+
745: a_n\cos\theta_{n-1}\sin\theta_n-
746: \displaystyle\frac{||{\bf a}||^2}{2}\cos\theta_n;\\[15pt]
747: \cos\theta'_n&=&e^{-u}\Big(\displaystyle\frac{||{\bf a}||^2}{2}+a_1\sin\theta_1\cdots\sin\theta_n + a_2\cos\theta_1\sin\theta_2\cdots\sin\theta_n\\[6pt]&&
748: \hspace{1cm}+\cdots+
749: a_n\cos\theta_{n-1}\sin\theta_n
750: +(1-\displaystyle\frac{||{\bf a}||^2}{2})\cos\theta_n\Big);\\[15pt]
751: &=&1+\displaystyle\frac{\cos\theta_n -1}{e^u};
752: \end{array}
753: $$
754: $$
755: \begin{array}{rcl}
756: \cos\theta'_{n-1}\sin\theta'_n&=&e^{-u}(a_n+\cos\theta_{n-1}\sin\theta_n-a_n\cos\theta_n);\\[15pt]
757: \cos\theta'_{n-2}\sin\theta'_{n-1}\sin\theta'_n&=&e^{-u}(a_{n-1}+\cos\theta_{n-2}\sin\theta_{n-1}\sin\theta_n-a_{n-1}\cos\theta_n);\\
758: &\vdots&\\
759: \cos\theta'_1\sin\theta'_2\cdots\sin\theta'_n&=&e^{-u}(a_2+\cos\theta_1\sin\theta_2\cdots\sin\theta_n-a_2\cos\theta_n)\\[15pt]
760: \sin\theta'_1\sin\theta'_2\cdots\sin\theta'_n&=&e^{-u}(a_1+\sin\theta_1\sin\theta_2\cdots\sin\theta_n-a_1\cos\theta_n).
761: \end{array}
762: $$
763: Ces \'egalit\'es nous m\`enent enfin aux relations de r\'ecurrence suivantes:
764: \begin{equation}
765: \begin{array}{rcl}
766: \tan\theta'_1&=&\displaystyle\frac{a_1+\sin\theta_1\sin\theta_2\cdots\sin\theta_n-a_1\cos\theta_n}{a_2+
767: \cos\theta_1\sin\theta_2\cdots\sin\theta_n-a_2\cos\theta_n};\\[15pt]
768: \cos\theta'_1\tan\theta'_2&=&\displaystyle\frac{a_2+\cos\theta_1\sin\theta_2\cdots\sin\theta_n-a_2\cos\theta_n}{a_3+\cos\theta_2\sin\theta_3\cdots\sin\theta_n
769: -a_3\cos\theta_n};\\
770: &\vdots&\\
771: \cos\theta'_{n-2}\tan\theta'_{n-1}&=&\displaystyle\frac{a_{n-1}+\cos\theta_{n-2}\sin\theta_{n-1}\sin\theta_n-a_{n-1}\cos\theta_n}
772: {a_n+\cos\theta_{n-1}\sin\theta_n
773: -a_n\cos\theta_n};\\[15pt]
774: \cos\theta'_n&=&1+\displaystyle\frac{\cos\theta_n -1}{e^u};
775: \label{thet'exp1}
776: \end{array}
777: \end{equation}
778: \begin{equation}
779: \begin{array}{rcl}
780: e^u&=&1+\displaystyle\frac{||{\bf a}||^2}{2}+a_1\sin\theta_1\cdots\sin\theta_n + a_2\cos\theta_1\sin\theta_2\cdots\sin\theta_n \\[6pt]
781: &&+\cdots+
782: a_n\cos\theta_{n-1}\sin\theta_n-
783: \displaystyle\frac{||{\bf a}||^2}{2}\cos\theta_n.
784: \label{thet'exp2}
785: \end{array}
786: \end{equation}
787:
788: \noindent En cons\'equence, l'action d'un \'el\'ement du groupe nilpotent $N$ est donn\'ee par
789:
790: \begin{equation}
791: I_\nu(n({\bf a}))f(\theta_1,\dots,\theta_n)=(e^u)^{-\nu} f(\theta'_1,\dots,\theta'_{n-1},\theta'_n),
792: \label{indN}
793: \end{equation}
794: o\`u $\theta'_i$, $1\leq i\leq n$ et $e^u$ sont donn\'es par les \'egalit\'es (\ref{thet'exp1}) et (\ref{thet'exp2}).
795:
796:
797: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
798: \subsection{S\'erie sph\'erique nonunitaire pour l'alg\`ebre de Lie $\so(n+1,1)$}
799: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
800: Dans cette partie, nous d\'ecrivons la repr\'esentation infinit\'esimale associ\'ee \`a la s\'erie sph\'erique nonunitaire.
801: Notons $dI_\nu$ (ou encore $d{\rm Ind}^G_{MAN}(0\otimes\nu)$) cette repr\'esentation, qui est donc bien entendu une repr\'esentation de l'alg\`ebre de
802: Lie $\so(n+1,1)$.
803:
804: \medskip
805:
806: \noindent Consid\'erons tout d'abord l'\'el\'ement $H=E_{n+1,n+2}+E_{n+2,n+1}$. Nous avons
807: $$
808: h_{n+1}(t)=\exp(tH),
809: $$
810: o\`u $h_{n+1}(t)$ est donn\'e par (\ref{A}), si bien que
811: $$
812: dI_\nu(H)f(\theta_1,\dots,\theta_n)=\displaystyle\frac{d}{dt}\Big(I_\nu(h_{n+1}(t))f(\theta_1,\dots,\theta_n)\Big)|_{t=0}.
813: $$
814: A l'aide de (\ref{indA}) nous obtenons directement
815: \begin{equation}
816: dI_\nu(H)f=\nu\cos\theta_nf~+
817: ~\sin\theta_n\displaystyle\frac{\partial f}{\partial\theta_n}.
818: \label{infindh}
819: \end{equation}
820:
821: \medskip
822:
823: Nous consid\'erons \`a pr\'esent les \'el\'ements de l'alg\`ebre de Lie nilpotente $\mathfrak{n}\subset\so(n+1,1)$,
824: $$
825: {\sf n}_i=E_{i,n+1}-E_{n+1,i}-E_{i,n+2}-E_{n+2,i}.
826: $$
827: \noindent Ces \'el\'ements constituent une base de $\mathfrak{n}$, et nous avons, pour $n({\bf a})$ d\'efini par (\ref{N}),
828: $$
829: n({\bf a})=\exp(a_1{\sf n}_1+\cdots a_n{\sf n}_n),
830: $$
831: de telle sorte que
832: $$
833: \begin{array}{rcl}
834: dI_\nu({\sf n}_1)f(\theta_1,\dots,\theta_n)&=&\displaystyle\frac{d}{dt}\Big(I_\nu(n(a_1,0,\dots,0))f(\theta_1,\dots,\theta_n)\Big)|_{a_1=0}\\[10pt]
835: dI_\nu({\sf n}_2)f(\theta_1,\dots,\theta_n)&=&\displaystyle\frac{d}{dt}\Big(I_\nu(n(0,a_2,0,\dots,0))f(\theta_1,\dots,\theta_n)\Big)|_{a_2=0}\\[10pt]
836: &\vdots &\\
837: dI_\nu({\sf n}_n)f(\theta_1,\dots,\theta_n)&=&\displaystyle\frac{d}{dt}\Big(I_\nu(n(0,0,\dots,0,a_n))f(\theta_1,\dots,\theta_n)\Big)|_{a_n=0}.\\[10pt]
838: \end{array}
839: $$
840: \noindent Au moyen des expressions (\ref{thet'exp1}), (\ref{thet'exp2}) et (\ref{indN}), nous aboutissons aux r\'esultats suivants:
841: \begin{equation}
842: \begin{array}{rcl}
843: dI_\nu({\sf n}_1)f&=&-\nu\sin\theta_1\cdots\sin\theta_n f\\[10pt]
844: &&+(1-\cos\theta_n)\sum_{i=1}^{n-1}~\displaystyle\frac{\sin\theta_1\cdots\sin\theta_i}{\sin\theta_i\cdots\sin\theta_n}\cos\theta_i
845: \displaystyle\frac{\partial f}{\partial\theta_i}\\[10pt]
846: &&-(1-\cos\theta_n)\sin\theta_1\cdots\sin\theta_{n-1}\displaystyle\frac{\partial f}{\partial\theta_n};\\
847: \end{array}
848: \label{infinduced2}
849: \end{equation}
850: et, pour $1\leq i \leq n-1$,
851: \begin{equation}
852: \begin{array}{rcl}
853: dI_\nu({\sf n}_{i+1})f&=&
854: -\nu\cos\theta_i\sin\theta_{i+1}\cdots\sin\theta_n f\\[10pt]
855: &&-(1-\cos\theta_n)\displaystyle\frac{\sin\theta_i}{\sin\theta_{i+1}\cdots\sin\theta_n}\displaystyle\frac{\partial f}{\partial\theta_i}\\[10pt]
856: &&
857: +(1-\cos\theta_n)\sum_{j=i+1}^{n-1}~\displaystyle\frac{\sin\theta_{i+1}\cdots\sin\theta_j}{\sin\theta_j\cdots\sin\theta_n}\cos\theta_i\cos\theta_j
858: \displaystyle\frac{\partial f}{\partial\theta_j}\\[10pt]
859: &&
860: -(1-\cos\theta_n)\cos\theta_i\sin\theta_{i+1}\cdots\sin\theta_{n-1}\displaystyle\frac{\partial f}{\partial\theta_n}.
861: \end{array}
862: \label{infinduced3}
863: \end{equation}
864: \begin{rema}
865: Dans ces formules, les notations du type $\displaystyle\frac{\sin\theta_1\cdots\sin\theta_i}{\sin\theta_i\cdots\sin\theta_n}$ ou
866: $\displaystyle\frac{\sin\theta_{i+1}\cdots\sin\theta_j}{\sin\theta_j\cdots\sin\theta_n}$, bien que peu \'el\'egantes,
867: permettent une meilleure lisibilit\'e pour certaines valeurs de $i$ ou de $j$. Il faut d'autre part noter que pour le cas
868: $i=n-1$, l'expression $\cos\theta_i\sin\theta_{i+1}\dots\sin\theta_{n-1}$ se lit $\cos\theta_{n-1}$.
869: Nous adopterons cette convention dans toute la suite.
870: \end{rema}
871:
872: \medskip
873:
874: Nous avons donc enti\`erement d\'ecrit les repr\'esentations de la s\'erie sph\'erique nonunitaire de l'alg\`ebre de Lie $\so(n+1,1)$. Notre m\'ethode
875: consiste
876: \`a identifier $\cF_\l(\mathbb{S}^n)$ comme un module particulier de cette s\'erie. Nous allons \`a pr\'esent proc\'eder \`a cette identification.
877: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
878: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
879: \section{Preuve du th\'eor\`eme \ref{equiv}}
880: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
881: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
882: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
883: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
884: \subsection{D\'eriv\'ee de Lie de degr\'e $\l$ en coordonn\'ees sph\'eriques}
885: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
886: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
887: Effectuons les changements de carte n\'ecessaires pour \'etablir l'\'equivalence cherch\'ee.
888: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
889: \subsubsection{Changement de carte dans $\so(n+1,1)$}
890: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
891: En vue de notre d\'emonstration, il nous faut \'ecrire les champs de vecteurs (\ref{confGenerators}) de l'alg\`ebre de Lie conforme en termes de
892: coordonn\'ees sph\'eriques,
893: et en d\'eduire les expressions
894: $$L_X^\l \Big(f(\theta_1,\dots,\theta_n)(d\theta_1\wedge\cdots\wedge d\theta_n)^\l\Big).$$
895:
896: \noindent Nous n'aurons en fait besoin que des expressions de $X_0$ et des champs non affines $\bar X_i$, pour $1\leq i\leq n$; en effet des
897: v\'erifications directes montrent que
898: le champ $X_0$ engendre la sous-alg\`ebre $\mathfrak{a}$ de dimension $1$, et nous avons, avec la repr\'esentation adjointe dans $\so(n+1,1)$,
899: $$
900: ad_{X_0}(X_i)=-X_i,\quad ad_{X_0}(\bar X_i)=+\bar X_i,
901: $$
902: si bien que l'alg\`ebre de Lie nilpotente $\mathfrak{n}=\sum_{\gamma>0}\mathfrak{g}_\gamma$ a pour g\'en\'erateurs les champs
903: $\bar X_i$, $1\leq i\leq n$.
904:
905: \medskip
906:
907: Les coordonn\'ees st\'er\'eographiques et sph\'eriques sont li\'ees par les relations
908: $$
909: s_n=\displaystyle\frac{\sin\theta_1\cdots\sin\theta_n}{1-\cos\theta_n},\quad s_{n-i}=
910: \displaystyle\frac{\cos\theta_i\sin\theta_{i+1}\cdots\sin\theta_n}{1-\cos\theta_n},1\le i\le n-1.
911: $$
912: Nous obtenons alors par des calculs directs
913: \begin{itemize}
914: \item
915: $X_0~=~-\sin\theta_n\displaystyle\frac{\partial}{\partial\theta_n}$;
916: \item pour $1\leq i\leq {n-1}$,
917: $$
918: \begin{array}{rcl}
919: \bar X_{n-i}&=&-(1+\cos\theta_n)\displaystyle\frac{\sin\theta_i}{\sin\theta_{i+1}\sin\theta_n}\displaystyle\frac{\partial}{\partial\theta_i}\\[10pt]
920: &&+(1+\cos\theta_n)\sum_{j=i+1}^{n-1}\displaystyle\frac{\sin\theta_1\cdots\sin\theta_j}{\sin\theta_1\cdots\sin\theta_i\sin\theta_j\cdots\sin\theta_n}
921: \cos\theta_i\cos\theta_j\displaystyle\frac{\partial}{\partial\theta_j}\\[10pt]
922: &&+(1+\cos\theta_n)\displaystyle\frac{\sin\theta_i\cdots\sin\theta_{n-1}}{\sin\theta_i}\cos\theta_i\displaystyle\frac{\partial}{\partial\theta_n};
923: \end{array}
924: $$
925: \item et enfin,
926: $$
927: \begin{array}{rcl}
928: \bar X_{n}&=&(1+\cos\theta_n)\sum_{i=1}^{n-1}\displaystyle\frac{\sin\theta_1\cdots\sin\theta_i}{\sin\theta_i\cdots\sin\theta_n}\cos\theta_i
929: \displaystyle\frac{\partial}{\partial\theta_i}\\[10pt]
930: &&+(1+\cos\theta_n)\sin\theta_1\cdots\sin\theta_{n-1}\displaystyle\frac{\partial}{\partial\theta_n}.
931: \end{array}
932: $$
933: \end{itemize}
934: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
935: \subsubsection{D\'eriv\'ee de Lie de degr\'e $\l$}
936: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
937:
938: Nous pouvons \`a pr\'esent d\'ecrire les actions $L_{X_0}^\l$ et $L_{\bar X_i}^\l$, $1\leq i\leq n$ en termes de coordonn\'ees sph\'eriques: nous avons,
939: en appliquant (\ref{LieDer}),
940: $$
941: \begin{array}{rcl}
942: L_{X_0}^\l &=&-\sin\theta_n\displaystyle\frac{\partial }{\partial\theta_n}-\l\cos\theta_n ,
943: \end{array}
944: $$
945: l'op\'erateur $\cos\theta_n$ du membre de droite \'etant un simple op\'erateur de multiplication.
946: De m\^eme, pour $1\leq i\leq n-1$,
947: $$
948: \begin{array}{rcl}
949: L_{\bar X_{n-i}}^\l &=&-(1+\cos\theta_n)\displaystyle\frac{\sin\theta_i}{\sin\theta_{i+1}\sin\theta_n}\displaystyle\frac{\partial }{\partial\theta_i}\\[10pt]
950: &&+(1+\cos\theta_n)\sum_{j=i+1}^{n-1}\displaystyle\frac{\sin\theta_1\cdots\sin\theta_j}{\sin\theta_1\cdots\sin\theta_i\sin\theta_j\cdots\sin\theta_n}
951: \cos\theta_i\cos\theta_j\displaystyle\frac{\partial }{\partial\theta_j}\\[10pt]
952: &&+(1+\cos\theta_n)\displaystyle\frac{\sin\theta_i\cdots\sin\theta_{n-1}}{\sin\theta_i}\cos\theta_i\displaystyle\frac{\partial }{\partial\theta_n}\\[10pt]
953: &&+\l\Big(-(1+\cos\theta_n)\displaystyle\frac{\cos\theta_i}{\sin\theta_{i+1}\cdots\sin\theta_n}\\[10pt]
954: &&\hspace{0.8cm} -(1+\cos\theta_n)\sum_{j=i+1}^{n-1}\displaystyle\frac{\sin\theta_1\cdots\sin\theta_j}
955: {\sin\theta_1\cdots\sin\theta_i\sin\theta_j\cdots\sin\theta_n}
956: \cos\theta_i\sin\theta_j \\[10pt]
957: &&\hspace{0.8cm}-\sin\theta_n\cos\theta_i\displaystyle\frac{\sin\theta_i\cdots\sin\theta_{n-1}}{\sin\theta_i}
958: \Big);
959: %\\[10pt]
960: \end{array}
961: $$
962: et enfin :
963: $$
964: \begin{array}{rcl}
965: L_{\bar X_{n}}^\l &=&(1+\cos\theta_n)\sum_{i=1}^{n-1}\displaystyle\frac{\sin\theta_1\cdots\sin\theta_i}{\sin\theta_i\cdots\sin\theta_n}\cos\theta_i
966: \displaystyle\frac{\partial }{\partial\theta_i}\\[10pt]
967: &&+(1+\cos\theta_n)\sin\theta_1\cdots\sin\theta_{n-1}\displaystyle\frac{\partial }{\partial\theta_n}\\[10pt]
968: &&+\l\Big(-(1+\cos\theta_n)\sum_{i=1}^{n-1}\displaystyle\frac{\sin\theta_1\cdots\sin\theta_i}{\sin\theta_i\cdots\sin\theta_n}\sin\theta_i
969: \\[10pt]
970: &&\hspace{0.8cm}-\sin\theta_1\cdots\sin\theta_n\Big).
971: \end{array}
972: $$
973: Nous sommes \`a pr\'esent \`a m\^eme de d\'emontrer l'identification de la d\'eriv\'ee de Lie de degr\'e $\l$ \`a
974: la repr\'esentation infinit\'esimale associ\'ee \`a une repr\'esentation particuli\`ere de la s\'erie sph\'erique nonunitaire du groupe $\SO_0(n+1,1)$,
975: que nous allons d\'eterminer.
976: \begin{defi}
977: Nous d\'esignons par ${\mathcal C}^\infty_\nu(\mathbb{S}^n)$ le sous-module de ${\mathcal L}^2(\mathbb{S}^n$) form\'e des \'el\'ements de classe
978: ${\mathcal C}^\infty$, muni de la repr\'esentation
979: $d{\rm Ind}_{MAN}^G(0\otimes \nu)=dI_\nu$ de $\mathfrak{g}$,
980: et de la repr\'esentation r\'eguli\`ere \`a gauche de $K$, donn\'ee par (\ref{reg}).
981: \end{defi}
982: \noindent Nous nous proposons ici de d\'emontrer l'\'equivalence des $\mathfrak{g}$- et $K$-modules $\cF_\l(\mathbb{S}^n)$ et
983: ${\mathcal C}^\infty_{n\l}(\mathbb{S}^n)$.
984: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
985: \subsection{Un r\'esultat de cohomologie}
986: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
987: Pour les d\'efinitions cohomologiques, on pourra consulter l'ouvrage \cite{FU} de M.~Fuks.
988:
989: Nous donnons avant tout un r\'esultat g\'en\'eral, qui affirme que deux repr\'esentations de $\mathfrak{g}$ qui diff\`erent de la d\'eriv\'ee de Lie par
990: deux cocycles cohomologues sont \'equivalentes
991: ($L_X$ d\'esigne la d\'eriv\'ee de Lie le long du champ $X$).
992: \begin{lemm}
993: Soient $c_1$ et $c_2\in {\sf H}^1(\so(n+1,1),{\mathcal C}^\infty(\bbR^n))$.
994: Nous avons
995: $$
996: \bar c_1-\bar c_2=\bar 0\implies L_X+c_1\cong L_X+c_2 .
997: $$
998: \label{cohom}
999: \end{lemm}
1000: En effet, par hypoth\`ese il existe $\varphi\in{\mathcal C}^\infty(\bbR^n)$ tel que $c_1-c_2={\rm d}\varphi$. Alors l'application
1001: $$
1002: \begin{array}{rccl}
1003: \psi :&\cF_\l(\mathbb{S}^n)&\longrightarrow&\cF_\l(\mathbb{S}^n)\\
1004: &f&\longmapsto&{\rm e}^\varphi f
1005: \end{array}
1006: $$
1007: entrelace les actions $L_X+c_1$ et $L_X+c_2$: nous avons $c_1(X)-c_2(X)=L_X\varphi$ pour tout $X$, de sorte que
1008: $$
1009: \begin{array}{rcl}
1010: L_X+c_2(X)({\rm e}^{\varphi}f)&=&{\rm e}^{\varphi}L_X f+L_X(\varphi) f.{\rm e}^{\varphi}+c_2(X)f{\rm e}^{\varphi}\\
1011: &=&{\rm e}^{\varphi}\Big(L_X f+L_X(\varphi)f+c_2(X)\Big)\\
1012: &=&{\rm e}^{\varphi}\Big(L_X f+c_1(X)\Big),
1013: \end{array}
1014: $$
1015: ce qui d\'emontre le lemme \ref{cohom}.
1016:
1017: \medskip
1018:
1019: Notre d\'emonstration de l'\'equivalence est bas\'ee sur deux \'equivalences successives.
1020: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1021: \subsection{Premi\`ere \'etape}
1022: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1023: Notons tout d'abord $M^\nu$ la repr\'esentation de l'alg\`ebre de Lie conforme sur $\cF_\l(\mathbb{S}^n)$ donn\'ee en coordonn\'ees sph\'eriques par
1024: l'action
1025: $$
1026: M^\nu _X=L_X+\nu\displaystyle\frac{\partial X^n}{\partial\theta_n}
1027: $$
1028: (on notera que $\l$ n'intervient pas dans cette action).
1029: Une premi\`ere \'etape dans notre d\'emarche est donn\'ee par le lemme suivant :
1030: \begin{lemm}
1031: Les repr\'esentations $dI_\nu$ et $M^\nu$ sont \'equivalentes.
1032: \end{lemm}
1033: \noindent En effet nous identifions les bases vectorielle et matricielle de $\so(n+1,1)$ par la correspondance $X_0\mapsto H$,
1034: $\bar X_n\mapsto -{\sf n}_1$
1035: et $\bar X_{n-i}\mapsto -{\sf n}_{i+1},~1\le i\le n-1$,
1036: si bien qu'\`a l'aide des formules (\ref{infindh}), (\ref{infinduced2}) et (\ref{infinduced3}), nous obtenons directement pour tout $X\in\so(n+1,1)$
1037: $$
1038: \pi\circ dI_\nu(X)=M^\nu_X\circ\pi,
1039: $$
1040: o\`u
1041: $$
1042: \begin{array}{rccl}
1043: \pi:&{\mathcal C}^\infty_\nu(\mathbb{S}^n)&\longrightarrow&\cF_\l(\mathbb{S}^n)\\
1044: &f(\theta_1,\dots,\theta_n)&\longmapsto&f(\theta_1,\dots,\theta_{n-1},\pi+\theta_n)(d\theta_1\wedge\cdots\wedge d\theta_n)^\l.
1045: \end{array}
1046: $$
1047:
1048: Il nous reste \`a pr\'esent \`a d\'emontrer que les repr\'esentations $M^\nu_X$ et $L_X^\l$, qui s'effectuent toutes deux sur $\cF_\l(\mathbb{S}^n)$,
1049: sont \'equivalentes si et seulement si $\nu=n\l$. Nous nous appuierons \`a cet effet sur le lemme \ref{cohom}.
1050: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1051: \subsection{Deuxi\`eme \'etape et \'equivalence}
1052: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1053: Avant tout, constatons les deux faits suivants, v\'erifi\'es pour tout $X=\sum_i X^i\displaystyle\frac{\partial}{\partial\theta_i}$ de l'alg\`ebre de Lie
1054: $\so(n+1,1)$ :
1055:
1056: - $L_X^\l$ est du type $L_X+c_1(X)$, avec $c_1(X)=\l\Div X$, o\`u $\Div X=\sum_i\displaystyle\frac{\partial X^i}{\partial\theta_i}$;
1057:
1058: - $M_X^\nu$ est du type $L_X+c_2(X)$, avec $c_2(X)=\nu\displaystyle\frac{\partial X^n}{\partial\theta_n}$.
1059:
1060: \noindent Nous avons donc avec ces notations
1061: $$
1062: c_1(X)-c_2(X)=\l(\Div X-\displaystyle\frac{\nu}{\lambda}\displaystyle\frac{\partial X^n}{\partial\theta_n}).
1063: $$
1064: Nous allons \`a pr\'esent prouver que $\Div X-\displaystyle\frac{\nu}{\lambda}\displaystyle\frac{\partial X^n}{\partial\theta_n}$
1065: est un cobord dans l'espace de cohomologie ${\sf H}^1(\so(n+1,1),{\mathcal C}^\infty(\bbR^n))$. Nous prouvons pr\'ecis\'ement que c'est le cas si et
1066: seulement si $\nu=n\l$.
1067: \begin{prop}
1068: $$
1069: \Div X-\alpha\displaystyle\frac{\partial X^n}{\partial\theta_n}\in\bar 0\in{\sf H}^1(\so(n+1,1),{\mathcal C}^\infty(\bbR^n))\iff \alpha=n.
1070: $$
1071: \label{cob}
1072: \end{prop}
1073: \noindent En effet, si nous \'ecrivons l'\'equation
1074: \begin{equation}
1075: \Div(X) -\alpha\displaystyle\frac{\partial X^n}{\partial\theta_n}=d\varphi(X)
1076: \label{sys}
1077: \end{equation}
1078: pour chaque \'el\'ement $X$ de $\so(n+1,1)$, nous
1079: obtenons les $n+1$ \'equations suivantes :
1080:
1081: \begin{itemize}
1082: \item pour $X=\bar X_n$,
1083: $$
1084: \begin{array}{l}
1085: (\alpha-1)\sin\theta_1\cdots\sin\theta_n-(1+\cos\theta_n)\sum_{i=1}^{n-1}\displaystyle\frac{\sin\theta_1\cdots\sin\theta_i}{\sin\theta_i\cdots\sin\theta_n}
1086: \sin\theta_i\\[10pt]
1087: =(1+\cos\theta_n)\Big(\sum_{i=1}^{n-1}\displaystyle\frac{\sin\theta_1\cdots\sin\theta_i}{\sin\theta_i\cdots\sin\theta_n}
1088: \cos\theta_i\displaystyle\frac{\partial \varphi}{\partial\theta_i}
1089: +\sin\theta_1\cdots\sin\theta_{n-1}\displaystyle\frac{\partial \varphi}{\partial\theta_n}\Big);
1090: \end{array}
1091: $$
1092: \item pour les $\bar X_{n-i}$, $1\le i\le n-1$, nous avons $n-1$ \'equations index\'ees par $i$ :
1093: \begin{equation}
1094: \begin{array}{l}
1095: (\alpha-1)\cos\theta_i\sin\theta_{i+1}\cdots\sin\theta_n\\[10pt]-(1+\cos\theta_n)\Big(\displaystyle\frac{\cos\theta_i}{\sin\theta_{i+1}\cdots\sin\theta_n}\\[10pt]
1096: \hspace{60pt}+
1097: \sum_{j=i+1}^{n-1}\displaystyle\frac{\sin\theta_1\cdots\sin\theta_j}{\sin\theta_1\cdots\sin\theta_i\sin\theta_j\cdots\sin\theta_n}
1098: \cos\theta_i\sin\theta_j\Big)\\[10pt]
1099: =(1+\cos\theta_n)\Big(-\displaystyle\frac{\sin\theta_i}{\sin\theta_{i+1}\cdots\sin\theta_n}\displaystyle\frac{\partial \varphi}{\partial\theta_i}\\[10pt]
1100: \hspace{70pt}+\sum_{j=i+1}^{n-1}\displaystyle\frac{\sin\theta_1\cdots\sin\theta_j}{\sin\theta_1\cdots\sin\theta_i\sin\theta_j\cdots\sin\theta_n}
1101: \cos\theta_i\cos\theta_j\displaystyle\frac{\partial \varphi}{\partial\theta_j}\\[10pt]
1102: \hspace{70pt}+\cos\theta_i\sin\theta_{i+1}\cdots\sin\theta_{n-1}\displaystyle\frac{\partial \varphi}{\partial\theta_n}\Big);
1103: \end{array}
1104: \label{eqi}
1105: \end{equation}
1106: \item enfin, pour $X=X_0$,
1107: $$
1108: (\alpha -1)\cos\theta_n=-\sin\theta_n\displaystyle\frac{\partial \varphi}{\partial\theta_n}.
1109: $$
1110: \end{itemize}
1111: Le syst\`eme lin\'eaire form\'e de ces $n+1$ \'equations admet une unique solution donn\'ee par
1112: $$
1113: \left\{
1114: \begin{array}{rcl}
1115: \displaystyle\frac{\partial \varphi}{\partial\theta_k}&=&-\displaystyle\frac{k-1}{\tan\theta_k},~k=1,\dots,n\\[10pt]
1116: \alpha&=&n.
1117: \end{array}
1118: \right.
1119: $$
1120:
1121: \medskip
1122:
1123: \noindent En effet, pour r\'esoudre ce syst\`eme nous pouvons proc\'eder de la fa\c{c}on suivante :
1124: \begin{itemize}
1125: \item Appelons $S_1$ le syst\`eme donn\'e ci-dessus, et num\'erotons de $(1)$ \`a $(n+1)$ les \'equations, dans l'ordre d\'ecrit: ainsi, l'\'equation $(1)$
1126: est obtenue
1127: en appliquant l'\'equation ($\ref{sys}$) au champ $\bar X_n$, et pour $i$ variant de $2$ \`a $n$, l'\'equation $(i)$ est obtenue en
1128: appliquant cette \'equation ($\ref{sys}$) au champ $\bar X_{n-i+1}$. Enfin, l'\'equation $(n+1)$ est obtenue par ce m\^eme proc\'ed\'e, au moyen du
1129: champ $ X_0$.
1130: \begin{enumerate}
1131: \item Multiplions l'\'equation $(1)$ par $\cos\theta_1$, et soustrayons au r\'esultat obtenu le produit de l'\'equation $(2)$ par $\sin\theta_1$: nous
1132: obtenons $\displaystyle\frac{\partial \varphi}{\partial\theta_1}=0$.
1133: \item Multiplions l'\'equation $(1)$ par $\sin\theta_1$, et additionnons au r\'esultat obtenu le produit de l'\'equation $(2)$ par $\cos\theta_1$: nous
1134: obtenons une nouvelle \'equation, o\`u ne figurent plus les termes o\`u apparaissait l'angle $\theta_1$.
1135: Nous construisons alors un syst\`eme $S_2$, compos\'e de $n$ \'equations num\'erot\'ees de $(2)$ \`a $(n+1)$, o\`u cette nouvelle \'equation porte le
1136: num\'ero $(2)$, et les autres \'equations sont inchang\'ees par rapport au syst\`eme $S_1$.
1137: \end{enumerate}
1138: \item R\'ep\'etons le proc\'ed\'e d\'ecrit ci-dessus, permettant, pour $i$ de $(1)$ \`a $(n-1)$, de passer du syst\`eme $S_i$ au syst\`eme $S_{i+1}$:
1139: dans $S_i$, les \'equations sont num\'erot\'ees de $(i)$ \`a $(n+1)$. On proc\`ede en deux temps :
1140: \begin{enumerate}
1141: \item[a.] $(i)\cos\theta_i-(i+1)\sin\theta_i\iff\displaystyle\frac{\partial \varphi}{\partial\theta_i}=-\displaystyle\frac{i-1}{\tan\theta_i}$ ;
1142: \item[b.] $(i)\sin\theta_i+(i+1)\cos\theta_i$ est l'\'equation $(i+1)$ du nouveau syst\`eme $S_{i+1}$.
1143: \label{algo}
1144: \end{enumerate}
1145: Explicitement, l'\'equation $(i)$ du syst\`eme $S_i$ est la suivante :
1146: $$\begin{array}{l}
1147: (\alpha-1)\sin\theta_i\cdots\sin\theta_n-(1+\cos\theta_n)\Big(\displaystyle\frac{\sin\theta_i}{\sin\theta_{i+1}\cdots\sin\theta_n}+\displaystyle\frac{i-1}
1148: {\sin\theta_i\cdots\sin\theta_n}
1149: \\[10pt]\hspace{100pt}+\sum_{j=i+1}^{n-1}\displaystyle\frac{\sin\theta_1\cdots\sin\theta_j}{\sin\theta_1\cdots\sin\theta_i\sin\theta_j\cdots\sin\theta_n}
1150: \sin\theta_i\sin\theta_j\Big)\\[15pt]
1151: =(1+\cos\theta_n)\Big(\displaystyle\frac{\cos\theta_i}{\sin\theta_{i+1}\cdots\sin\theta_n}\displaystyle\frac{\partial \varphi}{\partial\theta_i}\\[10pt]
1152: \hspace{70pt}+ \sum_{j=i+1}^{n-1}\displaystyle\frac{\sin\theta_1\cdots\sin\theta_j}{\sin\theta_1\cdots\sin\theta_i\sin\theta_j
1153: \cdots\sin\theta_n}\sin\theta_i\cos\theta_j
1154: \displaystyle\frac{\partial \varphi}{\partial\theta_j}\\[10pt]\hspace{70pt}+\sin\theta_i\cdots\sin\theta_{n-1}
1155: \displaystyle\frac{\partial \varphi}{\partial\theta_n}\Big),
1156: \end{array}$$
1157: et l'\'equation $(i+1)$ du syst\`eme $S_i$ est simplement (\ref{eqi}).
1158:
1159: Nous v\'erifions alors facilement par r\'ecurrence les assertions a. et b. ci-dessus.
1160: \item Le syst\`eme $S_n$ s'\'ecrit enfin
1161:
1162: $$
1163: \begin{array}{rcl}
1164: (\alpha-1)\sin\theta_n-(1+\cos\theta_n)\displaystyle\frac{n-1}{\sin\theta_n}&=&(1+\cos\theta_n)\displaystyle\frac{\partial \varphi}{\partial\theta_n}\\[10pt]
1165: (\alpha-1)\cos\theta_n&=&-\sin\theta_n\displaystyle\frac{\partial \varphi}{\partial\theta_n}
1166: \end{array}
1167: $$
1168: et ce dernier syst\`eme admet clairement une solution unique, donn\'ee par
1169: $$\displaystyle\frac{\partial \varphi}{\partial\theta_n}=-\displaystyle\frac{n-1}{\tan\theta_k} \quad {\rm et}\quad \alpha=n.$$
1170: \end{itemize}
1171: Le syst\`eme $S_1$ est ainsi r\'esolu, et la proposition \ref{cob} est d\'emontr\'ee.
1172:
1173: \bigskip
1174:
1175:
1176: Ainsi en appliquant le lemme \ref{cohom}, nous avons d\'emontr\'e que les $\mathfrak{g}$-modules $\cF_\l(\mathbb{S}^n)$ et
1177: ${\mathcal C}^\infty_{n\l}(\mathbb{S}^n)$ sont isomorphes.
1178: Il est de plus clair que cet isomorphisme est compatible avec l'action de $K$, puisque l'action du groupe $K$ est donn\'ee sur chaque
1179: espace par la m\^eme repr\'esentation r\'eguli\`ere \`a gauche. Ainsi, si nous d\'esignons par $\varphi$ l'isomorphisme de
1180: $\mathfrak{g}$-modules de $\cF_\l(\mathbb{S}^n)$ vers ${\mathcal C}^\infty_\nu(\mathbb{S}^n)$, il vient imm\'ediatement
1181: $$
1182: \varphi(k.(f(\theta_1,\dots,\theta_n)(d\theta_1\wedge\cdots\wedge d\theta_n)^\l))=k.\varphi(f(\theta_1,\dots,\theta_n)
1183: d\theta_1\wedge\cdots\wedge d\theta_n)^\l),
1184: $$
1185: pour tout $k\in K$.
1186:
1187: Le th\'eor\`eme \ref{equiv} est donc d\'emontr\'e.
1188: Nous \'ecrivons
1189: $$
1190: L_X^\l\cong d{\rm Ind}_{MAN}^G(0\otimes n\l)(X).
1191: $$
1192:
1193: \medskip
1194:
1195: Nous d\'ecrivons \`a pr\'esent en d\'etail les $({\mathfrak g},K)$-modules de la s\'erie sph\'erique nonunitaire, dans le but de leur identifier ceux de
1196: $\cF_\l(\mathbb{S}^n)$.
1197: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1198: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1199: \section {$({\mathfrak g},K)$-modules simples de la s\'erie sph\'erique nonunitaire}
1200: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1201: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1202: Nous devons avant tout donner des indications pr\'ecises sur les repr\'esentations du groupe $K=\SO(n+1)$. Deux cas sont \`a consid\'erer, selon
1203: la parit\'e de
1204: $n+1$. Nous ne donnons les d\'etails que pour $n+1=2k$, le travail \'etant similaire pour $n+1$ impair.
1205:
1206: Les notations utilis\'ees dans tout ce qui suit sont celles utilis\'ees par M.~Guichardet dans (\cite{Gui}, appendice $B.10$).
1207: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1208: \subsection{Poids et repr\'esentations de $\SO(n+1)$}
1209: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1210: Nous posons ici $n+1=2k$, c'est \`a dire $k=[\frac{n+1}{2}]$, o\`u $[p]$ est la partie enti\`ere de $p$.
1211:
1212: \medskip
1213:
1214: \noindent Rappelons avant tout la d\'efinition des racines et poids :
1215: Soit ${\mathfrak g}$ une alg\`ebre de Lie semi-simple, et ${\mathfrak h}$ une sous-alg\`ebre de Cartan de ${\mathfrak g}$.
1216:
1217: - On dit que $\alpha\in{\mathfrak h}^*$ est une racine de $({\mathfrak g},{\mathfrak h})$ si le sous-espace ${\mathfrak g}_\alpha$ d\'efini par
1218: $$
1219: {\mathfrak g}_\alpha=\{X\in{\mathfrak g}~:~[H,X]=\alpha(H)X~\forall H\in{\mathfrak h}\}
1220: $$
1221: est non r\'eduit \`a $\{0\}$.
1222:
1223: - On dit que $\l\in{\mathfrak h}^*$ est un poids d'une repr\'esentation $\tau$ de ${\mathfrak g}$ sur un espace $V$ si le sous-espace $V_\l$ d\'efini par
1224: $$
1225: V_\l=\{v\in V~:~\tau(H)v=\l(H)v~\forall H\in{\mathfrak h}\}
1226: $$
1227: est non r\'eduit \`a $\{0\}$.
1228: Ainsi, une racine de $({\mathfrak g},{\mathfrak h})$ est un poids pour la repr\'esentation adjointe dans ${\mathfrak g}$.
1229:
1230: \bigskip
1231:
1232: En ce qui nous concerne, prenons d'abord une base de l'alg\`ebre $\mathfrak{k}=\so(n+1)$ et notamment d'une sous alg\`ebre de Cartan :
1233: cette sous-alg\`ebre de Cartan $\mathfrak{h}$ est engendr\'ee par les \'el\'ements
1234: $$
1235: H_{r}=i(E_{2r-1,2r}-E_{2r,2r-1}),\quad r=1,2,\dots, k.
1236: $$
1237: Consid\'erons les applications lin\'eaires sur cette sous-alg\`ebre de Cartan donn\'ees par
1238: $$
1239: \varepsilon_r(\l_1H_1+\cdots+\l_kH_k)=\l_r.
1240: $$
1241: Les racines de $(\so(n+1),\mathfrak{h})$ sont, pour $1\leq r<s\leq k$, les applications
1242: $$
1243: \varepsilon_r-\varepsilon_s,~\varepsilon_r+\varepsilon_s,~-\varepsilon_r+\varepsilon_s,~-\varepsilon_r-\varepsilon_s.
1244: $$
1245: Nous ne donnons pas les \'el\'ements et sous-espaces radiciels, inutiles ici.
1246:
1247: - Les racines positives sont $\varepsilon_r-\varepsilon_s,~\varepsilon_r+\varepsilon_s$.
1248:
1249: - La plus grande racine est $\varepsilon_1+\varepsilon_2$ (poids dominant de la repr\'esentation adjointe.)
1250:
1251: - Les poids fondamentaux ($\mathbb{Z}$-base du r\'eseau des poids) sont
1252: $$
1253: \begin{array}{rcl}
1254: \varpi_r&=&\varepsilon_1+\varepsilon_2+\cdots+\varepsilon_r,~r=1,\dots,k-2 ;\\[5pt]
1255: \varpi_{k-1}&=&\frac{1}{2}(\varepsilon_1+\varepsilon_2+\cdots+\varepsilon_{k-1}-\varepsilon_k) ;\\[5pt]
1256: \varpi_k&=&\frac{1}{2}(\varepsilon_1+\varepsilon_2+\cdots+\varepsilon_{k-1}+\varepsilon_k).
1257: \end{array}
1258: $$
1259: Par cons\'equent si un poids $\Lambda$ s'\'ecrit
1260: $$
1261: \Lambda=\sum_{i=1}^{k}\l_i\varpi_i=\sum_{i=1}^{k}\m_i\varepsilon_i, \l_i\in\mathbb{Z},
1262: $$
1263: nous aurons
1264: $$
1265: \l_1=\m_1-\m_2,~\l_2=\m_2-\m_3,\dots,~\l_{k-1}=\m_{k-1}-\m_k,~\l_k=\m_{k-1}+\m_k.
1266: $$
1267: $\Lambda$ est un poids dominant si et seulement si tous les $\l_i$ sont positifs, ce qui nous donne
1268: $$
1269: \m_1\geq\m_2\geq\cdots\geq\m_{k-1}\geq |\m_k|.
1270: $$
1271: Les $\m_i$ sont entiers ou demi-entiers non entiers. Ces poids dominants sont aussi ceux du groupe ${\rm Spin}(2k)$, rev\^etement universel \`a deux
1272: feuillets de $\SO(2k)$.
1273: Ceux de $\SO(2k)$ sont obtenus avec les $\m_i$ tous entiers.
1274:
1275: Une repr\'esentation est caract\'eris\'ee par son plus haut poids, et ce dernier est forc\'ement un poids dominant.
1276: Ainsi une repr\'esentation de $\SO(2k)$ est not\'ee
1277: $$
1278: D^{m_1,\dots,m_k},~ {\rm avec}~ |m_1|\leq m_2\leq\cdots\leq m_{k-1}\leq m_k,
1279: $$
1280: o\`u nous avons not\'e $m_1=\m_k$, $m_2=\m_{k-1},\dots m_k=\m_1$.
1281:
1282: \medskip
1283:
1284: De m\^eme, dans le cas o\`u $n+1$ est impair, $n+1=2k+1$, on d\'emontre que pour une repr\'esentation de $\SO(2k+1)$ on peut noter
1285: $$
1286: D^{m_1,\dots,m_k},\quad 0\leq m_1 \leq m_2\leq\cdots\leq m_{k-1}\leq m_k.
1287: $$
1288: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1289: \subsection{$(\mathfrak{g},K)$-modules}
1290: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1291: Nous donnons tout d'abord quelques indications concernant les $(\mathfrak{g},K)$-modules, dont on pourra trouver les d\'etails dans l'ouvrage
1292: \cite{Kna} de M.~Knapp par exemple.
1293:
1294: \noindent Il convient tout d'abord de remarquer que $\cF_\l(\mathbb{S}^n)$ satisfait aux conditions de d\'efinition d'un $(\mathfrak{g},K)$-module
1295: donn\'ees en introduction de cet article, si ce n'est que tout vecteur de cet espace n'est pas forc\'ement $K$-fini : en effet, nous avons une
1296: repr\'esentation (analytique) que nous notons $\pi$ de $G=\SO_0(n+1,1)\subset \Diff(\mathbb{S}^n$).
1297: D'autre part dans $G$ nous avons $$k{\rm exp}(tX)k^{-1}={\rm exp}({\rm Ad}k\cdot tX)$$ pour tous $k\in K$, $t\in\bbR$, $X\in\mathfrak{g}$
1298: (voir par exemple \cite{Bou}, par. $6$, cor. $2$). En prenant la d\'eriv\'ee en $t=0$ de
1299: $\pi(k{\rm exp}(tX)k^{-1})\cdot v$, la diff\'erentielle
1300: $d\pi:\mathfrak{g}\longrightarrow\End (\cF_\l(\mathbb{S}^n))$ est telle que l'on obtient $$d\pi({\rm Ad}(k)\cdot X)\cdot v=k\cdot(d\pi(X)\cdot (k^{-1}\cdot v)).$$
1301:
1302: \medskip
1303:
1304: Lorsque $K$ agit au moyen d'op\'erateurs unitaires la repr\'esentation $\pi$ de $G$ restreinte \`a $K$ se d\'ecompose en somme directe orthogonale
1305: d'espaces sur lesquels elle est irr\'eductible,
1306: et la multiplicit\'e de chaque repr\'esentation est bien d\'efinie :
1307: \begin{equation}
1308: \pi|_K ~\cong~\sum_{\tau\in\hat{K}}n_\tau \tau
1309: \label{Ktypes}
1310: \end{equation}
1311: o\`u $\hat{K}$ est l'ensemble des classes d'\'equivalence des repr\'esentations irr\'eductibles de $K$ et o\`u chaque multiplicit\'e $n_\tau$ est un entier
1312: positif ou est $+\infty$.
1313: Un vecteur d'un de ces irr\'eductibles $K$-espaces est $K$-fini, de sorte que l'espace des vecteurs $K$-finis est dense dans $E$.
1314: Les classes d'\'equivalence $\tau$ dans ($\ref{Ktypes})$ de multiplicit\'e non nulle sont appel\'ees les $K$-types de $\pi$, et $n_\tau \tau$
1315: est la composante isotypique de type $\tau$.
1316:
1317: \noindent Une telle repr\'esentation $\pi$ est dite admissible si $\pi(K)$ op\`ere par des op\'erateurs unitaires et si chaque $\tau$ dans $\hat{K}$ est
1318: de multiplicit\'e finie.
1319:
1320: Nous allons voir que c'est le cas pour ce qui nous concerne: M.~Vilenkin a d\'emontr\'e dans \cite{Vil} que la repr\'esentation r\'eguli\`ere \`a gauche de
1321: $\SO(n+1)$ est unitaire pour le produit scalaire usuel dans ${\mathcal L}^2(\mathbb{S}^n)$
1322: et se d\'ecompose en la somme directe
1323: $${\mathcal H}(K)=\bigoplus {\mathcal H}^{n+1,m},~m\in\mathbb{N}$$
1324: des sous $K$-modules ${\mathcal H}^{n+1,m}$ des polyn\^omes harmoniques homog\`enes en les coordonn\'ees cart\'esiennes, chacun de ces
1325: sous-modules \'etant simple
1326: (except\'e pour le cas $n=1$ o\`u ${\mathcal H}^{2,m}$ est somme directe de deux sous-modules simples de dimension $1$, du fait du caract\`ere
1327: ab\'elien de $\SO(2)$),
1328: et de multiplicit\'e $1$. L'isomorphisme donn\'e par le th\'eor\`eme \ref{equiv} nous montre donc que notre repr\'esentation est admissible, \`a
1329: condition bien s\^ur d'avoir prouv\'e que les ${\mathcal H}^{n+1,m}$ d\'ecrivent de mani\`ere exhaustive l'espace des vecteurs $K$-finis.
1330:
1331: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1332: \subsection{$(\mathfrak{g},K)$-modules pour ${\rm Ind}_{MAN}^G(0\otimes \nu+\rho)$}
1333: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1334: Afin que nos notations soient en accord avec celles donn\'ees dans (\cite{Gui}, appendice B.10), nous \'etudions la repr\'esentation induite par le
1335: caract\`ere $a^{\rho + \nu}$ de $A$ et non
1336: $a^{\nu}$ comme nous l'avions fait auparavant. Ainsi, nous \'etudions les vecteurs $K$-finis de la repr\'esentation
1337: ${\rm Ind}_{MAN}^G(0\otimes \nu+\rho)$, et non
1338: ${\rm Ind}_{MAN}^G(0\otimes \nu)$.
1339: Il convient de noter d\'es \`a pr\'esent que nous avons d\'emontr\'e l'\'equivalence
1340: $$
1341: L_X^\l\cong d{\rm Ind}_{MAN}^G(0\otimes n\l)(X).
1342: $$
1343: Aussi nous faudra-t-il remplacer $\nu+\rho$ par $n\l$ dans les r\'esultats qui suivent.
1344:
1345: \bigskip
1346:
1347: Notons $E_{0, \nu}$ le $(\mathfrak{g},K)$-module des vecteurs $K$-finis de ${\rm Ind}_{MAN}^G(0\otimes \nu+\rho)$.
1348: Nous avons
1349: \begin{equation}
1350: E_{0,\nu}|_K=\bigoplus D^{0,\dots,0,m},\left|\begin{array}{l}m\in\mathbb{N}~{\rm pour}~n>1\\m\in\mathbb{Z}~{\rm pour}~n=1\end{array}\right.
1351: \label{Kf}
1352: \end{equation}
1353: \begin{rema}
1354: Nous utilisons la propri\'et\'e fondamentale $E^*_{0,\nu}\cong E_{0,-\nu}$ (dual $K$-fini).
1355: \end{rema}
1356: \subsubsection{R\'esultats pour $G=\SO_0(2,1)$}
1357: Nous r\'ef\'erant \`a (\cite{Gui}, appendice B.10), nous posons $n_1=+\infty$, et interpr\'etons les r\'esultats donn\'es pour $n=2k$.
1358:
1359: \noindent Suite de composition de $E_ {0,\nu}$:
1360:
1361: $E_{0,\nu}$ est simple ssi $\nu\not\in\frac{1}{2}+\mathbb{Z}$.
1362: Dans le cas contraire, il admet trois sous-quotients simples not\'es $E^0_{0,\nu}$, $E^+_{0,\nu}$, $E^-_{0,\nu}$. Leurs restrictions \`a $K$ sont
1363: les suivantes:
1364:
1365: - L'entier $m$ de $E^0_{0,\nu}$ est caract\'eris\'e par $|m|\le |\nu|-\frac{1}{2}$.
1366:
1367: - Celui de $E^{\pm}_{0,\nu}$ par $|\nu|+\frac{1}{2}\le \pm m$.
1368:
1369: - $E^0_{0,\nu}$ est un sous-module de $E_{0,\nu}$ si $\nu<0$, et un quotient si $\nu>0$.
1370:
1371: - Les trois sous-quotients donn\'es ci-dessus sont des $(\mathfrak{g},K)$-modules simples.
1372:
1373: - Les sous-modules de dimension finie de $E_{0,\nu}$ sont les $E^0_{0,\nu}$, pour $\nu<0$.
1374:
1375: \noindent Les modules unitaires sont :
1376:
1377: - $E_{0,\nu}$ pour $\nu$ imaginaire pur (s\'erie principale unitaire).
1378:
1379: - $E_{0,\nu}$ pour $\nu\in ]0,\frac{1}{2}[$ (s\'erie compl\'ementaire).
1380:
1381: - $E^0_{0,\frac{1}{2}}$.
1382:
1383: - $E^\pm_{0,\nu}$ pour $\nu\in\frac{1}{2}+\mathbb{Z}$ (s\'erie discr\`ete).
1384:
1385:
1386: \subsubsection{R\'esultats pour $G=\SO_0(n+1,1)$, $n>1$}
1387:
1388: Utilisant les m\^emes notations, nous constatons que les cas $n+1=2k$ et $n+1=2k+1$ donnent pour ce qui nous concerne les
1389: m\^emes r\'esultats, qui sont les suivants :
1390:
1391: \noindent Suite de composition de $E_ {0,\nu}$:
1392:
1393: - Si $n$ est pair, $E_ {0,\nu}$ est simple ssi $\nu\not\in\mathbb{Z}$ ou $\nu=\pm(0,1,\dots,\frac{n}{2}-1)$;
1394:
1395: - Si $n$ est impair, $E_ {0,\nu}$ est simple ssi $\nu\not\in\frac{1}{2}+\mathbb{Z}$ ou $\nu=\pm(\frac{1}{2},\frac{3}{2},\dots,\frac{n}{2}-1)$;
1396:
1397: \noindent Dans le cas contraire, c'est \`a dire si $\nu=\pm(\frac{n}{2},\frac{n}{2}+1,\dots)$, il admet deux sous-quotients simples not\'es
1398: $E^0_{0,\nu}$ et $E^\times_{0,\nu}$. L'entier $m$ de $E^0_{0,\nu}$ est caract\'eris\'e par $m\le |\nu|-k+\frac{1}{2}$, et celui de $E^\times_{0,\nu}$
1399: par $m\ge |\nu|-k+\frac{3}{2}$.
1400:
1401: $E^0_{0,\nu}$ est un sous-module de dimension finie de $E_{0,\nu}$ si $\nu<0$, et un quotient si $\nu>0$, et on obtient ainsi les sous-$(\mathfrak{g},K)$
1402: -modules de $E_{0,\nu}$.
1403:
1404:
1405: \noindent Les modules unitaires sont les suivants :
1406:
1407: - $E_{0,\nu}$ pour $\nu$ imaginaire pur (s\'erie principale unitaire).
1408:
1409: - $E_{0,\nu}$ pour $\nu\in ]0,\frac{n}{2}[$ (s\'erie compl\'ementaire).
1410:
1411: - $E^0_{0,\frac{n}{2}}$.
1412:
1413: De cette classification exhaustive des $(\mathfrak{g},K)$-modules simples et unitaires de ${\rm Ind}_{MAN}^G(0\otimes \nu+\rho)$, nous allons d\'eduire
1414: la classification
1415: inh\'erente au module $\cF_\l(\mathbb{S}^n)$.
1416: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1417: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1418: \section {Preuve du th\'eor\`eme \ref{class} }
1419: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1420: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1421: A l'aide du th\'eor\`eme \ref{equiv}, nous pouvons identifier les vecteurs $K$-finis de $\cF_\l(\mathbb{S}^n)$ \`a ceux de
1422: ${\mathcal C}^\infty_\nu(\mathbb{S}^n)$
1423: , de la mani\`ere suivante :
1424: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1425: \subsection{Vecteurs $K$-finis}
1426: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1427: Nous utilisons les notations donn\'ees pr\'ec\'edemment.
1428: Posons
1429: $$
1430: {\mathcal H}^{n+1,m}=\big\{\displaystyle\frac{P_m(x_0,\dots,x_n)}{(x_0^2+\cdots+x_n^2)^{\frac{m}{2}+
1431: \l\frac{n+1}{2}}}\big\}\in{\it C}^\infty_{-\l(n+1)}(\bbR^{n+1}),
1432: $$
1433: o\`u $P_m$ d\'ecrit l'ensemble des polyn\^omes harmoniques et homog\`enes de degr\'e $m$ en les coordonn\'ees $x_0,\dots,x_n$.
1434:
1435: ${\mathcal H}^{n+1,m}$ est consid\'er\'e comme sous-espace de $\cF_\l(\mathbb{S}^n)$ \`a l'aide du ``rel\`evement'' (\ref{rel}).
1436: Nous consid\'erons cet espace comme $K$-module, i.e. comme $\SO(n+1)$-module, avec la repr\'esentation r\'eguli\`ere
1437: $
1438: (k_0\cdot f)(k)=f(k_0^{-1}k).
1439: $
1440: Le $K$-module ${\mathcal H}^{n+1,m}$ est simple pour $n>1$, et pour $n=1$, il est la somme directe de deux $K$-modules simples,
1441: not\'es $H_m$ et $H_{-m}$,
1442: engendr\'es respectivement
1443: par l'\'el\'ement $(x_0+{\bf i}x_1)^m(x_0^2+x_1^2)^{-\frac{m}{2}-\l}$, et par son conjugu\'e.
1444:
1445: \medskip
1446:
1447: Des v\'erifications directes (voir par exemple \cite{Goo}, th\'eor\`eme $5.2.4$, ou encore \cite{Kna}, page 89)
1448: montrent les faits suivants :
1449: \begin{itemize}
1450: \item Si $n=1$, $H_{\pm m}\cong D^{\pm m}$;
1451: \item Si $n>1$, ${\mathcal H}^{n+1,m}$ est un $K$-module de plus haut poids $m\varepsilon_1$, avec l'\'el\'ement primitif
1452: $$
1453: \psi_{1m}~=~\displaystyle\frac{(x_0+{\bf i}x_1)^m}{(x_0^2+\cdots+x_n^2)^{\frac{m}{2}+\l\frac{n+1}{2}}}.
1454: $$
1455: Ainsi ${\mathcal H}^{n+1,m}\cong D^{0,\dots,0,m}$.
1456: \end{itemize}
1457: Posons
1458: $$
1459: {\mathcal H}(K)=\bigoplus_m{\mathcal H}^{n+1,m}
1460: $$
1461: \noindent Nous savons que l'espace des vecteurs $K$-finis de la repr\'esentation induite
1462: ${\rm Ind}_{MAN}^G(0\otimes \nu+\rho)$ est donn\'e par (\ref{Kf}). Par l'\'equivalence
1463: d\'emontr\'ee, nous pouvons \'enon\c{c}er le r\'esultat suivant :
1464:
1465: \begin{prop}
1466: Le $(\mathfrak{g},K)$-module des vecteurs $K$-finis de l'espace des densit\'es tensorielles sur la sph\`ere est isomorphe \`a l'espace
1467: ${\mathcal H}(K)$ des polyn\^omes harmoniques en les coordonn\'ees cart\'esiennes sur la sph\`ere.
1468: \end{prop}
1469: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1470: \subsection{Classification }
1471: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1472: Nous achevons au moyen des r\'esultats pr\'ec\'edents la d\'emonstration du th\'eor\`eme \ref{class}:
1473: \begin{itemize}
1474: \item
1475: Cas $n=1$: $E^0_{0,\nu}=\bigoplus_{|m|\le |\nu|-\frac{1}{2}}H_m$. Cet espace est un sous-module simple de dimension finie pour
1476: $\nu\in\frac{1}{2}-\mathbb{N}$. Ainsi, si $\nu=-\frac{1}{2}-l$, $l\in\mathbb{N}$, nous avons $\nu+\rho= -l$ (pour $\SO_0(n+1,1)$,
1477: $\rho=\frac{n}{2}$), d'o\`u
1478: $|m|\le |\nu|-\frac{1}{2}\iff|m|\le l$. Par cons\'equent nous obtenons le sous-$(\mathfrak{g},K)$-module simple de dimension finie qui
1479: est la somme directe de $K$-modules simples
1480: $\bigoplus_{|m|\le l}H_m$ pour $\l=-l$, dans $\cF_\l(\mathbb{S}^1)$, ce qui correspond \`a l'ensemble des polyn\^omes harmoniques
1481: homog\`enes de degr\'e $\le l$ en les coordonn\'ees cart\'esiennes $x_0,x_1$.
1482:
1483: De la m\^eme fa\c{c}on, les autres sous-$(\mathfrak{g},K)$-modules simples sont obtenus pour $\l=l$, $l\in\mathbb{N}^*$, et sont
1484: les sous-espaces donn\'es par $E^{+}_{0,\nu}|_K=\bigoplus_{l\le m} H_m$ et $E^{-}_{0,\nu}|_K=\bigoplus_{-m\le -l } H_{-m}$. Remarquons
1485: que la somme directe de $E^{+}_{0,\nu}$ et $E^{-}_{0,\nu}$ est l'ensemble des polyn\^omes harmoniques de degr\'e $\ge l$.
1486: \item Cas $n>1$:
1487:
1488: - Si $\nu=-\frac{n}{2}-l$, $l\in\mathbb{N}$, ce qui \'equivaut
1489: \`a $\nu+\rho=-l$, il existe un unique sous-$(\mathfrak{g},K)$-module simple de ${\mathcal H}(K)$, de dimension finie, donn\'e par le sous-espace
1490: $E^0_{0,\nu}|_K=\bigoplus_{m\le |\nu|-\frac{n}{2}}{\mathcal H}^{n+1,m}$. Ce sous-$(\mathfrak{g},K)$-module de $\cF_\l(\mathbb{S}^n)$ est
1491: donc donn\'e, pour $l+n\l=0$, par
1492: l'ensemble des polyn\^omes harmoniques homog\`enes de degr\'e $\le l$ en les coordonn\'ees cart\'esiennes (en effet $m\le
1493: |\nu|-\frac{n}{2}\iff m\le -n\l$).
1494:
1495: - Si $\nu=\frac{n}{2}+l$, $l\in\mathbb{N}$, ce qui \'equivaut \`a $\nu+\rho=l+n$, on obtient un unique sous-$(\mathfrak{g},K)$-module simple
1496: de dimension infinie, qui est l'espace des
1497: polyn\^omes harmoniques homog\`enes de degr\'e $\ge l+1$; ce cas correspond \`a la valeur $n\l=l+n\iff \l=1+l/n$.
1498: \end{itemize}
1499:
1500: \medskip
1501:
1502: Il reste \`a traduire les conditions d'unitarisabilit\'e de chacun ce ces $(\mathfrak{g},K)$-modules. Nous obtenons facilement les r\'esultats
1503: du th\'eor\`eme \ref{class}, en interpr\'etant les r\'esultats de classification des $(\mathfrak{g},K)$-modules pour ${\rm Ind}_{MAN}^G(0\otimes \nu+\rho)$
1504: avec l'\'egalit\'e $\nu+\rho=n\l$. Par exemple, l'assertion
1505: $\nu\in]-\frac{n}{2}, \frac{n}{2}[\setminus\{0\}$ \'equivaut \`a $\nu+\rho\in]0, n[\setminus\{\frac{n}{2}\}$, c'est \`a dire $\l\in]0, 1[\setminus\{\frac{1}{2}\}$.
1506: Les autres assertions d'unitarisabilit\'e s'obtiennent de la m\^eme mani\`ere.
1507:
1508: \medskip
1509:
1510: Le th\'eor\`eme \ref{class} est d\'emontr\'e.
1511:
1512:
1513: \medskip
1514:
1515: \begin{rema}
1516: Le cas $n=1$ peut \^etre d\'eduit directement de la classification des repr\'esentations de $\SL(2,\bbR)$: adoptant la d\'emarche de M.~Lang dans
1517: \cite{Lan},
1518: il convient \`a cet effet d'observer que
1519: l'espace des vecteurs $K$-finis de $\cF_\l(\mathbb{S}^1$) est la somme $\bigoplus H_{2l}$, $l\in\mathbb{Z}$, o\`u $H_m$
1520: est l'espace de la repr\'esentation de $\SO(2)\subset\SL(2,\bbR)$ de caract\`ere
1521: $$
1522: \chi_m:\left[\begin{array}{cc}\cos\theta&\sin\theta\\-\sin\theta&\cos\theta\end{array}
1523: \right]\mapsto{\rm e}^{im\theta}.
1524: $$
1525: \end{rema}
1526:
1527:
1528: \bigskip
1529:
1530: {\bf Remerciements:} L'auteur tient \`a remercier vivement Thierry Levasseur, Alain Guichardet et Valentin Ovsienko pour
1531: leur grande disponibilit\'e, ainsi que Ranee Brylinski, Patrick Delorme et Pierre Lecomte pour d'enrichissantes discussions.
1532: \backmatter
1533:
1534: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1535: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1536: \begin{thebibliography}{99}
1537: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1538: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1539:
1540: \bibitem{Bou}
1541: Bourbaki,
1542: {\sl Alg\`ebre Chap. 3, Groupes de Lie}.
1543:
1544:
1545: \bibitem{Dix}
1546: J.~Dixmier,
1547: {\sl Alg\`ebres enveloppantes}, Gauthier-Villars, Paris, (1973).
1548:
1549: \bibitem{DLO}
1550: C. Duval, P. Lecomte \& V. Ovsienko,
1551: {\em Conformally equivariant quantization: existence and uniqueness},
1552: Ann. Inst. Fourier. {\bf 49:6} (1999) 1999--2029.
1553:
1554: \bibitem{DNF}
1555: B. ~Doubrovine, S.~Novikov, A.~Fomenko, {\sl G\'eom\'etrie contemporaine}, MIR, Moscou, (1982).
1556:
1557: \bibitem{ER}
1558: M.~G. Eastwood \& J.W. Rice, {\it Conformally invariant differential
1559: operators on Minkowski space and their curved analogues},
1560: ComM.~ Math. Phys. {\bf 109:2} (1987), 207--228.
1561:
1562: \bibitem{FU}
1563: D.B. Fuks, {\it Cohomology of infinite dimensional Lie algebras},
1564: Kluwer Academic Publishers,1986.
1565:
1566: \bibitem{Goo}
1567: R.~Goodman,~ N.~Wallach, {\sl Representations and Invariants of the
1568: Classical Groups}, Cambridge Univ. Press, (1998).
1569:
1570: \bibitem{Gui}
1571: A.~Guichardet,
1572: {\it Cohomologie des groupes topologiques et des alg\`ebres de Lie},
1573: Cedic/Nathan (1980).
1574:
1575: \bibitem{Hir}
1576: T.~Hirai,
1577: {\it On irreducible representations of the Lorentz group of $n {\rm th}$ order}, Proc. Japan Acad. 38, (1962), 258--262
1578:
1579: \bibitem{KG}
1580: A.U.~Klimyk, A.M.~Gavrilik,
1581: {\sl Representation of the group $\SO(p,q)$},
1582: Acad. Kiev, (1976).
1583:
1584:
1585: \bibitem{Kna}
1586: A.~Knapp,
1587: {\sl Representation Theory of Semisimple Groups, an overview based on examples},
1588: Princeton university press, (1986).
1589:
1590:
1591:
1592: \bibitem{Lan}
1593: S.~Lang,
1594: {\em $\SL(2,\bbR)$},
1595: Springer, Graduate texts in Mathematics, Vol.105 (1975).
1596:
1597: \bibitem{OvR}
1598: V. Ovsienko, P. Redou,
1599: {\em Generalized Transvectants-Rankin-Cohen Brackets},
1600: \`A para\^\i tre (2001).
1601:
1602: \bibitem{Ovs}
1603: V. Ovsienko,
1604: {\em Exotic Deformation Quantization},
1605: J. Diff. GeoM.~,
1606: {\bf 45:2} (1997) 390--406.
1607:
1608:
1609: \bibitem{Vil}
1610: N.~Ja.~Vilenkin,
1611: {\sl Fonctions sp\'eciales et th\'eorie de la repr\'esentation des groupes}, Dunod (1969).
1612:
1613: \bibitem{ViK}
1614: N.~Ja. Vilenkin, A.U.~Klimyk,
1615: {\sl Representation theory and noncommutative harmonic analysis II},
1616: Springer, Encyclop\ae dia of Mathematical Sciences, Vol.59 (1988).
1617:
1618:
1619:
1620: \end{thebibliography}
1621: \end{document}