|
|
|
|
|
This is a topic entry on Lie algebroids that focuses on their quantum applications and extensions of current algebraic theories.
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 \lra M$ , equipped with a Lie bracket $[~,~]$ on the space of sections $\gamma(E)$ , and a bundle map $\Upsilon : E \lra TM$ , usually called the anchor. Furthermore, there is an induced map $\Upsilon : \gamma (E) \lra \mathfrak X(M)$ , which is required to be a map of Lie algebras, such that given sections $\a, \beta \in \gamma(E)$ and a differentiable function $f$ , the following Leibniz rule is satisfied :
\begin{equation} [ \a, f \beta] = f [\a, \beta] + (\Upsilon (\a)) \beta~. \end{equation}
Example 0.1 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
:
![$\displaystyle r,s~:~ \xymatrix{ \mathsf{G} \ar@<1ex>[r]^r \ar[r]_s & \mathsf{G}^{(0)}}=M~.$ $\displaystyle r,s~:~ \xymatrix{ \mathsf{G} \ar@<1ex>[r]^r \ar[r]_s & \mathsf{G}^{(0)}}=M~.$](http://images.planetmath.org:8080/cache/objects/10816/js/img2.png) |
(0.1) |
There is an associated Lie algebroid
, 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 (\A)$ can be identified with the space of $s$ -vertical, right-invariant vector fields
which can be seen to be closed under $[~,~]$ , and the latter induces a bracket operation on $\gamma (A)$ thus turning $\A$ into a Lie algebroid. Subsequently, a Lie algebroid $\A$ is integrable if there exists a Lie groupoid
inducing $\A$ .
Remark 0.1 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.
- 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 .
|
|
(view preamble | get metadata)
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 |
|
|
Cross-references: quantum gravity theories, developments, Hamiltonian algebroids, relation, subset, Lie groups, operation, induces, closed under, fibers, restriction, 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, theories, algebraic, current, extensions, applications
There are 5 references to this entry.
This is version 22 of Lie algebroids, born on 2008-07-18, modified 2009-02-01.
Object id is 10816, canonical name is LieAlgebroids.
Accessed 1895 times total.
Classification:
| AMS MSC: | 81R05 (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
|
|
|
|
|
|
|
|
|
|
|