Eine lokale Darstellung eines Astes einer algebraischen Funktion in der Nähe eines Punktes (typischerweise einer Singularität) als formale oder konvergente Potenzreihe in einer gebrochenen Potenz der lokalen Koordinate, wobei Exponenten mit begrenzten Nennern zugelassen sind.

Prinzip

Anwendung des Newton-Polygons und einer verzweigten Variablenänderung, um die algebraische Beziehung Glied für Glied zu lösen; die Steigungen des Newton-Polygons bestimmen die gebrochenen Exponenten und Vielfachheiten und führen zu einer endlichen verzweigten Überlagerung, in der der Ast als Potenzreihe eines einzelnen gebrochenen Parameters darstellbar ist.

Demonstration

Für die ebene Kurve y^2 = x^3 + x^4 nahe x = 0 ergibt sich ein Ast y = x^{3/2}(1 + (1/2) x + ...). Das Newton-Polygon liefert die Steigung 3/2, und sukzessive Einsetzung bestimmt die Koeffizienten der Puiseux-Reihe.

Fehlanwendung

Die Puiseux-Expansion auf eine nicht-algebraische Funktion (z. B. eine transzendente Funktion) anzuwenden oder die Reihe ohne Prüfung der Verzweigung zu stark zu kürzen, kann falsche Vielfachheiten oder das Verpassen von Monodromie zur Folge haben; Konvergenz anzunehmen, ohne die Voraussetzungen in positiver Charakteristik zu prüfen, ist ebenfalls fehlerhaft.

Konsequenz

Korrekte Puiseux-Entwicklungen liefern lokale Parametrisierungen, explizite Schnittmultiplikitäten, Informationen zur Auflösung von Singularitäten sowie Zugang zu Monodromie und analytischer Fortsetzung algebraischer Äste.

Umkehrung

Eine Taylor- (oder Laurent-) Reihe verwendet nur ganzzahlige Exponenten und gilt auf unverzweigten Ästen; die Umkehrung zu einer gewöhnlichen Potenzreihe verliert die Möglichkeit, Äste zu beschreiben, die tatsächlich gebrochene Potenzen und Verzweigung benötigen.

Abgrenzung

Gültig für algebraische Funktionen über algebraisch abgeschlossenen Körpern charakteristik null (und in vielen Fällen für genügend große positive Charakteristik) und beschreibt nur das lokale Verhalten in der Umgebung eines Punktes oder Astes; sie liefert keine globale Parametrisierung und gilt nicht für nicht-algebraische Funktionen.

Semantische Spannung

Es besteht eine Spannung zwischen formalen Puiseux-Reihen (algebraisch, formale Entwicklungen) und konvergenten analytischen Entwicklungen; ebenso besteht Verwechslungsgefahr mit Laurent-Reihen, wenn lediglich nicht-ganzzahlige Exponenten unterscheiden.

Synthese

Die Puiseux-Reihenentwicklung besteht darin, lokale algebraische Relationen durch Übergang zu einem endlichen verzweigten Parameter zu lösen, sodass jeder Ast als (gegebenenfalls gebrochene) Potenzreihe dargestellt wird; dies fasst Ramifikation, Vielfachheit und lokale Topologie algebraischer Äste zusammen.