We apply the Atiyah-Singer index theorem and tensor products of elliptic complexes to the cohomology of transitive Lie algebroids. We prove that the Euler characteristic of a representation of a transitive Lie algebroid $A$ over a compact manifold $M$ vanishes unless $A=TM$, and prove a general Künneth formula. As applications we give a short proof of a vanishing result for the Euler characteristic of a principal bundle calculated using invariant differential forms, and show that the cohomology of certain Lie algebroids are exterior algebras. The latter result can be seen as a generalization of Hopf's theorem regarding the cohomology of compact Lie groups.
The core diagram of a double Lie algebroid consists in the core of the double Lie algebroid, together with the two core-anchor maps to the sides of the double Lie algebroid. If these two core anchors are surjective, then the double Lie algebroid and its core diagram are called transitive. This paper establishes an equivalence between transitive double Lie algebroids, and transitive core diagrams over a fixed base manifold. In other words, it proves that a transitive double Lie algebroid is completely determined by its core diagram. The comma double Lie algebroid associated to a morphism of Lie…
Inspired by the work of Molino, we show that the integrability obstruction for transitive Lie algebroids can be made to vanish by adding extra dimensions. In particular, we prove that the Weinstein groupoid of a non-integrable transitive and abelian Lie algebroid, is the quotient of a finite dimensional Lie groupoid. Two constructions as such are given: First, explaining the counterexample to integrability given by Almeida and Molino, we see that it can be generalized to the construction of an "Almeida-Molino" integrable lift when the base manifold is simply connected. On the other hand, we no…
We express any Courant algebroid bracket by means of a metric connection, and construct a Courant algebroid structure on any orthogonal Whitney sum $E\oplus C$ where E is a given Courant algebroid and C is a flat, pseudo- Euclidean vector bundle. Then, we establish the general expression of the bracket of a transitive Courant algebroid, i.e., a Courant algebroid with a surjective anchor, and describe a class of transitive Courant algebroids which are Whitney sums of a Courant subalgebroid with neutral metric and Courant-like bracket and a pseudo-Euclidean vector bundle with a flat, metric conn…
In this paper we study the local description of spaces of forms on transitive Lie algebroids. We use this local description to introduce global structures like metrics, $\ast$-Hodge operation and integration along the algebraic part of the transitive Lie algebroid (its kernel). We construct a Čech-de Rham bicomplex with a Leray-Serre spectral sequence. We apply the general theory to Atiyah Lie algebroids and to derivations on a vector bundle.
We develop a theory of T-duality for transitive Courant algebroids. We show that T-duality between transitive Courant algebroids E\rightarrow M and \tilde{E}\rightarrow \tilde{M} induces a map between the spaces of sections of the corresponding canonical weighted spinor bundles \mathbb{S}_{E} and \mathbb{S}_{\tilde{E}} intertwining the canonical Dirac generating operators. The map is shown to induce an isomorphism between the spaces of invariant spinors, compatible with an isomorphism between the spaces of invariant sections of the Courant algebroids. The notion of invariance is defined after …
Natural metrics (Sasaki metric, Cheeger-Gromoll metric, Kaluza-Klein metrics etc.. ) on the tangent bundle of a Riemannian manifold is a central topic in Riemannian geometry. Generalized Cheeger-Gromoll metrics is a family of natural metrics $h_{p,q}$ depending on two parameters with $p\in\mathbb{R}$ and $q\geq0$. This family has been introduced recently and possesses interesting geometric properties. If $p=q=0$ we recover the Sasaki metric and when $p=q=1$ we recover the classical Cheeger-Gromoll metric. A transitive Euclidean Lie algebroid is a transitive Lie algebroid with an Euclidean prod…
The preprint is prepared as description of results that were obtained during joint scientific project No: 71NC /2015/VNCCCT on the VIASM (Vietnam Institute for Advanced Study in Mathematics) from 08.12.2015 to 06.02.2016. The problem was formulated how to calculate so called the Mackenzie obstruction for existing of transitive Lie algebroid for given coupling between a finite dimensional Lie algebra and the tangent bundle of a smooth manifold. It is proved that the Mackenzie obstruction for transitive Lie algebroids is trivial for the finite dimensional Lie algebra which is the direct sum of t…
Just like Atiyah Lie algebroids encode the infinitesimal symmetries of principal bundles, exact Courant algebroids are believed to encode the infinitesimal symmetries of $S^1$-gerbes. At the same time, transitive Courant algebroids may be viewed as the higher analogue of Atiyah Lie algebroids, and the non-commutative analogue of exact Courant algebroids. In this article, we explore what the "principal bundle" behind transitive Courant algebroids are, and they turn out to be principal 2-bundles of string groups. First, we construct the stack of principal 2-bundles of string groups with connecti…
Transitive Lie algebroids and \textbf{Q}-manifolds
Institute of Mathematics “Simion Stoilow” of the Romanian Academy（罗马尼亚科学院西米翁·斯托伊洛数学研究所）；Unité Mixte de Recherche 5127 CNRS, Université Savoie Mont Blanc, Laboratoire de Mathématiques (LAMA)（CNRS联合研究单位5127，萨瓦-蒙布朗大学，数学实验室）
In this paper, we use reduction by extended actions to give a construction of transitive Courant algebroids from string classes. We prove that T-duality commutes with the reductions and thereby determine global conditions for the existence of T-duals in heterotic string theory. In particular we find that T-duality exchanges string structures and gives an isomorphism of transitive Courant algebroids. Consequently we derive the T-duality transformation for generalised metrics and show that the heterotic Einstein equations are preserved. The presence of string structures significantly extends the…
In our previous paper (arXiv:1306.5449) we have given a sufficient and necessary condition when the coupling between Lie algebra bundle (LAB) and the tangent bundle exists in the sense of Mackenzie (\cite{Mck-2005}, Definition 7.2.2) for the theory of transitive Lie algebroids. Namely we have defined a new topology on the group $\Aut(\rg)$ of all automorphisms of the Lie algebra $\rg$, say $\Aut(\rg)^δ$, and show that tangent bundle $TM$ can be coupled with the Lie algebra bundle $L$ if and only if the Lie algebra bundle L admits a local trivial structure with structural group endowed with suc…
We show that the integrability obstruction of a transitive Lie algebroid coincides with the lifting obstruction of a crossed module of groupoids associated naturally with the given algebroid. Then we extend this result to general extensions of integrable transitive Lie algebroids by Lie algebra bundles. Such a lifting obstruction is directly related with the classification of extensions of transitive Lie groupoids. We also give a classification of such extensions which differentiates to the classification of transitive Lie algebroids discussed in \cite{KCHM:new}.
In this paper we introduce and study some mathematical structures on top of transitive Lie algebroids in order to formulate gauge theories in terms of generalized connections and their curvature: metrics, Hodge star operator and integration along the algebraic part of the transitive Lie algebroid (its kernel). Explicit action functionals are given in terms of global objects and in terms of their local description as well. We investigate applications of these constructions to Atiyah Lie algebroids and to derivations on a vector bundle. The obtained gauge theories are discussed with respect to o…
For a transitive Lie algebroid A on a connected manifold M and its a representation on a vector bundle F, we study the localization map Y^1: H^1(A,F)-> H^1(L_x,F_x), where L_x is the adjoint algebra at x in M. The main result in this paper is that: Ker Y^1_x=Ker(p^{1*})=H^1_{deR}(M,F_0). Here p^{1*} is the lift of H^1(\huaA,F) to its counterpart over the universal covering space of M and H^1_{deR}(M,F_0) is the F_0=H^0(L,F)-coefficient deRham cohomology. We apply these results to study the associated vector bundles to principal fiber bundles and the structure of transitive Lie bialgebroids.
In this paper, first we give a detailed study on the structure of a transitive Lie 2-algebroid and describe a transitive Lie 2-algebroid using a morphism from the tangent Lie algebroid TM to a strict Lie 3-algebroid constructed from derivations. Then we introduce the notion of a quadratic Lie 2-algebroid and define its first Pontryagin class, which is a cohomology class in H^5(M). Associated to a CLWX 2-algebroid, there is a quadratic Lie 2-algebroid naturally. Conversely, we show that the first Pontryagin class of a quadratic Lie 2-algebroid is the obstruction class of the existence of a CLWX…
We introduce and study a class of Lie algebroids associated to faithful modules which is motivated by the notion of cotangent Lie algebroids of Poisson manifolds. We also give a classification of transitive Lie algebroids and describe Poisson algebras by using the notions of algebroid and Lie connections.
We consider homotopy actions of a Lie algebroid on a graded manifold, defined as suitable $L_{\infty}$-algebra morphisms. On the "semi-direct product" we construct a homological vector field that projects to the Lie algebroid. Our main theorem states that this construction is a bijection. Since several classical geometric structures can be described by homological vector fields as above, we can display many explicit examples, involving Lie algebroids (including extensions, representations up to homotopy and their cocycles) as well as transitive Courant algebroids.
Due to a result by Mackenzie, extensions of transitive Lie groupoids are equivalent to certain Lie groupoids which admit an action of a Lie group. This paper is a treatment of the equivariant connection theory and holonomy of such groupoids, and shows that such connections give rise to the transition data necessary for the classification of their respective Lie algebroids.
Variational calculus on a vector bundle E equipped with a structure of a general algebroid is developed, together with the corresponding analogs of Euler-Lagrange equations. Constrained systems are introduced in the variational and in the geometrical setting. The constrained Euler-Lagrange equations are derived for analogs of holonomic, vakonomic and nonholonomic constraints. This general model covers majority of first-order Lagrangian systems which are present in the literature and reduces to the standard variational calculus and the Euler-Lagrange equations in Classical Mechanics for E=TM.
We introduce a Hopf algebroid associated to a proper Lie group action on a smooth manifold. We prove that the cyclic cohomology of this Hopf algebroid is equal to the de Rham cohomology of invariant differential forms. When the action is cocompact, we develop a generalized Hodge theory for the de Rham cohomology of invariant differential forms. We prove that every cyclic cohomology class of the Hopf algebroid is represented by a generalized harmonic form. This implies that the space of cyclic cohomology of the Hopf algebroid is finite dimensional. As an application of the techniques developed …
In this paper we show how connections and their generalizations on transitive Lie algebroids are related to the notion of connections in the framework of the derivation-based noncommutative geometry. In order to compare the two constructions, we emphasize the algebraic approach of connections on Lie algebroids, using a suitable differential calculus. Two examples allow this comparison: on the one hand, the Atiyah Lie algebroid of a principal fiber bundle and, on the other hand, the space of derivations of the algebra of endomorphisms of a $SL(n, \mathbb{C})$-vector bundle. Gauge transformation…
We study the (standard) cohomology $H^\bullet_{st}(E)$ of a Courant algebroid $E$. We prove that if $E$ is transitive, the standard cohomology coincides with the naive cohomology $H_{naive}^\bullet(E)$ as conjectured by Stienon and Xu. For a general Courant algebroid we define a spectral sequence converging to its standard cohomology. If $E$ is with split base, we prove that there exists a natural transgression homomorphism $T_3$ (with image in $H^3_{naive}(E)$) which, together with the naive cohomology, gives all $H^\bullet_{st}(E)$. For generalized exact Courant algebroids, we give an explic…
Elie Cartan's general equivalence problem is recast in the language of Lie algebroids. The resulting formalism, being coordinate and model-free, allows for a full geometric interpretation of Cartan's method of equivalence via reduction and prolongation. We show how to construct certain normal forms (Cartan algebroids) for objects of finite-type, and are able to interpret these directly as infinitesimal symmetries deformed by curvature.' Details are developed for transitive structures but rudiments of the theory include intransitive structures (intransitive symmetry deformations). Detailed illu…
A linear connection on a Lie algebroid is called a Cartan connection if it is suitably compatible with the Lie algebroid structure. Here we show that a smooth connected manifold $M$ is locally homogeneous - i.e., admits an atlas of charts modeled on some homogeneous space $G/H$ - if and only if there exists a transitive Lie algebroid over $M$ admitting a flat Cartan connection that is 'geometrically closed'. It is shown how the torsion and monodromy of the connection determine the particular form of $G/H$. Under an additional completeness hypothesis, local homogeneity becomes global homogeneit…
This work is motivated by a result of Drinfeld on Poisson homogeneous spaces. For each Poisson manifold $P$ with a Poisson action by a Poisson Lie group $G$, we describe a Lie algebroid structure on the direct sum vector bundle $P \times {\frak g} \oplus T^*P$, where ${\frak g}$ is the Lie algebra of $G$. It is built out of the transformation Lie algebroid $P \times {\frak g}$ and the cotangent bundle Lie algebroid $T^*P$ together with a pair of representations of them on each other. When the action of $G$ on $P$ is transitive, the kernel of the anchor map of this Lie algebroid gives a Lie alg…
It is shown that the Euler-Lagrange equations for a Lagrangian system on a Lie algebroid are obtained as the equations for the critical points of the action functional defined on a Banach manifold of curves. The theory of reduction and the relation with Lagrange multiplier method are also studied.
The variational formalism for classical field theories is extended to the setting of Lie algebroids. Given a Lagrangian function we study the problem of finding critical points of the action functional when we restrict the fields to be morphisms of Lie algebroids. In addition to the standard case, our formalism includes as particular examples the case of systems with symmetry (covariant Euler-Poincare and Lagrange Poincare cases), Sigma models or Chern-Simons theories.
In some previous papers, a geometric description of Lagrangian Mechanics on Lie algebroids has been developed. In the present paper, we give a Hamiltonian description of Mechanics on Lie algebroids. In addition, we introduce the notion of a Lagrangian submanifold of a symplectic Lie algebroid and we prove that the Lagrangian (Hamiltonian) dynamics on Lie algebroids may be described in terms of Lagrangian submanifolds of symplectic Lie algebroids. The Lagrangian (Hamiltonian) formalism on Lie algebroids permits to deal with Lagrangian (Hamiltonian) functions not defined necessarily on tangent (…
A natural geometric framework is proposed, based on ideas of W. M. Tulczyjew, for constructions of dynamics on general algebroids. One obtains formalisms similar to the Lagrangian and the Hamiltonian ones. In contrast with recently studied concepts of Analytical Mechanics on Lie algebroids, this approach requires much less than the presence of a Lie algebroid structure on a vector bundle, but it still reproduces the main features of the Analytical Mechanics, like the Euler-Lagrange-type equations, the correspondence between the Lagrangian and Hamiltonian functions (Legendre transform) in the h…
A solution for the Weinstein's Problem in the general framework of generalized Lie algebroids is the target of this paper. We present the mechanical systems called by use, mechanical (?; ?)-systems, Lagrange mechanical (?; ?)-systems or Finsler mechanical (?; ?)-systems and we develop their geometries. We obtain the canonical (?; ?)-semi(spray) associated to a mechanical (?; ?)-system. The Lagrange mechanical (?; ?)-systems are the spaces necessary to develop a Lagrangian formalism. We obtain the (?; ?)-semispray associated to a regular Lagrangian L and external force Fe and we derive the equa…
The jet formalism for Classical Field theories is extended to the setting of Lie algebroids. We define the analog of the concept of jet of a section of a bundle and we study some of the geometric structures of the jet manifold. When a Lagrangian function is given, we find the equations of motion in terms of a Cartan form canonically associated to the Lagrangian. The Hamiltonian formalism is also extended to this setting and we find the relation between the solutions of both formalism. When the first Lie algebroid is a tangent bundle we give a variational description of the equations of motion.…
We present a unified approach to constrained implicit Lagrangian and Hamiltonian systems based on the introduced concept of Dirac algebroid. The latter is a certain almost Dirac structure associated with the Courant algebroid on the dual $E^\ast$ to a vector bundle $E$. If this almost Dirac structure is integrable (Dirac), we speak about a Dirac-Lie algebroid. The bundle $E$ plays the role of the bundle of kinematic configurations (quasi-velocities), while the bundle $E^\ast$ - the role of the phase space. This setting is totally intrinsic and does not distinguish between regular and singular …
A general, consistent and complete framework for geometrical formulation of mechanical systems is proposed, based on certain structures on affine bundles (affgebroids) that generalize Lie algebras and Lie algebroids. This scheme covers and unifies various geometrical approaches to mechanics in the Lagrangian and Hamiltonian pictures, including time-dependent lagrangians and hamiltonians. In our approach, lagrangians and hamiltonians are, in general, sections of certain $\R$-principal bundles, and the solutions of analogs of Euler-Lagrange equations are curves in certain affine bundles. The cor…
The purpose of this paper is to describe geometrically discrete Lagrangian and Hamiltonian Mechanics on Lie groupoids. From a variational principle we derive the discrete Euler-Lagrange equations and we introduce a symplectic 2-section, which is preserved by the Lagrange evolution operator. In terms of the discrete Legendre transformations we define the Hamiltonian evolution operator which is a symplectic map with respect to the canonical symplectic 2-section on the prolongation of the dual of the Lie algebroid of the given groupoid. The equations we get include as particular cases the classic…
We present in modern language the contents of the famous note published by Henri Poincaré in 1901 "Sur une forme nouvelle des équations de la Mécanique", in which he proves that, when a Lie algebra acts locally transitively on the configuration space of a Lagrangian mechanical system, the well known Euler-Lagrange equations are equivalent to a new system of differential equations defined on the product of the configuration space with the Lie algebra. We write these equations, called the \emph{Euler-Poincaré equations}, under an intrinsic form, without any reference to a particular system of lo…
