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.
Cet article définit le concept de sections basiques pour les LA-groupoïdes (LA-groupoids) dotés d'une application d'ancrage de noyau injective (injective core-anchor map). Ce concept s'avère être une invariante de Morita, fournissant ainsi un modèle plus simple pour les sections des algébroïdes de Lie feuilletés (stacky Lie algebroids) présentés par ces LA-groupoïdes, tout en restant équivalent au modèle bien connu des sections multiplicatives.
Le problème central étudié dans cet article est : comment définir un modèle d'espace de sections simplifié et invariant de Morita pour les LA-groupoïdes dotés d'une application d'ancrage de noyau injective ?
Applications généralisées des groupoïdes de Lie : Les groupoïdes de Lie constituent un cadre fondamental de la géométrie différentielle moderne, unifiant de nombreux objets géométriques tels que les variétés, les groupes de Lie, les actions de groupes de Lie, les submersions, les feuilletages, les pseudogroupes, les fibrés vectoriels et les fibrés principaux.
Structures géométriques des champs différentiables : Les groupoïdes de Lie peuvent être considérés comme une étape intermédiaire dans la définition des champs différentiables (differentiable stacks), qui sont des espaces admettant des singularités et généralisant les variétés, les orbifolds et les espaces de feuilles de feuilletages singuliers.
Importance de l'invariance de Morita : Les structures géométriques compatibles avec l'équivalence de Morita peuvent descendre aux champs quotients des groupoïdes de Lie, étendant ainsi les concepts géométriques aux espaces d'orbites singuliers.
Bien que le modèle de Lie 2-algèbre des sections multiplicatives des LA-groupoïdes soit invariant de Morita, sa structure est complexe. Pour les cas particuliers dotés d'une application d'ancrage de noyau injective (comme les groupoïdes feuilletés), il existe des modèles plus simples (champs de vecteurs basiques), mais il manque un cadre théorique unifié.
Simplification du modèle : Fournir un modèle de sections plus simple que celui des sections multiplicatives pour les LA-groupoïdes dotés d'une application d'ancrage de noyau injective.
Généralisation des champs de vecteurs basiques : Généraliser le concept de champs de vecteurs basiques sur les groupoïdes feuilletés à des LA-groupoïdes plus généraux.
Besoins applicatifs : Définir les dérivations basiques des fibrés en droites groupoïdes, utilisées pour étudier les problèmes de réduction des structures de contact 0-décalées.
Définition du concept de sections basiques : Introduction du concept de sections basiques pour les VB-groupoïdes (en particulier les LA-groupoïdes) dotés d'une application d'ancrage de noyau injective.
Établissement de la structure d'algèbre de Lie : Démonstration que l'espace des sections basiques d'un LA-groupoïde hérite naturellement d'une structure d'algèbre de Lie.
Invariance de Morita : Preuve que l'algèbre de Lie des sections basiques est invariante de Morita, pouvant ainsi servir de modèle pour les sections des algébroïdes de Lie feuilletés.
Théorème d'équivalence (théorème principal) : Pour un LA-groupoïde (V⇒E;G⇒M) dont l'application d'ancrage de noyau est injective, il existe une structure d'algèbre de Lie invariante de Morita sur l'espace des sections basiques, et cette algèbre de Lie est quasi-isomorphe à la Lie 2-algèbre des sections multiplicatives.
Exemples d'applications généralisées : Démonstration de l'applicabilité de cette théorie dans plusieurs scénarios importants : champs de vecteurs basiques, dérivations basiques, 1-formes basiques des groupoïdes de Poisson, 1-jets basiques des groupoïdes de Jacobi, etc.
Un VB-groupoïde est un fibré vectoriel dans la catégorie des groupoïdes de Lie, représenté par un diagramme commutatif :
V ⇒ E
↓ ↓
G ⇒ M
où V⇒E et G⇒M sont des groupoïdes de Lie, et V→G et E→M sont des fibrés vectoriels.
Un LA-groupoïde est un VB-groupoïde (V⇒E;G⇒M) où V et E sont tous deux des algébroïdes de Lie, et toutes les applications structurelles sont des morphismes d'algébroïdes de Lie.
Le noyau : C=ker(s)∣M, où s est l'application source.
L'application d'ancrage de noyau : ∂:C→E est l'application cible restreinte au noyau.
Pour les LA-groupoïdes, utilisant la représentation de Bott ∇:Γ(C)×Γ(N0)→Γ(N0), on définit l'espace des sections plates :
Γ0(E):={Y∈Γ(N0)∣∇XY=0,∀X∈Γ(C)}≅Γ(C)N(Γ(C))
La Proposition 3.6 établit que : Γbas(V) est une sous-algèbre de Lie de Γ0(E).
Schéma de preuve :
Utilisation des sections invariantes à droite Y et de la naturalité de la représentation de Bott (diagramme 3.3)
Preuve que s∗,t∗:Γ0(E)→Γ0(V) sont des morphismes d'algèbres de Lie
Pour X,Y∈Γbas(V), calcul de :
s∗([X,Y])=[s∗X,s∗Y]=[t∗X,t∗Y]=t∗[X,Y]
Un morphisme VB-Morita F:V→V′ induit un quasi-isomorphisme pointwise entre les complexes de noyaux (diagramme 3.1)
L'application induite Fˉ:N0→N0′ est un morphisme VB fibrewise inversible
L'application de pullback F∗:Γbas(V′)→Γbas(V) est un isomorphisme d'algèbres de Lie
La Proposition 3.12 : Un morphisme VB-Morita induit un isomorphisme linéaire des espaces de sections basiques ; pour un morphisme LA-Morita, c'est un isomorphisme d'algèbres de Lie.
Corollaire 3.13 : Les LA-groupoïdes Morita-équivalents possèdent des algèbres de Lie de sections basiques isomorphes.
Cet article est un article de mathématiques pures et ne comporte pas d'expériences numériques. La vérification s'effectue par des preuves mathématiques rigoureuses et des exemples géométriques concrets.
Groupoïdes feuilletés : Groupoïdes de Lie G⇒M dont l'application d'ancrage ρ:A→TM est injective.
Le LA-groupoïde tangent TG⇒TM a une application d'ancrage de noyau égale à ρ, qui est donc injective. Les sections basiques retrouvent le concept de champs de vecteurs basiques sur les groupoïdes feuilletés étudié dans 11.
Applications :
Les groupoïdes de Lie dotés d'une structure symplectique 0-décalée sont des groupoïdes feuilletés
Les champs de vecteurs basiques sont utilisés pour réaliser la réduction de Morita invariante sous l'action de Lie 2-groupes feuilletés
Configuration : Le groupoïde d'action G⋉E⇒E représentant E forme un VB-groupoïde V⇒E.
Le LA-groupoïde d'Atiyah (DV⇒DE;G⇒M) a ses sections basiques qui donnent un modèle pour les dérivations basiques.
Cas particulier : Fibrés en droites groupoïdes L⇒LM
Le LA-groupoïde d'Atiyah des fibrés en droites groupoïdes dotés d'une structure de contact 0-décalée possède une application d'ancrage de noyau injective
Les dérivations basiques sont utilisées dans la théorie de réduction des structures de contact 0-décalées 17
Pour les structures symplectiques ou de contact compatibles, si l'application d'ancrage de noyau est injective, elle est aussi surjective (isomorphisme). Dans ce cas, le fibré normal est trivial, sans sections basiques non triviales. Ceci est cohérent avec la Remarque 3.7.
Pour les LA-groupoïdes dont l'application d'ancrage de noyau est injective, l'espace des sections basiques Γbas(V) possède naturellement une structure d'algèbre de Lie.
Cette algèbre de Lie est invariante de Morita et peut servir de modèle simplifié pour l'espace des sections des algébroïdes de Lie feuilletés.
Le modèle des sections basiques est quasi-isomorphe au modèle de Lie 2-algèbre des sections multiplicatives (Proposition 3.14).
Cette théorie unifie et généralise le concept de sections basiques pour plusieurs objets géométriques importants.
Nécessité de la condition d'injectivité : La théorie s'applique uniquement aux cas où l'application d'ancrage de noyau est injective, ne pouvant traiter les LA-groupoïdes généraux.
Différence avec le noyau trivial : Contrairement aux VB-groupoïdes, les LA-groupoïdes dont l'application d'ancrage de noyau est injective ne sont pas nécessairement Morita-équivalents aux LA-groupoïdes à noyau trivial (Remarque 3.2). Par exemple, le VB-groupoïde tangent d'un groupoïde feuilleté, à moins que le feuilletage ne soit trivial, a E/C=TM/TF qui n'est pas un algébroïde de Lie.
Dégénérescence dans les cas symplectique/contact : Pour les groupoïdes symplectiques et de contact, si l'application d'ancrage de noyau est injective, elle est aussi surjective, conduisant à l'absence de sections basiques non triviales (Remarque 4.5).
Applications des dérivations basiques : Compléter la théorie de réduction des structures de contact 0-décalées des fibrés en droites groupoïdes sous l'action de Lie 2-groupes feuilletés 17.
Autres structures géométriques : Application de la théorie aux structures de Dirac multiplicatives 19 et structures de Dirac-Jacobi 21.
Quasi-LA-groupoïdes : Exploration des relations avec le cadre plus général des quasi-LA-groupoïdes proposé par Alvarez & Cueca 1.
Descriptions en termes de Q-groupoïdes et PVB-groupoïdes : Traduction du concept de sections basiques dans ces cadres équivalents (Remarque 3.8).
Généralisation conceptuelle : Généralisation réussie du concept de champs de vecteurs basiques des groupoïdes feuilletés aux LA-groupoïdes généraux, établissant un cadre théorique unifié.
Modèle simplifié : Fourniture d'une description plus simple mais équivalente à la Lie 2-algèbre des sections multiplicatives, réduisant la complexité technique.
Invariance de Morita : Preuve de l'invariance de Morita des sections basiques, assurant une bonne définition de ce concept en géométrie feuilletée.
Limitation de la condition d'injectivité : La théorie s'applique uniquement aux LA-groupoïdes dont l'application d'ancrage de noyau est injective. Bien que cette classe de groupoïdes soit importante en géométrie (comme les groupoïdes feuilletés, les structures symplectiques/contact 0-décalées), elle ne peut traiter les cas généraux.
Cas dégénérés : Pour les groupoïdes symplectiques/contact, bien que la théorie soit applicable, les résultats sont triviaux (Remarque 4.5), limitant la valeur applicative.
Discussion insuffisante des quasi-LA-groupoïdes : La Remarque 2.2 mentionne que les quasi-LA-groupoïdes d'Alvarez & Cueca 1 fournissent une définition alternative des algébroïdes de Lie feuilletés, mais une comparaison approfondie des avantages et inconvénients des deux cadres fait défaut.
Nouvelles contributions sur les champs de vecteurs basiques : Bien que l'Exemple 4.1 généralise le travail de 11, les améliorations techniques spécifiques ou les nouvelles perspectives par rapport au travail original ne sont pas clairement énoncées.
Application des dérivations basiques : Mention de l'utilisation pour la réduction 0-décalée de contact 17, mais sans indication des approches concrètes ou des résultats attendus.
Autres structures géométriques : Mention de l'applicabilité aux structures de Dirac et Dirac-Jacobi, mais absence de feuille de route technique concrète.
Fondations théoriques : Fourniture de nouveaux outils techniques pour la géométrie feuilletée, enrichissant la théorie des LA-groupoïdes.
Perspective unifiée : Intégration de plusieurs concepts apparemment indépendants (champs de vecteurs basiques, dérivations basiques, etc.) dans un cadre unifié.
Rôle de pont : Connexion entre la théorie des VB-groupoïdes, la théorie de l'équivalence de Morita et la géométrie feuilletée.
Théorie de réduction : Les sections basiques sont des outils importants pour l'étude de la réduction par symétrie (Exemples 4.1 et 4.2).
Construction d'invariants : L'invariance de Morita en fait un candidat pour définir des invariants géométriques sur les champs feuilletés.
Simplification du calcul : Comparée à la Lie 2-algèbre des sections multiplicatives, la structure d'algèbre de Lie des sections basiques est plus facile à manipuler.
Définitions précises : Tous les concepts possèdent des définitions mathématiques exactes.
Preuves détaillées : Les étapes de preuve des résultats principaux sont claires et vérifiables.
Exemples concrets : Les exemples de la section 4 fournissent des scénarios concrets d'application de la théorie.
Insuffisance : Absence d'exemples de calcul ou d'algorithmes, ce qui peut nécessiter une préparation technique supplémentaire pour les lecteurs souhaitant appliquer concrètement cette théorie.
Cet article établit une théorie des sections basiques pour les LA-groupoïdes dont l'application d'ancrage de noyau est injective, fournissant un modèle simplifié pour les sections des algébroïdes de Lie feuilletés. La théorie est rigoureuse et largement applicable, constituant une contribution importante à la géométrie feuilletée et à la théorie des LA-groupoïdes. Les principales limitations résident dans la restriction de la portée d'application par la condition d'injectivité et l'absence de méthodes de calcul concrètes. Les travaux futurs présentent un potentiel dans la théorie de réduction des structures de contact 0-décalées et l'application à d'autres structures géométriques.