{"id":85,"date":"2017-01-27T17:16:15","date_gmt":"2017-01-27T16:16:15","guid":{"rendered":"http:\/\/feuilletages-algebriques.math.cnrs.fr\/?page_id=85"},"modified":"2017-03-29T12:51:08","modified_gmt":"2017-03-29T10:51:08","slug":"le-champ-de-jouanolou-reel","status":"publish","type":"page","link":"https:\/\/feuilletages-algebriques.math.cnrs.fr\/index.php\/le-champ-de-jouanolou-reel\/","title":{"rendered":"Introduction au champ de Jouanolou r\u00e9el"},"content":{"rendered":"<p>Les \\textit{points r\u00e9els} du plan projectif complexe sont par d\u00e9finition les points de \\(\\mathbf{P}_{\\mathbf{C}}^2\\) qui admettent un syst\u00e8me de coordonn\u00e9es homog\u00e8nes r\u00e9elles.<br \/>\nParmi eux, on peut citer les points $P_x$, $P_y$ et $P_z$, ainsi que la singularit\u00e9 $S_0$ de coordonn\u00e9es homog\u00e8nes $[1:1:1]$ (qui est donc une feuille \\og d\u00e9g\u00e9n\u00e9r\u00e9e \\fg\\ du feuilletage de Jouanolou).<br \/>\nL&rsquo;ensemble des points r\u00e9els est exactement le plan projectif r\u00e9el \\(\\mathbf{P}_{\\mathbf{R}}^2\\) en tant que sous-espace de \\(\\mathbf{P}_{\\mathbf{C}}^2\\).<\/p>\n<p>On appelle \\textit{feuille r\u00e9elle} du feuilletage de Jouanolou dans \\(\\mathbf{P}_{\\mathbf{C}}^2\\) une feuille qui passe par au moins un point r\u00e9el de \\(\\mathbf{P}_{\\mathbf{C}}^2\\).<\/p>\n<p>En dehors de la singularit\u00e9 $S_0$, peut-on d\u00e9crire l&rsquo;espace des feuilles r\u00e9elles ?<\/p>\n<h5>La restriction du feuilletage de Jouanolou \u00e0 \\(\\mathbf{P}_{\\mathbf{R}}^2\\)<\/h5>\n<p>Le champ de Jouanolou \u00e9tant \u00e0 coefficients r\u00e9els, nous allons nous int\u00e9resser dans cette section \u00e0 la restriction du feuilletage de Jouanolou au plan projectif r\u00e9el \\(\\mathbf{P}_{\\mathbf{R}}^2\\).<br \/>\nC&rsquo;est un feuilletage par courbes r\u00e9elles ayant pour unique singularit\u00e9 la singularit\u00e9 $S_0$.<\/p>\n<p>\\noindent<br \/>\n\\textbf{M\u00e9thode pour dessiner ce feuilletage.}<br \/>\nDans $\\mathbf{R^3}$, on s&rsquo;int\u00e9resse au champ<br \/>\n\\[J_d &#8211; \\frac{R \\cdot J_d}{||\\cdot||^2} R\\]<br \/>\n\\noindent<br \/>\nqui d\u00e9finit sur \\(\\mathbf{P}_{\\mathbf{R}}^2\\) le m\u00eame feuilletage que le champ $J_d$ et qui a la vertu d&rsquo;\u00eatre tangent \u00e0 la sph\u00e8re $\\mathbf{S}^2$ dans $\\mathbf{R}^3$.<br \/>\nLa sph\u00e8re $\\mathbf{S}^2$ est un rev\u00eatement double de \\(\\mathbf{P}_{\\mathbf{R}}^2\\).<br \/>\nLe plan projectif r\u00e9el peut \u00eatre identifi\u00e9 au demi-h\u00e9misph\u00e8re contenant la singularit\u00e9 $S_0$ comme p\u00f4le nord et d\u00e9limit\u00e9 par le plan \u00e9quatorial d&rsquo;\u00e9quation $x+y+z=0$, \u00e0 condition d&rsquo;identifier deux points diam\u00e9tralement oppos\u00e9s sur l&rsquo;\u00e9quateur.<br \/>\nEnfin, une projection orthogonale permet de se ramener \u00e0 un disque dont les points du bord sont diam\u00e9tralement oppos\u00e9s et dont le centre est l&rsquo;image de la singularit\u00e9 $S_0$.<\/p>\n<p>On obtient les images de la figure \\ref{feuilletageJouanolouSphere}, selon le degr\u00e9 $d$ du feuilletage.<br \/>\nLe point noir central est $S_0$, les points rouge, bleu et vert sont respectivement les points $P_x$, $P_y$ et~$P_z$.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-92\" src=\"http:\/\/feuilletages-algebriques.math.cnrs.fr\/wp-content\/uploads\/2017\/01\/planProjectifReel_degre5.png\" alt=\"\" width=\"800\" height=\"600\" srcset=\"https:\/\/feuilletages-algebriques.math.cnrs.fr\/wp-content\/uploads\/2017\/01\/planProjectifReel_degre5.png 800w, https:\/\/feuilletages-algebriques.math.cnrs.fr\/wp-content\/uploads\/2017\/01\/planProjectifReel_degre5-300x225.png 300w, https:\/\/feuilletages-algebriques.math.cnrs.fr\/wp-content\/uploads\/2017\/01\/planProjectifReel_degre5-768x576.png 768w\" sizes=\"auto, (max-width: 800px) 85vw, 800px\" \/> <img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-91\" src=\"http:\/\/feuilletages-algebriques.math.cnrs.fr\/wp-content\/uploads\/2017\/01\/planProjectifReel_degre4.png\" alt=\"\" width=\"800\" height=\"600\" srcset=\"https:\/\/feuilletages-algebriques.math.cnrs.fr\/wp-content\/uploads\/2017\/01\/planProjectifReel_degre4.png 800w, https:\/\/feuilletages-algebriques.math.cnrs.fr\/wp-content\/uploads\/2017\/01\/planProjectifReel_degre4-300x225.png 300w, https:\/\/feuilletages-algebriques.math.cnrs.fr\/wp-content\/uploads\/2017\/01\/planProjectifReel_degre4-768x576.png 768w\" sizes=\"auto, (max-width: 800px) 85vw, 800px\" \/> <img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-90\" src=\"http:\/\/feuilletages-algebriques.math.cnrs.fr\/wp-content\/uploads\/2017\/01\/planProjectifReel_degre3.png\" alt=\"\" width=\"800\" height=\"600\" srcset=\"https:\/\/feuilletages-algebriques.math.cnrs.fr\/wp-content\/uploads\/2017\/01\/planProjectifReel_degre3.png 800w, https:\/\/feuilletages-algebriques.math.cnrs.fr\/wp-content\/uploads\/2017\/01\/planProjectifReel_degre3-300x225.png 300w, https:\/\/feuilletages-algebriques.math.cnrs.fr\/wp-content\/uploads\/2017\/01\/planProjectifReel_degre3-768x576.png 768w\" sizes=\"auto, (max-width: 800px) 85vw, 800px\" \/> <img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-89\" src=\"http:\/\/feuilletages-algebriques.math.cnrs.fr\/wp-content\/uploads\/2017\/01\/planProjectifReel_degre2.png\" alt=\"\" width=\"800\" height=\"600\" srcset=\"https:\/\/feuilletages-algebriques.math.cnrs.fr\/wp-content\/uploads\/2017\/01\/planProjectifReel_degre2.png 800w, https:\/\/feuilletages-algebriques.math.cnrs.fr\/wp-content\/uploads\/2017\/01\/planProjectifReel_degre2-300x225.png 300w, https:\/\/feuilletages-algebriques.math.cnrs.fr\/wp-content\/uploads\/2017\/01\/planProjectifReel_degre2-768x576.png 768w\" sizes=\"auto, (max-width: 800px) 85vw, 800px\" \/><\/p>\n<p>Sur ces figures, on remarque facilement l&rsquo;action de la sym\u00e9trie $S$.<br \/>\nOn note \u00e9galement que les feuilles de la restriction du feuilletage de Jouanolou \u00e0 \\(\\mathbf{P}_{\\mathbf{R}}^2\\) sont toutes, \u00e0 l&rsquo;exception de la singularit\u00e9 $S_0$, des courbes r\u00e9elles dont l&rsquo;une des deux extr\u00e9mit\u00e9s tend vers $S_0$.<\/p>\n<p>En fait, suivant la parit\u00e9 du degr\u00e9 $d$, on peut pr\u00e9ciser les choses.<br \/>\nCommen\u00e7ons par remarquer que le champ \\(J_d &#8211; \\frac{R \\cdot J_d}{||\\cdot||^2} R\\) d\u00e9fini sur la sph\u00e8re $\\mathbf{S}^2$ passe au quotient dans le cas pair pour d\u00e9finir un champ de vecteurs sur \\(\\mathbf{P}_{\\mathbf{R}}^2\\).<\/p>\n<p>Les deux paires d&rsquo;images de la figure \\ref{versInfini} ci-dessous correspondent aux degr\u00e9s 2 et~3.<br \/>\nOn part des m\u00eames conditions initiales dans \\(\\mathbf{P}_{\\mathbf{R}}^2\\) et on regarde la dynamique du feuilletage dans les deux directions vers l&rsquo;infini.<\/p>\n<p>\\begin{itemize}<br \/>\n\\renewcommand\\labelitemi{$\\bullet$}<br \/>\n\\item Si $d$ est pair : les feuilles de la restriction du feuilletage de Jouanolou \u00e0 \\(\\mathbf{P}_{\\mathbf{R}}^2\\) semblent toutes, \u00e0 l&rsquo;exception de la singularit\u00e9 $S_0$, des courbes r\u00e9elles dont les extr\u00e9mit\u00e9s tendent vers $S_0$ quand $t \\rightarrow \\pm\\infty$ (l&rsquo;adh\u00e9rence de chaque feuille est topologiquement un cercle).<br \/>\n\\item Si $d$ est impair : en plus de la singularit\u00e9 $S_0$, le cercle \u00e9quatorial joue un r\u00f4le particulier puisque toutes les courbes r\u00e9elles du feuilletage semblent avoir une extr\u00e9mit\u00e9 qui tend vers $S_0$ alors que l&rsquo;autre extr\u00e9mit\u00e9 oscille au voisinage du cercle \u00e9quatorial en l&rsquo;intersectant r\u00e9guli\u00e8rement une infinit\u00e9 de fois (voir figure \\ref{comportementCercleEquatorial} ci-dessous o\u00f9 l&rsquo;on trace en fonction du temps la somme $x+y+z$ des coordonn\u00e9es d&rsquo;une trajectoire).<br \/>\n\\end{itemize}<\/p>\n<p>\\begin{figure}[h]<br \/>\n\\caption{Vers l&rsquo;infini&#8230;}<br \/>\n\\label{versInfini}<br \/>\n\\vspace{0.5cm}<br \/>\n\\begin{minipage}[c]{.45\\linewidth}<br \/>\n\\includegraphics[scale=0.25]{img\/planProjectifReelTempsPositif_degre2.png}<br \/>\n\\centerline{&#8230; dans une direction ($d=2$)}<br \/>\n\\includegraphics[scale=0.25]{img\/planProjectifReelTempsPositif_degre3.png}<br \/>\n\\centerline{&#8230; dans une direction ($d=3$)}<br \/>\n\\end{minipage} \\hfill<br \/>\n\\begin{minipage}[c]{.45\\linewidth}<br \/>\n\\includegraphics[scale=0.25]{img\/planProjectifReelTempsNegatif_degre2.png}<br \/>\n\\centerline{&#8230; dans l&rsquo;autre direction ($d=2$)}<br \/>\n\\includegraphics[scale=0.25]{img\/planProjectifReelTempsNegatif_degre3.png}<br \/>\n\\centerline{&#8230; dans l&rsquo;autre direction ($d=3$)}<br \/>\n\\end{minipage}<br \/>\n\\end{figure}<\/p>\n<p>\\begin{figure}[h]<br \/>\n\\caption{Comportement des trajectoires au voisinage du cercle \u00e9quatorial ($d=3$)}<br \/>\n\\label{comportementCercleEquatorial}<br \/>\n\\centerline{\\includegraphics[scale=0.4]{img\/planProjectifReelCercleEquatorial_degre3.png}}<br \/>\n\\end{figure}<\/p>\n<p>Comme nous l&rsquo;avons indiqu\u00e9 pr\u00e9c\u00e9demment, en coordonn\u00e9es homog\u00e8nes, le plan \u00e9quatorial est donn\u00e9 par l&rsquo;\u00e9quation cart\u00e9sienne $x+y+z=0$.<br \/>\nTrois points du cercle \u00e9quatorial jouent un r\u00f4le particulier : ce sont les points de coordonn\u00e9es homog\u00e8nes $[1:-1:0]$, $[-1:0:1]$ et $[0:1:-1]$ qui forment une orbite de $S$.<br \/>\nNous allons d\u00e9montrer qu&rsquo;en degr\u00e9 $d$ impair le champ de vecteurs \\(J_d &#8211; \\frac{R \\cdot J_d}{||\\cdot||^2} R\\) est tangent au plan \u00e9quatorial en ces trois points.<br \/>\nEn effet, on a<br \/>\n\\[x^d+y^d=(x+y)\\sum_{k=0}^{d-1}(-1)^k y^k x^{d-1-k}.\\]<br \/>\nPuisque $z=-(x+y)$ dans le plan \u00e9quatorial, la formule du bin\u00f4me de Newton permet d&rsquo;\u00e9crire<br \/>\n\\[x^d+y^d+z^d=(x+y)\\sum_{k=0}^{d-1}((-1)^k-\\text{C}_{d-1}^k) y^k x^{d-1-k}.\\]<br \/>\nLa somme ci-dessus est tout aussi bien index\u00e9e par $k$ variant entre $1$ et $d-2$, ce qui permet de factoriser $xy$ de la somme et d&rsquo;\u00e9crire, en utilisant une fois encore le fait que $z=-(x+y)$,<br \/>\n\\[x^d+y^d+z^d=xyz\\sum_{k=1}^{d-2}(\\text{C}_{d-1}^k-(-1)^k) y^{k-1} x^{d-2-k}.\\]<br \/>\nOr la somme \\(x^d+y^d+z^d\\) est \u00e9gale au produit scalaire de notre champ de vecteurs par le vecteur de coordonn\u00e9es $(1,1,1)$ qui dirige la normale au plan \u00e9quatorial, ce qui termine la d\u00e9monstration.<\/p>\n<p>\\noindent<br \/>\n\\textbf{Question :}<br \/>\nPeut-on mieux comprendre la dynamique du champ de vecteurs dans le cas impair au voisinage du cercle \u00e9quatorial ?<br \/>\nA-t-elle un rapport avec le flot de Cherry (r\u00e9f\u00e9rence int\u00e9ressante : \\url{http:\/\/algant.eu\/documents\/theses\/palmisano.pdf}) ?<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Les \\textit{points r\u00e9els} du plan projectif complexe sont par d\u00e9finition les points de \\(\\mathbf{P}_{\\mathbf{C}}^2\\) qui admettent un syst\u00e8me de coordonn\u00e9es homog\u00e8nes r\u00e9elles. Parmi eux, on peut citer les points $P_x$, $P_y$ et $P_z$, ainsi que la singularit\u00e9 $S_0$ de coordonn\u00e9es homog\u00e8nes $[1:1:1]$ (qui est donc une feuille \\og d\u00e9g\u00e9n\u00e9r\u00e9e \\fg\\ du feuilletage de Jouanolou). L&rsquo;ensemble &hellip; <a href=\"https:\/\/feuilletages-algebriques.math.cnrs.fr\/index.php\/le-champ-de-jouanolou-reel\/\" class=\"more-link\">Continuer la lecture<span class=\"screen-reader-text\"> de &laquo;&nbsp;Introduction au champ de Jouanolou r\u00e9el&nbsp;&raquo;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-85","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/feuilletages-algebriques.math.cnrs.fr\/index.php\/wp-json\/wp\/v2\/pages\/85","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/feuilletages-algebriques.math.cnrs.fr\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/feuilletages-algebriques.math.cnrs.fr\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/feuilletages-algebriques.math.cnrs.fr\/index.php\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/feuilletages-algebriques.math.cnrs.fr\/index.php\/wp-json\/wp\/v2\/comments?post=85"}],"version-history":[{"count":4,"href":"https:\/\/feuilletages-algebriques.math.cnrs.fr\/index.php\/wp-json\/wp\/v2\/pages\/85\/revisions"}],"predecessor-version":[{"id":654,"href":"https:\/\/feuilletages-algebriques.math.cnrs.fr\/index.php\/wp-json\/wp\/v2\/pages\/85\/revisions\/654"}],"wp:attachment":[{"href":"https:\/\/feuilletages-algebriques.math.cnrs.fr\/index.php\/wp-json\/wp\/v2\/media?parent=85"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}