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.
- ID Articolo: 2510.00464
- Titolo: 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
- Autore: Naoki Kitazawa
- Classificazione: math.GN (Topologia Generale), math.CO (Combinatoria), math.GT (Topologia Geometrica)
- Data di Pubblicazione: Ottobre 2025 (preprint arXiv)
- Link dell'Articolo: https://arxiv.org/abs/2510.00464v3
Questo articolo discute funzioni lisce che possiedono proprietà Morse sulle preimmagini di valori non essendo estremi locali, denominate funzioni Morse interne o funzioni I-Morse. Il grafo di Reeb è lo spazio di tutte le componenti connesse della preimmagine a singolo punto di una funzione liscia, i cui vertici corrispondono alle preimmagini contenenti punti critici. Se la preimmagine di un vertice è un sottoinsieme chiuso con interno vuoto nel dominio della varietà, la funzione liscia è detta ordinata rispetto al grafo di Reeb (N-Reeb). L'autore studia la combinazione di funzioni I-Morse e N-Reeb (funzioni IN-Morse-Reeb), il cui risultato principale è la costruzione di una funzione IN-Morse-Reeb sulla somma connessa di varietà date che rispetta due tali funzioni.
- Importanza delle funzioni Morse: Le funzioni Morse e Morse-Bott sono strumenti fondamentali nella geometria delle varietà e oggetti di ricerca importanti nella teoria delle singolarità. Attraverso la corrispondenza naturale tra punti critici e k-handle, svolgono un ruolo cruciale nella comprensione della struttura topologica delle varietà.
- Ruolo del grafo di Reeb: Per certe classi ben definite di funzioni, è possibile definire il grafo di Reeb. Questi oggetti combinatori sono strumenti fondamentali per ottenere informazioni importanti, come il primo numero di Betti e il rango del gruppo fondamentale, nonché mezzi essenziali per visualizzare funzioni Morse o certe funzioni generalizzate.
- Limitazioni della ricerca esistente: La teoria tradizionale delle funzioni Morse si concentra principalmente sulle proprietà di tutti i punti critici, mentre la ricerca su funzioni che possiedono proprietà Morse solo su preimmagini specifiche è stata meno sviluppata.
- Perfezionamento teorico: Estendere la teoria delle funzioni Morse e studiare classi di funzioni più generali
- Problemi di costruzione: Risolvere il problema della costruzione di funzioni con proprietà specifiche su varietà con somma connessa
- Proprietà combinatorie: Stabilire connessioni profonde tra le proprietà delle funzioni e il loro grafo di Reeb
- Definizione di nuove classi di funzioni: Introduzione dei concetti di funzioni I-Morse (Morse interne) e funzioni N-Reeb (ordinate rispetto al grafo di Reeb), e studio della loro combinazione IN-Morse-Reeb
- Teorema di costruzione principale: Dimostrazione che per funzioni IN-M-R su due varietà chiuse connesse, è possibile costruire una funzione IN-M-R sulla loro somma connessa il cui grafo di Reeb orientato è isomorfo a un grafo orientato ottenuto in modo specifico
- Proprietà di funzioni semplici: Stabilimento della teoria delle funzioni G-semplici e dimostrazione dei risultati di costruzione e classificazione correlati
- Metodi tecnici: Fornitura di metodi di costruzione basati sul teorema di fibrazione di Ehresmann e sulla teoria degli handle
Definizione 1 (Funzione I-Morse): Una funzione liscia che è Morse sulle preimmagini di valori non essendo estremi locali è denominata Morse interna o funzione I-Morse.
Definizione 2 (Funzione N-Reeb): Se ogni vertice del grafo di Reeb corrisponde a una preimmagine che è un sottoinsieme chiuso con interno vuoto nel dominio della varietà, la funzione è detta ordinata rispetto al grafo di Reeb o funzione N-Reeb.
Definizione 3 (Funzione IN-M-R): Una funzione che soddisfa simultaneamente le proprietà I-Morse e N-Reeb è denominata funzione IN-Morse-Reeb.
Teorema 1: Per funzioni IN-M-R su due varietà chiuse connesse di dimensione m > 1, è possibile costruire una funzione IN-M-R sulla loro somma connessa il cui grafo di Reeb orientato è isomorfo al grafo orientato G_R ottenuto nel seguente modo:
- Selezionare da ciascuno dei due grafi di Reeb orientati G_{R,1} e G_{R,2} un punto corrispondente a un valore non essendo estremo locale
- Identificare questi due punti come l'unico vertice aggiunto per ottenere G_R
Teorema 2: Se le due funzioni date sono funzioni G_{R,i}-S, allora la funzione risultante può essere ottenuta anche come funzione G_R-S.
Teorema 3: Per grafi finiti connessi G sotto condizioni specifiche, sono forniti risultati più precisi per la costruzione di funzioni IN-M-R sulla somma connessa.
- Applicazione della teoria degli handle: Utilizzo della corrispondenza naturale tra k-handle e punti critici di indice k
- Teorema di fibrazione di Ehresmann: Costruzione di strutture di fibrato prodotto in regioni prive di punti critici
- Costruzione locale e incollaggio: Realizzazione della costruzione globale attraverso la costruzione di funzioni Morse locali e l'incollaggio appropriato
Poiché si tratta di ricerca teorica in matematica pura, non sono coinvolti esperimenti numerici, ma piuttosto la verifica dei risultati teorici attraverso dimostrazioni matematiche rigorose.
- Analisi locale: Costruzione locale attorno a ogni componente connessa
- Costruzione di fibrati: Utilizzo della Proposizione 1 e dell'Osservazione 1 per costruire i fibrati prodotto richiesti
- Deformazione e incollaggio: Deformazione e incollaggio appropriati dei fibrati locali per ottenere la varietà desiderata
L'articolo dimostra con successo che è possibile costruire funzioni IN-M-R con la struttura del grafo di Reeb prevista sulla somma connessa di varietà, fornendo una base teorica importante per la comprensione dell'esistenza e della costruttività di questa classe di funzioni.
- Proposizione 1: Fornisce il metodo per costruire fibrati prodotto sotto condizioni specifiche
- Proposizione 2: Descrive in dettaglio le proprietà della struttura locale delle funzioni G-IN-M-R
- Illustrazioni grafiche: Cinque figure tecniche illustrano dettagliatamente i passaggi chiave del processo di costruzione
- Teoria di Morse: Costruita sulla base di lavori classici come Milnor 26
- Teoria del grafo di Reeb: Originaria dal lavoro pionieristico di Reeb 27
- Teoria delle singolarità: Riferimento alla trattazione sistematica di Golubitsky e Guillemin 8
- Problemi di classificazione: Realizzazione del grafo di Reeb di funzioni Morse-Bott su superfici date da Gelbukh 6,7
- Metodi di costruzione: Modifiche combinatorie ai problemi di realizzazione del grafo di Reeb da parte di Michalak 24,25
- Campi di applicazione: Applicazioni in topologia simplettica e problemi di ottimizzazione
- Stabilimento con successo della teoria di costruzione delle funzioni IN-M-R sulla somma connessa
- Fornitura di metodi di costruzione concreti e strumenti tecnici
- Stabilimento di connessioni profonde tra le proprietà delle funzioni e la struttura del grafo di Reeb
- Restrizioni dimensionali: I risultati principali richiedono m > 2, i casi a bassa dimensione richiedono trattamento speciale
- Condizioni tecniche: Necessità di soddisfare specifiche condizioni di immersione di grafi e di grado
- Complessità di costruzione: Il processo di costruzione effettivo comporta analisi locale complessa e incollaggio globale
- Problemi di classificazione: Classificazione di certe classi di funzioni IN-M-R attraverso grafi di Reeb orientati
- Applicazioni geometriche: Esplorazione dell'importanza di queste nuove classi di funzioni in altri campi della geometria
- Metodi computazionali: Sviluppo di metodi di costruzione e computazione più efficienti
- Innovazione teorica: Introduzione di nuove classi di funzioni, estensione della teoria di Morse
- Risultati costruttivi: Fornitura di metodi di costruzione concreti, non solo dimostrazione dell'esistenza
- Rigore tecnico: Utilizzo di strumenti consolidati di topologia differenziale, argomentazione rigorosa
- Ausilio grafico: Illustrazione chiara del processo di costruzione attraverso figure tecniche dettagliate
- Motivazione applicativa insufficiente: Mancanza di applicazioni concrete di queste nuove classi di funzioni in altri campi matematici
- Casi a bassa dimensione: Trattamento incompleto del caso m = 2
- Complessità computazionale: Il processo di costruzione effettivo potrebbe essere eccessivamente complesso, limitando l'applicabilità pratica
- Contributo teorico: Fornisce nuove direzioni per la generalizzazione della teoria di Morse
- Valore tecnico: I metodi di costruzione potrebbero essere applicabili a problemi correlati
- Ispirazione per la ricerca: Fornisce strumenti tecnici ricchi e quadri teorici per ricerche successive
- Ricerca in topologia differenziale: Problemi di classificazione e costruzione di funzioni su varietà
- Teoria delle singolarità: Studio di classi speciali di funzioni
- Matematica applicata: Possibili applicazioni nella teoria dell'ottimizzazione e nell'analisi dei dati
L'articolo cita 33 riferimenti correlati, coprendo risultati classici e recenti in più campi come la teoria di Morse, la teoria delle singolarità e la topologia differenziale, fornendo una base teorica solida per questa ricerca.
Valutazione Complessiva: Questo è un articolo di ricerca teorica in matematica pura di alta qualità che fornisce contributi importanti alla generalizzazione della teoria delle funzioni Morse. Sebbene siano necessarie ulteriori esplorazioni nelle applicazioni pratiche, il suo valore teorico e l'innovazione tecnica meritano riconoscimento.