<br />
<b>Warning</b>:  strpos(): Offset not contained in string in <b>/opt/app-root/src/wp-content/plugins/footnotes/class/task.php</b> on line <b>340</b><br />
<br />
<b>Warning</b>:  strpos(): Offset not contained in string in <b>/opt/app-root/src/wp-content/plugins/footnotes/class/task.php</b> on line <b>340</b><br />
{"id":17,"date":"2017-01-25T15:35:55","date_gmt":"2017-01-25T14:35:55","guid":{"rendered":"http:\/\/feuilletages-algebriques.math.cnrs.fr\/?page_id=17"},"modified":"2017-02-06T15:37:53","modified_gmt":"2017-02-06T14:37:53","slug":"existence-de-domaine-de-discontinuite","status":"publish","type":"page","link":"https:\/\/feuilletages-algebriques.math.cnrs.fr\/index.php\/existence-de-domaine-de-discontinuite\/","title":{"rendered":"Existence de domaine de discontinuit\u00e9"},"content":{"rendered":"<h2>Suite du document \u00ab\u00a0Vari\u00e9t\u00e9s de Bogomolov\u00a0\u00bb<\/h2>\n<p>Le but de ce document est d&rsquo;\u00e9tablir des crit\u00e8res permettant d&rsquo;exhiber des domaines de discontinuit\u00e9 non vides pour des feuilletages alg\u00e9briques de \\(\\mathbf{P}^n (\\mathbf{C})\\) (le cas des vari\u00e9t\u00e9s alg\u00e9briques plus g\u00e9n\u00e9rales sera trait\u00e9 plus tard), et d&rsquo;\u00e9tudier leur compl\u00e9mentaires.<\/p>\n<p>En particulier, on va montrer que (modulo certaines conditions de transversalit\u00e9 qui semblent \u00eatre v\u00e9rifi\u00e9es exp\u00e9rimentalement) tout feuilletage suffisamment proche du feuilletage de Jouanolou \\(\\mathcal{J}_2\\) sur \\(\\mathbf{P}^2(\\mathbf{C})\\) v\u00e9rifie les propri\u00e9t\u00e9s suivantes :<\/p>\n<ol>\n<li>Il existe un ouvert satur\u00e9 \\(U\\) sur lequel le feuilletage est une fibration en disques au dessus de la quartique de Klein (l&rsquo;ensemble de discontinuit\u00e9)<\/li>\n<li>L&rsquo;ext\u00e9rieur de \\(U\\) est hyperbolique (voir partie \\ref{p: hyperbolicite}),<\/li>\n<li>Les bords des disques de la fibration sont naturellement \u00e9quipp\u00e9s d&rsquo;une structure dyadique, qui m\u00e8ne \u00e0 une repr\u00e9sentation de l&rsquo;orbifold \\( (3,3,7) \\) \u00e0 valeurs dans le groupe de Thompson, dont la classe d&rsquo;Euler est \u00e9gale \u00e0 -1, et<sup id=\"footnote_plugin_tooltip_1\" class=\"footnote_plugin_tooltip_text\" onclick=\"footnote_moveToAnchor('footnote_plugin_reference_1');\">1)<\/sup><span class=\"footnote_tooltip\" id=\"footnote_plugin_tooltip_text_1\">le calcul de la classe d&rsquo;Euler vient de celui de l&rsquo;auto-intersection de la surface de bogomolov. Serait-il possible de calculer d&rsquo;autres invariants cohomologiques, notamment la classe de \u00ab\u00a0Godbillon-Vey discr\u00e8te\u00a0\u00bb de cette repr\u00e9sentation ?<\/span><script type=\"text\/javascript\">\tjQuery(\"#footnote_plugin_tooltip_1\").tooltip({\t\ttip: \"#footnote_plugin_tooltip_text_1\",\t\ttipClass: \"footnote_tooltip\",\t\teffect: \"fade\",\t\tfadeOutSpeed: 100,\t\tpredelay: 400,\t\tposition: \"top right\",\t\trelative: true,\t\toffset: [10, 10]\t});<\/script><\/li>\n<\/ol>\n<p>A termes, nous aimerions obtenir une description compl\u00e8te de la topologie de \\(\\mathcal{J}_2\\), c&rsquo;est \u00e0 dire d\u00e9montrer qu&rsquo;il est conjugu\u00e9 topologiquement au mod\u00e8le d\u00e9crit dans ???. Nous en d\u00e9duirions en particulier que \\(\\mathcal J_2\\) est stable dans la famille des feuilletages alg\u00e9briques de degr\u00e9 \\(2\\) de \\(\\mathbb P^2(\\mathbb C)\\). Un chemin possible pour atteindre un tel objectif pourrait \\^etre de montrer qu&rsquo;il existe une unique repr\u00e9sentation de l&rsquo;orbifold \\<sup id=\"footnote_plugin_tooltip_2\" class=\"footnote_plugin_tooltip_text\" onclick=\"footnote_moveToAnchor('footnote_plugin_reference_2');\">2)<\/sup><span class=\"footnote_tooltip\" id=\"footnote_plugin_tooltip_text_2\">3,3,7)\\) v\u00e9rifiant (3).<br \/>\n\\section{Domaines de discontinuit\u00e9}<br \/>\nRappelons que, \\footnote{voir le document Vari\u00e9t\u00e9s de Bogomolov} \u00e9tant donn\u00e9 un champ de vecteurs holomorphe $X$ sur $\\mathbb C^n$ qui est homog\u00e8ne de degr\u00e9 $d \\geq 2$, les courbes int\u00e9grales de l&rsquo;EDO<br \/>\n\\begin{equation} \\label{eq: EDO} \\dot{x} = X (x) ,\\ \\ x(0) = x_0\\end{equation}<br \/>\nsont invariantes par l&rsquo;action de $\\mathbb C^*$ sur $\\mathbb C^n$ par multiplication par les scalaires, ce qui d\u00e9finit un feuilletage alg\u00e9brique $\\mathcal F$ sur $\\mathbb P^{n-1}(\\mathbb C)$. Les feuilles de $\\mathcal F$ se rel\u00e8vent en des courbes int\u00e9grales de l&rsquo;EDO \\eqref{eq: EDO}, et la diff\u00e9rentielle<br \/>\n\\begin{equation}\\label{eq: differentielle} \\omega = d\\log ||x|| \\end{equation}<br \/>\nne d\u00e9pend pas du rel\u00e8vement. Autrement dit, \\eqref{eq: differentielle} d\u00e9finit une diff\u00e9rentielle r\u00e9elle sur $T\\mathcal F$ qui est ferm\u00e9e le long des feuilles. De fa\\c{c}on duale, cette forme d\u00e9finit un champ de vecteurs r\u00e9el tangent \u00e0 $\\mathcal F$, par les conditions<br \/>\n\\begin{equation} \\label{eq: champ de vecteurs dual} \\omega (V) = 1 \\text{ et $V$ est orthogonal \u00e0 } \\text{Ker} (\\omega) \\end{equation}<\/p>\n<p>Nous supposerons par la suite que l&rsquo;\u00e9quation diff\u00e9rentielle \\eqref{eq: EDO} v\u00e9rifie les hypoth\u00e8ses suivantes :<\/p>\n<ol>\n<li>pour tout $p \\in \\mathbb C^n \\setminus 0$ tel que $[p] \\in \\text{sing} (\\mathcal F)$, on a $X(p) \\neq 0$,<\/li>\n<li>les points critiques de la fonction (multivalu\u00e9e) $\\log ||.||$ le long des feuilles de $\\mathcal F$ sont tous non d\u00e9g\u00e9n\u00e9r\u00e9s d&rsquo;indice $0$.<\/li>\n<\/ol>\n<p>{\\bf Proposition.} \\textit{Supposons que $X$ satisfasse les deux conditions 1) et 2) ci-dessus. Alors l&rsquo;ensemble $M := \\{ V = \\infty \\} \\subset \\mathbb P^{n-1} (\\mathbb C) \\setminus \\text{sing} (\\mathcal F)$ est une vari\u00e9t\u00e9 de Bogomolov relative \u00e0 $\\mathcal F$ qui n&rsquo;accumule pas sur $\\text{sing} (\\mathcal F)$. Le satur\u00e9 de $M$ par $\\mathcal F$ est un ouvert strict $U\\subset \\mathbb P^{n-1} (\\mathbb C)$ sur lequel le feuilletage est une fibration en disques.}<\/p>\n<p>Le fait que l&rsquo;ensemble $M$ soit transverse au feuilletage $\\mathcal F$ d\u00e9coule de ce que les points critiques de $\\log ||.||$ sont non d\u00e9g\u00e9n\u00e9r\u00e9s~: $M$ est donc bien une sous-vari\u00e9t\u00e9 de Bogomolov relative au feuilletage $\\mathcal F$ sur $\\mathbb P^{n-1} (\\mathbb C) \\setminus \\text{sing} (\\mathcal F)$.<\/p>\n<p>{\\bf Analyticit\u00e9 de $V$.} \\textit{La vari\u00e9t\u00e9 $M$ n&rsquo;accumule pas sur $\\text{sing} (\\mathcal F)$. De plus, $V$ d\u00e9finit un champ de vecteurs analytique sur $\\mathbb P^{n-1} (\\mathbb C) \\setminus M$.}<\/p>\n<p>Quitte \u00e0 appliquer un automorphisme lin\u00e9aire sur $\\mathbb C^n$, nous pouvons supposer que $p_0 = [0:\\ldots:0:1]$. On a donc $X_k (0,\\ldots, 0, 1)= 0$ si $k&lt;n$ et $X_n (0,\\ldots, 0, 1) \\neq 0$ d&rsquo;apr\u00e8s l&rsquo;hypoth\u00e8se (2). Posons $x_k = u_k x_n$~; nous avons<br \/>\n$$ \\dot{u_k} = \\frac{\\dot{x_k} x_n &#8211; \\dot{x_n } x_k}{x_n^2}= x_n^{d-1} P_k (u_1,\\ldots, u_{n-1}) $$<br \/>\no\u00f9<br \/>\n$$ P_k (u_1,\\ldots, u_{n-1}) = X_k (u_1,\\ldots, u_{n-1}, 1) &#8211; X_n (u_1,\\ldots, u_{n-1}, 1) u_k .$$<br \/>\nR\u00e9solvons l&rsquo;\u00e9quation diff\u00e9rentielle $\\frac{dT}{dt}= x_n ^{d-1}$ le long d&rsquo;une solution de $X$. Les fonctions $u_k$ v\u00e9rifient l&rsquo;EDO<br \/>\n\\begin{equation} \\label{eq: singularite} \\frac{d u_k}{dT} = P_k (u_1,\\ldots, u_{n-1}) \\text{ pour tout } k= 1,\\ldots, n-1. \\end{equation}<\/p>\n<p>On a alors<br \/>\n$$ d \\log || (x_1,\\ldots, x_n) ||^2 = 2\\Re d\\log x_n + d\\log (|u_1|^2 + \\ldots + |u_{n-1}|^2 + 1)$$<br \/>\nOr, en notant $P_n(u_1,\\ldots, u_{n-1}) = X_n (u_1,\\ldots, u_{n-1}, 1)$,<br \/>\n$$ \\frac{dx_n}{dT}= \\frac{dx_n}{dt} \\frac{dt}{dT}= x_n^d P_n (u_1,\\ldots, u_{n-1}) x_n^{1-d}=x_n P_n(u_1,\\ldots, u_{n-1}), $$<br \/>\net donc<br \/>\n$$ d\\log x_n = P_n(u_1,\\ldots, u_{n-1}) dT.$$<br \/>\nCeci donne finalement<br \/>\n$$ d \\log || (x_1,\\ldots, x_n) ||^2 = 2 \\Re( f \\cdot dT) ,$$<br \/>\navec<br \/>\n$$ f = P_n (u) + \\frac{ \\sum_{1\\leq k\\leq n-1} P_k (u ) \\overline{u_k}}{||u||^2 + 1}.$$<br \/>\nDe fa\\c{c}on duale, en notant $Y = \\sum_{1\\leq k \\leq n-1} P_k (u) \\frac{\\partial}{\\partial u_k}$, on obtient l&rsquo;expression de $V$ suivante<br \/>\n$$ V = \\frac{1}{2f} Y.$$<br \/>\nOr $P_n (0, \\ldots, 0) \\neq 0$ par l&rsquo;hypoth\u00e8se (1), et donc $f$ ne s&rsquo;annule pas en l&rsquo;origine, ce qui conclut la d\u00e9monstration. cqfd<\/p>\n<p>\\vspace{0.3cm}<br \/>\n{\\bf Compl\u00e9tude en temps positif.} \\textit{ Sous les hypoth\u00e8ses 1) et 2), le flot associ\u00e9 au champ de vecteurs $V$ sur $\\mathbb P^{n-1} (\\mathbb C) \\setminus (M\\cup \\text{sing} (\\mathcal F) ) $ est d\u00e9fini pour tout temps positif. }<\/p>\n<p>\\vspace{0.3cm}<\/p>\n<p>Comme les points critiques de $\\log ||.||$ sont non d\u00e9g\u00e9n\u00e9r\u00e9s et d&rsquo;indice nul en restriction \u00e0 chaque feuille, les points d&rsquo;intersection des feuilles avec $M$ sont des sources pour le champ $V$. En fait, pour tout point $p\\in \\mathbb P^{n-1} (\\mathbb C)\\setminus M$ suffisamment proche de $M$, la solution passant par $p$ poss\u00e8de un intervalle maximal de d\u00e9finition \u00e0 droite fini, de la forme $(-r(p), 0]$ avec $r(p)&gt;0$, et la limite de $\\phi ^t(p)$ lorsque $t$ tend vers $-r(p)$ existe et appartient \u00e0 $M$. On note $\\pi (p)$ ce dernier point. L&rsquo;extension de l&rsquo;application $\\pi$ \u00e0 $M$ d\u00e9finie par $\\pi(p)= p$ si $p\\in M$ est continue, et conf\u00e8re \u00e0 un certain voisinage $W$ de $M$ une structure de fibr\u00e9 en disques au dessus de $M$. Notez que le champ $V$ est sortant sur $\\partial W$. Le caract\u00e8re analytique de $V$ en dehors de $M$ permet alors de conclure. cqfd.<br \/>\n\\vspace{0.3cm}<\/p>\n<p>Nous sommes maintenant en mesure de d\u00e9montrer la Proposition ci-dessus. Consid\u00e9rons une feuille $\\tilde{F}$ du feuilletage $\\tilde{\\mathcal F}$ de $\\mathbb C^n \\setminus 0$ induit par le champ de vecteurs $X$, et supposons que $\\tilde{F}$ contienne un point $\\tilde{p_0}$ o\u00f9 $\\tilde{V}$ admet un p\\^ole (ici $\\tilde{V}$ est le relev\u00e9 de $V$ \u00e0 $\\tilde{F}$). D&rsquo;apr\u00e8s l&rsquo;hypoth\u00e8se (2), la restriction de la fonction $\\log ||.||$ \u00e0 $\\tilde{F}$ admet un point critique non d\u00e9g\u00e9n\u00e9r\u00e9 en $\\tilde{p_0}$ d&rsquo;indice $0$. Si l&rsquo;on trace un petit cercle $\\tilde{\\gamma}$ autour de $\\tilde{p_0}$ dans $\\tilde{F}$, alors nous savons que toute trajectoire issue d&rsquo;un point $\\tilde{p}$ de $\\tilde{\\gamma}$ au temps $0$ tend vers $\\tilde{p_0}$ au temps $-r (\\tilde{p}) &gt;0$, et est d\u00e9finie pour tout temps positif.<\/p>\n<p>Or par construction du champ $V$, on a pour tout $t\\geq 0$ et tout $\\tilde{p}\\in \\tilde{\\gamma}$,<br \/>\n$$ \\log || \\tilde\\Phi ^t (\\tilde{p}) || = t + \\log || \\tilde{p} || .$$<br \/>\nCeci montre deux choses. D&rsquo;une part la feuille $\\tilde{F}$ est constitu\u00e9e de l&rsquo;union des trajectoires du champ $\\tilde{V}$ issues d&rsquo;un point $\\tilde{p}\\in \\tilde{\\gamma}$ ainsi que du point $\\tilde{p_0}$ (et en particulier $\\tilde{F}$ est diff\u00e9omorphe \u00e0 un disque). Et d&rsquo;autre part, l&rsquo;unique p\\^ole de $V$ sur $\\tilde{F}$ est le point $\\tilde{p_0}$.<\/p>\n<p>Pour conclure, il suffit de dire qu&rsquo;une feuille $F \\subset \\mathbb P^{n-1} (\\mathbb C)$ de $\\mathcal F$ passant par un point $p_0 \\in V$ se rel\u00e8ve en une feuille $\\tilde{F}\\subset \\mathbb C^n \\setminus 0$ passant par un relev\u00e9 $\\tilde{p_0}$ de $p_0$. L&rsquo;application naturelle $\\tilde{F} \\rightarrow F$ est un rev\\^etement ab\u00e9lien dont le groupe de Galois pr\u00e9serve l&rsquo;ensemble des p\\^oles de $\\tilde{V}$ en restriction \u00e0 $\\tilde{F}$. Comme cet ensemble est r\u00e9duit \u00e0 $p_0$ d&rsquo;apr\u00e8s ce qui pr\u00e9c\u00e8de, ce groupe de Galois est trivial, et donc l&rsquo;application $\\tilde{F} \\rightarrow F$ est en fait un diff\u00e9omorphisme. Tout ce que nous avons dit sur $\\tilde{F}$ s&rsquo;applique donc \u00e0 $F$~; en particulier, le satur\u00e9 $U$ de $M$ dans $\\mathbb P^{n-1} (\\mathbb C)$ est un fibr\u00e9 en disques au dessus de $M$. cqfd<\/p>\n<p>\\vspace{0.3cm}<\/p>\n<p>{\\bf D\u00e9finition.} Sous les hypoth\u00e8ses 1) et 2), nous appellerons le satur\u00e9 de $M$ l&rsquo;\\textit{ensemble de discontinuit\u00e9} de $\\mathcal F$. Il sera not\u00e9 $U$ et son compl\u00e9mentaire $\\mathcal M$.<\/p>\n<p>\\vspace{0.3cm}<br \/>\n{\\bf Remarques. 1.} L&rsquo;ext\u00e9rieur de $U$ est connexe. En particulier, il n&rsquo;est pas r\u00e9duit \u00e0 un ensemble de singularit\u00e9s, d\u00e9s lors qu&rsquo;il y a au moins deux singularit\u00e9s.<\/p>\n<p>{\\bf 2.} Dans le cas de l&rsquo;\u00e9quation de Jouanolou pour les param\u00e8tres $n= 3$, $d=2$, on constate que le champ de vecteurs $V$ rentre dans les singularit\u00e9s (il est en particulier transverse \u00e0 de suffisamment petites sph\u00e8res autour de ces derni\u00e8res). On trouve la d\u00e9monstration de cela dans le document \u00ab\u00a0structure affine\u00a0\u00bb, page 2. En effet, un petit calcul montre que le champ $V$ est asymptote dans la coordonn\u00e9e $T = \\alpha + i \\beta$ au champ $\\frac{\\partial}{\\partial \\alpha}$ qui entre dans le domaine $A$. Cette remarque sera importante pour montrer que sur l&rsquo;ext\u00e9rieur de $U$, l&rsquo;inverse du flot $V$, qui est alors d\u00e9fini pour tout temps, est transversalement dilatant.<br \/>\n\\section{Hyperbolicit\u00e9 sur le compl\u00e9mentaire} \\label{p: hyperbolicite}<\/p>\n<p>On suppose dans cette partie que $n= 3$. Nous consid\u00e9rons un champ de vecteurs $X$ qui v\u00e9rifie les deux propri\u00e9t\u00e9s 1) et 2), ainsi que la propri\u00e9t\u00e9 suivante<\/p>\n<p>\\vspace{0.2cm}<\/p>\n<p>3) La divergence de $X$ est nulle. \\footnote{Une remarque d&rsquo;Adolfo Guillot est le fait que tout feuilletage $\\mathcal F$ de $\\mathbb P^2(\\mathbb C)$ est d\u00e9fini par un unique champ homog\u00e8ne de $\\mathbb C^3$ de divergence nulle. }<\/p>\n<p>\\vspace{0.3cm}<\/p>\n<p>On note alors $U$ l&rsquo;ensemble de discontinuit\u00e9, qui est isomorphe \u00e0 un fibr\u00e9 en disques dont on a montr\u00e9 l&rsquo;existence dans la partie p\u00e9c\u00e9dente, et $\\mathcal M$ le compl\u00e9mentaire de $U$.<\/p>\n<p>\\vspace{0.2cm}<\/p>\n<p>{\\bf D\u00e9finition.} On dira que $\\mathcal M$ est hyperbolique si, \u00e9tant donn\u00e9e une m\u00e9trique hermitienne sur le fibr\u00e9 normal $N_{\\mathcal F}$ de $\\mathcal F$, il existe un voisinage $V$ arbitrairement petit de l&rsquo;ensemble singulier de $\\mathcal F$ dans $\\mathbb P^2(\\mathbb C)$, tel que la propri\u00e9t\u00e9 suivante a lieu. Pour tout $p \\in \\mathcal M \\setminus V$, il existe un chemin $\\gamma: [0, 1] \\rightarrow F_p \\setminus V$ tel que $$ || Dh_\\gamma (p) || &gt;1,$$<br \/>\no\u00f9 $h_\\gamma$ est l&rsquo;application d&rsquo;holonomie associ\u00e9e \u00e0 $\\gamma$. \\footnote{Cette notion ne d\u00e9pend pas de la m\u00e9trique hermitienne choisie.}<\/p>\n<p>\\vspace{0.3cm}<\/p>\n<p>{\\bf Proposition.} \\textit{Sous les hypoth\u00e8ses 1), 2) et 3), l&rsquo;ensemble $\\mathcal M$ est hyperbolique.}<\/p>\n<p>\\vspace{0.3cm}<\/p>\n<p>Commen\\c{c}ons par introduire une m\u00e9trique sp\u00e9cifique sur le fibr\u00e9 normal \u00e0 $\\mathcal F$. Pour cela, il suffit de construire une m\u00e9trique sur le fibr\u00e9 normal \u00e0 $\\mathcal G= \\pi^* \\mathcal F$, o\u00f9 $\\pi : \\mathbb C^3 \\setminus \\{ 0 \\} \\rightarrow \\mathbb P^2 (\\mathbb C)$, qui soit invariante par l&rsquo;op\u00e9ration de multiplication par les scalaires. La distribution tangente du feuilletage $ \\mathcal G$ est<br \/>\n$$ T \\mathcal G = \\mathbb C R \\oplus \\mathbb C X,$$<br \/>\n$R$ d\u00e9signant le champ radial. Pour $x\\in \\mathbb C^3\\setminus \\{ 0 \\}$, les formes lin\u00e9aires<br \/>\n$$\\varphi _x (u) = \\text{det} (R(x) , X(x) , u) $$<br \/>\nont pour noyau $T_x \\mathcal G$, et d\u00e9finissent donc des formes lin\u00e9aires non nulles sur $N_x \\mathcal G$. Elles v\u00e9rifient<br \/>\n$$ \\varphi_{\\lambda x} (\\lambda u ) = \\text{det} (R(\\lambda x) , X(\\lambda x), u ) = \\lambda ^{d+1} \\varphi _x (u),$$<br \/>\npour tous $\\lambda \\in \\mathbb C^*$, $x\\in \\mathbb C^3\\setminus 0$, et $u\\in N_x\\mathcal G$. Ainsi, les m\u00e9triques<br \/>\n$$ || u ||_x := \\frac{|\\varphi_x (u)|}{||x||^{d+1}}, $$<br \/>\no\u00f9 $||x||=\\sqrt{\\sum_k |x_k|^2}$, v\u00e9rifient la relation d&rsquo;invariance<br \/>\n$$ ||\\lambda u ||_{\\lambda x} = ||u||_x $$<br \/>\npour tous $x,u$ comme avant. Elles d\u00e9finissent donc une m\u00e9trique sur~$N_\\mathcal F$.<\/p>\n<p>\\vspace{0.2cm}<\/p>\n<p>{\\bf Lemme.} \\textit{Pour tout chemin lisse par morceaux $\\gamma: [0,1] \\rightarrow \\mathbb P^2(\\mathbb C)$ commen\\c{c}ant en $p= \\gamma(0)$, et dont l&rsquo;image est contenu dans la feuille $F_p$ de $\\mathcal F$, on a<br \/>\n$$ || D h _\\gamma (p) || = \\left( \\frac{|| \\tilde{\\gamma} (1) ||}{|| \\tilde{\\gamma} (0)||} \\right) ^{-(d+1)},$$<br \/>\no\u00f9 $\\tilde{\\gamma} : [0, 1] \\rightarrow \\mathbb C^3\\setminus 0$ est la solution de<br \/>\n\\begin{itemize}<br \/>\n\\item $\\pi \\circ \\tilde{\\gamma} = \\gamma$<br \/>\n\\item $D \\tilde{\\gamma} (s) \\in \\mathbb C X(\\tilde{\\gamma} (s<\/span><script type=\"text\/javascript\">\tjQuery(\"#footnote_plugin_tooltip_2\").tooltip({\t\ttip: \"#footnote_plugin_tooltip_text_2\",\t\ttipClass: \"footnote_tooltip\",\t\teffect: \"fade\",\t\tfadeOutSpeed: 100,\t\tpredelay: 400,\t\tposition: \"top right\",\t\trelative: true,\t\toffset: [10, 10]\t});<\/script> $ pour tout $s\\in [0,1]$.<br \/>\n\\end{itemize}<br \/>\nEn d&rsquo;autres termes, $\\tilde{\\gamma}$ est le relev\u00e9 de $\\gamma$ au feuilletage $\\tilde{\\mathcal F}$ dont la distribution tangente est $\\mathbb C X$. }<\/p>\n<p>\\vspace{0.3cm}<\/p>\n<p>{\\bf Remarque.} Sans l&rsquo;hypoth\u00e8se 3), on aurait la formule<br \/>\n$$ || D h _\\gamma (p) || = \\left( \\frac{|| \\tilde{\\gamma} (1) ||}{|| \\tilde{\\gamma} (0)||} \\right) ^{-(d+1)} \\cdot \\left| \\exp \\left(\\int _{\\tilde{\\gamma}} \\text{div} (X) dt \\right) \\right| . $$<br \/>\nD\u00e9montrons cette formule, et donc le lemme. On note $t(s) $ le temps complexe pour parcourir $\\tilde{\\gamma}$. Calculons la diff\u00e9rentielle du flot $\\Psi^t:= \\exp (t X)$ et notamment son action sur le fibr\u00e9 tangent \u00e0 $\\mathcal G$. On sait que l&rsquo;on a<br \/>\n$$ D \\Psi ^t (X) = X$$ et comme $X$ est homog\u00e8ne de degr\u00e9 $d$, on a \u00e9galement $$ D\\Psi ^t (R) = R + fX,$$ o\u00f9 $f$ est une certaine fonction. Pour tout $x \\in \\mathbb C^3 \\setminus 0$, tout $u \\in \\mathbb C^3 $, et tout $t$, on a donc<br \/>\n$$ \\det \\left( D\\Psi^t (R(x)), D\\Psi^t (X(x)) , D\\Psi^t (u) \\right) = \\det \\left( R(\\Psi^t x), X(\\Psi^t x) , D\\Psi^t (u) \\right) =\\varphi_{\\Psi^t x} (D \\Psi ^t (u) ) .$$<br \/>\nOr<br \/>\n$$ \\det \\left( D\\Psi^t (R(x)), D\\Psi^t (X(x)) , D\\Psi^t (u) \\right) = \\exp \\left( \\int _0^t \\text{div} (X) dt \\right) \\cdot \\det{ \\left(R(x), X(x) , u \\right)} $$<br \/>\nce qui donne<br \/>\n$$ \\varphi_{\\Psi^t x} (D \\Psi ^t (u) ) = \\exp \\left( \\int _0^t \\text{div} (X) dt \\right) \\cdot \\varphi _ x(u). $$<br \/>\nOn obtient finalement<br \/>\n$$ || D h _\\gamma (p) || =\\frac{||D\\Psi^t u ||_{\\Psi^t(x)}}{||u||_{x}}= \\left( \\frac{||\\Psi^t(x)||} {||x||}\\right)^{-(d+1)} \\cdot \\left| \\exp \\left( \\int _0^t \\text{div} (X) dt \\right) \\right|$$<br \/>\nce qui nous donne la formule escompt\u00e9e avec $x= \\tilde{\\gamma}(0)$ et $\\Psi^t(x) = \\tilde{\\gamma} (1)$. cqfd<\/p>\n<p>\\vspace{0.3cm}<\/p>\n<p>{\\bf Corollaire.} \\textit{Pour tout $p\\in \\mathcal M$, la trajectoire de $V$ issue de $x$ est d\u00e9finie pour tout temps, et l&rsquo;on a pour tout $t\\in \\mathbb R$, $$\\log || h_{\\Phi ^{[0, t]} ( p) } || = &#8211; t. $$ }<\/p>\n<p>\\vspace{0.3cm}<\/p>\n<p>Ce r\u00e9sultat est imm\u00e9diat. En utilisant le flot inverse $\\Phi^{-t}$, qui agit comme une source au voisinage de chaque singularit\u00e9 (voir remarque de la partie pr\u00e9c\u00e9dente), on obtient l&rsquo;hyperbolicit\u00e9 de $\\mathcal M$.<\/p>\n<div class=\"footnote_container_prepare\">\t<p><span onclick=\"footnote_expand_reference_container();\">References<\/span><span style=\"display: none;\">&nbsp;&nbsp;&nbsp;[ <a id=\"footnote_reference_container_collapse_button\" style=\"cursor:pointer;\" onclick=\"footnote_expand_collapse_reference_container();\">+<\/a> ]<\/span><\/p><\/div><div id=\"footnote_references_container\" style=\"\">\t<table class=\"footnote-reference-container\">\t\t<tbody>\t\t<tr>\t<td class=\"footnote_plugin_index\"><span id=\"footnote_plugin_reference_1\">1.<\/span><\/td>\t<td class=\"footnote_plugin_link\"><span onclick=\"footnote_moveToAnchor('footnote_plugin_tooltip_1');\">&#8593;<\/span><\/td>\t<td class=\"footnote_plugin_text\">le calcul de la classe d&rsquo;Euler vient de celui de l&rsquo;auto-intersection de la surface de bogomolov. Serait-il possible de calculer d&rsquo;autres invariants cohomologiques, notamment la classe de \u00ab\u00a0Godbillon-Vey discr\u00e8te\u00a0\u00bb de cette repr\u00e9sentation ?<\/td><\/tr><tr>\t<td class=\"footnote_plugin_index\"><span id=\"footnote_plugin_reference_2\">2.<\/span><\/td>\t<td class=\"footnote_plugin_link\"><span onclick=\"footnote_moveToAnchor('footnote_plugin_tooltip_2');\">&#8593;<\/span><\/td>\t<td class=\"footnote_plugin_text\">3,3,7)\\) v\u00e9rifiant (3).<br \/>\n\\section{Domaines de discontinuit\u00e9}<br \/>\nRappelons que, \\footnote{voir le document Vari\u00e9t\u00e9s de Bogomolov} \u00e9tant donn\u00e9 un champ de vecteurs holomorphe $X$ sur $\\mathbb C^n$ qui est homog\u00e8ne de degr\u00e9 $d \\geq 2$, les courbes int\u00e9grales de l&rsquo;EDO<br \/>\n\\begin{equation} \\label{eq: EDO} \\dot{x} = X (x) ,\\ \\ x(0) = x_0\\end{equation}<br \/>\nsont invariantes par l&rsquo;action de $\\mathbb C^*$ sur $\\mathbb C^n$ par multiplication par les scalaires, ce qui d\u00e9finit un feuilletage alg\u00e9brique $\\mathcal F$ sur $\\mathbb P^{n-1}(\\mathbb C)$. Les feuilles de $\\mathcal F$ se rel\u00e8vent en des courbes int\u00e9grales de l&rsquo;EDO \\eqref{eq: EDO}, et la diff\u00e9rentielle<br \/>\n\\begin{equation}\\label{eq: differentielle} \\omega = d\\log ||x|| \\end{equation}<br \/>\nne d\u00e9pend pas du rel\u00e8vement. Autrement dit, \\eqref{eq: differentielle} d\u00e9finit une diff\u00e9rentielle r\u00e9elle sur $T\\mathcal F$ qui est ferm\u00e9e le long des feuilles. De fa\\c{c}on duale, cette forme d\u00e9finit un champ de vecteurs r\u00e9el tangent \u00e0 $\\mathcal F$, par les conditions<br \/>\n\\begin{equation} \\label{eq: champ de vecteurs dual} \\omega (V) = 1 \\text{ et $V$ est orthogonal \u00e0 } \\text{Ker} (\\omega) \\end{equation}<\/p>\n<p>Nous supposerons par la suite que l&rsquo;\u00e9quation diff\u00e9rentielle \\eqref{eq: EDO} v\u00e9rifie les hypoth\u00e8ses suivantes :<\/p>\n<ol>\n<li>pour tout $p \\in \\mathbb C^n \\setminus 0$ tel que $[p] \\in \\text{sing} (\\mathcal F)$, on a $X(p) \\neq 0$,<\/li>\n<li>les points critiques de la fonction (multivalu\u00e9e) $\\log ||.||$ le long des feuilles de $\\mathcal F$ sont tous non d\u00e9g\u00e9n\u00e9r\u00e9s d&rsquo;indice $0$.<\/li>\n<\/ol>\n<p>{\\bf Proposition.} \\textit{Supposons que $X$ satisfasse les deux conditions 1) et 2) ci-dessus. Alors l&rsquo;ensemble $M := \\{ V = \\infty \\} \\subset \\mathbb P^{n-1} (\\mathbb C) \\setminus \\text{sing} (\\mathcal F)$ est une vari\u00e9t\u00e9 de Bogomolov relative \u00e0 $\\mathcal F$ qui n&rsquo;accumule pas sur $\\text{sing} (\\mathcal F)$. Le satur\u00e9 de $M$ par $\\mathcal F$ est un ouvert strict $U\\subset \\mathbb P^{n-1} (\\mathbb C)$ sur lequel le feuilletage est une fibration en disques.}<\/p>\n<p>Le fait que l&rsquo;ensemble $M$ soit transverse au feuilletage $\\mathcal F$ d\u00e9coule de ce que les points critiques de $\\log ||.||$ sont non d\u00e9g\u00e9n\u00e9r\u00e9s~: $M$ est donc bien une sous-vari\u00e9t\u00e9 de Bogomolov relative au feuilletage $\\mathcal F$ sur $\\mathbb P^{n-1} (\\mathbb C) \\setminus \\text{sing} (\\mathcal F)$.<\/p>\n<p>{\\bf Analyticit\u00e9 de $V$.} \\textit{La vari\u00e9t\u00e9 $M$ n&rsquo;accumule pas sur $\\text{sing} (\\mathcal F)$. De plus, $V$ d\u00e9finit un champ de vecteurs analytique sur $\\mathbb P^{n-1} (\\mathbb C) \\setminus M$.}<\/p>\n<p>Quitte \u00e0 appliquer un automorphisme lin\u00e9aire sur $\\mathbb C^n$, nous pouvons supposer que $p_0 = [0:\\ldots:0:1]$. On a donc $X_k (0,\\ldots, 0, 1)= 0$ si $k&lt;n$ et $X_n (0,\\ldots, 0, 1) \\neq 0$ d&rsquo;apr\u00e8s l&rsquo;hypoth\u00e8se (2). Posons $x_k = u_k x_n$~; nous avons<br \/>\n$$ \\dot{u_k} = \\frac{\\dot{x_k} x_n &#8211; \\dot{x_n } x_k}{x_n^2}= x_n^{d-1} P_k (u_1,\\ldots, u_{n-1}) $$<br \/>\no\u00f9<br \/>\n$$ P_k (u_1,\\ldots, u_{n-1}) = X_k (u_1,\\ldots, u_{n-1}, 1) &#8211; X_n (u_1,\\ldots, u_{n-1}, 1) u_k .$$<br \/>\nR\u00e9solvons l&rsquo;\u00e9quation diff\u00e9rentielle $\\frac{dT}{dt}= x_n ^{d-1}$ le long d&rsquo;une solution de $X$. Les fonctions $u_k$ v\u00e9rifient l&rsquo;EDO<br \/>\n\\begin{equation} \\label{eq: singularite} \\frac{d u_k}{dT} = P_k (u_1,\\ldots, u_{n-1}) \\text{ pour tout } k= 1,\\ldots, n-1. \\end{equation}<\/p>\n<p>On a alors<br \/>\n$$ d \\log || (x_1,\\ldots, x_n) ||^2 = 2\\Re d\\log x_n + d\\log (|u_1|^2 + \\ldots + |u_{n-1}|^2 + 1)$$<br \/>\nOr, en notant $P_n(u_1,\\ldots, u_{n-1}) = X_n (u_1,\\ldots, u_{n-1}, 1)$,<br \/>\n$$ \\frac{dx_n}{dT}= \\frac{dx_n}{dt} \\frac{dt}{dT}= x_n^d P_n (u_1,\\ldots, u_{n-1}) x_n^{1-d}=x_n P_n(u_1,\\ldots, u_{n-1}), $$<br \/>\net donc<br \/>\n$$ d\\log x_n = P_n(u_1,\\ldots, u_{n-1}) dT.$$<br \/>\nCeci donne finalement<br \/>\n$$ d \\log || (x_1,\\ldots, x_n) ||^2 = 2 \\Re( f \\cdot dT) ,$$<br \/>\navec<br \/>\n$$ f = P_n (u) + \\frac{ \\sum_{1\\leq k\\leq n-1} P_k (u ) \\overline{u_k}}{||u||^2 + 1}.$$<br \/>\nDe fa\\c{c}on duale, en notant $Y = \\sum_{1\\leq k \\leq n-1} P_k (u) \\frac{\\partial}{\\partial u_k}$, on obtient l&rsquo;expression de $V$ suivante<br \/>\n$$ V = \\frac{1}{2f} Y.$$<br \/>\nOr $P_n (0, \\ldots, 0) \\neq 0$ par l&rsquo;hypoth\u00e8se (1), et donc $f$ ne s&rsquo;annule pas en l&rsquo;origine, ce qui conclut la d\u00e9monstration. cqfd<\/p>\n<p>\\vspace{0.3cm}<br \/>\n{\\bf Compl\u00e9tude en temps positif.} \\textit{ Sous les hypoth\u00e8ses 1) et 2), le flot associ\u00e9 au champ de vecteurs $V$ sur $\\mathbb P^{n-1} (\\mathbb C) \\setminus (M\\cup \\text{sing} (\\mathcal F) ) $ est d\u00e9fini pour tout temps positif. }<\/p>\n<p>\\vspace{0.3cm}<\/p>\n<p>Comme les points critiques de $\\log ||.||$ sont non d\u00e9g\u00e9n\u00e9r\u00e9s et d&rsquo;indice nul en restriction \u00e0 chaque feuille, les points d&rsquo;intersection des feuilles avec $M$ sont des sources pour le champ $V$. En fait, pour tout point $p\\in \\mathbb P^{n-1} (\\mathbb C)\\setminus M$ suffisamment proche de $M$, la solution passant par $p$ poss\u00e8de un intervalle maximal de d\u00e9finition \u00e0 droite fini, de la forme $(-r(p), 0]$ avec $r(p)&gt;0$, et la limite de $\\phi ^t(p)$ lorsque $t$ tend vers $-r(p)$ existe et appartient \u00e0 $M$. On note $\\pi (p)$ ce dernier point. L&rsquo;extension de l&rsquo;application $\\pi$ \u00e0 $M$ d\u00e9finie par $\\pi(p)= p$ si $p\\in M$ est continue, et conf\u00e8re \u00e0 un certain voisinage $W$ de $M$ une structure de fibr\u00e9 en disques au dessus de $M$. Notez que le champ $V$ est sortant sur $\\partial W$. Le caract\u00e8re analytique de $V$ en dehors de $M$ permet alors de conclure. cqfd.<br \/>\n\\vspace{0.3cm}<\/p>\n<p>Nous sommes maintenant en mesure de d\u00e9montrer la Proposition ci-dessus. Consid\u00e9rons une feuille $\\tilde{F}$ du feuilletage $\\tilde{\\mathcal F}$ de $\\mathbb C^n \\setminus 0$ induit par le champ de vecteurs $X$, et supposons que $\\tilde{F}$ contienne un point $\\tilde{p_0}$ o\u00f9 $\\tilde{V}$ admet un p\\^ole (ici $\\tilde{V}$ est le relev\u00e9 de $V$ \u00e0 $\\tilde{F}$). D&rsquo;apr\u00e8s l&rsquo;hypoth\u00e8se (2), la restriction de la fonction $\\log ||.||$ \u00e0 $\\tilde{F}$ admet un point critique non d\u00e9g\u00e9n\u00e9r\u00e9 en $\\tilde{p_0}$ d&rsquo;indice $0$. Si l&rsquo;on trace un petit cercle $\\tilde{\\gamma}$ autour de $\\tilde{p_0}$ dans $\\tilde{F}$, alors nous savons que toute trajectoire issue d&rsquo;un point $\\tilde{p}$ de $\\tilde{\\gamma}$ au temps $0$ tend vers $\\tilde{p_0}$ au temps $-r (\\tilde{p}) &gt;0$, et est d\u00e9finie pour tout temps positif.<\/p>\n<p>Or par construction du champ $V$, on a pour tout $t\\geq 0$ et tout $\\tilde{p}\\in \\tilde{\\gamma}$,<br \/>\n$$ \\log || \\tilde\\Phi ^t (\\tilde{p}) || = t + \\log || \\tilde{p} || .$$<br \/>\nCeci montre deux choses. D&rsquo;une part la feuille $\\tilde{F}$ est constitu\u00e9e de l&rsquo;union des trajectoires du champ $\\tilde{V}$ issues d&rsquo;un point $\\tilde{p}\\in \\tilde{\\gamma}$ ainsi que du point $\\tilde{p_0}$ (et en particulier $\\tilde{F}$ est diff\u00e9omorphe \u00e0 un disque). Et d&rsquo;autre part, l&rsquo;unique p\\^ole de $V$ sur $\\tilde{F}$ est le point $\\tilde{p_0}$.<\/p>\n<p>Pour conclure, il suffit de dire qu&rsquo;une feuille $F \\subset \\mathbb P^{n-1} (\\mathbb C)$ de $\\mathcal F$ passant par un point $p_0 \\in V$ se rel\u00e8ve en une feuille $\\tilde{F}\\subset \\mathbb C^n \\setminus 0$ passant par un relev\u00e9 $\\tilde{p_0}$ de $p_0$. L&rsquo;application naturelle $\\tilde{F} \\rightarrow F$ est un rev\\^etement ab\u00e9lien dont le groupe de Galois pr\u00e9serve l&rsquo;ensemble des p\\^oles de $\\tilde{V}$ en restriction \u00e0 $\\tilde{F}$. Comme cet ensemble est r\u00e9duit \u00e0 $p_0$ d&rsquo;apr\u00e8s ce qui pr\u00e9c\u00e8de, ce groupe de Galois est trivial, et donc l&rsquo;application $\\tilde{F} \\rightarrow F$ est en fait un diff\u00e9omorphisme. Tout ce que nous avons dit sur $\\tilde{F}$ s&rsquo;applique donc \u00e0 $F$~; en particulier, le satur\u00e9 $U$ de $M$ dans $\\mathbb P^{n-1} (\\mathbb C)$ est un fibr\u00e9 en disques au dessus de $M$. cqfd<\/p>\n<p>\\vspace{0.3cm}<\/p>\n<p>{\\bf D\u00e9finition.} Sous les hypoth\u00e8ses 1) et 2), nous appellerons le satur\u00e9 de $M$ l&rsquo;\\textit{ensemble de discontinuit\u00e9} de $\\mathcal F$. Il sera not\u00e9 $U$ et son compl\u00e9mentaire $\\mathcal M$.<\/p>\n<p>\\vspace{0.3cm}<br \/>\n{\\bf Remarques. 1.} L&rsquo;ext\u00e9rieur de $U$ est connexe. En particulier, il n&rsquo;est pas r\u00e9duit \u00e0 un ensemble de singularit\u00e9s, d\u00e9s lors qu&rsquo;il y a au moins deux singularit\u00e9s.<\/p>\n<p>{\\bf 2.} Dans le cas de l&rsquo;\u00e9quation de Jouanolou pour les param\u00e8tres $n= 3$, $d=2$, on constate que le champ de vecteurs $V$ rentre dans les singularit\u00e9s (il est en particulier transverse \u00e0 de suffisamment petites sph\u00e8res autour de ces derni\u00e8res). On trouve la d\u00e9monstration de cela dans le document \u00ab\u00a0structure affine\u00a0\u00bb, page 2. En effet, un petit calcul montre que le champ $V$ est asymptote dans la coordonn\u00e9e $T = \\alpha + i \\beta$ au champ $\\frac{\\partial}{\\partial \\alpha}$ qui entre dans le domaine $A$. Cette remarque sera importante pour montrer que sur l&rsquo;ext\u00e9rieur de $U$, l&rsquo;inverse du flot $V$, qui est alors d\u00e9fini pour tout temps, est transversalement dilatant.<br \/>\n\\section{Hyperbolicit\u00e9 sur le compl\u00e9mentaire} \\label{p: hyperbolicite}<\/p>\n<p>On suppose dans cette partie que $n= 3$. Nous consid\u00e9rons un champ de vecteurs $X$ qui v\u00e9rifie les deux propri\u00e9t\u00e9s 1) et 2), ainsi que la propri\u00e9t\u00e9 suivante<\/p>\n<p>\\vspace{0.2cm}<\/p>\n<p>3) La divergence de $X$ est nulle. \\footnote{Une remarque d&rsquo;Adolfo Guillot est le fait que tout feuilletage $\\mathcal F$ de $\\mathbb P^2(\\mathbb C)$ est d\u00e9fini par un unique champ homog\u00e8ne de $\\mathbb C^3$ de divergence nulle. }<\/p>\n<p>\\vspace{0.3cm}<\/p>\n<p>On note alors $U$ l&rsquo;ensemble de discontinuit\u00e9, qui est isomorphe \u00e0 un fibr\u00e9 en disques dont on a montr\u00e9 l&rsquo;existence dans la partie p\u00e9c\u00e9dente, et $\\mathcal M$ le compl\u00e9mentaire de $U$.<\/p>\n<p>\\vspace{0.2cm}<\/p>\n<p>{\\bf D\u00e9finition.} On dira que $\\mathcal M$ est hyperbolique si, \u00e9tant donn\u00e9e une m\u00e9trique hermitienne sur le fibr\u00e9 normal $N_{\\mathcal F}$ de $\\mathcal F$, il existe un voisinage $V$ arbitrairement petit de l&rsquo;ensemble singulier de $\\mathcal F$ dans $\\mathbb P^2(\\mathbb C)$, tel que la propri\u00e9t\u00e9 suivante a lieu. Pour tout $p \\in \\mathcal M \\setminus V$, il existe un chemin $\\gamma: [0, 1] \\rightarrow F_p \\setminus V$ tel que $$ || Dh_\\gamma (p) || &gt;1,$$<br \/>\no\u00f9 $h_\\gamma$ est l&rsquo;application d&rsquo;holonomie associ\u00e9e \u00e0 $\\gamma$. \\footnote{Cette notion ne d\u00e9pend pas de la m\u00e9trique hermitienne choisie.}<\/p>\n<p>\\vspace{0.3cm}<\/p>\n<p>{\\bf Proposition.} \\textit{Sous les hypoth\u00e8ses 1), 2) et 3), l&rsquo;ensemble $\\mathcal M$ est hyperbolique.}<\/p>\n<p>\\vspace{0.3cm}<\/p>\n<p>Commen\\c{c}ons par introduire une m\u00e9trique sp\u00e9cifique sur le fibr\u00e9 normal \u00e0 $\\mathcal F$. Pour cela, il suffit de construire une m\u00e9trique sur le fibr\u00e9 normal \u00e0 $\\mathcal G= \\pi^* \\mathcal F$, o\u00f9 $\\pi : \\mathbb C^3 \\setminus \\{ 0 \\} \\rightarrow \\mathbb P^2 (\\mathbb C)$, qui soit invariante par l&rsquo;op\u00e9ration de multiplication par les scalaires. La distribution tangente du feuilletage $ \\mathcal G$ est<br \/>\n$$ T \\mathcal G = \\mathbb C R \\oplus \\mathbb C X,$$<br \/>\n$R$ d\u00e9signant le champ radial. Pour $x\\in \\mathbb C^3\\setminus \\{ 0 \\}$, les formes lin\u00e9aires<br \/>\n$$\\varphi _x (u) = \\text{det} (R(x) , X(x) , u) $$<br \/>\nont pour noyau $T_x \\mathcal G$, et d\u00e9finissent donc des formes lin\u00e9aires non nulles sur $N_x \\mathcal G$. Elles v\u00e9rifient<br \/>\n$$ \\varphi_{\\lambda x} (\\lambda u ) = \\text{det} (R(\\lambda x) , X(\\lambda x), u ) = \\lambda ^{d+1} \\varphi _x (u),$$<br \/>\npour tous $\\lambda \\in \\mathbb C^*$, $x\\in \\mathbb C^3\\setminus 0$, et $u\\in N_x\\mathcal G$. Ainsi, les m\u00e9triques<br \/>\n$$ || u ||_x := \\frac{|\\varphi_x (u)|}{||x||^{d+1}}, $$<br \/>\no\u00f9 $||x||=\\sqrt{\\sum_k |x_k|^2}$, v\u00e9rifient la relation d&rsquo;invariance<br \/>\n$$ ||\\lambda u ||_{\\lambda x} = ||u||_x $$<br \/>\npour tous $x,u$ comme avant. Elles d\u00e9finissent donc une m\u00e9trique sur~$N_\\mathcal F$.<\/p>\n<p>\\vspace{0.2cm}<\/p>\n<p>{\\bf Lemme.} \\textit{Pour tout chemin lisse par morceaux $\\gamma: [0,1] \\rightarrow \\mathbb P^2(\\mathbb C)$ commen\\c{c}ant en $p= \\gamma(0)$, et dont l&rsquo;image est contenu dans la feuille $F_p$ de $\\mathcal F$, on a<br \/>\n$$ || D h _\\gamma (p) || = \\left( \\frac{|| \\tilde{\\gamma} (1) ||}{|| \\tilde{\\gamma} (0)||} \\right) ^{-(d+1)},$$<br \/>\no\u00f9 $\\tilde{\\gamma} : [0, 1] \\rightarrow \\mathbb C^3\\setminus 0$ est la solution de<br \/>\n\\begin{itemize}<br \/>\n\\item $\\pi \\circ \\tilde{\\gamma} = \\gamma$<br \/>\n\\item $D \\tilde{\\gamma} (s) \\in \\mathbb C X(\\tilde{\\gamma} (s<\/td><\/tr>\t\t<\/tbody>\t<\/table><\/div><script type=\"text\/javascript\">\tfunction footnote_expand_reference_container() {\t\tjQuery(\"#footnote_references_container\").show();        jQuery(\"#footnote_reference_container_collapse_button\").text(\"-\");\t}    function footnote_collapse_reference_container() {        jQuery(\"#footnote_references_container\").hide();        jQuery(\"#footnote_reference_container_collapse_button\").text(\"+\");    }\tfunction footnote_expand_collapse_reference_container() {\t\tif (jQuery(\"#footnote_references_container\").is(\":hidden\")) {            footnote_expand_reference_container();\t\t} else {            footnote_collapse_reference_container();\t\t}\t}    function footnote_moveToAnchor(p_str_TargetID) {        footnote_expand_reference_container();        var l_obj_Target = jQuery(\"#\" + p_str_TargetID);        if(l_obj_Target.length) {            jQuery('html, body').animate({                scrollTop: l_obj_Target.offset().top - window.innerHeight\/2            }, 1000);        }    }<\/script>","protected":false},"excerpt":{"rendered":"<p>Suite du document \u00ab\u00a0Vari\u00e9t\u00e9s de Bogomolov\u00a0\u00bb Le but de ce document est d&rsquo;\u00e9tablir des crit\u00e8res permettant d&rsquo;exhiber des domaines de discontinuit\u00e9 non vides pour des feuilletages alg\u00e9briques de \\(\\mathbf{P}^n (\\mathbf{C})\\) (le cas des vari\u00e9t\u00e9s alg\u00e9briques plus g\u00e9n\u00e9rales sera trait\u00e9 plus tard), et d&rsquo;\u00e9tudier leur compl\u00e9mentaires. En particulier, on va montrer que (modulo certaines conditions de &hellip; <a href=\"https:\/\/feuilletages-algebriques.math.cnrs.fr\/index.php\/existence-de-domaine-de-discontinuite\/\" class=\"more-link\">Continuer la lecture<span class=\"screen-reader-text\"> de &laquo;&nbsp;Existence de domaine de discontinuit\u00e9&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-17","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/feuilletages-algebriques.math.cnrs.fr\/index.php\/wp-json\/wp\/v2\/pages\/17","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=17"}],"version-history":[{"count":14,"href":"https:\/\/feuilletages-algebriques.math.cnrs.fr\/index.php\/wp-json\/wp\/v2\/pages\/17\/revisions"}],"predecessor-version":[{"id":119,"href":"https:\/\/feuilletages-algebriques.math.cnrs.fr\/index.php\/wp-json\/wp\/v2\/pages\/17\/revisions\/119"}],"wp:attachment":[{"href":"https:\/\/feuilletages-algebriques.math.cnrs.fr\/index.php\/wp-json\/wp\/v2\/media?parent=17"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}