We define the notion of basic section of an LA-groupoid whose core-anchor map is injective. Such a notion turns out to be Morita invariant, so that it provides a simpler model for the sections of the stacky Lie algebroids presented by such LA-groupoids, yet equivalent to the well-known model provided by their multiplicative sections.
Il presente articolo definisce il concetto di sezione basilare per LA-gruppoidi (LA-groupoid) con mappa di ancoraggio del nucleo iniettiva (injective core-anchor map). Tale concetto si dimostra essere un invariante di Morita, fornendo così un modello più semplice per le sezioni dei funtori di Lie algebroidi stratificati (stacky Lie algebroid) rappresentati da tali LA-gruppoidi, ma equivalente al noto modello delle sezioni moltiplicative.
Il problema centrale affrontato in questo articolo è: come definire uno spazio di sezioni ridotto e invariante di Morita per LA-gruppoidi con mappa di ancoraggio del nucleo iniettiva?
Applicazioni diffuse dei gruppoidi di Lie: I gruppoidi di Lie costituiscono un quadro fondamentale nella geometria differenziale moderna, unificando molteplici oggetti geometrici quali varietà, gruppi di Lie, azioni di gruppi di Lie, sommersioni, foliazioni, pseudogruppi, fibrati vettoriali e fibrati principali.
Strutture geometriche degli stack differenziabili: I gruppoidi di Lie possono essere considerati come uno stadio intermedio nella definizione degli stack differenziabili (differentiable stacks), che sono spazi ammettenti singolarità e generalizzano varietà, orbifold e spazi fogliati di foliazioni singolari.
Importanza dell'invarianza di Morita: Le strutture geometriche compatibili con l'equivalenza di Morita possono discendere allo stack quoziente del gruppoide di Lie, estendendo così i concetti geometrici agli spazi orbitali singolari.
Sebbene il modello di Lie 2-algebra delle sezioni moltiplicative dei LA-gruppoidi sia invariante di Morita, la sua struttura risulta complessa. Per il caso particolare di gruppoidi con mappa di ancoraggio del nucleo iniettiva (come i gruppoidi fogliati), esistono modelli più semplici (campi vettoriali basilari), ma manca un quadro teorico unificato.
Semplificazione del modello: Fornire un modello di sezione più semplice rispetto alle sezioni moltiplicative per LA-gruppoidi con mappa di ancoraggio del nucleo iniettiva.
Generalizzazione dei campi vettoriali basilari: Estendere il concetto di campi vettoriali basilari su gruppoidi fogliati a LA-gruppoidi più generali.
Esigenze applicative: Definire derivazioni basilari per fibrati lineari gruppoidi, utilizzate nello studio dei problemi di riduzione per strutture di contatto 0-shifted.
Definizione del concetto di sezione basilare: Introduzione del concetto di sezione basilare per VB-gruppoidi (in particolare LA-gruppoidi) con mappa di ancoraggio del nucleo iniettiva.
Costruzione della struttura di Lie algebra: Dimostrazione che lo spazio delle sezioni basilari di un LA-gruppoide eredita naturalmente una struttura di Lie algebra.
Invarianza di Morita: Dimostrazione che la Lie algebra delle sezioni basilari è invariante di Morita, potendo quindi servire come modello per le sezioni dei funtori di Lie algebroidi stratificati.
Teorema di equivalenza (teorema principale): Per un LA-gruppoide (V⇒E;G⇒M) con mappa di ancoraggio del nucleo iniettiva, lo spazio delle sezioni basilari ammette una struttura di Lie algebra invariante di Morita, e tale Lie algebra è quasi-isomorfa alla Lie 2-algebra delle sezioni moltiplicative.
Ampia gamma di esempi applicativi: Dimostrazione dell'applicabilità della teoria a numerosi scenari geometrici importanti quali campi vettoriali basilari, derivazioni basilari, 1-forme basilari di gruppoidi di Poisson, 1-getti basilari di gruppoidi di Jacobi.
Per LA-gruppoidi, si utilizza la rappresentazione di Bott ∇:Γ(C)×Γ(N0)→Γ(N0) per definire lo spazio delle sezioni piatte:
Γ0(E):={Y∈Γ(N0)∣∇XY=0,∀X∈Γ(C)}≅Γ(C)N(Γ(C))
La Proposizione 3.6 dimostra: Γbas(V) è una Lie sottoalgebra di Γ0(E).
Schema della dimostrazione:
Utilizzo di sezioni invarianti a destra Y e naturalità della rappresentazione di Bott (diagramma 3.3)
Dimostrazione che s∗,t∗:Γ0(E)→Γ0(V) sono morfismi di Lie algebra
Per X,Y∈Γbas(V), calcolo:
s∗([X,Y])=[s∗X,s∗Y]=[t∗X,t∗Y]=t∗[X,Y]
Una mappa VB-Morita F:V→V′ induce un quasi-isomorfismo puntuale tra i complessi dei nuclei (diagramma 3.1)
La mappa indotta Fˉ:N0→N0′ è un morfismo VB invertibile fibra per fibra
La mappa di pullback F∗:Γbas(V′)→Γbas(V) è un isomorfismo lineare
La Proposizione 3.12: Una mappa VB-Morita induce un isomorfismo lineare degli spazi di sezioni basilari; per mappe LA-Morita, questo è un isomorfismo di Lie algebra.
Il Corollario 3.13: LA-gruppoidi Morita-equivalenti possiedono Lie algebre di sezioni basilari isomorfe.
Il presente articolo è un lavoro di matematica pura teorica e non comporta esperimenti numerici. La verifica avviene attraverso dimostrazioni matematiche rigorose ed esempi geometrici concreti.
Gruppoidi fogliati: Gruppoidi di Lie G⇒M con mappa di ancoraggio ρ:A→TM iniettiva.
Il LA-gruppoide tangente TG⇒TM ha mappa di ancoraggio del nucleo esattamente ρ, quindi iniettiva. Le sezioni basilari recuperano il concetto di campi vettoriali basilari su gruppoidi fogliati studiato in 11.
Applicazioni:
I gruppoidi di Lie con struttura simplettica 0-shifted sono gruppoidi fogliati
I campi vettoriali basilari vengono utilizzati per realizzare la riduzione di Morita invariante sotto azioni hamiltoniane di Lie 2-gruppi fogliati
Per strutture simplettiche o di contatto compatibili, se la mappa di ancoraggio del nucleo è iniettiva, allora è anche suriettiva (isomorfismo). In questo caso il fibrato normale è banale, senza sezioni basilari non banali. Ciò è coerente con l'Osservazione 3.7.
Per LA-gruppoidi con mappa di ancoraggio del nucleo iniettiva, lo spazio delle sezioni basilari Γbas(V) possiede naturalmente una struttura di Lie algebra.
Tale Lie algebra è invariante di Morita e può servire come modello semplificato per lo spazio delle sezioni dei funtori di Lie algebroidi stratificati.
Il modello delle sezioni basilari è quasi-isomorfo al modello della Lie 2-algebra delle sezioni moltiplicative (Proposizione 3.14).
La teoria unifica e generalizza il concetto di sezioni basilari per molteplici oggetti geometrici importanti.
Necessità della condizione di iniettività: La teoria si applica solo al caso di mappa di ancoraggio del nucleo iniettiva, non potendo trattare LA-gruppoidi generali.
Differenza dal nucleo banale: Diversamente dai VB-gruppoidi, i LA-gruppoidi con mappa di ancoraggio del nucleo iniettiva non sono necessariamente Morita-equivalenti a LA-gruppoidi a nucleo banale (Osservazione 3.2). Ad esempio, il VB-gruppoide tangente di un gruppoide fogliato, a meno che la foliazione non sia banale, ha E/C=TM/TF che non è un algebroide di Lie.
Degenerazione nel caso simplettico/di contatto: Per gruppoidi simplettici e di contatto, se la mappa di ancoraggio del nucleo è iniettiva allora è anche suriettiva, conducendo ad assenza di sezioni basilari non banali (Osservazione 4.5).
Applicazioni delle derivazioni basilari: Completamento della teoria di riduzione per strutture di contatto 0-shifted di fibrati lineari gruppoidi sotto azioni di Lie 2-gruppi fogliati 17.
Altre strutture geometriche: Applicazione della teoria a strutture di Dirac moltiplicative 19 e strutture di Dirac-Jacobi 21.
Quasi-LA-gruppoidi: Esplorazione della relazione con il quadro più generale dei quasi-LA-gruppoidi proposto da Alvarez & Cueca 1.
Descrizioni di Q-gruppoidi e PVB-gruppoidi: Traduzione del concetto di sezione basilare in questi quadri equivalenti (Osservazione 3.8).
Generalizzazione concettuale: Generalizzazione riuscita del concetto di campi vettoriali basilari su gruppoidi fogliati a LA-gruppoidi generali, stabilendo un quadro teorico unificato.
Modello semplificato: Fornitura di una descrizione più semplice ma equivalente rispetto alla Lie 2-algebra delle sezioni moltiplicative, riducendo la complessità tecnica.
Invarianza di Morita: Dimostrazione dell'invarianza di Morita delle sezioni basilari, assicurando la buona definizione di tale concetto nella geometria stratificata.
Limitazione della condizione di iniettività: La teoria si applica solo a LA-gruppoidi con mappa di ancoraggio del nucleo iniettiva. Sebbene tali gruppoidi siano importanti in geometria (come gruppoidi fogliati, strutture simplettiche/di contatto 0-shifted), non possono trattare il caso generale.
Casi degeneri: Per gruppoidi simplettici/di contatto, la teoria è applicabile ma i risultati sono banali (Osservazione 4.5), limitando il valore applicativo.
Discussione insufficiente dei quasi-LA-gruppoidi: L'Osservazione 2.2 menziona che i quasi-LA-gruppoidi di Alvarez & Cueca 1 forniscono una definizione alternativa dei funtori di Lie algebroidi stratificati, ma manca un confronto approfondito dei vantaggi e svantaggi dei due quadri.
Contributi nuovi dei campi vettoriali basilari: Sebbene l'Esempio 4.1 generalizzi il lavoro di 11, non vengono esplicitati i miglioramenti tecnici o le nuove intuizioni rispetto al lavoro originale.
Applicazioni delle derivazioni basilari: Viene menzionato l'utilizzo nella riduzione 0-shifted di contatto 17, ma mancano i dettagli specifici o i risultati attesi.
Altre strutture geometriche: Viene menzionata l'applicabilità a strutture di Dirac e Dirac-Jacobi, ma manca una roadmap tecnica specifica.
Fondamenti teorici: Fornitura di nuovi strumenti tecnici per la geometria stratificata, arricchendo la teoria dei LA-gruppoidi.
Prospettiva unificata: Inclusione di molteplici concetti apparentemente indipendenti (campi vettoriali basilari, derivazioni basilari, ecc.) in un quadro unificato.
Ruolo di ponte: Connessione tra la teoria dei VB-gruppoidi, la teoria dell'equivalenza di Morita e la geometria stratificata.
Teoria della riduzione: Le sezioni basilari sono strumenti importanti nello studio della riduzione per simmetrie (Esempi 4.1 e 4.2).
Costruzione di invarianti: L'invarianza di Morita le rende candidate per la definizione di invarianti geometrici su stack.
Semplificazione computazionale: Rispetto alla Lie 2-algebra delle sezioni moltiplicative, la struttura di Lie algebra delle sezioni basilari è più facile da trattare.
Definizioni precise: Tutti i concetti possiedono definizioni matematiche esatte.
Dimostrazioni dettagliate: I passaggi delle dimostrazioni dei risultati principali sono chiari e verificabili.
Esempi concreti: Gli esempi della Sezione 4 forniscono scenari concreti di applicazione della teoria.
Insufficienza: Mancanza di istanze computazionali o algoritmi, che potrebbe richiedere preparazione tecnica aggiuntiva per lettori desiderosi di applicare concretamente la teoria.
Il presente articolo stabilisce la teoria delle sezioni basilari per LA-gruppoidi con mappa di ancoraggio del nucleo iniettiva, fornendo un modello semplificato per le sezioni dei funtori di Lie algebroidi stratificati. La teoria è rigorosa e ampiamente applicabile, rappresentando un contributo importante alla geometria stratificata e alla teoria dei LA-gruppoidi. Le limitazioni principali risiedono nel fatto che l'ambito di applicabilità è ristretto dalla condizione di iniettività e nella mancanza di metodi di calcolo concreti. I lavori futuri presentano potenziale nella teoria di riduzione per strutture di contatto 0-shifted e nelle applicazioni ad altre strutture geometriche.