Höhere charakteristische Klassen von Multisingularitätsloci

Grundlegende Informationen

• Papier-ID: 2510.14602
• Titel: Higher characteristic classes of multisingularity loci
• Autoren: Jakub Koncki, Richárd Rimányi
• Klassifizierung: math.AG (Algebraische Geometrie)
• Veröffentlichungszeit: Frühjahr 2025 (arXiv-Preprint)
• Papierlink: https://arxiv.org/abs/2510.14602

Zusammenfassung

Abbildungen zwischen Mannigfaltigkeiten schichten den Quellraum und den Zielraum nach den auftretenden Multisingularitäten. Dieses Papier untersucht universelle Ausdrücke für Segre-Schwartz-MacPherson-Klassen, die Multisingularitätsloci beschreiben – sogenannte höhere Thom-Polynome. Wir beweisen einen Struktursatz, der diese Thom-Polynome auf Daten von linearen Reihen reduziert, die mit jeder Multisingularität verbunden sind. Die Reihen, die leeren Multisingularitäten entsprechen, werden Hauptreihen genannt und spielen eine besondere Rolle. Basierend auf Verbindungen zur geometrischen Darstellungstheorie beweisen wir ferner einen Interpolationssatz, der die algorithmische Berechnung von Thom-Polynomen innerhalb des Mather-Bereichs guter Dimensionen ermöglicht. Als Anwendung leiten wir explizite Formeln für die Bild-Milnor-Zahl quasihomogener Keime her, was einen Aspekt der berühmten Mond-Vermutung beweist, berechenbar bis zur theoretischen Grenze.

Forschungshintergrund und Motivation

Problemstellung

Das Kernproblem dieser Arbeit ist die charakteristische Klassentheorie von Multisingularitätsloci. Bei Betrachtung algebraischer Abbildungen zwischen komplexen Mannigfaltigkeiten $f: M → N$ schichtet die Abbildung den Quellraum $M$ und den Zielraum $N$ nach den auftretenden Multisingularitäten. Jede Multisingularität $η = \{η_1, ..., η_r\}$ entspricht dem Zielort $Σ^T_η(f) ⊂ N$, bestehend aus Punkten mit genau $r$ Urbildern mit spezifizierten Singularitätstypen.

Bedeutung und Motivation

1. Universalitätsprinzip: Das Kernziel der Singularitätstheorie ist die Etablierung universeller Zählformeln, das Thom-Prinzip. Dieses besagt, dass es universelle Polynome gibt, die nur vom Multisingularitätstyp abhängen und die charakteristische Klasse des Singularitätsortes ausdrücken können.
2. Feinstruktur von SSM-Klassen: Im Vergleich zu fundamentalen Fundamentalklassen tragen Segre-Schwartz-MacPherson (SSM)-Klassen reichhaltigere Informationen. Für Untervarietäten im projektiven Raum bestimmt die Fundamentalklasse nur den Grad, während die SSM-Klasse die Euler-Charakteristik allgemeiner linearer Schnitte in allen Dimensionen kodiert.
3. Verbindung zur geometrischen Darstellungstheorie: SSM-Klassen stehen in enger Beziehung zu Maulik-Okounkov stabilen Hüllcharakterklassen, die eine zentrale Rolle in quantenintegrablen Systemen spielen.

Grenzen bestehender Methoden

Die traditionelle Thom-Polynomtheorie konzentriert sich hauptsächlich auf Fundamentalklassen, während die Theorie höherer Thom-Polynome für SSM-Klassen noch unvollkommen ist. Bestehende Berechnungsmethoden umfassen partielle analytische Methoden, iterierte Residuen und nicht-reduzierte Quotienten, aber direkte Erweiterungen auf die SSM-Einstellung stoßen auf Schwierigkeiten.

Kernbeiträge

1. Struktursatz: Etabliert die Strukturtheorie von SSM-Thom-Polynomen und kodiert komplexe höhergradige Ausdrücke in linearen Reihen $S_η$, die mit jeder Multisingularität verbunden sind.
2. Hauptreihentheorie: Entdeckt, dass die Hauptreihe $S_∅$, die leeren Multisingularitäten entspricht, eine grundlegende Rolle spielt – ein neues Phänomen der SSM-Theorie gegenüber der klassischen Theorie.
3. Interpolationssatz: Beweist einen Interpolationssatz, der die algorithmische Berechnung von SSM-Thom-Polynomen im Mather-Bereich ermöglicht und geometrische Probleme in rein algebraische Berechnungen umwandelt.
4. Mond-Vermutungsanwendung: Leitet explizite Formeln für die Bild-Milnor-Zahl quasihomogener Abbildungskeime her und liefert einen berechenbaren Aspekt der Mond-Vermutung.

Methodische Details

Aufgabendefinition

Das Forschungsziel ist die Etablierung der Existenz und Berechnungstheorie von SSM-Thom-Polynomen. Für T-Multisingularität $η$ wird eine universelle Potenzreihe $Th^T_η ∈ Q[[s]]$ gesucht, sodass für geeignete Abbildungen $f: M → N$ gilt: $Th^T_η(f) = ssm(Σ^T_η(f)) · |Aut(η)| ∈ H^•(N)$

Kernarchitektur

1. Struktursatz

Für die Erzeugungsfunktion von T-Multisingularitäten: $\sum_η \frac{Th^T_η}{|Aut(η)|} t^η = \exp\left(\sum_η \frac{S_η}{|Aut(η)|} t^η\right)$

Diese exponentielle Struktur reduziert komplexe Thom-Polynome auf Daten linearer Reihen $S_η$.

2. Hauptreihe $S_∅$

Die Reihe der leeren Multisingularität $S_∅$ erfüllt $\exp(S_∅) = Th^T_∅$. Für den Fall $l=1$: $S_∅ = -s_∅ + \frac{1}{2}s_1 + \frac{1}{6}(7s_2 - 2s_{11}) + \frac{1}{4}(s_3 - 5s_{21} + s_{111}) + \cdots$

3. Interpolationsmethode

Der Interpolationssatz reduziert die Berechnung von SSM-Thom-Polynomen auf zwei Bedingungen:

1. Normalisierungsbedingung: Für jede Einzelsingularität $η$ erfüllt das Polynom $A_{\{η\}}$ in äquivarianter Kohomologie die Prototypbedingung
2. Trägerbedingung: Für nicht übereinstimmende Singularitätstypen verschwindet die entsprechende charakteristische Klasse in höheren Graden

Technische Innovationen

1. Exponentielle Struktur: Im Gegensatz zur klassischen Theorie mit $S_∅ = 0$ spielen nicht-triviale Hauptreihen in der SSM-Theorie eine grundlegende Rolle, von der alle anderen Thom-Polynome abhängen.
2. Linearisierung: Durch den Beweis der Linearität der Reihen $S_η$ werden komplexe geometrische Probleme in algebraische Berechnungen umgewandelt.
3. Äquivariante Methoden: Nutzung von Torusaktionen und Borel-Konstruktionen zur Endlichmachung unendlichdimensionaler Probleme.

Experimentelle Einrichtung

Berechnungsbereich

Berechnungen innerhalb der Mather-Grenze $M(l)$. Für $l=1$ ist $M(1)=14$. Die Berechnungen umfassen 55 Mather-Algebren und 265 Mather-T-Multisingularitäten.

Implementierungswerkzeuge

Verwendung von Computeralgebrasystemen zur Verifikation der Interpolationssatzbedingungen. Alle Berechnungen sind algorithmisch ohne geometrische Eingaben.

Datenverifikation

Bereitstellung von Berechnungsergebnissen und Verifikationsdaten über das Thom-Polynom-Portal TPP.

Experimentelle Ergebnisse

Hauptreihenberechnung

Erfolgreiche Berechnung der Hauptreihen für $l=1,2,3,4$ und $l=∞$. Die Nenner stimmen mit den Nennern der Cauchy-Zahlen zweiter Art überein: 1, 2, 6, 4, 30, 12, 84, 24, ...

Strukturverifikation

Verifikation der Korrektheit des Struktursatzes im Mather-Bereich. Alle Reihen $S_η$ für nicht-leere $η$ besitzen ganzzahlige Koeffizienten.

Anwendungsergebnisse

Herleitung expliziter Formeln für die Bild-Milnor-Zahl quasihomogener Abbildungskeime in Dimensionen $m ≤ 14$, was frühere Ergebnisse für $m ≤ 5$ erweitert.

Verwandte Arbeiten

Klassische Thom-Polynomtheorie

• Kazarians Struktursatz etabliert die exponentielle Struktur von Thom-Polynomen der Fundamentalklasse
• Ohmoto bewies die Existenz von Thom-Polynomen der Fundamentalklasse für T-Multisingularitäten

SSM-Klassentheorie

• MacPherson konstruierte natürliche Transformationen für csm-Klassen
• Ohmoto führte äquivariante Versionen der MacPherson-Transformation ein
• Die stabile Hülltheorie bietet axiomatische Charakterisierungen

Berechnungsmethoden

• Interpolationsmethoden wurden von Rimányi eingeführt
• Ohmoto-Nekarda erweiterten sie auf die SSM-Einstellung
• Partielle analytische und nicht-reduzierte Quotientenmethoden bieten alternative Ansätze

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

1. Etablierung einer vollständigen Strukturtheorie für SSM-Thom-Polynome von Multisingularitäten
2. Entdeckung der grundlegenden Rolle der Hauptreihe in der SSM-Theorie
3. Bereitstellung algorithmischer Berechnungsmethoden im Mather-Bereich
4. Beitrag zu berechenbaren Aspekten der Mond-Vermutung

Einschränkungen

1. Die vollständige Existenzvermutung bleibt offen
2. Die zahlentheoretische Bedeutung der Hauptreihnennenner ist unklar
3. Fälle außerhalb des Mather-Bereichs sind komplexer

Zukünftige Richtungen

1. Vollständiger Beweis der Existenz von SSM-Thom-Polynomen
2. Verständnis der zahlentheoretischen Struktur der Hauptreihen
3. Erweiterung auf allgemeinere charakteristische Klassentheorien
4. Erforschung tieferer Verbindungen zu quantenintegrablen Systemen

Tiefgreifende Bewertung

Stärken

1. Theoretische Tiefe: Etabliert eine solide Grundlage für die Charakteristische-Klassen-Theorie von Multisingularitäten und reduziert komplexe Probleme auf berechenbare lineare Reihen
2. Methodische Innovation: Der Interpolationssatz algebraisiert geometrische Probleme vollständig und ermöglicht algorithmische Berechnungen
3. Anwendungswert: Der Beitrag zur Mond-Vermutung demonstriert die praktische Anwendbarkeit der Theorie
4. Rechnerische Vollständigkeit: Bietet einen vollständigen Berechnungsrahmen und Verifikationsdaten

Mängel

1. Existenzproblem: Hauptergebnisse basieren auf Vermutungen; vollständige Existenzbeweise stehen noch aus
2. Zahlentheoretisches Rätsel: Die zahlentheoretische Bedeutung der Hauptreihnennenner bleibt ungeklärt und könnte tiefere Strukturen verbergen
3. Bereichsbeschränkung: Hauptergebnisse sind auf den Mather-Bereich beschränkt

Einflusssphäre

Diese Arbeit hat bedeutende Auswirkungen auf die Bereiche algebraische Geometrie und Singularitätstheorie, legt eine Grundlage für die Charakteristische-Klassen-Theorie von Multisingularitäten und bietet praktische Werkzeuge für verwandte Berechnungsprobleme.

Anwendungsszenarien

Die Theorie ist anwendbar auf:

1. Enumerative Probleme in der algebraischen Geometrie
2. Rechnerische Anwendungen der Singularitätstheorie
3. Charakteristische-Klassen-Berechnungen in der geometrischen Darstellungstheorie
4. Untersuchungen der Deformationstheorie von Abbildungskeimen

Literaturverzeichnis

Das Papier enthält umfangreiche Literaturangaben, die wichtige Arbeiten aus mehreren Bereichen abdecken – Singularitätstheorie, algebraische Geometrie und geometrische Darstellungstheorie – insbesondere grundlegende Beiträge von Kazarian, Ohmoto und MacPherson.