We discuss smooth functions which are Morse on preimages of values not being local extrema. We call such a function internally Morse or I-Morse.
The Reeb graph of a smooth function is the space of all connected components of preimages of single points of it topologized with the natural quotient topology of the manifolds and a vertex of it is a point corresponding to a preimage with critical points. A smooth function is neat with respect to the Reeb graph or N-Reeb if the preimages of the vertices are the closed subsets in the manifolds of the domains with interiors being empty.
We discuss I-Morse and N-Reeb functions, IN-Morse-Reeb functions. Our main result presents an IN-Morse-Reeb function respecting two such functions, on a connected sum of these given manifolds.
- Papier-ID: 2510.00464
- Titel: Smooth functions which are Morse on preimages of values not being local extrema and constructing natural functions of the class on connected sums of manifolds admitting these functions
- Autor: Naoki Kitazawa
- Klassifizierung: math.GN (Allgemeine Topologie), math.CO (Kombinatorik), math.GT (Geometrische Topologie)
- Veröffentlichungszeitpunkt: Oktober 2025 (arXiv-Preprint)
- Papierlink: https://arxiv.org/abs/2510.00464v3
Dieses Papier behandelt glatte Funktionen, die auf Urbildern von Nicht-Lokalextremwerten Morse-Eigenschaften aufweisen, sogenannte innere Morse-Funktionen oder I-Morse-Funktionen. Der Reeb-Graph ist der Raum aller zusammenhängenden Komponenten von Einfaserpunkten einer glatten Funktion, wobei Eckpunkte Urbildern entsprechen, die kritische Punkte enthalten. Wenn das Urbild eines Eckpunktes eine abgeschlossene Teilmenge mit leerem Inneren in der Mannigfaltigkeitsdomäne ist, wird die glatte Funktion bezüglich des Reeb-Graphen als ordentlich (N-Reeb) bezeichnet. Der Autor untersucht die Kombination von I-Morse- und N-Reeb-Funktionen (IN-Morse-Reeb-Funktionen). Das Hauptergebnis ist die Konstruktion einer IN-Morse-Reeb-Funktion auf der zusammenhängenden Summe gegebener Mannigfaltigkeiten, die zwei solche Funktionen respektiert.
- Bedeutung von Morse-Funktionen: Morse-Funktionen und Morse-Bott-Funktionen sind grundlegende Werkzeuge in der Mannigfaltigkeitsgeometrie und wichtige Forschungsobjekte in der Singularitätstheorie. Sie spielen durch die natürliche Entsprechung zwischen kritischen Punkten und k-Henkeln eine Schlüsselrolle beim Verständnis der topologischen Struktur von Mannigfaltigkeiten.
- Rolle des Reeb-Graphen: Für bestimmte gute Funktionsklassen kann der Reeb-Graph definiert werden. Diese kombinatorischen Objekte sind grundlegende Werkzeuge zur Gewinnung wichtiger Informationen wie der ersten Betti-Zahl und des Ranges der Fundamentalgruppe sowie wichtige Mittel zur Visualisierung von Morse-Funktionen oder bestimmten verallgemeinerten Funktionen.
- Grenzen der bestehenden Forschung: Die traditionelle Morse-Funktionstheorie konzentriert sich hauptsächlich auf die Eigenschaften aller kritischen Punkte, während die Forschung zu Funktionen, die nur auf bestimmten Urbildern Morse-Eigenschaften aufweisen, begrenzt ist.
- Theoretische Vervollständigung: Erweiterung der Morse-Funktionstheorie, Untersuchung allgemeinerer Funktionsklassen
- Konstruktionsprobleme: Lösung des Problems der Konstruktion von Funktionen mit spezifischen Eigenschaften auf zusammenhängenden Summen von Mannigfaltigkeiten
- Kombinatorische Eigenschaften: Etablierung tieferer Verbindungen zwischen Funktionseigenschaften und ihren Reeb-Graphen
- Definition neuer Funktionsklassen: Einführung der Konzepte von I-Morse-Funktionen (innere Morse) und N-Reeb-Funktionen (ordentlich bezüglich des Reeb-Graphen) sowie Untersuchung ihrer Kombination IN-Morse-Reeb-Funktionen
- Hauptkonstruktionssatz: Beweis, dass für IN-M-R-Funktionen auf zwei geschlossenen zusammenhängenden Mannigfaltigkeiten eine IN-M-R-Funktion auf ihrer zusammenhängenden Summe konstruiert werden kann, deren gerichteter Reeb-Graph isomorph zu einem auf spezifische Weise erhaltenen gerichteten Graphen ist
- Eigenschaften einfacher Funktionen: Etablierung der Theorie G-einfacher Funktionen und Beweis verwandter Konstruktions- und Klassifizierungsergebnisse
- Technische Methoden: Bereitstellung von Konstruktionsmethoden basierend auf dem Ehresmann-Faserungssatz und der Handle-Theorie
Definition 1 (I-Morse-Funktion): Eine glatte Funktion f ist auf Urbildern von Nicht-Lokalextremwerten Morse-artig, genannt innere Morse oder I-Morse-Funktion.
Definition 2 (N-Reeb-Funktion): Wenn jedes Urbild eines Eckpunktes des Reeb-Graphen eine abgeschlossene Teilmenge mit leerem Inneren in der Mannigfaltigkeitsdomäne ist, wird die Funktion bezüglich des Reeb-Graphen als ordentlich oder N-Reeb-Funktion bezeichnet.
Definition 3 (IN-M-R-Funktion): Eine Funktion, die sowohl I-Morse- als auch N-Reeb-Eigenschaften erfüllt, wird als IN-Morse-Reeb-Funktion bezeichnet.
Satz 1: Für IN-M-R-Funktionen auf zwei geschlossenen zusammenhängenden Mannigfaltigkeiten der Dimension m > 1 kann eine IN-M-R-Funktion auf ihrer zusammenhängenden Summe konstruiert werden, deren gerichteter Reeb-Graph isomorph zu einem gerichteten Graphen GR ist, der auf folgende Weise erhalten wird:
- Wählen Sie aus jedem der beiden gerichteten Reeb-Graphen GR,1 und GR,2 einen Punkt aus, der einem Nicht-Lokalextremum entspricht
- Identifizieren Sie diese beiden Punkte als den eindeutigen neuen Eckpunkt von GR
Satz 2: Wenn die beiden gegebenen Abbildungen GR,i-S-Funktionen sind, kann die resultierende Funktion auch als GR-S-Funktion erhalten werden.
Satz 3: Für endliche zusammenhängende Graphen G unter bestimmten Bedingungen werden präzisere Ergebnisse für die Konstruktion von IN-M-R-Funktionen auf zusammenhängenden Summen gegeben.
- Anwendung der Handle-Theorie: Nutzung der natürlichen Entsprechung zwischen k-Henkeln und kritischen Punkten mit Index k
- Ehresmann-Faserungssatz: Konstruktion von Bündelstrukturen in Regionen ohne kritische Punkte
- Lokale Konstruktion und Verklebung: Realisierung der globalen Konstruktion durch lokale Konstruktion von Morse-Funktionen und angemessene Verklebung
Da es sich um reine mathematische Theorieforschung handelt, gibt es keine numerischen Experimente. Stattdessen werden theoretische Ergebnisse durch strenge mathematische Beweise verifiziert.
- Lokale Analyse: Lokale Konstruktion in der Umgebung jeder zusammenhängenden Komponente
- Bündelkonstruktion: Nutzung von Proposition 1 und Bemerkung 1 zur Konstruktion erforderlicher Bündelstrukturen
- Verformung und Verklebung: Angemessene Verformung und Verklebung lokaler Bündelstrukturen zur Erlangung der erwarteten Mannigfaltigkeit
Das Papier beweist erfolgreich, dass IN-M-R-Funktionen mit erwarteter Reeb-Graph-Struktur auf zusammenhängenden Summen von Mannigfaltigkeiten konstruiert werden können. Dies bietet eine wichtige theoretische Grundlage für das Verständnis der Existenz und Konstruierbarkeit dieser Funktionsklasse.
- Proposition 1: Bietet eine Methode zur Konstruktion von Bündelstrukturen unter bestimmten Bedingungen
- Proposition 2: Beschreibt detailliert die lokalen Struktureigenschaften von G-IN-M-R-Funktionen
- Grafische Darstellungen: Fünf technische Abbildungen zeigen detailliert die Schlüsselschritte des Konstruktionsprozesses
- Morse-Theorie: Aufbauend auf klassischen Arbeiten von Milnor 26 und anderen
- Reeb-Graph-Theorie: Stammend aus Reeb's 27 bahnbrechender Arbeit
- Singularitätstheorie: Unter Bezugnahme auf die systematische Darstellung von Golubitsky und Guillemin 8
- Klassifizierungsprobleme: Gelbukh 6,7 zur Realisierung von Reeb-Graphen von Morse-Bott-Funktionen auf gegebenen Flächen
- Konstruktionsmethoden: Michalak 24,25 zu kombinatorischen Modifikationen des Reeb-Graph-Realisierungsproblems
- Anwendungsfelder: Anwendungen in symplektischer Topologie und Optimierungsproblemen
- Erfolgreiche Etablierung der Konstruktionstheorie von IN-M-R-Funktionen auf zusammenhängenden Summen
- Bereitstellung konkreter Konstruktionsmethoden und technischer Werkzeuge
- Etablierung tieferer Verbindungen zwischen Funktionseigenschaften und Reeb-Graph-Struktur
- Dimensionsbeschränkungen: Hauptergebnisse erfordern m > 2, niedrigdimensionale Fälle benötigen spezielle Behandlung
- Technische Bedingungen: Erfordernis der Erfüllung spezifischer Graph-Einbettungs- und Gradbedingungen
- Konstruktionskomplexität: Der tatsächliche Konstruktionsprozess beinhaltet komplexe lokale Analysen und globale Verklebungen
- Klassifizierungsprobleme: Klassifizierung bestimmter Klassen von IN-M-R-Funktionen durch gerichtete Reeb-Graphen
- Geometrische Anwendungen: Erkundung der Bedeutung dieser neuen Funktionsklassen in anderen Bereichen der Geometrie
- Rechenmethoden: Entwicklung effektiverer Konstruktions- und Berechnungsmethoden
- Theoretische Innovation: Einführung neuer Funktionsklassen, Erweiterung der Morse-Theorie
- Konstruktive Ergebnisse: Bereitstellung konkreter Konstruktionsmethoden, nicht nur Existenzbeweis
- Technische Strenge: Verwendung etablierter Werkzeuge der Differentialtopologie, rigorose Argumentation
- Grafische Unterstützung: Detaillierte technische Abbildungen zeigen den Konstruktionsprozess deutlich
- Unzureichende Anwendungsmotivation: Mangel an konkreten Anwendungen dieser neuen Funktionsklassen in anderen mathematischen Bereichen
- Niedrigdimensionale Fälle: Unvollständige Behandlung des Falles m = 2
- Rechenkomplexität: Der tatsächliche Konstruktionsprozess könnte zu komplex sein und die Praktikabilität einschränken
- Theoretischer Beitrag: Bietet neue Richtungen für die Verallgemeinerung der Morse-Theorie
- Technischer Wert: Konstruktionsmethoden könnten auf andere verwandte Probleme anwendbar sein
- Forschungsimpuls: Bietet reichhaltige technische Werkzeuge und theoretische Rahmenbedingungen für nachfolgende Forschung
- Differentialtopologie-Forschung: Klassifizierungs- und Konstruktionsprobleme von Funktionen auf Mannigfaltigkeiten
- Singularitätstheorie: Untersuchung spezieller Funktionsklassen
- Angewandte Mathematik: Mögliche Anwendungen in Optimierungstheorie und Datenanalyse
Das Papier zitiert 33 verwandte Literaturquellen, die klassische und neueste Forschungsergebnisse in mehreren Bereichen wie Morse-Theorie, Singularitätstheorie und Differentialtopologie abdecken und eine solide theoretische Grundlage für diese Forschung bieten.
Gesamtbewertung: Dies ist ein hochqualitatives reines mathematisches Theoriespapier, das wichtige Beiträge zur Verallgemeinerung der Morse-Funktionstheorie leistet. Obwohl weitere Erkundungen in praktischen Anwendungen erforderlich sind, sind sein theoretischer Wert und seine technische Innovativität anerkennenswert.