Basic sections of LA-groupoids

Basic Information

• Paper ID: 2511.04289
• Title: Basic sections of LA-groupoids
• Authors: Antonio Maglio (Polish Academy of Sciences), Fabricio Valencia (Universidade de São Paulo)
• Classification: math.DG (Differential Geometry)
• Submission Date: November 6, 2025 to arXiv
• Paper Link: https://arxiv.org/abs/2511.04289

Abstract

This paper defines the concept of basic sections for LA-groupoids (Lie algebroid groupoids) with injective core-anchor maps. This concept is proven to be Morita invariant, thereby providing a simpler model for sections of stacky Lie algebroids presented by such LA-groupoids, while remaining equivalent to the well-known multiplicative sections model.

Research Background and Motivation

Research Problem

The core problem addressed in this paper is: How can one define a simplified, Morita-invariant section space model for LA-groupoids with injective core-anchor maps?

Problem Significance

1. Broad Applications of Lie Groupoids: Lie groupoids constitute an important framework in modern differential geometry, unifying diverse geometric objects including manifolds, Lie groups, Lie group actions, submersions, foliations, pseudogroups, vector bundles, and principal bundles.
2. Geometric Structure of Differentiable Stacks: Lie groupoids serve as an intermediate step in defining differentiable stacks, which are spaces admitting singularities and generalize manifolds, orbifolds, and leaf spaces of singular foliations.
3. Importance of Morita Invariance: Geometric structures compatible with Morita equivalence can descend to quotient stacks of Lie groupoids, thereby extending geometric concepts to singular orbit spaces.

Limitations of Existing Approaches

While existing Lie 2-algebra models for multiplicative sections of LA-groupoids are Morita invariant, they possess complex structures. For the special case of injective core-anchor maps (such as foliation groupoids), simpler models exist (basic vector fields), but lack a unified theoretical framework.

Research Motivation

1. Simplified Models: Provide simpler section models than multiplicative sections for LA-groupoids with injective core-anchor maps.
2. Generalization of Basic Vector Fields: Extend the concept of basic vector fields on foliation groupoids to more general LA-groupoids.
3. Application Needs: Define basic derivations of line bundle groupoids for studying reduction problems of 0-shifted contact structures.

Core Contributions

1. Definition of Basic Sections: Introduces the concept of basic sections for VB-groupoids (particularly LA-groupoids) with injective core-anchor maps.
2. Establishment of Lie Algebra Structure: Proves that the space of basic sections of an LA-groupoid naturally inherits a Lie algebra structure.
3. Morita Invariance: Demonstrates that the Lie algebra of basic sections is Morita invariant, thus serving as a model for sections of stacky Lie algebroids.
4. Equivalence Theorem (Main Theorem): For LA-groupoids $(V \Rightarrow E; G \Rightarrow M)$ with injective core-anchor maps, there exists a Morita-invariant Lie algebra structure on the space of basic sections, and this Lie algebra is quasi-isomorphic to the Lie 2-algebra of multiplicative sections.
5. Extensive Application Examples: Demonstrates the applicability of this theory across multiple important scenarios including basic vector fields, basic derivations, basic 1-forms of Poisson groupoids, and basic 1-jets of Jacobi groupoids.

Detailed Methodology

Task Definition

Given an LA-groupoid $(V \Rightarrow E; G \Rightarrow M)$ with core $C$ and injective core-anchor map $\partial: C \to E$, the task is to:

• Define the space of basic sections $\Gamma_{\text{bas}}(V)$
• Establish a Lie algebra structure on $\Gamma_{\text{bas}}(V)$
• Prove its Morita invariance
• Establish equivalence with multiplicative sections

Theoretical Framework

1. Foundations of VB-groupoids and LA-groupoids

VB-groupoids are vector bundles in the category of Lie groupoids, represented by commutative diagrams:

V ⇒ E
↓   ↓
G ⇒ M

where $V \Rightarrow E$ and $G \Rightarrow M$ are Lie groupoids, and $V \to G$ and $E \to M$ are vector bundles.

LA-groupoids are VB-groupoids $(V \Rightarrow E; G \Rightarrow M)$ where both $V$ and $E$ are Lie algebroids and all structure maps are Lie algebroid morphisms.

Core: $C = \ker(s)|_M$, where $s$ is the source map.

Core-anchor map: $\partial: C \to E$ is the restriction of the target map $t$ to the core.

2. Characterization of Injective Core-Anchor Maps

Key conclusion of Lemma 3.1: The core-anchor map $\partial$ is injective if and only if $\ker s \cap \ker t = \{0\}$.

In this case:

• $\ker s + \ker t = \ker s \oplus \ker t$ is a vector subbundle of $V$
• For LA-groupoids, this is a Lie algebroid subbundle of $V$

3. Normal Bundle Construction

Define the normal bundles: $N_1 = \frac{V}{\ker(s) + \ker(t)}, \quad N_0 = \frac{E}{C}$

Through VB-morphisms $p_R: V \to s^*E$ and $p_L: V \to t^*E$: $u_g \mapsto (g, s(u_g)) \quad \text{and} \quad u_g \mapsto (g, t(u_g))$

Lemma 3.3 proves that these maps induce VB-isomorphisms: $N_1 \cong s^*N_0 \quad \text{and} \quad N_1 \cong t^*N_0$

4. Definition of Basic Sections

Definition 3.4: A basic section of a VB-groupoid $V$ is a section $\lambda \in \Gamma(N_0)$ satisfying $s^*\lambda = t^*\lambda \in \Gamma(N_1)$.

The space of basic sections is denoted $\Gamma_{\text{bas}}(V)$.

Geometric Intuition: Basic sections are sections of $E/C$ satisfying invariance conditions with respect to the groupoid action.

Technical Innovations

1. Construction of Lie Algebra Structure

For LA-groupoids, using the Bott representation $\nabla: \Gamma(C) \times \Gamma(N_0) \to \Gamma(N_0)$, define the space of flat sections: $\Gamma_0(E) := \{Y \in \Gamma(N_0) \mid \nabla_X Y = 0, \forall X \in \Gamma(C)\} \cong \frac{N(\Gamma(C))}{\Gamma(C)}$

Proposition 3.6 proves: $\Gamma_{\text{bas}}(V)$ is a Lie subalgebra of $\Gamma_0(E)$.

Proof Strategy:

1. Utilize right-invariant sections $\vec{Y}$ and naturality of the Bott representation (Diagram 3.3)
2. Prove that $s^*, t^*: \Gamma_0(E) \to \Gamma_0(V)$ are Lie algebra morphisms
3. For $X, Y \in \Gamma_{\text{bas}}(V)$, compute: $s^*([X,Y]) = [s^*X, s^*Y] = [t^*X, t^*Y] = t^*[X,Y]$

2. Morita Invariance

Core Mechanism:

• VB-Morita maps $F: V \to V'$ induce pointwise quasi-isomorphisms between core complexes (Diagram 3.1)
• The induced map $\bar{F}: N_0 \to N'_0$ is a fiberwise invertible VB-morphism
• The pullback map $F^*: \Gamma_{\text{bas}}(V') \to \Gamma_{\text{bas}}(V)$ is a Lie algebra isomorphism

Proposition 3.12: VB-Morita maps induce linear isomorphisms on basic section spaces; for LA-Morita maps, these are Lie algebra isomorphisms.

Corollary 3.13: Morita equivalent LA-groupoids possess isomorphic Lie algebras of basic sections.

3. Equivalence with Multiplicative Sections

The Lie 2-algebra of multiplicative sections is given by a crossed module: $\Gamma(C) \xrightarrow{\delta} \Gamma_{\text{mult}}(V) \xrightarrow{D} \text{Der}(\Gamma(C))$

where $\delta(c) = (\vec{c} - \overleftarrow{c}, \partial(c))$.

Proposition 3.14: The map $\Psi: \frac{\Gamma_{\text{mult}}(V)}{\text{im}(\delta)} \to \Gamma_{\text{bas}}(V), \quad (\lambda, e) \mapsto \bar{e}$ is a Lie algebra isomorphism.

Key Points of Proof:

1. Using Morita equivalence, $V$ is equivalent to the trivial-core VB-groupoid $V'$ with side bundle $E/C$
2. $\Gamma_{\text{mult}}(V')/\text{im}(\delta) \cong \Gamma(E/C)^G$ ($G$-invariant sections)
3. $\Gamma_{\text{bas}}(V) = \Gamma(E/C)^G$ (Remark 3.7)

Experimental Setup

This is a pure mathematics theory paper with no numerical experiments. Verification is accomplished through rigorous mathematical proofs and concrete geometric examples.

Application Examples

Example 4.1: Basic Vector Fields

Foliation Groupoids: Lie groupoids $G \Rightarrow M$ with injective anchor map $\rho: A \to TM$.

The core-anchor map of the tangent LA-groupoid $TG \Rightarrow TM$ is precisely $\rho$, hence injective. Basic sections recover the concept of basic vector fields on foliation groupoids studied in 11.

Applications:

• Lie groupoids with 0-shifted symplectic structures are foliation groupoids
• Basic vector fields are used to realize Morita-invariant reduction under Hamiltonian actions of foliation Lie 2-groups

Example 4.2: Basic Derivations

Setup: The action groupoid $G \ltimes E \Rightarrow E$ of a representation $E$ forms a VB-groupoid $V \Rightarrow E$.

Basic sections of the Atiyah LA-groupoid $(DV \Rightarrow DE; G \Rightarrow M)$ provide a model for basic derivations.

Special Case: Line bundle groupoids $L \Rightarrow L_M$

• Atiyah LA-groupoids of line bundle groupoids with 0-shifted contact structures have injective core-anchor maps
• Basic derivations are used in reduction theory for 0-shifted contact structures 17

Example 4.3: Basic 1-Forms of Transitive Poisson Groupoids

Poisson Groupoids: Groupoids $G \Rightarrow M$ equipped with Poisson structures compatible with the groupoid structure.

The cotangent VB-groupoid $T^*G \Rightarrow A^*$ is an LA-groupoid with core-anchor map $\rho^*: T^*M \to A^*$ (dual of the anchor).

Transitive Case: If $G$ is transitive, then $\rho$ is surjective, hence $\rho^*$ is injective, yielding a model for basic 1-forms.

Example 4.4: Basic 1-Jets of Jacobi Groupoids

Jacobi Groupoids: Line bundle VB-groupoids $(L \Rightarrow L_M; G \Rightarrow M)$ equipped with compatible Jacobi bivectors $\mathcal{J}: \wedge^2 J^1L \to L$.

The 1-jet bundle $J^1L \Rightarrow A^\dagger = A^* \otimes L_M$ is an LA-groupoid with core-anchor map $\mathcal{D}^\dagger: J^1L_M \to A^\dagger$.

If $\mathcal{D}$ is surjective, then $\mathcal{D}^\dagger$ is injective, yielding a model for basic 1-jets.

Remark 4.5: Symplectic and Contact Groupoids

For compatible symplectic or contact structures, if the core-anchor map is injective, it is also surjective (hence an isomorphism). In this case, the normal bundle is trivial, yielding no nontrivial basic sections. This is consistent with Remark 3.7.

Related Work

Major Related Research

1. VB-Groupoid Theory:
   • Mackenzie 13: Duality of symplectic and Poisson double groupoids
   • Gracia-Saz & Mehta 9: VB-groupoids and representation theory of Lie groupoids
   • del Hoyo & Ortiz 7: Morita equivalence of vector bundles
2. LA-Groupoids and Multiplicative Sections:
   • Mehta 18: $Q$-algebroids and their cohomology
   • Ortiz & Waldron 20: Lie 2-algebras of sections of LA-groupoids
3. Foliation Groupoids and Basic Vector Fields:
   • Hoffman & Sjamaar 11: Stacky Hamiltonian actions and symplectic reduction
   • del Hoyo & Fernandes 6: Riemannian metrics on Lie groupoids
4. 0-Shifted Structures:
   • Maglio, Tortorella & Vitagliano 16: 0-shifted contact structures on differentiable stacks
   • Bursztyn et al. 2: Contact pairs
5. Alternative Frameworks:
   • Alvarez & Cueca 1: Homological vector fields and quasi-LA-groupoids on differentiable stacks

Innovations of This Paper

1. Unified Framework: Generalizes the concept of basic vector fields to general LA-groupoids
2. Simplified Models: Provides simpler but equivalent models compared to multiplicative sections
3. Broad Applicability: Applies to multiple geometric structures (Poisson, Jacobi, contact, etc.)

Conclusions and Discussion

Main Conclusions

1. For LA-groupoids with injective core-anchor maps, the space of basic sections $\Gamma_{\text{bas}}(V)$ naturally possesses a Lie algebra structure.
2. This Lie algebra is Morita invariant and serves as a simplified model for the space of sections of stacky Lie algebroids.
3. The basic sections model is quasi-isomorphic to the Lie 2-algebra model of multiplicative sections (Proposition 3.14).
4. This theory unifies and generalizes the concept of basic sections for multiple important geometric objects.

Limitations

1. Necessity of Injectivity Condition: The theory applies only to LA-groupoids with injective core-anchor maps, and cannot handle general cases.
2. Difference from Trivial Cores: Unlike VB-groupoids, LA-groupoids with injective core-anchor maps are not necessarily Morita equivalent to those with trivial cores (Remark 3.2). For example, for tangent VB-groupoids of foliation groupoids, unless the foliation is trivial, $E/C = TM/T\mathcal{F}$ is not a Lie algebroid.
3. Degeneracy in Symplectic/Contact Cases: For symplectic and contact groupoids, if the core-anchor map is injective, it is also surjective, resulting in no nontrivial basic sections (Remark 4.5).

Future Directions

1. Applications of Basic Derivations: Complete the 0-shifted contact reduction theory for line bundle groupoids under actions of foliation Lie 2-groups 17.
2. Other Geometric Structures: Apply the theory to multiplicative Dirac structures 19 and Dirac-Jacobi structures 21.
3. Quasi-LA-Groupoids: Explore relationships with the more general quasi-LA-groupoid framework proposed by Alvarez & Cueca 1.
4. $Q$-Groupoids and $PVB$-Groupoids Descriptions: Translate the concept of basic sections to these equivalent frameworks (Remark 3.8).

In-Depth Evaluation

Strengths

1. Theoretical Innovation

• Concept Generalization: Successfully generalizes the concept of basic vector fields from foliation groupoids to general LA-groupoids, establishing a unified theoretical framework.
• Simplified Models: Provides simpler yet equivalent descriptions compared to the Lie 2-algebra of multiplicative sections, reducing technical complexity.
• Morita Invariance: Proves Morita invariance of basic sections, ensuring proper definition in stacky geometry.

2. Technical Rigor

• Complete Proofs: All major conclusions have detailed mathematical proofs with rigorous logic.
• Lemma Support: Lemmas 3.1 and 3.3 provide solid technical foundations for core definitions.
• Naturality Analysis: Fully utilizes naturality of the Bott representation (Diagram A.1), with clear proof structure.

3. Broad Applicability

Section 4 demonstrates rich application examples:

• Basic vector fields (foliation groupoids)
• Basic derivations (line bundle groupoids)
• Basic 1-forms (Poisson groupoids)
• Basic 1-jets (Jacobi groupoids)

These examples span multiple important areas of differential geometry.

4. Clear Structure

• Section 2: Concise background introduction
• Section 3: Systematic theory development
• Section 4: Theory verification through examples
• Appendix A: Technical details

The logical flow is clear and facilitates reader comprehension.

Weaknesses

1. Limited Scope of Applicability

Limitations of Injectivity Condition: The theory applies only to LA-groupoids with injective core-anchor maps. While such groupoids are geometrically important (e.g., foliation groupoids, 0-shifted symplectic/contact structures), they cannot handle general cases.

Degenerate Cases: For symplectic/contact groupoids, while the theory applies, results are trivial (Remark 4.5), limiting practical value.

2. Insufficient Discussion of Relationship with Existing Work

Inadequate Discussion of Quasi-LA-Groupoids: Remark 2.2 mentions that Alvarez & Cueca 1's quasi-LA-groupoids provide alternative definitions of stacky Lie algebroids, but lacks deep comparison of advantages and disadvantages between frameworks.

Limited New Insights in Basic Vector Fields: While Example 4.1 generalizes 11, it does not clearly articulate technical improvements or new insights compared to the original work.

3. Lack of Specificity in Future Work

Basic Derivations Applications: Mentions use in 0-shifted contact reduction 17, but provides no concrete approach or expected results.

Other Geometric Structures: Mentions applicability to Dirac and Dirac-Jacobi structures but lacks specific technical roadmaps.

4. Limited Depth of Examples

Section 4 examples primarily verify theory applicability. For questions such as:

• How to compute concrete basic sections
• Geometric/physical meaning of basic sections
• Relationships with other geometric invariants

The discussion is insufficient.

Impact

1. Contribution to the Field

• Theoretical Foundation: Provides new technical tools for stacky geometry, enriching LA-groupoid theory.
• Unified Perspective: Incorporates seemingly independent concepts (basic vector fields, basic derivations, etc.) into a unified framework.
• Bridge Role: Connects VB-groupoid theory, Morita equivalence theory, and stacky geometry.

2. Practical Value

• Reduction Theory: Basic sections are important tools for studying symmetric reduction (Examples 4.1 and 4.2).
• Invariant Construction: Morita invariance makes them candidates for defining geometric invariants on stacks.
• Computational Simplification: Compared to Lie 2-algebras of multiplicative sections, Lie algebra structures of basic sections are more tractable.

3. Reproducibility

• Clear Definitions: All concepts have precise mathematical definitions.
• Detailed Proofs: Main result proofs have clear steps and are verifiable.
• Concrete Examples: Section 4 provides specific scenarios for theory application.

Limitation: Lacks computational examples or algorithms, potentially requiring additional technical preparation for readers wishing to apply the theory concretely.

Applicable Scenarios

1. Theoretical Research

• Stacky Geometry: Study of Lie algebroids and vector fields on differentiable stacks
• Morita Theory: Construction and study of Morita invariants
• Higher-Order Structures: Representation theory of Lie 2-algebras and Lie 2-groups

2. Geometric Structure Research

• Foliation Structures: Geometry of foliations with symmetries
• Poisson Geometry: Reduction theory of transitive Poisson groupoids
• Contact Geometry: Symmetries and reduction of 0-shifted contact structures

3. Mathematical Physics

• Gauge Theory: Reduction of field theories with groupoid symmetries
• Integrable Systems: Hamiltonian systems with groupoid symmetries
• Geometric Quantization: Quantization theory on stacks

4. Inapplicable Scenarios

• LA-groupoids with non-injective core-anchor maps
• Numerical applications requiring concrete computations (lacking algorithms)
• Non-degenerate symplectic/contact groupoids (trivial results)

Key References

1. 7 M. del Hoyo and C. Ortiz: Morita equivalences of vector bundles, Int. Math. Res. Not. IMRN, 2020
   • Foundation of Morita theory for VB-groupoids
2. 20 C. Ortiz and J. Waldron: On the Lie 2-algebra of sections of an LA-groupoid, J. Geom. Phys., 2019
   • Lie 2-algebra theory of multiplicative sections
3. 11 B. Hoffman and R. Sjamaar: Stacky Hamiltonian actions and symplectic reduction, Int. Math. Res. Not. IMRN, 2021
   • Original work on basic vector fields
4. 16 A. Maglio, A. G. Tortorella, and L. Vitagliano: Shifted contact structures on differentiable stacks, Int. Math. Res. Not. IMRN, 2024
   • Theory of 0-shifted contact structures
5. 9 A. Gracia-Saz and R. A. Mehta: VB-groupoids and representation theory of Lie groupoids, J. Symplectic Geom., 2017
   • Representation theory of VB-groupoids

Summary

This paper establishes basic sections theory for LA-groupoids with injective core-anchor maps, providing simplified models for sections of stacky Lie algebroids. The theory is rigorous and broadly applicable, constituting an important contribution to stacky geometry and LA-groupoid theory. Main limitations include restricted applicability due to the injectivity condition and lack of concrete computational methods. Future work shows potential in reduction theory for 0-shifted contact structures and applications to other geometric structures.