[Paper Review] Lie Algebroids and Classification Problems in Geometry

Rui Loja Fernandes, Ivan Struchiner|ArXiv.org|Dec 19, 2007

Homotopy and Cohomology in Algebraic Topology2 references4 citations

TL;DR

This paper introduces a classifying Lie algebroid for finite type $G$-structures, reducing the classification of geometric structures to the integration of a Lie algebroid whose fibers encode symmetry algebras and whose orbits classify local isomorphism types. The key result establishes that realizations of coframes exist if and only if the structure functions define a Lie algebroid, and all such realizations arise as Maurer-Cartan forms on the source fibers of its integrating Lie groupoid.

ABSTRACT

We show how one can associate to a given class of finite type G-structures a classifying Lie algebroid. The corresponding Lie groupoid gives models for the different geometries that one can find in the class, and encodes also the different types of symmetry groups.

Motivation & Objective

• To provide a systematic framework for classifying geometric structures of finite type using Lie algebroids.
• To reduce the classification of $G$-structures to the study of coframes via prolongation, enabling finite-dimensional modeling.
• To establish a universal model for geometric structures by integrating the classifying Lie algebroid into a Lie groupoid.
• To characterize local isomorphism classes and symmetry groups of geometric structures through the orbit and isotropy structure of the algebroid.
• To solve Cartan’s realization problem by linking existence and classification of coframes to the integrability and structure of a Lie algebroid.

Proposed method

• Construct the classifying Lie algebroid $A \to X$ for a class of coframes defined by a finite set of structure invariants.
• Use the method of prolongation to reduce $G$-structures of finite type to coframe classification problems.
• Define the Lie algebroid structure via the structure functions of the coframe, ensuring integrability conditions are satisfied.
• Apply the Maurer-Cartan form on the source fibers of the integrating Lie groupoid $\mathcal{G}$ to construct explicit local models.
• Utilize the anchor map and bracket on sections to encode the infinitesimal symmetries and geometric invariants.
• Employ the inner action of the structure group $G$ on the algebroid to model the symmetry algebra at each point.

Experimental results

Research questions

• RQ1 Under what conditions does a given set of structure functions correspond to a realizable coframe?
• RQ2 How can one construct a universal model for all local geometric structures in a given class of $G$-structures?
• RQ3 What is the role of the Lie algebroid’s orbits in classifying local isomorphism types of geometric structures?
• RQ4 How do the isotropy Lie algebras of the classifying algebroid relate to the symmetry groups of individual geometric structures?
• RQ5 In what way does the integration of the classifying Lie algebroid yield a global realization of the geometric class?

Key findings

• A realization of a coframe exists if and only if its structure functions satisfy the Jacobi identity, defining a Lie algebroid.
• All local realizations of a coframe are locally equivalent to a neighborhood of the identity in an $\mathbf{s}$-fiber of the integrating Lie groupoid $\mathcal{G}$, equipped with its Maurer-Cartan form.
• Two germs of coframes are locally isomorphic if and only if they correspond to points in the same orbit of the classifying Lie algebroid.
• For constant curvature metrics on $\mathbb{R}^2$, the classifying Lie algebroid is the trivial bundle $A = \mathbb{R} \times \mathbb{R}^3 \to \mathbb{R}$ with fiber-wise bracket isomorphic to $\mathfrak{sl}_2$, $\mathfrak{se}_2$, or $\mathfrak{so}_3$ depending on the curvature $k$.
• The isotropy Lie algebra at a point $k \in \mathbb{R}$ corresponds to the symmetry algebra of the constant curvature metric with curvature $k$.
• For Bochner-Kähler metrics, the classifying Lie algebroid is a trivial bundle over $X = i\mathfrak{u}(n) \times \mathbb{C}^n \times \mathbb{R}$ with a specific bracket and anchor defined by matrix actions and curvature invariants.