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, 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). 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 K⟪T⟫ 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 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
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Hahn series » (voir la liste des auteurs).
- ↑ Hahn (1907)
- ↑ Kaplansky, Irving, Maximal fields with valuation, Duke Mathematical Journal, vol. 1, n°2, 1942.
- ↑ Kaplansky (1942, Duke Math. J., définition p.303)
- ↑ MacLane (1939, Bull. Amer. Math. Soc., theorem 1 (p.889))
- ↑ Kedlaya (2001, Proc. Amer. Math. Soc.)
- ↑ Alling (1987, §6.23, (2) (p.218))
- ↑ a et b Les nombres surréels ne forment pas un ensemble, mais une classe propre, d'où l'emploi de la majuscule.
- ↑ a et b Alling (1987, théorème du §6.55 (p. 246))
- ↑ Joris van der Hoeven
- ↑ Neumann
- ↑ Kedlaya (2001, J. Number Theory)
- ↑ Poonen (1993)
Bibliographie
- (de) Hans Hahn, « Über die nichtarchimedischen Größensysteme », Sitzungsberichte der Kaiserlichen Akademie der Wissenschaften, Wien, Mathematisch - Naturwissenschaftliche Klasse (Wien. Ber.), vol. 116, , p. 601–655 (JFM 38.0501.01)
- (en) Saunders MacLane, « The universality of formal power series fields », Bulletin of the American Mathematical Society, vol. 45, , p. 888–890 (DOI 10.1090/s0002-9904-1939-07110-3, zbMATH 0022.30401, lire en ligne)
- (en) Irving Kaplansky, « Maximal fields with valuations I », Duke Mathematical Journal, vol. 9, , p. 303–321 (DOI 10.1215/s0012-7094-42-00922-0, lire en ligne)
- (en) Norman L. Alling, Foundations of Analysis over Surreal Number Fields, vol. 141, North-Holland, coll. « Mathematics Studies », (ISBN 0-444-70226-1, zbMATH 0621.12001)
- (en) Bjorn Poonen, « Maximally complete fields », L'Enseignement mathématique, vol. 39, , p. 87–106 (zbMATH 0807.12006)
- (en) Kiran Sridhara Kedlaya, « The algebraic closure of the power series field in positive characteristic », Proceedings of the American Mathematical Society, vol. 129, , p. 3461–3470 (DOI 10.1090/S0002-9939-01-06001-4)
- (en) Kiran Sridhara Kedlaya, « Power series and 𝑝-adic algebraic closures », Journal of Number Theory, vol. 89, , p. 324–339 (DOI 10.1006/jnth.2000.2630, arXiv math/9906030)
- (en) Joris van der Hoeven, « Operators on generalized power series », Illinois Journal of Mathematics, vol. 45, (DOI 10.1215/ijm/1258138061)
- (en) Bernhard Hermann Neumann, « On ordered division rings », Transactions of the American Mathematical Society, vol. 66, , p. 202–252
Liens externes
- Séries de Hahn, théorèmes de Kedlaya et algébricité, sur le site de David Madore.
Portail des mathématiques