Question autour d'une singularité essentielle et le théorème de Picard

Par Mathoman, jeudi 18 septembre 2008 à 17:18 - Conjecture - Tags

A la fin de mon article Hyperelliptic action integral, Annales de l'institut Fourier 49(1), p. 303–331, j'ose la conjecture suivante:

Une conjecture autour d'une singularité.
Soit D le disque unité du plan complexe et $U_1,U_2,\,\dots\,,U_n$ un recouvrement du disque épointé D*= D\{0} par des ouverts. Sur chaque ouvert $U_j$ soit $f_j$ une fonction holomorphe injective telle que $df_j=df_k$ sur toutes les intersections $U_j\cap U_k$ . Alors ces différentielles se recollent en une 1-forme méromorphe sur D.

Il est clair que la 1-forme est holomorphe sur D*. Si son résidu est nul, alors la conjecture découle facilement du grand théorème de Picard, cité ci-dessous. Mais si le résidu est non-nul, je ne sais pas la démontrer.
Toute preuve ou tout contre-exemple sont les bienvenus — à vrai dire les contre-exemples un peu moins car je crois (guidé par mon intuition géométrique des surfaces de Riemann) que cette conjecture est vraie...

En 1880 Charles Emile Picard (1856-1941) prouva le théorème suivant.

Grand théorème de Picard.
Une fonction holomorphe ayant une singularité essentielle prend, sur tout voisinage de cette singularité, tout nombre complexe une infinité de fois comme valeur, sauf peut-être un.

Exemple typique pour le théorème de Picard

La fonction définie par

$\:f(z)=e^{1/z}=\sum_{k=0}^{\infty}\:\frac1{k!z^k}\;$

est holomorphe sur $\mathbb{C}\backslash0$ et possède une singularité essentielle en $0$ . L'image de f épargne-t-il une valeur (Picard dit "sauf peut-être un")? Oui, et comme $f(z)\neq0$ pour tout $z\in\mathbb{C}\backslash0$ , cette valeur épargnée est forcément zéro; le théorème affirme alors que pour tout nombre complexe $w\neq0$ et pour tout $\epsilon>0$ il existe une infinité de nombres complexes $z$ tels que $0<|z|<\epsilon$ et $f(z)=w$ .

Calcul direct avec cet exemple

Dans l'exemple ci-dessus on peut se debrouiller par un calcul direct sans invoquer le théorème de Picard. En effet, fixons un nombre complexe non-nul $w$ et un $\epsilon>0.$ Il existe alors deux réels $r>0$ et $\varphi$ tels que

$w=re^{i\varphi}.$

Pour tout $n \in \mathbb{N}$ posons $u_n=\ln r+i(\varphi+2\pi n)$ et $z_n=1/{u_n}.$ Alors $\lim_{n\to\infty}z_n=0$ .
Ainsi on a on a

$f(z_n)=e^{u_n}=e^{\ln r+i(\varphi+2\pi n)}=re^{i \varphi}=w.$

Par conséquence, en prenant $n$ assez grand, on voit que $w$ possède une infinité d'antécédents dans le disque épointé $0<\,|z|\,<\epsilon$ .

Un exemple moins évident

Notons P l'ensemble des nombres premiers et considérons la fonction définie par

$g(z)=\sum_{p \in P}^{}\frac{1}{p!z^p}$ .

On peut appliquer le théorème de Picard, car il y a une singularité essentielle à l'origine.
En revanche, il me semble impossible de faire un calcul explicite...

Pourquoi ne pas lire aussi :

Mieux comprendre la topologie des matrices singulières

Par Mathoman - Tags

Mon billet récent sur la dimension maximale d'un sous-espace affine contenu dans l'ensemble des matrices non-inversibles m'a inspiré les réflexions suivantes, une sorte de version différentiable de ce résultat.

On note ${\mathcal M}_n(\mathbb{R})$ l'espace des matrices n x n à coefficients réels et $GL(n,\mathbb{R})$ le sous-ensemble des matrices inversibles. On sait que $GL(n,\mathbb{R})$ est un ouvert dans ${\mathcal M}_n(\mathbb{R})$ . En effet c'est l'image réciproque de l'ouvert $\mathbb{R}^*$ par l'application continue déterminant

$\det\;:\;\; {\mathcal M}_n(\mathbb{R}) \;\rightarrow\;\mathbb{R}.$

On peut même dire un peu plus : le déterminant étant polynômial en $x_{11},x_{12},\dots,x_{nn}$ le complémentaire des matrices inversibles, c'est-à-dire l'ensemble des matrices de déterminant nul,

$\mathcal{A}\; =\; {\mathcal M}_n(\mathbb{R}) \:\backslash\:GL(n,\mathbb{R})$

est une hypersurface algébrique. Géométriquement parlé $\mathcal{A}$ est un fermé de ${\mathcal M}_n(\mathbb{R})$ qui ressemble localement à un hyperplan (c'est-à-dire à un sous-espace affine de dimension n²-1). Enfin, cela est vrai en presque tous les points, ceux où la différentielle du déterminant ne s'annulle pas (points réguliers). En revanche, en les points où la différentielle du déterminant est nulle (points singuliers), l'hypersurface $\mathcal{A}$ ne ressemble plus à un sous-espace affine. Il peut y avoir un croisement comme par exemple

ou un rétrécissement comme par exemple

(Pour plus d'images de surfaces algébriques visitez le la galerie de Herwig Hauser.)

Il est évident que la différentielle du déterminant est nulle à l'origine. Donc notre hypersurface ${\mathcal A}$ possède une singularité à l'origine. Le résultat suivant dit qu'il s'agit d'une singularité de type rétrécissement, car l'hypersurface de dimension n²-1 y perd quelques dimensions — il y reste juste assez de place pour n²-n dimensions...

Proposition :

Le nombre n²-n est la plus grande dimension possible d'une sous-variété différentiable F de $\mathcal{M}_n(\mathbb{R})$ telle que $0\in F\subset {\mathcal M}_n(\mathbb{R}) \backslash GL(n,\mathbb{R})\,.$

Démonstration :

L'ensemble des matrices dont la première ligne est nulle est un sous-espace vectoriel (et donc en particulier une sous-variété différentielle) de dimension n²-n. Evidemment il contient l'origine 0 et est contenu dans $\mathcal{A}$ .

Soit F une sous-variété de ${\mathcal M}_n(K)$ de dimension n²-n+1 et telle que $0\in F$ . Nous allons prouver que F contient une matrice inversible.
Au voisinage de l'origine la sous-variété F est décrite par un système de n-1 équations
$f_j(x_{11},x_{12},\ldots,x_{nn})=0\,,\;\;\;j=1,\,\ldots\,,n-1,$
tel que les différentielles $df_j$ sont linéairement indépendantes à l'origine. On résoud ce système par le théorème des fonctions implicites, c'est-à-dire on peut isoler (théorétiquement) n-1 des coordonnées et les exprimer par les autres. On a ainsi, toujours au voisiange de l'origine, n²-n+1 coordonnées variables et n-1 coordonnées isolées (fonctions différentiables des coordonnées variables).
Maintenant je peux poursuivre mon raisonnement de la preuve du cas affine : par des permutations de lignes et de colonnes je m'arrange à ce que les coordonnées isolées soient toutes au-dessus de la diagonale matricielle ; puis je prends les coordonnées sur la diagonale toutes égales à un nombre $\epsilon$ non-nul et proche de 0 et les autres coordonnées variables égales à 0. Ainsi j'obtiens une matrice inversible qui est dans F.