1: %% This LaTeX-file was created by <biquard> Wed Nov 15 08:50:46 2000

2: %% LyX 1.0 (C) 1995-1999 by Matthias Ettrich and the LyX Team

3: 

4: %% Do not edit this file unless you know what you are doing.

5: \documentclass[12pt,frenchb,english]{article}

6: \usepackage[T1]{fontenc}

7: %\usepackage[latin1]{inputenc}

8: \usepackage{babel}

9: \usepackage{graphics,hyperref}

10: 

11: \makeatletter

12: 

13: 

14: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% LyX specific LaTeX commands.

15: \providecommand{\LyX}{L\kern-.1667em\lower.25em\hbox{Y}\kern-.125emX\@}

16: 

17: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Textclass specific LaTeX commands.

18: \NoAutoSpaceBeforeFDP

19: 

20: \usepackage{amsthm}

21: \theoremstyle{plain}    

22: \newtheorem{thm}{Th{\'e}or{\`e}me}[section]

23: %  \numberwithin{equation}{section} %% Comment out for sequentially-numbered

24: %  \numberwithin{figure}{section} %% Comment out for sequentially-numbered

25: \newenvironment{lyxlist}[1]

26:   {\begin{list}{}

27:     {\settowidth{\labelwidth}{#1}

28:      \setlength{\leftmargin}{\labelwidth}

29:      \addtolength{\leftmargin}{\labelsep}

30:      \renewcommand{\makelabel}[1]{##1 \hfill}}}

31:   {\end{list}}

32: \theoremstyle{plain}    

33: \newtheorem{cor}[thm]{Corollaire} %%Delete [thm] to re-start numbering

34: \theoremstyle{plain}    

35: \newtheorem{lem}[thm]{Lemme} %%Delete [thm] to re-start numbering

36: \theoremstyle{definition}

37:  \newtheorem{problem}[thm]{Probl{\`e}me}

38: \theoremstyle{remark}

39: \newtheorem{rem}[thm]{Remarque}

40: \theoremstyle{remark}    

41: \newtheorem*{claim*}{Affirmation}

42: 

43: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% User specified LaTeX commands.

44: 

45: \@addtoreset{equation}{section}

46: \renewcommand{\theequation}{\thesection.\arabic{equation}}

47: 

48: \newcommand{\Diff}{\mathrm{Diff}}

49: \renewcommand{\Re}{\mathrm{Re}\,}

50: \renewcommand{\Im}{\mathrm{Im}\,}

51: \renewcommand{\hom}{\mathrm{Hom}}

52: 

53: \renewcommand{\baselinestretch}{1.1}

54: 

55: \usepackage{amssymb,eucal}

56: 

57: \NoAutoSpaceBeforeFDP

58: \makeatother

59: 

60: \begin{document}

61: 

62: \selectlanguage{frenchb}

63: 

64: 

65: \title{M{\'e}triques autoduales sur la boule}

66: 

67: 

68: \author{Olivier Biquard}

69: 

70: \maketitle

71: \selectlanguage{english}

72: 

73: \begin{abstract}

74: \renewcommand{\thefootnote}{}\footnote{

75: 2000 Mathematics Subject Classification: 53C25, 32G07, 53C28, 53C26

76: }A conformal metric on a 4-ball induces on the boundary 3-sphere a conformal

77: metric and a trace-free second fundamental form. Conversely, such a data on

78: the 3-sphere is the boundary of a unique selfdual conformal metric, defined

79: in a neighborhood of the sphere. In this paper we characterize the conformal

80: metrics and trace-free second fundamental forms on the 3-sphere (close to the

81: standard round metric) which are boundaries of selfdual conformal metrics on

82: the whole 4-ball.

83: 

84: When the data on the boundary is reduced to a conformal metric (the trace-free

85: part of the second fundamental form vanishes), one may hope to find in the conformal

86: class of the filling metric an Einstein metric, with a pole of order 2 on the

87: boundary. We determine which conformal metrics on the 3-sphere are boundaries

88: of such selfdual Einstein metrics on the 4-ball. In particular, this implies

89: the Positive Frequency Conjecture of LeBrun.

90: 

91: The proof uses twistor theory, which enables to translate the problem in terms

92: of complex analysis; this leads us to prove a criterion for certain integrable

93: CR structures of signature (1,1) to be fillable by a complex domain.

94: 

95: Finally, we solve an analogous, higher dimensional problem: selfdual Einstein

96: metrics are replaced by quaternionic-K{\"a}hler metrics, and conformal structures

97: on the boundary by quaternionic contact structures (previously introduced by

98: the author); in contrast with the 4-dimensional case, we prove that any small

99: deformation of the standard quaternionic contact structure on the \( (4m-1) \)-sphere

100: is the boundary of a quaternionic-K{\"a}hler metric on the \( (4m) \)-ball.

101: \end{abstract}

102: \selectlanguage{frenchb}\renewcommand{\thefootnote}{\fnsymbol{footnote}}\setcounter{footnote}{0}Cet

103: article est consacr{\'e} {\`a} la construction de m{\'e}triques riemanniennes autoduales.

104: En dimension 4, le tenseur de Weyl d'une m{\'e}trique riemannienne \( g \) se d{\'e}compose

105: en composantes autoduale et antiautoduale, \( W=W_{+}+W_{-} \), et la m{\'e}trique

106: est dite autoduale si \( W_{-}=0 \) ; cette propri{\'e}t{\'e} ne d{\'e}pend d'ailleurs

107: que de la classe conforme \( [g] \) de la m{\'e}trique.

108: 

109: Une m{\'e}trique conforme sur une vari{\'e}t{\'e} {\`a} bord induit sur le bord la donn{\'e}e conforme

110: \( [g,\mathcal{Q}] \), o{\`u} \( g \) est la m{\'e}trique et \( \mathcal{Q} \) la

111: partie {\`a} trace nulle de la seconde forme fondamentale. Dans cet article, on

112: r{\'e}sout, au voisinage de la m{\'e}trique ronde, le probl{\`e}me suivant :

113: 

114: \begin{problem}

115: \label{pro-1}Quelles donn{\'e}es \( [g,\mathcal{Q}] \) sur la sph{\`e}re \( S^{3} \)

116: sont les bords de m{\'e}triques autoduales \( [g] \) sur la boule \( B^{4} \)

117: ?

118: \end{problem}

119: LeBrun \cite{LeB:82,LeB:85} a montr{\'e} que toute donn{\'e}e de ce type est \emph{localement}

120: le bord d'une unique m{\'e}trique autoduale ; de plus, dans le cas o{\`u} \( \mathcal{Q}=0 \),

121: la m{\'e}trique peut {\^e}tre prise d'Einstein, avec un p{\^o}le d'ordre 2 sur le bord :

122: on dit alors que la m{\'e}trique conforme sur le bord est l'\emph{infini conforme}

123: de la m{\'e}trique qui remplit (ainsi, la m{\'e}trique ronde sur \( S^{3} \) est l'infini

124: conforme de la m{\'e}trique hyperbolique r{\'e}elle sur \( B^{4} \)). Dans le cas d'une

125: m{\'e}trique invariante {\`a} gauche sur \( S^{3} \), une m{\'e}trique autoduale d'Einstein

126: explicite, globale, est connue : Pedersen \cite{Ped:86} a trait{\'e} le cas des

127: m{\'e}triques de Berger, et Hitchin \cite{Hit:95} le cas g{\'e}n{\'e}ral. Enfin, LeBrun

128: \cite{LeB:91} a montr{\'e} qu'il existe une famille de dimension infinie de m{\'e}triques

129: sur \( S^{3} \) munies de remplissages par des m{\'e}triques autoduales d'Einstein

130: sur \( B^{4} \).

131: 

132: Cependant, il existe des obstructions {\`a} un tel remplissage : Hitchin \cite{Hit:97}

133: a ainsi montr{\'e} que l'invariant \( \eta  \) d'une m{\'e}trique riemannienne sur

134: \( S^{3} \) doit {\^e}tre n{\'e}gatif pour qu'existe un remplissage autodual d'Einstein.

135: 

136: Gr{\^a}ce {\`a} la construction twistorielle de Penrose, la construction de m{\'e}triques

137: autoduales se ram{\`e}ne {\`a} la construction de certaines vari{\'e}t{\'e}s complexes de dimension

138: 3. Une version de cette construction twistorielle, due {\`a} LeBrun \cite{LeB:84, LeB:85},

139: existe en dimension 3 pour les donn{\'e}es \( [g,\mathcal{Q}] \) : l'espace des

140: twisteurs est alors une vari{\'e}t{\'e} CR (int{\'e}grable) de dimension 5. Par exemple,

141: l'espace des twisteurs de \( S^{3} \) est l'hypersurface r{\'e}elle \( |z^{1}|^{2}+|z^{2}|^{2}=|z^{3}|^{2}+|z^{4}|^{2} \)

142: de l'espace projectif complexe \( P^{3} \), qui borde le domaine complexe 

143: \[

144: D=\{|z^{1}|^{2}+|z^{2}|^{2}\leq |z^{3}|^{2}+|z^{4}|^{2}\}\subset P^{3},\]

145: lui-m{\^e}me espace des twisteurs de \( B^{4} \). De cette mani{\`e}re, la question

146: suivante g{\'e}n{\'e}ralise le probl{\`e}me \ref{pro-1}.

147: 

148: \begin{problem}

149: \label{pro-2}Quelles structures CR sur \( \partial D \) sont les bords de

150: d{\'e}formations complexes de \( D \) ?

151: \end{problem}

152: Cette question naturelle de g{\'e}om{\'e}trie complexe est difficile, car \( \partial D \)

153: est de signature (1,1), un cas o{\`u} le th{\'e}or{\`e}me d'extension de Kiremidjian \cite{Kir:79}

154: ne s'applique pas. Dans le cas pseudoconvexe, en dimension 3, par exemple pour

155: la sph{\`e}re \( S^{3} \), le probl{\`e}me a {\'e}t{\'e} beaucoup {\'e}tudi{\'e}, et largement r{\'e}solu,

156: dans une succession d'articles, notamment par Burns-Epstein \cite{Bur-Eps:90},

157: Lempert \cite{Lem:92}, Epstein \cite{Eps:92}, et Bland \cite{Bla:94}. Nous

158: donnons, pour les structures CR int{\'e}grables proches de la structure standard

159: sur \( \partial D \), une condition n{\'e}cessaire et suffisante, analogue {\`a} celle

160: trouv{\'e}e par ces auteurs ; elle est donn{\'e}e en termes des coefficients de Fourier

161: par rapport {\`a} une action de \( S^{1} \).

162: 

163: \begin{thm}

164: \label{th-A}Une structure CR sur \( \partial D \), proche de la structure

165: standard, est le bord d'une d{\'e}formation complexe de \( D \) si et seulement

166: s'il existe une action de contact de \( S^{1} \) sur \( \partial D \), par

167: rapport {\`a} laquelle la structure complexe s'{\'e}crit seulement avec des coefficients

168: de Fourier positifs.

169: \end{thm}

170: Pour plus de pr{\'e}cisions, voir le lemme \ref{lem-fill-J} et le corollaire \ref{cor-ex-disques}.

171: Ajoutons qu'en r{\'e}alit{\'e}, on d{\'e}montre cet {\'e}nonc{\'e} en toute dimension, pour le bord

172: d'un domaine qui est l'espace total d'un fibr{\'e} en disques holomorphes, {\`a} forme

173: de Levi non d{\'e}g{\'e}n{\'e}r{\'e}e. Dans notre situation, cela permet de d{\'e}crire l'espace

174: tangent aux structures CR remplissables parmi toutes les structures CR int{\'e}grables

175: (th{\'e}or{\`e}me \ref{th-CR-rem}) ; toutes ne le sont pas ; en particulier, il existe

176: une famille de dimension infinie de structures CR non remplissables (car la

177: sous-vari{\'e}t{\'e} des structures CR remplissables est de codimension infinie), voir

178: le corollaire \ref{cor-CR-non-rem}.

179: 

180: On montre aussi (corollaire \ref{cor-CR-non-def}) qu'existe sur \( \partial D \)

181: une famille de dimension infinie de structures CR remplissables qui ne sont

182: pas induites par une d{\'e}formation de \( \partial D \) comme hypersurface de

183: \( P^{3} \) : il s'agit d'un ph{\'e}nom{\`e}ne nouveau, qui est d{\^u} {\`a} la pr{\'e}sence d'une

184: valeur propre n{\'e}gative dans la forme de Levi, et tranche avec le th{\'e}or{\`e}me de

185: Hamilton \cite{Ham:77}, ou le th{\'e}or{\`e}me de stabilit{\'e} de Lempert \cite{Lem:92}

186: sur \( S^{3}\subset \mathbf{C}^{2} \).

187: 

188: Les espaces de twisteurs des m{\'e}triques autoduales ont des propri{\'e}t{\'e}s suppl{\'e}mentaires

189: : structure r{\'e}elle, existence d'une famille de courbes rationnelles particuli{\`e}res,

190: et structure de contact holomorphe si la m{\'e}trique est d'Einstein. Cependant,

191: on montre que la seule obstruction au remplissage autodual d'une donn{\'e}e \( [g,\mathcal{Q}] \)

192: est le remplissage de la structure CR.

193: 

194: \begin{thm}

195: \label{th-B}La donn{\'e}e \( [g,\mathcal{Q}] \) d'une m{\'e}trique et d'une seconde

196: forme fondamentale conformes sur \( S^{3} \), proche de la structure standard,

197: est le bord d'une m{\'e}trique autoduale sur \( B^{4} \) si et seulement si l'espace

198: des twisteurs de \( [g,\mathcal{Q}] \) satisfait les conditions du th{\'e}or{\`e}me

199: \ref{th-A}.

200: 

201: Une m{\'e}trique conforme \( [g] \) sur \( S^{3} \) est l'infini conforme d'une

202: m{\'e}trique autoduale d'Einstein sur \( B^{4} \) si et seulement si l'espace des

203: twisteurs de \( [g] \) satisfait les conditions du th{\'e}or{\`e}me \ref{th-A}.

204: \end{thm}

205: Ce th{\'e}or{\`e}me donne une condition n{\'e}cessaire et suffisante de remplissage : cette

206: condition n'est pas facile {\`a} tester ; en particulier, on souhaiterait savoir

207: s'il existe, en dehors des exemples connus, des \( [g,\mathcal{Q}] \) qui soient

208: remplissables par une m{\'e}trique autoduale sur \( B^{4} \). Ce probl{\`e}me est r{\'e}solu

209: en appliquant le th{\'e}or{\`e}me \ref{th-B} {\`a} une description (th{\'e}or{\`e}me \ref{th-gQ-rem})

210: de la vari{\'e}t{\'e} \( \mathcal{B}_{+}/\Diff _{0}S^{3} \), o{\`u} \( \mathcal{B}_{+} \)

211: d{\'e}signe les \( [g,\mathcal{Q}] \) remplissables (on ignore dans cette introduction

212: les probl{\`e}mes de r{\'e}gularit{\'e}) et \( \Diff _{0}S^{3} \) d{\'e}signe le groupe des

213: diff{\'e}omorphismes de \( S^{3} \) qui fixent deux points dans le fibr{\'e} tangent

214: projectivis{\'e}, de sorte que 

215: \[

216: \Diff S^{3}/\Diff _{0}S^{3}=SO_{1,4},\]

217:  le groupe des transformations conformes de \( S^{3} \) ; on obtient notamment

218: une description explicite de l'espace tangent \( T(\mathcal{B}_{+}/\Diff _{0}S^{3}) \)

219: en la m{\'e}trique ronde. 

220: 

221: En particulier, notons \( \mathcal{B} \) l'espace de toutes les donn{\'e}es conformes

222: \( [g,\mathcal{Q}] \), et \( \mathcal{B}_{-} \) l'espace des \( [g,\mathcal{Q}] \)

223: remplissables par une m{\'e}trique antiautoduale, alors on d{\'e}duit du th{\'e}or{\`e}me \ref{th-gQ-rem}

224: le  r{\'e}sultat suivant.

225: 

226: \begin{thm}

227: \label{th-C0}Pr{\`e}s de la m{\'e}trique ronde, \( \mathcal{B}_{+}/\Diff _{0}S^{3} \)

228: et \( \mathcal{B}_{-}/\Diff _{0}S^{3} \) sont deux sous-vari{\'e}t{\'e}s transverses

229: de \( \mathcal{B}/\Diff _{0}S^{3} \), dont l'intersection est constitu{\'e}e des

230: \( [g,\mathcal{Q}] \) induits par une d{\'e}formation de la sph{\`e}re \( S^{3} \)

231: dans l'espace plat \( \mathbf{R}^{4} \).

232: \end{thm}

233: Remarquons que le th{\'e}or{\`e}me affirme en particulier que pour \( [g,\mathcal{Q}] \)

234: proche de la m{\'e}trique ronde dans l'intersection \( \mathcal{B}_{+}\cap \mathcal{B}_{-} \),

235: la m{\'e}trique autoduale et la m{\'e}trique antiautoduale qui remplissent co{\"\i}ncident,

236: ce qui n'{\'e}tait pas {\'e}vident a priori.

237: 

238: Restreignons-nous {\`a} pr{\'e}sent au cas d'une m{\'e}trique conforme sur le bord : notons

239: \( \mathcal{M} \) l'espace des m{\'e}triques conformes sur \( S^{3} \) (en oubliant

240: encore les questions de r{\'e}gularit{\'e}). Rappelons que, dans ce cas, le th{\'e}or{\`e}me

241: de Graham-Lee \cite{Gra-Lee:91} fournit sur \( B^{4} \) un unique remplissage

242: d'Einstein ; notons \( \mathcal{M}_{+} \) (resp. \( \mathcal{M}_{-} \)) l'espace

243: des m{\'e}triques conformes sur \( S^{3} \) dont le remplissage d'Einstein est

244: autodual (resp. antiautodual). Le th{\'e}or{\`e}me pr{\'e}c{\'e}dent s'applique aux m{\'e}triques

245: de la mani{\`e}re suivante (voir le th{\'e}or{\`e}me \ref{th-g-rem} pour une description

246: explicite des espaces tangents).

247: 

248: \begin{thm}

249: \label{th-C}Dans \( \mathcal{M}/\Diff _{0}S^{3} \), les espaces \( \mathcal{M}_{+}/\Diff _{0}S^{3} \)

250: et \( \mathcal{M}_{-}/\Diff _{0}S^{3} \) de m{\'e}triques remplissables par une

251: m{\'e}trique d'Einstein autoduale ou antiautoduale sur \( B^{4} \), sont deux sous-vari{\'e}t{\'e}s,

252: telles qu'en la m{\'e}trique ronde on ait la d{\'e}composition de l'espace tangent :

253: \[

254: T(\mathcal{M}/\Diff _{0}S^{3})=T(\mathcal{M}_{+}/\Diff _{0}S^{3})\oplus T(\mathcal{M}_{-}/\Diff _{0}S^{3}).\]

255: 

256: \end{thm}

257: En particulier, cet {\'e}nonc{\'e} implique imm{\'e}diatement la conjecture de fr{\'e}quence

258: positive de LeBrun \cite{LeB:91} :

259: 

260: \begin{cor}

261: \textbf{\label{cor-D}} \textbf{\emph{Conjecture de fr{\'e}quence positive de LeBrun.}}

262: Une m{\'e}trique \( g \) sur \( S^{3} \), proche de la m{\'e}trique ronde, se d{\'e}compose

263: en \( g=g_{-}+g_{0}+g_{+} \), o{\`u} \( g_{-}+g_{0} \) (resp. \( g_{+}+g_{0} \))

264: est l'infini conforme d'une m{\'e}trique d'Einstein antiautoduale (resp. autoduale).

265: \end{cor}

266: Enfin, nous {\'e}tudions une version naturelle de ce probl{\`e}me en dimension sup{\'e}rieure.

267: Il est bien connu qu'existe en dimension \( 4m \) un analogue des m{\'e}triques

268: antiautoduales d'Einstein, les m{\'e}triques \emph{quaternion-k{\"a}hl{\'e}riennes}, dont

269: le prototype est la m{\'e}trique hyperbolique quaternionienne sur la boule \( B^{4m} \).

270: Dans \cite{Biq:00} (voir aussi le survey \cite{Biq:99}), j'ai {\'e}tudi{\'e} les infinis

271: conformes des m{\'e}triques quaternion-k{\"a}hl{\'e}riennes, et ai appel{\'e} ces objets, qui

272: vivent sur des vari{\'e}t{\'e}s de dimension \( 4m-1 \), des \emph{structures de contact

273: quaternioniennes} (voir section \ref{sec-11}) ; {\`a} partir de la dimension 11,

274: une structure de contact quaternionienne, analytique r{\'e}elle, est l'infini conforme

275: d'une unique m{\'e}trique quaternion-k{\"a}hl{\'e}rienne, localement d{\'e}finie ; en dimension

276: 7, une condition additionnelle d'int{\'e}grabilit{\'e} (l'existence d'un espace de twisteurs)

277: est requise.

278: 

279: L'analogie entre la dimension 4 et la dimension sup{\'e}rieure est due {\`a} la persistance,

280: pour les m{\'e}triques quaternion-k{\"a}hl{\'e}riennes, d'une construction twistorielle

281: (\cite{Sal:82}, voir aussi \cite{Bes:87} ; on trouve la construction inverse

282: dans \cite{LeB:89}) ; ainsi, la structure de contact quaternionienne standard

283: de la sph{\`e}re \( S^{4m-1} \) a pour espace des twisteurs l'hypersurface r{\'e}elle

284: de \( P^{2m+1} \) d'{\'e}quation 

285: \[

286: |z^{1}|^{2}+|z^{2}|^{2}+\cdots +|z^{2m}|^{2}=|z^{2m+1}|^{2}+|z^{2m+2}|^{2},\]

287:  bord du domaine complexe 

288: \[

289: D=\{|z^{1}|^{2}+|z^{2}|^{2}+\cdots +|z^{2m}|^{2}<|z^{2m+1}|^{2}+|z^{2m+2}|^{2}\}\subset P^{2m+1}\]

290:  qui est l'espace des twisteurs de la boule \( B^{4m} \) munie de la m{\'e}trique

291: hyperbolique quaternionienne.

292: 

293: La diff{\'e}rence avec le cas de la dimension 4 est que le probl{\`e}me d'extension

294: a toujours une solution positive.

295: 

296: \begin{thm}

297: \label{th-E}Pour \( 4m\geq 12, \) toute structure de contact quaternionienne

298: sur la sph{\`e}re \( S^{4m-1} \), proche de la structure standard, est l'infini

299: conforme d'une m{\'e}trique quaternion-k{\"a}hl{\'e}rienne sur la boule \( B^{4m} \). Pour

300: \( 4m=8 \), le m{\^e}me r{\'e}sultat est valable, pourvu que la structure de contact

301: quaternionienne admette un espace de twisteurs (ce qui est toujours vrai en

302: dimension sup{\'e}rieure).

303: \end{thm}

304: {\'E}voquons maintenant les techniques utilis{\'e}es dans cet article.

305: 

306: La m{\'e}thode de remplissage (section \ref{sec2}) d'une structure CR est une m{\'e}thode

307: classique d'analyse complexe : le remplissage holomorphe suivant des disques

308: (d'o{\`u} la condition de positivit{\'e} des coefficients de Fourier) ; cette technique

309: est utilis{\'e}e notamment dans l'article de Bland-Duchamp \cite{Bla-Duc:91} sur

310: la description de l'espace des modules des domaines de \( \mathbf{C}^{n} \)

311: en termes de la repr{\'e}sentation circulaire de Lempert \cite{Lem:81}.

312: 

313: Pour montrer que le remplissage de la structure CR suffit pour obtenir le remplissage

314: de \( [g,\mathcal{Q}] \), la principale difficult{\'e} est, dans le cas \( \mathcal{Q}=0 \),

315: le remplissage de la structure de contact holomorphe (qui fournit la m{\'e}trique

316: d'Einstein) : il s'agit de montrer que la donn{\'e}e sur le bord est n{\'e}cessairement

317: {\`a} coefficients de Fourier positifs ; ce probl{\`e}me est trait{\'e} dans la section

318: \ref{sec3} : la forme particuli{\`e}re de l'{\'e}quation (non lin{\'e}aire) permet de ramener

319: le probl{\`e}me {\`a} l'analyse de l'op{\'e}rateur \( \overline{\partial } \) sur les (1,0)-formes.

320: 

321: Ce remplissage serait de peu d'int{\'e}r{\^e}t si la condition de positivit{\'e} des coefficients

322: de Fourier n'{\'e}tait pas n{\'e}cessaire : on montre que tel est le cas dans la section

323: \ref{sec4} ; le probl{\`e}me consiste, partant d'un domaine complexe proche du

324: mod{\`e}le, {\`a} reconstruire l'action de \( S^{1} \) sur le bord, ce qui se fait

325: en recherchant les disques extr{\'e}maux qui les remplissent ; on montre ici un

326: th{\'e}or{\`e}me g{\'e}n{\'e}ral de d{\'e}formation de tels disques dans l'espace total d'un fibr{\'e}

327: en disques holomorphes, dont le bord a une forme de Levi non d{\'e}g{\'e}n{\'e}r{\'e}e. A priori,

328: il est difficile de produire de tels disques extr{\'e}maux loin du mod{\`e}le standard

329: dans notre situation de signature (1,1), car le domaine n'est pas pseudo-convexe

330: ou pseudo-concave, donc ces disques ne semblent pas maximiser une fonctionnelle

331: ; cependant, dans le cas d'un espace de twisteurs, leur interpr{\'e}tation en termes

332: de la g{\'e}om{\'e}trie conforme de dimension 4 (lemme \ref{lem-tw/conf}) donne un

333: espoir de construction plus g{\'e}n{\'e}rale---cette construction est le probl{\`e}me essentiel

334: {\`a} r{\'e}soudre pour donner une condition de remplissage pour les m{\'e}triques qui ne

335: sont pas proches de la m{\'e}trique ronde.

336: 

337: {\`A} partir de la section \ref{sec5}, on s'int{\'e}resse {\`a} une question l{\'e}g{\`e}rement

338: diff{\'e}rente : d{\'e}crire les espaces de modules des objets satisfaisant la condition

339: de coefficients de Fourier positifs, et en particulier, voir {\`a} quel point cette

340: condition contraint la structure. Un contrexemple est fournit par le cas des

341: sph{\`e}res \( S^{2n-1} \) dans \( \mathbf{C}^{n} \) : le th{\'e}or{\`e}me \ref{th-A}

342: est valable, mais la condition est vide pour \( n>2 \), puisqu'alors toutes

343: les d{\'e}formations CR se remplissent ; cela signifie que l'on peut toujours trouver

344: un contactomorphisme ramenant une structure CR donn{\'e}e sur une structure {\`a} coefficients

345: de Fourier positifs. Un ph{\'e}nom{\`e}ne semblable explique le th{\'e}or{\`e}me \ref{th-E}.

346: 

347: Il faut donc {\'e}tudier l'action des contactomorphismes sur les structures CR ;

348: la section \ref{sec5} propose une param{\'e}trisation du groupe des contactomorphismes

349: par des fonctions. Ici, il faut entrer un peu dans la technique : les espaces

350: fonctionnels naturels en g{\'e}om{\'e}trie de contact sont les espaces de Folland-Stein

351: de fonctions avec des d{\'e}riv{\'e}es uniquement dans les directions de contact ; le

352: th{\'e}or{\`e}me \ref{th-par-contact} propose une param{\'e}trisation des contactomorphismes

353: {\`a} \( k \) d{\'e}riv{\'e}es horizontales par des fonctions {\`a} \( k+1 \) d{\'e}riv{\'e}es horizontales.

354: Cette param{\'e}trisation permet, dans la section \ref{sec6}, de montrer l'existence

355: d'une jauge de Coulomb par rapport {\`a} l'action des contactomorphismes, dans laquelle

356: le maximum de coefficients n{\'e}gatifs sont tu{\'e}s ; de cette mani{\`e}re, la possibilit{\'e}

357: de remplissage de la structure CR se lit sur la jauge de Coulomb, comme en dimension

358: 3 (\cite{Bla:94}, voir aussi \cite{Bur-Eps:90}).

359: 

360: Pour passer {\`a} la description explicite des espaces tangents des structures remplissables,

361: il faut calculer l'image de l'action infinit{\'e}simale des contactomorphismes sur

362: les structures CR ; cette action est donn{\'e}e par un hessien complexe agissant

363: sur les fonctions r{\'e}elles. L'analyse, dans la section \ref{sec7}, est bas{\'e}e

364: sur le fait que le groupe d'isom{\'e}tries \( SO_{4} \) de \( S^{3} \) agit de

365: mani{\`e}re homog{\`e}ne sur son espace des twisteurs \( \{|z^{1}|^{2}+|z^{2}|^{2}=|z^{3}|^{2}+|z^{4}|^{2}\}\subset P^{3} \)

366: ; par cons{\'e}quent, la d{\'e}composition des objets suivant les repr{\'e}sentations irr{\'e}ductibles

367: de \( SO_{4} \) permet de se ramener {\`a} un probl{\`e}me alg{\'e}brique pour chaque repr{\'e}sentation.

368: On peut alors faire, dans la section \ref{sec8}, une th{\'e}orie de d{\'e}formation

369: compl{\`e}te pour les structures CR, dans la section \ref{sec9} pour les donn{\'e}es

370: conformes \( [g,\mathcal{Q}] \) : cela signifie qu'on dispose bien d'un proc{\'e}d{\'e}

371: fabriquant {\`a} partir d'un {\'e}l{\'e}ment de l'espace tangent indiqu{\'e} dans le th{\'e}or{\`e}me

372: \ref{th-gQ-rem} une donn{\'e}e \( [g,\mathcal{Q}] \) remplissable ; enfin, dans

373: la section \ref{sec10}, on attaque le probl{\`e}me pour les m{\'e}triques conformes

374: \( [g] \) : une difficult{\'e} surprenante est qu'il est difficile de garantir

375: que le proc{\'e}d{\'e} utilis{\'e} pour \( [g,\mathcal{Q}] \) fournisse, {\`a} partir d'une

376: m{\'e}trique infinit{\'e}simale, une m{\'e}trique conforme (avec \( \mathcal{Q}=0 \)) ;

377: d'un autre c{\^o}t{\'e}, il n'est pas {\'e}vident a priori que l'intersection \( \mathcal{B}_{+}\cap \mathcal{M} \)

378: soit transverse ; pour contourner la difficult{\'e}, on est oblig{\'e} de reprendre

379: toute une th{\'e}orie de d{\'e}formation du couple constitu{\'e} d'une structure CR int{\'e}grable

380: avec une forme de contact holomorphe.

381: 

382: Enfin, dans la section \ref{sec-11}, on traite le cas, moins difficile, de

383: la dimension sup{\'e}rieure. Le probl{\`e}me essentiel est similaire : le remplissage

384: d'une petite d{\'e}formation de la structure CR, de signature \( (2m-1,1) \). On

385: montre que la lin{\'e}arisation de l'action des contactomorphismes sur les structures

386: CR atteint tous les coefficients strictement n{\'e}gatifs, de sorte qu'il est toujours

387: possible de pr{\'e}senter une structure CR avec des coefficients positifs, et donc

388: de la remplir ; une autre d{\'e}monstration possible est probablement l'application

389: du th{\'e}or{\`e}me de Kiremidjian \cite{Kir:79}.

390: 

391: 

392: \section{Construction twistorielle}

393: 

394: Dans cette section, on rappelle la construction de l'espace des twisteurs d'une

395: vari{\'e}t{\'e} conforme de dimension 3, due {\`a} LeBrun \cite{LeB:84, LeB:85}.

396: 

397: 

398: \subsection{\label{sec11}Twisteurs d'une vari{\'e}t{\'e} de dimension 3}

399: 

400: Soit \( X^{3} \) une vari{\'e}t{\'e}. L'espace \( \mathcal{T} \) des twisteurs de

401: \( X \) est le fibr{\'e} des grassmanniennes en 2-plans orient{\'e}s de \( TX \).

402: On notera \( p:\mathcal{T}\rightarrow X \) la projection naturelle. La fibre

403: en \( x\in X \) de la projection \( p \) est donc la 2-sph{\`e}re \( Gr_{2}^{+}(T_{x}X) \),

404: et on dispose d'une involution \( \tau  \) de \( \mathcal{T} \), qui associe

405: {\`a} un 2-plan orient{\'e} le m{\^e}me 2-plan muni de l'orientation oppos{\'e}e. Enfin, \( \mathcal{T} \)

406: est muni d'une distribution de contact canonique \( H\subset T\mathcal{T} \),

407: d{\'e}finie au point \( P\in Gr_{2}^{+}(T_{x}X) \) par

408: \[

409: H_{P}=p_{*}^{-1}(P).\]

410: 

411: 

412: Supposons {\`a} pr{\'e}sent \( X \) muni d'une m{\'e}trique riemannienne \( g \). Alors

413: la distribution de contact \( H \) h{\'e}rite d'une structure presque complexe

414: \( J \), d{\'e}finie de la mani{\`e}re suivante : la connexion de Levi-Civita de \( g \)

415: permet de d{\'e}composer l'espace tangent en \( P\in Gr_{2}^{+}(T_{x}X) \) en

416: \[

417: T_{P}\mathcal{T}=\textrm{Ver}_{P}\oplus \textrm{Hor}_{P},\]

418:  o{\`u} \( \textrm{Ver}_{P} \) est l'espace tangent {\`a} la fibre de \( p \) et \( \textrm{Hor}_{P} \)

419: est l'espace horizontal induit par la connexion ; on peut identifier \( \textrm{Ver}_{P}=\hom (P,T_{x}X/P) \),

420: et \( \textrm{Hor}_{P}=T_{x}X \) via la projection \( p \), et la distribution

421: de contact est alors \( H_{P}=\textrm{Ver}_{P}\oplus P \) ; la m{\'e}trique \( g \)

422: induit une structure complexe \( j \) sur le 2-plan orient{\'e} \( P \), et la

423: structure complexe \( J \) sur \( H_{P} \) est d{\'e}finie par 

424: \begin{equation}

425: \label{def-J}

426: \begin{array}{ll}

427: J(u)=-u\circ j,\quad  & u\in \hom (P,T_{x}X/P),\\

428: J(v)=jv, & v\in P.

429: \end{array}

430: \end{equation}

431: Si on multiplie la m{\'e}trique par une fonction, on peut v{\'e}rifier que \( J \)

432: n'est pas modifi{\'e}e, de sorte que \( J \) ne d{\'e}pend que de la structure conforme

433: \( [g] \). La structure complexe \( J \) est en r{\'e}alit{\'e} une structure CR int{\'e}grable

434: sur \( \mathcal{T} \), et les fibres de la projection twistorielle \( p \)

435: sont holomorphes.

436: 

437: Il y a une variante de la construction pr{\'e}c{\'e}dente dans le cas o{\`u} est de plus

438: donn{\'e}e sur \( X \) une forme quadratique sans trace, \( \mathcal{Q} \) ; g{\'e}om{\'e}triquement,

439: la donn{\'e}e \( (g,\mathcal{Q}) \) appara{\^\i}t naturellement au bord d'une vari{\'e}t{\'e}

440: riemannienne comme la donn{\'e}e de la premi{\`e}re forme fondamentale et de la partie

441: sans trace de la seconde forme fondamentale ; le facteur conforme \( f \) agit

442: par

443: \begin{equation}

444: \label{2-inv}

445: (g,\mathcal{Q})\longrightarrow (f^{2}g,f\mathcal{Q}),

446: \end{equation}

447:  et on notera \( [g,\mathcal{Q}] \) la donn{\'e}e d'un tel couple, {\`a} l'action pr{\`e}s

448: du facteur conforme. La donn{\'e}e de \( \mathcal{Q} \) induit, pour un 2-plan

449: orient{\'e} \( P\subset T_{x}X \), un morphisme \( \widetilde{\mathcal{Q}}\in \hom (\textrm{Hor}_{P},\textrm{Ver}_{P}) \),

450: car

451: \begin{eqnarray*}

452: \hom (\textrm{Hor}_{P},\textrm{Ver}_{P}) & = & \hom (T_{x}X,\hom (P,T_{x}X/P))\\

453:  & = & \hom (T_{x}X\otimes P,T_{x}X/P),

454: \end{eqnarray*}

455: et on identifie \( T_{x}X/P=\mathbf{R} \) via la m{\'e}trique ; compte tenu de

456: l'invariance conforme (\ref{2-inv}), cette identification ne d{\'e}pend pas du

457: facteur conforme, et l'{\'e}l{\'e}ment de \( \hom (\textrm{Hor}_{P},\textrm{Ver}_{P}) \)

458: est donc bien d{\'e}fini. Finalement, \( \widetilde{\mathcal{Q}} \) d{\'e}finit un

459: nouvel espace horizontal

460: \[

461: \textrm{Hor}_{P}^{\mathcal{Q}}=\{u+\widetilde{\mathcal{Q}}u,\, u\in \textrm{Hor}_{P}\},\]

462: et la construction de \( J \) par les formules (\ref{def-J}) fournit {\`a} nouveau

463: une structure CR int{\'e}grable sur \( \mathcal{T} \), ne d{\'e}pendant que de la classe

464: conforme \( [g,\mathcal{Q}] \).

465: 

466: Dans tous les cas, l'involution \( \tau  \) est compatible avec la structure

467: CR, elle est anti-holomorphe : 

468: \begin{equation}

469: \label{tau-CR}

470: \tau ^{*}T^{0,1}\mathcal{T}=T^{1,0}\mathcal{T}.

471: \end{equation}

472: 

473: 

474: On peut remarquer que si on a une vari{\'e}t{\'e} riemannienne autoduale \( M^{4} \)

475: {\`a} bord \( X^{3} \), alors l'espace des twisteurs de \( M \) ---une vari{\'e}t{\'e}

476: complexe {\`a} bord--- a pr{\'e}cis{\'e}ment pour bord l'espace des twisteurs de \( X \),

477: muni des premi{\`e}re et seconde formes fondamentales induites.

478: 

479: Un th{\'e}or{\`e}me de LeBrun indique que toutes les vari{\'e}t{\'e}s CR feuillet{\'e}es en fibres

480: holomorphes proviennent de la construction pr{\'e}c{\'e}dente :

481: 

482: \begin{thm}

483: \textbf{\emph{\cite[th{\'e}or{\`e}me 7]{LeB:85}}} Soit \( \mathcal{T}^{5} \) une vari{\'e}t{\'e}

484: CR int{\'e}grable munie d'une projection \( p:\mathcal{T}\rightarrow X \) {\`a} fibres

485: \( P^{1} \) holomorphes ; alors \( \mathcal{T} \) est l'espace des twisteurs

486: d'un couple \( [g,\mathcal{Q}] \) sur \( X \). De plus, \( \mathcal{Q}=0 \)

487: si et seulement si \emph{\( \mathcal{T} \)} admet une structure de contact

488: holomorphe, {\`a} laquelle soient tangents les \( P^{1} \).

489: \end{thm}

490: Rappelons que sur une vari{\'e}t{\'e} CR int{\'e}grable, le fibr{\'e} \( T'=T^{\mathbf{C}}/T^{0,1} \)

491: est holomorphe, avec un op{\'e}rateur \( \overline{\partial } \) donn{\'e} par la formule

492: (\( u\in T^{0,1} \), \( v\in T^{\mathbf{C}} \))

493: \begin{equation}

494: \label{TC/T01}

495: \overline{\partial }_{u}v=[u,v],

496: \end{equation}

497:  la formule ayant un sens sur \( T^{\mathbf{C}}/T^{0,1} \) gr{\^a}ce {\`a} \( [T^{0,1},T^{0,1}]\subset T^{0,1} \)

498: ; une structure de contact holomorphe est un sous-fibr{\'e} holomorphe, de codimension

499: 1, non int{\'e}grable, de \( T' \).

500: 

501: Dans le cas \( \mathcal{Q}=0 \), la distribution de contact holomorphe est

502: construite ainsi : en un 2-plan orient{\'e} \( P\subset T_{x}X \), la projection

503: \( \pi _{P}\circ p_{*} \) (o{\`u} \( \pi _{P} \) est la projection orthogonale

504: \( T_{x}X\rightarrow P \)) peut se complexifier en

505: \[

506: \pi _{P}\circ p_{*}:T^{\mathbf{C}}_{P}\mathcal{T}/T^{0,1}_{P}\mathcal{T}\longrightarrow P^{1,0},\]

507: et le noyau de cette projection est la structure de contact holomorphe.

508: 

509: 

510: \subsection{\label{sec12}Twisteurs de l'espace hyperbolique r{\'e}el}

511: 

512: L'espace des twisteurs de la sph{\`e}re ronde \( S^{4} \) est le projectif complexe

513: \( P^{3} \) ; pour d{\'e}crire la fibration twistorielle \( p \), il est utile

514: d'identifier la sph{\`e}re avec le projectif quaternionien : \( S^{4}=\mathbf{H}P^{1} \);

515: la fibration twistorielle s'{\'e}crit alors en coordonn{\'e}es homog{\`e}nes

516: \[

517: p([z^{1}:z^{2}:z^{3}:z^{4}])=[z^{1}+jz^{2}:z^{3}+jz^{4}].\]

518:  L'espace hyperbolique r{\'e}el se r{\'e}alise comme une demi-sph{\`e}re : 

519: \[

520: \mathbf{R}H^{4}=\{[q^{1}:q^{2}]\in \mathbf{H}P^{1},\, |q^{1}|^{2}<|q^{2}|^{2}\}\]

521:  et sa fibration twistorielle est la restriction de \( p \) au domaine 

522: \[

523: \mathcal{N}=\{[z^{1}:z^{2}:z^{3}:z^{4}],\, |z^{1}|^{2}+|z^{2}|^{2}<|z^{3}|^{2}+|z^{4}|^{2}\}.\]

524:  Comme espace des twisteurs d'une vari{\'e}t{\'e} autoduale, \( \mathcal{N} \) est

525: muni :

526: 

527: \begin{itemize}

528: \item d'une structure r{\'e}elle compatible aux autres structures :

529: \begin{equation}

530: \label{def-tau-N}

531: \tau ([z^{1}:z^{2}:z^{3}:z^{4}])=[-\overline{z^{2}}:\overline{z^{1}}:-\overline{z^{4}}:\overline{z^{3}}];

532: \end{equation}

533: 

534: \item d'une famille de \( P^{1} \) holomorphes, r{\'e}els, {\`a} fibr{\'e} normal \( \mathcal{O}(1)\oplus \mathcal{O}(1) \)

535: : les fibres de \( p \).

536: \end{itemize}

537: Rappelons que, par la construction twistorielle inverse, une vari{\'e}t{\'e} complexe

538: \( \mathcal{N} \) munie d'une telle structure est l'espace des twisteurs d'une

539: m{\'e}trique (conforme) autoduale, d{\'e}finie sur l'espace des \( P^{1} \) r{\'e}els.

540: 

541: Jusqu'ici, on a utilis{\'e} seulement la structure conforme de \( \mathbf{R}H^{4} \),

542: {\'e}gale {\`a} celle de la boule \( B^{4} \) ; mais l'espace hyperbolique r{\'e}el est

543: muni en outre d'une m{\'e}trique d'Einstein, ce qui est {\'e}quivalent {\`a} l'existence

544: sur \( \mathcal{N} \) d'une structure de contact holomorphe \( \eta ^{c} \),

545: transverse aux \( P^{1} \) r{\'e}els ; dans notre cas,

546: \begin{equation}

547: \label{contact-hol}

548: \eta ^{c}=z^{1}dz^{2}-z^{2}dz^{1}-(z^{3}dz^{4}-z^{4}dz^{3}).

549: \end{equation}

550:  

551: 

552: La sph{\`e}re \( S^{3} \) appara{\^\i}t comme bord {\`a} l'infini de l'espace hyperbolique

553: r{\'e}el, et son espace des twisteurs \( \mathcal{T} \) est le bord de \( \mathcal{N} \),

554: donc se d{\'e}crit comme l'hypersurface r{\'e}elle de \( P^{3} \) :

555: \begin{equation}

556: \label{dec-T}

557: \mathcal{T}=\{[z^{1}:z^{2}:z^{3}:z^{4}],\, |z^{1}|^{2}+|z^{2}|^{2}=|z^{3}|^{2}+|z^{4}|^{2}\}.

558: \end{equation}

559: En particulier, \( \mathcal{T} \) se projette sur \( P^{1}\times P^{1} \)

560: par la projection 

561: \[

562: \pi ([z^{1}:z^{2}:z^{3}:z^{4}])=([z^{1}:z^{2}],[z^{3}:z^{4}])\]

563:  et appara{\^\i}t ainsi comme le \( S^{1} \)-fibr{\'e} \( \mathcal{O}(-1,1) \) sur

564: \( P^{1}\times P^{1} \), si on choisit comme action de \( u\in S^{1} \) 

565: \[

566: u([z^{1}:z^{2}:z^{3}:z^{4}])=[uz^{1}:uz^{2}:z^{3}:z^{4}];\]

567:  cette action se prolonge en une action du disque \( \Delta  \) sur \( \mathcal{N} \)

568: avec points fixes \( \{[0:0:z^{3}:z^{4}]\} \), c'est-{\`a}-dire la fibre twistorielle

569: au-dessus du point \( [0:1]\in \mathbf{H}P^{1} \); en {\'e}clatant cette fibre,

570: on obtient un fibr{\'e} \( \pi :\widetilde{\mathcal{N}}\rightarrow P^{1}\times P^{1} \)

571: qui est exactement le fibr{\'e} holomorphe en disques \( \mathcal{O}(-1,1) \) au-dessus

572: de \( P^{1}\times P^{1} \).

573: 

574: Dans cette image, les structures dont est muni l'espace des twisteurs \( \mathcal{T} \)

575: apparaissent naturellement : 

576: 

577: \begin{itemize}

578: \item la structure de contact \( \eta  \) est fourni par la connexion standard sur

579: le fibr{\'e} \( \mathcal{O}(-1,1) \), avec courbure

580: \begin{equation}

581: \label{def-eta}

582: -d\eta =-\omega _{1}+\omega _{2},

583: \end{equation}

584: o{\`u} \( \omega _{1} \) et \( \omega _{2} \) sont les formes de Fubini-Study

585: des deux \( P^{1} \) ; 

586: \item la structure complexe \( J \) sur \( \mathcal{T} \) est le tir{\'e} en arri{\`e}re

587: de la structure complexe de \( P^{1}\times P^{1} \) dans la distribution de

588: contact, elle est \( S^{1} \)-invariante ;

589: \item la structure r{\'e}elle anti-commute {\`a} l'action de \( S^{1} \), 

590: \begin{equation}

591: \label{tau-S1}

592: \tau \circ e^{i\theta }=e^{-i\theta }\circ \tau ;

593: \end{equation}

594: 

595: \item la forme de contact holomorphe est la restriction de (\ref{contact-hol}) au

596: bord ; plus concr{\`e}tement, dans des coordonn{\'e}es \( [u:uz^{2}:1:z^{4}] \), o{\`u}

597: \( z^{2} \) et \( z^{4} \) sont des coordonn{\'e}es sur \( P^{1}\times P^{1} \),

598: on obtient 

599: \begin{equation}

600: \label{def-etac}

601: \eta ^{c}=u^{2}dz^{2}-dz^{4};

602: \end{equation}

603:  on d{\'e}duit que \( \eta ^{c} \) est une forme {\`a} valeurs dans le fibr{\'e} \( \mathcal{O}(0,2) \).

604: \end{itemize}

605: On remarquera que, par rapport {\`a} la distribution de contact holomorphe, les

606: \( P^{1} \) r{\'e}els {\`a} l'int{\'e}rieur de \( \mathcal{N} \) sont transverses, tandis

607: que les \( P^{1} \) r{\'e}els au bord de \( \mathcal{N} \) sont tangents ; cela

608: traduit le fait que la m{\'e}trique hyperbolique explose au bord, avec un p{\^o}le d'ordre

609: 2. En revanche, la structure conforme s'{\'e}tend de mani{\`e}re lisse au bord. Toutes

610: les m{\'e}triques que nous construirons auront ce comportement.

611: 

612: 

613: \section{\label{sec2}Extension holomorphe suivant les disques}

614: 

615: Dans cette section, nous mettons en \oe{}uvre une construction pour d{\'e}former

616: la structure complexe de l'espace des twisteurs \( \mathcal{N} \), en utilisant

617: l'id{\'e}e classique de prolongement holomorphe le long de disques.

618: 

619: 

620: \subsection{D{\'e}formation de la structure complexe}

621: 

622: Commen{\c c}ons par quelques rappels sur la th{\'e}orie de d{\'e}formation. Fixons une vari{\'e}t{\'e}

623: complexe \( D \), une d{\'e}formation de la structure presque complexe de \( D \)

624: peut {\^e}tre repr{\'e}sent{\'e}e par une (0,1)-forme \( \phi  \) {\`a} valeurs dans \( T^{1,0} \),

625: de sorte que le nouveau \( T^{0,1} \) soit {\'e}gal {\`a} 

626: \[

627: \{X+\phi _{X},\, X\in T^{0,1}D_{0}\}.\]

628:  La d{\'e}formation est int{\'e}grable si et seulement si 

629: \begin{equation}

630: \label{int-int}

631: \overline{\partial }\phi +\frac{1}{2}[\phi ,\phi ]=0,

632: \end{equation}

633:  o{\`u} le crochet de deux (0,1)-formes {\`a} valeurs dans \( T^{1,0} \) est une (0,2)-forme

634: {\`a} valeurs dans \( T^{1,0} \) d{\'e}finie par

635: \[

636: \frac{1}{2}[\phi ,\phi ]_{X,Y}=[\phi _{X},\phi _{Y}]-\phi _{[X,\phi _{Y}]^{0,1}}-\phi _{[Y,\phi _{X}]^{0,1}}.\]

637:  

638: 

639: Supposons {\`a} pr{\'e}sent que \( D \) soit l'espace total d'un fibr{\'e} holomorphe en

640: disques sur une vari{\'e}t{\'e} complexe \( X \), et que le fibr{\'e} soit muni d'une m{\'e}trique

641: \( h:D\rightarrow \mathbf{R}_{+} \) telle que \( h(ux)=|u|^{2}h(x) \) si \( u\in \Delta  \)

642: ; alors on dispose d'une 1-forme de connexion, en notant \( d^{C}=i(\overline{\partial }-\partial ) \),

643: \begin{equation}

644: \label{eta-dCh}

645: \eta =\frac{1}{2}d^{C}\ln h,

646: \end{equation}

647:  se restreignant sur chaque disque {\`a} la forme angulaire \( d\theta  \), de

648: sorte que la courbure de \( h \) est la 2-forme sur \( X \) d{\'e}finie par 

649: \[

650: F=id\eta ;\]

651: sur chaque fibr{\'e} en cercles \( h=cst \), le noyau de la forme \( \eta  \)

652: d{\'e}finit un espace horizontal \( H \), si bien qu'en chaque point \( x\in D \)

653: on a la d{\'e}composition (\( V_{x} \) d{\'e}signant l'espace tangent {\`a} la fibre de

654: \( D\rightarrow X \))

655: \[

656: T_{x}D=V_{x}\oplus H_{x}.\]

657:  

658: 

659: Sur le bord \( M=\partial D \), on a une description similaire des d{\'e}formations

660: CR : puisque deux structures de contact proches sont diff{\'e}omorphes, on peut

661: supposer que la structure de contact \( H \) est fixe, et les d{\'e}formations

662: de la structure CR sont param{\'e}tr{\'e}es par les (0,1)-formes horizontales \( \phi  \)

663: {\`a} valeurs dans \( T^{1,0} \), et, {\`a} nouveau, la d{\'e}formation est int{\'e}grable

664: si et seulement si 

665: \[

666: \overline{\partial }\phi +\frac{1}{2}[\phi ,\phi ]=0;\]

667:  ici il faut noter que le fibr{\'e} \( T^{1,0} \) n'est pas holomorphe, voir (\ref{TC/T01}),

668: si bien que \( \overline{\partial }\phi  \) est en r{\'e}alit{\'e} {\`a} valeurs dans le

669: fibr{\'e} holomorphe \( T^{\mathbf{C}}M/T^{0,1}M \) ; la pr{\'e}sence de la forme de

670: contact \( \eta  \) permet de choisir un champ de Reeb \( R \) ---l'action

671: infinit{\'e}simale de \( S^{1} \)---, et la projection de l'{\'e}quation sur \( T^{1,0} \)

672: et \( \mathbf{C}R \) donne les deux conditions 

673: \begin{equation}

674: \label{int-bord}

675: \overline{\partial }_{H}\phi +\frac{1}{2}[\phi ,\phi ]=0,\qquad \phi \lrcorner F=0,

676: \end{equation}

677:  o{\`u}, par abus de notation, \( \lrcorner  \) est la contraction suivie du produit

678: ext{\'e}rieur : 

679: \[

680: \Omega ^{0,1}\otimes T^{1,0}\otimes \Omega ^{1,1}\rightarrow \Omega ^{0,1}\otimes \Omega ^{0,1}\rightarrow \Omega ^{0,2};\]

681:  plus loin, on utilisera aussi l'op{\'e}rateur plus g{\'e}n{\'e}ral 

682: \[

683: \lrcorner :(\Omega ^{0,1}\otimes T^{1,0})\otimes \Omega ^{i,j}\rightarrow \Omega ^{i-1,j+1};\]

684:  on peut remarquer que la seconde condition dans (\ref{int-bord}) dit que \( F \)

685: reste de type (1,1) pour la nouvelle structure complexe.

686: 

687: Bland-Duchamp {\'e}tudient les d{\'e}formations \( \phi  \) de \( D \) qui ne modifient

688: pas la structure complexe des disques et pr{\'e}servent \( H \) :

689: 

690: \begin{thm}

691: \label{th-BD}\textbf{\emph{\cite[th{\'e}or{\`e}mes 7.2 et 9.3]{Bla-Duc:91}}} Supposons

692: que \( \phi  \), d{\'e}fini sur le fibr{\'e} en disques \( D \), s'annule sur \( V \)

693: et satisfait \( \phi (H^{0,1})\subset H^{1,0} \), alors \( \phi  \) est une

694: d{\'e}formation int{\'e}grable de \( D \) si et seulement si

695: \begin{enumerate}

696: \item \( \phi  \) est holomorphe le long de chaque disque du fibr{\'e} ;

697: \item \( \phi  \) satisfait les {\'e}quations (\ref{int-bord}) sur le bord \( \partial D \).

698: \end{enumerate}

699: \end{thm}

700: Remarquons que la premi{\`e}re condition a un sens, puisque le fibr{\'e} \( H_{x} \)

701: sur chaque disque est {\'e}gal {\`a} l'espace fixe \( T_{\pi (x)}X \) : elle signifie

702: que dans une base constante de \( H_{x} \), les coefficients de \( \phi  \)

703: sont holomorphes le long du disque.

704: 

705: Le th{\'e}or{\`e}me dit en particulier qu'{\'e}tant donn{\'e} \( \phi  \) int{\'e}grable sur le

706: bord \( \partial D \), {\`a} coefficients de Fourier positifs ou nuls par rapport

707: {\`a} l'action de \( S^{1} \), suffisamment petite, l'extension holomorphe de \( \phi  \)

708: le long de chaque disque fournit une d{\'e}formation int{\'e}grable de \( D \). La

709: d{\'e}monstration est simple : d'une part, si \( \phi  \) est assez petite au bord,

710: l'extension holomorphe {\`a} l'int{\'e}rieur est petite et correspond donc bien {\`a} une

711: d{\'e}formation de la structure complexe ; d'autre part, la condition que \( \phi  \)

712: soit holomorphe le long des disques et la condition (\ref{int-bord}) impliquent

713: qu'en r{\'e}alit{\'e}, la condition (\ref{int-bord}) est v{\'e}rifi{\'e}e sur toutes les hypersurfaces

714: \( h=cst \), ce qui donne l'int{\'e}grabilit{\'e} (\ref{int-int}).

715: 

716: 

717: \subsection{Application aux d{\'e}formations autoduales de la boule}

718: 

719: Appliquons le th{\'e}or{\`e}me \ref{th-BD} {\`a} l'espace des twisteurs \( \mathcal{N} \)

720: de l'espace hyperbolique r{\'e}el d{\'e}fini en \ref{sec12} ; l'{\'e}clatement d'un \( P^{1} \)

721: nous a donn{\'e} le fibr{\'e} en disques \( \widetilde{\mathcal{N}}=\mathcal{O}(-1,1) \)

722: au-dessus de \( P^{1}\times P^{1} \). Rappelons que \( \mathcal{N} \) et \( \widetilde{\mathcal{N}} \)

723: sont munis de la structure r{\'e}elle \( \tau  \) d{\'e}finie en (\ref{def-tau-N}).

724: 

725: \begin{lem}

726: \label{lem-fill-J}Si on a une petite d{\'e}formation \( \phi \in \hom (H^{0,1},H^{1,0}) \)

727: de la structure CR int{\'e}grable de \( \mathcal{T}=\partial \mathcal{N} \), {\`a}

728: coefficients de Fourier positifs ou nuls par rapport {\`a} l'action de \( S^{1} \)

729: sur \( \mathcal{T} \), alors \( \phi  \) s'{\'e}tend en une d{\'e}formation de la

730: structure complexe de \( \mathcal{N} \).

731: 

732: De plus, si \( \phi  \) est compatible {\`a} la structure r{\'e}elle \( \tau  \),

733: alors le prolongement reste compatible {\`a} \( \tau  \).

734: \end{lem}

735: \begin{proof}

736: En appliquant le th{\'e}or{\`e}me \ref{th-BD}, on peut prolonger \( \phi  \) en une

737: d{\'e}formation int{\'e}grable sur \( \widetilde{\mathcal{N}} \). Supposons dans un

738: premier temps que les coefficients de Fourier de \( \phi  \) soient strictement

739: positifs, alors les coefficients de l'extension s'annulent sur la section nulle,

740: qui demeure donc \( P^{1}\times P^{1} \) avec fibr{\'e} normal \( \mathcal{O}(-1,1) \)

741: ; on peut alors contracter le premier \( P^{1} \) pour r{\'e}cup{\'e}rer une d{\'e}formation

742: de \( \mathcal{N} \). Dans le cas g{\'e}n{\'e}ral, les coefficients de \( \phi  \)

743: ne s'annulent pas sur la section nulle, mais comme \( \phi  \) est {\`a} valeurs

744: dans \( H^{1,0} \), la section nulle reste une sous-vari{\'e}t{\'e} holomorphe pour

745: la nouvelle structure complexe ; comme les d{\'e}formations holomorphes de \( P^{1}\times P^{1} \)

746: sont triviales, elle reste biholomorphe {\`a} \( P^{1}\times P^{1} \) ; le fibr{\'e}

747: normal lui aussi ne peut {\^e}tre d{\'e}form{\'e}, donc reste {\'e}gal {\`a} \( \mathcal{O}(-1,1) \),

748: et la m{\^e}me conclusion s'applique.

749: 

750: Pour la seconde partie de l'{\'e}nonc{\'e}, il est facile de voir que si au bord \( \phi  \)

751: est compatible {\`a} la structure r{\'e}elle \( \tau  \), c'est-{\`a}-dire \( \tau ^{*}\overline{\phi }=-\phi  \),

752: alors cette propri{\'e}t{\'e} est pr{\'e}serv{\'e}e dans le prolongement holomorphe.

753: \end{proof}

754: \begin{cor}

755: \label{cor-fill-g2}Si on a une petite d{\'e}formation \( [g,\mathcal{Q}] \) de

756: la m{\'e}trique standard de \( S^{3} \), dont l'espace des twisteurs satisfait

757: les hypoth{\`e}ses du lemme \ref{lem-fill-J}, alors \( [g,\mathcal{Q}] \) est

758: le bord d'une m{\'e}trique autoduale sur la boule \( B^{4} \).

759: \end{cor}

760: \begin{proof}

761: La construction r{\'e}alis{\'e}e dans la section \ref{sec11} permet d'associer {\`a} une

762: d{\'e}formation de \( [g,\mathcal{Q}] \) une d{\'e}formation de \( \mathcal{T} \)

763: en gardant fixe la structure de contact et la structure r{\'e}elle ; le lemme \ref{lem-fill-J}

764: permet d'{\'e}tendre cette d{\'e}formation en une d{\'e}formation de \( \mathcal{N} \).

765: Pour avoir une structure d'espace des twisteurs, il reste {\`a} fabriquer la famille

766: des \( P^{1} \) r{\'e}els : remarquons que cette famille est donn{\'e}e sur \( \mathcal{T}=\partial N \),

767: et il faut la prolonger {\`a} l'int{\'e}rieur ; comme les \( P^{1} \) initiaux ont

768: pour fibr{\'e} normal \( \mathcal{O}(1)\oplus \mathcal{O}(1) \), la th{\'e}orie de

769: d{\'e}formation de Kodaira permet de suivre la d{\'e}formation. On a ainsi construit

770: l'espace des twisteurs du prolongement souhait{\'e} de \( [g,\mathcal{Q}] \) sur

771: \( B^{4} \).

772: \end{proof}

773: \begin{rem}

774: La construction de l'espace des twisteurs de \( [g,\mathcal{Q}] \) faite dans

775: la section \ref{sec11} n'a en r{\'e}alit{\'e} aucune chance de fournir directement

776: une d{\'e}formation \( \phi  \) de la structure CR de \( \mathcal{T} \) {\`a} coefficients

777: de Fourier positifs ou nuls ; l'id{\'e}e pour appliquer le corollaire consiste {\`a}

778: trouver {\'e}ventuellement un contactomorphisme de \( \mathcal{T} \), pr{\'e}servant

779: \( \tau  \), ramenant \( \phi  \) {\`a} un tenseur {\`a} coefficients de Fourier positifs

780: ou nuls.

781: \end{rem}

782: 

783: \section{\label{sec3}Extension de la forme de contact holomorphe}

784: 

785: Si l'on part sur \( S^{3} \) d'une m{\'e}trique dont l'espace des twisteurs \( \mathcal{T} \)

786: satisfait les hypoth{\`e}ses du lemme \ref{lem-fill-J}, le corollaire \ref{cor-fill-g2}

787: fournit un remplissage autodual, avec espace des twisteurs \( \mathcal{N} \)

788: ; pour obtenir un remplissage autodual Einstein, il faut de plus prolonger {\`a}

789: \( \mathcal{N} \) la structure de contact holomorphe d{\'e}finie sur \( \mathcal{T}=\partial \mathcal{N} \).

790: Ce probl{\`e}me peut {\^e}tre repos{\'e} sous la forme : {\'e}tant donn{\'e}e sur \( \partial \mathcal{N} \)

791: une section de la grassmannienne des 2-plans complexes de \( \mathcal{N} \),

792: peut-on {\'e}tendre cette section en une section holomorphe sur \( \mathcal{N} \)

793: ? nous proposons ci-dessous une solution de ce probl{\`e}me de Plateau complexe,

794: pour les structures complexes proches du \( \mathcal{N} \) standard.

795: 

796: 

797: \subsection{Probl{\`e}me infinit{\'e}simal}

798: 

799: Rappelons que l'espace des twisteurs \( \mathcal{T} \) de \( S^{3} \) est

800: le fibr{\'e} en cercles \( \pi :\mathcal{O}(-1,1)\rightarrow P^{1}\times P^{1} \)

801: ; on peut identifier, en notant \( P^{1}_{1} \) et \( P^{1}_{2} \) les deux

802: facteurs du produit \( P^{1}\times P^{1} \), 

803: \begin{equation}

804: \label{dec-T'}

805: T'\mathcal{T}:=T^{\mathbf{C}}\mathcal{T}/T^{0,1}\mathcal{T}=\mathbf{C}R\oplus T^{1,0}\mathcal{T}=\mathbf{C}R\oplus T^{1,0}P^{1}_{1}\oplus T^{1,0}P^{1}_{2}.

806: \end{equation}

807:  Pr{\'e}cisons la structure holomorphe du fibr{\'e} dual 

808: \begin{equation}

809: \label{dec-O'}

810: \Omega '\mathcal{T}=(T'\mathcal{T})^{*}=\mathbf{C}\eta \oplus \Omega ^{1,0}P^{1}_{1}\oplus \Omega ^{1,0}P^{1}_{2}.

811: \end{equation}

812:  Les deux sous-fibr{\'e}s \( \Omega ^{1,0}P^{1}_{i} \), tir{\'e}s en arri{\`e}re depuis

813: la base \( P^{1}\times P^{1} \), sont holomorphes, mais pas \( \eta  \) :

814: compte tenu de (\ref{def-eta}), on obtient l'op{\'e}rateur \( \overline{\partial } \)

815: dans la d{\'e}composition (\ref{dec-O'}) : 

816: \begin{equation}

817: \label{db-O'}

818: \overline{\partial }^{\Omega '\mathcal{T}}=\left( \begin{array}{ccc}

819: \overline{\partial } &  & \\

820: \omega _{1} & \overline{\partial } & \\

821: -\omega _{2} &  & \overline{\partial }

822: \end{array}\right) .

823: \end{equation}

824:  

825: 

826: La forme de contact holomorphe \( \eta ^{c} \) d{\'e}finie en (\ref{def-etac})

827: est une section de \( \Omega '\mathcal{T}\otimes L \), o{\`u} \( L=\mathcal{O}(0,2) \).

828: L'action de \( S^{1} \) sur \( \mathcal{T} \) se rel{\`e}ve naturellement au fibr{\'e}

829: \( \Omega '\mathcal{T}\otimes L \), car celui-ci provient de la base ; son

830: op{\'e}rateur \( \overline{\partial } \) est {\'e}galement \( S^{1} \)-invariant.

831: Cela permet d'{\'e}crire le lemme suivant.

832: 

833: \begin{lem}

834: \label{lem-31}L'op{\'e}rateur \( \overline{\partial } \) du fibr{\'e} \( \Omega '\mathcal{T}\otimes L \)

835: n'a pas de noyau sur les sections {\`a} coefficients de Fourier strictement n{\'e}gatifs

836: ; sur les sections \( S^{1} \)-invariantes, son noyau est r{\'e}duit aux sections

837: constantes de \( \Omega ^{1,0}P^{1}_{2}\otimes \mathcal{O}(0,2)=\mathbf{C} \).

838: \end{lem}

839: \begin{proof}

840: Le fibr{\'e} \( \mathcal{O}(-1,1) \) sur \( \mathcal{T} \) a une section tautologique

841: \( t \), holomorphe, de poids 1 pour l'action de \( S^{1} \) ; {\'e}tant donn{\'e}

842: un fibr{\'e} holomorphe \( S^{1} \)-invariant \( E \), la donn{\'e}e d'une section

843: holomorphe \( s \) de \( E \) avec poids \( k \) par rapport {\`a} l'action de

844: \( S^{1} \) est {\'e}quivalente {\`a} la donn{\'e}e de la section holomorphe \( S^{1} \)-invariante

845: \( s\otimes t^{-k} \) du fibr{\'e} \( E\otimes \mathcal{O}(-1,1)^{\otimes (-k)}=E\otimes \mathcal{O}(k,-k) \).

846: Appliquons cette observation au fibr{\'e} \( E=\Omega '\mathcal{T}\otimes L \)

847: muni de la structure (\ref{dec-O'}) : une section holomorphe de poids \( k \)

848: fournit une section holomorphe invariante de \( E\otimes \mathcal{O}(k,-k)=\Omega '\mathcal{T}\otimes \mathcal{O}(k,-k+2) \)

849: ; sous la d{\'e}composition (\ref{dec-O'}), une telle section se d{\'e}compose en \( s=s_{0}+s_{1}+s_{2} \)

850: avec \( s_{0},s_{1},s_{2} \) sections respectives de \( \mathcal{O}(k,-k+2) \),

851: \( \mathcal{O}(k-2,-k+2) \) et \( \mathcal{O}(k,-k) \), et la section est

852: holomorphe si 

853: \[

854: \overline{\partial }s_{0}=0,\quad \overline{\partial }s_{1}+\omega _{1}s_{0}=0,\quad \overline{\partial }s_{2}-\omega _{2}s_{0}=0;\]

855:  comme les sections sont \( S^{1} \)-invariantes, elles descendent sur \( P^{1}\times P^{1} \)

856: et les {\'e}quations ont lieu sur \( P^{1}\times P^{1} \). 

857: 

858: Si \( k<0 \), alors \( H^{0}(P^{1}\times P^{1},\mathcal{O}(k,-k+2))=0 \) donc

859: \( s_{0}=0 \), et les {\'e}quations deviennent simplement 

860: \[

861: \overline{\partial }s_{1}=0,\quad \overline{\partial }s_{2}=0,\]

862:  mais, {\`a} nouveau, \( H^{0}(P^{1}\times P^{1},\mathcal{O}(k-2,-k+2))=H^{0}(P^{1}\times P^{1},\mathcal{O}(k,-k))=0 \)

863: si \( k<0 \) donc \( s=0 \).

864: 

865: Si \( k=0 \), alors \( s_{0}\in H^{0}(P^{1}\times P^{1},\mathcal{O}(0,2))=H^{0}(P^{1}_{2},\mathcal{O}(2)) \),

866: mais la projection de l'{\'e}quation \( \overline{\partial }s_{1}+\omega _{1}s_{0}=0 \)

867: sur \( H^{1}(P^{1}\times P^{1},\mathcal{O}(-2,2))=H^{0}(P^{1}_{2},\mathcal{O}(2)) \)

868: implique en r{\'e}alit{\'e} \( s_{0}=0 \) ; on d{\'e}duit alors de la m{\^e}me mani{\`e}re \( s_{1}=0 \)

869: et \( s_{2}=cst \).

870: \end{proof}

871: Ce lemme implique en particulier que, par prolongement holomorphe le long des

872: disques, toutes les sections holomorphes du fibr{\'e} \( \Omega '\mathcal{T}\otimes L \)

873: au bord se prolongent sur le fibr{\'e} en disques ; en outre, sur la section nulle,

874: seule la composante sur \( \Omega ^{1,0}P^{1}_{2} \) peut {\^e}tre non triviale,

875: ce qui signifie que la section descend en r{\'e}alit{\'e} sur l'espace des twisteurs

876: \( \mathcal{N} \) (obtenu en contractant le \( P^{1}_{1} \) de la section

877: nulle). Cette observation est {\`a} la base de la d{\'e}monstration de l'existence d'un

878: prolongement {\`a} l'int{\'e}rieur de la forme de contact holomorphe.

879: 

880: \begin{cor}

881: \label{cor-31}Pour une section \( s \) de \( \Omega '\otimes L \) sur \( \mathcal{T} \),

882: {\`a} coefficients de Fourier strictement n{\'e}gatifs, on a une estimation 

883: \[

884: \left\Vert \overline{\partial }s\right\Vert _{L^{2}}\geq c(\left\Vert \nabla _{H}s\right\Vert _{L^{2}}+\left\Vert s\right\Vert _{L^{2}});\]

885:  la m{\^e}me estimation reste valable pour une section {\`a} coefficients de Fourier

886: n{\'e}gatifs ou nuls, s'annulant sur \( T^{1,0}P^{1}_{2} \).

887: \end{cor}

888: \begin{proof}

889: La vari{\'e}t{\'e} CR \( \mathcal{T} \) est de signature (1,1), l'op{\'e}rateur \( \overline{\partial } \)

890: est donc hypoelliptique sur les 0-formes, et l'absence de noyau, cons{\'e}quence

891: du lemme (\ref{lem-31}), implique les estimations du corollaire.

892: 

893: Bien qu'il s'agisse d'une th{\'e}orie bien connue, il peut {\^e}tre utile au lecteur

894: de voir de mani{\`e}re {\'e}l{\'e}mentaire comment ces estimations sont une cons{\'e}quence

895: de la signature (1,1) du fibr{\'e} \( \mathcal{O}(-1,1) \). Expliquons cela bri{\`e}vement

896: dans le cas d'une fonction \( s \) d'un fibr{\'e} \( E \) provenant de la base

897: \( P^{1}\times P^{1} \). On peut d{\'e}composer \( s \) suivant en s{\'e}ries de Fourier

898: sur chaque cercle : 

899: \[

900: s=\sum _{k}s_{k};\]

901:  comme on l'a vu dans la d{\'e}monstration du lemme \ref{lem-31}, si \( t \) est

902: la section tautologique du fibr{\'e} \( \mathcal{O}(-1,1) \), alors \( s_{k}t^{-k} \)

903: est une section \( S^{1} \)-invariante de \( \mathcal{O}(k,-k) \) ; rappelons

904: la formule de Weitzenb{\"o}ck, pour une section \( \sigma  \) d'un fibr{\'e} \( E \)

905: sur la vari{\'e}t{\'e} k{\"a}hl{\'e}rienne \( X \) : 

906: \begin{equation}

907: \label{for-Wei}

908: \int _{X}\left| \overline{\partial }\sigma \right| ^{2}=\frac{1}{2}\int _{X}\left| \nabla \sigma \right| ^{2}-\left\langle i\Lambda F^{E}\sigma ,\sigma \right\rangle ,

909: \end{equation}

910:  o{\`u} \( \Lambda  \) est la contraction par la forme de K{\"a}hler ; maintenant,

911: remarquons que 

912: \[

913: iF^{\mathcal{O}(k,-k)}=k(-\omega _{1}+\omega _{2});\]

914:  si \( k\geq 0 \), nous appliquons la formule de Weitzenb{\"o}ck sur chaque \( \{x\}\times P^{1}_{2} \)

915: : 

916: \[

917: \int _{X}\left| \overline{\partial }(s_{k}t^{-k})\right| ^{2}\geq \int _{X}\left| \overline{\partial }_{P^{1}_{2}}(s_{k}t^{-k})\right| ^{2}\geq \int _{X}(k-\sup |F^{E}|)\left| s_{k}\right| ^{2},\]

918:  tandis que pour \( k\leq 0 \), le m{\^e}me r{\'e}sultat est obtenu en utilisant plut{\^o}t

919: le signe de la courbure de \( \mathcal{O}(k,-k) \) sur \( P^{1}_{1} \), et

920: par cons{\'e}quent, 

921: \[

922: \left\Vert \overline{\partial }s\right\Vert _{L^{2}}^{2}+\left\Vert s\right\Vert _{L^{2}}^{2}\geq c\sum (1+|k|)\left\Vert s_{k}\right\Vert ^{2};\]

923:  en r{\'e}utilisant (\ref{for-Wei}) pour obtenir un contr{\^o}le sur \( \nabla (s_{k}t^{-k}) \),

924: on obtient 

925: \[

926: \left\Vert \overline{\partial }s\right\Vert _{L^{2}}^{2}+\left\Vert s\right\Vert _{L^{2}}^{2}\geq \left\Vert \nabla _{H}s\right\Vert _{L^{2}}^{2};\]

927:  ce contr{\^o}le implique aussi le contr{\^o}le d'une demi-d{\'e}riv{\'e}e dans la direction

928: transverse {\`a} la distribution de contact, c'est-{\`a}-dire l'estimation, d{\'e}montr{\'e}e

929: directement, sur \( \sum k\left\Vert s_{k}\right\Vert ^{2} \).

930: 

931: Par un argument standard d'analyse fonctionnelle, cette estimation implique

932: que le noyau de \( \overline{\partial } \) est de dimension finie, et, dans

933: le cas o{\`u} il est nul, l'estimation du corollaire.

934: \end{proof}

935: 

936: \subsection{\label{sec32}Probl{\`e}me non lin{\'e}aire}

937: 

938: La d{\'e}formation de la structure complexe, \( \phi :T^{0,1}\rightarrow T^{1,0} \),

939: induit au dual \( \phi ^{t}:\Omega ^{1,0}\rightarrow \Omega ^{0,1} \), que

940: l'on peut aussi {\'e}crire comme la contraction \( \Omega ^{0,1}\otimes T^{1,0}\otimes \Omega ^{1,0}\rightarrow \Omega ^{0,1} \),

941:  

942: \[

943: \phi ^{t}(\xi )=\phi \lrcorner \xi ;\]

944: les (1,0)-formes pour la nouvelle structure complexe sont param{\'e}tr{\'e}es par les

945: \[

946: \xi -\phi \lrcorner \xi ,\]

947:  pour \( \xi \in \Omega ^{1,0} \) ; notons que cette formule a {\'e}galement un

948: sens sur \( \Omega '=\mathbf{C}\eta \oplus \Omega ^{1,0} \). Une structure

949: de contact complexe pour la nouvelle structure complexe peut donc {\^e}tre repr{\'e}sent{\'e}e

950: par la 1-forme {\`a} valeurs dans \( L \),

951: \[

952: \varpi ^{c}=(\eta ^{c}+\xi )-\phi \lrcorner (\eta ^{c}+\xi ),\]

953:  o{\`u} \( \xi  \) est une section de \( \Omega '\mathcal{T}\otimes L \), que

954: l'on peut soumettre {\`a} la normalisation 

955: \[

956: \xi |_{T^{1,0}P^{1}_{2}}=0;\]

957:  le noyau de la forme \( \varpi ^{c} \) est holomorphe si et seulement si,

958: pour tout \( X\in T^{0,1} \), 

959: \begin{equation}

960: \label{oc-hol}

961: \iota _{X+\phi _{X}}d\varpi ^{c}=\alpha _{X}\varpi ^{c},\quad \alpha \in \Omega ^{0,1};

962: \end{equation}

963:  on remarquera que l'op{\'e}rateur \( d \) fait a priori intervenir une connexion

964: sur le fibr{\'e} \( L \), mais un choix diff{\'e}rent de connexion ne modifie le membre

965: de gauche que par un terme proportionnel {\`a} \( \varpi ^{c} \), donc sans influence

966: sur l'{\'e}quation. 

967: 

968: 

969: \subsubsection*{Digression : d{\'e}composition de la diff{\'e}rentielle ext{\'e}rieure}

970: 

971: Avant de poursuivre l'{\'e}tude de l'{\'e}quation (\ref{oc-hol}), nous avons besoin

972: de pr{\'e}ciser quelques d{\'e}compositions de la diff{\'e}rentielle ext{\'e}rieure \( d \)

973: sur la vari{\'e}t{\'e} CR \( \mathcal{T} \).

974: 

975: Pour une fonction \( f \), on peut d{\'e}composer la diff{\'e}rentielle en 

976: \[

977: df=\overline{\partial }f+\partial 'f,\quad \overline{\partial }f\in \Omega ^{0,1},\quad \partial 'f\in \Omega '.\]

978: 

979: 

980: Passons maintenant aux 1-formes : puisque \( [T^{1,0},T^{1,0}]\subset T^{1,0} \),

981: on a 

982: \[

983: d\Omega ^{0,1}\subset \Omega ^{0,2}+\Omega ^{1,1}+\mathbf{C}\eta \otimes \Omega ^{0,1};\]

984:  pour une (0,1)-forme \( \alpha \in \Omega ^{0,1} \), on peut donc d{\'e}composer

985: \[

986: d\alpha =\overline{\partial }\alpha +\partial '\alpha ,\quad \left\{ \begin{array}{l}

987: \overline{\partial }\alpha \in \Omega ^{0,2},\\

988: \partial '\alpha \in \Omega ^{1,1}+\mathbf{C}\eta \otimes \Omega ^{0,1}=\Omega '\otimes \Omega ^{0,1}.

989: \end{array}\right. \]

990:  De mani{\`e}re similaire, pour une (1,0)-forme \( \alpha \in \Omega ^{1,0} \),

991: on a la d{\'e}composition 

992: \[

993: d\alpha =\overline{\partial }\alpha +\partial '\alpha ,\quad \left\{ \begin{array}{l}

994: \overline{\partial }\alpha \in \Omega ^{1,1},\\

995: \partial '\alpha \in \Omega ^{2,0}+\mathbf{C}\eta \otimes \Omega ^{1,0}=\Lambda ^{2}\Omega '.

996: \end{array}\right. \]

997:  Enfin, pour une fonction \( f \), on a 

998: \[

999: d(f\eta )=(\overline{\partial }f\wedge \eta +fd\eta )+\partial f\wedge \eta \in \Omega ^{0,1}\otimes \Omega '+\Lambda ^{2}\Omega '\]

1000:  et on peut d{\'e}finir \( \overline{\partial }(f\eta ) \) et \( \partial (f\eta ) \)

1001: comme les deux morceaux de cette diff{\'e}rentielle.

1002: 

1003: En particulier, nous avons donc la diff{\'e}rentielle sur \( \Omega ' \) qui se

1004: d{\'e}compose en \( d=\overline{\partial }+\partial ' \), avec 

1005: \[

1006: \overline{\partial }\Omega '\subset \Omega ^{0,1}\otimes \Omega ',\quad \partial '\Omega '\subset \Lambda ^{2}\Omega '.\]

1007: Ces observations m{\`e}nent facilement au lemme plus g{\'e}n{\'e}ral suivant.

1008: 

1009: \begin{lem}

1010: \label{dec-d}Notons \( \tilde{\Omega }^{i,j}=\Lambda ^{i}\Omega '\otimes \Omega ^{0,j}\subset \Omega ^{i+j} \),

1011: alors la diff{\'e}rentielle ext{\'e}rieure se d{\'e}compose en \( d=\overline{\partial }+\partial ' \),

1012: avec 

1013: \[

1014: \overline{\partial }\tilde{\Omega }^{i,j}\subset \tilde{\Omega }^{i+1,j},\quad \partial '\tilde{\Omega }^{i,j}\subset \tilde{\Omega }^{i,j+1};\]

1015:  en particulier, on a \( \overline{\partial }\partial '+\partial '\overline{\partial }=0. \)\qed 

1016: \end{lem}

1017: 

1018: \subsubsection*{Forme de contact holomorphe}

1019: 

1020: Revenons {\`a} l'{\'e}quation (\ref{oc-hol}) : les deux membres sont dans l'espace

1021: \( \Omega ' \) pour la nouvelle structure complexe induite par \( \phi  \),

1022: l'{\'e}quation est donc {\'e}quivalente {\`a} sa projection sur \( \Omega ' \) pour la

1023: structure initiale, ce qui nous donne 

1024: \begin{equation}

1025: \label{etac+xi-hol0}

1026: \iota _{X}\overline{\partial }\xi -\iota _{X}\partial '\phi \lrcorner (\eta ^{c}+\xi )+\iota _{\phi _{X}}(d\eta ^{c}+\partial '\xi )=\alpha _{X}(\eta ^{c}+\xi ).

1027: \end{equation}

1028: Notons l'identit{\'e}, pour toute forme \( \xi \in \Omega ' \), 

1029: \begin{equation}

1030: \label{id-dphi-phid}

1031: \partial '(\phi \lrcorner \xi )-\phi \lrcorner \partial '\xi =(\partial '\phi )\lrcorner \xi -\phi \lrcorner \nabla ^{1,0}\xi ;

1032: \end{equation}

1033:  cette identit{\'e} ne fait intervenir qu'en apparence une d{\'e}riv{\'e}e covariante \( \nabla ^{1,0} \)

1034: sur \( T^{1,0} \), car, en r{\'e}alit{\'e}, le membre de droite ne d{\'e}pend pas du choix

1035: pr{\'e}cis effectu{\'e}. Nous obtenons finalement l'{\'e}quation 

1036: \begin{equation}

1037: \label{etac+xi-hol}

1038: \overline{\partial }\xi -(\partial '\phi )\lrcorner (\eta ^{c}+\xi )+\phi \lrcorner \nabla ^{1,0}(\eta ^{c}+\xi )=\alpha \otimes (\eta ^{c}+\xi ).

1039: \end{equation}

1040:  En {\'e}valuant l'{\'e}quation sur un vecteur dans \( T^{1,0}P^{1}_{2} \), on obtient

1041: \( \alpha =\alpha (\xi ) \), avec \( \alpha (\xi ) \) ne d{\'e}pendant de \( \xi  \)

1042: qu'{\`a} l'ordre 0 ; on peut alors r{\'e}crire l'{\'e}quation comme 

1043: \[

1044: \overline{\partial }\xi =(\partial '\phi )\lrcorner (\eta ^{c}+\xi )-\phi \lrcorner \nabla ^{1,0}(\eta ^{c}+\xi )+\alpha (\xi )\otimes (\eta ^{c}+\xi ).\]

1045:  Supposons \( \phi  \) {\`a} coefficients de Fourier positifs ou nuls, et projetons

1046: cette {\'e}quation sur les coefficients de Fourier strictement n{\'e}gatifs : comme

1047: \( \eta ^{c} \) a un coefficient de poids 0 sur le \( \Omega ^{1,0}P^{1}_{2} \)

1048: et un coefficient de poids 2 sur le \( \Omega ^{1,0}P^{1}_{1} \), on obtient,

1049: en notant \( \xi _{<0} \) la partie de \( \xi  \) {\`a} coefficients n{\'e}gatifs

1050: ou nuls, 

1051: \[

1052: \overline{\partial }\xi _{<0}=\pi _{<0}\left( (\partial '\phi )\lrcorner \xi -\phi \lrcorner \nabla ^{1,0}\xi +\alpha (\xi )\otimes (\eta ^{c}+\xi )\right) ;\]

1053:  compte tenu de la forme des {\'e}quations, dont les termes non lin{\'e}aires sont seulement

1054: des multiplications, on obtient 

1055: \begin{equation}

1056: \label{est-xi}

1057: \left\Vert \overline{\partial }\xi _{<0}\right\Vert _{L^{2}}\leq c\left( \left\Vert \xi _{<0}\right\Vert _{L^{2}}+\left\Vert \nabla _{H}\xi _{<0}\right\Vert _{L^{2}}\right) \left( \left\Vert \xi \right\Vert _{L^{\infty }}+\left\Vert \phi \right\Vert _{C^{1}}\right) .

1058: \end{equation}

1059: De cette estimation, on d{\'e}duit le r{\'e}sultat suivant.

1060: 

1061: \begin{thm}

1062: \label{th-fill-etac}Supposons que l'on ait une perturbation \( \mathcal{T}_{\phi } \)

1063: de la structure complexe de \( \mathcal{T} \) par un \( \phi  \) suffisamment

1064: petit, {\`a} coefficients de Fourier positifs ou nuls (de sorte que la perturbation

1065: s'{\'e}tende {\`a} une perturbation \( \mathcal{N}_{\phi } \) de \( \mathcal{N} \)).

1066: Supposons que \( \mathcal{T}_{\phi } \) admette une structure de contact holomorphe,

1067: proche de la structure standard \( \eta ^{c} \). Alors celle-ci s'{\'e}tend en

1068: une structure de contact holomorphe sur \( \mathcal{N}_{_{\phi }} \).

1069: \end{thm}

1070: \begin{proof}

1071: D'apr{\`e}s le corollaire (\ref{cor-31}), on a une estimation 

1072: \[

1073: \left\Vert \overline{\partial }\xi _{<0}\right\Vert _{L^{2}}\geq c(\left\Vert \xi _{<0}\right\Vert _{L^{2}}+\left\Vert \nabla _{H}\xi _{<0}\right\Vert _{L^{2}});\]

1074:  compte tenu de l'estimation (\ref{est-xi}), si \( \phi  \) et \( \xi  \)

1075: sont assez petits, on d{\'e}duit \( \xi _{<0}=0 \), donc \( \xi  \) est {\`a} coefficients

1076: de Fourier positifs ; on peut alors prolonger \( \xi  \) de mani{\`e}re holomorphe

1077: le long de chaque disque : le prolongement obtenu v{\'e}rifie encore l'{\'e}quation

1078: (\ref{etac+xi-hol}), ce qui signifie qu'on a finalement obtenu dans \( \widetilde{\mathcal{N}}_{\phi } \)

1079: une 1-forme \( \varpi  \) {\`a} valeurs dans \( L \), solution de l'{\'e}quation 

1080: \[

1081: \overline{\partial }\varpi =\alpha \otimes \varpi ,\quad \alpha \in \Omega ^{0,1}_{\phi },\]

1082:  et, quitte {\`a} int{\'e}grer \( \alpha  \) dans l'op{\'e}rateur \( \overline{\partial } \)

1083: du fibr{\'e} \( L \), une solution de 

1084: \[

1085: \overline{\partial }\varpi =0.\]

1086:  Rappelons (voir le lemme \ref{lem-fill-J}) que la base du fibr{\'e} en disques

1087: est \( P^{1}\times P^{1} \) avec fibr{\'e} normal \( \mathcal{O}(-1,1) \). La

1088: forme \( \varpi  \) d{\'e}finit au-dessus de \( P^{1}\times P^{1} \) une section

1089: holomorphe de \( \Omega ^{1}_{\widetilde{\mathcal{N}}_{\phi }}\otimes L \),

1090: avec \( L \) ne pouvant {\^e}tre {\'e}gal qu'{\`a} \( \mathcal{O}(0,2) \), mais, comme

1091: dans la d{\'e}monstration du lemme \ref{lem-31}, \( \varpi  \) doit s'annuler

1092: sur \( T^{1,0}P^{1}_{1} \), et descend {\`a} la contraction \( \mathcal{N}_{\phi } \)

1093: de \( P_{1}^{1} \). On obtient ainsi une distribution holomorphe sur \( \mathcal{N}_{\phi } \),

1094: qui est bien de contact car c'est une petite d{\'e}formation de la structure de

1095: contact de \( \mathcal{N} \).

1096: \end{proof}

1097: \begin{cor}

1098: \label{cor-fill-g}Si on a une petite d{\'e}formation \( g \) de la m{\'e}trique standard

1099: de \( S^{3} \), dont l'espace des twisteurs satisfait les hypoth{\`e}ses du lemme

1100: \ref{lem-fill-J}, alors \( g \) est le bord {\`a} l'infini d'une m{\'e}trique autoduale

1101: Einstein (compl{\`e}te) sur \( B^{4} \).

1102: \end{cor}

1103: \begin{proof}

1104: Le corollaire (\ref{cor-fill-g2}) nous dit que \( g \) est le bord d'une m{\'e}trique

1105: autoduale sur \( B^{4} \), et le th{\'e}or{\`e}me pr{\'e}c{\'e}dent indique que son espace

1106: des twisteurs \( \mathcal{N} \) admet une forme de contact holomorphe ; les

1107: \( P^{1} \) r{\'e}els sont tangents {\`a} la distribution de contact holomorphe au

1108: bord, transverses {\`a} l'int{\'e}rieur, ce qui fournit la m{\'e}trique d'Einstein voulue

1109: dans la classe conforme.

1110: \end{proof}

1111: 

1112: \section{\label{sec4}Construction de disques extr{\'e}maux}

1113: 

1114: Dans les sections \ref{sec2} et \ref{sec3}, on a vu une proc{\'e}dure pour fabriquer

1115: des m{\'e}triques autoduales, ou autoduales Einstein, {\`a} partir d'une donn{\'e}e conforme

1116: \( [g,\mathcal{Q}] \) sur le bord \( S^{3} \) : la m{\'e}thode consiste {\`a} {\'e}tendre

1117: les structures le long des disques holomorphes, pourvu que la structure complexe

1118: de l'espace des twisteurs au bord puisse se pr{\'e}senter avec des coefficients

1119: de Fourier positifs. Dans cette section, on montre la r{\'e}ciproque, {\`a} savoir que

1120: si l'extension existe, alors de tels disques holomorphes doivent toujours exister.

1121: 

1122: 

1123: \subsection{Existence d'une fibration en disques}

1124: 

1125: Dans le cas d'un domaine pseudo-convexe, on dispose de m{\'e}thodes pour produire

1126: des disques extr{\'e}maux \cite{Lem:81}. Dans le cas g{\'e}n{\'e}ral o{\`u} la forme de Levi

1127: n'a pas de signe fix{\'e}, mais demeure non d{\'e}g{\'e}n{\'e}r{\'e}e, nous construisons, par d{\'e}formation,

1128: des disques extr{\'e}maux au sens de Lempert \cite[lemme 7.1, th{\'e}or{\`e}me 10.1]{Lem:92}.

1129: 

1130: \begin{thm}

1131: \label{th-disques}Soit \( D \) un fibr{\'e} en disques holomorphes au-dessus de

1132: la vari{\'e}t{\'e} complexe \( X \), tel que la forme de Levi de \( \partial D \)

1133: soit non d{\'e}g{\'e}n{\'e}r{\'e}e. Soit \( D_{\phi } \) une petite perturbation de la structure

1134: complexe de \( D \), telle que \( X\subset D_{\phi } \) demeure une sous-vari{\'e}t{\'e}

1135: complexe. Alors, pour tout point \( p\in \partial D_{\phi } \), il existe un

1136: unique plongement \( f:\overline{\Delta }\rightarrow \overline{D_{\phi }} \),

1137: et un unique sous-fibr{\'e} \( E \) de \( f^{*}T^{1,0}\overline{D_{\phi }} \),

1138: tels que :

1139: \begin{lyxlist}{00.00.0000}

1140: \item [(a)]\( f \) et \( E \) sont holomorphes sur \( \Delta  \) ;

1141: \item [(b)]\( f(1)=p \), \( f(S^{1})\subset \partial D \), \( f(0)\in X \) ;

1142: \item [(c)]\( E|_{S^{1}}=T^{1,0}\partial D_{\phi } \), et \( E_{0} \) est tangent

1143: {\`a} \( X \) ;

1144: \end{lyxlist}

1145: De plus, les \( f=f^{p} \) satisfont

1146: \begin{lyxlist}{00.00.0000}

1147: \item [(d)]\( T^{1,0}\Delta  \) et \( E \) sont transverses.

1148: \item [(e)]\( f^{up}(\zeta )=f^{p}(u\zeta ) \) pour tout \( u\in S^{1} \) ;

1149: \item [(f)]\( F:\partial D\times \overline{\Delta }\rightarrow \overline{D_{\phi }} \)

1150: d{\'e}finie par \( F(p,\zeta )=f^{p}(\zeta ) \) est lisse, et \( F(\cdot ,\zeta ):\partial D\rightarrow \overline{D_{\phi }} \)

1151: est une immersion pour \( \zeta \neq 0 \). 

1152: \end{lyxlist}

1153: \end{thm}

1154: Nous donnerons la d{\'e}monstration du th{\'e}or{\`e}me dans la section \ref{sec42}. Pour

1155: le moment, nous en tirons quelques cons{\'e}quences. Remarquons que la propri{\'e}t{\'e}

1156: (e) dans le th{\'e}or{\`e}me indique qu'on a en r{\'e}alit{\'e} construit une action de \( S^{1} \)

1157: (et m{\^e}me de \( \overline{\Delta } \)) sur \( D_{\phi } \). Le corollaire suivant

1158: indique que la construction faite dans le lemme \ref{lem-fill-J} capture bien

1159: toutes les d{\'e}formations de \( D \).

1160: 

1161: \begin{cor}

1162: \label{cor-ex-disques}Sous les hypoth{\`e}ses du th{\'e}or{\`e}me \ref{th-disques}, l'action

1163: de \( S^{1} \) d{\'e}finie par les \( f^{p} \) sur \( \partial D_{\phi } \) est

1164: de contact ; plus g{\'e}n{\'e}ralement, la distribution \( \Re (E+\overline{E})\subset TD_{\phi } \)

1165: est bien d{\'e}finie, et invariante sous \( \overline{\Delta } \), ce qui signifie

1166: que \( D_{\phi } \) se pr{\'e}sente par rapport {\`a} \( D \) par un tenseur \( \phi  \)

1167: satisfaisant les hypoth{\`e}ses du lemme \ref{lem-fill-J}.

1168: \end{cor}

1169: \begin{proof}

1170: Ce corollaire est essentiellement \cite[Lemme 7.1]{Lem:92} et nous ne refaisons

1171: pas la d{\'e}monstration : le point crucial est de montrer que si \( Y\in T_{p}\partial D_{_{\phi }} \)est

1172: un vecteur dans la distribution de contact, alors pour tout \( \zeta \in \overline{\Delta } \),

1173: on a 

1174: \[

1175: F(\cdot ,\zeta )_{*}Y\in E+\overline{E},\]

1176:  ce qui est une cons{\'e}quence sans difficult{\'e} des conditions au bord et du fait

1177: que \( E \) est holomorphe le long des disques.

1178: \end{proof}

1179: Nous d{\'e}duisons maintenant de ce r{\'e}sultat une caract{\'e}risation des \( [g,\mathcal{Q}] \)

1180: qui admettent un remplissage autodual.

1181: 

1182: \begin{thm}

1183: \label{th-fill-g2}Soit \( [g,\mathcal{Q}] \) la donn{\'e}e d'une premi{\`e}re et d'une

1184: seconde formes fondamentales sur \( S^{3} \), {\`a} changement conforme pr{\`e}s. Supposons

1185: que \( [g,\mathcal{Q}] \) soit suffisamment proche de la m{\'e}trique standard,

1186: alors \( [g,\mathcal{Q}] \) est le bord d'une m{\'e}trique autoduale sur la boule

1187: \( B^{4} \) si et seulement si l'espace des twisteurs \( \mathcal{T} \) de

1188: \( [g,\mathcal{Q}] \) admet une action de contact de \( S^{1} \), anti-commutant

1189: {\`a} la structure r{\'e}elle de \( \mathcal{T} \), par rapport {\`a} laquelle la structure

1190: CR de \( \mathcal{T} \) soit {\`a} coefficients de Fourier positifs ou nuls.

1191: \end{thm}

1192: Nous pouvons aussi donner un r{\'e}sultat sur le remplissage d'une classe conforme

1193: \( [g] \) par une m{\'e}trique d'Einstein autoduale.

1194: 

1195: \begin{thm}

1196: \label{th-fill-g}Soit \( [g] \) une m{\'e}trique conforme sur \( S^{3} \), suffisamment

1197: proche de la m{\'e}trique standard, alors \( [g] \) est l'infini conforme d'une

1198: m{\'e}trique d'Einstein autoduale sur la boule \( B^{4} \) si et seulement si l'espace

1199: des twisteurs \( \mathcal{T} \) de \( [g] \) admet une action de contact de

1200: \( S^{1} \), anti-commutant {\`a} la structure r{\'e}elle de \( \mathcal{T} \), par

1201: rapport {\`a} laquelle la structure CR de \( \mathcal{T} \) soit {\`a} coefficients

1202: de Fourier positifs ou nuls.

1203: \end{thm}

1204: \noindent \emph{D{\'e}monstration des th{\'e}or{\`e}mes \ref{th-fill-g2} et \ref{th-fill-g}.}

1205: Si l'on suppose que \( [g,\mathcal{Q}] \) admet un remplissage autodual, alors

1206: l'espace des twisteurs \( \mathcal{T} \) admet un remplissage par l'espace

1207: des twisteurs \( \mathcal{N} \) de la m{\'e}trique autoduale. Au-dessus du point

1208: \( 0\in B^{4} \), nous avons une fibre twistorielle \( \mathcal{N}_{0} \)

1209: qui est un \( P^{1} \) ; en {\'e}clatant cette fibre, on obtient une vari{\'e}t{\'e} \( \widetilde{\mathcal{N}} \)

1210: avec au-dessus de \( \mathcal{N}_{0} \) un \( P^{1}\times P^{1}\subset \widetilde{\mathcal{N}} \),

1211: et on garde \( \mathcal{T}=\partial \widetilde{\mathcal{N}} \) ; on peut appliquer

1212: le th{\'e}or{\`e}me \ref{th-disques} et le corollaire \ref{cor-ex-disques} avec \( X=P^{1}\times P^{1} \)

1213: pour d{\'e}duire que \( \mathcal{T} \) admet effectivement l'action de \( S^{1} \)

1214: demand{\'e}e. D'autre part, l'assertion d'unicit{\'e} dans le th{\'e}or{\`e}me \ref{th-disques}

1215: contraint l'action de \( S^{1} \) qui s'en d{\'e}duit {\`a} satisfaire la condition

1216: de compatibilit{\'e} (\ref{tau-S1}) avec la structure r{\'e}elle.

1217: 

1218: R{\'e}ciproquement, {\'e}tant donn{\'e} \( [g,\mathcal{Q}] \) satisfaisant les hypoth{\`e}ses

1219: du th{\'e}or{\`e}me, l'existence du remplissage autoduale r{\'e}sulte du corollaire \ref{cor-fill-g2}

1220: ; si de plus \( \mathcal{Q}=0 \), alors le prolongement autodual admet bien

1221: dans sa classe conforme un repr{\'e}sentant d'Einstein par le corollaire \ref{cor-fill-g}.\qed 

1222: 

1223: 

1224: \subsection{\label{sec42}D{\'e}monstration du th{\'e}or{\`e}me \ref{th-disques}}

1225: 

1226: Il est clair que \( D \), avec sa structure de fibr{\'e} en disques \( p:D\rightarrow X \),

1227: satisfait les conclusions du th{\'e}or{\`e}me. On va construire les structures pour

1228: \( D_{\phi } \) par un argument de d{\'e}formation.

1229: 

1230: Puisque la forme de Levi du bord est non d{\'e}g{\'e}n{\'e}r{\'e}e, on a une 1-forme de connexion

1231: \( \eta  \) sur \( \partial D, \) se restreignant {\`a} la forme angulaire \( d\theta  \)

1232: sur chaque disque, telle que 

1233: \[

1234: (\ker \eta )\otimes \mathbf{C}=T^{0,1}\partial D+T^{1,0}\partial D\]

1235:  soit une distribution de contact sur \( \partial D \) ; comme deux structures

1236: de contact proches sont diff{\'e}omorphes, on peut supposer que la m{\^e}me chose demeure

1237: valable pour \( D_{\phi } \), ce qui se traduit sur \( \phi  \) par la condition

1238: \[

1239: \phi (T^{0,1}\partial D)\subset T^{1,0}\partial D.\]

1240: 

1241: 

1242: Le r{\'e}sultat {\'e}tant local au voisinage d'un disque donn{\'e} au-dessus d'un point

1243: \( x\in X \), on va choisir des coordonn{\'e}es locales \( (z^{i})_{i\geq 1} \)

1244: sur \( X \) pr{\`e}s de \( x \). Nous trivialisons le fibr{\'e} \( \Omega ^{1,0}D \)

1245: pr{\`e}s du disque \( p^{-1}(x) \) par la base 

1246: \[

1247: e^{0}=2i\eta ^{1,0},\quad e^{i}=p^{*}dz^{i};\]

1248:  il faut noter que sur chaque disque, \( e^{0} \) s'identifie simplement {\`a}

1249: \( d\zeta /\zeta  \) ; en particulier, nous avons choisi \( e^{0} \) singulier

1250: sur la section nulle ; nous avons la base duale constitu{\'e}e du vecteur d'homoth{\'e}tie

1251: dans les fibres, \( \partial _{0}=\zeta \partial /\partial \zeta  \), et des

1252: relev{\'e}s horizontaux \( \partial _{i} \) des vecteurs \( \partial /\partial z^{i} \)

1253: de la base.

1254: 

1255: {\'E}tant donn{\'e}e une perturbation \( \phi  \) de la structure complexe de \( D \),

1256: nous trivialisons le fibr{\'e} \( \Omega ^{1,0}D_{\phi } \) par les \( e^{i}-\phi ^{t}e^{i} \),

1257: et nous cherchons \( (f,\varpi ) \) avec \( f:\overline{\Delta }\rightarrow \overline{D} \)

1258: et 

1259: \[

1260: \varpi =\sum _{i\geq 0}\varpi _{i}(e^{i}-\phi ^{t}e^{i}),\]

1261:  o{\`u} les \( \varpi _{i} \) sont des fonctions sur \( \overline{\Delta } \)

1262: et \( E=\ker \varpi  \) ; bien entendu, \( \varpi  \) n'est d{\'e}fini qu'{\`a} multiplication

1263: pr{\`e}s par une fonction, et nous choisissons la normalisation 

1264: \[

1265: \varpi _{0}=\zeta ;\]

1266:  compte tenu de la singularit{\'e} de \( e^{0} \) sur la section nulle, ce choix

1267: d{\'e}finit bien une forme lisse y compris sur la section nulle ; nous notons {\'e}galement

1268: \[

1269: \pi ^{\varpi }(\sum _{i\geq 0}\vartheta _{i}e^{i})=\sum _{i>0}(\vartheta _{i}-\vartheta _{0}\varpi _{i})e^{i}\]

1270:  la projection sur \( \Omega ^{1,0}D/\mathbf{C}\varpi \approx p^{*}\Omega ^{1,0}X \).

1271: 

1272: Le couple \( (f,\varpi ) \) doit satisfaire aux {\'e}quations suivantes : d'une

1273: part, la diff{\'e}rentielle \( df:T\overline{\Delta }\rightarrow T\overline{D}_{\phi } \)

1274: se d{\'e}compose en \( \overline{\partial }_{\phi }f+\partial _{\phi }f:T^{0,1}\overline{\Delta }\rightarrow T^{1,0}\overline{D}_{\phi }+T^{0,1}\overline{D}_{\phi } \),

1275: et \( f \) est holomorphe si 

1276: \[

1277: \overline{\partial }_{\phi }f=0;\]

1278:  comme on peut trivialiser \( T^{0,1}\overline{\Delta } \) par le vecteur \( \partial /\partial \overline{\zeta } \),

1279: on peut consid{\'e}rer \( \overline{\partial }_{\phi }f \) comme une section de

1280: \( f^{*}T^{1,0}\overline{D}_{\phi }\approx f^{*}T^{1,0}\overline{D} \) via

1281: \( \phi  \) ; d'autre part, \( E \) doit {\^e}tre holomorphe le long de \( \overline{\Delta } \),

1282: ce qui se traduit par \( \overline{\partial }_{\phi }\varpi =\alpha \otimes \varpi  \)

1283: ; en identifiant {\`a} nouveau \( \Omega ^{1,0}\overline{D}_{\phi } \) et \( \Omega ^{1,0}\overline{D} \)

1284: via \( \phi  \), on obtient finalement l'{\'e}quation 

1285: \[

1286: \pi ^{\varpi }\overline{\partial }_{\phi }\varpi =0,\]

1287:  o{\`u}, {\`a} nouveau en trivialisant \( T^{0,1}\overline{\Delta } \) par \( \partial /\partial \overline{\zeta } \),

1288: on peut consid{\'e}rer \( \pi ^{\varpi }\overline{\partial }_{\phi }\varpi  \)

1289: comme une section de \( f^{*}\Omega ^{1,0}X \). 

1290: 

1291: Les conditions au bord se traduisent par 

1292: \begin{eqnarray}

1293: f(1) & = & p,\nonumber \\

1294: f(S^{1}) & \subset  & \partial D,\label{bord-f} \\

1295: f(0) & \in  & X,\nonumber 

1296: \end{eqnarray}

1297:  et, pour \( i>0 \), 

1298: \begin{equation}

1299: \label{bord-varpi}

1300: \begin{array}{rl}

1301: \varpi _{i}|_{S^{1}} & =0,\\

1302: \varpi _{i}(0) & =0.

1303: \end{array}

1304: \end{equation}

1305:  

1306: 

1307: Pour bien poser le probl{\`e}me d'inversion locale, il nous reste {\`a} poser 

1308: \begin{eqnarray*}

1309: Map(\overline{\Delta },\overline{D}) & = & \{f:\overline{\Delta }\rightarrow \overline{D},\textrm{ de classe }C^{1+\alpha },\textrm{ satisfaisant }(\ref {bord-f})\},\\

1310: \mathcal{E}(\overline{\Delta },\overline{D}) & = & \{\varpi =\zeta e^{0}+\sum _{i>0}\varpi _{i}e^{i},\textrm{ }\varpi _{i}\textrm{ de classe C}^{1+\alpha },\textrm{ satisfaisant }(\ref {bord-varpi})\}.

1311: \end{eqnarray*}

1312:  Nous regardons l'op{\'e}rateur 

1313: \[

1314: P(f,\varpi ,\phi )=(\overline{\partial }_{\phi }f,\pi ^{\varpi }\overline{\partial }_{\phi }\varpi ),\]

1315:  d{\'e}fini sur \( Map(\overline{\Delta },\overline{D})\times \mathcal{E}(\overline{\Delta },\overline{D}) \),

1316: {\`a} valeurs dans les espaces de sections (rappelons que nous avons trivialis{\'e}

1317: \( T^{1,0}\overline{D} \) et \( \Omega ^{1,0}X \) dans un voisinage du disque

1318: consid{\'e}r{\'e}) 

1319: \[

1320: C^{\alpha }(\overline{\Delta },T^{1,0}\overline{D})\times C^{\alpha }(\overline{\Delta },\Omega ^{1,0}X).\]

1321:  Il est manifeste que ces espaces sont des vari{\'e}t{\'e}s de Banach, et l'op{\'e}rateur

1322: \( P \) est lisse entre ces espaces (on ne regarde que des \( \phi  \) lisses,

1323: mais on peut, pour avoir un espace de Banach, se contenter de \( \phi  \) de

1324: classe \( C^{k} \) pour \( k \) assez grand).

1325: 

1326: \begin{lem}

1327: La diff{\'e}rentielle en \( (f(\zeta )=\zeta p,\varpi =\zeta e^{0},\phi =0) \)

1328: de \( P \) par rapport {\`a} \( (f,\varpi ) \) est un isomorphisme. 

1329: \end{lem}

1330: Admettons le lemme quelques instants. On en d{\'e}duit que si la perturbation \( \phi  \)

1331: est assez petite, alors le probl{\`e}me \( P(f,\varpi ,\phi )=0 \) a une solution

1332: unique dans \( Map(\overline{\Delta },\overline{D})\times \mathcal{E}(\overline{\Delta },\overline{D}) \)

1333: ; cela fournit le couple \( (f,E) \) du th{\'e}or{\`e}me \ref{th-disques} satisfaisant

1334: les propri{\'e}t{\'e}s (a) {\`a} (c). La propri{\'e}t{\'e} (d) reste vraie apr{\`e}s petite perturbation.

1335: Analysons {\`a} pr{\'e}sent la d{\'e}pendance par rapport au point \( p \) : gr{\^a}ce {\`a} l'unicit{\'e}

1336: de la solution, la propri{\'e}t{\'e} (e) est imm{\'e}diate, tandis que (f) r{\'e}sulte du fait

1337: que la solution d{\'e}pend de mani{\`e}re lisse des param{\`e}tres. Le th{\'e}or{\`e}me \ref{th-disques}

1338: est d{\'e}montr{\'e}.\qed

1339: 

1340: \begin{rem}

1341: La condition que \( X \) demeure une sous-vari{\'e}t{\'e} complexe a pour seule utilit{\'e}

1342: de donner un sens {\`a} la condition (c). Mais la r{\'e}solution ci-dessus reste valable

1343: sans cette condition, la diff{\'e}rence {\'e}tant que la condition \( \varpi _{i}(0)=0 \)

1344: n'a plus d'interpr{\'e}tation g{\'e}om{\'e}trique naturelle.

1345: \end{rem}

1346: \begin{proof}

1347: Il nous reste {\`a} calculer la diff{\'e}rentielle de l'op{\'e}rateur \( P \). Un vecteur

1348: tangent {\`a} \( Map(\overline{\Delta },\overline{D}) \) est un champ de vecteur

1349: \( X \) le long de \( \overline{\Delta } \), mais il sera plus commode d'utiliser

1350: \[

1351: X=f+\overline{f},\]

1352:  avec \( f \) vecteur\footnote{

1353: il est commode ici d'utiliser le m{\^e}me symbole pour l'application \( f \) et

1354: pour sa version infinit{\'e}simale qui est un champ de vecteurs

1355: } de type (1,0), repr{\'e}sent{\'e} par 

1356: \[

1357: f=f^{0}\frac{e_{0}}{\zeta }+\sum _{i>0}f^{i}e_{i},\quad f^{0},f^{1},\ldots \in C^{1+\alpha };\]

1358:  le facteur \( \zeta  \) s'explique en se rappelant que \( e_{0} \) s'annule

1359: sur \( X \), mais \( e_{0}/\zeta  \) est lisse. Les conditions au bord (\ref{bord-f})

1360: se traduisent par 

1361: \begin{eqnarray}

1362: \Re \frac{f^{0}}{\zeta } & = & 0\textrm{ sur le bord }S^{1},\nonumber \\

1363: f^{i}(1) & = & 0,\label{bord-fi} \\

1364: f^{0}(0) & = & 0.\nonumber 

1365: \end{eqnarray}

1366:  D'autre part, rappelons que \( \varpi =\zeta e^{0}+\sum _{i>0}\varpi _{i}e^{i} \),

1367: avec \( \varpi _{i} \) de classe \( C^{1+\alpha } \), et conditions au bord

1368: (\ref{bord-varpi}).

1369: 

1370: En \( \phi =0 \), l'op{\'e}rateur \( P \) est simplement \( P(f,\varpi )=(\overline{\partial }f,\pi ^{\varpi }\overline{\partial }\varpi ) \)

1371: ; plus pr{\'e}cis{\'e}ment, le second op{\'e}rateur est 

1372: \[

1373: \pi ^{\varpi }\iota _{f_{*}\frac{\partial }{\partial \overline{\zeta }}}d\varpi ;\]

1374:  compte tenu que la courbure du fibr{\'e} ---une 2-forme non d{\'e}g{\'e}n{\'e}r{\'e}e sur \( X \)---,

1375: est 

1376: \[

1377: de^{0}=2i\overline{\partial }\eta ^{1,0}=F=F_{\overline{\imath }j}e^{\overline{\imath }}\wedge e^{j},\]

1378:  la diff{\'e}rentielle de \( P \) suivant \( \varpi  \) s'{\'e}crit 

1379: \[

1380: \pi ^{\zeta e^{0}}(\iota _{[X,\frac{\partial }{\partial \overline{\zeta }}]}d(\zeta e^{0})+\iota _{\frac{\partial }{\partial \overline{\zeta }}}d\varpi )=\pi ^{\zeta e^{0}}(\iota _{[f+\overline{f},\frac{\partial }{\partial \overline{\zeta }}]}\zeta F+\iota _{\frac{\partial }{\partial \overline{\zeta }}}d\varpi _{i}\wedge e^{i}).\]

1381:  Nous sommes maintenant en mesure d'{\'e}crire explicitement le probl{\`e}me infinit{\'e}simal

1382: : {\'e}tant donn{\'e}s le long de \( \overline{\Delta } \) un (1,0)-vecteur \( g=g^{0}\frac{e_{0}}{\zeta }+\sum _{i>0}g^{i}e_{i} \),

1383: et une (1,0)-forme \( \rho =\sum _{i>0}\rho _{i}e^{i}, \) les {\'e}quations {\`a} r{\'e}soudre

1384: deviennent 

1385: \begin{eqnarray}

1386: \frac{\partial f^{i}}{\partial \overline{\zeta }} & = & g^{i},\quad i\geq 0,\label{eq-fi} \\

1387: \frac{\partial \varpi _{i}}{\partial \overline{\zeta }}-\zeta \frac{\partial \overline{f^{j}}}{\partial \overline{\zeta }}F_{\overline{\jmath }i} & = & \rho _{i},\quad i>0,\label{eq-varpii} 

1388: \end{eqnarray}

1389:  avec les conditions au bord (\ref{bord-fi}) et (\ref{bord-varpi}).

1390: 

1391: L'{\'e}quation (\ref{eq-fi}) d{\'e}finit les \( f^{i} \) {\`a} fonction holomorphe pr{\`e}s

1392: sur \( \overline{\Delta } \). 

1393: 

1394: Pour ce qui est de \( f^{0} \), les conditions au bord (\ref{bord-fi}) la

1395: d{\'e}finissent uniquement : en effet, commen{\c c}ons par choisir la solution \( \varphi _{1}^{0} \)

1396: de 

1397: \[

1398: \frac{\partial \varphi ^{0}_{1}}{\partial \overline{\zeta }}=g^{0}\]

1399:  telle qu'au bord seuls les coefficients de Fourier strictement n{\'e}gatifs soient

1400: non nuls : 

1401: \[

1402: \varphi ^{0}_{1}|_{S^{1}}=\sum _{k<0}a_{k}e^{ik\theta };\]

1403:  pour obtenir la condition \( \Re (f^{0}/\zeta )=0 \) au bord, nous rajoutons

1404: {\`a} \( \varphi ^{0}_{1} \) la fonction holomorphe 

1405: \[

1406: \varphi ^{0}_{2}=-\sum _{k>2}\overline{a_{-k+2}}\zeta ^{k};\]

1407:  nous avons encore la libert{\'e} de rajouter {\`a} \( f^{0}=\varphi ^{0}_{1}+\varphi ^{0}_{2} \)

1408: un terme 

1409: \[

1410: \varphi _{3}=a_{0}+a_{1}\zeta -\overline{a_{0}}\zeta ^{2},\quad \Re a_{1}=0,\]

1411:  mais les coefficients \( a_{0} \) et \( a_{1} \) sont maintenant impos{\'e}s

1412: par les conditions \( f^{0}(0)=f^{0}(1)=0 \). Bien entendu \( f^{0}=\varphi ^{0}_{1}+\varphi ^{0}_{2}+\varphi ^{0}_{3} \)

1413: est de classe \( C^{1+\alpha } \) si \( g^{0} \) est de classe \( C^{\alpha } \).

1414: 

1415: Passons maintenant aux \( \varpi _{i} \) : un choix des \( f_{i} \) ayant

1416: {\'e}t{\'e} fait, on peut r{\'e}soudre (\ref{eq-varpii}) de sorte que les coefficients

1417: de Fourier positifs ou nuls des \( \varpi _{i} \) au bord soient nuls, mais

1418: cette condition est encore loin de la condition au bord (\ref{bord-varpi})

1419: voulue, {\`a} savoir l'annulation compl{\`e}te des \( \varpi _{i} \) au bord ; examinons

1420: l'influence d'une modification des \( f^{i} \) (\( i>0 \)) par des fonctions

1421: holomorphes \( \varphi ^{i} \) : 

1422: \[

1423: f^{i}\rightarrow f^{i}+\varphi ^{i};\]

1424:  en s{\'e}parant

1425: \[

1426: \varphi ^{i}=a_{0}^{i}+a_{1}^{i}\zeta +\varphi _{1}^{i},\quad \varphi _{1}^{i}=\sum _{k>1}a_{k}^{i}\zeta ^{k},\]

1427:  on observe que les \( \varpi _{i} \) se transforment par la loi 

1428: \[

1429: \varpi _{i}\rightarrow \varpi _{i}+\zeta \overline{\varphi _{1}^{j}}F_{\overline{\jmath }i}+(|\zeta |^{2}-1)\overline{a_{1}^{j}}F_{\overline{\jmath }i};\]

1430:  par cons{\'e}quent, en choisissant \( \varphi ^{j}_{_{1}} \) holomorphe de sorte

1431: que (ici nous utilisons le fait que la forme de Levi est non d{\'e}g{\'e}n{\'e}r{\'e}e, donc

1432: \( (F_{\overline{\imath }j}) \) admet un inverse \( (F^{\overline{\imath }j}) \)

1433: ) 

1434: \[

1435: \varphi _{1}^{j}|_{S^{1}}=-\zeta F^{\overline{\imath }j}\overline{\varpi _{i}}|_{S^{1}},\]

1436:  ce qui est possible puisque les \( \varpi _{i}|_{S^{1}} \) sont {\`a} coefficients

1437: de Fourier strictement n{\'e}gatifs, on peut obtenir la condition au bord \( \varpi |_{S^{1}}=0 \)

1438: ; la condition \( \varpi _{i}(0)=0 \) est obtenue en fixant les coefficients

1439: \( a_{1}^{i} \), et la seule libert{\'e} demeurant sur les \( f^{i} \) est d'ajouter

1440: une constante \( a_{0}^{i} \), ce qui permet d'assurer la condition au bord

1441: \( f^{i}(1)=0 \). De nouveau, la solution \( (f^{i},\varpi _{i}) \) est de

1442: classe \( C^{1+\alpha } \) si les \( g^{i} \) et les \( \rho _{i} \) sont

1443: de classe \( C^{\alpha } \), ce qui ach{\`e}ve la d{\'e}monstration du lemme.

1444: \end{proof}

1445: 

1446: \subsection{\label{sec43}Les disques holomorphes et la g{\'e}om{\'e}trie conforme}

1447: 

1448: Il est int{\'e}ressant de noter que les disques holomorphes dans l'espace des twisteurs

1449: d'une vari{\'e}t{\'e} antiautoduale ont une interpr{\'e}tation en termes de disques dans

1450: la vari{\'e}t{\'e} conforme. Si l'on dispose d'une m{\'e}trique conforme \( [g] \) sur

1451: la vari{\'e}t{\'e} \( X^{4} \), alors la seconde forme fondamentale \( B \) d'une

1452: surface se d{\'e}compose en trois composantes : 

1453: \begin{eqnarray*}

1454: B & = & B^{+}+B^{-}\\

1455:  & = & B^{+}+B^{2,0}+B^{0,2};

1456: \end{eqnarray*}

1457:  en effet, le plan tangent \( P\subset TX \) {\`a} la surface d{\'e}termine une structure

1458: presque-complexe hermitienne \( J \) sur \( TX=P\oplus P^{\perp } \); alors

1459: \( B^{+}=B^{1,1} \) est la partie \( J \)-invariante de \( B \), satisfaisant

1460: \[

1461: B^{+}_{JU,JV}=B_{U,V}^{+},\quad U,V\in P,\]

1462: et \( B^{-} \) est la partie \( J \)-anti-invariante, se d{\'e}composant elle-m{\^e}me

1463: en deux composantes \( B^{2,0} \) et \( B^{0,2} \) satisfaisant respectivement

1464: \[

1465: B^{2,0}_{JU,V}=J^{P^{\perp }}B_{U,V},\quad B^{0,2}_{JU,V}=-J^{P^{\perp }}B_{U,V}.\]

1466:  

1467: 

1468: Une surface \( \Sigma  \) dans \( X \) d{\'e}termine, comme on l'a vu, une structure

1469: presque-complexe \( J \) sur \( TX \) le long de \( \Sigma  \), c'est-{\`a}-dire

1470: une section de la fibration twistorielle que l'on peut appeler le \emph{rel{\`e}vement

1471: de \( \Sigma  \) {\`a} l'espace des twisteurs.} L'{\'e}nonc{\'e} suivant est essentiellement

1472: contenu dans l'article \cite{Gau:86} de Gauduchon.

1473: 

1474: \begin{lem}

1475: \label{lem-tw/conf}Supposons la m{\'e}trique \( [g] \) sur \( X \) antiautoduale,

1476: soit \( p:\mathcal{N}\rightarrow X \) son espace de twisteurs, et \( \Sigma  \)

1477: une surface de Riemann ; le rel{\`e}vement {\`a} l'espace des twisteurs donne une correspondance

1478: entre

1479: \begin{enumerate}

1480: \item les immersions conformes \( \Sigma \rightarrow X \), dont la seconde forme

1481: fondamentale satisfait \( B^{0,2}=0 \) ;

1482: \item les immersions holomorphes \( \Sigma \rightarrow \mathcal{N} \), transverses

1483: {\`a} la fibration en \( P^{1} \).

1484: \end{enumerate}

1485: \end{lem}

1486: Notons que l'{\'e}nonc{\'e} est donn{\'e} dans le cas antiautodual, qui permet de repr{\'e}senter

1487: plus agr{\'e}ablement l'espace des twisteurs comme le fibr{\'e} des structures presque-complexes

1488: hermitiennes, compatibles {\`a} l'orientation ; le cas autodual est obtenu par un

1489: simple changement d'orientation.

1490: 

1491: \begin{proof}

1492: La correspondance entre la condition \( B^{0,2}=0 \) et l'holomorphie du rel{\`e}vement

1493: {\`a} l'espace des twisteurs est montr{\'e}e dans \cite{Gau:86}. Il reste {\`a} montrer

1494: qu'une immersion holomorphe \( \iota :\Sigma \rightarrow \mathcal{N} \) provient

1495: bien du rel{\`e}vement de \( p\circ \iota  \). Notons \( J \) la structure presque-complexe

1496: sur \( TX \) le long de \( p\iota (\Sigma ) \), induite par la section \( \iota  \)

1497: de l'espace des twisteurs. Soit un point \( \sigma \in \Sigma  \) : par la

1498: d{\'e}finition m{\^e}me de la structure complexe de l'espace des twisteurs, la projection

1499: \( p:T_{\iota (\sigma )}\mathcal{N}\rightarrow (T_{p\iota (\sigma )}X,J) \)

1500: est \( \mathbf{C} \)-lin{\'e}aire, donc, puisque \( \iota  \) est holomorphe,

1501: \( p\circ \iota :T_{\sigma }\Sigma \rightarrow (T_{p\iota (\sigma )}X,J) \)

1502: est aussi \( \mathbf{C} \)-lin{\'e}aire, ce qui impose que la structure complexe

1503: le long de \( p\iota (\Sigma ) \) induite par l'immersion \( p\iota  \) est

1504: aussi \( J \) ; cela montre que \( \iota  \) est bien le rel{\`e}vement {\`a} l'espace

1505: des twisteurs de \( p\circ \iota  \).

1506: \end{proof}

1507: 

1508: \section{\label{sec5}Le groupe des contactomorphismes}

1509: 

1510: Il est bien connu qu'un contactomorphisme est essentiellement donn{\'e} par une

1511: fonction r{\'e}elle ; si l'on dispose d'un champ de Reeb \( R \) pour la forme

1512: de contact \( \eta  \), le contactomorphisme infinit{\'e}simal correspondant {\`a}

1513: la fonction r{\'e}elle \( f \) n'est autre que 

1514: \[

1515: X_{f}=fR-\#d_{H}f,\]

1516:  o{\`u} \( \# \) est d{\'e}fini sur les 1-formes horizontales par \( d\eta (\#\alpha ,X)=\langle \alpha ,X\rangle  \)

1517: ; en particulier, \( X_{f} \) ne d{\'e}pend que de \( f \) et de \( d_{H}f \).

1518: 

1519: Il est moins facile de produire une param{\'e}trisation \( f\rightarrow \varphi _{f} \)

1520: des contactomorphismes proches de l'identit{\'e}, de telle mani{\`e}re que \( \varphi _{f} \)

1521: ne d{\'e}pende que de \( f \) et des d{\'e}riv{\'e}es \emph{horizontales} de \( f \).

1522: Par exemple, la param{\'e}trisation naturelle provenant de la symplectification

1523: semble utiliser toutes les d{\'e}riv{\'e}es de \( f \), et la perte de d{\'e}riv{\'e}e qui

1524: en d{\'e}coule contraint ensuite {\`a} utiliser des arguments de type Nash-Moser, voir

1525: \cite{Che-Lee:95}.

1526: 

1527: En dimension 3, Bland \cite{Bla:94} a propos{\'e} dans le cas de \( S^{3} \) une

1528: param{\'e}trisation du groupe des contactomorphismes qui ne consomme que les d{\'e}riv{\'e}es

1529: horizontales.

1530: 

1531: Dans cette section, nous proposons une autre param{\'e}trisation, valable en dimension

1532: sup{\'e}rieure ou {\'e}gale {\`a} 5, qui conviendra pour nos applications.

1533: 

1534: Nous supposons que la vari{\'e}t{\'e} de contact est un \( S^{1} \)-fibr{\'e} au-dessus

1535: d'une vari{\'e}t{\'e} symplectique \( (X,\omega ) \) : 

1536: \[

1537: \begin{array}{ccc}

1538: S^{1} & \rightarrow  & M\\

1539:  &  & \; \downarrow \pi \\

1540:  &  & X

1541: \end{array}\]

1542:  et que la forme de contact \( \eta  \) est une 1-forme de connexion, avec

1543: \( d\eta =\pi ^{*}\omega  \). On notera \( H=\ker \eta  \) la distribution

1544: de contact. L'id{\'e}e de base de la construction qui suit est la simple constatation

1545: que, pour regarder les d{\'e}riv{\'e}es horizontales d'un contactomorphisme \( \varphi  \)

1546: de \( M \), il suffit de regarder les d{\'e}riv{\'e}es horizontales de la composition

1547: \( \pi \circ \varphi :M\rightarrow X \).

1548: 

1549: Dans notre situation, il est souhaitable d'utiliser plut{\^o}t les espaces fonctionnels

1550: de Folland-Stein \cite{Fol-Ste:74}, c'est-{\`a}-dire des espaces de Sobolev anisotropes,

1551: mieux adapt{\'e}s {\`a} la g{\'e}om{\'e}trie de contact : l'espace \( \mathcal{H}^{k} \) consiste

1552: des fonctions avec \( k \) d{\'e}riv{\{\'e}es suivant les directions de contact (et,

1553: par cons{\'e}quent, \( \frac{k}{2} \) d{\'e}riv{\'e}es dans la direction du champ de Reeb).

1554: Nous choisirons toujours \( k \) suffisamment grand, de sorte qu'on ait l'injection

1555: de Sobolev pour les espaces de Folland-Stein, \( \mathcal{H}^{k}\subset C^{0} \);

1556: cela implique que les espaces de fonctions de classe \( \mathcal{H}^{k} \)

1557: sont des alg{\`e}bres, ce qui permet de faire l'analyse non lin{\'e}aire. Plus pr{\'e}cis{\'e}ment,

1558: on a le lemme suivant :

1559: 

1560: \begin{lem}

1561: \label{lem-FS-alg}Pour \( k>n \), l'espace des fonctions de r{\'e}gularit{\'e} \( \mathcal{H}^{k} \)

1562: sur la vari{\'e}t{\'e} de contact \( X^{n} \) est une alg{\`e}bre, et agit par multiplication

1563: sur les espaces \( \mathcal{H}^{i} \) pour \( i<k \).

1564: \end{lem}

1565: \begin{proof}

1566: On se ram{\`e}ne facilement aux consid{\'e}rations similaires sur les espaces de Sobolev

1567: usuels \( L^{i,p} \) de fonctions ayant \( i \) d{\'e}riv{\'e}es dans \( L^{p} \).

1568: En effet, rappelons que \( \mathcal{H}^{i}\subset L^{i/2,2} \) et, classiquement,

1569: \( L^{i/2,2}\subset L^{p} \) pour \( 1/p=1/2-i/2n>0 \). Par cons{\'e}quent, prenons

1570: deux fonctions \( f\in \mathcal{H}^{k} \) et \( g\in \mathcal{H}^{i} \), avec

1571: \( i\leq k \), et montrons que le produit \( fg \) a \( i \) d{\'e}riv{\'e}es horizontales

1572: dans \( L^{2} \) : nous devons donc montrer que \( \nabla ^{j}f\nabla ^{i-j}g\in L^{2} \)

1573: ; si \( k-j>n \) ou si \( j>n \), alors l'un des deux facteurs est dans \( C^{0} \)

1574: et le produit est clairement dans \( L^{2} \) ; dans les cas restants, c'est-{\`a}-dire

1575: si \( k-n\leq j\leq n \), alors \( \nabla ^{j}f\in L^{p} \) avec \( 1/p=1/2-(k-j)/2n \)

1576: (si \( k-j\neq n) \), et \( \nabla ^{i-j}g\in L^{q} \) avec \( 1/q=1/2-j/2n \)

1577: (si \( j\neq n \)), donc \( \nabla ^{j}f\nabla ^{i-j}g\in L^{r} \) avec 

1578: \[

1579: \frac{1}{r}=\frac{1}{p}+\frac{1}{q}=1-\frac{k}{2n}<\frac{1}{2};\]

1580:  dans le cas o{\`u} \( j=k-n \) ou \( n \), par exemple si \( j=k-n \), on prend

1581: \( p<\infty  \) suffisamment grand et on arrive quand m{\^e}me {\`a} \( r>2 \).

1582: \end{proof}

1583: 

1584: \subsection{Espace d'applications de \protect\( M\protect \) dans \protect\( X\protect \)}

1585: 

1586: Remarquons que si \( \varphi :M\rightarrow M \) est de contact, alors \( \psi =\pi \circ \varphi :M\rightarrow X \)

1587: v{\'e}rifie la condition 

1588: \begin{equation}

1589: \label{con-phi*omega}

1590: \psi ^{*}\omega \in \mathcal{I}(\eta ),

1591: \end{equation}

1592:  o{\`u} \( \mathcal{I}(\eta ) \) est l'id{\'e}al diff{\'e}rentiel engendr{\'e} par \( \eta  \).

1593: Nous pouvons aussi r{\'e}crire la condition d'une mani{\`e}re diff{\'e}rente : notons \( \Lambda ^{2}_{0}H \)

1594: l'espace des 2-vecteurs primitifs (dans le noyau de \( d\eta  \)), et 

1595: \[

1596: \Omega ^{2}_{0}H:=\Lambda ^{2}H^{*}/\mathbf{R}d\eta \]

1597:  l'espace des 2-formes horizontales primitives (on peut identifier \( \Omega ^{2}_{0}H \)

1598: au noyau dans \( \Omega ^{2}H \) de l'op{\'e}rateur de contraction par \( d\eta  \)),

1599: alors (\ref{con-phi*omega}) devient {\'e}quivalente {\`a} 

1600: \[

1601: \psi ^{*}\omega =0\in \Omega ^{2}_{0}H.\]

1602: Cela nous am{\`e}ne {\`a} {\'e}tudier les applications \( M\rightarrow X \) satisfaisant

1603: cette condition.

1604: 

1605: L'espace des applications \( \psi :M\rightarrow X \) ayant \( k \) d{\'e}riv{\'e}es

1606: horizontales dans \( L^{2} \) est une vari{\'e}t{\'e} hilbertienne, \( \mathcal{H}^{k}(M,X) \),

1607: param{\'e}tr{\'e}e dans un voisinage de \( \pi  \) par un champ de vecteurs horizontal

1608: \( \xi  \) sur \( M \), via l'application 

1609: \[

1610: \xi \longrightarrow (x\rightarrow \exp _{\pi (x)}\pi _{*}\xi ),\]

1611:  o{\`u} l'exponentielle sur \( X \) est prise par rapport {\`a} une m{\'e}trique riemannienne

1612: fix{\'e}e. 

1613: 

1614: On notera \( \mathcal{P}^{k}(M,X)\subset \mathcal{H}^{k}(M,X) \) le sous-espace

1615: des \( \psi  \) satisfaisant (\ref{con-phi*omega}) ; fixons \( \psi _{0}\in \mathcal{P}^{k}(M,X) \),

1616: et remarquons que 

1617: \[

1618: \psi _{0}^{*}\omega =fd\eta +\alpha \wedge \eta ;\]

1619:  comme \( \omega  \) est ferm{\'e}e, il faut que 

1620: \[

1621: (df-\alpha )\wedge d\eta +d\alpha \wedge \eta =0,\]

1622:  ce qui implique \( \alpha =df \) et finalement 

1623: \[

1624: \psi _{0}^{*}\omega =d(f\eta ).\]

1625: 

1626: 

1627: Examinons, au voisinage de \( \psi _{0} \), l'application 

1628: \[

1629: P:\mathcal{H}^{k}(M,X)\rightarrow \mathcal{H}^{k-1}(M,\Omega ^{2}_{0}H)\]

1630:  d{\'e}finie par 

1631: \[

1632: P(\psi )=\psi ^{*}\omega .\]

1633:  Puisque \( d\omega =0 \) et \( \psi _{0}^{*}\omega =d(f\eta ), \) la forme

1634: \( \psi ^{*}\omega  \) reste exacte, donc sa projection \( P\psi  \) sur \( \Omega ^{2}_{0}H \)

1635: est {\`a} valeurs dans \( \Im d_{H} \). Or l'op{\'e}rateur 

1636: \[

1637: d_{H}:\Gamma (M,H^{*})\rightarrow \Gamma (M,\Omega _{0}^{2}H)\]

1638:  s'ins{\`e}re dans un complexe hypoelliptique, le complexe de Rumin \cite{Rum:90,Rum:94}

1639: ; il en r{\'e}sulte en particulier que \( \Im d_{H} \) est ferm{\'e} dans \( \mathcal{H}^{k-1}(M,\Omega _{0}^{2}H) \).

1640: De plus, la diff{\'e}rentielle de \( P \) en \( \psi _{0} \) n'est autre que 

1641: \[

1642: \xi \longrightarrow \mathcal{L}_{\xi }d(f\eta )=d\iota _{\xi }d(f\eta );\]

1643: en particulier, la diff{\'e}rentielle en \( \pi  \) est (en notant \( \flat =\#^{-1} \))

1644: \[

1645: \xi \longrightarrow d(\flat \xi )\]

1646: qui est une application submersive 

1647: \[

1648: \mathcal{H}^{k}(M,H)\longrightarrow \Im d_{H}\cap \mathcal{H}^{k-1}(M,\Omega _{0}^{2}H).\]

1649:  Plus g{\'e}n{\'e}ralement, la diff{\'e}rentielle reste submersive en \( \psi _{0} \) tant

1650: que la fonction \( f \) plus haut ne s'annule pas ; on en d{\'e}duit finalement

1651: que \( P^{-1}(0) \) est une sous-vari{\'e}t{\'e} hilbertienne de \( H^{k}(X,Y) \)

1652: : 

1653: 

1654: \begin{lem}

1655: \label{lem-Pssvar}L'espace \( \mathcal{P}_{0}^{k} \) des applications \( \psi :M\rightarrow X \)

1656: satisfaisant (\ref{con-phi*omega}), telles que \( \psi ^{*}\omega  \) demeure

1657: non d{\'e}g{\'e}n{\'e}r{\'e}e sur \( H \), est une sous-vari{\'e}t{\'e} hilbertienne de \( \mathcal{H}^{k}(M,X) \),

1658: avec espace tangent en \( \pi  \) repr{\'e}sent{\'e} par les champs de vecteurs horizontaux

1659: \( \xi  \) de r{\'e}gularit{\'e} \( \mathcal{H}^{k} \) tels que \( d_{H}(\flat \xi )=0 \).

1660: \end{lem}

1661: 

1662: \subsection{Rel{\`e}vement}

1663: 

1664: On a vu que si \( \varphi :M\rightarrow M \) est de contact, alors \( \psi =\pi \circ \varphi  \)

1665: satisfait la condition (\ref{con-phi*omega}). Le lemme suivant montre que l'on

1666: peut presque r{\'e}cup{\'e}rer le contactomorphisme \( \varphi  \) {\`a} partir de \( \psi  \).

1667: 

1668: \begin{lem}

1669: \label{lem-rel}Supposons \( M \) simplement connexe. Si \( \psi :M\rightarrow X \)

1670: satisfait (\ref{con-phi*omega}), alors on peut relever \( \psi  \) en un contactomorphisme

1671: \( \varphi :M\rightarrow M \) ; ce rel{\`e}vement est unique, {\`a} la composition

1672: pr{\`e}s par l'action d'un {\'e}l{\'e}ment de \( S^{1} \).

1673: \end{lem}

1674: \begin{proof}

1675: On fixe un point de base \( m\in M \), et on choisit un rel{\`e}vement \( \mu \in M \)

1676: du point \( \psi (m) \) ; {\'e}tant donn{\'e} un chemin horizontal \( c(t) \) dans

1677: \( M \) allant de \( m \) {\`a} \( p\in M \), il y a un unique rel{\`e}vement horizontal

1678: \( \mu (t) \) {\`a} \( M \) du chemin \( \psi (c(t)) \), tel que \( \mu (0)=\mu  \).

1679: \begin{claim*}

1680: Le rel{\`e}vement \( \mu (1) \) de \( \psi (p) \) ne d{\'e}pend pas du chemin choisi.

1681: \end{claim*}

1682: Supposons cette affirmation acquise : alors on a d{\'e}fini un rel{\`e}vement \( \varphi :M\rightarrow M \)

1683: de \( \psi  \) qui par construction envoie les directions horizontales sur

1684: les directions horizontales. Le seul choix est celui du relev{\'e} de \( \psi (m) \),

1685: et une modification de ce relev{\'e} entra{\^\i}ne simplement la composition de \( \varphi  \)

1686: avec un {\'e}l{\'e}ment de \( S^{1} \).

1687: 

1688: Passons maintenant {\`a} la d{\'e}monstration de l'affirmation ci-dessus. Supposons

1689: que l'on ait un lacet \( c(t) \) dans \( M \), donc \( c(0)=c(1)=m \). Il

1690: s'agit de montrer que pour le rel{\`e}vement \( \mu  \), on a \( \mu (1)=\mu (0)=p \).

1691: Puisque \( M \) est simplement connexe, il existe (voir par exemple \cite{All:98})

1692: un disque legendrien dont le bord est ce lacet, c'est-{\`a}-dire que l'on peut trouver

1693: une homotopie legendrienne \( c(s,t)\in M \), telle que 

1694: \begin{eqnarray*}

1695: c(1,t) & = & c(t),\\

1696: c(0,t) & = & m,\\

1697: c(s,0)=c(s,1) & = & m,\\

1698: c^{*}\eta  & = & 0.

1699: \end{eqnarray*}

1700:  On peut relever \( t\rightarrow \varphi (c(s,t)) \) en un chemin horizontal

1701: \( t\rightarrow \mu (s,t) \), avec \( \mu (s,0)=\mu  \). Maintenant, on a

1702: \begin{equation}

1703: \label{int-mu*deta}

1704: \int _{[0,1]\times [0,1]}\mu ^{*}d\eta =\int _{\partial ([0,1]\times [0,1])}\mu ^{*}\eta =\int _{[0,1]}\mu (\cdot ,1)^{*}\eta ,

1705: \end{equation}

1706:  le chemin \( \mu (s,1) \) vit dans une fibre \( S^{1} \) donn{\'e}e, donc l'int{\'e}grale

1707: (\ref{int-mu*deta}) s'annule exactement quand \( \mu (0,1)=\mu (1,1) \), c'est-{\`a}-dire

1708: quand \( \mu (1)=p \) ; d'un autre c{\^o}t{\'e}, par hypoth{\`e}se, 

1709: \[

1710: \mu ^{*}d\eta =\mu ^{*}\pi ^{*}\omega =c^{*}\Phi ^{*}\omega =c^{*}(\eta \wedge \alpha +fd\eta )=0,\]

1711:  {\`a} cause de la condition \( c^{*}\eta =0 \), donc l'int{\'e}grale (\ref{int-mu*deta})

1712: est bien nulle.

1713: \end{proof}

1714: 

1715: \subsection{Param{\'e}trisation des contactomorphismes}

1716: 

1717: Nous pouvons {\`a} pr{\'e}sent proposer la param{\'e}trisation suivante des contactomorphismes

1718: de \( M \) qui sont proches de l'identit{\'e}. Fixons un point \( m\in M \) et

1719: une section locale \( \sigma :X\rightarrow M \) de \( \pi  \) telle que \( \sigma (\pi (m))=m \).

1720: Pour \( \psi :M\rightarrow X \) satisfaisant la condition (\ref{con-phi*omega}),

1721: notons \( \tilde{\psi } \) le relev{\'e} de \( \psi  \) construit par le lemme

1722: \ref{lem-rel}, tel que \( \tilde{\psi }(m)=\sigma (\psi (m)) \). Nous pouvons

1723: r{\'e}crire le lemme \ref{lem-rel} de la mani{\`e}re suivante :

1724: 

1725: \begin{lem}

1726: Si \( M \) est simplement connexe, alors tout contactomorphisme \( \varphi  \)

1727: de \( M \), proche de l'identit{\'e}, ayant \( k \) d{\'e}riv{\'e}es horizontales, s'{\'e}crit

1728: de mani{\`e}re unique \( \varphi =u\circ \tilde{\psi } \), avec \( u\in S^{1} \)

1729: et \( \psi \in \mathcal{P}^{k} \).

1730: \end{lem}

1731: Maintenant, par le lemme \ref{lem-Pssvar}, nous avons une bonne param{\'e}trisation

1732: de \( \mathcal{P}^{k} \) : en effet, puisque \( \mathcal{P}^{k} \) est une

1733: vari{\'e}t{\'e} hilbertienne, nous avons une carte locale 

1734: \[

1735: \Psi :T_{\pi }\mathcal{P}^{k}\longrightarrow \mathcal{P}^{k},\]

1736:  d{\'e}finie sur une petite boule de \( T_{\pi }\mathcal{P}^{k}=\{\alpha \in \mathcal{H}^{k}(M,H^{*}),d_{H}\alpha =0\} \)

1737: ; or la cohomologie du complexe de Rumin calcule la cohomologie DeRham, donc,

1738: si \( H^{1}(M,\mathbf{R})=0 \), on peut param{\'e}trer les \( \alpha  \) par 

1739: \[

1740: \alpha =d_{H}f,\quad f\in \mathcal{H}^{k+1},\quad \int _{M}f=0.\]

1741:  Finalement, {\'e}tant donn{\'e}e \( f\in \mathcal{H}^{k+1}, \) suffisamment petite,

1742: on peut poser 

1743: \begin{equation}

1744: \label{for-carte}

1745: \begin{array}{rl}

1746: u & =\exp \int _{M}f,\\

1747: \psi  & =\Psi (d_{H}f),

1748: \end{array}\qquad \varphi =u\circ \tilde{\psi },

1749: \end{equation}

1750:  et on a d{\'e}montr{\'e} le r{\'e}sultat suivant :

1751: 

1752: \begin{thm}

1753: \label{th-par-contact}Si \( M \) est simplement connexe, l'application (\ref{for-carte})

1754: constitue une param{\'e}trisation locale des contactomorphismes de \( M \), proches

1755: de l'identit{\'e}, et ayant \( k \) d{\'e}riv{\'e}es horizontales, par des fonctions de

1756: r{\'e}gularit{\'e} \( \mathcal{H}^{k+1} \). \qed 

1757: \end{thm}

1758: Cette param{\'e}trisation nous fournit sur les contactomorphismes proches de l'identit{\'e}

1759: la structure de vari{\'e}t{\'e} hilbertienne que nous utiliserons dans la suite. On

1760: notera \( \mathcal{G}^{k} \) le groupe des contactomorphismes de \( M \) avec

1761: \( k \) d{\'e}riv{\'e}es horizontales dans \( L^{2} \).

1762: 

1763: 

1764: \section{\label{sec6}Jauge de Coulomb}

1765: 

1766: Revenons {\`a} pr{\'e}sent {\`a} l'espace des twisteurs \( \mathcal{T} \), qui n'est autre

1767: que le \( S^{1} \)-fibr{\'e} \( \mathcal{O}(-1,1) \) au-dessus de \( P^{1}\times P^{1} \).

1768: {\'E}tant donn{\'e}e une perturbation \( \phi \in \Omega ^{0,1}\otimes T^{1,0} \) de

1769: la structure CR, on cherche {\`a} quelle condition existe une action de \( S^{1} \)

1770: du type produit par le corollaire \ref{cor-ex-disques}. Tout d'abord on a le

1771: r{\'e}sultat suivant.

1772: 

1773: \begin{lem}

1774: Une action de \( S^{1} \) par contactomorphismes sur \( \mathcal{T} \), proche

1775: de l'action donn{\'e}e, lui est conjugu{\'e}e par un contactomorphisme.

1776: \end{lem}

1777: \begin{proof}

1778: L'action de \( S^{1} \) nous fournit une nouvelle forme de contact, \( \eta ' \),

1779: dont la diff{\'e}rentielle provient de la base \( P^{1}\times P^{1} \) : 

1780: \[

1781: d\eta '=\pi ^{*}\omega ',\]

1782:  o{\`u} \( \omega ' \) est une 2-forme ferm{\'e}e, repr{\'e}sentant ({\`a} une constante pr{\`e}s)

1783: le \( c_{1} \) du fibr{\'e}, et donc dans la m{\^e}me classe de cohomologie que \( \omega  \)

1784: ; si \( \omega ' \) est proche de \( \omega  \), alors, par le lemme de Moser,

1785: \( \omega ' \) s'en d{\'e}duit par un diff{\'e}omorphisme, qui se rel{\`e}ve aux \( S^{1} \)-fibr{\'e}s

1786: en un diff{\'e}omorphisme envoyant \( \eta  \) sur \( \eta ' \).

1787: \end{proof}

1788: Ce lemme signifie qu'au lieu de chercher une action de \( S^{1} \) pour laquelle

1789: les coefficients de Fourier de \( \phi  \) soient positifs ou nuls, il suffit

1790: de chercher un contactomorphisme \( \varphi  \) de \( \mathcal{T} \) tel que

1791: \( \varphi ^{*}\phi  \) soit {\`a} coefficients de Fourier positifs ou nuls par

1792: rapport {\`a} l'action standard de \( S^{1} \). 

1793: 

1794: L'action des contactomorphismes sur les structures CR s'apparente {\`a} l'action

1795: d'un groupe de jauge. L'id{\'e}e est alors, {\`a} l'instar de Bland \cite{Bla:94} sur

1796: \( S^{3} \), de trouver une jauge de Coulomb permettant de fixer le contactomorphisme

1797: ; cette jauge sera choisie de sorte de tuer autant de coefficients n{\'e}gatifs

1798: que possible dans \( \phi  \).

1799: 

1800: \begin{lem}

1801: \label{lem-act-lisse}Le groupe \( \mathcal{G}^{k+1} \) agit de mani{\`e}re lisse

1802: sur \( \mathcal{H}^{k}(\Omega ^{0,1}\otimes T^{1,0}) \) par \( \phi \rightarrow \varphi ^{*}\phi  \)

1803: ; l'application tangente {\`a} l'action en l'origine est 

1804: \[

1805: f\in \mathcal{H}^{k+2}\longrightarrow \overline{\partial }_{H}\#\overline{\partial }f,\]

1806:  et son image est ferm{\'e}e. 

1807: \end{lem}

1808: \begin{proof}

1809: Notons \( \psi =\pi \circ \varphi  \), o{\`u} \( \pi  \) est la projection \( \mathcal{T}\rightarrow P^{1}\times P^{1} \)

1810: ; on sait que \( \varphi \in \mathcal{G}^{\mathcal{k}+1} \) signifie essentiellement

1811: que \( \psi \in \mathcal{H}^{\mathcal{k}+1}(\mathcal{T},P^{1}\times P^{1}) \)

1812: ; l'action de \( \varphi  \) sur \( \phi  \) consiste {\`a} d{\'e}placer le graphe

1813: de \( 1+\phi  \), ce qui se traduit par 

1814: \begin{eqnarray*}

1815: (\varphi ^{*}\phi )_{x} & = & \pi _{1,0}\circ (T_{x}\varphi )^{-1}\circ (1+\phi _{\varphi (x)})\circ \big (\pi _{0,1}\circ (T_{x}\varphi )^{-1}\circ (1+\phi _{\varphi (x)})\big )^{-1}\\

1816:  & = & \pi _{1,0}\circ (T_{x}\psi )^{-1}\circ (1+\phi _{\varphi (x)})\circ \big (\pi _{0,1}\circ (T_{x}\psi )^{-1}\circ (1+\phi _{\varphi (x)})\big )^{-1},

1817: \end{eqnarray*}

1818:  o{\`u} \( \phi  \) est interpr{\'e}t{\'e} comme un morphisme \( \pi ^{*}T^{0,1}(P^{1}\times P^{1})\rightarrow \pi ^{*}T^{1,0}(P^{1}\times P^{1}) \)

1819: ; on d{\'e}duit alors facilement la r{\'e}gularit{\'e} annonc{\'e}e, {\`a} partir du lemme \ref{lem-FS-alg}.

1820: 

1821: La diff{\'e}rentielle en \( f \) de l'action de \( \mathcal{G}^{k+1} \) modifie

1822: un vecteur de type (0,1), \( X, \) par 

1823: \[

1824: [X_{f},X]=[fR-\#df,X];\]

1825:  la structure complexe est modifi{\'e}e par 

1826: \[

1827: \phi _{X}=[X_{f},X]^{1,0}=[-\#\overline{\partial }f,X]^{1,0}=(\overline{\partial }_{H}\#\overline{\partial }f)_{X}.\]

1828: 

1829: 

1830: L'image de \( \overline{\partial }_{H}\#\overline{\partial } \) est ferm{\'e}e

1831: car l'op{\'e}rateur \( \overline{\partial } \) est hypoelliptique sur les 0-formes

1832: en signature (1,1), voir la d{\'e}monstration du corollaire \ref{cor-31}.

1833: \end{proof}

1834: \begin{cor}

1835: \label{cor-for-W}Supposons donn{\'e} dans \( \mathcal{H}^{k}(\Omega ^{0,1}\otimes T^{1,0}) \)

1836: un suppl{\'e}mentaire \( W \) de \( \Im \overline{\partial }_{H}\#\overline{\partial } \),

1837: invariant sous l'action des CR-automorphismes de \( \mathcal{T} \). Alors pour

1838: tout \( \phi  \) proche de \( 0 \), il existe un contactomorphisme \( \varphi  \),

1839: proche de l'identit{\'e}, tel que \( \varphi ^{*}\phi \in W \) ; de plus, \( \varphi  \)

1840: est unique modulo les CR-automorphismes de \( \mathcal{T} \).

1841: \end{cor}

1842: \begin{proof}

1843: L'existence d'un suppl{\'e}mentaire \( W \) vient de ce que l'image de \( \overline{\partial }_{H}\#\overline{\partial } \)

1844: est ferm{\'e}e par le lemme \ref{lem-act-lisse}. Le noyau de \( \overline{\partial }_{H}\#\overline{\partial } \)

1845: est form{\'e} des CR-automorphismes infinit{\'e}simaux ; dans le cas de \( \mathcal{T}=\partial \mathbf{H}H^{1}=\partial \mathbf{R}H^{4} \),

1846: le groupe des automorphismes CR est le groupe \( Sp_{1,1}=SO_{1,4} \), c'est-{\`a}-dire

1847: le groupe des transformations conformes de \( S^{3} \) (dont \( \mathcal{T} \)

1848: est l'espace des twisteurs), de dimension 10 ; consid{\'e}rons le sous-groupe 

1849: \[

1850: \mathcal{G}_{0}\subset \mathcal{G}\]

1851:  des contactomorphismes de \( \mathcal{T} \) fixant deux points, de sorte que

1852: \( \mathcal{G}/\mathcal{G}_{0}=SO_{1,4} \) ; consid{\'e}rons l'action de \( \mathcal{G}_{0} \)

1853: suivie de la projection sur \( \Im \overline{\partial }_{H}\#\overline{\partial } \)

1854: parall{\`e}lement {\`a} \( W \) : 

1855: \[

1856: F:\mathcal{G}_{0}^{k+1}\times \mathcal{H}^{k}(\Omega ^{0,1}\otimes T^{1,0})\rightarrow \mathcal{H}^{k}(\Omega ^{0,1}\otimes T^{1,0})\rightarrow \Im \overline{\partial }_{H}\#\overline{\partial },\]

1857:  alors la diff{\'e}rentielle de \( F \) par rapport {\`a} la premi{\`e}re variable est

1858: un isomorphisme, donc, par le th{\'e}or{\`e}me des fonctions implicites, l'{\'e}quation

1859: \( F(\varphi ,\phi )=0, \) que l'on peut r{\'e}crire 

1860: \[

1861: \varphi ^{*}\phi \in W,\]

1862:  a une unique solution proche de l'identit{\'e}, \( \varphi \in \mathcal{G}_{0}^{k+1} \),

1863: si \( \phi  \) est assez petit.

1864: \end{proof}

1865: \begin{lem}

1866: \label{lem-64}Comme suppl{\'e}mentaire \( W \) de \( \Im \overline{\partial }_{H}\#\overline{\partial } \),

1867: on peut choisir 

1868: \[

1869: W=(\Im \overline{\partial }_{H}\#\overline{\partial }\pi _{\leq 0})^{\perp },\]

1870:  o{\`u} \( \pi _{\leq 0} \) est la projection sur les coefficients de Fourier n{\'e}gatifs

1871: ou nuls.

1872: 

1873: Une structure CR int{\'e}grable \( \phi  \), proche de la structure standard, admet

1874: un remplissage holomorphe si et seulement si, dans la jauge de Coulomb \( \varphi ^{*}\phi \in W \)

1875: construite par le corollaire \ref{cor-for-W}, on a \( \varphi ^{*}\phi  \)

1876: {\`a} coefficients de Fourier positifs ou nuls.

1877: \end{lem}

1878: \begin{proof}

1879: Rappelons que nous regardons l'image des fonctions \emph{r{\'e}elles} ; si \( f \)

1880: est r{\'e}elle, alors les coefficients de Fourier positifs de \( f \) sont d{\'e}termin{\'e}s

1881: par ses coefficients de Fourier n{\'e}gatifs, et il en est de m{\^e}me pour l'image

1882: \( \overline{\partial }_{H}\#\overline{\partial }f \) , puisque \( \overline{\partial }_{H}\#\overline{\partial } \)

1883: commute {\`a} l'action de \( S^{1} \) ; on en d{\'e}duit que l'espace \( W \) propos{\'e}

1884: est bien un suppl{\'e}mentaire de \( \Im \overline{\partial }_{H}\#\overline{\partial } \). 

1885: 

1886: Pour montrer la seconde assertion, notons tout d'abord que si en jauge de Coulomb

1887: on a des coefficients de Fourier positifs ou nuls, alors le remplissage holomorphe

1888: existe par le lemme \ref{lem-fill-J} ; r{\'e}ciproquement, par le corollaire \ref{cor-ex-disques},

1889: si un remplissage existe, alors on a un contactomorphisme \( \varphi  \) tel

1890: que \( \varphi ^{*}\psi  \) soit {\`a} coefficients de Fourier positifs ou nuls

1891: ; il est clair que \( \varphi ^{*}\psi  \) est dans l'orthogonal de \( \Im \overline{\partial }_{H}\#\overline{\partial }\pi _{<0} \),

1892: mais a priori il n'y a pas de raison pour que \( \varphi ^{*}\psi  \) soit

1893: orthogonal aux composantes \( S^{1} \)-invariantes de \( \Im \overline{\partial }_{H}\#\overline{\partial }\pi  \)

1894: ; cependant, on peut obtenir aussi cette condition, comme dans le corollaire

1895: \ref{cor-for-W}, en composant \( \varphi  \) par un contactomorphisme qui

1896: sera cette fois \( S^{1} \)-invariant (et donc pr{\'e}servera l'annulation des

1897: coefficients strictement n{\'e}gatifs) ; par cons{\'e}quent, apr{\`e}s cette modification,

1898: \( \varphi ^{*}\phi \in W \), ce qui signifie, par unicit{\'e} de la jauge de Coulomb

1899: (aux CR-automorphismes pr{\`e}s), que \( \varphi  \) est le contactomorphisme mettant

1900: \( \phi  \) en jauge de Coulomb ; en particulier, dans cette jauge, seuls subsistent

1901: les coefficients de Fourier positifs ou nuls.

1902: \end{proof}

1903: 

1904: \section{\label{sec7}L'image du hessien complexe}

1905: 

1906: Pour utiliser plus concr{\`e}tement le lemme \ref{lem-64}, il faut d{\'e}terminer l'image

1907: du hessien complexe \( \overline{\partial }_{H}\#\overline{\partial } \). Pour

1908: cela, nous utilisons le fait important que l'espace des twisteurs \( \mathcal{T} \)

1909: est un espace homog{\`e}ne sous le groupe \( Sp_{1}Sp_{1} \). 

1910: 

1911: 

1912: \subsection{L'espace des twisteurs comme espace homog{\`e}ne}

1913: 

1914: Rappelons que par (\ref{dec-T}), l'espace des twisteurs \( \mathcal{T} \)

1915: est d{\'e}crit comme une hypersurface r{\'e}elle de \( P^{3} \) ; l'action de \( Sp_{1}Sp_{1} \)

1916: sur \( [z_{1}:z_{2}:z_{3}:z_{4}] \) est simplement donn{\'e}e par l'action sur

1917: chaque couple de coordonn{\'e}es \( (z_{1},z_{2}) \) et \( (z_{3},z_{4}) \) ;

1918: ainsi les actions de \( Sp_{1}Sp_{1} \) sur \( \mathcal{T} \) et sur \( P^{1}\times P^{1} \)

1919: sont-elles compatibles avec la projection \( \mathcal{T}\rightarrow P^{1}\times P^{1} \).

1920: En outre, l'action de \( Sp_{1}Sp_{1} \) pr{\'e}serve toutes les structures d'espace

1921: des twisteurs de \( \mathcal{T} \), c'est-{\`a}-dire la structure CR, la structure

1922: r{\'e}elle, la structure de contact holomorphe, et les \( P^{1} \) r{\'e}els ; on remarquera

1923: que, dans ce formalisme, la base de la projection twistorielle s'{\'e}crit comme

1924: le quotient \( S^{3}=Sp_{1}Sp_{1}/SO_{3} \).

1925: 

1926: D{\'e}composons l'alg{\`e}bre de Lie de \( Sp_{1} \) comme 

1927: \[

1928: \mathfrak {sp}_{1}=\mathfrak {u}_{1}\oplus \mathbf{R}^{2},\quad \mathfrak {u}_{1}=\left( \begin{array}{cc}

1929: * & 0\\

1930: 0 & *

1931: \end{array}\right) ,\quad \mathbf{R}^{2}=\left( \begin{array}{cc}

1932: 0 & *\\

1933: * & 0

1934: \end{array}\right) .\]

1935:  Le stabilisateur du point base, 

1936: \[

1937: *=[1:0:1:0],\]

1938:  est un \( U_{1} \) plong{\'e} diagonalement dans \( Sp_{1}Sp_{1} \), de sorte

1939: que \( \mathcal{T}=Sp_{1}Sp_{1}/U_{1} \) ; on a donc la d{\'e}composition 

1940: \begin{eqnarray*}

1941: \mathfrak {sp}_{1}\oplus \mathfrak {sp}_{1} & = & \mathfrak {u}_{1}\oplus \mathfrak {u}_{1}\oplus \mathbf{R}^{2}\oplus \mathbf{R}^{2}\\

1942:  & = & \mathfrak {u}^{+}_{1}\oplus \mathfrak {m},\\

1943: \mathfrak {m} & = & \mathfrak {u}^{-}_{1}\oplus \mathbf{R}^{2}\oplus \mathbf{R}^{2},

1944: \end{eqnarray*}

1945: o{\`u} \( \mathfrak {u}^{+}_{1}=\{(x,x)\in \mathfrak {u}_{1}\oplus \mathfrak {u}_{1}\} \)

1946: est le stabilisateur de \( * \) et \( \mathfrak {m} \) son orthogonal ; le

1947: \( \mathfrak {u}^{-}_{1}=\{(x,-x)\in \mathfrak {u}_{1}\oplus \mathfrak {u}_{1}\} \)

1948: repr{\'e}sente la direction du champ de Reeb, et \( \mathbf{R}^{2}\oplus \mathbf{R}^{2} \)

1949: les directions de contact, munies de la structure CR naturelle.

1950: 

1951: Cette description fournit une identification naturelle du fibr{\'e} tangent de \( \mathcal{T} \)

1952: et de la distribution de contact \( H \) comme fibr{\'e}s homog{\`e}nes : 

1953: \[

1954: T\mathcal{T}=Sp_{1}Sp_{1}\times _{U_{1}}\mathfrak {m},\quad H=Sp_{1}Sp_{1}\times _{U_{1}}(\mathbf{R}^{2}\oplus \mathbf{R}^{2}).\]

1955:  La modification \( \phi  \) de la structure CR s'{\'e}crit comme une section ({\'e}quivariante)

1956: de \( \mathfrak {m}^{0,1}\otimes \mathfrak {m}_{1,0} \), soit, en choisissant

1957: une base \( (e_{1},e_{2}) \) de \( \mathfrak {m}_{1,0} \),

1958: \[

1959: \phi =\phi _{\overline{\imath }}^{j}e^{\overline{\imath }}\otimes e_{j}.\]

1960:  

1961: 

1962: La courbure du \( S^{1} \)-fibr{\'e} s'{\'e}crit \( F=-(e^{1}\wedge e^{\overline{1}}-e^{2}\wedge e^{\overline{2}}) \),

1963: de sorte que la condition \( \phi \lrcorner F=0 \) de (\ref{int-bord}) devient

1964: \begin{equation}

1965: \label{Rphi}

1966: \phi _{\overline{2}}^{1}+\phi ^{2}_{\overline{1}}=0.

1967: \end{equation}

1968: 

1969: 

1970: Si \( \phi  \) provient de la construction twistorielle, telle que d{\'e}crite

1971: dans la section \ref{sec11}, alors \( \phi  \) doit pr{\'e}server les \( P^{1} \)

1972: r{\'e}els ; or le \( T^{1,0} \) des \( P^{1} \) r{\'e}els est engendr{\'e} par \( e_{1}+e_{2}, \)

1973: ce qui conduit {\`a} la condition 

1974: \begin{equation}

1975: \label{phiP1}

1976: \phi _{\overline{1}}^{1}+\phi _{\overline{2}}^{1}-\phi _{\overline{1}}^{2}-\phi _{\overline{2}}^{2}=0.

1977: \end{equation}

1978: 

1979: 

1980: Enfin, l'op{\'e}rateur \( \#:\mathfrak {m}^{0,1}\rightarrow \mathfrak {m}_{1,0} \)

1981: est donn{\'e} par 

1982: \begin{equation}

1983: \label{diese}

1984: \#e^{\overline{1}}=-ie_{1},\quad \#e^{\overline{2}}=ie_{2}.

1985: \end{equation}

1986: 

1987: 

1988: 

1989: \subsection{D{\'e}composition harmonique}

1990: 

1991: L'id{\'e}e est bien s{\^u}r d'utiliser la d{\'e}composition harmonique sous les repr{\'e}sentations

1992: irr{\'e}ductibles de \( Sp_{1}Sp_{1} \) pour comprendre l'image de l'op{\'e}rateur

1993: homog{\`e}ne \( \overline{\partial }_{H}\#\overline{\partial } \). Notons \( \sigma ^{k}=Sym^{k}\mathbf{C}^{2} \)

1994: les repr{\'e}sentations irr{\'e}ductibles de \( Sp_{1} \) ; les repr{\'e}sentations irr{\'e}ductibles

1995: \( \rho  \) de \( Sp_{1}\times Sp_{1} \) sont simplement les produits des

1996: repr{\'e}sentations des deux facteurs, 

1997: \[

1998: V_{\rho }=\sigma ^{K}\otimes \sigma ^{L},\]

1999:  elles descendent {\`a} \( Sp_{1}Sp_{1}=Sp_{1}\times Sp_{1}/\mathbf{Z}_{2} \) si

2000: \( K+L \) est pair.

2001: 

2002: Si l'on dispose d'un fibr{\'e} homog{\`e}ne \( E=Sp_{1}Sp_{1}\times _{\rho _{0}}W \),

2003: o{\`u} \( \rho _{0} \) est une repr{\'e}sentation de \( U_{1} \) dans \( W \), alors

2004: l'espace de ses sections \( L^{2} \) se d{\'e}compose comme une somme directe hilbertienne,

2005: \[

2006: L^{2}(E)=\sum _{\rho }V_{\rho }\otimes \hom _{U_{1}}(V_{\rho },W),\]

2007:  o{\`u} un {\'e}l{\'e}ment \( v\otimes w\in V_{\rho }\otimes \hom _{U_{1}}(V_{\rho },W) \)

2008: correspond {\`a} la section de \( E \) sur \( \mathcal{T} \) donn{\'e}e par l'application

2009: {\'e}quivariante \( s:Sp_{1}Sp_{1}\rightarrow W \), d{\'e}finie par 

2010: \[

2011: s(g)=\left\langle w,\rho (g^{-1})v\right\rangle .\]

2012:  

2013: 

2014: Regardons comment d{\'e}crire l'action de la structure r{\'e}elle : rappelons que, par

2015: (\ref{def-tau-N}), la structure r{\'e}elle s'{\'e}crit \( \tau ([z^{1}:z^{2}:z^{3}:z^{4}])=[-\overline{z^{2}}:\overline{z^{1}}:-\overline{z^{4}}:\overline{z^{3}}] \)

2016: ; en particulier, pour le point base \( * \), on a 

2017: \[

2018: \tau ([1:0:1:0])=[0:1:0:1]=g_{0}([1:0:1:0]),\]

2019: avec 

2020: \[

2021: g_{0}=\left( \begin{array}{cc}

2022: 0 & i\\

2023: i & 0

2024: \end{array}\right) \in Sp_{1}^{diag}\subset Sp_{1}Sp_{1};\]

2025:  on notera que \( g_{0}^{2}=-1 \) dans \( Sp_{1} \), donc \( g_{0}^{2}=1 \)

2026: dans \( Sp_{1}Sp_{1} \). Puisque la structure r{\'e}elle commute {\`a} l'action de

2027: \( Sp_{1}Sp_{1} \), on d{\'e}duit que, pour une fonction \( f(g)=\left\langle w,\rho (g^{-1})v\right\rangle  \),

2028: on a 

2029: \begin{eqnarray}

2030: \tau ^{*}f(g*) & = & f(\tau g*)\nonumber \\

2031:  & = & f(g\tau *)\nonumber \\

2032:  & = & f(gg_{0}*)\nonumber \\

2033:  & = & \left\langle w\circ \rho (g_{0}^{-1}),\rho (g^{-1})v\right\rangle .\label{tau*f} 

2034: \end{eqnarray}

2035:  De mani{\`e}re similaire, on obtient, si \( \phi (g*)=g_{*}\left\langle w,\rho (g^{-1})v\right\rangle  \),

2036: \begin{eqnarray}

2037: \tau ^{*}\overline{\phi }(g*) & = & \tau _{*}\overline{\phi }(\tau g*)\nonumber \\

2038:  & = & \tau _{*}(gg_{0})_{*}\left\langle \overline{w}\circ \rho (g_{0})^{-1},\rho (g^{-1})v\right\rangle \nonumber \\

2039:  & = & g_{*}(\tau g_{0})_{*}\left\langle \overline{w}\circ \rho (g_{0})^{-1},\rho (g^{-1})v\right\rangle ;\label{cal-tau-phi} 

2040: \end{eqnarray}

2041:  en prenant des coordonn{\'e}es complexes \( (z^{2},z^{4}) \) sur \( \mathbf{R}^{2}\oplus \mathbf{R}^{2} \),

2042: comme dans le calcul menant {\`a} la formule (\ref{def-etac}), on voit que 

2043: \[

2044: (\tau g_{0})_{*}(z^{2},z^{4})=-(\overline{z^{2}},\overline{z^{4}});\]

2045:  en particulier, si \( w=w_{\overline{\imath }}^{j}e^{\overline{\imath }}\otimes e_{j} \),

2046: alors 

2047: \[

2048: \tau 'w:=(\tau g_{0})_{*}\overline{w}=\overline{w_{\overline{\imath }}^{j}}e^{\overline{\imath }}\otimes e_{j}\]

2049:  est anti-\( \mathbf{C} \)-lin{\'e}aire et anti-\( U_{1} \)-invariant (car \( g_{0} \)

2050: anticommute {\`a} l'action de \( U_{1} \)) ; comme nous regardons \( Sp_{1}Sp_{1} \)

2051: plut{\^o}t que le produit \( Sp_{1}\times Sp_{1} \), la repr{\'e}sentation \( V_{\rho }=\sigma ^{K}\otimes \sigma ^{L} \)

2052: (avec \( K+L \) pair) admet toujours une structure r{\'e}elle \( \tau _{\rho } \),

2053: ce qui nous permet d'{\'e}crire finalement 

2054: \begin{equation}

2055: \label{tau*phi}

2056: \tau ^{*}\overline{\phi }(g*)=g_{*}\left\langle \tau 'w\circ \rho (g_{0}^{-1})\circ \tau _{\rho },\rho (g^{-1})\tau _{\rho }v\right\rangle ;

2057: \end{equation}

2058:  dans cette formule, on notera que \( \tau 'w\circ \rho (g_{0}^{-1})\circ \tau _{\rho } \)

2059: est bien maintenant un {\'e}l{\'e}ment de \( \hom _{U_{1}}(V_{\rho },\mathfrak {m}^{0,1}\otimes \mathfrak {m}_{1,0}) \),

2060: donc on a bien repr{\'e}sent{\'e} \( \tau ^{*}\overline{\phi } \) dans la d{\'e}composition

2061: harmonique. 

2062: 

2063: De la m{\^e}me mani{\`e}re, si on a une fonction \( f=\left\langle w,\rho (g^{-1})v\right\rangle  \),

2064: alors on peut repr{\'e}senter sa conjugu{\'e}e comme 

2065: \begin{equation}

2066: \label{f-bar}

2067: \overline{f}=\left\langle \overline{w}\circ \tau _{\rho },\rho (g^{-1})\tau _{\rho }v\right\rangle .

2068: \end{equation}

2069: 

2070: 

2071: Passons maintenant {\`a} l'op{\'e}rateur \( \overline{\partial } \) : fixons dans chaque

2072: facteur de \( (\mathfrak {sp}_{1}\oplus \mathfrak {sp}_{1})\otimes \mathbf{C} \)

2073: le \( \mathfrak {sl}_{2} \)-triplet \( (H_{i},X_{i},Y_{i})_{i=1,2} \) 

2074: \[

2075: H_{i}=\left( \begin{array}{cc}

2076: 1 & 0\\

2077: 0 & -1

2078: \end{array}\right) ,\quad X_{i}=\left( \begin{array}{cc}

2079: 0 & 1\\

2080: 0 & 0

2081: \end{array}\right) ,\quad Y_{i}=\left( \begin{array}{cc}

2082: 0 & 0\\

2083: 1 & 0

2084: \end{array}\right) ;\]

2085:  on notera que les \( Y_{i} \) engendrent \( \mathfrak {m}_{0,1} \), \( \mathfrak {m}_{1,0} \)

2086: l'{\'e}tant par les \( X_{i} \) ; la notation \( (X_{i},Y_{i}) \) est donc redondante

2087: avec \( (e_{i},e_{\overline{\imath }}) \), mais sera utilis{\'e}e quand on voudra

2088: souligner l'aspect repr{\'e}sentation de \( \mathfrak {sl}_{2} \). 

2089: 

2090: De ce point de vue, une repr{\'e}sentation \( V_{\rho }=\sigma ^{K}\otimes \sigma ^{L} \)

2091: se d{\'e}compose en sous-espaces propres de dimension 1 pour les valeurs propres

2092: \( ((k=K,K-2,...,-K),(l=L,L-2,...,-L)) \) du couple \( (H_{1},H_{2}) \) :

2093: \[

2094: V_{\rho }=\sum _{k,l}V_{\rho }(k,l);\]

2095: l'action de \( Y_{1} \) (resp. \( Y_{2} \)) diminue le poids \( k \) (resp.

2096: \( l \)) de 2 : 

2097: \[

2098: \begin{array}{ccc}

2099: V(k-2,l) & \stackrel{{Y_{1}}}{\longleftarrow } & V(k,l)\\

2100:  &  & \downarrow Y_{2}\\

2101:  &  & V(k,l-2)

2102: \end{array}.\]

2103: 

2104: 

2105: Nous pouvons maintenant traduire la condition infinit{\'e}simale \( \overline{\partial }_{H}\phi =0 \)

2106: issue de (\ref{int-bord}) en termes de cette d{\'e}composition harmonique : {\'e}crivons

2107: \( \phi =\sum \left\langle w,\rho (g^{-1})v\right\rangle  \), o{\`u} \( v\otimes w\in V_{\rho }\otimes \hom _{U_{1}}(V_{\rho },\mathfrak {m}^{0,1}\otimes \mathfrak {m}_{1,0}) \),

2108: alors, pour \( \dot{g}\in \mathfrak {m}_{0,1} \), on a 

2109: \[

2110: \nabla ^{0,1}\phi (g\dot{g})=\sum \left\langle w\circ \rho _{*}(\dot{g}),\rho (g^{-1})v\right\rangle ,\]

2111:  si bien que la condition \( \overline{\partial }_{H}\phi =0 \) devient 

2112: \begin{equation}

2113: \label{dbar-phi}

2114: w_{\overline{2}}\rho _{*}(Y_{1})-w_{\overline{1}}\rho _{*}(Y_{2})=0.

2115: \end{equation}

2116: 

2117: 

2118: Passons au hessien complexe \( \overline{\partial }_{H}\#\overline{\partial } \)

2119: agissant sur les fonctions : pour une fonction \( f=\left\langle w,\rho (g^{-1})v\right\rangle  \),

2120: on obtient 

2121: \[

2122: \overline{\partial }_{H}\#\overline{\partial }f=\left\langle \#(w\circ \rho _{*})\circ \rho _{*},\rho (g^{-1})v\right\rangle ,\]

2123:  o{\`u} \( \#(w\circ \rho _{*})\circ \rho _{*}\in \hom _{U_{1}}(V_{\rho },\mathfrak {m}^{0,1}\otimes \mathfrak {m}_{1,0}) \)

2124: ; plus concr{\`e}tement, en {\'e}crivant \( \#(w\circ \rho _{*})\circ \rho _{*}=\phi _{\overline{\imath }}^{j}e^{\overline{\imath }}\otimes e_{j} \),

2125: on obtient 

2126: \begin{equation}

2127: \label{cal-phi}

2128: \begin{array}{rcl}

2129: \phi _{\overline{1}}^{1} & = & -iw\circ (\rho _{*}Y_{1})^{2},\\

2130: \phi _{\overline{1}}^{2} & = & iw\circ \rho _{*}Y_{2}\circ \rho _{*}Y_{1},\\

2131: \phi _{\overline{2}}^{1} & = & -iw\circ \rho _{*}Y_{1}\circ \rho _{*}Y_{2},\\

2132: \phi _{\overline{2}}^{2} & = & iw\circ (\rho _{*}Y_{2})^{2}.

2133: \end{array}

2134: \end{equation}

2135:  Du point de vue des poids, \( \phi  \) d{\'e}pend de \( w \) de la mani{\`e}re suivante

2136: : 

2137: 

2138: \begin{itemize}

2139: \item \( \phi _{\overline{1}}^{1}(k,l) \) est d{\'e}termin{\'e} par \( w(k-4,l) \) ;

2140: \item \( \phi _{\overline{1}}^{2}(k,l)=-\phi _{\overline{2}}^{1}(k,l) \) est d{\'e}termin{\'e}

2141: par \( w(k-2,l-2) \) ;

2142: \item \( \phi _{\overline{2}}^{2}(k,l) \) est d{\'e}termin{\'e} par \( w(k,l-4) \).

2143: \end{itemize}

2144: Notons que la compatibilit{\'e} {\`a} la structure r{\'e}elle s'{\'e}crit \( \tau ^{*}\overline{\phi }=\phi  \)

2145: et est impliqu{\'e}e, si \( \phi =\overline{\partial }_{H}\#\overline{\partial }f \),

2146: par la condition \( \tau ^{*}\overline{f}=-f \) (soit \( \tau ^{*}f=-f \)

2147: puisque \( f \) est r{\'e}elle).

2148: 

2149: Enfin, nous avons une action de \( S^{1} \) sur \( \mathcal{T} \), donn{\'e}e

2150: par 

2151: \[

2152: u[z^{1}:z^{2}:z^{3}:z^{4}]=[uz^{1}:uz^{2}:z^{3}:z^{4}];\]

2153:  cette action n'est pas fournie par un {\'e}l{\'e}ment du groupe \( Sp_{1}Sp_{1} \)

2154: (contrairement {\`a} \( Sp_{1}Sp_{1} \), elle ne pr{\'e}serve pas la structure r{\'e}elle),

2155: mais elle commute {\`a} l'action de \( Sp_{1}Sp_{1} \), et va donc pr{\'e}server les

2156: d{\'e}compositions harmoniques ; sur le point base \( * \), on a, pour \( u\in S^{1} \),

2157: \[

2158: u*=[u:0:1:0]\]

2159:  qui est {\'e}gal {\`a} l'action de \( u\times 1\in Sp_{1}Sp_{1} \) sur \( * \) ;

2160: par cons{\'e}quent, si on a une section \( s(g*)=g_{*}\left\langle w,\rho (g^{-1})v\right\rangle  \)

2161: d'un fibr{\'e} tensoriel \( E \) sur \( \mathcal{T} \), alors, comme dans le calcul

2162: de (\ref{cal-tau-phi}), on obtient 

2163: \[

2164: u_{*}s(g*)=g_{*}\left\langle u(u\times 1)^{-1}\circ w\circ \rho (u\times 1),\rho (g^{-1})v\right\rangle ;\]

2165:  notons que 

2166: \begin{equation}

2167: \label{act-U1-E}

2168: u(u\times 1)^{-1}[1:z^{2}:1:z^{4}]=[1:u^{2}z^{2}:1:z^{4}];

2169: \end{equation}

2170:  dans la d{\'e}composition 

2171: \[

2172: \hom _{U_{1}}(V_{\rho },E)=\sum \hom _{U_{1}}(V_{\rho }(k,l),E),\]

2173:  les poids de l'action de \( S^{1} \) sont donc les sommes des \( k \) et

2174: des poids de l'action de \( S^{1} \) sur \( E \) par (\ref{act-U1-E}) ; en

2175: particulier, pour \( E=\mathfrak {m}^{0,1}\otimes \mathfrak {m}_{1,0} \), les

2176: poids de l'action (\ref{act-U1-E}) sont 

2177: \begin{eqnarray}

2178: -4 & \textrm{sur} & e^{\overline{1}}\otimes e_{1},\nonumber \\

2179: -2 & \textrm{sur} & e^{\overline{1}}\otimes e_{2},\, e^{\overline{2}}\otimes e_{1},\label{poids-S1} \\

2180: 0 & \textrm{sur} & e^{\overline{2}}\otimes e_{2};\nonumber 

2181: \end{eqnarray}

2182:  on v{\'e}rifie ais{\'e}ment dans (\ref{cal-phi}) que, comme il se doit, l'op{\'e}rateur

2183: \( \overline{\partial }_{H}\#\overline{\partial } \), commutant {\`a} l'action

2184: de \( S^{1} \), pr{\'e}serve ses poids.

2185: 

2186: 

2187: \subsection{Calcul de l'image}

2188: 

2189: Nous sommes maintenant pr{\^e}ts {\`a} calculer l'image du hessien complexe, en tenant

2190: compte de l'action de \( S^{1} \) ; nous fixons une repr{\'e}sentation \( V_{\rho }=V^{K,L} \)

2191: de \( Sp_{1}Sp_{1} \) et voulons comprendre l'image des fonctions r{\'e}elles par

2192: \( \overline{\partial }_{H}\#\overline{\partial } \), en nous int{\'e}ressant plus

2193: particuli{\`e}rement aux composantes {\`a} poids n{\'e}gatif par rapport {\`a} l'action de \( S^{1} \). 

2194: 

2195: Nous partons d'un 

2196: \[

2197: \phi =\left\langle w,\rho (g^{-1})v\right\rangle ,\quad w\in \hom _{U_{1}}(V_{\rho },\mathfrak {m}^{0,1}\otimes \mathfrak {m}_{1,0});\]

2198:  remarquons que le poids de l'action de \( U_{1} \) sur \( \mathfrak {m}^{0,1}\otimes \mathfrak {m}_{1,0} \)

2199: est {\'e}gal {\`a} \( 4 \), donc les seules composantes de \( w \) non triviales sur

2200: la d{\'e}composition \( V_{\rho }=\sum V(k,l) \) sont {\`a} \( k+l=4 \). De plus les

2201: coefficients \( w_{\overline{\imath }}^{j} \) satisfont les conditions (\ref{Rphi})

2202: et (\ref{dbar-phi}) : la seconde condition signifie que \( w_{\overline{2}}(k,l) \)

2203: est d{\'e}termin{\'e} par \( w_{\overline{1}}(k-2,l+2) \), et la premi{\`e}re que \( w_{\overline{2}}^{1}=-w_{\overline{1}}^{2} \)

2204: ; autrement dit, sur les quatre coefficients de \( w(k,l) \), les coefficients

2205: \( w_{\overline{2}}^{1}(k,l) \), \( w_{\overline{2}}^{2}(k,l) \) et \( w_{\overline{1}}^{2}(k,l) \)

2206: sont d{\'e}termin{\'e}s par \( w_{\overline{1}}^{1}(k-2,l+2) \) et \( w_{\overline{1}}^{2}(k-2,l+2) \),

2207: pourvu que \( k-2\geq -K \). 

2208: 

2209: Nous cherchons une fonction r{\'e}elle 

2210: \[

2211: f=\left\langle w',\rho (g^{-1})v\right\rangle ,\quad w'\in \hom _{U_{1}}(V_{\rho },\mathbf{C}),\]

2212:  telle que \( \overline{\partial }_{H}\#\overline{\partial }f=\phi  \), du

2213: moins sur les composantes {\`a} poids n{\'e}gatifs pour \( S^{1} \) (la condition que

2214: \( f \) soit r{\'e}elle implique que les coefficients sur les poids positifs soient

2215: d{\'e}termin{\'e}s par ceux sur les poids n{\'e}gatifs) ; les seules composantes non nulles

2216: de \( w' \) doivent bien entendu se trouver sur la droite \( k+l=0 \), et

2217: l'op{\'e}rateur est fourni alg{\'e}briquement par les formules (\ref{cal-phi}).

2218: 

2219: \begin{thm}

2220: \label{th-im-dd}{\'E}tant donn{\'e} \( \phi  \) sur \( \mathcal{T} \), satisfaisant

2221: \( \phi \lrcorner F=0 \) et \( \overline{\partial }_{H}\phi =0 \), il existe

2222: une fonction \( f \) telle que

2223: \begin{enumerate}

2224: \item \( \overline{\partial }_{H}\#\overline{\partial }f_{-}=\phi _{-} \), o{\`u} \( f_{-} \)

2225: et \( \phi _{-} \) repr{\'e}sentent les composantes {\`a} coefficients de Fourier strictement

2226: n{\'e}gatifs par rapport {\`a} l'action de \( U_{1} \),

2227: \item la partie de \( f \) invariante sous \( U_{1} \) est nulle,

2228: \item \( f \) est r{\'e}elle, 

2229: \end{enumerate}

2230: si et seulement si la d{\'e}composition \( \phi =\sum \left\langle w,\rho (g^{-1})v\right\rangle  \)

2231: satisfait les conditions :

2232: 

2233: \begin{enumerate}

2234: \item si \( V_{\rho }=V^{K,K+2} \), alors \( w_{\overline{1}}^{1}(-K+2,K+2)=0 \)

2235: ;

2236: \item si \( V_{\rho }=V^{K,L} \) avec \( K\leq L-4 \), alors 

2237: \[

2238: w_{\overline{1}}^{1}(-K,K+4)=w_{\overline{1}}^{2}(-K,K+4)=w_{\overline{2}}^{1}(-K,K+4)=0.\]

2239: 

2240: \end{enumerate}

2241: De plus, si \( \phi  \) est compatible {\`a} la structure r{\'e}elle (\( \tau ^{*}\overline{\phi }=\phi  \)),

2242: alors \( f \) l'est aussi (\( \tau ^{*}f=-f \)).

2243: 

2244: \end{thm}

2245: \begin{proof}

2246: Il y a trois cas suivant les valeurs de \( K \) et \( L \).

2247: 

2248: \noindent \textbf{Premier cas :} \( K\geq L \). Dans ce cas (voir la figure

2249: \ref{fig-1}), pour \( k<0 \), on peut trouver \( w'(k,-k) \) unique tel que

2250: les relations (\ref{cal-phi}) soient satisfaites pour \( k>0 \). En effet,

2251: le terme \( w(k,l) \) pour le plus petit \( k \) possible est \( w(-L+4,L) \),

2252: et on peut trouver \( w'(-L,L) \), \( w'(-L+2,L-2) \) et \( w'(-L+4,L-4) \)

2253: dont l'image tue exactement \( w(-L+4,L) \) ; le terme suivant est \( w(-L+6,L-2) \)

2254: : dans celui-ci, les coefficients \( w_{\overline{1}}^{1} \), \( w_{\overline{1}}^{2} \)

2255: et \( w_{\overline{2}}^{1} \) sont d{\'e}termin{\'e}s, comme on l'a vu, par \( w(-L+4,L) \)

2256: et en r{\'e}alit{\'e} d{\'e}j{\`a} tu{\'e}s par \( w'(-L+2,L-2) \) et \( w'(-L+4,L-4) \), donc

2257: il ne reste que \( w_{\overline{2}}^{2}(-L+6,L-2) \) qui est tu{\'e} par le choix

2258: judicieux de \( w'(-L+6,L-6) \) ; le processus se poursuit pour \( k<0 \).

2259: Le fait que les relations de compatibilit{\'e} (\ref{dbar-phi}) soient exactement

2260: les obstructions {\`a} r{\'e}soudre le probl{\`e}me de proche en proche est une cons{\'e}quence

2261: du fait que l'image de \( \overline{\partial }_{H}\#\overline{\partial } \)

2262: est dans le noyau de \( \overline{\partial } \) ; la v{\'e}rification directe est

2263: un exercice facile sur les repr{\'e}sentations de \( \mathfrak {sl}_{2} \). 

2264: 

2265: \begin{figure}[hbt]

2266: {\par\centering \includegraphics{image1.eps} \par}

2267: 

2268: 

2269: \caption{\label{fig-1}cas \protect\( K\geq 0\protect \)}

2270: \end{figure}

2271: 

2272: 

2273: La condition que \( f \) soit r{\'e}elle s'{\'e}crit, d'apr{\`e}s (\ref{f-bar}), comme

2274: l'invariance par \( w'\otimes v\rightarrow w'\circ \tau _{\rho }\otimes \tau _{\rho }v \)

2275: ; comme \( \tau _{\rho } \) envoie \( V(k,l) \) sur \( V(-k,-l) \), on voit

2276: que les \( w'(k,-k) \) pour \( k>0 \) sont d{\'e}termin{\'e}s par les \( w'(k,-k) \)

2277: pour \( k<0 \) ; la seule libert{\'e} restante est donc celle de \( w'(0,0) \),

2278: sur laquelle nous reviendrons plus loin.

2279: 

2280: \noindent \textbf{Deuxi{\`e}me cas :} \( K=L-2 \). Le processus est exactement

2281: le m{\^e}me (figure \ref{fig-2}), {\`a} la diff{\'e}rence que le terme \( w(k,l) \) avec

2282: \( k \) le plus petit possible est maintenant \( w(-K+2,K+2) \), et on ne

2283: peut pas tuer le terme \( w_{\overline{1}}^{1}(-K+2,K+2) \) par un terme \( w'(-K-2,K+2) \)

2284: qui n'existe pas ; la r{\'e}solution est donc possible si et seulement si \( w_{\overline{1}}^{1}(-K+2,K+2)=0 \).

2285: 

2286: \begin{figure}[hbt]

2287: {\par\centering \includegraphics{image2.eps} \par}

2288: 

2289: 

2290: \caption{\label{fig-2}cas \protect\( K=L-2\protect \)}

2291: \end{figure}

2292: 

2293: 

2294: \noindent \textbf{Troisi{\`e}me cas :} \( K\leq L-4 \). Le processus est {\`a} nouveau

2295: identique : pour pouvoir tuer le terme \( w(-K,K+4), \) if faut que 

2296: \[

2297: w_{\overline{1}}^{1}(-K,K+4)=w_{\overline{1}}^{2}(-K,K+4)=w_{\overline{2}}^{1}(-K,K+4)=0;\]

2298:  pour pouvoir tuer le terme \( w(-K+2,K+2), \) il faut que 

2299: \[

2300: w^{1}_{\overline{1}}(-K+2,K+2)=0,\]

2301:  mais cette condition est une cons{\'e}quence de l'annulation de \( w_{\overline{2}}^{1}(-K,K+4) \)

2302: et de la contrainte (\ref{dbar-phi}) ; ensuite on peut r{\'e}soudre de proche en

2303: proche.

2304: 

2305: Finalement, examinons la compatibilit{\'e} {\`a} la structure r{\'e}elle : rappelons que

2306: par (\ref{tau*phi}), l'op{\'e}ration \( \phi \rightarrow \tau ^{*}\overline{\phi } \)

2307: se traduit par 

2308: \[

2309: w\otimes v\longrightarrow \tau 'w\rho (g^{-1})\tau _{\rho }\otimes \tau _{\rho }v,\]

2310:  et \( f\rightarrow -\tau ^{*}f=-\tau ^{*}\overline{f} \) par 

2311: \[

2312: w'\otimes v\longrightarrow -\overline{w'}\tau _{\rho }\rho (g_{0}^{-1})\otimes \tau _{\rho }v\]

2313:  d'apr{\`e}s (\ref{tau*f}) et (\ref{f-bar}) ; par cons{\'e}quent, il suffit de v{\'e}rifier

2314: que la modification \( w\rightarrow \tau 'w \) impose \( w'\rightarrow -\overline{w'} \)

2315: sur la solution ; comme \( \tau ' \) est simplement la conjugaison sur les

2316: coefficients \( w^{j}_{\overline{\imath }} \), c'est une cons{\'e}quence claire

2317: des formules (\ref{cal-phi}).

2318: 

2319: \end{proof}

2320: 

2321: \section{\label{sec8}L'espace des structures CR remplissables}

2322: 

2323: Notons l'espace des structures CR int{\'e}grables sur \( \mathcal{T} \), de r{\'e}gularit{\'e}

2324: \( \mathcal{H}^{k} \), 

2325: \[

2326: \mathcal{C}^{k}=\{\phi \in \mathcal{H}^{k}(\Omega ^{0,1}\otimes T^{1,0}),\overline{\partial }_{H}\phi +\frac{1}{2}[\phi ,\phi ]=0,\phi \lrcorner F=0\};\]

2327:  bien entendu, pour que \( \phi  \) d{\'e}finisse une structure CR, il faut que

2328: \( T^{0,1}_{\phi }\cap \overline{T^{0,1}_{\phi }}=0 \), mais cette condition

2329: est automatiquement satisfaite pour les petites perturbations auxquelles nous

2330: nous int{\'e}ressons. 

2331: 

2332: \begin{lem}

2333: L'op{\'e}rateur 

2334: \[

2335: \overline{\partial }_{H}:\{\phi \in \mathcal{H}^{k}(\Omega ^{0,1}\otimes T^{1,0}),\phi \lrcorner F=0\}\longrightarrow \mathcal{H}^{k-1}(\Omega ^{0,2}\otimes T^{1,0})\]

2336:  est surjectif.

2337: \end{lem}

2338: Le lemme est facile {\`a} d{\'e}montrer en l'absence de la condition \( \phi \lrcorner F=0 \),

2339: car il s'agit alors simplement d'un calcul de cohomologie ; la version {\'e}crite

2340: ici est la cons{\'e}quence d'un r{\'e}sultat plus fort dont nous aurons plus loin, le

2341: lemme \ref{lem-92}.

2342: 

2343: Ce lemme implique imm{\'e}diatement que \( \mathcal{C}^{k} \) est une vari{\'e}t{\'e} lisse

2344: pr{\`e}s de l'origine. Plus pr{\'e}cis{\'e}ment, notons \( P \) un inverse {\`a} droite de

2345: l'op{\'e}rateur \( \overline{\partial }_{H} \) du lemme pr{\'e}c{\'e}dent. Comme l'op{\'e}rateur

2346: commute {\`a} l'action de \( S^{1} \), on peut choisir \( P \) v{\'e}rifiant la m{\^e}me

2347: propri{\'e}t{\'e}. Alors une carte locale \( \Phi :\phi \in \mathcal{C}^{k}\rightarrow \phi _{1}\in T_{0}\mathcal{C}^{k} \)

2348: est fournie par le choix 

2349: \begin{equation}

2350: \label{phi-1}

2351: \phi _{1}=\phi +P\frac{1}{2}[\phi ,\phi ],

2352: \end{equation}

2353:  de sorte que \( \overline{\partial }_{H}\phi _{1}=0 \). Le point important

2354: est que si \( \phi  \) est {\`a} coefficients de Fourier positifs ou nuls, il en

2355: est de m{\^e}me pour \( [\phi ,\phi ] \), et par cons{\'e}quent pour \( P[\phi ,\phi ] \),

2356: donc finalement pour \( \phi _{1} \). La r{\'e}ciproque est vraie, puisqu'on retrouve

2357: \( \phi  \) {\`a} partir de \( \phi _{1} \) par 

2358: \[

2359: \phi =\phi _{1}+\phi _{2}+\cdots ,\quad \phi _{i}=-P\frac{1}{2}\sum _{1\leq j<i}[\phi _{j},\phi _{i-j}].\]

2360:  On en d{\'e}duit le corollaire suivant.

2361: 

2362: \begin{cor}

2363: \label{cor-82}Pr{\`e}s de l'origine, l'espace \( \mathcal{C}^{k} \) est une vari{\'e}t{\'e}

2364: (hilbertienne) lisse, d'espace tangent {\`a} l'origine 

2365: \[

2366: T_{0}\mathcal{C}^{k}=\{\phi \in \mathcal{H}^{k}(\Omega ^{0,1}\otimes T^{1,0}),\overline{\partial }_{H}\phi =0,\phi \lrcorner F=0\},\]

2367:  et la carte locale \( \phi \in \mathcal{C}^{k}\rightarrow \phi _{1}\in T_{0}\mathcal{C}^{k} \)

2368: d{\'e}finie par (\ref{phi-1}) satisfait la condition : \( \phi  \) est {\`a} coefficients

2369: de Fourier positifs ou nuls si et seulement si \( \phi _{1} \) est {\`a} coefficients

2370: de Fourier positifs ou nuls.\qed 

2371: \end{cor}

2372: Rappelons que \( \mathcal{T} \) est le bord d'un domaine de \( P^{3} \). Plus

2373: g{\'e}n{\'e}ralement, nous regardons maintenant l'espace des structures CR \emph{remplissables},

2374: \[

2375: \mathcal{C}_{+}^{k}\subset \mathcal{C}^{k},\]

2376:  c'est-{\`a}-dire des structures CR qui bordent une vari{\'e}t{\'e} complexe, d{\'e}formation

2377: du domaine de \( P^{3} \) initial. 

2378: 

2379: \begin{thm}

2380: \label{th-CR-rem}\( \mathcal{C}_{+}^{k} \) est une sous-vari{\'e}t{\'e} de \( \mathcal{C}^{k} \),

2381: dont l'espace tangent {\`a} l'origine est constitu{\'e} des \( \phi _{1}\in T_{0}\mathcal{C}^{k} \),

2382: tels que dans la d{\'e}composition 

2383: \[

2384: \phi _{1}=\sum _{\rho }\left\langle w,\rho (g^{-1})v\right\rangle ,\]

2385:  on ait

2386: \begin{itemize}

2387: \item si \( V_{\rho }=V^{K,K+2} \), alors \( w_{\overline{1}}^{1}(-K+2,K+2)=0 \)

2388: ;

2389: \item si \( V_{\rho }=V^{K,L} \) avec \( K\leq L-4 \), alors 

2390: \[

2391: w_{\overline{1}}^{1}(-K,K+4)=w_{\overline{1}}^{2}(-K,K+4)=w_{\overline{2}}^{1}(-K,K+4)=0.\]

2392: 

2393: \end{itemize}

2394: \end{thm}

2395: \begin{proof}

2396: Par le lemme \ref{lem-64}, on sait que \( \phi  \) est remplissable si et

2397: seulement si la jauge de Coulomb \( \varphi ^{*}\phi  \) est {\`a} coefficients

2398: de Fourier positifs ou nuls ; par cons{\'e}quent, \( \mathcal{C}_{+}^{k} \) est

2399: le lieu des z{\'e}ros de l'application \( \phi \rightarrow \pi _{<0}\varphi ^{*}\phi  \)

2400: d{\'e}finie sur \( \mathcal{C}^{\mathcal{k}} \). Il est malais{\'e} d'analyser directement

2401: l'image de cet op{\'e}rateur, parce que la condition non lin{\'e}aire \( \overline{\partial }_{H}\phi +\frac{1}{2}[\phi ,\phi ]=0 \)

2402: ne donne rien apr{\`e}s projection par \( \pi _{<0} \). Comme la carte \( \Phi  \)

2403: d{\'e}finie par (\ref{phi-1}) pr{\'e}serve la positivit{\'e} des coefficients de Fourier

2404: par le corollaire \ref{cor-82}, on va substituer {\`a} la variable \( \phi  \)

2405: la variable \( \phi _{1}=\Phi (\phi ) \) : pour l'action des contactomorphismes

2406: sur \( \phi _{1} \), nous avons encore une jauge de Coulomb \( J(\phi _{1})=\varphi ^{*}\phi _{1} \)

2407: (attention : \( \Phi  \) n'a pas de raison de pr{\'e}server la jauge de Coulomb,

2408: donc cela donne sur \( \phi  \) une condition l{\'e}g{\`e}rement diff{\'e}rente {\`a} la jauge

2409: de Coulomb pr{\'e}c{\'e}demment utilis{\'e}e), et \( \mathcal{C}_{+}^{k} \) appara{\^\i}t comme

2410: le lieu des z{\'e}ros de l'application 

2411: \[

2412: \pi _{<0}\circ J:T_{0}\mathcal{C}^{k}\longrightarrow (T_{0}\mathcal{C}^{k})_{<0}\cap W;\]

2413:  cet op{\'e}rateur est clairement submersif, donc \( \mathcal{C}^{k}_{+} \) est

2414: bien une vari{\'e}t{\'e}, dont l'espace tangent {\`a} l'origine est le noyau de la lin{\'e}arisation,

2415: d{\'e}termin{\'e} par le th{\'e}or{\`e}me \ref{th-im-dd}.

2416: \end{proof}

2417: En particulier, on d{\'e}duit la cons{\'e}quence suivante.

2418: 

2419: \begin{cor}

2420: \label{cor-CR-non-rem}Il existe une famille de dimension infinie de structures

2421: CR int{\'e}grables, non remplissables, proches de la structure standard.

2422: \end{cor}

2423: D'autre part, si on note \( \mathcal{C}^{k}_{-} \) l'espace des structures

2424: CR qui sont remplissables de l'autre c{\^o}t{\'e} dans \( P^{3} \), on a une description

2425: de leur espace tangent similaire {\`a} celle du th{\'e}or{\`e}me \ref{th-CR-rem}, avec

2426: une condition sur les \( V^{K,L} \) tel que \( K>L \). On en d{\'e}duit que \( \mathcal{C}^{k}_{+} \)

2427: et \( \mathcal{C}^{k}_{-} \) sont transverses, et que l'intersection \( \mathcal{C}^{k}_{+}\cap \mathcal{C}^{k}_{-} \)

2428: est une sous-vari{\'e}t{\'e} de dimension infinie dans \( \mathcal{C}^{k}_{+} \) et

2429: dans \( \mathcal{C}^{k}_{-} \) : on a donc le corollaire suivant.

2430: 

2431: \begin{cor}

2432: \label{cor-CR-non-def}Il existe une famille de dimension infinie de structures

2433: CR remplissables, qui ne sont pas obtenues en d{\'e}formant \( \mathcal{T} \) comme

2434: une hypersurface r{\'e}elle dans \( P^{3} \).

2435: \end{cor}

2436: 

2437: \section{\label{sec9}Espace des bords de m{\'e}triques autoduales}

2438: 

2439: Nous appliquons {\`a} pr{\'e}sent les m{\^e}mes id{\'e}es {\`a} la description des couples \( [g,\mathcal{Q}] \)

2440: sur la sph{\`e}re \( S^{3} \) qui sont les bords de m{\'e}triques autoduales sur la

2441: boule \( B^{4} \). Nous notons \( \mathcal{M} \) l'espace des m{\'e}triques conformes

2442: sur \( S^{3} \), \( B \) l'espace des couples \( [g,\mathcal{Q}] \) sur \( S^{3} \)

2443: ; pour la r{\'e}gularit{\'e}, on notera \( \mathcal{M}^{k} \) et \( \mathcal{B}^{k} \)

2444: les objets qui deviennent de r{\'e}gularit{\'e} \( \mathcal{H}^{k} \) une fois remont{\'e}s

2445: {\`a} l'espace des twisteurs par la construction de la section \ref{sec11}. On

2446: consid{\'e}rera le groupe des diff{\'e}omorphismes de \( S^{3} \) comme un sous-groupe

2447: \( \Diff ^{k+1}S^{3}\subset \mathcal{G}^{k+1} \) du groupe des contactomorphismes

2448: de \( \mathcal{T} \), et on consid{\'e}rera le groupe r{\'e}duit \( \Diff ^{k+1}_{0}S^{3}\subset \mathcal{G}^{k+1}_{0} \)

2449: constitu{\'e} des diff{\'e}omorphismes qui fixent deux points sur l'espace des twisteurs,

2450: de sorte que 

2451: \[

2452: \Diff ^{k+1}S^{3}/\Diff ^{k+1}_{0}S^{3}=SO_{1,4},\]

2453:  le groupe conforme de \( S^{3} \) (qui est aussi le groupe des automorphismes

2454: CR de \( \mathcal{T} \)).

2455: 

2456: 

2457: \subsection{\label{sec91}Objets sur \protect\( S^{3}\protect \) et sur \protect\( \mathcal{T}\protect \) }

2458: 

2459: On peut voir la sph{\`e}re \( S^{3} \) comme un espace homog{\`e}ne sous son groupe

2460: d'isom{\'e}tries \( SO_{4}=Sp_{1}Sp_{1} \) : 

2461: \[

2462: S^{3}=Sp_{1}Sp_{1}/SO_{3},\]

2463:  o{\`u} le \( SO_{3}\hookrightarrow Sp_{1}Sp_{1} \) provient de l'inclusion diagonale

2464: \( Sp_{1}\hookrightarrow Sp_{1}\times Sp_{1} \) ; de ce point de vue, on peut

2465: faire des d{\'e}compositions des objets sur les repr{\'e}sentations de \( Sp_{1}Sp_{1} \). 

2466: 

2467: En particulier, les couples \( [g,\mathcal{Q}] \) donnent lieu {\`a} la donn{\'e}e

2468: infinit{\'e}simale de \( (\dot{g},\dot{\mathcal{Q}}) \), o{\`u} \( \dot{g} \) et \( \dot{\mathcal{Q}} \)

2469: sont des formes quadratiques {\`a} trace nulle, donc repr{\'e}sent{\'e}es par des 

2470: \[

2471: \sum _{\rho }\left\langle w,\rho (g^{-1})v\right\rangle ,\quad v\otimes w\in [V_{\rho }]\otimes \hom _{SO_{3}}([V_{\rho }],Sym_{0}^{2}\mathbf{R}^{3});\]

2472:  ici, le crochet \( [V_{\rho }] \) repr{\'e}sente une forme r{\'e}elle de \( V_{\rho } \).

2473: Toutes les repr{\'e}sentations de \( Sp_{1}Sp_{1} \) n'interviennent pas : en effet,

2474: si \( V_{\rho }=\sigma ^{K}\otimes \sigma ^{L}, \) la repr{\'e}sentation diagonale

2475: de \( Sp_{1}Sp_{1} \) sur \( V_{\rho } \) est 

2476: \begin{equation}

2477: \label{sKsL}

2478: \sigma ^{K+L}\oplus \sigma ^{K+L-2}\oplus \cdots \sigma ^{|K-L|};

2479: \end{equation}

2480:  comme \( Sym_{0}^{2}\mathbf{C}^{3}=\sigma ^{4} \), seules interviennent les

2481: repr{\'e}sentations avec 

2482: \[

2483: |K-L|=0,2\textrm{ ou }4;\]

2484:  puisque dans la d{\'e}composition (\ref{sKsL}) la repr{\'e}sentation \( \sigma ^{4} \)

2485: n'intervient qu'une fois, l'espace \( \hom _{SO_{3}}([V_{\rho }],Sym_{0}^{2}\mathbf{R}^{3}) \)

2486: est de dimension 1.

2487: 

2488: Les champs de vecteurs se d{\'e}composent de la m{\^e}me mani{\`e}re, en utilisant la repr{\'e}sentation

2489: \( \mathbf{R}^{3}=[\sigma ^{2}] \) de \( SO_{3} \) : compte tenu {\`a} nouveau

2490: de la formule (\ref{sKsL}), les seules repr{\'e}sentations qui interviennent sont

2491: {\`a} \( |K-L|=0 \) ou \( 2 \) ; il est facile de voir que l'action infinit{\'e}simale

2492: des champs de vecteurs sur les classes conformes de m{\'e}triques, 

2493: \[

2494: [V_{\rho }]\otimes \hom _{SO_{3}}([V_{\rho }],\mathbf{R}^{3})\longrightarrow [V_{\rho }]\otimes \hom _{SO_{3}}([V_{\rho }],Sym_{0}^{2}\mathbf{R}^{3}),\]

2495:  est surjective pour \( |K-L|=0 \) et \( 2 \) ; de l{\`a} on d{\'e}duit le lemme suivant.

2496: 

2497: \begin{lem}

2498: \label{lem-91}Le quotient de l'espace des classes conformes de m{\'e}triques par

2499: le groupe r{\'e}duit des diff{\'e}omorphismes de la sph{\`e}re, \( \mathcal{M}^{k}/\Diff _{0}^{k+1}S^{3} \),

2500: est (pr{\`e}s de la m{\'e}trique standard) une vari{\'e}t{\'e}, d'espace tangent {\`a} l'origine

2501: constitu{\'e} des \( \dot{g}\in \mathcal{H}^{k} \) tels que 

2502: \[

2503: \dot{g}\in \sum _{K-L=\pm 4}[V^{K,L}]\otimes \hom _{SO_{3}}([V^{K,L}],Sym_{0}^{2}\mathbf{R}^{3}).\]

2504:  

2505: \end{lem}

2506: Par la construction twistorielle de la section \ref{sec11}, la donn{\'e}e de \( [g,\mathcal{Q}] \)

2507: est {\'e}quivalente {\`a} la donn{\'e}e d'une structure CR int{\'e}grable \( \phi  \) sur \( \mathcal{T} \),

2508: compatible {\`a} la structure r{\'e}elle (\( \tau ^{*}\overline{\phi }=\phi  \)), et

2509: pr{\'e}servant les \( P^{1} \) r{\'e}els ; notons que \( \phi  \) pr{\'e}serve les \( P^{1} \)

2510: si sa projection 

2511: \[

2512: \pi _{P^{1}}\phi \in \Omega ^{0,1}P^{1}\otimes (T^{1,0}/T^{1,0}P^{1})\]

2513:  s'annule. Infinit{\'e}simalement, cela se traduit par le fait qu'est associ{\'e} {\`a}

2514: \( (\dot{g},\dot{\mathcal{Q}}) \) un tenseur \( \phi _{1} \) satisfaisant

2515: les {\'e}quations 

2516: \[

2517: \overline{\partial }_{H}\phi _{1}=0,\quad \phi _{1}\lrcorner F=0,\quad \tau ^{*}\overline{\phi _{1}}=\phi _{1},\quad \pi _{P^{1}}\phi _{1}=0;\]

2518:  ces conditions ont {\'e}t{\'e} analys{\'e}es dans les formules (\ref{dbar-phi}),(\ref{Rphi}),(\ref{tau*phi})

2519: et (\ref{phiP1}) ; il n'est pas difficile de voir que ces conditions ne peuvent

2520: {\^e}tre remplies que par des objets concentr{\'e}s sur les repr{\'e}sentations {\`a} \( |K-L|\leq 4 \)

2521: ; r{\'e}ciproquement, ces conditions imposent que \( \phi _{1} \) provienne d'un

2522: couple \( (\dot{g},\dot{\mathcal{Q}}) \), mais nous n'aurons pas besoin d'{\'e}crire

2523: explicitement l'application \( (\dot{g},\dot{\mathcal{Q}})\rightarrow \phi _{1} \).

2524: 

2525: 

2526: \subsection{Remplissage}

2527: 

2528: Les probl{\`e}mes de remplissage de \( [g,\mathcal{Q}] \) et de la structure CR

2529: associ{\'e}e \( \phi  \) sont {\'e}quivalents. Dans cette description, nous figeons

2530: la fibration legendrienne en \( P^{1} \) ; cependant, il n'est pas possible

2531: de se restreindre aux contactomorphismes fixant cette fibration (c'est-{\`a}-dire

2532: provenant de diff{\'e}omorphismes de \( S^{3} \)), car le contactomorphisme mettant

2533: \( \phi  \) en jauge de Coulomb n'a pas de raison de la pr{\'e}server.

2534: 

2535: Pour surmonter cette difficult{\'e}, il est utile de repr{\'e}senter \( [g,\mathcal{Q}] \)

2536: comme la donn{\'e}e de \( (\phi ,\alpha ) \), o{\`u} \( \phi  \) est une structure

2537: CR int{\'e}grable, compatible {\`a} \( \tau  \), et \( \alpha  \) un contactomorphisme,

2538: \( \tau  \)-invariant, tel que \( \alpha ^{*}\phi  \) pr{\'e}serve la fibration

2539: en \( P^{1} \) ; bien s{\^u}r, la donn{\'e}e n'est d{\'e}finie qu'{\`a} contactomorphisme pr{\`e}s.

2540: Maintenant, \( [g,\mathcal{Q}] \) est remplissable s'il existe un repr{\'e}sentant

2541: \( (\phi ,\alpha ) \) avec \( \phi  \) {\`a} coefficients de Fourier positifs

2542: ou nuls ; on peut toujours choisir pour \( \phi  \) la jauge de Coulomb.

2543: 

2544: \begin{lem}

2545: \label{lem-92}L'op{\'e}rateur \( (\phi ,f)\rightarrow (\overline{\partial }_{H}\phi ,\pi _{P^{1}}(\phi -\overline{\partial }_{H}\#\overline{\partial }f)) \)

2546: entre les espaces 

2547: \[

2548: \{\phi \in \mathcal{H}^{k},\phi \lrcorner F=0\}\times \mathcal{H}^{k+2}(\mathbf{R})\longrightarrow \mathcal{H}^{k-1}\times \mathcal{H}^{k}\]

2549:  est surjectif. De plus, si \( \overline{\partial }_{H}\phi  \) est {\`a} coefficients

2550: de Fourier positifs ou nuls, alors \( \phi  \) peut {\^e}tre choisi {\`a} coefficients

2551: de Fourier positifs ou nuls.

2552: \end{lem}

2553: Nous renvoyons la d{\'e}monstration de ce lemme {\`a} la section \ref{sec93}. 

2554: 

2555: Comme dans la section \ref{sec8}, on d{\'e}duit du lemme que l'espace des \( (\phi ,\alpha )\in \mathcal{C}^{k}\times \mathcal{G}^{k+1} \),

2556: tels que \( \alpha ^{*}\phi  \) pr{\'e}serve les \( P^{1} \), est une vari{\'e}t{\'e}

2557: model{\'e}e sur les \( (\phi _{1},f_{1}) \) satisfaisant les conditions 

2558: \begin{eqnarray}

2559: \overline{\partial }_{H}\phi _{1} & = & 0,\nonumber \\

2560: \phi _{1}\lrcorner F & = & 0,\label{phi1-f1} \\

2561: \pi _{P^{1}}(\phi _{1}-\overline{\partial }_{H}\#\overline{\partial }f_{1}) & = & 0;\nonumber 

2562: \end{eqnarray}

2563:  surtout, on dispose d'une carte \( (\phi ,\alpha )\rightarrow (\phi _{1},f_{1}) \)

2564: telle que la positivit{\'e} des coefficients de Fourier de \( \phi  \) et \( \phi _{1} \)

2565: soit {\'e}quivalente. Le quotient par l'action de \( \mathcal{G}^{k+1} \) est aussi

2566: une vari{\'e}t{\'e}, model{\'e}e sur une tranche par rapport {\`a} l'action du groupe, c'est-{\`a}-dire

2567: les \( (\phi _{1},f_{1}) \) satisfaisant de plus la condition 

2568: \begin{equation}

2569: \label{phi1-f1-2}

2570: \phi _{1}\in W,\quad f_{1}\perp \ker (\overline{\partial }_{H}\#\overline{\partial }).

2571: \end{equation}

2572: Jusqu'ici, on n'a rien montr{\'e}, puisqu'on a simplement d{\'e}crit localement l'espace

2573: \( \mathcal{B}^{k} \) des couples \( [g,\mathcal{Q}] \) en termes des \( (\phi ,\alpha ) \),

2574: mais avec l'avantage de pouvoir d{\'e}terminer, sur la donn{\'e}e infinit{\'e}simale \( (\phi _{1},f_{1}) \)

2575: si le \( (\phi ,\alpha ) \) correspondant est remplissable. Notons 

2576: \[

2577: \mathcal{B}^{k}_{+}\subset \mathcal{B}^{k}\]

2578:  l'espace des couples \( [g,\mathcal{Q}] \) remplissables par une m{\'e}trique

2579: autoduale.

2580: 

2581: Passons au quotient par le groupe des diff{\'e}omorphismes de \( S^{3} \) ; {\`a} nouveau,

2582: on voit que \( \mathcal{B}^{k}/{\Diff }_{0}^{k+1}S^{3} \) est une vari{\'e}t{\'e} model{\'e}e

2583: sur les \( (\phi _{1},f_{1}) \) satisfaisant (\ref{phi1-f1}) et la condition

2584: \begin{equation}

2585: \label{phi1-f1-3}

2586: \phi _{1}\in W,\quad f_{1}\perp \mathfrak {Diff}^{k+1}S^{3}.

2587: \end{equation}

2588:  Maintenant, puisque \( \phi _{1} \) est en jauge de Coulomb, \( (\phi _{1},f_{1}) \)

2589: correspond {\`a} un couple \( [g,\mathcal{Q}] \) remplissable si et seulement si

2590: \( \phi _{1} \) est {\`a} coefficients de Fourier positifs ou nuls : on en d{\'e}duit

2591: que \( \mathcal{B}^{k}_{+}/{\Diff }_{0}^{k+1}S^{3} \) est une vari{\'e}t{\'e} lisse

2592: model{\'e}e sur les \( (\phi _{1},f_{1}) \) satisfaisant (\ref{phi1-f1}) et (\ref{phi1-f1-3}),

2593: et tels que 

2594: \[

2595: \pi _{<0}\phi _{1}=0.\]

2596: 

2597: 

2598: Il ne reste plus qu'{\`a} traduire ces conditions en termes de \( [g,\mathcal{Q}] \).

2599: On d{\'e}duit le r{\'e}sultat suivant.

2600: 

2601: \begin{thm}

2602: \label{th-gQ-rem}L'espace \( \mathcal{B}^{k}_{+}/\Diff ^{k+1}_{0}S^{3} \)

2603: des \( [g,\mathcal{Q}] \) remplissables par une m{\'e}trique autoduale sur \( B^{4} \),

2604: modulo le groupe r{\'e}duit des diff{\'e}omorphismes, est pr{\`e}s de la m{\'e}trique standard

2605: une vari{\'e}t{\'e}, dont l'espace tangent en la m{\'e}trique standard est constitu{\'e} des

2606: \( (\dot{g},\dot{\mathcal{Q}})\in \mathcal{H}^{k} \) tels que 

2607: \begin{eqnarray*}

2608: \dot{g} & \in  & \sum _{L\geq 0}[V^{L+4,L}]\otimes \hom _{SO_{3}}([V^{L+4,L}],Sym_{0}^{2}\mathbf{R}^{3}),\\

2609: \dot{\mathcal{Q}} & \in  & \sum _{(K=L,L+2,L+4,L\geq 0)}[V^{K,L}]\otimes \hom _{SO_{3}}([V^{K,L}],Sym_{0}^{2}\mathbf{R}^{3}).

2610: \end{eqnarray*}

2611: 

2612: \end{thm}

2613: \begin{rem}

2614: L'espace \( \mathcal{B}^{k}_{-}/\Diff _{0}^{k+1}S^{3} \) des \( [g,\mathcal{Q}] \)

2615: remplissables par une m{\'e}trique antiautoduale est, de mani{\`e}re similaire, une

2616: vari{\'e}t{\'e} d'espace tangent les \( (\dot{g},\dot{\mathcal{Q}}) \) tel que \( \dot{g} \)

2617: se d{\'e}compose seulement sur les \( V^{K,K+4} \) et \( \dot{\mathcal{Q}} \)

2618: sur les \( V^{K,K} \), \( V^{K,K+2} \) et \( V^{K,K+4} \) ; on observe donc

2619: que \( \mathcal{B}^{k}_{+}/\Diff _{0}^{k+1}S^{3} \) et \( \mathcal{B}^{k}_{-}/\Diff _{0}^{k+1}S^{3} \)

2620: sont transverses dans \( \mathcal{B}^{k}/\Diff _{0}^{k+1}S^{3} \), et l'intersection

2621: est une vari{\'e}t{\'e} dont l'espace tangent est constitu{\'e} des \( \dot{\mathcal{Q}} \)

2622: qui se d{\'e}composent uniquement sur les \( V^{K,K} \). Cela nous indique que

2623: cette intersection est en r{\'e}alit{\'e} constitu{\'e}e des d{\'e}formations de \( S^{3} \)

2624: comme sous-vari{\'e}t{\'e} de \( \mathbf{R}^{4} \), et les m{\'e}triques qui remplissent

2625: sont donc plates ; en effet, ces d{\'e}formations sont param{\'e}tr{\'e}es par \( fn \),

2626: o{\`u} \( f \) est une fonction et \( n \) le vecteur normal {\`a} \( S^{3} \) ;

2627: infinit{\'e}simalement, elles laissent la classe conforme invariante et ne modifient

2628: donc que la seconde forme fondamentale, ce qui correspond bien {\`a} notre description

2629: infinit{\'e}simale. Cela donne le th{\'e}or{\`e}me \ref{th-C0} comme cons{\'e}quence du th{\'e}or{\`e}me

2630: \ref{th-gQ-rem}.

2631: \end{rem}

2632: \begin{proof}

2633: Le tenseur \( \psi _{1}=\phi _{1}-\overline{\partial }_{H}\#\overline{\partial }f_{1} \)

2634: repr{\'e}sente une donn{\'e}e infinit{\'e}simale \( (\dot{g},\dot{\mathcal{Q}}) \), et

2635: il s'agit de voir dans quelles repr{\'e}sentations il peut vivre, sachant que \( \phi _{1} \)

2636: a seulement des coefficients de Fourier positifs ou nuls. La r{\'e}ponse est fournie

2637: par le th{\'e}or{\`e}me \ref{th-im-dd} : pour \( K\geq L \), on peut toujours, partant

2638: de \( \psi _{1} \), r{\'e}soudre le probl{\`e}me 

2639: \begin{eqnarray*}

2640: (\overline{\partial }_{H}\#\overline{\partial }f_{1})_{<0} & = & -(\psi _{1})_{<0},\\

2641: (\overline{\partial }_{H}\#\overline{\partial }f_{1})_{0} & = & -\pi _{\Im \overline{\partial }_{H}\#\overline{\partial }}(\psi _{1})_{0},

2642: \end{eqnarray*}

2643:  et on aura bien la condition (\ref{phi1-f1-3}) si \( f_{1} \) est orthogonal

2644: aux diff{\'e}omorphismes infinit{\'e}simaux de \( S^{3} \), ce qu'on obtient en prenant

2645: \( \psi _{1} \) lui-m{\^e}me orthogonal {\`a} l'action infinit{\'e}simale des diff{\'e}omorphismes,

2646: c'est-{\`a}-dire \( \dot{g} \) satisfaisant la condition du lemme \ref{lem-91}.

2647: Pour \( K=L-2 \) ou \( L-4 \), il y a des obstructions {\`a} analyser : si \( K=L-2 \),

2648: la condition \( w_{\overline{1}}^{1}(-K+2,K+2)=0 \) du th{\'e}or{\`e}me \ref{th-im-dd}

2649: revient {\`a} s{\'e}lectionner un sous-espace de dimension 1 dans \( \hom _{SO_{3}}([V^{K,L}],Sym^{2}_{0}\mathbf{R}^{3}\oplus Sym^{2}_{0}\mathbf{R}^{3}) \)

2650: qui est de dimension 2 : nous connaissons d{\'e}j{\`a} ce sous-espace, il s'agit des

2651: m{\'e}triques dans l'image infinit{\'e}simale des diff{\'e}omorphismes, et, comme ci-dessus,

2652: nous les {\'e}liminons au quotient. Si \( K=L-4 \), les conditions \( w_{\overline{1}}^{1}(-K,K+4)=w_{\overline{1}}^{2}(-K,K+4) \)

2653: du th{\'e}or{\`e}me \ref{th-im-dd} tuent compl{\`e}tement les deux degr{\'e}s de libert{\'e} pour

2654: \( \psi _{1} \), donc cette composante doit {\^e}tre nulle. Finalement, on d{\'e}duit

2655: qu'il ne reste que les composantes {\`a} \( K\geq L \), d'o{\`u} le th{\'e}or{\`e}me.

2656: \end{proof}

2657: 

2658: \subsection{\label{sec93}D{\'e}monstration du lemme \ref{lem-92}}

2659: 

2660: Une des difficult{\'e}s de la d{\'e}monstration du lemme est le fait que l'op{\'e}rateur

2661: \( \pi _{P^{1}} \) ne commute pas {\`a} l'action de \( S^{1} \) : l'assertion

2662: sur les coefficients de Fourier ne sera donc pas cons{\'e}quence de la surjectivit{\'e}

2663: de l'op{\'e}rateur.

2664: 

2665: On va raisonner dans chaque repr{\'e}sentation \( V^{K,L} \), pour rendre le probl{\`e}me

2666: alg{\'e}brique ; par abus de notation, on confondra \( \phi  \) et \( w \) tel

2667: que \( \phi =\left\langle w,\rho (g^{-1})v\right\rangle  \), donc \( \phi  \)

2668: sera consid{\'e}r{\'e} comme {\'e}l{\'e}ment de \( \hom _{U_{1}}(V^{K,L},\mathfrak {m}^{0,1}\otimes \mathfrak {m}_{1,0}) \)

2669: ; on fera la m{\^e}me chose pour les autres tenseurs en jeu.

2670: 

2671: \noindent \textbf{Premier cas :} \( K\leq L-6 \). Alors l'op{\'e}rateur 

2672: \begin{equation}

2673: \label{phi-seul}

2674: \phi \textrm{ tel que }\phi \lrcorner F=0\, \longrightarrow (\overline{\partial }_{H}\phi ,\pi _{P^{1}}\phi )

2675: \end{equation}

2676:  est un isomorphisme ; l'inverse est obtenu en regardant la figure \ref{fig-3}

2677: : une solution de

2678: \[

2679: \phi \lrcorner F=0,\quad \overline{\partial }_{H}\phi =\psi ,\quad \pi _{P^{1}}\phi =g,\]

2680: est obtenue de proche en proche ; d'apr{\`e}s (\ref{dbar-phi}), \( \phi _{\overline{1}}(-K,K+4) \)

2681: est d{\'e}termin{\'e} par \( \psi (-K,K+6) \) ; les {\'e}quations \( \phi \lrcorner F=0 \)

2682: et \( \pi _{P^{1}}\phi =g \) se traduisent, d'apr{\`e}s (\ref{phiP1}) et (\ref{Rphi}),

2683: par 

2684: \begin{eqnarray*}

2685: \phi _{\overline{1}}^{1}+\phi _{\overline{2}}^{1}-\phi _{\overline{1}}^{2}-\phi _{\overline{2}}^{2} & = & g,\\

2686: \phi _{\overline{2}}^{1}+\phi ^{2}_{\overline{1}} & = & 0;

2687: \end{eqnarray*}

2688:  donc \( \phi _{\overline{2}}(-K,K+4) \) est d{\'e}termin{\'e} par \( \phi _{\overline{1}}(-K,K+4) \)

2689: et \( g(-K,K+4) \) ; on poursuit alors le raisonnement de proche en proche

2690: pour \( \phi (-K+2,K+2) \),...

2691: 

2692: \begin{figure}[hbt]

2693: {\par\centering \includegraphics{image3.eps} \par}

2694: 

2695: 

2696: \caption{\label{fig-3}cas \protect\( K\leq L-6\protect \) }

2697: \end{figure}

2698: 

2699: 

2700: On d{\'e}duit que l'op{\'e}rateur du lemme \ref{lem-92} est bien surjectif ; nous devons

2701: maintenant prouver l'{\'e}nonc{\'e} concernant les coefficients de Fourier. Supposons

2702: que \( \psi  \) n'ait que des coefficients de Fourier positifs ou nuls, et

2703: tentons de r{\'e}soudre le probl{\`e}me de sorte que \( \phi  \) v{\'e}rifie la m{\^e}me propri{\'e}t{\'e}.

2704: Commen{\c c}ons par r{\'e}soudre (de proche en proche, comme ci-dessus pour \( \phi  \)),

2705: \[

2706: \pi _{k<0}\pi _{P^{1}}(-\overline{\partial }_{H}\#\overline{\partial }f)=\pi _{k<0}g;\]

2707:  comme \( f \) est r{\'e}elle, cela d{\'e}termine compl{\`e}tement \( f \), {\`a} l'exception

2708: du terme \( f(0,0) \) que nous prenons nul ; notons 

2709: \[

2710: g'=g+\pi _{P^{1}}(-\overline{\partial }_{H}\#\overline{\partial }f),\]

2711: de sorte que \( g'(k,-k)=0 \) si \( k<0 \), et r{\'e}solvons le probl{\`e}me 

2712: \[

2713: \phi \lrcorner F=0,\quad \overline{\partial }_{H}\phi =\psi ,\quad \pi _{P^{1}}\phi =g';\]

2714:  j'affirme que \( \phi  \) a ses coefficients de Fourier n{\'e}gatifs triviaux.

2715: En effet, puisque la solution est calcul{\'e}e de proche en proche, il est clair

2716: que \( \phi (k,-k+4)=0 \) si \( k<0 \) ; compte tenu des poids de l'action

2717: de \( S^{1} \) calcul{\'e}s en (\ref{poids-S1}) et de la positivit{\'e} des coefficients,

2718: on sait que 

2719: \[

2720: \psi _{\overline{1}\overline{2}}^{1}(0,6)=\psi _{\overline{1}\overline{2}}^{2}(0,6)=\psi _{\overline{1}\overline{2}}^{1}(2,4)=0;\]

2721:  testant {\`a} nouveau le diagramme permettant de calculer \( \phi  \), nous d{\'e}duisons

2722: tout d'abord 

2723: \[

2724: \phi _{\overline{1}}^{1}(0,4)=\phi _{\overline{1}}^{2}(0,4)=\phi _{\overline{2}}^{1}(0,4)=0;\]

2725:  finalement, dans l'{\'e}quation \( \overline{\partial }\phi =\psi  \), le terme

2726: \( \psi _{\overline{1}\overline{2}}^{1}(2,4) \) est d{\'e}termin{\'e} par \( \phi _{\overline{2}}^{1}(0,4) \)

2727: et \( \phi _{\overline{1}}^{1}(2,2) \), donc son annulation implique 

2728: \[

2729: \phi _{\overline{1}}^{1}(2,2)=0\]

2730:  qui {\'e}tait le dernier terme strictement n{\'e}gatif {\`a} annuler. 

2731: 

2732: \noindent \textbf{Second cas :} \( K\geq L-4 \). Dans ce cas, le noyau de l'op{\'e}rateur

2733: (\ref{phi-seul}) est constitu{\'e} des \( \phi  \) tels que 

2734: \begin{equation}

2735: \label{phi-B}

2736: \phi \lrcorner F=0,\quad \overline{\partial }_{H}\phi =0,\quad \pi _{P^{1}}\phi =0,

2737: \end{equation}

2738: qui correspondent exactement aux donn{\'e}es infinit{\'e}simales \( (\dot{g},\dot{\mathcal{Q}}) \)

2739: dans \( \mathcal{B} \) ; ce noyau est donc nul pour \( K>L+4, \) et de dimension

2740: 2 pour \( L-4\leq K\leq L+4 \) ; un d{\'e}compte de dimension nous indique alors

2741: que l'op{\'e}rateur (\ref{phi-seul}) est surjectif. 

2742: 

2743: Reste {\`a} montrer l'assertion sur les coefficients de Fourier positifs : on utilise

2744: maintenant que le noyau de \( (\phi ,f)\rightarrow (\overline{\partial }_{H}\phi ,\pi _{P^{1}}(\phi -\overline{\partial }_{H}\#\overline{\partial }f)) \)

2745: contient les 

2746: \begin{equation}

2747: \label{ker-phi-f}

2748: (\phi =\overline{\partial }_{H}\#\overline{\partial }f,f).

2749: \end{equation}

2750:  Si \( \psi  \) est donn{\'e}e, {\`a} coefficients de Fourier positifs ou nuls, prenons

2751: une solution \( \phi  \) de

2752: \[

2753: \phi \lrcorner F=0,\quad \overline{\partial }_{H}\phi =\psi ,\quad \pi _{P^{1}}\phi =g,\]

2754: on va la modifier par un {\'e}l{\'e}ment de type (\ref{ker-phi-f}) de sorte de tuer

2755: tous les coefficients strictement n{\'e}gatifs. Les premi{\`e}res {\'e}quations commutent

2756: {\`a} l'action de \( S^{1} \), ce qui implique 

2757: \[

2758: \phi _{-}\lrcorner F=0,\quad \overline{\partial }_{H}\phi _{-}=0.\]

2759:  

2760: 

2761: Dans le cas \( K\geq L, \) par le th{\'e}or{\`e}me \ref{th-im-dd}, il existe une fonction

2762: r{\'e}elle \( f \) telle que \( \overline{\partial }_{H}\#\overline{\partial }f_{-}=-\phi _{-} \)

2763: ; alors le couple \( (\phi +\overline{\partial }_{H}\#\overline{\partial }f,f) \)

2764: est solution des {\'e}quations voulues, et \( \phi +\overline{\partial }_{H}\#\overline{\partial }f \)

2765: est {\`a} coefficients de Fourier positifs ou nuls.

2766: 

2767: Dans les cas \( K=L-2 \) et \( K=L-4 \), on peut appliquer le m{\^e}me raisonnement,

2768: pourvu qu'on se ram{\`e}ne aux conditions prescrites par le th{\'e}or{\`e}me \ref{th-im-dd}.

2769: Pour cela, notons qu'un \( \phi  \) satisfaisant (\ref{phi-B}) est enti{\`e}rement

2770: d{\'e}termin{\'e} par les deux coefficients \( \phi ^{1}_{\overline{1}}(-K,K+4) \)

2771: et \( \phi _{\overline{1}}^{2}(-K,K+4) \), tous les autres coefficients s'en

2772: d{\'e}duisant de proche en proche ; cela signifie qu'{\'e}tant donn{\'e}e une solution \( \phi  \)

2773: de 

2774: \[

2775: \phi \lrcorner F=0,\quad \overline{\partial }_{H}\phi =\psi ,\quad \pi _{P^{1}}\phi =g,\]

2776:  on peut la modifier par un {\'e}l{\'e}ment satisfaisant (\ref{phi-B}) de sorte que

2777: \( \phi _{\overline{1}}(-K,K+4)=0 \) (ce qui implique aussi \( \phi _{\overline{2}}^{1}(-K,K+4)=0 \))

2778: ; les conditions d'application du th{\'e}or{\`e}me \ref{th-im-dd} sont ainsi {\'e}tablies.\qed

2779: 

2780: 

2781: \section{\label{sec10}Espace des infinis conformes de m{\'e}triques autoduales d'Einstein}

2782: 

2783: Notons 

2784: \[

2785: \mathcal{M}_{+}^{k}=\mathcal{B}_{+}^{k}\cap \mathcal{M}^{k}\]

2786:  l'espace des m{\'e}triques conformes sur \( S^{3} \) qui sont les infinis conformes

2787: de m{\'e}triques d'Einstein autoduales sur \( B^{4} \). Le but de cette section

2788: est de montrer que \( \mathcal{M}_{+}^{k} \) est une sous-vari{\'e}t{\'e} de \( \mathcal{B}_{+}^{k} \):

2789: il en r{\'e}sultera que l'espace tangent en la m{\'e}trique ronde est constitu{\'e} des

2790: \( \dot{g} \) satisfaisant les conditions du th{\'e}or{\`e}me \ref{th-gQ-rem}, ce

2791: qui fournit le th{\'e}or{\`e}me suivant.

2792: 

2793: \begin{thm}

2794: \label{th-g-rem}L'espace \( \mathcal{M}^{k}_{+}/\Diff ^{k+1}_{0}S^{3} \) des

2795: m{\'e}triques conformes \( [g] \), infinis conformes de m{\'e}triques autoduales d'Einstein

2796: sur \( B^{4} \), modulo le groupe r{\'e}duit des diff{\'e}omorphismes, est pr{\`e}s de

2797: la m{\'e}trique standard une vari{\'e}t{\'e} d'espace tangent constitu{\'e} des \( \dot{g}\in \mathcal{H}^{k} \)

2798: tels que 

2799: \[

2800: \dot{g}\in \sum _{L\geq 0}[V^{L+4,L}]\otimes \hom _{SO_{3}}([V^{L+4,L}],Sym_{0}^{2}\mathbf{R}^{3}).\]

2801: 

2802: \end{thm}

2803: \begin{rem}

2804: Bien entendu, l'espace tangent {\`a} l'espace \( \mathcal{M}^{k}_{-}/\Diff ^{k+1}_{0}S^{3} \)

2805: des infinis conformes de m{\'e}triques antiautoduales d'Einstein est 

2806: \[

2807: \sum _{K\geq 0}[V^{K,K+4}]\otimes \hom _{SO_{3}}([V^{K,K+4}],Sym_{0}^{2}\mathbf{R}^{3}),\]

2808:  de sorte que, en vue du lemme \ref{lem-91}, on a bien en la m{\'e}trique ronde

2809: la d{\'e}composition de l'espace tangent 

2810: \[

2811: T(\mathcal{M}^{k}/\Diff ^{k+1}_{0}S^{3})=T(\mathcal{M}^{k}_{+}/\Diff ^{k+1}_{0}S^{3})\oplus T(\mathcal{M}^{k}_{-}/\Diff ^{k+1}_{0}S^{3}),\]

2812:  ce qui d{\'e}montre le th{\'e}or{\`e}me \ref{th-C}. 

2813: \begin{rem}

2814: L'espace \( \hom _{SO_{3}}([V^{K,K+4}],Sym_{0}^{2}\mathbf{R}^{3}) \) est de

2815: dimension 1, comme on l'a vu dans la section \ref{sec91} ; la premi{\`e}re composante

2816: de l'espace tangent, \( [V^{4,0}] \), de dimension 5, a une interpr{\'e}tation

2817: simple : il s'agit des m{\'e}triques invariantes {\`a} droite sur \( S^{3} \), et les

2818: m{\'e}triques d'Einstein autoduales correspondantes ont {\'e}t{\'e} explicit{\'e}es par Hitchin

2819: \cite{Hit:95} ; la seconde composante, \( [V^{5,1}], \) de dimension 12, n'a

2820: plus d'interpr{\'e}tation aussi claire.

2821: \end{rem}

2822: \end{rem}

2823: Le th{\'e}or{\`e}me \ref{th-g-rem} est loin d'{\^e}tre une simple cons{\'e}quence du th{\'e}or{\`e}me

2824: \ref{th-gQ-rem} : ce dernier fournit en effet un algorithme fabriquant {\`a} partir

2825: d'une donn{\'e}e infinit{\'e}simale \( (\dot{g},\dot{\mathcal{Q}}) \) un couple \( [g,\mathcal{Q}] \)

2826: qui est le bord d'une m{\'e}trique autoduale, mais il n'est pas clair que \( \dot{\mathcal{Q}}=0 \)

2827: implique \( \mathcal{Q}=0 \). De plus, il ne semble pas y avoir de raison a

2828: priori pour que l'intersection de \( \mathcal{B}_{+}^{k} \) et de \( \mathcal{M}^{k} \)

2829: soit transverse. Nous allons employer ici une m{\'e}thode diff{\'e}rente, {\'e}tudiant les

2830: d{\'e}formations d'une structure CR avec une structure de contact holomorphe ; on

2831: va donc oublier le contactomorphisme et la fibration en \( P^{1} \) et montrer

2832: que la structure est assez riche pour permettre de les r{\'e}cup{\'e}rer a posteriori.

2833: 

2834: 

2835: \subsection{Th{\'e}orie de la d{\'e}formation}

2836: 

2837: Nous cherchons donc une d{\'e}formation \( \phi  \) de la structure CR, et une

2838: forme de contact holomorphe \( \varpi ^{c} \) {\`a} valeurs dans \( L=\mathcal{O}(0,2) \)

2839: ; comme dans la section \ref{sec32}, puisque \( \varpi ^{c} \) est une petite

2840: d{\'e}formation de \( \eta ^{c} \), on la cherche sous la forme 

2841: \[

2842: \varpi ^{c}=(\eta ^{c}+\xi )-\phi \lrcorner (\eta ^{c}+\xi ),\quad \xi \in \Omega '\otimes L,\quad \xi |_{T^{1,0}P_{2}^{1}}=0,\]

2843:  et satisfaisant l'{\'e}quation (\ref{oc-hol}), c'est-{\`a}-dire 

2844: \[

2845: \overline{\partial }\varpi ^{c}+\phi \lrcorner \partial \varpi ^{c}+\alpha \wedge \varpi ^{c}=0\]

2846: pour une (0,1)-forme \( \alpha  \). Cette {\'e}quation fait intervenir une connexion

2847: sur \( L \), que nous choisissons {\'e}gale {\`a} la connexion provenant de la connexion

2848: triviale sur \( \mathcal{O}_{P^{1}_{1}} \) et de la connexion standard sur

2849: \( \mathcal{O}_{P^{1}_{2}}(2) \), de sorte que sa courbure est {\'e}gale {\`a} 

2850: \[

2851: F^{L}=-2i\omega _{2}.\]

2852:  Si on a une solution \( (\phi ,\varpi ^{c}) \) des {\'e}quations, alors \( L \),

2853: identifi{\'e} au quotient \( T'_{_{\phi }}/\ker \varpi ^{c} \), acquiert une structure

2854: holomorphe, dont l'op{\'e}rateur \( \overline{\partial } \) s'{\'e}crit 

2855: \[

2856: \overline{\partial }+\phi \lrcorner \partial +\alpha ;\]

2857:  l'int{\'e}grabilit{\'e} de cette structure holomorphe se traduit par l'{\'e}quation 

2858: \begin{equation}

2859: \label{eq-alpha}

2860: \overline{\partial }\alpha +\phi \lrcorner (F^{L}+\partial \alpha )=0.

2861: \end{equation}

2862:  Rappelons d'autre part que, d'apr{\`e}s (\ref{etac+xi-hol0}), les {\'e}quations {\`a}

2863: satisfaire par \( (\phi ,\varpi ^{c}) \) sont, en plus de la condition alg{\'e}brique

2864: \( \phi \lrcorner F=0 \), 

2865: 

2866: \begin{eqnarray}

2867: \overline{\partial }_{H}\phi +\frac{1}{2}[\phi ,\phi ] & = & 0,\label{eq-phi} \\

2868: \overline{\partial }\xi -\partial '(\phi \lrcorner (\eta ^{c}+\xi ))+\phi \lrcorner \partial '(\eta ^{c}+\xi )+\alpha (\eta ^{c}+\xi ) & = & 0.\label{eq-xi} 

2869: \end{eqnarray}

2870:  Les trois {\'e}quations pr{\'e}c{\'e}dentes peuvent s'{\'e}crire \( P(\phi ,\alpha ,\xi )+Q(\phi ,\alpha ,\xi )=0, \)

2871: o{\`u} \( P \) est la partie lin{\'e}aire des trois {\'e}quations pr{\'e}c{\'e}dentes, donn{\'e}e par

2872: \( P(\phi ,\alpha ,\xi )=(\psi ,\beta ,\zeta ) \), avec 

2873: \begin{eqnarray}

2874: \psi  & = & \overline{\partial }_{H}\phi \nonumber \\

2875: \beta  & = & \overline{\partial }\alpha +\phi \lrcorner F^{L}\label{for-P} \\

2876: \zeta  & = & \overline{\partial }\xi -\partial '(\phi \lrcorner \eta ^{c})+\phi \lrcorner d\eta ^{c}+\alpha \eta ^{c}\nonumber 

2877: \end{eqnarray}

2878:  et \( Q \) est la partie quadratique restante.

2879: 

2880: D'apr{\`e}s la d{\'e}monstration du th{\'e}or{\`e}me \ref{th-gQ-rem}, on sait que, {\'e}tant donn{\'e}e

2881: une m{\'e}trique infinit{\'e}simale \( \dot{g} \) satisfaisant la condition du th{\'e}or{\`e}me

2882: \ref{th-g-rem}, il existe un contactomorphisme infinit{\'e}simal de l'espace des

2883: twisteurs \( \mathcal{T} \) qui envoie la structure CR infinit{\'e}simale sur un

2884: tenseur \( \phi _{1} \) {\`a} coefficients de Fourier positifs ; bien entendu,

2885: d'apr{\`e}s le th{\'e}or{\`e}me \ref{th-fill-etac}, le contactomorphisme infinit{\'e}simal

2886: envoie la structure de contact holomorphe sur un \( \xi _{1} \) {\`a} coefficients

2887: positifs si bien qu'on se retrouve avec un triplet \( (\phi _{1},\xi _{1},\alpha _{1}) \),

2888: {\`a} coefficients de Fourier positifs, solution des {\'e}quations infinit{\'e}simales 

2889: \[

2890: P(\phi _{1},\alpha _{1},\xi _{1})=0.\]

2891:  On va maintenant montrer qu'{\`a} partir d'une telle donn{\'e}e infinit{\'e}simale, on

2892: peut produire une solution, {\`a} coefficients de Fourier positifs, des {\'e}quations

2893: (\ref{eq-alpha}), (\ref{eq-phi}) et (\ref{eq-xi}). L'{\'e}tape essentielle est

2894: le lemme suivant.

2895: 

2896: \begin{lem}

2897: \label{pas-de-H2}L'op{\'e}rateur \( P \), d{\'e}fini sur les triplets 

2898: \[

2899: (\phi ,\alpha ,\xi )\in \mathcal{H}^{k}(\Omega ^{0,1}\otimes T^{1,0})\times \mathcal{H}^{k+1}(\Omega ^{0,1})\times \mathcal{H}^{k-1}(\Omega ')\]

2900:  tels que \( \phi \lrcorner F=0 \) et \( \xi |_{T^{1,0}P^{1}_{2}}=0 \), a

2901: exactement pour image les triplets 

2902: \[

2903: (\psi ,\beta ,\zeta )\in \mathcal{H}^{k-1}(\Omega ^{0,2}\otimes T^{1,0})\times \mathcal{H}^{k}(\Omega ^{0,2})\times \mathcal{H}^{k-2}(\tilde{\Omega }^{1,1}),\]

2904:  satisfaisant l'{\'e}quation 

2905: \begin{equation}

2906: \label{int-formelle}

2907: \overline{\partial }\zeta =(\partial '\psi )\lrcorner \eta ^{c}+\beta \wedge \eta ^{c}.

2908: \end{equation}

2909: 

2910: \end{lem}

2911: Ce lemme est a priori surprenant, car on sait qu'avec une forme de Levi de signature

2912: (1,1), les \( H^{1} \) sont de dimension infinie, donc on ne s'attend pas {\`a}

2913: pouvoir atteindre tous les \( \zeta  \). La d{\'e}monstration sera faite dans la

2914: section \ref{sec102}.

2915: 

2916: Revenons {\`a} notre th{\'e}orie de la d{\'e}formation : on est dans le cadre de la th{\'e}orie

2917: standard de d{\'e}formation, et le lemme signifie que le \( H^{2} \) du complexe

2918: de d{\'e}formation est nul, autrement dit il n'y a pas d'obstruction pour produire

2919: une solution \( (\phi ,\alpha ,\xi ) \) du syst{\`e}me d'{\'e}quations (\ref{eq-alpha}),

2920: (\ref{eq-phi}) et (\ref{eq-xi}) {\`a} partir d'une donn{\'e}e infinit{\'e}simale \( (\phi _{1},\alpha _{1},\xi _{1}) \).

2921: Compte tenu de la forme des {\'e}quations (elles pr{\'e}servent la positivit{\'e} des coefficients

2922: de Fourier), la solution \( (\phi ,\alpha ,\xi ) \) est {\`a} coefficients positifs

2923: en m{\^e}me temps que \( (\phi _{1},\alpha _{1},\xi _{1}) \) : on a ainsi produit

2924: une structure CR et une forme de contact holomorphe qui s'{\'e}tendent {\`a} l'int{\'e}rieur.

2925: Si la donn{\'e}e initiale est compatible {\`a} la structure r{\'e}elle, il en est de m{\^e}me

2926: pour \( (\phi ,\alpha ,\xi ) \).

2927: 

2928: Le seul point {\`a} traiter concerne la fibration en \( P^{1} \) que nous avons

2929: a priori perdue par cette m{\'e}thode. La m{\'e}thode la plus naturelle pour la r{\'e}cup{\'e}rer

2930: consiste {\`a} am{\'e}liorer la th{\'e}orie de la d{\'e}formation pr{\'e}c{\'e}dente pour assurer que

2931: la forme de contact \( \varpi ^{c} \) satisfait de plus \( F\wedge \varpi ^{c}\wedge \overline{\varpi ^{c}}=0 \)

2932: ; en effet, si cette condition est satisfaite, il n'est pas difficile de voir

2933: que 

2934: \[

2935: \Re (\ker (\varpi ^{c})\cap T^{1,0}_{\phi }+\overline{\ker (\varpi ^{c})\cap T^{1,0}_{\phi }})\]

2936:  est une distribution int{\'e}grable et legendrienne ; par le th{\'e}or{\`e}me de stabilit{\'e}

2937: de Reeb, une perturbation d'un feuilletage en sph{\`e}res \( S^{2} \) demeure une

2938: fibration en sph{\`e}res \( S^{2} \), donc on obtient une fibration legendrienne

2939: en sph{\`e}res \( S^{2} \), qui est n{\'e}cessairement isomorphe {\`a} la fibration initiale

2940: par un contactomorphisme.

2941: 

2942: Cependant, au lieu de revenir sur la th{\'e}orie de la d{\'e}formation, nous pouvons

2943: utiliser un argument plus rapide : l'extension {\`a} l'int{\'e}rieur de \( (\phi ,\alpha ,\xi ) \)

2944: d{\'e}finit un domaine complexe \( D \) muni d'une forme de contact holomorphe

2945: \( \varpi ^{c} \) ; on peut aussi {\'e}largir l{\'e}g{\`e}rement ce domaine, ainsi que

2946: la forme de contact holomorphe, de l'autre c{\^o}t{\'e} de son bord \( \partial D \),

2947: pour obtenir un domaine l{\'e}g{\`e}rement plus grand \( D' \) ; {\`a} pr{\'e}sent, la fibration

2948: initiale en courbes rationnelles r{\'e}elles {\`a} fibr{\'e} normal \( \mathcal{O}(1)\oplus \mathcal{O}(1) \),

2949: par le th{\'e}or{\`e}me de Kodaira, peut elle aussi {\^e}tre perturb{\'e}e, et cette famille

2950: de \( P^{1} \) est donc l'espace des param{\`e}tres d'une vari{\'e}t{\'e} autoduale d'Einstein

2951: \( X \), dont le bord \( \partial X \) est caract{\'e}ris{\'e} comme la famille des

2952: \( P^{1} \) r{\'e}els qui sont tangents {\`a} la distribution de contact holomorphe

2953: ;  LeBrun \cite[proposition 1]{LeB:91} a d{\'e}montr{\'e} cette {\'e}quation est transverse,

2954: ce qui signifie que le bord est toujours lisse, et que l'on peut le trouver

2955: en d{\'e}formant le bord initial de la m{\'e}trique hyperbolique r{\'e}elle. Cette construction

2956: permet donc de r{\'e}cup{\'e}rer {\`a} partir de \( (\phi ,\alpha ,\xi ) \) le bord \( \partial X \),

2957: qui porte la m{\'e}trique conforme que nous voulions construire. Cela ach{\`e}ve la

2958: d{\'e}monstration du th{\'e}or{\`e}me \ref{th-g-rem}.\qed 

2959: 

2960: 

2961: \subsection{\label{sec102}D{\'e}monstration du lemme \ref{pas-de-H2}}

2962: 

2963: On commence par se d{\'e}barrasser de \( \psi  \) et de \( \zeta  \) par le lemme

2964: suivant.

2965: 

2966: \begin{lem}

2967: L'op{\'e}rateur \( (\phi ,\alpha )\rightarrow (\overline{\partial }_{H}\phi ,\overline{\partial }\alpha +\phi \lrcorner F^{L}) \),

2968: d{\'e}fini sur les \( (\phi ,\alpha ) \) tels que \( \phi \lrcorner F=0 \), est

2969: surjectif.

2970: \end{lem}

2971: \begin{proof}

2972: L'op{\'e}rateur \( \phi \rightarrow \overline{\partial }_{H}\phi  \) est surjectif

2973: par le lemme \ref{lem-92}, donc il suffit de v{\'e}rifier que \( \alpha \rightarrow \overline{\partial }\alpha  \)

2974: est surjectif, c'est-{\`a}-dire de montrer que \( H^{2}(\mathcal{O})=0 \). On peut

2975: d{\'e}composer cette cohomologie suivant le poids \( k \) de l'action de \( S^{1} \)

2976: comme dans la d{\'e}monstration du lemme \ref{lem-31}, et on d{\'e}duit 

2977: \begin{eqnarray}

2978: H^{2}(\mathcal{O}) & = & \oplus _{k}H^{2}(P_{1}^{1}\times P_{2}^{1},\mathcal{O}(k,-k))\nonumber \\

2979:  & = & \oplus _{k}H^{1}(P_{1}^{1},\mathcal{O}(k))\otimes H^{1}(P_{2}^{1},\mathcal{O}(-k))=0.\label{cal-H1O} 

2980: \end{eqnarray}

2981: 

2982: \end{proof}

2983: De ce lemme, on d{\'e}duit que pour calculer l'image de l'op{\'e}rateur \( P \) d{\'e}fini

2984: par (\ref{for-P}), on peut se contenter de regarder l'op{\'e}rateur \( (\phi ,\alpha ,\xi )\rightarrow \zeta  \).

2985: 

2986: Commen{\c c}ons par {\'e}tudier le simple probl{\`e}me de cohomologie \( \zeta =\overline{\partial }\xi  \).

2987: Rappelons que \( \xi  \) est une section de 

2988: \[

2989: \Omega '\otimes L=(\mathbf{C}\eta \oplus \Omega ^{1,0})\otimes L,\]

2990:  et l'op{\'e}rateur \( \overline{\partial } \) de \( \Omega ' \) a {\'e}t{\'e} calcul{\'e}

2991: dans la formule (\ref{db-O'}), {\`a} savoir, dans la d{\'e}composition pr{\'e}c{\'e}dente de

2992: \( \Omega ' \), 

2993: \[

2994: \overline{\partial }(\xi ^{0}\eta \oplus \xi ^{1,0})=\overline{\partial }\xi ^{0}\wedge \eta \oplus (\overline{\partial }\xi ^{1,0}+\xi ^{0}(\omega _{1}-\omega _{2}));\]

2995:  ici, \( \xi ^{0} \) est une section de \( L=\mathcal{O}(0,2) \) ; {\`a} nouveau,

2996: la cohomologie se d{\'e}compose suivant les poids \( k \) de l'action de \( S^{1} \)

2997: et on notera \( H_{\geq 0} \) la cohomologie selon les poids positifs.

2998: 

2999: On aura {\'e}galement recours, comme dans la section \ref{sec7}, aux d{\'e}compositions

3000: suivant les repr{\'e}sentations de \( Sp_{1}Sp_{1} \) ; de ce point de vue, le

3001: fibr{\'e} \( L \) appara{\^\i}t comme le fibr{\'e} homog{\`e}ne associ{\'e} {\`a} la repr{\'e}sentation

3002: \( \ell  \) de \( U_{1} \) avec poids 2 ; rappelons {\'e}galement que l'on a d{\'e}compos{\'e}

3003: \( \mathfrak {sp}_{1}\oplus \mathfrak {sp}_{1}=\mathfrak {u}_{1}\oplus \mathfrak {m} \),

3004: et on notera \( \mathfrak {m}^{1,0}=\mathfrak {m}^{1,0}_{1}\oplus \mathfrak {m}^{1,0}_{2} \)

3005: la d{\'e}composition des formes suivant les deux \( P^{1} \).

3006: 

3007: \begin{lem}

3008: \label{lem-H1}On a les {\'e}galit{\'e}s 

3009: \begin{eqnarray*}

3010: H^{1}_{\geq 0}(L) & = & \oplus _{k\geq 4}H^{0}(P^{1}_{1},\mathcal{O}(k))\otimes H^{1}(P^{1}_{2},\mathcal{O}(-k+2)),\\

3011: H^{1}_{\geq 0}(\Omega ^{1}_{P^{1}_{1}}\otimes L) & = & H^{1}(P^{1}_{1},\Omega ^{1}_{P^{1}_{1}})\otimes H^{0}(P^{1}_{2},L)\oplus H^{1}_{\geq 0}(\Omega ^{1}_{P^{1}_{1}}\otimes L)_{0},\\

3012: H^{1}_{\geq 0}(\Omega ^{1}_{P^{1}_{1}}\otimes L)_{0} & = & \oplus _{k\geq 4}H^{0}(P^{1}_{1},\mathcal{O}(k-2))\otimes H^{1}(P^{1}_{2},\mathcal{O}(-k+2)),\\

3013: H^{1}_{\geq 0}(\Omega ^{1}_{P^{1}_{2}}\otimes L) & = & \oplus _{k\geq 2}H^{0}(P^{1}_{1},\mathcal{O}(k))\otimes H^{1}(P^{1}_{2},\mathcal{O}(-k)).

3014: \end{eqnarray*}

3015:  Dans la d{\'e}composition suivant les repr{\'e}sentations de \( Sp_{1}Sp_{1} \), la

3016: cohomologie \( H^{1}_{\geq 0}(L) \) est concentr{\'e}e sur les repr{\'e}sentations

3017: \( V^{K,L} \) avec \( K=L+4 \), et est repr{\'e}sent{\'e}e par les \( \left\langle w,\rho (g^{-1})v\right\rangle  \)

3018: avec 

3019: \[

3020: v\otimes w\in V^{K,L}\otimes \hom (V(K,-L),\mathfrak {m}^{0,1}_{2}\otimes \ell );\]

3021:  la cohomologie \( H^{1}_{\geq 0}(\Omega ^{1}\otimes L)_{0} \) est concentr{\'e}e

3022: sur les repr{\'e}sentations \( V^{K,L} \) avec \( K=L+2 \), et est repr{\'e}sent{\'e}e

3023: par les \( \left\langle w,\rho (g^{-1})v\right\rangle  \) avec 

3024: \[

3025: v\otimes w\in V^{K,L}\otimes \hom (V(K,-L),\mathfrak {m}^{1,0}\otimes \mathfrak {m}^{0,1}_{2}\otimes \ell ).\]

3026: 

3027: \end{lem}

3028: \begin{proof}

3029: Le calcul des \( H^{1} \), d{\'e}compos{\'e}s suivant les poids de l'action de \( S^{1} \),

3030: est similaire {\`a} celui effectu{\'e} en (\ref{cal-H1O}), sachant que \( L=\mathcal{O}(0,2) \).

3031: Le point ici est l'assertion sur les repr{\'e}sentations (on remarquera que les

3032: dimensions des espaces de repr{\'e}sentations indiqu{\'e}s co{\"\i}ncident bien avec les

3033: dimensions des \( H^{1} \)) : le r{\'e}sultat se lit sur les figures, comme dans

3034: la section \ref{sec7} (voir aussi la figure \ref{fig-4} ci-dessous).

3035: \end{proof}

3036: Finissons {\`a} pr{\'e}sent la d{\'e}monstration du lemme \ref{pas-de-H2} : {\'e}tant donn{\'e}

3037: \( \zeta \in \Omega ^{0,1}\otimes \Omega '\otimes L \), tel que \( \overline{\partial }\zeta =0 \),

3038: on cherche \( \phi  \), \( \xi  \) (tel que \( \xi |_{T^{1,0}_{P^{1}_{2}}}=0 \))

3039: et \( \alpha  \) tels que 

3040: \[

3041: \zeta =\overline{\partial }\xi -\partial '(\phi \lrcorner \eta ^{c})+\phi \lrcorner d\eta ^{c}+\alpha \wedge \eta ^{c};\]

3042:  on peut trouver \( \xi  \) et \( \alpha =\overline{\partial }f \) qui tuent

3043: toute la partie de \( \zeta  \) orthogonale {\`a} la cohomologie calcul{\'e}e dans

3044: le lemme \ref{lem-H1}, il nous reste {\`a} utiliser \( \phi  \) et la partie cohomologie

3045: de \( \alpha  \) pour tuer le reste.

3046: 

3047: Commen{\c c}ons par noter que la composante \( H^{1}(P^{1}_{1},\Omega ^{1}_{P^{1}_{1}})\otimes H^{0}(P^{1}_{2},L) \)

3048: obtenue dans le lemme est repr{\'e}sent{\'e}e par les \( \sigma \omega _{1} \), o{\`u}

3049: \( \sigma \in H^{0}(P^{1}_{2},L) \) ; comme 

3050: \begin{equation}

3051: \label{H1-3}

3052: \overline{\partial }(\sigma \eta )=\sigma (\omega _{1}-\omega _{2}),

3053: \end{equation}

3054:  on voit que quitte {\`a} modifier \( \zeta  \) par \( \sigma \omega _{2} \) (qui

3055: appartient {\`a} l'espace \( H^{1}_{\geq 0}(\Omega ^{1}_{P^{1}_{2}}\otimes L) \)

3056: pour le poids \( k=2 \)) on peut supposer que cette composante s'annule.

3057: 

3058: Une des cons{\'e}quences importantes du lemme \ref{lem-H1} est que les probl{\`e}mes

3059: de cohomologie pour les composantes de \( \zeta  \) sur \( \Omega ^{0,1}\wedge \eta \otimes L \)

3060: et \( \Omega ^{1,1}\otimes L \) sont compl{\`e}tement d{\'e}connect{\'e}s, puisque les

3061: cohomologies correspondantes apparaissent dans des repr{\'e}sentations diff{\'e}rentes.

3062: On peut donc traiter s{\'e}par{\'e}ment ces deux probl{\`e}mes : ils sont trait{\'e}s dans les

3063: deux lemmes suivants, ce qui ach{\`e}ve la d{\'e}monstration du lemme \ref{pas-de-H2}.\qed

3064: 

3065: Le premier lemme concerne les repr{\'e}sentations {\`a} \( K=L+4 \).

3066: 

3067: \begin{lem}

3068: \label{lem-H10}L'image de l'application \( \phi \rightarrow -\partial '(\phi \lrcorner \eta ^{c})+\phi \lrcorner d\eta ^{c} \),

3069: d{\'e}finie sur les \( \phi \in \Omega ^{0,1}_{P^{1}_{2}}\otimes T^{1,0}_{P^{1}_{2}} \)

3070: satisfaisant \( \overline{\partial }_{H}\phi =0 \), contient la cohomologie

3071: \( H^{1}_{\geq 0}(L) \).

3072: \end{lem}

3073: \begin{proof}

3074: On remarquera que les conditions alg{\'e}briques \( \phi \lrcorner F=0 \) et \( \phi \lrcorner F^{L}=0 \)

3075: sont une cons{\'e}quence de \( \phi \in \Omega ^{0,1}_{P^{1}_{2}}\otimes T^{1,0}_{P^{1}_{2}} \).

3076: On a vu dans le lemme \ref{lem-H1} qu'un {\'e}l{\'e}ment \( \zeta ^{0} \) de \( H^{1}(L) \)

3077: peut se repr{\'e}senter par des \( v\otimes w \) avec \( w\in \hom (V(K,-K+4),\mathfrak {m}^{0,1}_{2}\otimes \ell ) \)

3078: ; cela nous am{\`e}ne {\`a} chercher un \( \phi  \) v{\'e}rifiant la m{\^e}me propri{\'e}t{\'e} : plus

3079: pr{\'e}cis{\'e}ment, soit \( \phi \in \Omega ^{0,1}_{P^{1}_{2}}\otimes T^{1,0}_{P^{1}_{2}} \),

3080: dans la composante {\`a} poids \( K \) de l'action de \( S^{1} \), alors on calcule

3081: \begin{equation}

3082: \label{for-Rdphi}

3083: R\lrcorner (-\partial '(\phi \lrcorner \eta ^{c})+\phi \lrcorner d\eta ^{c})=-iK\phi \lrcorner \eta ^{c};

3084: \end{equation}

3085:  {\'e}tant donn{\'e} \( \zeta ^{0}\in \Omega ^{0,1}_{P^{1}_{2}}\otimes L \) tel que

3086: \( \overline{\partial }\zeta ^{0}=0 \), on d{\'e}finit \( \phi \in \Omega ^{0,1}_{P^{1}_{2}}\otimes T^{1,0}_{P^{1}_{2}} \)

3087: par 

3088: \[

3089: -iK\phi \lrcorner \eta ^{c}=\zeta ^{0},\]

3090:  alors on a bien \( \overline{\partial }_{H}\phi =0 \), et 

3091: \[

3092: -\partial '(\phi \lrcorner \eta ^{c})+\phi \lrcorner d\eta ^{c}=\zeta ^{0}\eta +\zeta ^{1,1};\]

3093:  la composante \( \zeta ^{1,1} \) sur \( \Omega ^{1,1}\otimes L \) est nulle

3094: en cohomologie, puisque, d'apr{\`e}s le lemme \ref{lem-H1}, celle-ci est concentr{\'e}e

3095: sur les repr{\'e}sentations {\`a} \( K=L+2 \).

3096: \end{proof}

3097: Le second lemme concerne les repr{\'e}sentations {\`a} \( K=L+2 \). 

3098: 

3099: \begin{lem}

3100: \label{lem-H11}L'image de l'application \( (\phi ,\alpha )\rightarrow -\partial '(\phi \lrcorner \eta ^{c})+\phi \lrcorner d\eta ^{c}+\alpha \eta ^{c} \),

3101: d{\'e}finie sur les couples \( (\phi ,\alpha ) \) tels que \( \phi \lrcorner F=0 \),

3102: \( \phi \lrcorner F^{L}=0, \) \( \overline{\partial }_{H}\phi =0 \), et \( \overline{\partial }\alpha +\phi \lrcorner F^{L}=0 \),

3103: contient \( H^{1}_{\geq 0}(\Omega ^{1}_{P^{1}_{1}}\otimes L)_{0} \) et \( H^{1}_{\geq 0}(\Omega ^{1}_{P^{1}_{2}}\otimes L) \).

3104: \end{lem}

3105: \begin{proof}

3106: Ce lemme est l{\'e}g{\`e}rement plus difficile {\`a} d{\'e}montrer que le pr{\'e}c{\'e}dent. Nous raisonnons

3107: de mani{\`e}re alg{\'e}brique, comme dans la section \ref{sec7}, dans la repr{\'e}sentation

3108: \( V^{K,L} \) avec \( K=L+2 \) ; par abus de notation, nous identifions \( \phi  \)

3109: avec \( \left\langle \phi ,\rho (g^{-1})v\right\rangle  \) o{\`u} \( v\in V^{K,L} \)

3110: et on prend \( \phi \in \hom (V(K,-K+4),\mathfrak {m}^{0,1}\otimes \mathfrak {m}_{1,0}) \)

3111: de la forme (comme dans le lemme pr{\'e}c{\'e}dent) 

3112: \[

3113: \phi =\phi _{\overline{2}}^{2}e^{\overline{2}}e_{2};\]

3114: \begin{figure}[hbt]

3115: {\par\centering \includegraphics{image4.eps} \par}

3116: 

3117: 

3118: \caption{\label{fig-4}la cohomologie est concentr{\'e}e en \protect\( (K,-K+2)\protect \)}

3119: \end{figure}

3120: un tel \( \phi  \) v{\'e}rifie automatiquement \( \overline{\partial }_{H}\phi =0 \)

3121: car \( \phi _{\overline{2}}^{2}\circ \rho _{*}(Y_{1})=0 \) si \( \phi _{\overline{2}}^{2} \)

3122: est concentr{\'e} sur \( V(K,-K+4) \), voir la figure \ref{fig-4} ; la forme homog{\`e}ne

3123: \( \eta ^{c} \) s'{\'e}crit alg{\'e}briquement \( \eta ^{c}=(e^{1}-e^{2})\sigma \in \mathfrak {m}^{1,0}\otimes \ell  \),

3124: o{\`u} \( \sigma \in \ell  \) est un vecteur de base fix{\'e} ; par cons{\'e}quent, on

3125: a 

3126: \[

3127: -\phi \lrcorner \eta ^{c}=\phi _{\overline{2}}^{2}e^{\overline{2}}\sigma ;\]

3128:  d'un autre c{\^o}t{\'e}, remarquons que si \( \xi ^{0}\in \hom (V(K,-K+2),\mathbf{C}) \),

3129: alors \( \overline{\partial }(\xi ^{0}\sigma )=\xi ^{0}\circ \rho _{*}(Y_{2})e^{\overline{2}}\sigma  \)

3130: (il n'y a pas de d{\'e}riv{\'e}e sur \( e^{\overline{1}} \) car \( \xi ^{0}\circ \rho _{*}(Y_{1})=0 \)

3131: pour \( \xi ^{0} \) concentr{\'e} sur \( V(K,-K+2) \)) ; compte tenu de la relation

3132: \( -Y_{2}X_{2}=[X_{2},Y_{2}]=H_{2}=-K+4 \) sur \( V(K,-K+4) \), on d{\'e}duit

3133: qu'en posant 

3134: \[

3135: \xi ^{0}=-i\frac{K}{K-4}\phi _{\overline{2}}^{2}\circ \rho _{*}(X_{2}),\]

3136:  on obtient 

3137: \[

3138: R\lrcorner (\overline{\partial }\xi _{0}\sigma +K\phi \lrcorner \eta ^{c})=0,\]

3139:  c'est-{\`a}-dire que, d'apr{\`e}s (\ref{for-Rdphi}), l'image de \( (\phi ,\xi ^{0}\sigma ) \)

3140: est concentr{\'e}e sur \( \Omega ^{1,1}\otimes L \) ; cette image est d'ailleurs

3141: {\'e}gale {\`a} 

3142: \[

3143: -\partial (\phi \lrcorner \eta ^{c})+\xi ^{0}(\omega _{1}-\omega _{2}),\]

3144:  soit alg{\'e}briquement 

3145: \begin{eqnarray*}

3146:  &  & (1-\frac{K}{K-4})\phi _{\overline{2}}^{2}\circ \rho _{*}(X_{2})e^{2}\wedge e^{\overline{2}}\sigma \\

3147:  &  & \qquad +\left( \phi _{\overline{2}}^{2}\circ \rho _{*}(X_{1})e^{1}\wedge e^{\overline{2}}\sigma +\frac{K}{K-4}\phi _{\overline{2}}^{2}\circ \rho _{*}(X_{2})e^{1}\wedge e^{\overline{1}}\sigma \right) ;

3148: \end{eqnarray*}

3149:  le second morceau de cette somme est une (0,1)-forme \( \overline{\partial } \)-ferm{\'e}e

3150: {\`a} valeurs dans \( \Omega ^{1,0}_{P^{1}_{1}}\otimes L \), mais \( H^{1}_{\geq 0}(\Omega ^{1,0}_{P^{1}_{1}}\otimes L) \)

3151: {\'e}tant concentr{\'e} sur \( \hom (V(K,-K+2),\mathfrak {m}^{0,1}\otimes e^{1}) \),

3152: elle est \( \overline{\partial } \)-exacte (ce fait se lit d'ailleurs imm{\'e}diatement

3153: sur la figure \ref{fig-4}), si bien qu'on obtient finalement 

3154: \[

3155: (1-\frac{K}{K-4})\phi _{\overline{2}}^{2}\circ \rho _{*}(X_{2})e^{2}\wedge e^{\overline{2}}\sigma +\overline{\partial }\xi ^{1},\]

3156:  o{\`u} \( \xi ^{1} \) est concentr{\'e} sur \( V(K-2,-K+2) \) ; on en d{\'e}duit que

3157: toute la cohomologie \( H^{1}_{\geq 0}(\Omega ^{1}_{P^{1}_{2}}\otimes L) \)

3158: peut {\^e}tre tu{\'e}e par le choix de \( (\phi ,\xi ) \) comme ci-dessus ; comme on

3159: dispose {\'e}galement de \( \alpha \eta ^{c} \) tel que \( \overline{\partial }\alpha =0 \),

3160: de sorte que 

3161: \[

3162: \alpha \in H_{\geq 0}^{1}(\mathcal{O})=\oplus _{k\geq 2}H^{0}(P^{1}_{1},\mathcal{O}(k))\otimes H^{1}(P^{1}_{2},\mathcal{O}(-k)),\]

3163:  on voit imm{\'e}diatement que tout \( H^{1}_{\geq 0}(\Omega ^{1}_{P^{1}_{1}}\otimes L)_{0}\oplus H^{1}_{\geq 0}(\Omega ^{1}_{P^{1}_{2}}\otimes L) \)

3164: est atteint.

3165: \end{proof}

3166: 

3167: \section{\label{sec-11}M{\'e}triques quaternion-k{\"a}hl{\'e}riennes}

3168: 

3169: Nous passons maintenant au cas de la dimension sup{\'e}rieure. 

3170: 

3171: 

3172: \subsection{Structures de contact quaternioniennes}

3173: 

3174: Rappelons bri{\`e}vement qu'une structure de contact quaternionienne sur une vari{\'e}t{\'e}

3175: \( X^{4m-1} \) est l'analogue quaternionien d'une structure CR : il s'agit

3176: d'une distribution \( H\subset TX \) de codimension 3, munie d'une structure

3177: quaternionienne conforme (une \( CSp_{m-1}Sp_{1} \)-structure), c'est-{\`a}-dire

3178: d'une m{\'e}trique \( \gamma  \) et de trois structures presque complexes \( I_{1} \),

3179: \( I_{2} \), \( I_{3} \) satisfaisant les relations de commutation des quaternions

3180: (\( I_{1}I_{2}I_{3}=-1 \)) et pr{\'e}servant la m{\'e}trique ; les structures complexes

3181: ne sont d{\'e}finies qu'{\`a} l'action pr{\`e}s de \( Sp_{1} \), et la m{\'e}trique {\`a} un facteur

3182: conforme pr{\`e}s. De plus, on demande la compatibilit{\'e} suivante avec la distribution

3183: \( H \) : localement, il existe une 1-forme \( \eta =(\eta _{1},\eta _{2},\eta _{3}) \)

3184: {\`a} valeurs dans \( \mathbf{R}^{3} \), telle que \( H=\ker \eta  \) et 

3185: \[

3186: d\eta _{i}(X,Y)=\gamma (I_{i}X,Y).\]

3187:  Il est d{\'e}montr{\'e} dans \cite{Biq:00} (voir aussi le survey \cite{Biq:99}) qu'en

3188: dimension \( 4m-1\geq 11 \), une telle donn{\'e}e admet un espace de twisteurs

3189: \( \mathcal{T}^{4m+1} \) qui est une vari{\'e}t{\'e} CR int{\'e}grable munie d'une structure

3190: de contact holomorphe ; en dimension 7, l'existence de l'espace des twisteurs

3191: n'est pas automatique---c'est une condition d'int{\'e}grabilit{\'e} {\`a} imposer {\`a} la structure

3192: (similaire {\`a} la condition d'int{\'e}grabilit{\'e} des structures CR). L'exemple standard

3193: est celui de la sph{\`e}re \( S^{4m-1} \), dont la structure de contact quaternionienne

3194: est fourni par les espaces horizontaux de la fibration de Hopf 

3195: \[

3196: \begin{array}{ccc}

3197: S^{3} & \longrightarrow  & S^{4m-1}\\

3198:  &  & \downarrow \\

3199:  &  & \mathbf{H}P^{m-1}

3200: \end{array}.\]

3201: 

3202: 

3203: Le cas de l'espace hyperbolique quaternionien \( \mathbf{H}H^{m} \) est explicite,

3204: et similaire au cas \( \mathbf{H}H^{1}=\mathbf{R}H^{4} \) expliqu{\'e}e dans la

3205: section \ref{sec12} : l'espace des twisteurs de l'espace projectif quaternionien

3206: \( \mathbf{H}P^{m} \) est \( P^{2m+1} \), avec projection twistorielle 

3207: \[

3208: p([z^{1}:z^{2}:\cdots :z^{2m+1}:z^{2m+2}])=[z^{1}+jz^{2}:\cdots :z^{2m+1}+jz^{2m+2}],\]

3209: et l'espace hyperbolique quaternionien se r{\'e}alise comme le domaine 

3210: \[

3211: \mathbf{H}H^{m}=\{|q^{1}|^{2}+\cdots +|q^{m}|^{2}<|q^{m+1}|^{2}\}\subset \mathbf{H}P^{m},\]

3212:  avec pour espace des twisteurs 

3213: \[

3214: \mathcal{N}=\{|z^{1}|^{2}+\cdots +|z^{2m}|^{2}<|z^{2m+1}|^{2}+|z^{2m+2}|^{2}\}\subset P^{2m+1},\]

3215:  muni de la structure r{\'e}elle standard et de la structure de contact holomorphe

3216: \begin{eqnarray*}

3217: \eta ^{c} & = & (z^{1}dz^{2}-z^{2}dz^{1})+\cdots +(z^{2m-1}dz^{2m}-z^{2m}dz^{2m-1})\\

3218:  &  & \phantom {(z^{1}dz^{2}-z^{2}dz^{1})+\cdots }-(z^{2m+1}dz^{2m+2}-z^{2m+2}dz^{2m+1});

3219: \end{eqnarray*}

3220:  le bord \( \mathcal{T}=\partial \mathcal{N} \) appara{\^\i}t {\`a} nouveau comme le

3221: fibr{\'e} \( \mathcal{O}(-1,1) \) sur \( P^{2m-1}\times P^{1} \), avec courbure

3222: \[

3223: iF=\omega _{P^{2m-1}}-\omega _{P^{1}}.\]

3224:  

3225: 

3226: 

3227: \subsection{D{\'e}monstration du th{\'e}or{\`e}me \ref{th-E}}

3228: 

3229: Le probl{\`e}me d'extension des structures de contact quaternioniennes (en dimension

3230: 7, on doit supposer que l'espace des twisteurs existe) est ramen{\'e} par la construction

3231: twistorielle au probl{\`e}me de prolonger dans \( \mathcal{N} \) la d{\'e}formation

3232: de la structure CR et de la structure de contact holomorphe de \( \mathcal{T} \).

3233: 

3234: Pour r{\'e}aliser ce remplissage, on veut montrer que toute structure CR sur \( \mathcal{T} \),

3235: proche de la structure standard, peut {\^e}tre mise {\`a} coefficients de Fourier positifs

3236: apr{\`e}s action d'un contactomorphisme. Comme dans la section \ref{sec5}, on a

3237: un groupe bien d{\'e}fini de contactomophismes qui agit sur l'espace des structures

3238: CR. On analyse l'action infinit{\'e}simale.

3239: 

3240: \begin{lem}

3241: \label{lem-111}Pour \( m>1 \), l'image de l'op{\'e}rateur \( \overline{\partial }_{H}\#\overline{\partial } \)

3242: agissant sur les fonctions complexes de classe \( \mathcal{H}^{k+2} \) {\`a} coefficients

3243: de Fourier strictement n{\'e}gatifs est l'espace des \( \phi \in \mathcal{H}^{k}(\Omega ^{0,1}\otimes T^{1,0}) \),

3244: {\`a} coefficients de Fourier strictement n{\'e}gatifs, satisfaisant \( \overline{\partial }_{H}\phi =0 \)

3245: et \( \phi \lrcorner F=0 \).

3246: \end{lem}

3247: \begin{proof}

3248: Soit un entier \( k>0 \), le probl{\`e}me \( \overline{\partial }_{H}\#\overline{\partial }f=\phi  \)

3249: en poids \( -k \) est {\'e}quivalent au probl{\`e}me \( \overline{\partial }\#\overline{\partial }f=\phi  \),

3250: o{\`u} maintenant sur \( P^{2m-1}\times P^{1} \) on voit \( f \) comme une section

3251: de \( \mathcal{O}(-k,k) \) et \( \phi  \) de \( \Omega ^{0,1}\otimes T^{1,0}\otimes \mathcal{O}(-k,k) \).

3252: Or on a l'annulation suivante de la cohomologie, pour \( m>1 \) et \( k>0 \)

3253: : 

3254: \[

3255: H^{1}(P^{2m-1}\times P^{1},T^{1,0}\otimes \mathcal{O}(-k,k))=H^{1}(P^{2m-1}\times P^{1},\mathcal{O}(-k,k))=0,\]

3256: qui se d{\'e}duit imm{\'e}diatement de l'annulation bien connue, pour \( m>1 \),

3257: \[

3258: H^{1}(P^{2m-1},T^{1,0}\otimes \mathcal{O}(\ell ))=0.\]

3259:  D{\'e}duisons-en le lemme : l'annulation du premier \( H^{1} \) indique que l'on

3260: peut r{\'e}soudre le probl{\`e}me \( \overline{\partial }X=\phi  \) ; alors 

3261: \[

3262: \overline{\partial }(\flat X)=\overline{\partial }(X\lrcorner F)=\phi \lrcorner F=0,\]

3263:  donc, par l'annulation du second \( H^{1} \), on peut r{\'e}soudre \( \overline{\partial }f=\flat X \),

3264: donc \( \overline{\partial }\#\overline{\partial }f=\phi  \).

3265: \end{proof}

3266: Quand on se restreint aux fonctions r{\'e}elles, le lemme signifie que le suppl{\'e}mentaire

3267: \( W \) de l'image de \( \overline{\partial }_{H}\#\overline{\partial } \)

3268: d{\'e}fini dans le lemme \ref{lem-64} est constitu{\'e} de tenseurs \( \phi  \) qui

3269: n'ont que des coefficients de Fourier positifs ; comme dans le corollaire \ref{cor-for-W},

3270: une petite d{\'e}formation CR de \( \phi  \) peut {\^e}tre mise en jauge de Coulomb

3271: \( \varphi ^{*}\phi \in W \), donc {\`a} coefficients de Fourier positifs, et par

3272: cons{\'e}quent, comme dans le lemme \ref{lem-fill-J}, est le bord d'une d{\'e}formation

3273: complexe de \( \mathcal{N} \).

3274: 

3275: Notons qu'on obtient probablement une autre d{\'e}monstration de ce fait en appliquant

3276: le th{\'e}or{\`e}me d'extension de Kiremidjian \cite{Kir:79}, {\`a} condition de montrer

3277: l'annulation de \( H^{2}_{c}(\mathcal{N},T^{1,0}) \). La d{\'e}monstration utilisant

3278: le lemme \ref{lem-111} est plut{\^o}t plus directe, en particulier elle {\'e}vite le

3279: recours au th{\'e}or{\`e}me de Nash-Moser.

3280: 

3281: La d{\'e}monstration du th{\'e}or{\`e}me \ref{th-fill-etac} reste {\'e}galement valable dans

3282: notre cas, et donne l'extension de la structure de contact holomorphe. Le th{\'e}or{\`e}me

3283: \ref{th-E} en r{\'e}sulte.\qed

3284: 

3285: \begin{rem}

3286: Le lecteur attentif aura not{\'e} que la m{\'e}thode utilis{\'e}e dans le lemme \ref{lem-111}

3287: donne une voie diff{\'e}rente pour calculer, en dimension 5, les obstructions obtenues

3288: dans la section \ref{sec7}. J'ai pr{\'e}f{\'e}r{\'e} le calcul par les d{\'e}compositions harmoniques,

3289: plus complet : en particulier, les calculs de la section \ref{sec102} sont

3290: imm{\'e}diats gr{\^a}ce {\`a} ces d{\'e}compositions ; de plus, les espaces tangents aux m{\'e}triques

3291: remplissables, d{\'e}termin{\'e}s par les th{\'e}or{\`e}mes \ref{th-gQ-rem} et \ref{th-g-rem},

3292: ne s'expriment simplement qu'{\`a} l'aide de ces m{\^e}mes d{\'e}compositions.

3293: \end{rem}

3294: \bibliographystyle{alpha}

3295: \bibliography{ade}

3296: 

3297: 

3298: \medskip{}

3299: {\par\raggedleft Institut de Recherche Math{\'e}matique Avanc{\'e}e,\par}

3300: 

3301: {\par\raggedleft Universit{\'e} Louis Pasteur et CNRS,\par}

3302: 

3303: {\par\raggedleft 7 rue Ren{\'e} Descartes, F-67084 Strasbourg Cedex\par}

3304: 

3305: \medskip{}

3306: {\par\raggedleft \texttt{olivier.biquard@math.u-strasbg.fr}\par}

3307: 

3308: \end{document}

3309: