Accueil🇫🇷Chercher

Série de Hahn

En mathématiques, une série de Hahn (parfois appelée série de Hahn–Maltsev–Neumann) est une série formelle généralisant la notion de série de Puiseux ; les séries de Hahn acceptent des exposants arbitraires de l'indéterminée, tant que l'ensemble de ces exposants est un sous-ensemble bien ordonné du groupe (valué) de ces exposants (typiquement ou ). Ces séries furent introduites par Hans Hahn en 1907[1] dans la démonstration de son théorème de plongement (en), puis étudiées par lui en tant que corps dans son approche du dix-septième problème de Hilbert ; vers 1950, elles furent généralisées encore par Anatoli Maltsev et Bernhard Neumann au cas non commutatif.

Définition

L'ensemble des séries de Hahn (d'indéterminée T), sur un corps K, avec un groupe ordonné d'exposants Γ , est l'ensemble des expressions de la forme

avec , telles que le support de f, , est bien ordonné. On définit la somme et le produit de et de par

et

(dans cette dernière expression, la somme (prise sur les couples tels que et ) est finie, parce que à fixé, si on prend les en ordre croissant, la suite des est décroissante, et donc finie puisque le support est bien ordonné) ; avec ces définitions, est un corps.

Par exemple, est une série de Hahn (sur n'importe quel corps) puisque l'ensemble des rationnels est bien ordonné (et isomorphe à ) ; ce n'est pas une série de Puiseux, parce que la suite des dénominateurs des exposants n'est pas bornée ; si le corps de base K est de caractéristique p, cette série vérifie l'équation , et est donc algébrique sur .

Propriétés

Propriétés de la valuation

La valuation d'une série de Hahn non nulle est définie comme le plus petit élément du support de , autrement dit le plus petit tel que ; cela fait de un corps valué où l'intersection de toute suite décroissante de boules est non vide (on dit que est sphériquement complet (en)). Si est de caractéristique nulle, est (à isomorphisme près) la seule extension sphériquement complète de ayant pour groupe de valuation[2]. La valuation définit une topologie sur , et si , v correspond à une valeur absolue ultramétrique , pour laquelle est un espace métrique complet. Cependant, contrairement aux séries de Puiseux, les sommes formelles ne convergent pas en général : dans le cas de la série , par exemple, les valeurs absolues des termes tendent vers 1 (puisque leurs valuations tendent vers 0), et donc la série diverge grossièrement (on dit parfois que ces séries sont « pseudo-convergentes »[3]).

Propriétés algébriques

Si K est algébriquement clos (mais pas nécessairement de caractéristique nulle) et si Γ est divisible, alors est algébriquement clos[4]. Ainsi, la clôture algébrique de est contenue dans , où est la clôture algébrique de ; lorsque est de caractéristique nulle, cette clôture algébrique s'identifie au corps KT⟫ des séries de Puiseux et il est possible de décrire cette clôture algébrique en caractéristique non nulle comme un sous-ensemble de [5].

Si K est un corps ordonné, peut être totalement ordonné en posant T infiniment petit, c'est-à-dire positif et plus petit que tous les éléments positifs de K, ce qui revient à utiliser l'ordre lexicographique sur les coefficients des séries. Si K est réel clos et si Γ est divisible, est également réel clos[6]. Ce résultat permet d'analyser le Corps[7] des nombres surréels, lequel est isomorphe, en tant que corps ordonné, au corps des séries de Hahn à coefficients réels et à groupe d'exposants les nombres surréels eux-mêmes, avec l'indéterminée identifiée à [8].

Familles sommables

Définitions

On peut définir une notion de famille sommable dans : si est une famille de séries de Hahn (et donc ), on dit que est sommable si l'ensemble est bien ordonné, et si chaque ensemble pour est fini ; on peut alors définir la somme comme la série de Hahn .

Si et sont sommables, il en est de même des familles et , et l'on a[9] et.

Cette notion de sommabilité ne correspond pas à la convergence pour la topologie de la valuation sur . Par exemple, dans , la famille est sommable, mais la suite ne converge pas.

Évaluation des fonctions analytiques

Soit et l'anneau des fonctions à valeurs réelles analytiques dans un voisinage de .

Si est une extension de , on peut évaluer tout élément de en chaque série de de la forme , avec la valuation de strictement positive, car la famille est toujours sommable[10], ce qui permet de poser . Cela définit un morphisme d'anneaux .

Séries de Hahn–Witt

La construction des séries de Hahn peut se combiner avec celle des vecteurs de Witt (du moins sur un corps parfait) pour obtenir des séries de Hahn–Witt[11] : par exemple, sur un corps fini K de caractéristique p (ou sur sa clôture algébrique), le corps des séries de Hahn–Witt avec groupe d'exposants Γ (contenant les entiers) est l'ensemble des sommes (formelles) , où les sont à présent les images par les caractères de Teichmüller (en) des éléments de K, l'addition et la multiplication de ces séries se faisant comme pour les vecteurs de Witt usuels (qui correspondent au cas où Γ est le groupe des entiers). Si Γ est le groupe des rationnels ou des réels, et si K est la clôture algébrique du corps fini à p éléments, cette construction donne un corps ultramétrique complet et algébriquement clos contenant les p-adiques, et donc une description plus ou moins explicite du corps [12].

Exemples

  • Le corps des séries formelles de Laurent sur est isomorphe à .
  • Le corps de Levi-Civita (en) peut être vu comme un sous-corps de , avec une contrainte supplémentaire : l'ensemble des coefficients linférieurs à un coefficient donné doit être fini.
  • Le corps des transséries (en) est une union directe de corps de Hahn (et une extension du corps de Levi-Civita). La construction de revient à prendre la limite inductive des , .
  • Le Corps[7] des nombres surréels est isomorphe, en tant que corps ordonné, au corps des séries de Hahn à coefficients réels et à groupe d'exposants les nombres surréels eux-mêmes, avec l'indéterminée identifiée à [8].

Notes et références

  1. Hahn (1907)
  2. Kaplansky, Irving, Maximal fields with valuation, Duke Mathematical Journal, vol. 1, n°2, 1942.
  3. Kaplansky (1942, Duke Math. J., définition p.303)
  4. MacLane (1939, Bull. Amer. Math. Soc., theorem 1 (p.889))
  5. Kedlaya (2001, Proc. Amer. Math. Soc.)
  6. Alling (1987, §6.23, (2) (p.218))
  7. Les nombres surréels ne forment pas un ensemble, mais une classe propre, d'où l'emploi de la majuscule.
  8. Alling (1987, théorème du §6.55 (p. 246))
  9. Joris van der Hoeven
  10. Neumann
  11. Kedlaya (2001, J. Number Theory)
  12. Poonen (1993)

Bibliographie

Liens externes

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.