TH Orie L Mentaire Des Feuilletages Holomorphes Singuliers PDF

Felipe
Cano
Dominique
Cerveau
Julie
Déserti
Théorie élémentaire
des feuilletages
holom.orphes
singuliers
Théorie élémentaire
des feuilletages
holomorphes
singuliers
Felipe
Cano
Dominique
Cerveau
Julie
Déserti
rue Férou 75278 Paris cedex 06

Be 11· n:
8.
www.ed1t1ons-behn.com
.
La collection <<Échelles»
Privilégiant les savoirs les plus actuels, la collection «Échelles» propose des ouvrages scientifiques
rédigés par des auteurs qui font autorité dans leur domaine. Par la présentation simple de questions
réputées complexes, elle exprime une certaine idée de l'enseignement des sciences, en relation
étroite avec le monde de la recherche et de ses applications. La collection «Échelles>> s'adresse à
l'étudiant en master 1 et 2, au doctorant comme au chercheur ou à l'ingénieur. Elle est dirigée par
Michel Laguës (École supérieure de physique et chimie industrielles-ESPCI) et Annick Lesne (CNRS
et Institut des hautes études scientifiques-IHÉS).
Dans la même collection

L'héritage de Kolmogorov en mathématiques, Éric Charpentier, Annick Lesne et Nikolaï Nikolski (sous la
direction de), 2004.
L'héritage scientifique de Poincaré, Éric Charpentier, Étienne Ghys et Annick Lesne (sous la direction de),
2006.
Introduction à Io théorie analytique et probabiliste des nombres, Gérald Tenenbaum, 2008.
Éléments d'analyse avancée. 1. Espaces de Hardy, Nikolaï Nikolski, 2012.
Gouttes, bulles, perles et ondes, Pierre-Gilles de Gennes, Françoise Brochard-Wyart et David Quéré, 2002.
Nouvelle édition avec Cd-Rom, 2005.
Introduction à Io microfluidique, Patrick Tabeling, 2003.
L'héritage de Kolmogorov en physique, Roberto Livi et Angelo Vulpiani (sous la direction de), 2003.
Liquides. Solutions, dispersions, émulsions, gels, Bernard Cabane et Sylvie Hénon, 2003. 2' édition
augmentée, 2007.
Rhéophysique, Patrick Oswald, 2005.
Morphogenèse. L'origine des formes, Paul Bourgine et Annick Lesne (sous la direction de), 2006.
Les nouvelles microscopies. À la découverte du nanomonde, Lionel Aigouy, Yannick De Wilde et Christian
Frétigny, 2006.
Architectures de la matière molle, Jean Charvolin, 2008.
Invariances d'échelle. Des changements d'états à la turbulence, Michel Laguës et Annick Lesne, 2003.
Nouvelle édition 2008.
Les nanosciences. 1. Nanotechnologies et nanophysique, Marcel Lahmani, Claire Dupas et Philippe Houdy
(sous la direction de), 2004. 3' édition revue et augmentée, 2009.
Les nanosciences. 2. Nanomatériaux et nanochimie, Marcel Lahmani, Catherine Bréchignac et Philippe
Houdy (sous la direction de), 2006. 2' édition revue et augmentée, 2012.
Les nanosciences. 3. Nanobiotechnologies et nanobiologie, Marcel Lahmani, Patrick Boisseau et Philippe
Houdy (sous la direction de), 2007.
Les nanosciences. 4. Nanotoxicologie et nanoéthique, Marcel Lahmani, Francelyne Marana et Philippe
Houdy (sous la direction de), 2010.
Couverture: Dominique Cerveau, 11Ceci est une feuille11 (pastel), photo Stéphane Cerveau.
Le code de la propriété intellectuelle n'autorise que 11les copies ou reproductions strictement réservées à l'usage privé du
copiste et non destinées à une utilisation collective11 [article L. 122-5); il autorise également les courtes citations effectuées
122-4). La loi 95-4 du 3 janvier 1994

dans un but d'exemple ou d'illustration. En revanche 11toute représentation ou reproduction intégrale ou partielle, sans le
a confié au C.F.C. (Centre français de l'exploitation du droit de copie, 20, rue des Grands-Augustins, 75006 Paris}, l'exclusivité
consentement de l'auteur ou de ses ayants droit ou ayants cause, est illicite11 [article L.
une contrefaçon sanctionnée par les articles 425 et suivants du Code pénal.
de la gestion du droit de reprographie. Toute photocopie d'œuvres protégées, exécutée sans son accord préalable, constitue
© Éditions Belin, 2013 ISSN 1635-8414 ISBN 978-2-7011-7484-6

À Marco Brunella
TABLE DES MATIÈRES
Introduction 9
Chapitre 1 PR ÉLI MINAIRES. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1 . 1 Topologie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1 . 1 . 1 Variétés topologiques, revêtements . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1. 1.2 Le groupe de POINCARÉ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1 . 1 .3 Le principe de monodromie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2 Géométrie différentielle complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1 . 2 . 1 Fonctions holomorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.2.2 Variétés complexes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.2.3 Éclatem ents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.2.4 Revêtements complexes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.2.5 Surfaces de RIEMANN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.3 Champs et formes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.3.1 Uespace tangent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1 .3.2 Champs de vecteurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.3.3 Formes différentielles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1 .3.4 Formes différentielles d'ordre supérieur . . . . . . . . . . . . . . . . . . . . . 21
1 . 3 . 5 Germes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.3.6 Les complétés formels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.4 Géométrie analytique locale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.4. 1 Germes d'ensembles analytiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.4.2 Composantes irréductibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.4.3 Le théorème de PUISEUX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1 . 5 Prolongement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.5.1 Extension holomorphe à plusieurs variables de type HARTOGS 28
1.5.2 Une application : division de DE RHAM-SAITO
pour les 1-formes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1 . 5.3 Prolongement d'ensembles analytiques . . . . . . . . . . . . . . . . . . . . . . 29
1.5.4 Fonctions méromorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.5.5 Images . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.6 Cohomologie. Problèmes de COUSIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.6. 1 Cocycles et cobords sur un exemple . . . . . . . . . . . . . . . . . . . . . . . . . 31
1. 6.2 Le premier groupe de cohomologie . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1 .6.3 Le problème de COUSIN multiplicatif . . . . . . . . . . . . . . . . . . . . . . . . 34
1.6.4 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
1. 7 Géométrie algébrique projective . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1. 7 . 1 Variétés projectives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.7.2 Géométrie algébrique, géométrie analytique . . . . . . . . . . . . . . . . . 35
6 TABLE DES MATIÈRES
Chapitre 2 NOTI ONS DE BASE . . . . . .. . . . . . . . . .. . . . ... . . . . . . . . . . . . . . . . . . . . . . . 37

2 . 1 Rectification d'un champ de vecteurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.2 Théorème de FROBENIUS. Codimension 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.3 Feuilletages singuliers de codimension 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.3 . 1 Données locales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.3.2 Lieu singulier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.3.3 Pré-feuilletages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.3.4 Image réciproque, transformé strict . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.4 Feuilles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.4.1 Morceaux de feuille . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.4.2 Feuilles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.5 Avant-goût de l'holonomie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.6 Intégrales premières, hypersurfaces intégrales . . . . . . . . . . . . . . . . . . . . . . . 45
2.6.1 Intégrales premières multiformes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.6.2 Germes d'intégrales premières . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.6.3 Feuilles fermées . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.6.4 H ypersurfaces intégrales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2. 7 Feuilletages projectifs et affines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2 . 7 . 1 Degré . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.7.2 Intégrales premières rationnelles . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2.7.3 Feuilletages de l'espace affine e n . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2. 7.4 Feuilletages linéaires de C2 . . . . . • . . . . . . . . . . ..
. . . . . . . . . . . . . . . • 52
2.8 D'autres exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
2.8. 1 Feuilletages sur certaines variétés de H OPF . . . . . . . . . . . . . . . . . . 52
2.8.2 Feuilletages sur les tores complexes . . . . . . . . . . . . . . . . . . . . . . . . . 54
2.8.3 Feuilletages sur les tores complexes (suite) . . . . . . . . . . . . . . . . . . 56
2.9 Compléments : genèse du concept de feuilletage . . . . . . . . . . . . . . . . . . . . . 58
Chapitre 3 SIN GU LARIT ÉS SI MPLES EN DI MENSI ON 2 ...................... 61
3.1 Premières propriétés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3.2 Courbes intégrales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.3 Linéarisation. Point de vue élémentaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
3.4 Jordanisation formelle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.5 Formes normales formelles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
3.6 Compléments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
Chapitre 4 RÉDU CTI ON DES SIN GU LARIT ÉS EN DI MENSI ON 2 .............. 81
4 . 1 É noncés de réduction des singularités . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
4 . 1 . 1 Réduction aux singularités pré-simples . . . . . . . . . . . . . . . . . . . . . . 83
4 . 1 . 2 Réduction aux singularités simples . . . . . . . . . . . . . . . . . . . . . . . . . . 84
4 . 1 .3 Réduction « adaptée » des singularités . . . . . . . . . . . . . . . . . . . . . . 84
4.2 Invariants locaux et éclatements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
4.2.1 Cône tangent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
4.2.2 Nombre de MILNOR . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
4.2.3 Ordre résiduel adapté . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
4.2.4 Ordre restreint . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
TABLE DES MATIÈRES 7
4.3 Réductiona ux singula rités pré-simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90

4.3.1 Suites sta tionna ires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
4.3.2 Uinva ria nt de contrôle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
4.4 Courbes intégra les et désingula risa tion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
4.4.1 Projection pa r écla tement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
4.4.2 Courbes généra lisées . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
4.5 Construction de courbes intégra les . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
4.5.1 Uindice rela tif à une courbe intégra le . . . . . . . . . . . . . . . . . . . . . . . . 96
4.5.2 Ua lgorithme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
4.6 Compléments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
Chapitre 5 TH ÉOR ÈME DE FROBENIUS SINGU LIER . . . . . . . . . . . . . . . . . . . . . . . . . 103
5.1 Division de DE RHAM-SAITO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
5.2 Al gorithme de GODBILLON-VEY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
5.3 Tra nsversa lité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
5.4 Dimension 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
5.4. 1 Le ca s des singula rités simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
5.4.2 Le ca s généra l . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
5.5 Théorème de FROBENIUS singulier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 10
5.5.1 Test de convergence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
5.5.2 Fin de al preuve . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
5.6 Théorèmes d'extension . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
5.7 Compléments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 13
5.7.1 Singula rités : premiers frémissements . . . . . . . . . . . . . . . . . . . . . . . 1 13
5.7.2 FROBENIUS singulier d'a près MALGRANGE [ 77, 78] . . . . . . . . . . . 116
5.7.3 FROBENIUS singulier d'a près MATTEI-MOUSSU [ 82 ] . . . . . . . . . . 1 16
5. 7.4 D'a utres théorèmes de type FROBENIUS singulier . . . . . . . . . . . . 117
Chapitre 6 HOLON OMIE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 19
6.1 Feuilleta ges de codimension 1 tra nsverses à une fibra tion . . . . . . . . . . . 119
6.2 Exemples : Équa tions de RICCATI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
6.3 Holonomie d'un feuilleta ge tra nsverse à une fibra tion . . . . . . . . . . . . . . . 122
6.4 Quelquesa pplica tions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
6.4. 1 Premier ca s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
6.4.2 Second ca s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
6.4.3 Troisième ca s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
6.5 Holonomie d'une hypersurfa ce intégra le . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
6.6 Ca lculs d'holonomie : formes norma les . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
6.6. 1 Le ca s linéa risa ble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
6.6.2 Le ca s généra l non dégénéré . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
6.6.3 Le ca s d'un nœ ud-col . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
6.6.4 Holonomie des formes norma les résona ntes . . . . . . . . . . . . . . . . . 132
6. 7 Holonomie et réduction des singula rités . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
6.8 Holonomie et topologie des feuilles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
6.9 Compléments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
8 TABLE DES MATIÈRES
Chapitre 7 Sous- GR OU PES DE Diff(C, 0) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135

7.1 Difféomorphismes formels, difféomorphismes convergents ......... . 135
7.2 Linéa risa tion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
7.3 Théorème de SIEGEL . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
7.4 Difféomorphismes at ngents à l'i dentité .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148
7.4.1 Le groupe formel à 1 pa ra mètre . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . 148
7.4.2 Propriétés de commuta tion . . .. .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
7.4.3 Formes norma les formelles et centra lisa teurs . .. . . . . . . . . . . . . . 151
7.4.4 Un exemple nona na lytiquement norma lisa ble (4] . . . . . . . . . . . 152
7.5 Groupesa béliens de difféomorphismes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
7.6 Groupes résolubles de difféomorphismes . .. . . . . . . . . . . . . . . . . . . . . . . . . . 155
7.7 Compléments ..... . ............................... . ......... . ....... 158
Chapitre 8 INT ÉGRALES PRE MI ÈRES M U LTIVA LU ÉES . .. . . . . . . . . . . . . . . . . . . . . 161
8.1 Dimension 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 162
8.2 Dimension supérieure à 2 . . . .. . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168
8.2 . 1 Ca s dicritique . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168
8.2.2 Ca s non dicritique . .. .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 170
8.3 Compléments ...................................................... . 17 3
Chapitre 9 FEUI LLETA GES DE L'ES PA CE PR OJE CTI F . ...................... . 17 5
9.1 L'espa ce des feuilleta ges . . .. . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 5
9.1.1 Feuilleta ges de degré donné ............................... . . 17 5
9 1 2 Structurea lgébrique de l'ensemble des feuilleta ges ..........
. . 17 7
9.1.3 Équiva lence projective . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 8
9 .2 Feuilleta ges de degré 1 sur le pla n projectif . . . . . . . . . . . . . . . . . . . . . . . . . . 17 9
9.3 Tra nsversa lité globa le . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 2
9.4 Feuilleta ges de degré 1 sur l'espa ce projectif IP'�, n 2:: 3 . . . . . . . . . . . . . . 18 4
9 . 5 Degré des hypersurfaces intégra les . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 7
9.5.l Ordre résiduel généra lisé . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 1
9 . 5. 2 Degré d'un feuilleta ge revisité. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 3
9.6 Feuilleta ges sa ns hypersurfa ces intégra les . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 5
9.7 Compléments . .. . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 6
Bibliographie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 9
.
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 205
Index des notations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 207
INTRODUCTION
Ce livre se veut être une introduction à la théorie des feuilletages holomorphes

tant du point de vue local que global, en ne détaillant que les points « abordables » .
Les prérequis nécessaires à l a compréhension de ce texte sont présentés dans les
préliminaires (Chapitre 1); ils relèvent essentiellement de la géométrie analytique
élémentaire. Bien que la connaissance de la théorie des feuilletages ordinaires, i.e.
réels, puisse faciliter l'abord de certains concepts (holonomie par exemple), nous
avons fait en sorte que cette connaissance ne soit pas absolument nécessaire.
Nous présentons les définitions de feuilletages, de feuilles, d'intégrales premières
et nous démontrons rapidement le théorème de FROBENIUS classique (Chapitre 2).
Nous abordons les premiers exemples standard sur les espaces affines et projectifs
mais aussi sur les variétés de HOPF et les tores complexes.
Dans le Chapitre 3, nous nous intéressons aux germes de feuilletages à l'origine
de C2 qui sont singuliers tout en étant les plus « réguliers possibles » : ce sont les
singularités simples. Nous étudions leurs courbes intégrales (théorème de BRJOT
BOUQUET) et nous abordons les problèmes de linéarisation (théorème de POIN
CARÉ) et de normalisation formelle.
Le Chapitre 4 est consacré à la démonstration du théorème de réduction des sin
gularités de SEIDENBERG : si :f est un germe de feuilletage à l'origine de C2, après
un nombre fi.ni d'éclatements, le feuilletage transformé n'a que des singularités
simples. Nous montrons ensuite le théorème de CAMACHO-SAD qui affirme qu'un
tel :F possède un germe de courbe analytique invariant.
Dans le Chapitre 5, nous montrons le théorème de FROBENIUS singulier dû à MAL
GRANGE. Pour cela, il faut d'abord présenter l'algorithme de GODBILLON-VEY qui
permet de construire les intégrales premières formelles. Nous profitons ensuite de
la réduction des singularités en dimension 2 pour construire par « moyennisation »
une intégrale première dans une section 2-plane, que l'on étend ensuite à l'espace
ambiant initial.
Au Chapitre 6, nous introduisons le concept d'holonomie ; nous étudions les
feuilletages transverses à une fibration et calculons l'holonomie des singularités
simples.
Les groupes d'holonomie produisent de façon naturelle des sous-groupes du grou
pe Diff(C,O) des germes de difféomorphismes à une variable. Nous revisitons les
théorèmes classiques (POINCARÉ-SIEGEL) de linéarisation (Chapitre 7) et don
nons une description des sous-groupes résolubles de Diff(C,O).
10 THÉORIE ÉLÉMENTAIRE DES FEUILLETAGES HOLOMORPHES SINGULIERS
Dans le Chapitre 8, nous caractérisons génériquement les germes de feuilletages

définis par une forme fermée méromorphe par l'abélianité de certains groupes
d'holonomies attachés à la réduction des singularités.
Nous terminons par l'étude des feuilletages sur les espaces projectifs IP'ë (Cha
pitre 9). Nous décrivons les feuilletages de degré 0 et 1 et nous abordons le pro
blème dit de POINCARÉ ; ce problème consiste à estimer le degré des courbes
algébriques intégrales en fonction du degré du feuilletage. Nous en déduisons un
résultat dû à JOUANOLOU qui affirme qu'un feuilletage de degré d ;:::: 2 sur IP'� n'a
en général pas de courbe algébrique invariante.
Chaque chapitre se termine par un paragraphe de compléments où l'on présente
quelques résultats plus avancés ou bien des variantes des démonstrations propo
sées.
CHAPITRE
1
PRÉLIMINAIRES
Nous présentons un certain nombre d'énoncés, pour la plupart classiques, néces

saires à la lecture de ce livre. Nous avons choisi pour cela un exposé minimaliste ;
il est évident que ces préliminaires doivent être confortés et précisés par la lecture
d'ouvrages plus spécialisés que nous mentionnons au fil du texte et en bibliogra
phie.
1.1. Topologie
1.1.1 . Variétés topologiques, revêtements
Soit X un espace topologique séparé, connexe et à base dénombrable d'ouverts.

On dit que X est une variété topologique de dimension n s'il existe un recouvre
ment { Vj }jE J de X par des ouverts Vj tous homéomorphes à l'espace !Rn . Soient
X et Y deux variétés topologiques et f: Y � X une application continue. On
dit que f est une application de revêtement si
- f est surjective,
- pour chaque m EX la fibre 1- 1 (m) est discrète dans Y,
- il existe un voisinage ouvert Um de m dans X et un homéomorphisme <l>m tels
que l'on ait le diagramme commutatif
Um ----
id
----+- Um
où pr 1 est la première projection.

Lorsqu'il existe une application de revêtement de Y sur X, on dit que Y est

un re<vêtement de X. Notons qu'une application de revêtement est partout un
homéomorphisme local ; néanmoins un homéomorphisme local surjectif n'est pas
nécessairement une application de revêtement.
Exemples 1 . 1 . Les applications z 1--t zP sont des revêtements de C* sur C*. Uap
plication exponentielle z 1--t exp z est un revêtement de C sur C*.
Remarque 1 .2 . La théorie des revêtements existe sur des espaces plus généraux
que les variétés topologiques, mais nous n'en ferons usage que dans ce cadre ; il en
est de même pour la théorie de l'homotopie que l'on introduit dans le paragraphe
suivant.
1.1.2. Le groupe de POINCARÉ
Soient X une variété topologique connexe et xo un point de X fixé, dit point de

base. On appelle lacet en x0 toute application continue y: [0 ,1] �X telle que
y (0) = y (1) = xo . Deux lacets Yo et Y1 en xo sont homotopes s'il existe une
application continue
y: [0 ,1] X [0 ,1] �X, (t ,s) 1--t y (t ,s) = Ys (t)
telle que
Yo = Yo , Ys(O) = Xo = Ys(l).
Cela définit une relation d'équivalence sur l'espace des lacets en xo dont l'espace
quotient, noté 111 (X;xo), s'appelle le groupe de POIN CAR É de X ou le premier
groupe d'homotopie. Il est naturellement muni d'une structure de groupe. Uin
verse d'un élément[y] est la classe du lacety -1 donné par t 1--t y (1-t) ; le composé
de deux éléments [y1] et [y2] est la classe du lacet Y1 * Y2 obtenu en mettant « bout
à bout » Y1 et Y2
(y1 * Y2) (t) =

{ Y1 (2t)
Y2 (2t - 1) Vt E[! ,lJ
Vt E[O ,!J
Cette construction ne dépend pas du choix du point de base. En effet, les

groupes 111 (X;xo) et 111 (X;x�) sont isomorphes : soit o un chemin joignant xo à
x�; on construit l'isomorphisme qui à [y'] E l11 (X;x�) associe [y] E l11 (X;xo),
où y est la mise « bout à bout » de o, y' puis 0-1 . Mais cet isomorphisme n'est en
général pas canonique.
On dit que X est simplement connexe si 111 (X;xo) c::: {O} .
Exemples 1.3. Les espaces JR.n et en sont simplement connexes.
Si §1 est le cercle unité dans C, alors
1
111 (§ ;1) '.:::'. z.
SoientX, Y deux variétés topologiques connexes, xo un point de X et Yo un point
de Y; on a
1. PRÉLIMINAIRES 13
En particulier, comm e e* est homéom orphe à lR x §1 (via par exem ple l application
(t, z) 1-t exp(t)z), on a
De lam êm em anière, si (z1 , z2 , . . . , zn ) est un systèm e

de coordonnées de en , alors
II1 (en " {z1 z2 . . . Zn = O} ; o) '.::::'. zn .
Un autre exem ple intéressant est le groupe de
POINCARÉ de e-..._ {0,1} . C'est le groupe libre'!!.,*'!!.,
engendré par deux élém ents [r1 ] et [r2 ] représentés
par des lacets r 1 et r2 , l'un qui « tourne une fois »
autour de 0, l'autre autour de 1 .
1.1.3. Le principe de monodromie
Un résultat im portant en théorie des revêtem ents est le principe du relèvem ent
des chemins ou principe de monodromie. Si f : Y ---t X est une application de
revêtem ent et si
[O, l] ---tX
ô:
est un chem in qui comm ence en xo = ô(O) alors pour tout choix de Yo E 1- 1 (xo)
,
il existe un unique chem in

J: [O, l] ---t y
tel que J(O) = Yo et f o J= ô. On dit que J est le relevé de ô en Yo· Notons aussi
que f induit lem orphism e de groupes injectif défini par
[y ] 1-t [ ! y ].
0
On dispose d'un revêtem ent spécial p : X ---t X appelé revêtement universel

de X, qui factorise tous les revêtem ents de X : si f : Y ---tX est un autre revête
m ent, il existe une application de revêtement
P1: X---t Y
telle que p = f o pf. La construction de X se fa� par « application systém atique »
du principe dem onodromie ; on en déduit que X est sim plem ent connexe.
Ouvrage de référence [58} :

GREE NBE RG, M. J. ; HARPE R, J. R. : Algebraic topology. A first course. Mathematics
Lecture Note Series, 58 . Benjam in/Cumm ings Publishing Co. , Inc., Advanced Book
Program , R eading, Mass., 1981 . xi+311 pp.
1 .2. Géométrie différentielle complexe
1 .2.1 . Fonctions holomorphes
On considère l'espace en muni des coordonnées (z1 , z2, . . . , Zn ) sur lequel

.
on Utl·1·ISe 1a notati . on C1ass1que Zj ZJ1 i Z2)2 . . . znj n pour J.
= (J1. , J2. , . . . , J.n ) .
=
On appelle polydisque de rayon p (p 1 ,p2 , . . . ,pn ) E (IR> o) n centré en
=
= n
m (m 1 , m2, . . . ,mn ) E e l'ensemble
t'l(m; p) = { z E en l i zJ - mJ I < PJ , j = 1, 2 , ..., n }.
Si U c en est un ouvert, une fonction f: U ------> e est dite holomorphe si pour
chaque m E U il existe un polydisque t'l ( m; p) c U tel que la restriction de f à
t'l ( m; p) coïncide avec une série entière convergente
f(z) = L aJ (z - m) J , z E t'l(m; p).
jEN n
Si tel est le cas, les coefficients aJ s'obtiennent par la formule de CAUCHY
où 0 <Tt< Pl ·
Il y a plusieurs critères assurant l'holomorphie de f: U------> e.
• Le premier est le critère de CAU CH Y-RIE MANN qui affirme que si f est de classe
C1 (en tant que fonction réelle) et satisfait
�= 0 Vk = 1,2, . . . , n
azk
alors f est holomorphe. R appelons que
OÙ Zk = Xk + ÎYk·
• Le second, un peu plus puissant, est le critère d'OsGOOD : si f est continue
sur U et holomorphe « dans chaque variable Zk » alors f est holomorphe.
On note Ocn ( U) l'anneau des fonctions holomorphes sur l'ouvert U, les lois étant
l'addition et la multiplication des fonctions. Vanneau Ocn (t'l(m; p)) s'identifie à
l'anneau des séries entières de rayon de convergence « supérieur » à p. De même,
Ocn (en ) s'identifie à l'anneau des séries entières L:, aJ ZJ de rayon de convergence
infi ni. Si U et V sont des ouverts de en et e 1 respectivement, on dit que l'applica
tion
f (fi,h, . . . ,fz): U------> V
=
est holomorphe si chaque composante fj l'est. Les théorèmes classiques du calcul

différentiel s'appliquent dans le cadre holomorphe, en particulier les théorèmes
d'inversion locale et de la fonction implicite. Ainsi si <l> : U 1 ----U
--) 2 est holomorphe
entre deux ouverts de en et si la matrice jacobienne
8<1>
J (<D) = 8zk1 [ ]
I ::;k,l::; n
est inversible au point m 1 , alors <l> est un difféomorphisme local en m 1 ; autre
ment dit, il existe 'I': Vi ------) Vi holomorphe, où Vi , Vi sont des voisinages de m 1
et 2 = <l>( 1 ) respectivement tels que
m m
Comme en calcul différentiel, on introduit les notions d'immersions et de sub

mersions locales pour lesquelles, moyennant le théorème d'inversion locale, on
dispose de modèles locaux linéaires.
1 .2.2. Variétés complexes
Soit lvl une variété topologique de dimension paire 2n. Une structure de variété
complexe de dimension n sur lvl est la donnée d'un recouvrement {Uj }jE J de M
par des ouverts Uj et des homéomorphismes
<l>i : ur.:::...,,, Vj
où les Vj sont des ouverts de en tels que les
<Dj <l>/1 : <1> 1 (Uj n U1 )------) <Dj (Uj n U1 )
0
soient holomorphes. Lorsqu'il n'y a pas d'ambiguïté sur les données précédentes
on dit par abus de langage que M est une variété complexe de dimension n. Les
Uj sont des domaines de cartes, les (Uj, <Dj) des cartes et { (Uj, <Dj) } jEJ un atlas
de cartes. Parfois on dit que l'ouvert Uj est muni de coordonnées : on peut en
effet relever par <l>j les coordonnées de l'ouvert Vj de en . Nous travaillons ici sur
des variétés complexes bien classiques que sont les ouverts de e n ou les espaces
projectifs
' '
où est la relation d'équivalence (( m
rv m si et seulement si 0, m, m sont
rv
alignés » .
D'autres exemples sont les tores complexes 'll'(n, A) quotients de l'espace en par
un groupe additif
A = Ze 1 EB Ze 2 EB ... EB Ze 2 n
{ ej} étant une IR -base de en . Il y a aussi les variétés de HOPF
M ( n; À 1 , À2, . . . , À n ),
les Àj étant des nombres complexes tels que 0 < l ..1.i l < 1, qui sont obtenues
comme quotient de en {0} par la relation : ( zi , z2, . . . , zn ) (z� , z�, . . . , z�) si et
....,_ rv
seulement s'il existe un entier k E Z tel que pour tout j E {1 , 2, . . . , n}

zj = ). j zj .
Soit : M --+ N une application entre les variétés complexes M et N. On dit
que est holomorphe (ou un morphisme) si pour toute paire de cartes U
( j ,'l'j )
et (Vi ,tp1 ) de M et N respectivement, l'application
'Pl 0 'f.'jl
0
est holomorphe partout où elle a un sens. L'application bijective : M --+ N

est un biholomorphisme ou un isomorphisme de variétés complexes si et
<1> - 1 sont holomorphes. Notons que sur un même espace topologique M il peut y
avoir deux structures de variétés complexes M ' et M" pour lesquelles l'application
identité
id : M ' --+ NI"
n'est pas un biholomorphisme.
Le produit M x N de deux variétés complexes M et N hérite de façon naturelle
d'une structure de variété complexe telle que les projections NI x N --+ M et
M x N --+N soient des morphismes.
1 .2.3. Éclatements
Considérons dans l'espace en X

IP'ë- l le sous-ensemble d'incidence
'E = 'E(en,0) = { (m,d) E en X JP>ë- l 1 m E d }
où on identifie un élément de l'espace projectif IP'ë- 1 à la dro ite correspondante
de e n . On munit 'E de la topologie induite par celle de e n X IP'ë- l . La première
projection
(m,d) m i-;
définit une application continue que l'on appelle éclatement de l'origine de en .

La restriction
'E '- {n- 1 (0) } --+en '- {O}
est un homéomorphisme et n- 1 (0) IP'ë- 1 s'appelle le diviseur exceptionnel. Il
�
y a des notions analogues en géométrie réelle ; la figure qui suit représente l'écla
tement de l'origine de JR. 2 .
Construisons sur 'E un atlas { ( 'E1, <1>1)} ;=1 qui fait de n un morphisme de variétés
complexes de dimension n. Soient A1 c lP'ê- 1 les ouverts donnés par
d = (d1 : d2 : . . . : dn ) E A1 {=:::::> d1 # 0
et 'Ej = 'E n (e n X Aj ) On définit <l>j : 'Ej
. en par -----t
'E1 3 (m, d) d l d2 . . . ,y, dj

dj - 1 1,y' d
d-'d-' f-+
( m + l . . "'d-n ).
J J J J J
On peut voir n dans les cartes, c'est-à-dire en termes de coordonnées :

7r o <l>j 1 : (t 1 ,t2, . . . , tj - 1 , Xj, tj +l , . ,tn )
· ·
(t 1 Xj, t2Xj, . . . , lj - l Xj, Xj, tj + l Xj, . . . , tn Xj ).

f-+
La restriction de la seconde projection à 'E produit elle aussi un morphisme

Hf : 'E lP'ê- 1 , -----t
appelé fibration de HOPF, dont les fibres sont des « droites ».

Cette construction se laisse transporter, via les cartes, sur une variété complexe NI
de dimension n quelconque. Si mo désigne un point de ]\If, l'éclaté de M en mo
est une variété complexe
'E(M) = 'E(M ; mo)
munie d'un morphisme n: 'E(M) M tel que n- 1 (mo ) soit isomorphe à lP'ê- 1 ;
-----t
par restriction, n réalise un isomorphisme entre 'E(M) " { n- 1 (m0)} et M" { mo}.
Uespace ainsi construit dépend a priori du choix de carte au point m0, mais il n'en
dépend pas à isomorphisme près.
1 .2.4. Revêtements complexes

On peut faire la construction du revêtement universel en tenant compte de la
structure complexe. Plus précisément, toute variété complexe M possède un revê
tement universel p : M -----t NI où p est un morphisme de variétés complexes de
même dimension. On a la propriété universelle holomorphe : si f : N -----t M est
un revêtement entre les variétés complexes N et M qui e� de plus un morphisme
de variétés complexes, alors il existe un revêtement PJ: NI N tel que Pi soit -----t
un morphisme et f o Pt = p .
1 .2.5. Surfaces de RIEMANN

Les variétés complexes de dimension 1 sont appelées courbes ou surfaces de
RIE MANN, celles de dimension 2 surfaces. Les courbes simplement connexes sont,
à isomorphisme holomorphe près, au nombre de trois (39] :
• la droite complexe e ;
• le disque unité IDl (0 ,1) Ce ;
• la droite projective lP't.
Ces trois courbes ne sont pas isomorphes (exercice).

Un tore de dimension 1 , ou courbe elliptique, 'JI' (l, A) quotient de <C par un réseau
A a pour revêtement universel <C ; le plan épointé <C* = <C " {O} aussi, l'applica
tion de revêtement est ici l'exponentielle z � exp z. Toutes les autres courbes,
i.e. les courbes distinctes de <C, <C* , 'JI' (l, A) et IP't, ont pour revêtement universel
le disque IlJ>(O, 1 ) . On démontre qu'elles apparaissent comme quotient de IlJ>(O, 1 )
par un sous-groupe discret du groupe d es automorphismes de IlJ>( 0, 1 ) , groupe iso
morphe à
{
PSL(2,IR) � z �
1
az + b a, b, c, d E IR , ad - be = 1 .
cz + d }
Les courbes complexes compactes ou non sont complètement classifiées et les
surfaces compactes aussi dans un certain sens [S].
Ouvrages de référence [48, 87] :
• MUMFORD, D. : Algebraic geometry. I. Complex projective varieties. Grundleh
ren der Mathematischen Wissenschaften, No. 221. Springer-Verlag, Berlin-New
York, 1976. x+186 pp.
• FARKAS, H. M. ; KRA, I. : RIEMANN surfaces. Second edition. Graduate Texts in
Mathematics, 7 1 . Springer-Verlag, New York, 1992 . xvi+363 pp.
1.3. Champs et formes
1.3.1 . L'espace tangent
Soient M une variété complexe de dimension n et m un point de M. On appelle

courbe paramétrée en m la donnée d'une application non constante
c : IlJ>(O,e)----+ M, c(O) = m.
On dit que la courbe c est lisse en m si c est une immersion en m, ce qui signifie
( , <1>) est une carte centrée en m, alors la différentielle satisfait
que si U
d(:: c) (0) # O.
Deux courbes paramétrées c1 et c2 sont équivalentes ou définissent le même vec
teur tangenten m si
d( o c1 ) (O) = d( o c2 ) (O).
dt dt
Cette notion ne dépend pas de la carte (U, <1> ) . L'ensemble des vecteurs tangents
en m est noté TmM . C'est un <C-espace vectoriel de dimension n : si v E TmM est
le vecteur tangent qui correspond à la courbe c et si À appartient à <C, alors Àv est
donné par
Si <1> = (z1 , z2, ..., zn ), une base de TmM est donnée par les vecteurs tangents asso
ciés aux courbes z � -1 (0, ..., O, z,O, . .,0). On désigne ces vecteurs tangents
'--v--'
.
j -1
par
a�j l m Vj = 1, 2, . . . , n.
Soit <l> : M � N un morphisme, l'application tangente ou différentielle de <l>
en m est l'application linéaire
Dm : TmM � T<l> ( m) N
qui au vecteur représenté par la courbe c associe le vecteur représenté par <l> o c.
Si f : NI � <C est une fonction et si v est le vecteur tangent associé à c, on a
;
vf =
d(f c
d
) (0) E <C.
Cela fait des vecteurs tangents des dérivations centrées en m ; les propriétés sui
vantes sont satisfaites :
• v(/ 1/2 ) = fi ( m ) vh + h ( m ) v fi,
• v(J.. i f1 + À 2/2 ) = À 1 vfi + À 2 vh

• ( À 1 v 1 + À 2 v 2 )f = À 1 v i f + À 2 v 2 f.
Remarque 1 .4. La définition de vecteur tangent et les constructions qui vont

suivre sont locales : cela signifie qu'il suffit de connaître les données sur un voi
sinage suffisamm ent petit du point m. Ainsi on peut par exemple définir v f si
f : U � <C est une fonction holomorphe définie sur un voisinage U de m. De
plus, si fw = glV sur un voisinage V de m, alors v f = vg.
1.3.2. Champs de vecteurs
Le fibré tangent TM est ensemblistement la réunion des espaces tangents
on peut le munir d'une structure de variété complexe de dimension 2n comme

suit. Soit (U, ) une carte locale de M, alors (TU, D ) est une carte de TM, où
D<l> : TU � u X e n
est donné par
D<l>( v ) = ((m ), Dm( v ))
La projection naturelle p: TM � M, qui à E TmM associe m, est un mor
v
phisme. Un champ de 'Vecteurs X sur M est une section de la projection p,

i.e. un m orphisme holomorphe X: M � TM tel que p o X = idM. On note
X(m) = Xlm E TmM l'évaluation de X en m. Soit y : IDl(O,s) � M une courbe
param étrée. É tant donné t0 E IDl(O,s ) , la courbe y définit en y (t0) le 'Vecteur tan
gent y (to) : c'est le vecteur associé à la courbe paramétrée centrée en y (to) et
décrite part y (t - t0) . On dit que y est une courbe intégrale de X si
1--7
y ( to) = X (y ( to)) V to E IDl(O,s).

Un groupe local à 1 paramètre associé au champ X est un morphisme

 : W -----t M, défini sur un voisinage W de {0} x M dans C x M, tel que si
 : (t,m) (t,m) = t (m)
t--t
alors on a
o(m) = m.
Les groupes locaux à 1 paramètre sont solution d'un problème de CAUCHY
(intégration d'une équation diff érentielle ordinaire avec condition initiale). En
particulier deux groupes associés à un même champ coï ncident sur un voisi
nage de {0} x M. Les propriétés suivantes justifient la terminologie « groupe à
1 paramètre » :
• o(m) = m (i.e. o = idM ) ,
• <l> t s (m) = t ( s (m)) (i.e. <l> t s = <l> t o s )

+ +
chaque fois que cela a un sens. Si l'on utilise la notation <l> t = (exp t)X, on a de
plus
(exp t)X = (exp l) (tX).
Nous notons (exp l)X = exp X de sorte que <l> t = (exp t)X = exp tX.
Considérons l'anneau OM U
( ) des fonctions holomorphes définies sur un ouvert
U c M. Le champ de vecteurs X fournit une dérivation C-linéaire
(Xf)(m) = X(m)f = X1mf.
C'est une dérivation continue pour la topologie de OM U( ) associée à la conver
gence uniforme sur les compacts. Inversement, à toute dérivation C-linéaire conti
nue
on peut associer un champ de vecteurs X, défini sur U , donné localement en

coordonnées par
n
a
X = l:11zi� ·
j=l J
Remarquons que X f = !1f ; en particulier la construction ne dépend pas du choix

des coordonnées.
Soient X et Y deux champs de vecteurs définis surU . Al ors XY - Y X est une
dérivation continue de OM U( ) ; elle est donc associée à un champ de vecteurs
noté [X, Y] et appelée crochet de LIE de X et Y. Si V c U , il y a compatibilité
avec la restriction
puisqu'il s'agit d'une notion locale. L'ensemble des champs de vecteurs définis sur
un ouvertU c M est noté E> M U ( ) . C'est un OM U
( )-module et le crochet de LIE
en fait aussi une algèbre de LIE de dimension infinie.
Remarque 1.5. Soit M une variété compacte. Comme conséquence du principe

du maximum, l'anneau OM (M) des fonctions holomorphes sur M se réduit aux
constantes OM (M) = e. Uensemble E> M (M) des champs de vecteurs sur M est
un e-espace vectoriel de dimension finie et donc une algèbre de LIE de dimension
finie munie du crochet de LIE. Par exemple 011'� (IP'ê) est isomorphe à l'algèbre de
matrices .st (n + l,<C); pour le tore complexe M = 'lr (n, A) quotient de en par un
réseau A, l'algèbre E> M (M) est isomorphe à en .
1 .3.3. Formes différentielles
De la même façon que l'on définit le fibré tangent à une variété M, on peut définir
le fibré cotangent T* M ; c'est une variété qui ensemblistement est
T* M = mEU T*m M'
M
où T� M est l'espace dual de TmM. Le morphisme de projection naturel
p: T*M---+ M
associe à chaque Ç E T� M le point m. Une l-forme (différentielle) holomorphe

sur M est une section de p, i. e. un morphisme
w: M---+ T* M
tel que p o w = idM . Pour tout ouvert U c M et toute fonction holomorphe
f : U---+ e, la diff érentielle df défi.nit une 1-forme holomorphe
df : U---+ T*U m f-t df (m) = df1 m
donnée par df1 m ( v ) = vf lorsque V appartient à TmU. Si nit U
( ) désigne le
OM U
( )-module des 1-formes holomorphes surU , l'application
f f-t df
est bien définie, e-linéaire et satisfait d(fg) = f dg+gdf. Lorsque l'on a un système
de coordonnées (z 1 , z2, . . . , zn ) sur U , les 1-formes dzj constituent une base de
( ) et tout élément w E nit U
n11 U ( ) s'écrit de façon unique
n
w= L: aj dzj
j=l
avec aj E OM U
( ).
Remarque 1.6. Le OM (M)-module n11 (M) n'a pas nécessairement une base
globale ayant dim M éléments. Par exemple nit (M) est réduit à zéro lorsque
M = IP'ê. On a une remarque équivalente pour e M ( M) .
1 .3.4. Formes différentielles d'ordre supérieur
En prenant les produits extérieurs /\kT� M comme modèles pour les fibres, on
( ) des k -formes holomorphes sur un ouvert U c M.
introduit l'espace n� U
22 THËORIE ËLËMENTAIRE DES FEUILLETAGES HOLOMORPHES SINGULIERS
Lorsque U est un ouvert muni de coordonnées (z1 , z2, . . . , zn ), un élément a de

nt(U) s'écrit
a=
les aiiJ2 ...jk désignant des éléments de 0111( U) . D'un point de vue intrinsèque il
s'agit d'une section de
A k (T * U) � U X A k (en ) *
où A k (en )* est l'espace des k -formes linéaires antisymétriques sur en . Sur l'al
gèbre extérieure
k n*
kJB=O A (e )
le produit extérieur /\ est bien défini ; par suite pour a E nt(U) et fJ E ü\w(U) on
définit
a f\[J E ü1Jj1(U)
par (a /\ [J) (m) = a (m) /\ [J(m) . Si l'on note Q�I(U) = 0111( U), l'opérateur d se
prolonge en la différentielle extérieure
d: il111( U) = k'è".O
EB ntl(U) ----t il111( U)
en décidant par récurrence que d(a /\ fJ) = (-l) k + l a /\ d[J + da f\[J. En particulier,
si a E nt(U) alors da E n';;j 1 ('U) . On vérifie que do d = O .
On peut de la même manière définir les k -formes et la diff érentielle extérieure sur
une variété quelconque. Une k -forme a est fermée si da = 0 ; elle est exacte si
a = d[J pour une certaine (k - 1)-forme /J.
Théorème 1.7 (POIN CARÉ) . Si M est simplement connexe, toute l-formefermée
est exacte.
Soient X un champ de vecteurs sur M et a une k -forme ; le produit intérieur de
a par X est la (k - 1)-forme notée ixa et définie en chaque point m par
(ixa)(m) (v 1 , v2, . . . , Vk - 1 ) = a (m)(X(m), v 1 ,v2, . . . , Vk - 1 )
où v 1 , v2 , . . . , Vk - l désignent des éléments de TmM. Considérons l'exemple où
U = M est un ouvert de en et ro un élément de n1I (U) avec
n a n
X-'°'X·-
� J ' OJ = I: ajdZj.
-j a zj j=l
=l
n
On a ixro = L ajXj. En particulier si ro = df, alors ixro = X f.
j=l
La dérivée de LIE Lxa de la k -forme a par le champ X est par définition la k
forme
Lxa = ixda + d(ixa).
Soit maintenant un morphisme <l> : lvl ---> N de variétés complexes ; on définit

<1> * : nt (N) ____, n�1 (M)
par
( <l> * a) (m) (v1 , v2, . . . , vk ) = a ( <l> (m)) ( ( Dm<l>) v 1 , ( Dm<l>) v2, . . . , ( Dm<l>) vk)·
On a les propriétés :
• ('P <l>)* = <l>* 'P* ;
0 0
• d<l>* = <l>* d.
Lorsque <l> : U ---> V est un diff éomorphisme (i.e. une bijection biholomorphe)
entre ouverts des variétés lvl et N, on construit un isomorphisme (de modules et
d'algèbres de LIE)
<l> * : eM (U) ---> e N ( V)
défini comme suit : si X appartient à E>M (U) , alors l'action (comme dérivation)
de .X sur les fonctions g de ON (V) est donnée par
(.X ) (g) = X (g o <l>).
Remarque 1.8. Lorsque <l> est un diff éomorphisme, on a i<t>.xa = ix <l>*a .
1.3.5. Germes
Deux fonctions f et g définies sur U, resp. V sont équivalentes au point m s'il

existe un voisinage W de m tel que W c U n V et f1w = 91w ; une classe d'équi
valence pour cette relation est appelée germe de fonctions au point m. Toute fonc
tion f définie sur un voisinage ouvert U de m appartient à une classe d'équiva
lence ; cette classe est appelée le germe de la fonction f en m.
Les objets que l'on vient de définir, fonctions holomorphes, champs de vecteurs,
formes diff érentielles . . . ont une définition de nature locale. Cela se traduit par les
deux faits suivants :
• étant donnés un objet If/ défini sur un ouvert U et un ouvert V c U, la restric
tion lfll V de If! à V est bien définie ;

• étant donnés un ouvert U et un recouvrement { U1 }1 E J de U par des ouverts
U1 sur lesquels est défini un objet lf/j , si lfli lU; nuk = lflkl U; nuk pour tout couple
(j, k) alors on peut recoller les lf/j en un unique objet If/ défini sur U tel que
lfllU; = lf/j ·
Ces deux propriétés caractérisent les faisceaux. Ainsi nous parlerons du fais
ceau des germes de fonctions holomorphes, du faisceau des germes de champs
de vecteurs, du faisceau des germes de k-formes holomorphes, etc. que nous
notons OM , e M , n�I > etc.
Sur un faisceau :;{, on peut construire l'espace :Jim, des germes de sections de :;{
en un point m E M. C'est une construction générale qui s'eff ectue aussi bien
sur les fonctions holomorphes, sur les champs de vecteurs, ou les formes diff éren
tielles . . . Elle se fait comme suit. Considérons les paires (U, If! ) , où U est un ouvert
tel que m appartienne à et l/f E U :Jl(U)

une section de :J{ définie sur On dit U.
que (U,l/f) et (U',
1/1 ' ) définissent le même germe de section en m E M s'ii existe
un ouvert U"
tel que m appartienne à c n et U" U U'
I
l/l l U " = l/f 1u11 •
De manière générale nous notons l/fm le germe en m d'une section locale
:Jl(U).
l/f E Nous désignons par 0111, m, 8111, m, OX1,m l'espace des germes de fonc
tions holomorphes en m, de champs de vecteurs, de k -formes . . . Les opérations
algébriques étant de nature locale, il s'avère que OM,m est une C-algèbre et que,
par exemple, eM,m est un OM,m-module libre de rang n = dim l\!/ .
Plus précisément, si (U, (zi,z2, . . . ,zn ))
est une carte locale centrée en m E 1\11 ,
tous les germes en m sont représentés sur des ouverts plus petits que conte U
nant m . Vanneau des germes de fonctions holomorphes 0111, m s'identifie donc à
l'anneau des séries convergentes
If" { z1, z2, . . . , Zn } -

IL..
_
{ "'""'
L..,, .
.J i , J2, . . ., J n
, , , zj1 1 z2i2 . . . Znin conver0entes
c11 , 12, . . .,Jn ô } .
Chaque série produit un germe dont le représentant est la somme de la série sur
un polydisque de convergence. Les germes définis par les champs (on a/ a Zj a/ a Zj
garde la même notation) forment une base de 8 M,m et tout germe de champ de
vecteurs s'écrit de manière unique
n a
L: aj J
j= l az·
ai
les désignant des éléments de OM,m· De même est une base de 011 ,m { dzj }j=1
et pour les p-formes une base est donnée par les germes f\ f\ . . . f\ dzj1 dzh dziv,
avec 1 � < < . . . < � n.
}1 }2 }p
1.3.6. Les complétés formels
On
Dorénavant désigne l'anneau des germes de fonctions holomorphes à l'origine
de en ,i.e. = Oc , o. Uidéal maximal 9J1 c
On n est celui des germes qui s'an On
n/
nulent à l'origine ; le corps résiduel O 9.Jî est C par l'identification
f + 9Jî 1-t f (0) E C.
Fixons des coordonnées centrées à l'origine alors On '.::::'. C{z1,z2, . . . ,zn } et 9J1 est
Zj.
l'idéal engendré par les Le complété formel de On pour la topologie 9.Jî-adique
Ôn
est la limite des troncatures
lorsque k tend vers oo. Vanneau Ôn s'identifie à l'anneau
C[[z 1 , z2, . . . , zn lJ = {. L.
J i , J2, . . ., J n
Cj 1 j2 ... J n z{ 1 zi2 • • • z�n }
des séries formelles (non forcément convergentes) . Les champs de vecteurs for
mels ê n s'obtiennent par une construction similaire et forment un Ôn -module
libre de base
a
-
, j = 1, 2, . . . , n.
OZj
Ils vont apparaître naturellement lors des constructions de certaines formes nor
males.
Ouvrages de référence {3, 1 04) :
ATIYAH, M. F. ; MACDONALD, I. G. : Introduction to commutative algebra, Addison
Wesley Publishing Co. , Reading, Mass.-London-Don Mills, Ont. 1969, ix+128 pp.
WARNE R, F. W. : Foundations of differen tiable manifolds and LIE groups. Scott,
Foresman and Co. , Glenview, 111.-London, 1971, viii+270 pp.
1.4. Géométrie analytique locale
Tout comme la géométrie algébrique, la géométrie analytique locale est en dualité

avec la structure algébrique des anneaux de fonctions correspondants ; les pro
priétés de ces derniers sont donc très importantes. Par application du théorème
de préparation de WEIE RST RASS (voir par exemple [ 59) ) , on sait que les anneaux
On , ainsi que leurs complétés formels Ôn , sont factoriels et noethériens.
En particulier, tout élément f dans On (resp. Ôn ) possède une décomposition en
facteurs irréductibles
f = ff 1 J;2 · · · f; k
bien définie à multiplication près par des unités Uj satisfaisant 1 = u� 1 u�2 . . . u� k .
De plus, tout idéal I c On (resp. Ôn ) est finiment engendré.
1.4.1 . Germes d'ensembles analytiques
Soit f un élément de !.m C On . En choisissant un représentant du germe f, l'équa

tion f = 0 définit un sous-ensemble d'un ouvert de e n . Si l'on change de représen
tant de f, on obtient un autre ensemble, mais tous les deux ont le même germe
à l'origine. On dit que c'est un germe d'hypersurface analytique à l'origine, que
l'on note V( f ) ou encore f = O . Si l'on écrit f = Jf 1 J;2 J; k , on obtient une • • •
décomposition de f = 0 en union de germes d'hypersurfaces irréductibles fj = O.

Plus généralement, à un idéal I C !.m C On engendré par fi , h , . . , fk on associe le .
germe d'ensemble analytique V(I), qui est le germe à l'origine de e n donné par
l'intersection de V(f1), V(h), . . . , V(fk ) ;

ce germe ne dépend pas des générateurs
choisis.
On peut naturellement présenter les constructions précédentes en n'importe quel
point de en . Un sous-ensemble A d'un ouvert U de en
est un sous-ensemble
analytique de U si pour tout u E U le germe en u de A (éventuellement vide)
est un germe d'ensemble analytique : signalons que la condition porte sur tous les
éléments u de U et pas seulement sur les éléments u de A ; en particulier A est un
fermé de U.
Soit (V,O) un germe d'ensemble analytique à l'origine E 0 en .
Uespace ambiant
lui-même est noté (en,o)
en tant que germe et nous pouvons écrire
c
(V,O) (en,o).
On dira que (V, 0) est régulier si V = V (Ji, h . . . ,fk ) et si la matrice jacobienne
afi1az1(0) af21az2 (0) . . . afi/azn (O)
[ ]
J (fi,h ., fk )(O) -
· ·
afk/az1(0) 8fk / 8z2 (0) . . . afk/azn (O)

est de rang k . Autrement dit
(V,O) = (rp = 0)
où rp est la submersion (e n,o) � rp
(e k,O) donnée par = (Ji,h . . . ,fk ) Notons ·
encore que quitte à faire un changement de coordonnées locales on peut sup

poser que nous avons fi = zi, h = z2 , . . . , fk = Zk et donc
=
V = (z1 = z2 = . . . Zk = 0).
La dimension de (V,O) est par définition n c
k . Soit A U un sous-ensemble
c
-
analytique de U e n . On dit qu'un point m E A est régulier si le germe (A,m)

est régulier. Un point non régulier est un point singulier; on désigne par Sing A
l'ensemble des points singuliers de A. On sait que Sing A est un sous-ensemble
analytique de U tel que pour tout m E A et tout ouvert 3 m on ait V
(A '- Sing A) n V -=/:- 0.
La dimension de A est :
{
dim A = max dim(A,m) 1 m régulier .}
1.4.2. Composantes irréductibles
Un théorème important en géométrie analytique est le théorème des zéros de

HILBE RT-RüCIŒRT : si =
V V(I), alors l'idéal des fonctions s'annulant sur est V
égal à la racine de I
E =
{ f On l fw o } = VI : = E { f On l ,fk I } .
3k E
Un idéal égal à sa racine est dit radical ou idéal de définition. Ceci permet de
relier la décomposition en composantes irréductibles d'un germe analytique à la
décomposition d'un idéal radical comme intersection d'idéaux premiers.
Plus précisément, on dit que (V, O) est irréductible si VI est premier ; en général,
si VI = i i n h n . . . n ik est la décomposition primaire de VI, la décomposition de
V en composantes irréductibles est donnée par
Dans le cas d'un germe d'hypersurface V(f), où f = g 1 J;2 . . . ff: k est la décompo
sition de f en facteurs irréductibles, on a
V(f) = V(fih . . . fk ) = V(fi ) U V( h ) U . . . U V(fk)
et chaque V(fj ) est irréductible. Lorsque f = fi h . . . fk on dit que f est réduite;
dans le cas contraire ni est la multiplicité de f le long de fj = O.
On démontre qu'un germe V est irréductible s'il contient un ouvert dense connexe
(au sens des germes) de points réguliers de dimension k = dim V. Par exemple un
germe de courbe (V, O) (dim V = 1) est irréductible si et seulement si V " {O} est
connexe.
1.4.3. Le théorème de PUISEUX
Le théorème de PUISEUX permet de présenter les germes de courbes irréduc

tibles (r, O) c (C n, o) comme des courbes paramétrées. Une paramétrisation
de courbe ou une courbe paramétrée est un germe de morphisme non constant
u : (C,O) (cn, o). --+
Les composantes u (t) = (ui (t), u2 (t), . . . , un (t)) sont donc des séries uj (t) E C{t}
non toutes nulles et telles que Uj (0) = O. On dit que u est primitive si pour toute
factorisation
u (t) = éi (r (t)) = (éii (r (t)), éi2 (r (t)), . . . , iin (r (t)))
le morphisme r est un isomorphisme, i.e.
r (t) = a i t + a2 t2 + . . .
avec a i -/=- O. Deux paramétrisations u (1 ) et u < 2 l sont équfoalentes s'il existe
un isomorphisme r tel que u ( 1 ) = u < 2 l o r . Notons que lorsque u ( i ) et u <2 l sont
équivalentes, elles ont la même image ; plus précisément, si f désigne un élément
de C{z i , z2, . . . , zn }, on a
f (<Ji( i ) (t ),u2( i ) ( t ), . . . , un( i ) ( t )) - 0 f (<Ji( 2 ) (t ),u2( 2 ) ( t ), . . . , un( 2 ) ( t )) - 0.
Théorème 1.9 (PUISEUX). Il existe une bijection entre les classes d'équivalence
de paramétrisations primitives et les germes de courbes irréductibles
r = V(I) c (cn, o).
De plus, à chaque (classe de) paramétrisation primitive u ( t) correspond le
germe de courbe r = V(I) où I est l'idéal des éléments f de C{z i , z2, . . . , zn } tels
que
f (ui (t), u2 (t), . . . , un (t) ) = O;
autrement dit la courbe r est image de u.
Le théorème de PUISEUX est spécifique aux courbes. Par exemple, une hypersur
face de (en, o), n � 3 , ne possède pas en général de paramétrisation par une
application a : (e n - 1 , 0) � (en, o) .
Ouvrages de référence [59, 1 03] :
• GUNNING, R. C. ; Rossr H. : Analytic functions of several complex variables.
Reprint of the 1 965 original. AMS Chelsea Publishing, Providence, RI, 2009,
xiv+3 l8 pp.
• WALKER, R. J. : Algebraic curves. Reprint of the 1950 edition. Springer-Verlag,
New York-Heidelberg, 1978, x+201 pp.
1.5. Prolongement
Dans la suite, nous utilisons souvent des résultats de prolongement qui sont des
extensions naturelles du théorème des « singularités apparentes » (en anglais :
removable singularities) en dimension 1 .
Théorème 1 . 10 (Théorème des singularités apparentes) . Soit
f : lD>(O; t:) -..... {O} � e
une Jonction holomorphe définie sur le disque épointé. Si f est bornée, alors f
s'étend holomorphiquement au disque ]IJ)(O; t: ) .
1.5.1 . Extension holomorphe à plusieurs variables de type HARTOGS
Une hypersurface du polydisque /1 ( m; p) de en « joue le même rôle » qu'un point

de ]!)) ( 0; t:) ; en particulier on a l'énoncé suivant.
Théorème 1 . 1 1 (HART OGS) . Soient 11 (m; p) C e n un polydisque, A C 11 (m; p)
une hypersurface analytique e t f une fonction holomorphe
f : 11 (m; p) -..... A � e.
Si f est bornée, il existe un élément F dans Ocn ( l1 (m; p )) tel que Fl t.( m ;p) -.... A = f.
Le résultat suivant est une application directe de la formule de CAUCHY. Rappelons
que p' < p veut dire que pj < Pj pour tout j = 1, 2, . . . , n.
Théorème 1 . 12. Soient 0 < p' < p et f unefonction holomorphe sur la différence
de deux polydisques
f E Ocn (11 (m; p) -..... 11 (m; p')).
Si la dimension ambiante est supérieure ou égale à 2, il existe F dans
Ocn (11 (m; p)) tel que Fit.( m ;p) -.... t. ( m ;p ' ) = f.
Une variante, plus difficile, de ces résultats est la suivante :

Théorème 1 . 13 (REMMERT-STEIN) . Soient � (m; p) un polydisque dans e n et A
un sous-ensemble analytique de � ( m; p) de codimension plus grande ou égale à
2. Pour toute fonction
f E Dcn ( � (m; p) '-. A)
il existe F E De n ( � (m; p )) tel que Fl l1 ( m ;p) ' A = f.
1.5.2. Une application : division de DE RHAM·SAITO pour les 1 ·formes
Le théorème de division de DE RHAM-SAITO s'obtient, dans le cas des 1-formes,

comme application des résultats de prolongement précédents. C'est un énoncé clé
pour définir la notion de feuilletage singulier de codimension 1 .
Proposition 1 . 14 (division de D E RHAM-SAITO) . Considérons deux l:formes dif
férentielles C0 1 et C02 dé.finies sur le polydisque � ( m; p) c en . Écrivons
n
m 1 = L aj dzj
j= l
avec aj E De n ( � ( m; p ) ) et considérons l'ensemble analytique
Sing co 1 = { a 1 = a2 = . . . = an = ü} C � (m; p).
Supposons que cod Sing m1 ;::: 2. Les assertions suivantes sont équivalentes
• m1 /\ m2 = 0 ;
• il existe h E Den ( � (m; p ) ) tel que m2 = hco 1 .
Démonstration. Visiblement si m2 = hco 1 on a m1 /\ m2 O. Réciproquement,
n
si m2 = L bj dzj , la condition m 1 /\ m2 = 0 se traduit par
j=l
j, k = 1, 2, . . . , n.
Soit m' E � ( m; p) Sing co 1 ; il existe un entier 1 :::; k :::; tel que a k ( m') f:. O. Au
"- n
voisinage de m' on pose

h = bk /ak .
On définit ainsi, par recollement, un élément
hE Dc n ( � (m; p ) '-. Sing co1 ).
Il s'étend en un élément, toujours noté h, de Dcn ( � (m; p ) ) qui, par construction,
satisfait m2 = hco 1 . D
1.5.3 . Prolongement d'ensembles analytiques
Théorème 1 .15 (REMMERT-STEIN) . Soit A c � (m; p) un sous-ensemble analy

tique d'un polydisque � (m; p) c en de codimension plus grande ou égale à 2. Si
B est un sous-ensemble analytique de

� (m; p) " A,
l'adhérence B de B dans � (m; p) est aussi un sous-ensemble analytique
de � (m; p).
De plus, si B " Sing B est connexe, alors B " Sing B l'est aussi.
1 .5.4. Fonctions méromorphes
Une fonction méromorphe F définie sur un polydisque � de en est, par défini

tion, le quotient de deux fonctions holomorphes f, g E Ocn ( �), g "!- 0 :
F= [__g
On identifie bien sûr f' /g' et f /g lorsque f' = hf, g' = hg, pour h E Ocn ( � ) . Ceci
nous permet de toujours choisir un représentant F = f / g de sorte que
cod {f = g = O} � 2.
Les ensembles analytiques f = 0 et g = 0 sont bien définis et s'appellent respec
tivement Zéros(F) et Pôles(F) . Lorsque l'ensemble d'indétermination
Zéros (F) n Pôles (F)
est vide, F définit une fonction holomorphe à valeurs dans la droite projective lP't.
Soit U un ouvert de en ; une fonction méromorphe F sur U est la donnée
• d'un recouvrement de U par des polydisques �j
• et de fonctions méromorphes Fj = fj / gj sur chaque � j telles que
sur �j n � k · On écrit abusivement Fl âi = Fj .

En fait, on sait qu'une fonction méromorphe F sur en (ou plus généralement sur
des ouverts « raisonnables » dits de STEIN) est globalement le quotient de deux
fonctions holomorphes F = f /g, f, g E Oicn (en) (voir au § 1 .6.4 les applications
du second problème de COUSIN).
Le théorème d'extension de LEVI qui suit joue un rôle important dans la descrip
tion des feuilletages singuliers.
Théorème 1 . 16 (LEVI) . Soient u un ouvert de en et A c u un sous-ensemble
analytique de codimension supérieure ou égale à 2. Si F est une fonction méro
morphe définie sur U "- A, il existe une fonction méromorphe F définie sur U
telle que
1.5. 5. Images
Toutes les notions locales dont nous avons parlé ci-dessus s'implantent, via les
cartes, sur des variétés complexes. Ainsi on dispose des notions de fonctions méro
morphes, de sous-ensembles analytiques, etc.
Les images de sous-ensembles analytiques par des morphismes ne sont pas néces
sairement des sous-ensembles analytiques. Par exemple, l'image du morphisme
(x,y) r-+ (x,xy,x exp y)
n'est pas contenue dans une hypersurface : ceci résulte de la transcendance de la
fonction exponentielle et du théorème de CHOW que nous présentons plus loin.
Cet exemple est dû à OSGOOD . On aura à utiliser le résultat important suivant :
Théorème 1.17 (GRAUERT-REMMERT) . Soit <!> : M ------> N un morphisme entre
les variétés complexes J..1 et N. Si <!> est propre et si A C NI est un sous-ensemble
analytique de M, alors (A) est un sous-ensemble analytique de N.
Ouvrage de référence [59] :
GUNNING, R. C. ; ROSSI H. : Analytic functions of several complex variables.
Reprint of the 1 965 original. AMS Chelsea Publishing, Providence, RI, 2009,
xiv+3 l8 pp.
1.6. Cohomologie. Problèmes de Cous1N
La théorie de la cohomologie des faisceaux (voir par exemple [57]) est une théorie
puissante qui intervient dans de nombreux domaines ; elle apparaît en particulier
dans le problème suivant : savoir si une fonction méromorphe sur une variété NI
est le quotient de deux fonctions holomorphes.
Nous présentons ici uniquement les notions et énoncés qui nous seront utiles.
Commençons par un exemple, pas vraiment classique, mais dans l'esprit de ces
notes.
1.6.1 . Cocycles et cobords sur un exemple
Considérons une 1-forme différentielle w E Otn (e n ) sans singularités et une 2-

forme a E O�n (en ) telle que w A a = O. Peut-on diviser a par w, i.e. existe-t-il une
1-forme () E OJ:,. (en ) telle que a = () A w ?
Soit m un point de en ; cherchons d'abord un polydisque b.. = b.. (m; p) sur lequel
on peut écrire
a. 1 6 = ()c, A w 1 6
avec ()6 E Otn ( b.. ) . Pour cela, supposons que
n
w = L aj dzj
j =l
avec par exemple a 1 ( m) =1- O. Si b,. est choisi suffisamment petit, le coefficient a 1
ne s'annule pas sur b,. et le champ de vecteurs
X = _!_ �
a z1a1
est holomorphe sur b,. . Sur le polydisque on a
0 = ix(w /\ a) = (ixw) /\ a + (ixa) /\ w.
Le fait que ixw = 1 entraîne que a = (-ixa) /\ w et fh = -ixa convient. On peut
alors recouvrir e n par des polydisques b,. j , j E N, sur lesquels
a i l!.; = ()j /\ W l !J. ;
pour un certain Bj E O.t n ( b,. j ) . Lorsque b,. k n b,. j =1- 0 on a
0 = (Bk - Bj ) /\ W l t.knt. ; ;
puisque w ne s'annule pas, il existe hjk E Qcn (b,.j n b,.k) tels que
()j - ()k = hjkW l t. ; n l!. k·
Par construction, sur les intersections triples non triviales b,. j n b,.k n b,.k on a les
relations
La donnée des { hjk} satisfaisant ces propriétés est appelé un 1-cocycle associé au
recouvrement { b,. j } . Supposons que l'on puisse écrire
hjk = hj - hk
avec h1 E Qcn (b,. 1 ) ; on dit alors que (hjk) est un 1-cobord. Dans ce cas, les 1-
formes différentielles
Bj = ()j - hjW E 0.tn (b,.j)
satisfont encore la propriété de division sur b,. j
ail!.; = ()J /\ W l !J. ;
et par construction Bj = Bk sur b,.j n b,. k ; il existe donc une 1-forme globale
() E O.tn (en ) telle que BI t. ; = Bj . Par suite a = () /\ w.
Le résultat suivant donne une réponse positive au problème de C OUSIN dans sa
version additive.
Théorème 1 . 18. Soit { b,.j } un recouvrement par polydisques de en, 2: 1 (resp.
n
de en -..... {O}, 2: 3). Tout 1-cocycle {hjk} est un 1-cobord.

n
Cet énoncé, tout du moins lorsque l'espace est e n , est un cas particulier du théorè
me B de CARTAN [26] .
1 .6.2. Le premier groupe de cohomologie
On peut reprendre la construction précédente de manière plus générale pour

une variété cmnplexe M et un recouvrement U = {Uj }jEJ par des ouverts (en
pratique, les Uj sont des images de polydisques par les cartes) . Un 1-cocycle à
valeurs dans DM est la donnée de hj k E DM (Uj n Uk ) satisfaisant la condition
sur Uj nUk nU1 et Ui n Uk respectivement. Uensemble Z(M, U; DM) des 1-cocycles

associés au recouvrement U est un <C-espace vectoriel
..1. {hj k } + µ {gj k } = { Àhj k + µ gj k }.
On dit qu'un 1-cocycle {hj k } est un l-cobord (on dit aussi qu'il est trivial), s'il
est de la forme
hj k = hj l UjnUk hk l Ujn Uk
-
pour des h1 dans DM (U1 ). On note 'B( M, U; DM) le <C-espace vectoriel des cobords
à valeurs dans DM , relatifs au recouvrement U. Uespace vectoriel quotient
H 1 (M, U; DM) = Z(M, U; DM)
'B(M, U; DM)
est par définition le premier groupe de cohomologie de M à valeurs dans DM,
relatif à U.
Considérons un recouvrement U' = {Uj , }j'E J ' plus fin que U, i.e. chaque Uj
de U' est contenu dans un Uk de U. On obtient, par restriction, un morphisme
naturel d'espaces vectoriels
<Du, u ' : H 1 (M, U; DM) ____, H 1 (M, U'; DM)
défini comme suit. À chaque application f : J' ____, J telle que Uj (s) C Us on
associe
<fJF Z(M, U; DM) ____, Z(M, U'; DM)
donnée par <fJJ{hj k } = {h; 8 } où h; s = hf(l)f( s )l u[ n u� · Uapplication <fJJ passe au
quotient par les cobords et le quotient <Du, U ' ne dépend pas de f. Étant donnés
deux recouvrements U1 et U2 de M, le recouvrement « intersection » est plus fin
que U1 et U2 et on peut donc passer à la limite et définir de manière unique
l'espace H 1 ( 111; DM) muni des morphismes naturels
<Du : H 1 (M, U; DM) ____, H 1 (M; DM)
pour chaque recouvrement U, compatible avec les <Du, U ' ·
En pratique, nous travaillerons avec des recouvrements U, dits bons recouvre
ments, pour lesquels <Du est un isomorphisme, et donc
H 1 (M, U; DM) � H 1 (M; DM)·
Par exemple, les recouvrements dénombrables par polydisques d'un ouvert de en
sont de bons recouvrements.
On peut alors exprimer le Théorème 1 . 18 de la façon suivante :
1 n
• H (<C ; Den ) = 0, n � 1 ;
1 n -..,_ {O}; Den ) = 0, n � 3 .

• H (<C
Signalons que l'espace vectoriel H 1 (<C 2 -..,_ {O} ; Do) est de dimension infinie.
1 .6.3. Le problème de Cous1N multiplicatif
C'est la version multiplicative du problème précédent. On considère pour un

recouvrement U = {Uj } de M des données
hj k E Oiv.r(Uj n Uk )
où O!v1 (Uj n Uk ) sont les fonctions holomorphes inversibles sur l'intersection
Uj n Uk . On dit que {hi k } est un 1-cocycle multiplicatif si l'on a
hj k hk1 h1j = 1, hj k hkj = 1
sur Ui n Uk n U1 et Ui n Uk respectivement. C'est un cobord si hi k = hi/h k pour
hi E 0!.1 (U1 ). Comme précédemment on introduit les espaces Z et 'B, qui sont ici
des groupes multiplicatifs :
{hj k }{hj d = {hj k hjd,
avec À. dans e* . On définit
H 1 (M, U ,· OM* ) = Z(M, U; Oi.1)
'B(M, U; Oi.1)
et par passage à la limite H 1 (M; OM )· Comme dans le cas additif, nous avons le
résultat suivant.
Lemme 1 . 19 (Lemme de CARTAN) . On a les ég ali tés :
• H 1 (en ; qén ) = 1 pour n ;::: 1,
• H 1 (en '- {O}; Oên ) = 1 pour n ;::: 3.
1 .6.4. Applications
Voici quelques applications classiques de ce qui précède :

n
• Si f, g E Ocn (e ) n'ont pas de zéro commun, alors l'idéal de Ocn (e n ) engendré
par f et g est égal à l'anneau Ocn (en ) .

n n
• Si F est une fonction méromorphe sur e , il existe f,g E Ocn (e ) tels que
F = f /g.
• Si H c e
n est une hypersurface (i.e. en chaque point m E H " Sing H on a
dim Hm = n - l), alors il existe f E Ocn (en ) tel que l'idéal I(H) des fonctions
holomorphes nulles sur H soit engendré par f.
Ouvrages de référence [57, 59] :

• GUNNING, R. C. ; ROSSI H. : Analytic functions of several complex variables.
Reprin t of the 1 965 original. AMS Chelsea Publishing, Providence, RI, 2009.
xiv+3 l8 pp.
• GO DEMENT, R. : Topologie algébrique et théorie des faisceaux. Troisième édition
revue et corrigée. Publications de l'Institut de Mathématique de l'Université de

Strasbourg, XIII. Actualités Scientifiques et Industrielles, No. 1252. Hermann,
Paris, 1973 . viii+283 pp.
1 . 7 . Géométrie algébrique projective
Nous faisons ici quelques rappels de géométrie algébrique sur IP'ë. On désigne par
p : icn+l -..... {O} ----> IP'ë la projection canonique.
1 . 7 1 Variétés projectives
. .
Soit Q(zo, z1 , . . . , zn ) un polynôme homogène de degré d 2'. 1 :

Q(zo, z1 , . . . , zn ) E IC [zo, z1 , . . . , zn ]d·
Uensemble algébrique V(Q) c ic n+ I des zéros de Q est un cône. Par définition,
l'ensemble
H = p (V(Q) -..... {O}) c IP'ê
est une hypersurface algébrique de IP'ë ; bien sûr H est aussi une hypersurface
analytique de IP'ë. Si Q est irréductible, on dit que H est irréductible. Notons qu'en
général Q s'écrit
Q = Q� ' Q�2 . . . Q� k
les Qj étant des polynômes homogènes irréductibles premiers entre eux de degré
dj 2'. 1 . Posons Hj = p (V(Qj) -..... {O}) ; alors
H = H1 U H2 U . . . U Hk
et les Hi sont les « composantes irréductibles » de H.
Une sous-variété algébrique de IP'ê est une intersection d'hypersurfaces que l'on
peut toujours supposer finie d'après le théorème de finitude de HILBERT [3] . Autre
ment dit une sous-variété algébrique Y de IP'ë est un sous-ensemble de IP'ê tel que
soit un ensemble algébrique conique de ic n+ 1 . Ainsi l'idéal

I(Y) C IC [zo, z1 , . . . , zn ]
des polynômes qui annulent µ - 1 (Y) U {O} est homogène au sens où les compo
santes homogènes de tout élément de I(Y) sont encore dans I(Y) . On vérifie sans
peine que toute sous-variété algébrique de IP'ë est un sous-ensemble analytique
de IP'ë.
1 . 7 . 2 . Géométrie algébrique, géométrie analytique
Il y a une correspondance (appelée GAGA) entre les objets globaux de la géométrie

analytique sur IP'ê et les objets (fermés) algébriques sur IP'ë. Le premier résultat de
cette correspondance est le lemme de CHOW.
Théorème 1.20 (Lemme de C H OW) . Si Y C IP'ë est un sous-ensemble analytique
de lP'ë, alors Y est une sous-variété algébrique de IP'ë.
Avant de donner une esquisse de la preuve dans le cas des hypersurfaces, intro
duisons la notion d'ordre pour une fonction f définie au voisinage d'un point m
d'une variété M de dimension n. É tant donné f E On '.:::::'. <C{x 1 ,x 2, . . . ,xn }, l'ordre
v ( ! ) de f (ou la multiplicité de f en 0) est défini par
v (f) = max { s 1 f E W18 }
Si f = L, Jii jn z{ 1 . . . z�n , alors V ( ! ) = min {Ji + . . . + Jn 1 fj 1 . . ·Jn -:/- 0 } . Si M
...
est une variété de dimension et m appartient à M, on a une identification

n
OM, m '.:::::'. On et on note Vm(f) l'ordre de f E OM, m·

Soient A c lP'ë une hypersurface analytique e t B = p - 1 (A) c cn+ i -..... {O}. D'après
le théorème de REMMERT-STEIN, l'adhérence B de B dans cn+l est une hyper
surface analytique. Considérons le germe d'hypersurface (B, O). Il est décrit par
f = 0 où f désigne un élément de On+l ; de plus on peut supposer f holomorphe
sur un polydisque !!,. . Maintenant nous utilisons la structure conique de B. Soit
m E B n !!,. -..... {O} ; pour tout t dans JD>(O; 1) on a
0 = f(tm) = tv fv (m) + tv +l fv + 1 (m) + . . .
ce qui implique fv (m) = O. Quitte à choisir f réduit f divise fv d'après le théorème
des zéros. Puisque f et fv ont même ordre, on a
fv = Yf f,
avec Yf (Ü) -:/- 0, ainsi A est décrit par fv = O.
Ouvrage de référence [87] :
I. Complex projective varieties. Grundlehren
MUMFORD , D. : Algebraic geometry.
der Mathematischen Wissenschaften, No. 221 . Springer-Verlag, Berlin-New York,
1976. x+186 pp.
CHAPITRE
2
NOTIONS DE BASE
2.1 . Rectification d'un champ de vecteurs
Considérons deux variétés analytiques complexes M, N et deux champs de vec

teurs X, Y sur M et N respectivement. On dit que X et Y sont conjugués s'il
existe un difféomorphisme : M --t N tel que * X = Y ; ceci se traduit par
l'égalité
D o X = Y o <1>
où D : TM --t TN est l'application tangente à . Soient m et q deux points de
M et N respectivement ; on dit que X et Y sont localement conjugués en m et q
s'il existe des ouverts m E U c M, q E V c N et un difféomorphisme : U --t V
tel que
(m) = q, D o (Xr u) = Yjv o .
On appelle champ constant sur l'espace affine standard e n tout champ de vec
teurs de la forme
a a a
À 1 az + À2 az2 + . . . + À n az
-
1 - -
n
à coefficients constants Àj E C. Remarquons qu'un tel champ non nul est conjugué
au champ de vecteurs
par une application linéaire.

Théorème 2.1 (Théorème de rectification). Soient M une variété analytique
complexe, X un champ de vecteurs sur M et m un point de M tel que X r m -=/:- O.
Le champ X est localement conjugué en m à un champ constant.
Démonstration. Sans perdre de généralité, on peut supposer que M est un ouvert

de en , que m est l'origine et qu'à conjugaison près par une application linéaire
on a
a
Xro = - .
ôz 1
Considérons l'application définie par
(z1 , z2, . . . , zn ) = (exp(z1 X)) (O, z2, z3, . . . , zn ) ·
Le théorème de la fonction inverse montre que est un difféomorphisme qui, par
construction, conjugue X et le champ constant ô/ôz1 . D
2.2. Théorème de FROBENIUS. Codimension 1
Considérons w une 1-forme sur M, U un ouvert de f'vl et m un point de M ; posons

ker w(U) = {X E ®M (U) 1 ixw ru = 0 }
et
ker wm = {X E ®M, m 1 ixwm = 0} .
Ce sont des sous-modules de eM (U) et eM, m respectivement.
Remarque 2.2. Si h E Om et h =fa 0, alors ker wm = ker(hw)m·
On dit que w est intégrable si w /\ dw = O.
Lemme 2.3. Soit M une variété analytique complexe. Si w est une l:forme
intégrable sur M, alors ker Wm et ker w(U) sont stables par crochet de LIE.
Démonstration. La propriété cherchée étant locale, il suffit de considérer le cas
de ker wm . D'après la Remarque 2.2, on peut supposer que les coefficients de w
n'ont pas de diviseur commun et par conséquent cod Sing w 2: 2. Si X E ker wm ,
alors ixw = 0 et donc
Lxw = ixdw + d(ixw) = ixdw.
D'autre part,
0 = ix (w /\ dw) = ix (w) /\ dw - w /\ (ixdw) = -w /\ Lxw.
Le lemme de division (Proposition 1 . 14) implique l'existence d'un élément h
dans OM, m tel que Lxw = hw. Considérons maintenant X, Y dans ker wm , on a
i[x, Y]W = Lx (iyw) - iy (Lxw) = -iy (hwm) = 0
d'où l'énoncé. D
Théorème 2.4 (FROBENIUS. Codimension 1). Soient M une variété analytique

complexe, w une l:forme intégrable sur M et m un point de M tel que w( m ) =fa O.
Il existe deux germes de fonctions u, f E OM, m tels que
u(m) =fa 0, dfr m =fa 0, Wm = udf.
2. NOTIONS DE BASE 39
Démonstration. La forme m s'écrit en coordonnées locales

m = a 1 dz1 + a2 dz2 + . . . + an dzn.
les coefficients aj appartenant à OM,m · Quitte à faire un changement linéaire de
coordonnées, on peut supposer que a 1 (m) -:/:- 0, aj (m) = 0 pour j ;::: 2. Les germes
de champs de vecteurs
Xj = -a a· a j = 2, 3,
2
. . . , n,
a Zj - a1 -
a ZI '
forment une base du OM,m-module libre ker mm . On a
[Xj,Xk ] = fj k 8a -
ZI
où fj k E OM,m· Le Lemme 2.3 assure que [Xj, Xk ] appartient à ker mm ; on en
déduit que [Xj, Xk ] = 0 pour tout j, k = 2, 3, Considérons l'application
. . . , n.
(z1 , z2, . . . , zn ) = [exp(z2 X2 ) o exp(z3 X3) o . . . o exp(zn Xn )] (z1 , 0, 0, . . . , 0).

Comme les Xj commutent, on a
(z1, z2, . . . , Zn ) = [exp(z2 X2 + Z3 X3 + . . . + Zn Xn )] (z1 , 0,0, . . . , 0)
et <l> est un difféomorphisme local. Par construction, <l> conjugue Xj au champ
constant a/azj pour tout j = 2, 3, Puisque
. . . , n.
<l> * m �
azj = 0
( ) V j = 2, 3, . . . , n,
on a
avec u(O) -:/:- 0, d'où l'énoncé. D
Une carte (U; z1 , z2, . . . , zn ) telle que U soit un polydisque et m = u dzn s'appelle
une carte feuilletée; l'ouvert U est un ouvert feuilleté et chaque niveau Zn
constante est une plaque.
2.3. Feuilletages singuliers de codimension 1
Nous donnons d'abord une définition abstraite que nous interpréterons ensuite en
terme de données locales ; c'est ce dernier point de vue qui est.utilisé en pratique.
Soit M une variété analytique complexe connexe de dimension n. Un feuilleta�e
sin�ulier de codimension 1 sur M est un DM-sous-module :F de il 11 qui a les
propriétés suivantes
• :F est localement libre de rang 1 ;
• :F est intégrable, i.e. :F /\ d:F = 0 ;
• :F = :F .L..L , où :F J_J_ est le double orthogonal de :F c il 1 .

. 1
1
1 Uorthogonal 'FJ_ de 'F c n11 est le sous-ensemble de eM défini par
{x E eM l ix 'F o} =
et le saturé 'F 1-1- de 'F est décrit par 'F 1- 1- { w E nk 1 ixw

= = 0 VX E 'F 1- } C n1r
2.3.1 . Données locales
Donnons une version locale de cette définition. Appelons système de données

locales intégrables toute famille
S = { (Uj , Wj ) } JEJ
telle que :
(1) les Uj soient des ouverts qui recouvrent Jvl ;
(2) les Wj E 011 (Uj ) soient intégrables ;
(3) pour tout couple d'indices j, k E J il existe hjk E Oj.,1 (Uj n Uk) satisfaisant
Wj lUi nuk = hjk Wk lUi nuk ;
(4) cod Sing wj 2 2 .
La condition (4) en vertu du lemme de division (Proposition 1 . 14) traduit exacte
ment l'égalité !f = !f -1..l .
Deux tels systèmes S et S' seront dits équivalents si leur union SUS' est encore un
système de données locales intégrables. À un système S on associe un feuilletage
!f en décidant que les Wj engendrent .1j u; . Deux systèmes définissent le même
feuilletage si et seulement si ils sont équivalents. Réciproquement, tout feuilletage
est issu d'un tel système. On a donc une bijection entre l'ensemble des feuilletages
(de codimension 1) sur M et celui des classes de systèmes de données locales
intégrables.
2.3.2. Lieu singulier
Le lieu singulier Sing !f du feuilletage !f est le fermé analytique donné localement

par la condition
Sing !f n Uj = Sing Wj·
On constate que Sing !f est le lieu des points m E M où la fibre n11, m / !Fm n'est
pas un 0.M,m-module libre de rang n 1. Remarquons que la condition (4) assure
-
que cod Sing !f 2 2. Il se peut que Sing !f ne soit pas « équidimensionnel », i.e.
que Sing !f possède des composantes irréductibles de dimensions différentes.
Exemple 2.5. Il en est ainsi pour le feuilletage de C3 donné par la 1-forme diffé
rentielle w = d(z1 z2 z3 (l + z 1 + z2 )) .
2.3.3. Pré-feuilletages
Appelons pré-feuilletage de codimension 1 sur M tout 0.M-SOUS-module Çj c n1-

intégrable et localement libre de rang :::; 1. Si Çj est localement libre de rang 1 , on
dit que Çj est non dégénéré. Les pré-feuilletages sont définis par des systèmes de
données locales qui satisfont les propriétés (1) , (2) et (3) précédentes. Notons que
si M est une variété connexe, ou bien Çj est non dégénéré, ou bien Çj = O. Soit Çj
u n pré-feuilletage non dégénéré ; i l existe u n unique feuilletage '.f tel que

YI M ,Sing (j = Ji111'Sing (j ·
Il suffit de prendre '.f = q J.. J.. . Nous dirons que '.f = q J.. J.. est le feuilleta,ge associé
à q. Si S = { (Uj, Wj )}jE J est un système de données locales pour y quitte à
raffiner le recouvrement, on obtient un système de données locales pour '.f en
divisant localement les Wj par le pgcd des coefficients.
2.3.4. Image réciproque, transformé strict
Soient 1 : M' ---+ M un morphisme de variétés analytiques et '.f un feuilletage sur

M. Supposons que S = {(Uj,Wj)}j E J soit un système de données locales pour '.f.
Uimage réciproque 1 - 1 '.f est le pré-feuilletage sur M' défi.ni à partir du système
1 - lS =
{ u - l (Uj), j * wj) } jEJ '
Si 1 - 1 '.f est non dégénéré (il se pourrait que les f*wj soient nuls), on désigne par
f* '.f le feuilletage associé à 1 - 1 '.f et on l'appelle transformé strict de '.f par le
morphisme 1 . Si est une immersion (ouverte ou fermée), on dit parfois que z* '.f
1
est la restriction de '.f à M' et on note aussi z* '.f = Ji 1w . Remarquons que z* '.f
n'est pas défini lorsque z- 1 '.f est dégénéré.
Remarque 2.6. Si g : !v! '' ---+ lvl'
est un autre morphisme on a
9 - 1 u - 1 '.f ) = u 0 g) - 1 '.f.
Il est possible que (f o g)* '.f ne soit pas défi.ni, bien que l'on puisse calculer
g * (f* '.f). Des exemples intéressants se produisent en éclatant et en considérant
la restriction au diviseur exceptionnel ; c'est le cas lorsque l(x,y, z ) = (x,y,yz),
g(x,y) = (x, O,y) et '.f est donné par w = z dy - y dz.
2.4. Feuilles
Un feuilletage singulier '.f sur M défi.nit un feuilletage holomorphe de codimen

sion 1 sur M -...... Sing '.f. Celui-ci correspond à une partition de l'espace M -...... Sing '.f
par des feuilles, dont nous introduisons maintenant la définition.
2.4.1 . Morceaux de feuille
Un morceau de feuille est un morphisme de variétés analytiques : N � M

ayant les prop riétés suivantes :
(a) est injective et ( N) c M "- Sing !f ;
(b) N est connexe et de dimension n - 1 ;
( c ) l'application tangente D : TN � TM est injective ;
(êl) <1> - i !f = o .
On identifie abusivement un morceau de feuille à son image (N) . Si le point m

appartient à (N), on dit que le morceau de feuille passe par m.
Le théorème de FROBENIUS assure que pour chaque point m E M "- Sing !f il
existe un morceau de feuille passant par m. Désignons par :Mr,m l'ensemble des
morceaux de feuille passant par m. La relation binaire sur M "- Sing !f donnée par
m rv m' {:::::::} :Mr,m n :Mr,m' i- 0
est une relation d'équivalence. La transitivité de cette relation se déduit de

l'énoncé suivant.
Lemme 2.7. Soient j : Ni � M, j = 1, 2, deux éléments de :Mr,m· Il existe
un élément : N � M de :Mr,m et deux immersions ouvertes l j : Ni � N,
j = 1, 2, telles que
j = 1, 2.
Démonstration. Soient Wj = j i ( k (Nk )), j i- k. Le théorème de FROBENIUS
assure que Wj est un ouvert ; de plus
<1>2 i o <D i : Wi � W2
est un isomorphisme de variétés analytiques. Le morceau de feuille désiré
 : N � M est obtenu par recollement des variétés Ni et N2 le long de Wi et
W2 . Plus précisément, on pose
N= Ni LJ N2
{ Wi 3 zi Z2 = (<1>2 i o <l> i ) (z i ) }
rv
on remarque que N est naturellement muni d'une structure de variété analytique.

Les morphismes d'inclusion l j : Ni � N sont des immersions ouvertes. Le mor
phisme : N � M s'obtient en posant ( q ) = j ( q ) si q E Ni . La connexité de
N se déduit du fait que 1 i (Ni ) n 1 2 (N2 ) i- 0. L'injectivité de est donnée par la
construction et les conditions (b) et (êl) se lisent localement en remarquant que
D
2.4.2. Feuilles
Une feuille L de !f est une classe d'équivalence pour la relation précédente sur
M "- Sing !f .
Proposition 2.8. Soit !f unfeuilletage singulier sur M. Si L est une feuille de ![,
il existe un morceau de feuille : N � M tel que (N) = L.
Notons en particulier qu'un tel N est à base dénombrable d'ouverts.

Démonstration. C'est une généralisation du Lemme 2. 7 . Considérons la famille
{j : Nj -----+ M} J E J des morceaux de feuilles tels que j (Nj) n L # 0
(ce qui implique j (Nj) c L). Pour tout couple d'indices j, k E J on pose
Wj k = (j 1 o k ) (Nk ) et
j k = <l>j 1 o k : Wj k
-----+ Wkj·
Chaque Wj k est un ouvert de Nj et on a les propriétés suivantes
• jj = id ;
• j k = <1> -,;J ;
• j k <l> kt tj = id.
0 0
Alors N et le morphisme <l> : N -----+ M sont obtenus par recollement des Nj le long
des Wj k comme précédemment. La connexité de N est donnée par la définition
de la relation d'équivalence.
Montrons que N est à base dénombrable d'ouverts. Prenons une base dénombrable
d'ouverts feuilletés Uj de M " Sing :f. Une base de N est donnée par les Nk c N
tels que k (Nk ) soit une plaque de Uj . Il suffit de démontrer que chaque Uj a
une quantité au plus dénombrable de plaques contenues dans L. Fixons-en une
que l'on note L. Les autres sont reliées à L par des chemins qui, par compacité,
sont contenus dans une union finie d'ouverts feuilletés de la famille {Uj }. Il y a
donc moins de plaques que de sous-ensembles finis de cette famille ; il s'agit d'une
quantité au plus dénombrable. D
Dans la suite nous confondons la feuille L avec le morceau de feuille <l> : N -----+ M
donné par la Proposition 2.8. Remarquons que si ' : N' -----+ M est un morceau
de feuille tel que '(N') n L # 0, il existe une immersion ouverte 1 : N' -----+ N
telle que <l> o 1 = '. En particulier, <l> : N -----+ Jvl est unique à isomorphisme près.
2.5. Avant-goût de l'holonomie
Si m est un point de M " Sing :F, nous appelons transversale à :F en m un mor

phisme r : /':,. -----+ M de variétés analytiques ayant les propriétés suivantes
(1) /':,. c <C est un ouvert de <C contenant l'origine ;
(2) r est injective ;
(3) ( r * w) ( t) # 0 pour tout t E /':,. et tout générateur local w de :F ;
(4) r (O) = m.
En particulier, l'application tangente Dr : T /':,. -----+ TM est injective. Le théorème
de FROBENIUS assure l'existence de transversales en tout point m de M " Sing :f .
Proposition 2.9. Soient m1, m2 deux points de la mêmefeuille F et '!j : /':,. j -----+ M,
j =1, 2, deux transversales aujeuilletage :F en mj , j = 1, 2. Il existe des ouverts
Vj, avec 0 E Vj c /':,.j, et un isomorphisme analytique
'P(O) = 0
tel que pour tout t E Vi, les points r1 ( t) et r2 ('1' ( t)) appartiennent à la même
feuille de :f.
Démonstration. Soit y : [O, 1] -----+ L un chemin qui relie m i et m2 . Par compacité

de y ([0, 1]) et par le théorème de FROBENIUS, on trouve une famille finie
k
{ (uj ; zj1 , Z2j , . . . , znj ) } j = l
de cartes feuilletées de M qui ont les propriétés suivantes
(1) il existe t i = 0 < t2 < < t k = 1 tels que y ( tj) soit le centre de Uj ;
· · ·
k
LJ Uj u Uj + l ;
(2) y ( [tj,tj + l ]) c
j= l
(3) Uj s'identifie à un polycylindre de en ;
(4) !fiu; est donné par dz�.
Il suffit de considérer le cas k = 2 car on peut établir une récurrence finie évidente.
De plus, on peut supposer que r1 ( d 1 ) c U1 , r2 ( d2 ) c U2 et
r1 (d 1 ) = U1 n { (zf = zJ = . . . = z� _ 1 = O) }, r1 (t) = (0, 0, . . . , 0, t),
r2 (d 2 ) = U2 n { (zÎ = z� = . . . = z;_ 1 = O) }, r2 (t) = (0, 0, . . . , 0, t).
Soit m = y ( t) E U1 n U2 ; il existe une carte feuilletée { (W; y1 , y2, . . . , Yn )} centrée
en m telle que W c U1 n U2 et :J soit donné par dyn . Remarquons que Yn =
constante est contenu dans une feuille ; de plus si c appartient à C il existe c 1 et c2
uniques tels que
(z� = c1 ) ::::> ( Yn = c) C (z; = c2 ).
Le morphisme 'I' cherché est donné par c1 c2 . 1--t D
Remarque 2. 10. Le morphisme 'I' ne dépend que de la classe d'homotopie à extré

mités fixes du chemin y dans la feuille F.
2.6. Intégrales premières, hypersurfaces intégrales
Une fonction f E OM (M) non constante est dite intégrale première du feuilletage
:F si :F /\ df = 0, autrement dit si
Wj /\ df = Û
où S = {(Uj,Wj)}jE J est un système de données locales pour :f .
Proposition 2 . 1 1 . Soit f une intégrale première de :f. Le lieu singulier Sing :F
de :F est contenu dans l'ensemble des points critiques de f.
De plus, les feuilles de :F sont les composantes connexes des hypersurfaces de
niveau de f sur M ....._ Sing :f.
Démonstration. Soient m un point de M et m un générateur de :Fm · Le lemme de

division (Proposition 1 . 14) implique qu'il existe h E OM, m tel que df = hm, d'où la
première assertion.
La fonction f est constante sur les feuilles et donc chaque composante connexe
H de (! = c) ....._ Sing :F est une réunion de feuilles. Comme H est une hypersurface
connexe de M ....._ Sing :F qui est une réunion de feuilles, H est forcément une
feuille. D
2.6.1 . Intégrales premières multiformes
Soit A un sous-ensemble fermé de M contenant Sing :f. Une intégrale première

multiforme de :F sur M -...._ A est la donnée d'un revêtement
p:
�
M -...._ A -----+ M -...._ A

et d'une fonction non constante f E Oj;j (M ....._ A ) intégrale première de p * :f . Les
�
feuilles de .'lj M, A sont les projections par p des composantes connexes des hyper
surfaces de niveau de f.
On remarque que si :F est défini sur M -...._ A par une 1-forme fermée, alors :F
possède une intégrale première multiforme : c'est une conséquence du lemme
de POINCARÉ (Théorème 1 . 7) que l'on applique dans le revêtement universel de
M -...._ A. Déterminer les feuilletages :F possédant une telle propriété reste donc un
problème important.
Exemple 2. 12. Le feuilletage :! de en défini par la forme différentielle
k ·
m = P1 P2 . . . Pk 2:, Àj dP
p1 ,
j=I J
où Àj E e* et les Pj sont des polynômes, possède l'intégrale première multiforme

f = I: Àj log Pj qui est bien définie sur le revêtement universel de
en -...._ {P1 P2 . . . Pk = 0}.
2.6.2. Germes d'intégrales premières
On peut définir de la même manière intégrale première locale, germe d'inté

grale première et même intégrale première formelle. Nous proposerons plus
loin une démonstration du résultat suivant dû à MALGRANGE.
Théorème 2 . 13 ( [ 7 7 ) , FROBENIUS singulier) . Soient M une variété analytique
complexe et m un point de M. Si cod Sing :Tm 2 3, il existe un germe h E OM, m
d'intégrale première de :f.
2.6.3. Feuilles fermées
Si f E OM (M) est une intégrale première de :!, les feuilles de :F sont fermées
dans M '- Sing :F ; leurs adhérences sont des hypersurfaces analytiques fermées
de M (composantes irréductibles globales des hypersurfaces de niveau de f).
Plus généralement, les feuilles fermées vont donner des hypersurfaces de M. Pour
établir ce résultat, nous avons besoin du lemme de topologie générale suivant.
Rappelons que si X est un espace topologique localement compact, l'ensemble
dérivé A' d'un sous-ensemble A de X est défini par
A' = { X E A \ { X } }.
Lemme 2 . 14. Soit X un espace topologique localement compact. Si A c X est
unfermé non vide et dénombrable, alors A et son ensemble dérivé sont distincts.
Proposition 2.15. Soient L c M '- Sing :F une feuille de :F et L l'adhérence de L
dans M. Les deux assertions suivantes sont équivalentes
(1) L estfermée dans M '- Sing :F ;
(2) L est une hypersurface analytique irréductible dans M.
Démonstration. Le fait que (2) implique (1 ) est évident.

Montrons que
L c M '- Sing :!
est une sous-variété analytique. Soit m un point de M '- Sing :F ; le théorème de
FROBENIUS assure l'existence d'une carte (U, (z 1 , z2 , . . . , zn )) centrée en m telle
que .'lju est défini par dzn . Il en résulte que
LnU = u { Zn = Cj }.
jEJ
Supposons que zn (m) = O Si 0 n'est pas dans l'adhérence de l'ensemble
.
on conclut aisément en restreignant U. Supposons que 0 soit dans l'adhérence

de C. On sait d'après la démonstration de la dénombrabilité à l'infini des feuilles
que l'ensemble C est dénombrable. D'autre part, C apparaît comme trace d'un
fermé sur un ouvert X c CC, donc C c X est fermé. Si 0 appartient à l'ensemble
dérivé C' de C, la Proposition 2.9 implique que C = C' : contradiction avec le

Lemme 2. 14.
Le Lemme 1 . 15 de REMMERT-STEIN implique que Z est analytique dans M. Uir
réductibilité est conséquence du fait que Z contient l'ouvert dense, connexe et
lisse L. 0
2.6.4. Hypersurfaces intégrales
Les hypersurfaces intégrales sont les feuilles d'adhérence analytique de codimen

sion 1. Comme nous le verrons plus loin, on dispose d'une description raisonnable
du feuilletage en leur voisinage.
Définition 2. 16.Une hypersurface intégrale irréductible (ou séparatrice) de ':F
est une hypersurface analytique irréductible H c M telle que H '- Sing ':F soit une
feuille.
Si h E OM,m est une équation locale (réduite) de H en m, alors H est une hyper
surface intégrale de ':F si et seulement si h divise m /\ dh, où m est un générateur
local de ':F, i.e. il existe un germe de 2-forme Y/ tel que
m l\ dh = hrt.
Ce résultat est une application du théorème des zéros de HILBERT-RÜCKERT.
Cette condition nous permet de définir la notion d'hypersurface intégrale formel
le irréductible de la façon suivante : soit ÔM,m le complété formel de l'anneau
local O!vf,m ; considérons un élément irréductible h de Ô!vf,m qui ne soit pas une
unité. On dit que h (ou h = O) est une hypersurface intégrale formelle de ':F en
m si et seulement si h divise (formellement) la 2-forme m /\ dh.
Il est évident que H c M est une hypersurface intégrale irréductible si et seule

ment si
• H est irréductible
• et pour un ouvert U c ll!f tel que U n H -:/:- 0, il existe une composante irréduc-
tible de H n U hypersurface intégrale de jju.

O n peut donc parler de germe d'hypersurface intégrale irréductible, que nous
identifions souvent avec une de ses équations irréductibles locales h E OM,m qui
divise m /\ dh.
Plus généralement une hypersurface intégrale (analytique, formelle ou un germe
de . . . ) est une union finie d'hypersurfaces intégrales irréductibles.
2. 7. Feui l letages projectifs et affines
Nous donnons ici les premiers exemples classiques de feuilletages singuliers.

Soit IP'ë l'espace projectif complexe de dimension n. Rappelons que
p: cn+ 1 {O}
'- ----+ IP'ê
48 T H É O R I E ÉLÉM ENTAIRE D E S FEU I LLETAGES HOLOMORPHES SINGU LIERS
désigne la projection canonique. Le théorème suivant est une variante du lemme

de CHOW (Lemme 1.20) ; il indique qu'un feuilletage de lP'ë se laisse décrire par
une forme homogène sur cn+ I .
Théorème 2.17. Soit !f unfeuilletage singulier de codimension 1 sur lP'ë, n ::=:-: 2.
Alors µ- 1 !f = µ* !f et µ* !f s'étend en un feuilletage '!f sur cn+ I défini par une
forme intégrable homogène
n
W = L Aj dZj
j =O
n
les Àj E C[zo, z 1 , . . . , zn ]d satisfaisant l'égalité L ZjÀj = O.
j =O
Réciproquement, une telle forme W qui de plus satisfait pgcd(Aj) = 1 définit un
feuilletage sur lP'ë.
Démonstration. Montrons d'abord la rec1proque. Soit !!' le feuilletage défini
par W sur cn+ i . Considérons le morphisme d'éclatement
1C : 'E -----+ cn+ I
de centre l'origine de cn+ I . La condition d'EULER est équivalente à dire que le
diviseur exceptionnel E = lP'ë C 'E n'est pas une hypersurface intégrale du trans
formé strict n * ![ ' . Le feuilletage cherché est donc (n * !f') 1 E ·
O n peut aussi considérer sur lP'ë les données locales (Uk ,mk ) avec
Uk = { (zo, z1, . . . , Zn ) 1 Zk = 1 }
et Wk = 1kW, où l k est l'inclusion canonique de uk dans cn+ I . Ces données se
recollent et définissent un feuilletage de lP'ë isomorphe au précédent.
Maintenant la partie directe. Pour montrer l'existence d'une 1-forme m définis
sant µ* !f , sans la condition d'homogénéité, il suffit d'appliquer le lemme de CAR
TAN (Lemme 1. 19), qui assure la nullité du groupe de cohomologie (n + 1 ::=:-: 3)
H 1 (cn+ I '- {O}, q'; n + 1 ),
puis le théorème d'HARTOGS pour prolonger holomorphiquement w en O.
É crivons la décomposition de w en composantes homogènes (développement de
TAYLOR) comme suit
(ù = Cùv + Cùv + I + · · ·
Pour obtenir la condition d'homogénéité, montrons que W = Wv convient. Il suffit

de montrer qu'il existe h E O(: n +i (Cn+ I ) tel que w = hwv . Soit
n a
R= L Zj fu.
j =O J
le champ radial sur cn+ i . Les fibres de µ étant les trajectoires de R la construction
donne iRw = 0 d'où iRWj = 0, pour j ::=:-: v . D'autre part
m /\ dw = 0 ::::} iR(w /\ dw) = 0 ::::} w /\ iR(dw) = O.
Comme iRdw = LR(w) , le lemme de division (Proposition 1 . 14) assure l'exis

tence d'un élément h' dans Ocn+ 1 (<C n+l ) tel que LR(w) = h 1 w. L'identité d'EULER
L R ( Wj) = (j + 1 )wj entraîne que
h1 (wv + Wv + l + . . . ) = LRW = ( + l)wv + ( + 2)wv + I + . . .
v v
Par récurrence on obtient
où les hj - v sont homogènes de degré j - v. Par suite

W = ( 1 + L hj - v ) wv = hwv.
j ;::: v + I
En écrivant, de façon symbolique, h = w/ Wv on voit que h converge sur c n+ I . Le
fait que h soit une unité découle directement du fait que cod Sing w 2 2 . D
Remarque 2. 18. La partie directe du théorème précédent, sans la condition d'ho
mogéneité, peut aussi être démontrée en utilisant le théorème de LEVI (Théorè
me 1 . 16) comme suit. Soit S = {(Uj,Wj)}jE J un système de données locales
pour p* :F. Écrivons Wj sous la forme
n
Wj = L b� ) (zo, z1 , . . . , zn ) dzk .
k=O
Supposons sans perdre de généralité que b� ) soit non nul pour tout j. Les formes
méromorphes
n b (j )
(J) = dzo + L bt) (zo, z1, . . . , zn ) dzk
OJ ·
bo k= l o
coïncident visiblement sur l'intersection de leurs domaines de définition. Par
suite, elles définissent une forme méromorphe
n
w' = dzo + L bj dzj
j= l
sur cn+l {0} . Le théorème de LEVI permet d'étendre w' à <Cn+l . Écrivons
"-
w' = w/<f>
où <f> désigne un élément de Ocn +1 (<Cn+l ) et w une 1-forme holomorphe telle que
cod Sing w 2 2 .
La 1-forme w définit J'. L'utilisation du théorème de LEVI évite d'invoquer le calcul
du groupe H 1 ( cn+ i { 0 }, O{: n +i ) .
"-
2.7 .1 . Degré
-
Le degré d'un feuilletage :F sur IP'ë est par définition d 1, où d est le degré des
coefficients de la forme homogène W donnée par le Théorème 2 . 1 7 ; on le note
deg :r .
50 THÉORIE ÉLÉM ENTAIRE D E S FEUILLETAGES HOLOMORPHES SINGULI ERS
C'est un exercice de vérifier que si 1 : L � IP'ë est l'inclusion d'une droite généri
que de l'espace projectif IP'ë, alors deg !f coïncide avec le nombre de points singu
liers de la restriction 1 - 1 !f ou, ce qui revient au même, le nombre de tangences de
!f avec L.
Feuilletages de degrés 0, 1 , 2
2 . 7 2 Intégrales premières rationnelles

. .
Une hypersurface H c IP'ë est nécessairement algébrique, c'est une conséquence

du lemme de Cttow (Lemme 1.20). Considérons une fonction rationnelle
P(zo, z 1, . . . , zn )
<l> = Q(zo, z 1, . . . , zn )
donnée par le quotient de deux polynômes homogènes de même degré et sans
facteur commun. Écrivons QdP - PdQ sous la forme SW où W est une 1-forme
homogène dont les coefficients sont premiers entre eux. Alors W définit un feuille
tage !f sur IP'ë. Les composantes irréductibles de
ÀP = µ Q, : µ ) E IP'�
(J,.
sont des hypersurfaces intégrales de !f . On dit que <l> est une intégrale première
rationnelle de !f. Notons que <l> définit une intégrale première sur le complémen
taire de ses pôles et que, de la même manière 1/<1> définit une intégrale première
sur le complémentaire des zéros de <l>. En chaque point d'indétermination de <l> il
n'y a pas d'intégrale première holomorphe locale ; en revanche, il y a une infinité
de feuilles qui adhèrent à chacun de ces points.
Remarque 2 . 19. En général, le facteur S évoqué plus haut n'est pas une
constante ; c'est par exemple le cas lorsque
Q = zJ.
Le degré du feuilletage peut donc être « petit » par rapport au degré des hypersur
faces intégrales.
Lorsque le feuilletage !f possède « beaucoup » d'hypersurfaces intégrales, il admet
une intégrale première rationnelle. On a notamment l'énoncé suivant.
Théorème 2.20 (DARBOUX-JOUANOLOU, [66]). Soit !f unfeuilletage de degré d
sur l'espace projectif IP'ë. Supposons que !F ait une infinité d'hypersurfaces inté
grales ; alors !f admet une intégrale première rationnelle.
Démonstration. Soit W une 1-forme homogène intégrable définissant J: = p* :f .

Soient { H1 } J E J les hypersurfaces intégrales de :f que l'on suppose irréductibles
et décrites respectivement par P1 = 0 où les P1 sont des polynômes homogènes
irréductibles. On a
w /\ dP.
_
P1 = IJJ
J
les IJJ désignant des 2-formes dont les coefficients sont homogènes de degré d.
L'image de l'application linéaire
(µ 1 ) t--+ 2:
j
µ 1 111
est de dimension finie, car elle est contenue dans le sous-espace vectoriel des 2-
formes homogènes de degré d. Prenons deux éléments µ = (µ J ) et µ ' = (µ j )
indépendants dans ker L alors
/\ '°' dP1 '°' dP1 ,
w � µi p. = w /\ � µ J P. = o.
J J
Il en résulte l'existence de deux fonctions rationnelles f et g telles que
(ce sont des vecteurs proportionnels sur le corps des fonctions rationnelles) .
La fraction rationnelle <l> = f/g est non constante (sinon µ e t µ ' seraient
e-colinéaires) et <l> est une intégrale première rationnelle de :f . D
Cet énoncé a été généralisé par GHYS à n'importe quelle variété compacte [53 ] .
Nous reviendrons au Chapitre 9 sur la description des feuilletages des espaces
projectifs en petit degré.
2. 7 3 Feuilletages de l'espace affine e n

. .
Soient :r un feuilletage sur e n et { (Uj, Wj) } un système de données locales définis

sant :r. Sur l'intersection Uj nuk on a Wj = hj k Wk les hj k E Oên (Uj nuk ) désignant
des unités définissant un élément du groupe de cohomologie H 1 (e n, Oên ) . Comme
ce groupe est trivial il existe, modulo un bon choix des ouverts Uj , des éléments
hj de Oê,. (Uj) tels que hj k = h k /hj . Par suite la forme différentielle w définie par
w 1 ui = hjWj est globale. On a ainsi montré l'énoncé suivant :
Proposition 2.21. Unfeuilletage :f sur e n est défini par une l-forme holomorphe
intégrable globale.
Exemple 2.22. Soit f : e n -----t e une fonction entière. À l'équation différentiel
le y' = f(x,y) on associe le feuilletage :f défini sur e n par la 1-forme
w = dy - f(x,y) dx
dont les feuilles sont précisément les graphes des solutions de l'équation
différentielle. Même lorsque f est un polynôme, on connait peu de choses
sur de tels feuilletages.
52 THÉORIE ÉLÉMENTAIRE D E S FEUILLETAGES HOLOMORPHES SINGULIERS
2. 7 .4. Feuilletages linéaires de <C 2
Considérons ( .'.Ft )AEC* la famille de feuilletages définis sur e 2 par

w;. = x dy - J.. y dx.
Le lieu singulier de J:t est réduit à {O} ; les axes x = 0 et y = 0 sont des
courbes intégrales. Si À est rationnel, À = r / q , alors 1' possède l'intégrale pre
mière rationnelle x - ry q ; dans ce cas, par chaque point passe une hypersurface
intégrale (ici courbe algébrique). Si À (j. Q, alors 1';. possède l'intégrale première
multiforme x - "y. Comme le champ linéaire
X;. = x - a J.. y - a
ax + ay
engendre ker w;, , on peut paramétrer les feuilles de 1';. par le flot exp tX;. de X;. ;
plus précisément, la feuille L( xo,yo ) passant par le point (xo,yo) est paramétrée par
le morphisme
t 1---+ ( xo exp t,yo exp(J.. t ) ) .
Si xoyo est non nul et À non rationnel, cette application est injective et L( xo,yo ) est
conformément équivalent à e.
Problème 2.23. Décrire suivant les valeurs de À l'adhérence des feuilles de j';. .
2.8. D'autres exemples
Nous présentons ici quelques exemples de feuilletages non singuliers sur des
espaces ambiants différents des espaces affine ou projectif.
2.8.1 . Feuilletages sur certaines variétés de HOPF
Soit p un nombre complexe non nul de module plus petit que l . On désigne
par M(n,p) la variété quotient de e n "- {O} par l'homothétie hµ (z) = pz. Il existe
une factorisation
en "- {O} � M(n,p) � IP'� - 1
(qui n'est pas valable pour des variétés de HOPF plus générales) . Considérons un
feuilletage 1' sur M(n,p) sans singularités. Uimage réciproque p- 1 1' est un feuille
tage sans singularités sur en "- {O} ; il est défini par une 1-forme holomorphe glo
bale sur en "- {O} qui se prolonge holomorphiquement à e n . Écrivons-la comme
suit
Comme p - 1 :r n'a pas de singularité, la forme w est à singularité isolée ou

éventuellement non singulière. De plus w et
h;w = � dz ·
� bj (px) -j
j= l J
doivent être proportionnelles. On peut supposer que l'un des bj, disons b 1 , est non
identiquement nul. On en déduit que les fonctions méromorphes bi/b 1 sont inva
riantes par l'homothétie p et ce sont donc des fractions rationnelles de degré O.
Autrement dit nous pouvons écrire
bi Pi
bi P1
les Pi désignant des polynômes homogènes de même degré. Le feuilletage p- 1 :r ·
est alors donné par

� p dzi .
� J ,
.
j = l Zj
quitte à rendre la forme holomorphe, on peut supposer que
n
OJ = L Qj dZj
j= l
est à singularité isolée, les Qi étant des polynômes homogènes d'un certain
degré V. Réciproquement, toute 1-forme homogène intégrable sur e n induit
un feuilletage sur M (n, p) qui est sans singularités pourvu que la forme soit à
singularité isolée en O.
Revenons au cas sans singularités, n 2'. 3 . Le résultat de division de DE RHAM
SAITO (Proposition 1 . 14) assure que w est exacte, donnée par w = dP, avec P
polynôme homogène de degré d + 1 . Le feuilletage p - 1 :r est aussi défi.ni par la
forme méromorphe fermée
dP
p·
Celle-ci étant invariante par homothétie, elle correspond à une forme mé
romorphe fermée sur la variété de HOPF M ( n,p ) .
Pour n = 2, si z1 Q i + z2 Q 2 =f. 0, la forme méromorphe
Q i dz1 + Q 2 dz2
z 1 Q 1 + z2 Q 2
est fermée et invariante par homothéties. Dans le cas z 1 Q i + z2 Q 2 = 0, on consi
dère la forme � -
z2
z1 dz2 • Ainsi les feuilletages sans singularités sur M ( n,p) sont
définis par des formes méromorphes fermées, dont les pôles sont des hypersur-
faces intégrales.
Le lecteur peut généraliser ce qui précède à des variétés de HOPF plus compliquées
M(n; À 1 , À2, . . . , À n ), données comme quotient de e n ....._ {O} par l'application
(z 1 , z2, . . . , zn ) r-; (À 1 Z1 , À 2 z2, . . . , À n Zn )
où les Àj sont des complexes de module plus petit que 1.
54 THÉORIE ÉLÉM ENTAIRE DES FEUILLETAG ES HOLOMORPHES SINGU LIERS
Exercice 2.24. Décrire la topologie des feuilles du feuilletage non singulier 'f
de M(n,p) donné par la forme méromorphe d�, .
Exercice 2.25. Même question en remplaçant � par tjg_

Q où Q est une forme
Z1
quadratique de rang maximum.
Problème 2.26. Classifier les feuilletages sans singularités des variétés de HOPF
M(n).). En particulier décrire dans le cas général la topologie des feuilles.
2.8.2. Feuilletages sur les tores complexes
Les espaces 1'(n, A) sont compacts donc leurs seules fonctions holomorphes sont
les constantes. Si le réseau est général et n � 2, il n'y a pas de fonction méro
morphe sur 1'(n, A) autres que les constantes. En fait, la présence de fonctions
méromorphes implique une configuration spéciale pour la base { ej }. A l'inverse,
pour n = 1 le corps des fonctions méromorphes est non réduit aux constantes,
ce sont les fonctions elliptiques. Uexemple le plus célèbre de fonction elliptique
est la fonction P de WEIERSTRASS, construite comme suit. On peut supposer que
e 1 = 1 et e2 = 17, avec 17 non réel. La fonction P est alors définie par
(1 1 1 )
P (z) = L )2 - 2 + 2·
(z - r r
O�r EZE!lZ11
z
Par construction elle est doublement périodique
P(z) = P(z + 1) = P(z + 17 ) .
Elle définit donc par passage au quotient une fonction méromorphe sur le tore
1'(1, A) où A = Z + 11Z.
Les exemples de feuilletages les plus simples sur les tores complexes sont les
feuilletages en hyperplans, donnés sur en par une forme constante
ro � t, À; dz; d � (t, }À;z
les Àj désignant des nombres complexes. En identifiant r E A à la translation

*
z r-+ z + r , on constate que r w = w. Le feuilletage en hyperplans sur 1'(n, A) est
n
alors défini par une 1-forme fermée. En fait, la fonction L = L ÀjZj en est une
j =l
intégrale première multiforme (vue sur le tore). Les feuilletages en hyperplans sont
les seuls, singuliers ou non, sur les tores génériques, comme le montre l'énoncé
suivant.
Proposition 2.27. Soit 'f un feuilletage holomorphe de codimension 1 sur le
tore 1'(n, A). Si le corps de fonctions méromorphes sur 1'(n, A) se réduit aux
constantes, alors 'f est un feuilletage en hyperplans.
2. NOTIONS DE BASE SS
Démonstration. Notons p : e n 1l' (n, A) la projection canonique. Le feuilletage

--t
p - 1 '.f est défi.ni sur en par une 1-forme globale

n
w = l: A1 (z) dz1.
j =l
Supposons que A 1 soit non identiquement nul ; considérons la 1-forme méro
morphe
W = dz1 + �
A1 (z) dz1
j =2 1 (z)
L; A
Posons B1 (z) = A1 (z)/A 1 (z), j = 2, 3, . . . , n. Uinvariance par translation par
r E A et le fait que le coefficient de dz1 soit 1 impliquent que r * W = W ; par suite
B1 (z + r ) = B1 (z).
Les B1 induisent donc des fonctions méromorphes sur le tore, ce qui termine la
démonstration. D
On peut décrire sans trop de difficultés les feuilles d'un feuilletage associé à une
n
forme constante w = L a1 dz1 . Pour cela, on choisit une base
j =l
n
avec bj k E e, du noyau de w, i.e. L a1b1 k = O. Par intégration des champs X1 on
j =l
en déduit une action de e n - l sur 1l' (n, A) :
 : (t; z) = ( li ,t2, . . . ,tn -I i z) ( exp(t 1 X1 + t2 X2 + . . . + tn- 1 Xn - 1 )) (z).
f--+
La feuille passant par z est paramétrée par

en - l 3 t <l>(t ; z) E 1l' (n, A).
f--+
En particulier toutes les feuilles sont isomorphes à un quotient de e n - l par un

sous-groupe additif discret ; ce groupe peut être trivial ou un réseau. Nous laissons
ces points à titre d'exercice. Notons que la terminologie « feuilletage en hyper
plans » qui est usuelle peut prêter à confusion ; comme on l'aura compris c'est le
passage au quotient d'un feuilletage en hyperplans de e n .
Voici un exemple de tore complexe possédant beaucoup de feuilletages sans sin
gularités. On considère le tore
1l'( n, A ) = 1l' (n, A 1 x A2 ) = 1l'(l, A1 ) x 1l' (n - 1, A 2 ).
n
Soient L = L ÀjZj une forme linéaire sur en - l et f une fonction méromorphe
j =2
sur e qui soit A i -périodique. La 1-forme méromorphe
f (z1 ) dz 1 + dL
56 THÉORIE ÉLÉMENTAIRE DES FEU I LLETAGES HOLOMORPHES SINGULIERS
est fermée et A 1 x A 2 -périodique. Elle définit par conséquent un feuilletage (non

singulier) 'JJ, L sur le tore 1I'(n, A 1 x A 2 ) ·
2.8.3. Feuilletages sur les tores complexes (suite)
Les feuilletages sans singularités sur les tores ont été complètement classifiés par
GHYS dans [SI ] . Nous présentons ici cette classification en dimension 2. Le résul
tat principal est le suivant.
Proposition 2.28 ( [5 1 ]). Soit 'J un feuilletage sans singularités sur le tore
1!' ( 2, A ) . Alors 'J est soit un feuilletage en hyperplans, soit un feuilletage donné
par une I-forme fermée de type
b(z 1 ) dz1 + dz2,
où b est une fonction elliptique et z1 , z2 des coordonnées de e2 bien choisies.
Considérons un feuilletage sans singularités 'J sur le tore 'II' ( n, A ) ; son relevé à e n
est défini par une 1-forme globale
n
m = 2:::>j (z) dzj.
j =l
Les fonctions méromorphes ai/a k sont visiblement A-périodiques. Par consé
quent, l'application (de GAUSS)
z (a 1 (z) : . . . : an (z))
�
se factorise en une application 'P : 'II' ( , A ) n IP'� - 1 . Autrement dit l'application

____,
de GAUSS s'écrit 'P o p, où p : e n 'II' ( , A ) est la projection canonique. Le

____, n
groupe additif en agit sur 'II' ( A) par translation. Le lemme suivant montre que
n,
cette action préserve le feuilletage défini par les fibres de 'P.

Lemme 2.29. Si r c 'P - 1 (m) est une composante connexe de la .fibre 'P - 1 (m)
et r E en, alors il existe q E IP'� - l tel que f + r C 'P - 1 ( q ).
Démonstration. On considère un polydisque fermé /!,. centré en m. Comme 'P
opère entre espaces compacts, l'image réciproque 'P - 1 (!:l.) est un voisinage com
pact de f . Par suite, si r est proche de 0 E en , alors f + r est contenu dans
'P - 1 (!:l.). Mais r + r est un sous-ensemble analytique de 'II' ( , A ) et donc son image
n
par l'application propre 'P est analytique (Théorème 1. 17) et de plus contenue
dans /!,. . Comme tout ensemble analytique connexe non réduit à un point sort de
tout polydisque, on en déduit l'existence de q tel que r + r c 'P - 1 ( q ). Le résultat
est alors vrai dans un voisinage de 0 E en . Cette propriété étant ouverte et fermée,
le résultat vaut pour tout r E en . 0
Lemme 2.30. Il existe des coordonnées linéaires (z 1 , z2, . . . , Zn ) de en telles que
les composantes connexes des.fibres de 'P soient les projections sur le tore 'II' ( A) n,
des espaces affines z 1 = c1 , z2 = c2, ... , Zk = Ck pour un certain k .

Démonstration. Notons p: e n 'II' ( A ) la projection canonique. Soit m E <C n
____, n,
un point de rang l maximal pour 'P o p . Soient (Ji , h . . . , fn ) les composantes de

'I' o p dans une carte affine de 'I'(p(m)) . Quitte à permuter les coordonnées, le
mineur
D( fi , h, . . . , Ji )
D(z1 , z2, . . . , z1 ) (m)
de la matrice jacobienne est non nul. Donc, localement en m, le module engendré
par les dfj , j = 1, 2, . . . , n - 1 possède un système de générateurs du type
j = 1, 2, . . . , l.
Uinvariance du feuilletage 'I' o p = constante par les translations de e n se tra
duit, pour r E e n proche de l'origine (vu comme translation), par l'invariance du
module ( W1 1 j = 1, 2, . . . , l) , i. e.
(r * W1 I J = 1, 2, . . . , l) = ( W1 I J = 1, 2, . . . , l).
On en déduit que r *W1 = W1 donc que r *w1 = w1 . Par suite, les w1 sont à coef
ficients constants. Ainsi les W1 définissent globalement le « feuilletage » 'I' =
constante et, quitte à faire un changement linéaire de coordonnées, on peut sup
poser que W1 = dz1 , pour tout j = 1, 2, . . . , l . D
Terminons donc maintenant la preuve de la Proposition 2.28. Choisissons des

coordonnées linéaires (z 1 , z2, . . . , zn ) comme dans le Lemme 2.30. On distingue
deux cas :
(1) Uun des coefficients a1 de cv est non nul pour un indice j ;=:: k + 1, disons que
c'est ak + l · Posons
k
=
W ak � = L b1 dz1 + dzk + l + L b1 dz1.
+ l j =l J>k + l
Par construction, les b1 sont des fonctions A-périodiques ne dépendant que de
( z1 , z2, . . . , Zk ) . La condition d'intégrabilité implique alors que W est fermée et
que les b k + 2 , bk + J , . . . , bn sont des constantes. Quitte à changer Zk + i en
Zk + i + L bjZj
j >k + l
on a
k
W = L b1 (z 1 , z2, . . . , zk ) dz1 + dzk + l ·
j =l
En dimension 2 on a 0 :S: k :S: 1, d'où la conclusion.
(2) Pour tout j E { k + 1, k + 2, } les a1 sont nuls. Lorsque = 2 ceci n'arrive
. . ., n n
que si le feuilletage est linéaire.
Remarque 2.31. Le de�ré de transcendance de T ( n, A ) est k s'il existe k fonc

tions méromorphes fi , f2, . . . , fk sur T ( n, A ) telles que dfi /\ df2 /\ . . . /\ dfk soit
non identiquement nul et k maximal pour cette propriété. Pour un tore T ( 2, A)
de dimension 2 le degré de transcendance est 0, 1 ou 2. S'il vaut 2, le tore est
58 T H É O R I E ÉLÉM ENTAIRE D E S FEU I LLETAGES HOLOMORPHES SINGU LIERS
« algébrique », i. e. il existe un plongement

11' ( 2, A ) ---t lP'(:
pour un certain n. Sur un tel tore il y a beaucoup de feuilletages avec singula

rités puisque chaque fonction méromorphe b produit le feuilletage donné par la
forme dz1 + b(z 1 , z2 ) dz2 . Lorsque le degré de transcendance est nul, il n'y a que les
feuilletages en hyperplans, qui sont sans singularités. Si le degré de transcendance
vaut 1, tous les feuilletages sont sans singularités et en fait du type b(z 1 ) dz 1 + dz2 .
En effet, un feuilletage sur tore 11' ( 2, A ) de degré de transcendence 1 est donné par
W = dz1 + a(z 1 , z2 ) dz2
où a(z1 , z2 ) est A-périodique. Notons que les dérivées partielles de a le sont aussi,
ainsi que leurs quotients. Comme le degré de transcendance est 1, on a
aa/az1 /\ da = 0
(
d aa/az )
2
et il existe, localement où a est holomorphe submersive, une fonction holomorphe
rp telle que
aa/az1 = rp (a).
aa/az2
En particulier, sur une courbe de niveau a = constante, la pente de la tangente à
la courbe est constante. Par suite localement, et donc globalement, les niveaux de
a sont des droites. Comme a(z1 , z2 ) est A-périodique, ces droites sont nécessaire
ment parallèles. Il existe donc une forme linéaire L telle que a = a. (L), a. étant
méromorphe. Finalement W = dz 1 + a. ( L) dz2 et le feuilletage associé à W n'a pas
de singularité.
Les feuilletages, avec ou sans singularités, de codimension 1 sur les tores com
plexes sont classifiés par BRUNELLA dans [15) .
Problème 2.32. Classifier les feuilletages apparaissant dans la Proposition 2.28 à
homéomorphisme près (deux feuilletages :F et :F ' sont topologiquement conjugués
par l'homéomorphisme h si h envoie les feuilles de :F sur celles de :F ' ) .
2 . 9 . Compléments : genèse d u concept d e feuilletage
Dans un premier temps la théorie des équations différentielles ordinaires a conduit

au concept de champ de vecteurs : sur un ouvert U de l'espace euclidien - puis
ensuite sur une variété quelconque - on se donne en chaque point x0 un vecteur
tangent X(xo) et on recherche les mobiles t f-+ x(t) , x(to) = xo, dont la vitesse au
point xo est prescrite par le vecteur X(x0) :
d��t) = X(x(t)).
Sous des conditions raisonnables de régularité, le théorème de CAUCHY d'exis
tence des solutions d'équations différentielles produit des solutions au problème
et en donne même l'unicité, tout du moins pour les solutions « maximales » .
En particulier on construit une famille de courbes (feuilletages de dimension 1)

dont la direction tangentielle est prescrite par ce champ de vecteurs.
Dans le même ordre d'idée, on peut se donner en chaque point m de notre
espace M, un sous-espace vectoriel Em de Tml\!l de dimension k ; on se demande
s'il existe en chaque point m' de M une sous-variété V passant par m' avec la
propriété qu'en tout point m de V l'espace tangent Tm V soit précisément Em .
Détaillons cela dans le cadre qui nous intéresse, celui de la codimension 1 . Nous
nous plaçons dans un cadre local, i.e. sur un ouvert U de en (cas holomorphe) ou
]Rn (cas C00 , analytique etc.)
Le champ d'hyperplans Em est donné par le noyau d'une forme différentielle
w = a 1 (z) dz1 + az(z) dz2 + . . . + an (z) dzn
qui n'est pas identiquement nulle. On peut supposer quitte à diminuer U et réin
dicer les aj que an ne s'annule pas ; ainsi (en divisant par -an et en gardant
abusivement les mêmes notations) la forme w s'écrit
w = a 1 (z) dz1 + az (z) dz2 + . . . + an- l dzn - l - dzn .
On cherche alors les sous-variétés V comme des graphes
ce qui conduit aux équations aux dérivées partielles

azn (z ,z , . . . , Z ) = aj ( Z , z . . , Z ; Z ), j = 1, 2, - 1 (2. 1 )
azj 1 2 n- l 1 2, ·
n- l n . . ., n
Supposons que l'on puisse trouver de tels Zn pour toute condition initiale dans U.
Lorsque l'on écrit les identités de SCHWARZ
pour toutes les solutions Zn on obtient une liste d'égalités équivalente à la nul
lité de la 3-forme w /\ dw . C'est le point de vue de FROBENIUS ; la terminologie
intégrable signifie « conditions pour que l'on puisse intégrer un système d'EDP »
(ici (2. 1) a été détournée en une propriété de la 1-forme w qui implique la pré
cédente). Finalement les concepts de formes intégrables, de feuilletages ne sont
qu'une traduction savante des identités de SCHWARZ.
CIL\PITRE
3
SINGULARITÉS SIMPLES
EN DIMENSION 2
3.1 . Premières propriétés
Soient '.f un germe de feuilletage sur (C2, 0) et w = a(x, y) dx + b(x, y) dy un géné

rateur de '.f. Supposons que l'origine soit un point singulier de '.f. On dit que
l'origine est une singularité simple de '.f si la matrice jacobienne
ab [ ab l
- (O) _ (O)
ax ay
Jo(w; x, y) =
aa aa
(O) (O)
ax ay
a deux valeurs propres distinctes À et µ telles que µ -=f. 0 et ,.1./ 11 tt «.,ho. La défi
nition ne dépend ni du choix de w ni du choix des coordonnées (x,y). Pour voir
cela, considérons le champ de vecteurs
a a
X = -b(x, y) + a(x, y) -
-
ax ay
il appartient au noyau de la forme w, i.e. ix (w) = O.
Rappelons que �/SJR. s'identifie à C et que SJR./SJR.2 est un C-espace vectoriel de
dimension 2 dont une C-base est donnée par {x + SJR.2, y + SJR.2 } où � = C{x,y}.
Le champ X, s'annulant à l'origine, induit une dérivation
X : � -----+ 02
telle que X (SJR.i) c SJR.i pour tout j � O.
62 THÉO R I E ÉLÉMENTAIRE DES FEU I LLETAGES HOLOMORPHES SINGULIERS
En particulier l'endomorphisme de C-espaces vectoriels

Lx : 9.J1/9.J12 9.J1/9.J12
�
appelé partie linéaire de X est intrinsèque. La matrice Jo(w; x,y) est la matrice
de Lx dans la base {x + 9.J12,y + 9.J12 }. D'autre part, la condition i x (w) = 0 ne
dépend pas du choix de w ; de plus si X' est un autre champ de vecteurs tel que
ix 1(w) = 0, il existe un élément f dans Oz tel que X ' = f · X . Au niveau des
parties linéaires on a
·
Lx ' = f (0) Lx
c
ainsi lorsque f (0) -:/- 0, l'ensemble {À/µ,µ/ À} C U { oo} des rapports de valeurs
propres ne dépend que de !f .
Lorsque l'origine est une singularité simple de ![, on peut diagonaliser l a partie
linéaire de X par un changement linéaire de coordonnées. En particulier, il existe
un système de coordonnées (x,y) w
dans lequel s'écrit
w = Ày dx - µx dy + a'(x,y) dx + b'(x,y) dy, E 9.J12 .
a'(x,y), b'(x,y)
Proposition 3 . 1 (Stabilité par éclatement) . Soit 7f : 'E � (C2 , 0) le morphisme
d'éclatement de l'origine. Supposons que !f ait une singularité simple en 0 avec
{a,l/a} comme rapports de valeurs propres. Notons !!' le transformé strict de
!f par 7f . Alors :
(1) le diviseur exceptionnel E lf - 1 (0) est une courbe intégrale de !f' ;
=
(2) le feuilletage !!' possède exactement deux points singuliers m� , m� sur E,
avec rapports respectifs de valeurs propres
{_
a �} .
.
1- a a
En particulier, les points m� et m� sont des singularités simples de ![ '.
Démonstration. On choisit des coordonnées ( x, y) dans lesquelles !f est décrit par
w = y dx - ax dy + ( . . . ) . Dans la première carte affine de l'éclatement (U,x',y' ), le
morphisme est décrit par x = x' et y = x' y' , de sorte que
7f
7r*w = x' ( ( (1 - a)y' + x' A(x',y')) dx' - x' (a + x' B (x',y')) dy' )
= x' (x' (( (l - a)y' + x'A(x',y')) d:,' - (a + x' B (x',y')) dy') ).
Le feuilletage !! ' est donné par (l/x1)7r*w ; la seule singularité sur le diviseur
exceptionnel x ' = 0 est l'origine et visiblement x ' = 0 est une courbe intégrale.
De plus, la matrice de la partie linéaire à l'origine est
La seconde singularité est l'origine de la deuxième carte. D
Remarque 3.2. Rappelons que lf -1 (0) est isomorphe à IP'b, en tant que projecti
visé du plan tangent ToC 2 de C2 à l'origine. Les deux points singuliers m� et m�
de !!' correspondent donc à deux directions € 1 c T0C 2 et f2 c T0C2 . Si l'on
3. SINGULARITÉS SIM PLES EN D I M ENSION 2 63
identifie ToC 2 et (9J1/9J12 ) * , les directions € 1 et €2 sont les directions propres de

l'application transposée
On dit que la direction e1 est forte (resp. faible) lorsque la valeur propre corres
pondante est non nulle (resp. nulle). Si la partie linéaire de w s'écrit
Ày dx - µ x dy,
la direction tangente à y = 0 est forte si et seulement si µ =f. O.
Définition 3.3. Soit 'f un feuilletage à singularité simple à l'origine de C 2 donné
par la forme
w = Ày dx - µ x dy + . . .
On dit que la singularité est de type hyperbolique lorsque À Jt est non nul, de type
nœud-col (ou selle-nœud) sinon.
3.2. Courbes intégrales
La propriété de stabilité par éclatement des singularités simples permet de trouver

leurs courbes intégrales formelles. Il y en a précisément deux, elles sont lisses et
transverses. Chacune est attachée à une direction propre de la partie linéaire.
Le théorème de BRIOT-BOUQUET (Proposition 3.5) permet de montrer que les
courbes intégrales associées à des directions fortes sont toujours convergentes.
Le résultat qui suit assure la stabilité par éclatement des courbes intégrales for
melles. Avant de l'énoncer introduisons la notion de transformé strict d'une
courbe formelle ou convergente r. On peut se ramener au cas irréductible. Soit
h = 0 une équation (irréductible) de r ; le développement de TAYLOR de h s'écrit
h = hv + hv + l + · · ·
où chaque hj est homogène de degré j et V est l'ordre de h (i. e. hv =/. o) . Pour un

bon choix de coordonnées ( x, y) on a
k
hv (x,y) = II (y - t1x)Pi
j=l
k
où t1 E C et v = L P1 .
j=l
Dans la première carte affine de l'éclatement où 11: est donné par x = x ' et y = x' y'
on a
k
h o (x',y') = x1"h(x',y1),
11: h(x', y') = II (y' - t1 )Pi + x' ( . . . ) .
j= l
On constate que ho s'annule sur l'union du diviseur exceptionnel - 1 ( 0) (donné
11: 11:
par x' = 0 dans la première carte) et de h = O. Le transformé strict de h = 0 est

64 THÉORIE ÉLÉM ENTAIRE DES FEU I LLETAGES HOLOMORPHES SINGULI ERS
précisément h = 0 qui, dans le cas convergent, est une courbe de 'E . On remarque
alors que l'irréductibilité de r implique en fait que k vaut 1 (exercice).
Lemme 3 .4. Soient :F un germe de feuilletage sur (<C2 , 0) et r une courbe irré
ductible formelle à l'origine de (<C 2, 0). Notons n : 'E ----+ (<C2 , 0) le morphisme
d'éclatement de l'origine de (<C 2, 0) et r' le transformé strict de r par n . Posons
:F' = n * :F. Si :F est décrit par w = a(x,y) dx + b(x,y) dy et r donnée soit par
h E <C[[x, y]], soit par une paramétrisation de PUISEUX y (t) = (a. (t),/3(t)). Les
assertions suivantes sont équivalentes
(1) r est une courbe intégrale formelle (i.e. h divise w /\ dh) ;
(2) y *w = 0 ;
(3) r' est une courbe intégraleformelle de :F' au point r' n n 1 ( 0 ) . -
Démonstration. Soit t f-+ y (t) = (a. (t),fJ(t)) une paramétrisation de PUISEUX de

r = (h = 0) . En dérivant h(a. (t),/3(t)) = 0 on obtient que les vecteurs non nuls
ah (y (t)), ah (y (t) ) et
( ) d/3 da.
( )
- (t), (t)
ax ay dt dt
sont proportionnels (exercice) . Posons
[ a(x,y) b(x,y) l
i1 (x,y) = det ah ah (x,y) .
ax (x,y) ay
Visiblement h divise w /\ dh si et seulement si h divise i1 (x,y) ce qui équivaut à
i1 ( y (t) ) = 0 ou encore à
a( y (t)) b( y (t) )
[ ]
<let d/3 da. - 0,.
- - (t) - (t)
dt dt
il en résulte que y *w = O.
Pour montrer (2) {::::=} (3) , il suffit de remarquer que r' possède une paramé
trisation y ' telle que n o y ' = y . D
Proposition 3.5. Soit :F un germe de feuilletage sur (<C2 , 0) possédant une singu
larité simple à l'origine. Supposons que :F ait une courbe intégrale convergente
non singulière C. Alors :J possède une unique courbe intégrale formelle r diffé
rente de C. De plus, la courbe r est lisse, transverse à C et son espace tangent
Tor est une direction propre pour :f. Lorsque Tor est une direction forte, la
courbe r est convergente.
Démonstration. Choisissons un système de coordonnées (x,y) dans lequel

C = {x = O} et w = (2 y + G(x,y)) dx - x (µ + H(x,y)) dy
3. SING U LARITÉS S I MPLES EN D I M ENSION 2 65
avec G dans !))12 et H dans !.JJ1 . On cherche r paramétrée par

t � y (t) = (t, L an tn ).
n2 2
La condition y *m = 0 équivaut à
(À. - n µ)an = Pn ( a2,a3, . . . , an - 1), n�2
les Pn étant des polynômes en les variables a2 , aJ, . . . , an - 1 qui dépendent seule
ment des coefficients de m. Comme À - nµ i- 0 pour tout n, il existe une unique
solution. Par un changement formel de coordonnées
OO
(x,y) (x,y - L an xn )
�
n=2
on peut supposer que y=
0 est aussi une courbe intégrale. Maintenant m s'écrit
en coordonnées formelles
dx dy
xy((À + â(x,y)). X - (µ + b(x,y)) y )
avec â(O,O) = b(O,O) = O. Supposons qu'il existe une autre courbe intégrale r1
différente de C. Alors, d'après le théorème de PUISEUX formel, r1 possède une
paramétrisation Y1 dont les composantes sont données par
{ yX == aqt
tr q
+ aq + 1t q + l + . . ., aq i- 0
pour un bon choix du paramètre t. La condition y t m = 0 implique (d"'-qµ )aq = 0 :
contradiction ; la courbe r est donc unique.
Reste à prouver la convergence lorsque µ i- O. Les hypothèses permettent d'écri
re m, à unité multiplicative près, sous forme de BRIOT-BOUQUET
(
m = ·µJ:_ y - L Àjk Xj y k
j+k22
) dx - x dy.
On va démontrer que la série a (t) = L: an tn construite précédemment converge.
Pour cela, précisons les polynômes Pn ; on a :
j
($ - ) an = Pn ( {Ajk}J+k:'.O n {a1 } z:'.O n- 1)
n
où les Pn sont les polynômes universels en les Àjk et a1 qui donnent le coefficient
de tn dans l'expression A(t,a(t)) avec A = L: Ajk Xj y k . Remarquons que les Pn
sont à coefficients entiers positifs. Soit a le réel strictement positif défini par
a = inf { 1 ; - n 1 1 = 2, 3, . . . } .
n
Considérons la courbe analytique réelle donnée par

66 THÉORIE ÉLÉM ENTAIRE DES FEUILLETAGES HOLOMORPHES SINGULIERS
Puisque a i- 0, le théorème des fonctions implicites assure l'existence d'une

unique solution convergente v = b( u) = biui . Les coefficients bi sont don
L
i ?. 2
nés par
abn = Pn ( { I Aj k / }j + k::=; n ; {b1h::; n - 1 ).
Comme les Pn sont à coefficients entiers positifs, on démontre par récurrence que
/an l :::; bn pour tout n ?: 2 d'où la convergence de y . D
Remarque 3.6. Si la direction tangente à r n'est pas forte, alors r n'est pas néces
sairement convergente ; c'est en particulier le cas dans l'exemple suivant dû à
EULER
(y - x) dx - x 2 dy
qui possède la courbe intégrale formelle y = L n!xn+ l .
n ?_O
Corollaire 3.7. Soit 'J un germe de feuilletage sur (<C 2, 0) possédant une sin
gularité simple à l'origine. Le feuilletage 'J possède exactement deux courbes
intégrales formelles r 1 et r2 ; elles sont lisses, se coupent transversalement et
leurs espaces tangents sont précisément les directions propres de 'f. De plus, si
la courbe ri correspond à une directionforte, elle est convergente.
Démonstration. Il suffit d'éclater l'origine de (<C 2, 0), d'appliquer la stabilité par

éclatement (Proposition 3 . 1) et les résultats précédents.
< �
Éclatements des deux courbes formelles invariantes
Enfin on « redescend » en projetant les courbes obtenues dans l'espace éclaté par
l'application d'éclatement. D
Corollaire 3.8. Si 'J est un germe de singularité simple hyperbolique en l'origine

de <C 2 , alors 'J a exactement deux courbes intégrales convergentes qui sont de
plus lisses et transverses.
Remarque 3.9. On peut élargir un peu le cadre d'application des résultats précé
dents comme suit. Si 'J est donné par la 1-forme
w = (ay + f(x,y)) dx - (x + g(x,y)) dy
où (f, g) = inf ( (f ), (g)) ?: 2 et a � N U ( 1 /N) , alors 'J possède deux courbes
v v v
intégrales convergentes r 1 et r2 non singulières telles que

To f 1 = To(x = 0), To f2 = To(Y = 0) .
3. SINGULARITÉS S I MPLES EN D I M ENSION 2 67
Pour voir cela, il suffit d'éclater une fois l'origine et d'appliquer la Proposition 3.5
(comme dans le Corollaire 3.7). Cet énoncé est plus proche de l'énoncé original
de BRIOT-BOUQUET (dont la démonstration peut se trouver dans le livre classique
de INCE [ 65]) que celui du corollaire. Notons que les courbes r 1 et r2 ne sont pas
nécessairement les seules courbes intégrales, comme le montre l'exemple donné
par
2
m = 2y dx - x dy = xyd (: )
dont les courbes intégrales sont [J x2 + y y = 0, ([J, y ) -f. (0, 0).
3.3. Linéarisation. Point de vue élémentaire
Un germe de feuilletage :F sur (<C 2, 0) est dit linéarisable s'il existe un système de
coordonnées holomorphes (x,y) tel que :F soit donné par une 1-forme linéaire
(a.x + /Jy) dx + ( y X + oy) dy.
Si :F est à singularité simple en 0 et est linéarisable, :F est hyperbolique ; il est
alors donné dans un système de coordonnées ad-hoc par
m = xy À ( � - ;)
où À désigne un élément de <C* . Remarquons que la forme « logarithmique »
À et; - � est fermée. Il en résulte que si :F est « simple linéarisable » et donné
par une 1-forme m, il existe deux générateurs f et g de 001 tels que la forme méro
morphe
m
fg
soit fermée. On dit que fg est un facteur intégrant de m. Réciproquement on a le
résultat suivant :
Proposition 3 . 10. Soit m = a(x,y) dx + b(x,y) dy un germe de l:forme sur (<C2, 0).
Supposons que
(1) les coefficients a(x,y) et b(x,y) de m engendrent l 'idéal maximal 001;

(2) laforme m/xy soitfermée, i. e. d(m/xy) = O.
Alors le feuilletage :F défini par m est linéarisable.
Démonstration. La condition (2) implique que les courbes x = 0 et y = 0 sont

des courbes intégrales de :F, d'où
dx -
m = xy À - dy A(x,y) -
dx B(x,y) -
dy
x(+ µ y + X + y )
68 THÉORIE ÉLÉMENTAIRE DES FEUILLETAG ES HOLOMORPHES SING U LIERS
et },, µ =f. 0 (condition (1)) , A(O,O) = B(O,O) = O. Le point (2) entraîne que la
forme méromorphe
17
dx + B(x,y) -
= A(x,y) - dy
x y
est fermée, ce qui se traduit par
aA = x -
y- aB
ay ax
d'où A = xÀ, B = yB. La forme 17 est donc holomorphe et fermée. Le lemme de
POINCARÉ (Théorème 1 . 7) assure alors que 17 = df. Posons
a = -À /µ, ( - 1/ µ ) df = - dF/F,
où FE C{x,y} est une unité. On obtient
m = ( µ )xy a dx (y ) = ( -µ ) xy a dx
_ ( _
d F) ( _
d!)
y
X yF F X
où y = y F ; ceci termine la démonstration. D
Remarque 3 . 1 1 . L'énoncé précédent s'adapte au cas où m est une 1-forme à coef

ficients formels.
Théorème 3.12 (Théorème de POINCARÉ). Considérons le germe de feuilleta

ge :;: sur (C2, 0) donné par la 1-forme
m = (ay + f(x,y)) dx - (x + g(x, y)) dy
où v (f,g) � 2 et a <f- N U ( 1 / N ) U �<O· Lefeuilletage :F est linéarisable.
Démonstration. Par le théorème de BRIOT-BOUQUET (Remarque 3.9), on peut

toujours supposer que
m = xy (a + a(x,y))
( � - d:)
avec a(O, O) = O. Il suffit alors de trouver une unité C E C{x,y} telle que
ce qui équivaut à
ac ay -
x- a(aC) .
ac = -y --
ax + ay ay
Écrivons C et a sous la forme
C = 1 + L Ci n x 1 yn, a = �
L..,, a1 n X l Yn .
l +n ::'.'. l l +n ::'.'. l
3. SINGULARITÉS SIMPLES EN D I M ENSION 2 69
,n
Pour chaque paire ( l ) la condition d( Gw/xy) = 0 implique
(l + an)G1 n = - n (al, n +
j
I + k:::; l +n
:::;
)
L Uj k Gl -j, n - k .
Les l + naétant non nuls, ceci produit une solution formelle unique G. Comme
dans l'argument de BRIOT-BOUQUET on introduit
c5
= inf { 1� + a l 1 n � 1, n, l } EN .
c5
Par hypothèse on a > O. Puisque a(x,y) converge, il existe A > 0 tel que
1
laj k :::; AJ + k . Soit B > 0 tel que
L::: ( �) j + k c5.
:::;
j, k
On démontre maintenant par récurrence que IG1n l :::; B l +n :
ceci termine la démonstration. D
Remarque 3. 13. Uargument formel est encore valable lorsque tj. «Jko U {O} a
et on a donc dans ce cas un énoncé de linéarisation formelle. À l'inverse, pour
a E «Jl < o U {O} la méthode est inopérante, ce qui justifie les paragraphes suivants.
3.4. Jordanisation formelle
Un champ de vecteurs formel X est une C-dérivation du complété formel Ôn

de On . On a toujours une écriture de la forme
n a
X = L aj (z) fu.
j= l J
pour un système formel de coordonnées z = ( z 1 , z2, . . . , zn ) . Notons ê n le Ôn

module des champs de vecteurs formels. Désignons par fin c Ôn l'idéal maximal
de Ôn ; il est engendré par les coordonnées z2 , . . . , Zn . Le champ X appar
Zi ,
tient à ê n si et seulement si aj (z) appartient à fin pour tout j = 1, 2, . .

fin . , n.
70 THÉORIE ÉLÉMENTAIRE D E S FEUI LLETAGES HOLOMORPHES SINGU LIERS
Chaque X m ê n induit un endomorphisme C-linéaire

E
xk m;5Jik + l m;5Jik + l + k l x J + 5Jik + l
J 5Ji +
= -----+ f-t
k = 1, 2, . . .
Si Pk est la projection naturelle Pk : 5Ji / 5Jik + 2 5Ji/ 5Jik + l on a le diagramme
-----+
commutatif
On dit que X E m ê n est nilpotent si et seulement si j( k est nilpotent pour tout k.

Avant de continuer, introduisons quelques notations. Soient il = (il 1 , il 2, . . . , il n ) un
élément de (['.n et Z = (z 1 , z2 , . . . , Zn ) un système de coordonnées j considérons un
multi-indice J = (j i,}2, . . . ,jn ) E Nn . Posons
n
Z J = zj1 1 zh2 " · znJn ' ( il, J) = L:> k }k
k=l
et eJ = ( 0, 0, . . . , 1, 0, 0, . . . , 0) où le coefficient 1 est à la j-ème place.
Lemme 3. 14. Un champ de 'Vecteurs formel X E m ê n est nilpotent si et seule
ment si X 1 est nilpotent.
Démonstration. Il s'agit de montrer que j( k est nilpotent pour tout k ;:::: 1 . Comme
X l'est, il existe un entier t ;:::: 1 tel que l'itéré t-ième [X 1 i o t de X 1 est nul. Ceci
1
équivaut à dire que j(o t f E 5Ji2 pour tout f E 5Ji . Cherchons t k 2:: 1, k 2:: 1 , tel
que pour tout f E 5Ji on ait
j( o t k f E 5Jîk + l .
Posons t 1 = t. Supposons que k ;:::: 2 et que t k - I ait été construit par récurrence ;
ainsi j(o t k - t g E 5Jîk pour tout g E 5Ji . Soit t k = 3t k - l ; pour tout f E 5Ji nous
avons
j( o t k J = j( o 2 t k -1 g
où g = j(o t k -1 f. Puisque g E 5Jik c 5Ji2 nous pouvons écrire g sous la forme
n
g = l: ai bi
i=l
avec ai , bi E 5Ji . La règle de LEIBNIZ assure que
De plus chaque terme appartient à 5Jîk + l ; par suite [X k ] o t k est nilpotent. D

3. S I N G U LARITÉS SIM PLES EN D I M ENSION 2 71
On dit que le champ de vecteurs X est semi-simple si et seulement si l'endomor

phisme j( k est semi-simple pour tout k 2: 1 .
Proposition 3.15. Soit X E füîên un champ de vecteurs formel. Les propriétés
suivantes sont équivalentes :
(1) le champ X est semi-simple ;
(2) il existe un système de coordonnées formel z = (z1, z2, . . . , zn) et un élément
À = (À 1, À2, . . . , Àn) de en tels que n
X = L ÀjZj � a
J
·
j =l
Démonstration. Commençons par montrer que la seconde assertion implique la
première . Posons
n a
L;,,z = L ÀjZj �
J
·
j =l
Une base de füî/5.Jîk+l est donnée par les monomes zJ où I J I ::; k ; on a
L;., z (zJ) = (À, J)zJ,
c'est donc une base de vecteurs propres pour j( k .
Réciproquement montrons que (1) entraîne (2) . Il suffit de construire un système
de coordonnées formel z = (z1, z2, . . . , zn) tel que X(zJ ) = ÀjZJ pour certains
Àj E C. Nous construisons z par récurrence comme suit . Nous allons choisir des
bases de vecteurs propres uj , j = 1, 2, . . . , N(k) , de füî/füîk+l pour j( k de sorte
que
V j = 1, 2, . . . , N(k).
Ceci peut se faire par récurrence sur k. Une fois que l'on a fixé { uj } :: ) nous
allons choisir { uJ +1 } :: + l) . Soit
N(
{ Vlk+l } l=lk+l)
une base de vecteurs propres de 5( k+1 • Quitte à réordonner les indices
1 ::; l ::; N ( k + 1) nous pouvons supposer que
N(
{ Pk (vlk+l ) } l=lk)
est une base de füî/füîk+1 . Ce sont évidemment des vecteurs propres de j( k . Nous
avons donc deux bases { uj } ;�:) et { Pk (v� +l ) } ��k) de vecteurs propres pour X k .
Il est possible de trouver une matrice inversible A qui échange les deux bases, est
constituée de blocs attachés à chaque valeur propre et telle que
(U k1 ,U2,k . ,UN(k k) ) - (Pk ( V k+l
_ k+l ) ) A
1 ) , pk ( V2k+ 1 ) . , pk ( VN(
· · ' · ·
·
k)
Posons uJ +l = vJ +1 pour tout j > N(k) et
(Uk+1
1 , u2k+l , . . . , u k+l
_
N( k) ) - (V k+l k+1 N( k) ) A
1 , v2 , . . . , vk+l
·
72 THÉORIE ÉLÉM ENTAIRE D E S FEUILLETAG ES HOLOMORPHES SINGU LIERS
Soient
Zj = 1.1m k j = 1, 2, . . . , n.
k vj ,
On remarque que par construction cette limite a un sens pour la topologie 5.n
adique de KRULL. Il est alors évident que X (zj ) = ÀjZj . D
Théorème 3. 16. Pour tout champ de vecteurs formel X E 5.nê n. il existe une
unique décomposition
� � �
X = Xs + XN
où Xs et XN sont des champs de vecteurs formels, respectivement semi-simple
et nilpotent, tels que [Xs, XN] = O.
Démonstration. Uunicité est évidente car

_i k = (Xs ) k + (XN ) k
est la décomposition de JORDAN de _i k .
Pour montrer l'existence nous allons chercher Xs sous la forme
n a
L ;., z = L ÀjZj
j =l azJ·
pour un système de coordonnées z = (z 1 , z2, . . . , zn ) ad-hoc que nous allons obtenir
comme limite de certains systèmes de coordonnées. Le lecteur ne souhaitant pas
lire l'algorithme formel qui suit peut aller directement à la Remarque 3.17 pour se
convaincre.
Choisissons z 1 = (zf, zi, . . . , z;) de manière à ce que X 1 s'exprime dans la
base donnée par les zJ sous forme normale de JORDAN. Autrement dit, il existe
À = (À 1 , À2, . . . , À n ) tel que X s'écrive
X = L;.,z1 + �
�
1 a +� """" 1 1 1 a
� /JjZj - 1 az l � � bj, I ( z ) az�
j =2 J j =l I I l ;:>: 2 J
où 8j appartient à {O, 1} ; de plus on a

8j = 1 =} Àj - 1 = Àj.
Notons que si nous écrivons
L ;.,zl + � 1 a � """" 1 1 1 a
� /JjZj - 1 az l = � � bj, I ( z ) az l
j=2 J j =l I I l =l J
nous avons la propriété de commutativité

III � 1 =} (b} 1 =J 0 =} (À, /) = Àj V j ) .
Nous allons maintenant montrer l'existence de systèmes de coordonnées à double
indice
z k,s - ( z 1k,s, z2k,s, . . . , znk,s ) ,
_
k 2: 1, s E { 1, 2, . . . }
,n
3. SINGULARITÉS SIM PLES EN D I M ENSION 2 73
dans lesquels
n k a n """' k a
X� = L + """'
), z k . s
, -
"""'
L,; 6jZ/ s1 � + L,; L,; bÙs ( Z k s ) � '
j =2 azj j =l 111;::: 2 azj

=� "\:""' b k,,s/ k,s ) _ a_
J
L,; L,; (z
j =l 111;::: 1 a zik,s
et tels que les propriétés suivantes soient satisfaites :
(1) zjk,s - zjk - 1, n E wk pour tout ] E {1 2
;.1.1 l . , , . . .,n };
(2) pour tout couple (I,j) avec III < k ou III = k et j ::::; s on a l'implication
bJ} =f. 0 :::? ()., !) = AJ ·
L'existence des z k,s se montre par récurrence ; elle s'initialise en posant

z l,s = z l V s E {1, 2, . . . ,n } .
Dans la suite de la récurrence nous allons distinguer les cas s < n et s = n .
Supposons d'abord que s < n . Posons

z} s + l = z} 8 V j =/. s + 1, zsk+,sl+ l = zsk+,sl + Q
où Q est un polynôme homogène de degré k
Q = L q1 (z k,s ) l ;
l l l =k
ceci donne un changement de coordonnées z k,s z k,s + l satisfaisant (1) . Écrivons
�
maintenant
X (z7' s + l ) = L bJ:; + l (z k,s + 1 ) l . (3. 1 )
111;::: 1
{
Rappelons que
X (z7' 8 ) si j =f. s + l
X� (zJ�,s + l ) =
X (z;;1 + Q) si j = s + l
Un calcul direct conduit à
X (z;,s + l ) = L bJ:; (z k,s + 1 ) l + L bJ:; + l (z k,s + l ) l ; (3.2)
l l l <k l l l ;o:: k
ainsi en identifiant (3.1) et (3.2) on obtient
bjk,I,s + l - bjk,I,s _
pour III < k et j E {1, 2, }

. . .,n .
74 THÉORIE ÉLÉMENTAIRE DES FEU I LLETAGES HOLOMORPHES SINGU LI ERS
Soit maintenant j � s. L'égalité X (zj• s + l ) = X (zj'5) équivaut à

À J· zJk,s + t:J ZJk-,s1 + bk,s (z k,s ) I
L.,, 3 !
�
111 2 2
= Àjzj· I + t:jzj�i 1 + L bJ/ (z k,s + l ) I + L bJ·r 1 (z k,s + l ) 1 .
s +
I I l:5 k I I l >k
On en déduit que bJ; ; + I = bJJ si III = k et j � Finalement écrivons s.
X (z:::t ) = X (z::: + Q) = X (z:::1 ) + X (Q)

1k
- 11.s + l s +,sl+ l - Q) + ê s + l Zsk,s +l + X� (Q) + �
_
(1
Z k,s k,s I
L.,, bs + l,I ( Z ) ·
111 2 2
Si l'on pose
X (Q) = L CJ ( Z k,s + l ) J
I J l2 1
les expressions précédentes impliquent lorsque III = k
bsk,s+ l,I
+ l - - 11.s + l QI + CJ .
_ 1
Or le calcul de c1 nous donne

n
Cf = (.1,I)q1 + L QJj êj (ij + 1)
j =2
où Ij = (i i , i2, . . . ,ij - 2 ,ij - l - 1,ij + l, ij + l , . . . ,i n ) et I = (i 1 ,i 2 , . . . ,i n )· Dit autre
ment nous avons
n
b;� n = ( (.1, I) - À s+ i) Q1 + I: q1; ej (ij + 1).
j =2
Maintenant en travaillant par récurrence sur les multi-indices I avec III = k,
ordonnés par ordre lexicographique, nous pouvons fixer les QI de sorte que
b;� t} = o lorsque (.1, I) - À s + i =J o.
Pour s = n on fait un raisonnement analogue.
La récurrence étant établie, considérons le système de coordonnées limite
kn
k z, .
z = lim
Posons
X = L;.,z + N, N = L bJ·, 1 z J -a .
j,I azJ·
En considérant X 1 , on constate que N est nilpotent. D'autre part, la construction
de z assure que
(.1,I) =J Àj =? bj 1 = 0
ce qui est équivalent à dire que [L,i,z, N] = O. D
3. SINGULARITÉS S I M PLES EN D I M ENSION 2 75
Remarque 3.17. On trouve aussi la démonstration suivante. Comme la décom

position de JORDAN j( k = X� + XJ\r est unique on pose Xs = lim X� et
k
XN = lim XJ\r . Mais ceci n'est pas une preuve complète, car il faut s'assurer que
k
Xs et XN sont bien des dérivations (champs de vecteurs formels). Nous avons
choisi une méthode inductive qui nous donne Xs sous forme de dérivation, et
par conséquent XN aussi. On peut y arriver aussi en utilisant le théorème des
répliques de CHEVALLEY qui certifie que si G c GL(n,C) est un sous-groupe
algébrique et si A = AsAN est un élément de G écrit sous la forme semi-simple
nilpotente, alors As et AN sont dans G.
3 . 5 . Formes normales formelles
Le théorème suivant est conséquence de la décomposition de JORDAN, il généra

lise en un certain sens le théorème de linéarisation.
Théorème 3.18. Soit '.f un germe de feuilletage sur (<C 2 , 0) ayant une singularité
simple à l 'origine défini par un germe de l:forme m E Ob2 0. La forme m possède
un facteur intégrantformel ; autrement dit il existe f E Ô2 tel que d(m/ f) = O.
Démonstration. Pour un bon choix des coordonnées (x,y) la forme m s'écrit

m = (ay + . . . ) dx - (x + . . . ) dy = a dx + b dy
avec a � «Jbo- Le noyau de m est engendré par le champ de vecteurs
X = b- -a
a -aya =
a a
ax ax + (ay + . . . ) ay
(x + . . . ) - -.
Nous allons expliciter la décomposition de JORDAN de X suivant les valeurs de a .
Première éventualité : a n 'est pas rationnel négatif. D'après le Théorème 3.16
le champ X est formellement linéarisable : il existe un système de coordonnées
formelles qu'on note encore abusivement x, y tel que
X = x - + ay
a
ax -aya .
Dans ce système de coordonnées '.f est donné par

m 1 = ay dx - x dy = xy a ( � - d: ) = xyW1
et visiblement xy est facteur intégrant de m 1 . Par suite m possède aussi un facteur
intégrant formel et en fait '.f est formellement linéarisable.
Seconde éventualité : a = O. Le Théorème 3.16 assure l'existence de coordonnées
formelles x, y telles que
a
X = x - + """'
. a 6 """' . a =
a a
8x + J _ aoJ·y3 8y
6 b 1 J·xy3 x ( 1 + B(y) ) -
8x J_
"> l
- "> l
- 8x + yA(y) 8y -
76 THÉORIE ÉLÉMENTAIRE DES FEU I LLETAGES HOLOMORPHES SINGU LI ERS
où A, B E <C[[t]] et A(O) = B(O) = O. Dans ce cas 'f est donné par

w2 = yA(y) dx - x (l + B(y)) dy.
Puisque A ne peut être identiquement nul, on écrit
dx 1 + B(y) dy
(
w2 = xyA(y) -;- - A(y) y = xyA(y)W2 )
et on constate que xyA(y) est facteur intégrant de w2 .
Troisième éventualité : = - � est rationnel négatif. Toujours d'après le Théorè
a
me 3 . 16 il existe des coordonnées formelles encore notées x, y telles que

X = � '.C y � + L br 1 + 1' ql (x r yq) 1 x � + arl ql + l (xr yq) 1 y �
X -
( )
ax q ay 1 ax · ay
= x(l + B(xr yq)) � '.C
ax q y(l + A(x yq)) �
- r
ay
où A, B E <C[[t]], A(O) = B(O) = O. Ici 'f est décrit par
OJ3 = ry(l + A(xr yq)) dx + qx(l + B(xr yq)) dy
= ( 1 + A(xr yq)) (ry dx + qx dy) + qx (B(xr yq) - A(xr yq)) dy.
Il y a deux cas suivant que A = B ou non ; si A = B alors w3 est fermée et l'énoncé
est satisfait. En fait 'f est formellement linéarisable (et même holomorphiquement
linéarisable, voir Chapitre 5). Si maintenant B -=/- A on écrit
OJ3 = xy (B(x r yq) - A(xr yq)) W3
où
1 + A(xry q) dx + dy + dy
( )
WJ = B(xry - q- q-
q ) - A(xryq ) r y X y
qui est visiblement fermée. Ainsi xy(B - A) est facteur intégrant de w3. 0
Remarque 3 . 19. Le facteur intégrant n'est pas toujours convergent. Ainsi l'équa
tion d'EULER (x-y) dx+x2 dy a un facteur intégrant divergent (exercice, on pourra
utiliser la paramétrisation de la courbe formelle invariante, voir Remarque 3.6) .
Nous allons montrer qu'il existe des coordonnées o ù les formes Wj précédentes
ont des écritures « simplifiées » que nous appellerons formes normales. Elles
feront apparaître des intégrales premières « multiformes formelles » pour les
feuilletages réduits. Tout ceci repose sur le résultat suivant qui décrit notamment
les 1-formes méromorphes sur (<C, O).
Proposition 3.20. Soit a E <C[[t]] une série formelle non identiquement nulle telle
que a(O) = O. Écrivons
a(t) = ak t k + . . .
avec a k -=/- O. Considérons la l:forme différentielle méromorphe « formelle »
Y/ = dt/a(t). Il existe un complexe À et un paramètre T = et + . . ., e -=/- 0, tels
que
3. SING U LARITÉS SIM PLES EN D I M ENSION 2 77
• si k = 1, alors 17 = J,, dT/T;

• si k > 1, alors 17 = (J,, dT/T) + d(l/T k - l ).
De plus si a(t) est convergente, alors T aussi.
Démonstration. Si k = 1, on écrit
a(t) = J,, ( 1 t tb(t))
+
avec b dans C[[t]] et T = t exp J� b ( s) ds convient.
Si k > 1, on écrit
tk
a(t) = U(t)
où U = uo + u 1 t + . . ., uo -=!- O. On a :
dt =
Uo U1 Uk 1
+ --- + Uk + . . .
a(t) tk + tk - l + 0 • 0
t
Uk - 1
-- � ( 1
t + d 1 - k tk - 1 + . . .
=
)
�
= + d k- 1
V(t) (
t t )
avec À = Uk- 1 , V E C[[t]] et V(O) = uo/(l - k) . On recherche T sous la forme
T = t ( W(t) ) - k - i
1
avec W dans C[[t]]. La série recherchée W doit être solution de

V(t) = tk - l l � k log W(t) + W(t)
que l'on résout par le théorème de la fonction implicite en posant W(O) =
l�k . D
Théorème 3.21 (Formes normales). Soit � un germe de feuilletage ayant une

singularité simple. Il existe un système de coordonnées formelles x, fi dans
lequel � � est décrit par l'une des trois formes suivantes :
W� ( i) = � y�
x
( dx - dfi
a
x fi )
W� ( ii ) X� � = ( dx + À dfi
= Y Y
fi
+d
(1 yr
X ))
w( iii ) _- ( -= ;;;q ) k
�
x
� �
Y x Y
( dx dfi
+ , +d
;,,
x
( µ "-
fi
1
(xr fiq )k ))
où À, µ E C et r, q, k E N.
Démonstration. On reprend les notations de la démonstration du Théorème 3 . 18.
Le premier cas produit les formes CV( i ) .
78 THÉORIE ÉLÉMENTAIRE DES FEU I LLETAG ES HOLOMORPHES SINGULIERS
Dans la deuxième éventualité, on applique la Proposition 3.20 à la 1-forme

1 + B(fj) dfj
A(fj) fj .
Dans la dernière éventualité, on remarque que la forme différentielle
1 + A(xr fil) dx dfl
( )
B(xr xq ) - A(xr fll ) r x + q fj
est l'image réciproque par le morphisme monomial (x, fj) xr fil de la 1-forme
1-+
l + A(t) dt dt .
B(t) - A(t) t a(t)
Comme A(t) - B(t) E t C[[t]] , la Proposition 3.20 assure que
dt = À. dT + d 1
( )
a(t) 1 T Tk
( )
où r ?: 1 et T E t C[[t]] . Il en résulte que W3 s'écrit
1 dT(X" fil) d 1 dfj
11. 1 T(;;;.,. �q + k + q -�.,
x Y) (T(xr fjq )) Y
Comme T(t) = et(l + . . . ), e =1- 0, on peut supposer, quitte à changer x en
1
x(e(l + . . . )) ,
"
que T(X" fil) = X1' fil ce qui conduit à

W3 = À. 1
d&r fll d ( 1 ) dfl = À. dx dfl d 1 ( )
xr fjq + q
(xr fj ) k + q fj x + µ fj + (xr fjq ) k .
On obtient dans ce dernier cas le troisième type. D
Les trois modèles formels sont en fait algébriques dans un système de coordon
nées formelles et correspondent à des feuilletages globaux sur C 2 . Ils possèdent
de manière évidente des intégrales premières (multiformes) . Le feuilletage :f( i )
correspondant à la forme
w( i) = xyd(a. log x - log y)
possède l'intégrale première a. log x - log y (ou bien x y 1 si l'on préfère). Le
a -
feuilletage :T( ii ) défini par

( :)
W( ii) = xyyr d log x + À log y + r
a pour intégrale première log x + À log y + 1,. (ou bien xy;· exp ( 1,. ) ) . Enfin le
Y Y
feuilletage :T( iii ) > associé à
W( iii) = xy(xr yq ) k d À. log x + µ log y + (x q ) k

( � )
r
3. SINGULARITÉS SIMPLES EN DIMENSION 2 79
possède l'intégrale première

1
À log x + µ log y + ( xryq )k
(ou bien xr yq exp ( l /(x r y q ) k )). Notons que les feuilletages !F(iii) apparaissent
comme image réciproque par l'application (x,y) (x,xr y q ) de feuilletages de
f-t
type :F eii ) .
3.6. Compléments
Le Théorème 3. 12 se généralise à des feuilletages :F donnés par

w= (ay + f(x,y)) dx + (x + g(x,y)) dy
a
a2:
où v (f,g) 2 et est un irrationnel positif « mal approché» par les rationnels. On
dit que satisfait la condition .9 de SIEGEL s'il existe des constantes positives c
et e telles que
la-'!!.q 12:�q"
pour tous p, q dans N* . Uénoncé est alors le suivant.
Théorème 3.22 ([99]). Soient :F un feuilletage donné par
w= (ay + f(x, y)) dx + (x + g(x,y)) dy
où v(f,g)
2: 2. Si a satisfait la condition .9, lefeuilletage :F est linéarisable.
Nous renvoyons au Chapitre 7, § 7.3 où on démontre un résultat analogue concer
nant les difféomorphismes de (C,O) (Théorème 7.8) ; en le combinant avec le
Théorème 8.3 on obtient une preuve du Théorème 3.22.
La condition .9 a été généralisée elle aussi par BRJUNO [ 1 1] et cette dernière est
optimale d'après les travaux de Yoccoz [ 106] .
a
Lorsque est un rationnel, cas dit résonnant, où en général il n'y a pas de
linéarisation, on dispose comme on l'a vu de formes normales formelles. Bien
que les modèles formels soient convergents (en fait rationnels), les difféomor
phismes normalisants sont eux la plupart du temps divergents. La classification
holomorphe des feuilletages résonnants à type of rmel fixé est un sujet difficile qui
a été développé par les écoles française [ 42-45, 81] et russe [ 47] .
CHAPITRE
4
RÉDUCTION
DES SINGULARITÉS
EN DIMENSION 2
Dans ce chapitre, nous donnons une démonstration du théorème de réduction des

singularités pour les germes de feuilletage sur (C2, 0). La première démonstration
complète de ce résultat est due à SEIDENBERG [ 97) en 1968 bien qu'il soit utilisé
de façon effective (via des techniques de type polygone de PUISEUX) au cas par
cas dès le milieu du xrxe siècle. Nous en présentons une version logarithmique
ou adaptée qui tient compte du diviseur exceptionnel, avec un énoncé analogue à
celui de la désingularisation plongée des courbes. Ensuite, on étudie le lien entre
la réduction des singularités d'un feuilletage et celle de ses courbes intégrales. Le
chapitre se termine par une démonstration constructive de l'existence de courbes
analytiques intégrales.
4.1. É noncés de réduction des singularités
Soit !f un feuilletage sur une variété analytique N. Un diviseur à croisements

normaux E c N est une réunion de sous-variétés lisses ayant la propriété sui
vante : pour tout point m E N il existe un système de coordonnées ( z1 , z2, . . . , Zn )
en m tel que localement en m on ait
avec A c { 1, 2, . . . , n}. Une composante irréductible F de E est non dicritique

(pour :F) si et seulement si F est une hypersurface intégrale de :F ; sinon, on dit
que F est une composante dicritique.
Soient m un point non singulier de :F et H le germe d'hypersurface intégrale en m
donné par le théorème de FROBENIUS. On dit que E et :F sont à croisements
normaux en m si E U H est un germe de diviseur à croisements normaux en m.
Le lieu singulier adapté Sing (:F, E) est l'ensemble
{ m E N 1 :F et E ne sont pas à croisements normaux en m }.
C'est un fermé analytique de N, de codimension plus grande ou égale à 2 et on a
l'inclusion Sing :F C Sing(!F, E).
Soient :F un feuilletage sur une variété analytique N de dimen
Définition 4 . 1 .
sion 2 et E N un diviseur à croisements normaux. Un point m E N est une
c
singularité simple de :F adaptée à E si
• m est une singularité simple pour :F ;
• m appartient à E ;
• les composantes irréductibles de E qui contiennent m sont toutes non dicri
tiques.
Dans ce chapitre, nous donnons une démonstration du résultat suivant.

Théorème 4.2 (Réduction des singularités). Soit :F un germe de feuilletage sur
(<C2, 0). Il existe une suite.finie d'éclatements
n : 'E'----+ (<C2, o)
telle que si :F' = n * :F et E' = n - 1 (0), alors tout point m' de Sing(!f', E') est une
singularité simple de :F' adaptée à E'.
La figure qui suit représente le diviseur, le feuilletage et les séparatrices en un
point quelconque de E'.
point non singulier point non singulier

composante non dicritique composante dicritique
--
dJI�
point singulier
�If!
point singulier
composante non dicritique deux composantes non dicritiques
4. RÉDUCTION DES SINGULARITÉS EN DIMENSION 2 83
On remarque que si m' n'appartient pas à Sing :F', alors :F' et E' sont à croise
ments normaux en m'.
La démonstration du Théorème 4.2 se décompose en trois étapes, chacune don
nant lieu à une sous-section.
4.1.1 . Réduction aux singularités pré-simples
La première étape consiste en la réduction aux singularités pré-simples ; il s'agit

d'une classe plus large que celle des singularités simples.
Définition 4.3. Soit :F un feuilletage sur une variété analytique de dimension 2 .
Un point m de Sing :F est une singularité pré-simple si pour un choix de coor
données locales ( x, y) en m et d'un générateur
w = a(x,y) dx + b(x,y) dy
[-��(o) l
de :F en m, la matrice
àb (0) - àb (0)
Jm(w; x, y) = ��(o)
n'est pas nilpotente.
Cette notion est indépendante du choix de w et des coordonnées locales (x,y).
On observe que le point m E Sing :F est une singularité pré-simple lorsque la
partie linéaire du champ de vecteurs
a + a(x,y) -a
X = -b(x,y)
ax
-
ay
a une valeur propre non nulle.
Le premier résultat à montrer est donc le suivant :
Proposition 4.4. Soit :F un germe de feuilletage sur (C 2 , 0). Il existe une suite
finie d' éclatements telle que tout point m' de Sing n * :F soit une singularité pré
simple de n * !f.
La démonstration de cette proposition se fait par l'absurde. Supposons le résultat
faux pour un germe de feuilletage :F sur (C2 , 0) . Il existe alors une suite infinie
d'éclatements
S: No = (C 2, 0) � Ni � N2 +----- . . .
qui satisfait les propriétés suivantes pour chaque k 2 0 :

• si 7r +l est l'éclatement de centre m
k k E Nk , on a n k + 1 (mk +t) = mk ;
• si :F est le transformé strict de :F en N , alors m
k k k appartient à Sing :Fk et mk
n'est pas une singularité pré-simple de :Fk ·
Maintenant il s'agit de montrer que la suite S ne peut exister, ce qui donnera la
contradiction cherchée. Pour cela, nous allons utiliser des invariants numériques
entiers locaux, de nature géométrique, sur les points m k , qui baissent strictement
à chaque éclatement.
4.1.2 . Réduction aux singularités simples

La seconde étape dans la démonstration du théorème de réduction des singularités
(C2,0)
est le passage des singularités pré-simples aux singularités simples.
Proposition 4.5. Soit :F un germe de feuilletage sur possédant une singu
larité pré-simple à l'origine. Il existe une suite.finie d'éclatements telle que toute
singularité de 1C *:F soit simple.
La démonstration de cet énoncé se fait comme suit. Remarquons d'abord que la
classe des singularités pré-simples est stable par éclatement. La différence entre
« pré-simple » et « simple » est mesurée par l'invariant « arithmétique » ou « de
résonnance » suivant. Soit w = a dx + b dy un générateur local de :F en m ; soient
X = -b 0� + a 0� le champ associé et À. le rapport des valeurs propres de la partie
{0
linéaire de X . Posons
Res (:F,m )_ si À. � Q>o
-
r + q si À. = r/ q E Q>o (fraction irréductible)
Pour une singularité pré-simple m E Sing :F on a
m est simple {::::::} Res(J',m) = O.
Comme l'invariant de résonnance Res(:F,m) diminue strictement à chaque écla
tement sur les singularités pré-simples qui ne sont pas simples, ceci termine la
démonstration.
Les Propositions 4.4 et 4.5 conduisent à l'énoncé de réduction des singularités
(C2,0).
« non adapté » suivant que l'on trouve dans l'article de SEIDENBERG [97).
suite.finie d'éclatements 1C: 'E' --+

simple.
(C2,0)
Théorème 4.6 ( [97)). Soit :F un germe de feuilletage sur Il existe une
telle que toute singularité de 1C* :F soit
4.1.3 . Réduction «adaptée» des singularités

La dernière étape consiste à obtenir la réduction « adaptée » des singularités
Soit 1C: 'E' --+(C2,0)

(Théorème 4.2) à partir du Théorème 4.6.
?C-1(0).
le morphisme donné par le Théorème 4.6. Toute singularité
de :F' = 1C* :F est une singularité simple. Notons E' = Pour chaque point
m' E Sing(J'', E') , considérons la courbe formelle D(:F', E'; m') en m' qui est la
réunion des branches de E' passant par m' et des courbes intégrales formelles
de :F' en m'. On vérifie aisément la propriété suivante : m' E Sing(J'', E') est
une singularité simple de :F' adaptée à E' si et seulement si m appartient à E'
et D(:F', E'; m') est une courbe à croisements normaux.
Maintenant soit 7é : 'E' = 'E( 'E'; m') --+ 'E' l'éclatement de centre m' E Sing(J'', E').
Posons
E = 7é - 1 (E'), J' = ié* :r'.
Pour tout point iii de 7é - 1 (m') n Sing(J',E) la courbe D(J',E; iii) est le trans
formé total, en iii de la courbe D(:F', E'; m'). Le Théorème 4.2 se déduit donc
du Théorème 4.6 comme une conséquence de la désingularisation plongée des
courbes formelles.
La fi.gure qui suit montre le diviseur, les courbes intégrales après et avant réduction
des singularités et des composantes dicritiques et non dicritiques du diviseur :
Réduction des singularités avec une composante dicritique
4.2. Invariants locaux et éclatements
Soient 'J un feuilletage sur une variété analytique N de dimension 2, m un point

de N, E C N un diviseur à croisements normaux et rune branche lisse (peut
être formelle) en m. Nous allons définir plusieurs invariants locaux attachés à cette
situation qui interviennent dans la démonstration de la Proposition 4.4.
Soit
w=a(x,y) dx + b(x,y) dy
un générateur de 'f en m . Uordre vm('f) du feuilletage 'J en m est donné par
Vm ('f) = min{vm(a),vm (b) }
La définition est intrinsèque : en fait vm('f) = max {s l 'f C 9J18 ilN, m}·
Le point m est non singulier pour 'J si et seulement si Vm ('J) = O. Lorsque m est
une singularité pré-simple, on a vm ('f) = 1, mais la réciproque n'est pas vraie.
4.2.1. Cône tangent

Notons v = vm ('f). On peut écrire
a(x,y) = av (x,y) + av +l (x,y) + . . . , b(x,y) = bv (x,y) + bv + 1 (x,y) + . . .
où les termes aj (x,y), bj (x,y) sont des polynômes homogènes de degré j et
(av , bv ) f:. (0, 0) . Le polynôme homogène de degré v + 1
Pc,, (x,y) = xav (x, y) + ybv (x,y)
défi.nit intrinsèquement un élément Pw de l'anneau gradué
Grs.m� = Ef> 9J1i /9J1i + 1 '.:::::'. <C[X, Y]
j ?_ O
où X = x + 9.n, Y = y + 9.n. Uidéal Pw · Grs.m� ne dépend que de 'f. Enfi.n le cône
tangent CT('J;m) est défi.ni par
CT('J;m) = (Pw = 0) c C2 = TmN.
On a l'alternative :
(a) Pw "t 0 auquel cas CT('J;m) est une union fi.nie de droites ;
( b) Pw = 0 et alors CT('J;m) = C2 = TmN.
86 1 THÉORIE ÉLÉMENTAIRE DES FEUILLETAGES HOLOMORPHES SINGULIERS
Proposition 4.7. Soient n : 'E ( N ; m ) � N l'éclatement de centre m et

:F' = n *:F. Désignons par IP'(CT(:F ; m)) le projectivisé du cône tangent qui
est alors un sous-ensemble de n 1 (m) = IP'(Tm N). Le diviseur exceptionnel
-
n - 1 ( m) est non dicritique si et seulement si le cône tangent est non dégénéré

(Pw -/:- 0). Dans ce cas on a
n - 1 (m) n Sing :F ' = IP'(CT(:F ; m)).
Démonstration. Il suffit de faire les calculs dans la première carte de l'éclatement,
où les composantes den sont données par x = x', y = x'y'. On a
( )
dx' + b'(X',y') dY '
* - Xiv+l (Pw (1,y') +X ' ( . . . )) 7
1C W
où b'(x',y') = b(x', x'y')/x'". On en déduit que :F' est engendré dans cette carte
par
• m' = ( l/x')"n *m lorsque Pw "#- 0 ;
• m' = (1 /x')"+ 1 n *m lorsque Pw =O.
Dans le premier cas, le diviseur exceptionnel x' = 0 est une hypersurface intégrale
de :F' ( x' divise x'b' (x', y')) , tandis que dans le second il ne l'est pas, car
b'(O,y') = bv (l,y') = av (l,y')j y' -/:- O.
La seconde partie de l'énoncé ne dépend pas des coordonnées choisies. Il suffit
donc de vérifier que l'origine de la première carte est une singularité de :F' si et
seulement si y divise Pw(x,y) ; ceci est donné par le calcul qui précède. 0
Définition 4.8. Uéclatement dans le cas ( a) s'appelle non dicritique, puisque le

diviseur exceptionnel est invariant. Si le cône tangent est dégénéré (éventualité
( b)) c'est un éclatement dicritique.
4.2.2 . Nombre de MILNOR
Rappelons la définition de la multiplicité d 'intersection (voir par exemple [50] ).

Étant donnés deux éléments a, b de ü.!, ou deux idéaux principaux a02 et b02, la
multiplicité d'intersection i(a, b; m) de a et b en m est par définition
i(a, b; m) =dime Oz/(a02 + b02).
Elle peut se définir axiomatiquement par une liste de propriétés, parmi les
quelles
• i(a, b; m) = i(b, a; m) ;
• i(aa', b; m) = i(a, b; m) + i(a', b; m) ;
• i(a, b; m) < +oo <===? a et b n'ont pas de facteur commun.

Il est utile de calculer la multiplicité d'intersection à l'aide du développement de
PUISEUX des branches.
Lemme 4.9. Soient a un élément irréductible de 02 '.:::::'. <C{x,y} et b un élément
quelconque de Oz. Si (t) = (x(t), y(t)) est une paramétrisation de la branche
a = 0, alors
i(a, b; m) = vo ( b(x(t),y(t))).
Démonstration. (ABHYANKAR). La paramétrisation de a = 0 induit un morphisme

 : <C{ X, y} -----7
<C{ t}.
Si A = im , on a A'.::::'. °'2/a°'2 et dime <C{t}/A < +oo. Puisque
02/a02 + b°'2 = A/<l>(b)A
on a i(a, b; m) = dime A/b(x(t),y(t))A. Considérons le diagramme de CC-espaces
vectoriels
A � <C{t} - <C{t}/A
fil !12 !h
A� <C{t} - <C{t}/A
l g
!
A1 - B1
où fj , j = 1, 2, 3, est la multiplication par b(x(t),y(t)). Plaçons-nous dans le
cas où b(x(t),y(t)) =/'- O. Alors les deux premières lignes et colonnes sont exactes.
On en déduit que g et f3 sont injectifs. Maintenant f3 est un endomorphisme
injectif d'un espace vectoriel de dimension finie ; il est donc surjectif. En utilisant
le diagramme on constate que g est surjectif. On a donc un isomorphisme de <C
espaces vectoriels g: A1 -----7 B1 avec
A1 = A/b(x(t),y(t))A, B1 = <C{t}/b(x(t),y(t))<C{t} ;
on termine en observant que dime B1 = v0 (b(x(t),y(t)). D
Soit n: 'E(N; m) -----7 N l'éclatement de centre m. Considérons un élément a

dans ON et m' un point de n - 1 ( m) . Soit f = 0 une équation réduite de n - 1 ( m) en
m'. Le transformé strict de a en m' est l'idéal str(a; m') de O'E.,m' engendré par
1 - vm ( a) (a o ) 1C .
Lemme 4. 10 (Fonnule de NOETHER) . Soient a, b deux éléments de °'2 sans fac

teur commun. On a
i(a, b; m) = Vm (a)vm (b) +
m'E,,-l (m )
L
i (str(a; m'),str(b; m') ; m').
Démonstration. On peut supposer que a E °'2 est irréductible. Quitte à faire un
changement linéaire de coordonnées, le seul point du transformé strict de a = 0
est l'origine de la première carte de l'éclatement et un développement de PUISEUX
de a = 0 est donné par
{ yX == y(t)
x(t) = tn
où vo (y(t) ) > n = vm (a)
La formule, dans ce cas, est équivalente à
vo (b(tn,y(t)) ) = nvm(b) + vo (b'(tn,y'(t)))
où b'(x',y') = x - vm ( b)b(x',x'y' ) et y'(t) = y(t)/t n . D
Définition 4.11. Si w = a(x,y) dx + b(x, y) dy est un générateur de '.f en m, le

nombre de MILNOR µm ('.!) est par définition
µm('.F) = i(a, b; m ) .
Cette quantité est indépendante du choix de ro.
Remarque 4.12. On a toujours µm('.F) < +oo car cod Sing '.f � 2 . Le point m
est non singul

Langue

TH Orie L Mentaire Des Feuilletages Holomorphes Singuliers PDF

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

TH Orie L Mentaire Des Feuilletages Holomorphes Singuliers PDF

Transféré par

Droits d'auteur :

Formats disponibles

Felipe

rue Férou 75278 Paris cedex 06

Dans la même collection

122-4). La loi 95-4 du 3 janvier 1994

© Éditions Belin, 2013 ISSN 1635-8414 ISBN 978-2-7011-7484-6

Chapitre 2 NOTI ONS DE BASE . . . . . .. . . . . . . . . .. . . . ... . . . . . . . . . . . . . . . . . . . . . . . 37

4.3 Réductiona ux singula rités pré-simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90

Chapitre 7 Sous- GR OU PES DE Diff(C, 0) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135

Ce livre se veut être une introduction à la théorie des feuilletages holomorphes

Dans le Chapitre 8, nous caractérisons génériquement les germes de feuilletages

Nous présentons un certain nombre d'énoncés, pour la plupart classiques, néces­

1.1.1 . Variétés topologiques, revêtements

Soit X un espace topologique séparé, connexe et à base dénombrable d'ouverts.

où pr 1 est la première projection.

Lorsqu'il existe une application de revêtement de Y sur X, on dit que Y est

1.1.2. Le groupe de POINCARÉ

Soient X une variété topologique connexe et xo un point de X fixé, dit point de

(y1 * Y2) (t) =

Cette construction ne dépend pas du choix du point de base. En effet, les

De lam êm em anière, si (z1 , z2 , . . . , zn ) est un systèm e

1.1.3. Le principe de monodromie

il existe un unique chem in

On dispose d'un revêtem ent spécial p : X ---t X appelé revêtement universel

Ouvrage de référence [58} :

1 .2. Géométrie différentielle complexe

1 .2.1 . Fonctions holomorphes

On considère l'espace en muni des coordonnées (z1 , z2, . . . , Zn ) sur lequel

C1 (en tant que fonction réelle) et satisfait

est holomorphe si chaque composante fj l'est. Les théorèmes classiques du calcul

Comme en calcul différentiel, on introduit les notions d'immersions et de sub­

1 .2.2. Variétés complexes

seulement s'il existe un entier k E Z tel que pour tout j E {1 , 2, . . . , n}

est holomorphe partout où elle a un sens. L'application bijective <I> : M --+ N

Considérons dans l'espace en X

définit une application continue que l'on appelle éclatement de l'origine de en .

'E1 3 (m, d) d l d2 . . . ,y, dj

On peut voir n dans les cartes, c'est-à-dire en termes de coordonnées :

(t 1 Xj, t2Xj, . . . , lj - l Xj, Xj, tj + l Xj, . . . , tn Xj ).

La restriction de la seconde projection à 'E produit elle aussi un morphisme

appelé fibration de HOPF, dont les fibres sont des « droites ».

1 .2.4. Revêtements complexes

1 .2.5. Surfaces de RIEMANN

• le disque unité IDl (0 ,1) Ce ;

• la droite projective lP't.

Ces trois courbes ne sont pas isomorphes (exercice).

1.3. Champs et formes

1.3.1 . L'espace tangent

Soient M une variété complexe de dimension n et m un point de M. On appelle

• v(J.. i f1 + À 2/2 ) = À 1 vfi + À 2 vh

Remarque 1 .4. La définition de vecteur tangent et les constructions qui vont

1.3.2. Champs de vecteurs

Le fibré tangent TM est ensemblistement la réunion des espaces tangents

on peut le munir d'une structure de variété complexe de dimension 2n comme

phisme. Un champ de 'Vecteurs X sur M est une section de la projection p,

y ( to) = X (y ( to)) V to E IDl(O,s).

Un groupe local à 1 paramètre associé au champ X est un morphisme

• <l> t s (m) = <I> t (<I> s (m)) (i.e. <l> t s = <l> t o <I> s )

on peut associer un champ de vecteurs X, défini sur U , donné localement en

Remarquons que X f = !1f ; en particulier la construction ne dépend pas du choix

Remarque 1.5. Soit M une variété compacte. Comme conséquence du principe

1 .3.3. Formes différentielles

associe à chaque Ç E T� M le point m. Une l-forme (différentielle) holomorphe

Nous présentons un certain nombre d'énoncés, pour la plupart classiques, néces

Comme en calcul différentiel, on introduit les notions d'immersions et de sub

Soit f un élément de !.m C On . En choisissant un représentant du germe f, l'équa

encore que quitte à faire un changement de coordonnées locales on peut sup

Le théorème de PUISEUX permet de présenter les germes de courbes irréduc

Théorème 1 .15 (REMMERT-STEIN) . Soit A c � (m; p) un sous-ensemble analy

Une fonction méromorphe F définie sur un polydisque � de en est, par défini

Considérons deux variétés analytiques complexes M, N et deux champs de vec