🔢 mathematics

On Milnor and Tjurina numbers of Pairs of Holomorphic Functions Germs

Motiviert durch Bifurkationsformeln führt diese Arbeit die Tjurina-Zahl für Paare holomorpher Funktionengerms über die Foliationstheorie ein, beweist deren analytische Invarianz sowie eine explizite Formel und wendet diese Ergebnisse zusammen mit neuen Eigenschaften der Milnor-Zahl an, um semitame meromorphe Germs zu charakterisieren und generische Büschel algebraischer Kurven zu analysieren.

Ursprüngliche Autoren: Arturo Fernández-Pérez, Evelia R. García Barroso, Nancy Saravia-Molina

Veröffentlicht 2026-07-16

📖 3 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Arturo Fernández-Pérez, Evelia R. García Barroso, Nancy Saravia-Molina

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich vor, Sie sind ein Detektiv, der versucht, ein Rätsel zu lösen, aber anstelle von Fingerabdrücken oder Fußabdrücken sind Ihre Hinweise die Formen unsichtbarer, sich windender Kurven in einer mathematischen Welt. Dies ist das Reich der Singularitätentheorie, eines Zweigs der Mathematik, der untersucht, was passiert, wenn glatte Formen plötzlich an einem einzelnen Punkt „kinkig“ werden oder zusammenbrechen. Denken Sie an ein glattes Blatt Papier, das Sie zu einem Ball zerknüllen; der Punkt, an dem alle Falten aufeinandertreffen, ist eine „Singularität“. Mathematiker haben lange Zeit spezielle Zähler, sogenannte Zahlen, verwendet, um zu beschreiben, wie chaotisch diese Knoten sind. Zwei berühmte Zähler sind die Milnor-Zahl und die Tjurina-Zahl. Die Milnor-Zahl ist vergleichbar mit dem Zählen, wie viele separate Schlaufen ein Knoten bildet, wenn man ihn festzieht, während die Tjurina-Zahl zählt, auf wie viele verschiedene Arten man den Knoten bewegen kann, ohne seine grundlegende Form zu verändern.

Stellen Sie sich nun vor, Sie betrachten nicht nur einen einzelnen Knoten, sondern zwei verschiedene Funktionen, die gemeinsam tanzen und eine ganze Familie von Kurven namens „Feder“ (Pencil) erzeugen. Es ist, als hätte man zwei Farben Farbe und mischt sie in jedem möglichen Verhältnis, um einen Regenbogen aus neuen Formen zu kreieren. Vor kurzem entdeckten Mathematiker einen Weg, die Komplexität dieses gesamten Tanzes zu zählen, und nannten dies die „Milnor-Zahl eines Paares“. Doch eine neue Frage blieb offen: Gibt es eine „Tjurina-Zahl eines Paares“, die uns sagt, wie flexibel dieser Tanz ist? Dies war das Rätsel, das Arturo Fernández-Pérez, Evelia R. García Barroso und Nancy Saravia-Molina zu lösen versuchten. Sie haben nicht einfach geraten; sie bauten ein neues mathematisches Werkzeug unter Verwendung der Theorie der „Foliationen“ – die Sie sich wie einen Stapel von Papierschichten vorstellen können, bei denen die Linien auf dem Papier die Pfade darstellen, die die Kurven nehmen – um diesen neuen Zähler zu erschaffen.

Dem Team gelang es, diese neue „Tjurina-Zahl eines Paares“ einzuführen, und sie bewies, dass sie eine solide, unveränderliche Tatsache über die Form dieser Funktionen ist, unabhängig davon, wie man sie dehnt oder verdreht (solange man sie nicht zerreißt). Sie leiteten eine spezifische Formel zu ihrer Berechnung ab und zeigten genau auf, wie sie mit den individuellen Tjurina-Zahlen der Kurven und dem „Schnittpunkt“, an dem die beiden ursprünglichen Funktionen ihre Pfade kreuzen, zusammenhängt. Eine ihrer aufregendsten Entdeckungen ist eine „Bifurkationsformel“, die wie ein Rezept wirkt: Sie besagt, dass die Gesamtkomplexität des Paares die Summe der Komplexität der „besonderen“ Momente im Tanz (in denen sich die Form plötzlich ändert) plus der Basiskomplexität ist. Dies ermöglicht es ihnen, eine spezielle Klasse mathematischer Funktionen namens „semitame“ Keime zu identifizieren, die sich auf eine sehr vorhersehbare, gutartige Weise verhalten.

Sie untersuchten auch die ältere „Milnor-Zahl eines Paares“, um neue Regeln zu finden. Sie bewiesen eine Version einer berühmten Regel namens Teissiers Lemma für diese Paare und legten eine strikte Obergrenze, oder Decke, fest, wie groß diese Zahl basierend auf den Tjurina-Zahlen der beteiligten Kurven werden kann. Schließlich wandten sie ihre Ergebnisse auf ein klassisches Problem an, das generische Federungen algebraischer Kurven (denken Sie an eine standardmäßige, nicht-spezielle Mischung von Kurven) betrifft. Sie bestätigten eine bekannte Formel für die Gesamtkomplexität dieser Kurven und zeigten, dass, wenn die Gesamtkomplexität der Tjurina-Zahlen einen spezifischen hohen Wert erreicht, jeder einzelne „Knick“ in diesen Kurven perfekt ausbalanciert oder „quasi-homogen“ ist. Kurz gesagt, die Arbeit liefert den Mathematikern ein neues, präzises Lineal, um die Flexibilität und Komplexität tanzender Funktionspaare zu messen, indem sie eine vage Intuition in eine konkrete, berechenbare Tatsache verwandelt.

Technische Zusammenfassung: Milnor- und Tjurina-Zahlen von Paaren holomorpher Funktionengermen

Problemstellung
Die Untersuchung numerischer Invarianten für holomorphe Funktionengermen mit isolierten Singularitäten ist ein zentrales Thema der Singularitätentheorie, die sich primär auf die Milnor-Zahl $\mu(f)$ und die Tjurina-Zahl $\tau(f)$ konzentriert. Jedoch erhielten numerische Invarianten, die mit meromorphen Funktionengermen $f/g$ assoziiert sind, weniger Aufmerksamkeit. Kürzlich führte A. Szawlowski die Milnor-Zahl eines Paares $(f, g)$ ein, bezeichnet als $\mu(f, g)$ , welche als die Milnor-Zahl der meromorphen Funktion $f/g$ interpretiert werden kann. Diese Invariante wird aus der singulären holomorphen Foliation $\mathcal{F}_{\omega_{f/g}}$ abgeleitet, die durch die 1-Form $\omega_{f/g} = gdf - fdg$ definiert ist.

Das primäre Problem, das in dieser Arbeit behandelt wird, ist das Fehlen einer entsprechenden Tjurina-Zahl für Paare holomorpher Funktionen. Während $\mu(f, g)$ etabliert ist, werden eine Definition und Charakterisierung der Tjurina-Zahl eines Paares, $\tau(f, g)$ , benötigt, um einen vollständigen analytischen Invariantenrahmen für meromorphe Germe und die mit ihnen assoziierten Kurven-Pensile bereitzustellen.

Methodik
Die Autoren nutzen die Theorie singulärer holomorpher Foliationen, um diese Invarianten zu definieren und zu analysieren. Die Kernmethodik umfasst:

Foliationsassoziation: Assoziierung des Paares $(f, g)$ mit der Foliation $\mathcal{$ \mathcal{F}{\omega{f/g}} $}$ , die durch das Pendel der Kurven $\mathcal{P}_{f,g} = \{ \alpha f + \beta g = 0 \}$ erzeugt wird.
Relative Tjurina-Zahlen: Verwendung des Konzepts der Tjurina-Zahl einer Foliation $\mathcal{F}$ bezüglich einer invarianten reduzierten Kurve $C$ , definiert als $\tau(\mathcal{F}, C) = \dim_{\mathbb{C}} \mathcal{O}_2 / (P, Q, h)$ , wobei $\omega = Pdx + Qdy$ und $C = \{h=0\}$ .
Ausgeglichene Divisoren von Separatrizen: Anwendung der Theorie ausgeglichener Divisoren von Separatrizen (eingeführt durch Genzmer) für die Foliation $\mathcal{F}_{\omega_{f/g}}$ . Diese Divisoren werden unter Verwendung von Bifurkations-Fasern (singuläre Mitglieder des Pendels) und generischen Fasern konstruiert.
Analytische Invarianz: Beweis, dass die vorgeschlagenen Invarianten unabhängig von der spezifischen Wahl des ausgeglichenen Divisors sind, wodurch sie als wohldefinierte analytische Invarianten etabliert werden.
Schnitttheorie und Formeln: Ableitung expliziter Formeln durch die Relation der Invarianten des Paares zur Schnittmultiplizität $I_0(f, g)$ , den Tjurina-Zahlen der individuellen Fasern und dem GSV-Index (Gómez-Mont, Seade, Verjovsky).

Wesentliche Beiträge und Ergebnisse

Definition von $\tau(f, g)$ : Die Arbeit führt die Tjurina-Zahl eines Paares $(f, g)$ ein, bezeichnet als $\tau(f, g)$ , definiert als die Tjurina-Zahl der Foliation $\mathcal{F}_{\omega_{f/g}}$ bezüglich eines beliebigen primitiven ausgeglichenen Divisors von Separatrizen, der an die Kurve $fg=0$ angepasst ist. Die Autoren beweisen, dass diese Definition unabhängig von der Wahl des ausgeglichenen Divisors ist.
Explizite Formeln:
- Faserweise Relation: Für eine spezifische Faser $C_{[\alpha:\beta]}$ des Pendels etabliert die Arbeit $\tau_{[\alpha:\beta]}(f, g) = I_0(f, g) + \tau(C_{[\alpha:\beta]})$ .
- Allgemeine Formel: Eine explizite Formel für $\tau(f, g)$ wird in Abhängigkeit von den Tjurina-Zahlen der Null- und Pol-Divisoren eines ausgeglichenen Divisors, der Anzahl der Bifurkations-Separatrizen $r$ und der Schnittmultiplizität $I_0(f, g)$ abgeleitet. Speziell gilt $\tau(f, g) = \tau(B_0) - \tau(B_\infty) + r(r-2)I_0(f, g)$ .
- Bifurkationsformel: Eine Bifurkationsformel für $\tau(f, g)$ wird etabliert, analog zur bekannten Formel für $\mu(f, g)$ :
  $\tau(f, g) = \tau(fg) + \sum_{j=1}^r (\tau(h_j) - \tau_{\text{gen}}) + r^2 I_0(f, g) + \Theta_{B_0} + \Theta_{h_1 \dots h_r} - \Theta_{B_\infty}$
  wobei $h_j$ Bifurkationsfasern sind und $\tau_{\text{gen}}$ die generische Tjurina-Zahl darstellt.
Topologische vs. Analytische Natur: Die Arbeit zeigt, dass während die generische Milnor-Zahl eines Paares eine topologische Invariante ist, die generische Tjurina-Zahl eines Paares nicht eine topologische Invariante ist. Dies wird durch ein Beispiel gezeigt, bei dem topologisch äquivalente Paare unterschiedliche generische Tjurina-Zahlen liefern.
Charakterisierung semitamer Germe: Die Autoren liefern eine neue Charakterisierung semitamer meromorpher Funktionengerme (jene, deren einzige Bifurkationsfasern $f$ und $g$ sind). Ein Paar $(f, g)$ ist semitam, wenn und nur wenn $\tau(f, g) = \tau(fg)$ . Diese Bedingung wird als äquivalent zu $\mu(f, g) = \mu(fg)$ gezeigt.
Teissiers Lemma für Paare: Eine Version von Teissiers Lemma wird für Paare etabliert, die die polare Schnittzahl des Paares entlang eines ausgeglichenen Divisors mit der Milnor-Zahl des Paares in Beziehung setzt:
$i_0((f, g), B) = \mu(f, g) + \nu(f) + \nu(g) - 1$
wobei $\nu$ die algebraische Multiplizität bezeichnet.
Obere Schranken und Anwendungen:
- Eine obere Schranke für $\mu(f, g)$ wird abgeleitet: $\mu(f, g) \leq 2\tau(fgh_1 \dots h_r) - 2r(r+2)I_0(f, g)$ .
- Die Ergebnisse werden auf generische Pendel algebraischer Kurven in $\mathbb{P}^2$ angewendet. Die Arbeit liefert einen alternativen Beweis für Dimcas Formel bezüglich der Summe der globalen Milnor-Zahlen singulärer Mitglieder in einem generischen Pendel, indem gezeigt wird, dass $\sum \mu(C^s_j) = 3(k-1)^2$ .
- Eine entsprechende Ungleichung für die Summe der globalen Tjurina-Zahlen wird abgeleitet: $\frac{9}{4}(k-1)^2 < \sum \tau(C^s_j) \leq 3(k-1)^2$ , wobei die Gleichheit im oberen Rand gilt, wenn und nur wenn alle Singularitäten quasi-homogen sind.

Bedeutung
Die Arbeit beansprucht ihre Bedeutung durch die Erweiterung der klassischen Singularitätentheorie von einzelnen holomorphen Funktionen auf Paare von Funktionen (meromorphe Germe). Durch die Einführung von $\tau(f, g)$ vervollständigen die Autoren die Parallele zwischen Milnor- und Tjurina-Zahlen im Kontext von Kurven-Pendeln. Die Arbeit liefert explizite computationale Werkzeuge (Formeln) für diese Invarianten und klärt deren topologische und analytische Eigenschaften. Speziell bietet die Charakterisierung semitamer Germe über die Tjurina-Zahl eine neue Perspektive auf die Struktur meromorpher Funktionen. Darüber hinaus verbindet die Anwendung auf generische Pendel algebraischer Kurven lokale Singularitätentheorie mit globalen geometrischen Eigenschaften, indem sie einen alternativen Beweis für bestehende Ergebnisse von Dimca liefert und neue Schranken für Tjurina-Zahlen in diesem Kontext etabliert.

Mehr davon