PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: Very high
Lie algebroids (Topic)

Lie Algebroids

Lie algebroids generalize Lie algebras, and in certain quantum systems they represent extended quantum (algebroid) symmetries. One can think of a Lie algebroid as generalizing the idea of a tangent bundle where the tangent space at a point is effectively the equivalence class of curves meeting at that point (thus suggesting a groupoid approach), as well as serving as a site on which to study infinitesimal geometry (see, for example, ref. [1]). The formal definition of a Lie algebroid is presented next.

Definition 0.1 Let $ M$ be a manifold and let $ \mathfrak{X}(M)$ denote the set of vector fields on $ M$. Then, a Lie algebroid over $ M$ consists of a vector bundle $ E {\longrightarrow}M$, equipped with a Lie bracket $ [~,~]$ on the space of sections $ \gamma(E)$, and a bundle map $ \Upsilon : E {\longrightarrow}TM$, usually called the anchor. Furthermore, there is an induced map $ \Upsilon : \gamma (E) {\longrightarrow}\mathfrak{X}(M)$, which is required to be a map of Lie algebras, such that given sections $ \alpha , \beta \in \gamma(E)$ and a differentiable function $ f$, the following Leibniz rule is satisfied :

$\displaystyle [ \alpha , f \beta] = f [\alpha , \beta] + (\Upsilon (\alpha )) \beta~.$ (0.1)

Example. A typical example of a Lie algebroid is obtained when $ M$ is a Poisson manifold and $ E=T^*M$, that is $ E$ is the cotangent bundle of $ M$.

Now suppose we have a Lie groupoid $ \mathsf{G}$:

$\displaystyle r,s~:~ \xymatrix{ \mathsf{G} \ar@<1ex>[r]^r \ar[r]_s & \mathsf{G}^{(0)}}=M~.$ (0.2)

There is an associated Lie algebroid $ \mathcal A= \mathcal A( \mathsf{G})$, which in the guise of a vector bundle, it is the restriction to $ M$ of the bundle of tangent vectors along the fibers of $ s$ (ie. the $ s$-vertical vector fields). Also, the space of sections $ \gamma (\mathcal A)$ can be identified with the space of $ s$-vertical, right-invariant vector fields $ \mathfrak{X}^s_{inv} (\mathsf{G})$ which can be seen to be closed under $ [~,~]$, and the latter induces a bracket operation on $ \gamma (A)$ thus turning $ \mathcal A$ into a Lie algebroid. Subsequently, a Lie algebroid $ \mathcal A$ is integrable if there exists a Lie groupoid $ \mathsf{G}$ inducing $ \mathcal A$ .

Remarks Unlike Lie algebras that can be integrated to corresponding Lie groups, not all Lie algebroids are `smoothly integrable' to Lie groupoids; the subset of Lie groupoids that have corresponding Lie algebroids are sometimes called `Weinstein groupoids'.

Note also the relation of the Lie algebroids to Hamiltonian algebroids, also concerning recent developments in Relativistic Quantum Gravity theories.

Bibliography

1
K. C. H. Mackenzie: General Theory of Lie Groupoids and Lie Algebroids, London Math. Soc. Lecture Notes Series, 213, Cambridge University Press: Cambridge,UK (2005).



"Lie algebroids" is owned by bci1.
(view preamble | get metadata)

View style:

See Also: Hamiltonian algebroids, tangent bundle, Hamiltonian operator, algebroid structures and extended symmetries, Lie superalgebra

Other names:  extended quantum symmetry structures, generalized double algebras
Also defines:  Lie algebroid, anchor, bundle map
Keywords:  double algebras, extensions of Lie algebras, Lie groupoids, 'Weinstein' groupoids, extended quantum symmetry structures
Log in to rate this entry.
(view current ratings)

Cross-references: quantum gravity theories, developments, Hamiltonian algebroids, relation, subset, Lie groups, operation, induces, closed under, fibers, tangent vectors, restriction, Lie groupoid, cotangent bundle, Leibniz rule, differentiable function, map, induced, sections, Lie bracket, vector bundle, vector fields, manifold, geometry, infinitesimal, site, groupoid, curves, equivalence class, point, tangent space, tangent bundle, symmetries, represent, quantum systems, Lie algebras
There are 4 references to this entry.

This is version 18 of Lie algebroids, born on 2008-07-18, modified 2008-08-24.
Object id is 10816, canonical name is LieAlgebroids.
Accessed 628 times total.

Classification:
AMS MSC81R05 (Quantum theory :: Groups and algebras in quantum theory :: Finite-dimensional groups and algebras motivated by physics and their representations)
 81R50 (Quantum theory :: Groups and algebras in quantum theory :: Quantum groups and related algebraic methods)
 81R10 (Quantum theory :: Groups and algebras in quantum theory :: Infinite-dimensional groups and algebras motivated by physics, including Virasoro, Kac-Moody, $W$-algebras and other current alg)
 81R15 (Quantum theory :: Groups and algebras in quantum theory :: Operator algebra methods)
 81P05 (Quantum theory :: Axiomatics, foundations, philosophy :: General and philosophical)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)