$\mathcal{L}$-Lie Algebroids over Topological Ringed Spaces

Technische Samenvatting: L-Lie Algebroids over Topologische Geringde Ruimtes

Probleemstelling
Lie-algebroids dienen als gegeneraliseerde infinitesimale symmetrieën en verenigen concepten uit de differentiaalmeetkunde, de Poisson-meetkunde en de wiskundige fysica. Hoewel de theorie van Lie-algebroids over gladde variëteiten goed gevestigd is, vereist het uitbreiden van deze structuren naar complexe, algebraïsche en singuliere contexten (bijv. holomorfe of algebraïsche vectorbundels) een scheef-theoretische benadering. In deze bredere contexten falen globale secties vaak in het vastleggen van de volledige geometrische informatie, wat het gebruik van lokaal geringde ruimtes noodzakelijk maakt.

Bovendien hebben recente ontwikkelingen "gewortelde" of relatieve versies van Lie-algebroids geïntroduceerd, zoals $L$-Lie-algebroids, waarbij de ankerkaart factoriseert door een vaste Lie-algebroid $L$. Deze structuren verschijnen in de log-symplectische meetkunde, singuliere foliaties en equivariante meetkunde. Echter, een verenigd kader dat deze gewortelde structuren verbindt met geassocieerde algebraïsche objecten — specifiek Gerstenhaber-algebra's, Batalin–Vilkovis (BV)-algebra's en hun differentiaal-gegradeerde tegenhangers — is nog niet volledig geformaliseerd in de context van topologische geringde ruimtes. Dit artikel adresseert de noodzaak om standaard correspondenties (bijv. tussen Lie-bialgebroids en sterke differentiaal Gerstenhaber-algebra's) te generaliseren naar deze gewortelde setting.

Methodologie
De auteurs maken gebruik van een scheef-theoretisch kader over topologische geringde ruimtes $(X, \mathcal{O}_X)$, waarbij $\mathcal{O}_X$ een scheef van $K$-algebra's is ($K = \mathbb{R}, \mathbb{C}$, of een algebraïsch gesloten lichaam met karakter nul). De methodologie omvat:

1. Generalisatie van Definities: Het artikel definieert $L$-Lie-algebroids als Lie-algebroids $(L', \phi)$ uitgerust met een homomorfisme $\phi: L' \to L$ naar een vaste Lie-algebroid $L$. Op vergelijkbare wijze introduceren zij $A$-Gerstenhaber-algebra's als Gerstenhaber-algebra's die naar een vaste Gerstenhaber-algebra $A$ mappen.
2. Algebraïsche Correspondenties: De auteurs vestigen functoriele relaties tussen deze gewortelde geometrische structuren en hun algebraïsche avatars. Dit omvat het uitbreiden van de correspondentie tussen Lie-algebroids en Gerstenhaber-algebra's, en tussen Lie-bialgebroids en sterke differentiaal Gerstenhaber-algebra's.
3. Homologische Algebra: Het artikel maakt gebruik van hypercohomologie en hyperhomologie van scheef-complexen om Lie-algebroid (co)homologie te definiëren. Het generaliseert de Poincaré–Birkhoff–Witt (PBW) stelling naar de context van $L$-Lie-algebroids en construeert universele enveloppende algebroids $U(\mathcal{O}_X, L)$.
4. Connectietheorie: Het concept van connecties wordt uitgebreid van $L$-connecties naar $(L', L)$-connecties, waarbij een connectie op een $\mathcal{O}_X$-module $E$ relatief wordt gedefinieerd ten opzichte van de afbeelding $\phi: L' \to L$. Vlakheidscondities worden geanalyseerd om deze connecties te relateren aan BV-algebra-structuren.

Belangrijkste Bijdragen en Resultaten

• $L$-Lie-algebroids en $A$-Gerstenhaber-algebra's: Het artikel bewijst dat een $\mathcal{O}_X$-module $E$ een $L$-Lie-algebroid structuur bezit indien en slechts indien zijn buitenalgebra $\wedge^\bullet_{\mathcal{O}_X} E$ een $G_L$-Gerstenhaber-algebra structuur draagt (Theorema 3.12). Dit generaliseert de klassieke resultaten die Lie-algebroids koppelen aan Gerstenhaber-algebra's.
• $\Omega^\bullet_L$-Differentiaal Gegradeerde Algebra's: Een correspondentie wordt vastgesteld tussen $L$-Lie-algebroid structuren op $E$ en $\Omega^\bullet_L$-differentiaal gegradeerde algebra structuren op de buitenalgebra van de duale bundel (Theorema 4.3).
• $L$-Lie-bialgebroids en Sterke Differentiaal Gerstenhaber-algebra's: De auteurs definiëren $L$-Lie-bialgebroids als duale paren van $L$-Lie-algebroids die voldoen aan een compatibiliteitsconditie. Zij bewijzen dat een dergelijke structuur op een paar $(L', L'^*)$ bestaat indien en slechts indien $\wedge^\bullet_{\mathcal{O}_X} L'$ een sterke differentiaal $G_L$-Gerstenhaber-algebra structuur bezit (Theorema 5.10).
• Gegeneraliseerde Connecties en BV-algebra's: Het artikel breidt de theorie van connecties uit naar $(L', L)$-connecties. Het demonstreert dat een exacte Gerstenhaber-algebra (BV-algebra) structuur op $\wedge^\bullet_{\mathcal{O}_X} L$, gecombineerd met een Gerstenhaber-homomorfisme van $\wedge^\bullet_{\mathcal{O}_X} L'$, equivalent is aan het feit dat $L'$ een $L$-Lie-algebroid structuur heeft met een vlakke $(L', L)$-connectie op $\wedge^n_{\mathcal{O}_X} L$ (Theorema 6.6).
• Homologie en Cohomologie Dualiteit: Bouwend op het werk van Xu en Huebschmann, breidt het artikel de dualiteitstelling tussen Lie-algebroid homologie en cohomologie uit naar de $L$-Lie-algebroid setting. Het vestigt een canonieke dualiteitsisomorfisme tussen de homologie van een $L$-Lie-algebroid $L'$ en haar cohomologie met coëfficiënten in de bovenste buitenkracht, waarbij gefactoriseerd wordt door de dualiteit van de basis Lie-algebroid $L$ (Theorema 8.9).
• Gegeneraliseerde PBW-stelling: De Poincaré–Birkhoff–Witt stelling wordt gegeneraliseerd naar $L$-Lie-algebroids, waarbij wordt aangetoond dat de gegradeerde algebra van de universele enveloppende algebroid $U(\mathcal{O}_X, L')$ isomorf is aan de symmetrische algebra $\text{Sym}_{\mathcal{O}_X}(L')$ op een wijze die compatibel is met de afbeelding naar $U(\mathcal{O}_X, L)$ (Theorema 7.6).

Betekenis en Claims
Het artikel claimt een verenigd kader te bieden voor het bestuderen van geometrische structuren in diverse gladde, holomorfe en algebraïsche settings, met name die betrokken zijn bij singulariteiten of specifieke divisor-structuren. Door de "gewortelde" perspectief van $L$-Lie-algebroids te introduceren, bieden de auteurs een natuurlijkere beschrijving voor diverse geometrische fenomenen, zoals:

• Logaritmische Structuren: Het kader beschrijft natuurlijk logaritmische tangent-sheaves en logaritmische connecties, waarbij de anker factoriseert door de log tangent sheaf.
• Singuliere Foliaties: Het accommodeert singuliere subalgebroids en foliaties die niet noodzakelijkerwijs lokaal vrij zijn.
• Equivariante Meetkunde: Het biedt een setting voor het bestuderen van equivariante principale bundels en log Atiyah-algebroids.

De auteurs benadrukken dat hoewel deze structuren als instanties van Lie-algebroids over topologische geringde ruimtes kunnen worden beschouwd, het $L$-Lie-algebroid kader de beschrijving vaak vereenvoudigt en diepere algebraïsche relaties onthult, met name met betrekking tot de interactie tussen differentiaaloperatoren, connecties en deformatietheorie. Het werk dient als een fundamentele stap voor verdere ontwikkelingen in de deformatietheorie van geometrische structuren via gewortelde Gerstenhaber en BV-algebra's.