On certain pseudogroups of germs of biholomorphisms of ( n , 0 )

Michel Belliart

Bulletin de la Société Mathématique de France (2001)

  • Volume: 129, Issue: 2, page 259-284
  • ISSN: 0037-9484

Abstract

top
Let Γ be a pseudogroup of local holomorphic transformations of n fixing zero. We study the dynamics of Γ . We show that if Γ contains two elements whose 2-jets are in “general position” and sufficiently near the identity, then: 1) Γ acts minimally on the bundle of infinite-order jets on some pointed neighborhood of 0 (that is to say: for any z 0 , z 1 and any germ φ : z 0 z 1 of biholomorphism, there exists a sequence γ n Γ which converges to φ uniformly on some neighborhood of  z 0 ). 2)  Γ  preserves no geometric structure near 0 (this is a trivial consequence of 1). 3) For any holomorphic pseudogroup topologically conjugate to Γ , the germ of conjugacy at  0 is either holomorphic or antiholomorphic. The main feature of the proof is to attach to any pseudogroup Γ a sheaf 𝔤 Γ of Lie algebrae on n such that Γ is “dense” in 𝔤 Γ in a natural sense. Then we prove that under some natural assumption on Γ , 𝔤 Γ ( U ) must be the sheaf of all holomorphic vector fields for any U open in , where  is the (open) complementary of 0 in its basin of attraction.

How to cite

top

Belliart, Michel. "Sur certains pseudogroupes de biholomorphismes locaux de $(\mathbb {C}^n,0)$." Bulletin de la Société Mathématique de France 129.2 (2001): 259-284. <http://eudml.org/doc/272370>.

@article{Belliart2001,
abstract = {On montre que si $\Gamma $ est un pseudogroupe de transformations locales holomorphes de $\mathbb \{C\}^n$ en zéro contenant deux éléments “en position générale” et proches de l’identité, alors : 1) L’action de $\Gamma $ sur le fibré des jets d’ordre infini sur un petit voisinage épointé $\mathcal \{B\}$ de $0$ est minimale (c’est-à-dire que si $z_0,z_1\in \mathcal \{B\}$ et si $\phi :z_0\rightarrow z_1$ est un germe de biholomorphisme alors il existe une suite $\gamma _n\in \Gamma $ qui converge vers $\phi $ uniformément au voisinage de $z_0$). 2) $\Gamma $ ne préserve aucune structure géométrique au voisinage de $0$ (c’est une conséquence triviale du point 1). 3) Si un autre pseudogroupe holomorphe est topologiquement conjugué à $\Gamma $ alors la conjugaison est ou bien holomorphe, ou bien antiholomorphe. L’ingrédient principal de la preuve est la construction, pour tout pseudogroupe $\Gamma $, d’un faisceau $\mathfrak \{g\}_\Gamma $ d’algèbres de Lie sur $\mathbb \{C\}^n$ dans lequel $\Gamma $ est “dense” en un sens naturel. Ensuite, on prouve que si $\Gamma $ satisfait une hypothèse naturelle alors $\mathfrak \{g\}_\Gamma (U)$ contient tout champ de vecteur holomorphe sur $U$, pour tout $U$ ouvert dans $\mathcal \{B\}$ où $\mathcal \{B\}$ est le complémentaire (ouvert) de $0$ dans son bassin d’attraction.},
author = {Belliart, Michel},
journal = {Bulletin de la Société Mathématique de France},
keywords = {conformal pseudo-groups; invariant geometric structure},
language = {fre},
number = {2},
pages = {259-284},
publisher = {Société mathématique de France},
title = {Sur certains pseudogroupes de biholomorphismes locaux de $(\mathbb \{C\}^n,0)$},
url = {http://eudml.org/doc/272370},
volume = {129},
year = {2001},
}

TY - JOUR
AU - Belliart, Michel
TI - Sur certains pseudogroupes de biholomorphismes locaux de $(\mathbb {C}^n,0)$
JO - Bulletin de la Société Mathématique de France
PY - 2001
PB - Société mathématique de France
VL - 129
IS - 2
SP - 259
EP - 284
AB - On montre que si $\Gamma $ est un pseudogroupe de transformations locales holomorphes de $\mathbb {C}^n$ en zéro contenant deux éléments “en position générale” et proches de l’identité, alors : 1) L’action de $\Gamma $ sur le fibré des jets d’ordre infini sur un petit voisinage épointé $\mathcal {B}$ de $0$ est minimale (c’est-à-dire que si $z_0,z_1\in \mathcal {B}$ et si $\phi :z_0\rightarrow z_1$ est un germe de biholomorphisme alors il existe une suite $\gamma _n\in \Gamma $ qui converge vers $\phi $ uniformément au voisinage de $z_0$). 2) $\Gamma $ ne préserve aucune structure géométrique au voisinage de $0$ (c’est une conséquence triviale du point 1). 3) Si un autre pseudogroupe holomorphe est topologiquement conjugué à $\Gamma $ alors la conjugaison est ou bien holomorphe, ou bien antiholomorphe. L’ingrédient principal de la preuve est la construction, pour tout pseudogroupe $\Gamma $, d’un faisceau $\mathfrak {g}_\Gamma $ d’algèbres de Lie sur $\mathbb {C}^n$ dans lequel $\Gamma $ est “dense” en un sens naturel. Ensuite, on prouve que si $\Gamma $ satisfait une hypothèse naturelle alors $\mathfrak {g}_\Gamma (U)$ contient tout champ de vecteur holomorphe sur $U$, pour tout $U$ ouvert dans $\mathcal {B}$ où $\mathcal {B}$ est le complémentaire (ouvert) de $0$ dans son bassin d’attraction.
LA - fre
KW - conformal pseudo-groups; invariant geometric structure
UR - http://eudml.org/doc/272370
ER -

References

top
  1. [1] D. V. Anosov & V. I. Arnolʼd (éds.) – Dynamical systems. I, Encyclopaedia of Mathematical Sciences, vol. 1, Springer-Verlag, Berlin, 1988, Ordinary differential equations and smooth dynamical systems, Translated from the Russian [ MR0823488 (86i :58037)]. Zbl0658.00008MR970793
  2. [2] M. Belliart, I. Liousse & F. Loray – « The generic rational differential equation d w / d z = P n ( z , w ) / Q n ( z , w ) on ℂℙ 2 carries no interesting transverse structure », Ergodic Theory Dynam. Systems 21 (2001), no. 6, p. 1599–1607. Zbl1018.37025MR1869061
  3. [3] A. Borel – Linear algebraic groups, second éd., Graduate Texts in Mathematics, vol. 126, Springer-Verlag, New York, 1991. Zbl0726.20030MR1102012
  4. [4] É. Cartan – Leçons sur la géométrie projective complexe. La théorie des groupes finis et continus et la géométrie différentielle traitées par la méthode du repère mobile. Leçons sur la théorie des espaces à connexion projective, Les Grands Classiques Gauthier-Villars. [Gauthier-Villars Great Classics], Éditions Jacques Gabay, Sceaux, 1992, Reprint of the editions of 1931, 1937 and 1937. Zbl0003.06801MR1190006JFM57.0791.01
  5. [5] P. M. Elizarov, Y. S. Ilʼyashenko, A. A. Shcherbakov & S. M. Voronin – « Finitely generated groups of germs of one-dimensional conformal mappings, and invariants for complex singular points of analytic foliations of the complex plane », Nonlinear Stokes phenomena, Adv. Soviet Math., vol. 14, Amer. Math. Soc., Providence, RI, 1993, p. 57–105. Zbl1010.32501MR1206042
  6. [6] É. Ghys – « Sur les groupes engendrés par des difféomorphismes proches de l’identité », Bol. Soc. Brasil. Mat. (N.S.) 24 (1993), no. 2, p. 137–178. Zbl0809.58004MR1254981
  7. [7] M. Gromov – « Rigid transformations groups », Géométrie différentielle (Paris, 1986), Travaux en Cours, vol. 33, Hermann, Paris, 1988, p. 65–139. Zbl0652.53023MR955852
  8. [8] Y. S. Ilʼyashenko – « Topology of phase portraits of analytic differential equations on a complex projective plane », Trudy Sem. Petrovsk. (1978), no. 4, p. 83–136. Zbl0418.34007MR524528
  9. [9] S. Lamy – « Automorphismes polynomiaux du plan complexe : étude algébrique et dynamique », Thèse, Toulouse, 2000. 
  10. [10] F. Loray & J. C. Rebelo – « Minimal, rigid foliations by curves on n », J. Eur. Math. Soc. (JEMS) 5 (2003), no. 2, p. 147–201, (Stably chaotic rational vector fields). Zbl1021.37030MR1985614
  11. [11] I. Nakai – « Separatrices for nonsolvable dynamics on 𝐂 , 0 », Ann. Inst. Fourier (Grenoble) 44 (1994), no. 2, p. 569–599. Zbl0804.57022MR1296744
  12. [12] A. A. Shcherbakov – « Density of the orbit of a pseudogroup of conformal mappings and generalization of the Khudaĭ-Verenov theorem », Vestnik Moskov. Univ. Ser. I Mat. Mekh. (1982), no. 4, p. 10–15, 84. Zbl0517.30009MR671879

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.