Let $\text{Ham(M,L)}$ denote the group of Hamiltonian diffeomorphisms on a symplectic manifold $M$, leaving a Lagrangian submanifold $L\subset M$ invariant. In this paper, we show that $\text{Ham(M,L)}$ has the fragmentation property, using relative versions of the techniques developed by Thurston and Banyaga.
Questo articolo studia il gruppo dei diffeomorfismi hamiltoniani Ham(M,L) su una varietà simplettica M che mantengono invariante una sottovarietà lagrangiana L⊂M. L'autore utilizza versioni relative delle tecniche di Thurston e Banyaga, provando che Ham(M,L) possiede la proprietà di frammentazione.
Nucleo della ricerca sui gruppi di automorfismi: Una delle questioni principali nello studio dei gruppi di automorfismi di varietà è determinare se il gruppo è semplice o completo
Limitazioni delle tecniche classiche: La tecnica classica di Thurston richiede che il gruppo possegga due proprietà principali: frammentazione (fragmentation) e transitività (transitivity)
Complessità del caso relativo: Ham(M,L), dovendo mantenere invariante la sottovarietà, è tutt'altro che transitivo, il che rappresenta la ragione principale della sua non-semplicità
Dimostrazione del teorema relativo di frammentazione: Ogni diffeomorfismo hamiltoniano relativo può essere decomposto come prodotto di diffeomorfismi hamiltoniani relativi a supporto locale
Stabilimento della teoria relativa dei grafici di Weinstein: Generalizzazione della teoria classica dei grafici di Weinstein al contesto relativo
Definizione dell'omomorfismo relativo di Calabi: Costruzione esplicita della versione relativa dell'omomorfismo di Calabi
Fornitura di un quadro tecnico completo: Strumenti per ulteriori ricerche sulle proprietà del gruppo relativo hamiltoniano
Studio del gruppo dei diffeomorfismi hamiltoniani su una varietà simplettica (M2n,ω) che mantengono invariante una sottovarietà lagrangiana Ln⊂M2n:
Ham(M,L)={ψ∈Ham(M):ψ(L)=L}
Teorema relativo di frammentazione (Teorema 1.1):
Sia U=(Uj)j∈I un ricoprimento aperto di una varietà simplettica compatta connessa (M,ω), e sia h∈Ham(M,L). Allora h può essere scritto come:
h=h1h2⋯hN
dove ogni hi∈Hamc(M,L) è supportato in qualche Uj(i).
Stabilimento della corrispondenza dal vicinato dell'elemento identità di Symp0(M,L) allo spazio delle 1-forme chiuse che si annullano su TL:
C:Symp0(M,L)→Z1(M,L)
Lemma 2.5: Ogni h∈Ham(M,L) può essere scritto come prodotto finito di diffeomorfismi hamiltoniani vicini all'elemento identità, dove ogni forma di Weinstein corrispondente è esatta.
Adattamento al contesto relativo: Adattamento riuscito della tecnica di Thurston-Banyaga al contesto vincolato, affrontando le difficoltà tecniche derivanti dai vincoli lagrangiani
Applicazione dell'operatore di Palamodov: Uso abile del funzionale lineare limitato f~ per costruire la decomposizione
Utilizzo del gruppo di flusso relativo: Attraverso la proprietà di numerabilità del gruppo di flusso relativo Γ(M,L) si assicura la costanza delle mappe continue
Questo articolo è una ricerca teorica di matematica pura e non coinvolge esperimenti numerici. I risultati teorici sono verificati principalmente attraverso prove matematiche rigorose.
La dimostrazione del teorema di frammentazione è completata attraverso i seguenti passaggi:
Preparazione della decomposizione: Utilizzo del Lemma 2.5 per rappresentare h come prodotto di diffeomorfismi hamiltoniani vicini all'elemento identità
Partizione dell'unità: Costruzione di una partizione dell'unità {λi} subordinata al ricoprimento aperto
Costruzione di funzioni: Definizione di μj=∑i≤jλi e applicazione dell'operatore di Palamodov
Proprietà di supporto locale: Dimostrazione che ogni fattore di decomposizione hi è supportato nell'insieme aperto corrispondente
Mancanza di transitività: Ham(M,L) non possiede la proprietà di transitività, impedendo l'applicazione diretta del programma completo di Thurston-Banyaga
Completezza non risolta: A causa del fallimento della teoria KAM nel caso relativo, il problema della completezza di Ham(M,L) rimane aperto
Negazione della semplicità: Attraverso l'omomorfismo di restrizione ϕ:Ham(M,L)→Diff∞(L) si dimostra la non-semplicità del gruppo
Banyaga, A. - Teoria classica della struttura dei gruppi di diffeomorfismi
Calabi, E. - Lavori fondamentali sui gruppi di automorfismi di varietà simplettiche
McDuff, D. & Salamon, D. - Introduzione alla geometria simplettica
Ozan, Y. - Teoria dell'omomorfismo di flusso relativo
Thurston, W.P. - Lavori pioneristici sulla struttura dei gruppi di diffeomorfismi che preservano il volume
Questo articolo fornisce contributi importanti alla ricerca sulla teoria dei gruppi in geometria simplettica. Sebbene il problema principale (completezza) non sia ancora completamente risolto, esso fornisce una base teorica solida e strumenti tecnici per lo sviluppo futuro del campo.