Natural analogs of Lie brackets on affine bundles are studied, based on natural examples from differential geometry and analytical mechanics. In particular, a close relation to Lie algebroids and, by a sort of duality, to affine analogs of Poisson structures is established as well as affine versions of the complete lift of a section and the Cartan exterior calculus.
The moduli space of Higgs bundles can be constructed as a quotient of an infinite-dimensional space and hence admits an orbit type decomposition. In this paper, we show that the orbit type decomposition is a complex Whitney stratification such that each stratum is a complex symplectic submanifold and hence admits a complex Poisson bracket. Moreover, these Poisson brackets glue to a Poisson bracket on the structure sheaf of the moduli space so that the moduli space is a stratified complex symplectic space
In this note we prove that, for a vector bundle $E$ over a manifold $M$, a Dorfman bracket on $TM\oplus E^*$ anchored by $\operatorname{pr}_{TM}$ and with $E$ a vector bundle over $M$, is equivalent to a lift from $Γ(TM\oplus E^*)$ to linear sections of $TE\oplus T^*E\to E$, that intertwines the given Dorfman bracket with the Courant-Dorfman bracket on sections of $TE\oplus T^*E$. This shows a universality of the Courant-Dorfman bracket, and allows us to caracterise twistings and symmetries of transitive Dorfman brackets via the corresponding lifts.
We show that the category of affine bundles over a smooth manifold M is equivalent to the category of affine spaces modelled on projective finitely generated C^\infty(M)-modules. Using this equivalence of categories, we are able to give an alternate proof of the main result of [13], showing that the characterization of vector bundles by means of their Lie algebras of homogeneous differential operators also holds for vector bundles of rank 1 and over any base manifolds.
We survey the many instances of derived bracket construction in differential geometry, Lie algebroid and Courant algebroid theories, and their properties. We recall and compare the constructions of Buttin and Vinogradov, and we prove that the Vinogradov bracket is the skew-symmetrization of a derived bracket. Odd (resp., even) Poisson brackets on supermanifolds are derived brackets of canonical even (resp., odd) Poisson brackets on their cotangent bundle (resp., parity-reversed cotangent bundle). Lie algebras have analogous properties, and the theory of Lie algebroids unifies the results valid…
In this paper, we use the affine Hermitian-Yang-Mills flow to prove a generalized Donaldson-Uhlenbeck-Yau theorem on flat Higgs bundles over a class of non-compact affine Gauduchon manifolds.
Let G be a Lie group. On the trivial principal G-bundle over the Lie algebra of G there is a natural connection whose curvature is the Lie bracket. The exponential map is given by parallel transport of this connection. If G is the diffeomorphism group of a manifold, the curvature of the natural connection is the Lie bracket of vectorfields on the manifold. The motion of a ball rolling on an oriented surface is the parallel transport of a similar connection on the trivial SO(3)-bundle over the surface. If the surface is a plane or a sphere, then the curvature of the connection is a scalar multi…
We show that the total space of any affine $\mathbb{C}$-bundle over $\mathbb{CP}^1$ with negative degree admits an ALE scalar-flat Kähler metric. Here the degree of an affine bundle means the negative of the self-intersection number of the section at infinity in a natural compactification of the bundle, and so for line bundles it agrees with the usual notion of the degree.
We introduce the notions of Atiyah class and Todd class of a differential graded vector bundle with respect to a differential graded Lie algebroid. We prove that the space of vector fields on a dg-manifold with homological vector field $Q$ admits a structure of L-infinity algebra with the Lie derivative $L_Q$ as unary bracket, and the Atiyah cocycle corresponding to a torsion-free affine connection as binary bracket.
Quantum affine bundles are quantum principal bundles with affine quantum structure groups. A general theory of quantum affine bundles is presented. In particular, a detailed analysis of differential calculi over these bundles is performed, including the description of a natural differential calculus over the structure affine quantum group. A particular attention is given to the study of the specific properties of quantum affine connections and several purely quantum phenomena appearing in the context of quantum affine bundles. Various interesting constructions are presented. In particular, the…
Weil algebra morphism induce natural transformations between Weil bundles. In some well known cases, a natural transformation is endowed with a canonical structure of affine bundle. We show that this structure arises only when the Weil algebra morphism is surjective and its kernel has null square. Moreover, in some cases, this structure of affine bundle is passed down to Jet spaces. We give a characterization of this fact in algebraic terms. This algebraic condition also determines an affine structure between the groups of automorphisms of related Weil algebras
We introduce a class of Higgs bundles called cyclic which lie in the Hitchin component of representations of a compact Riemann surface into the split real form of a simple Lie group. We then prove that such a Higgs bundle is equivalent to a certain class of solutions to the affine Toda equations. We further explain this relationships in terms of lifts of harmonic maps.
In our [Higher-order preconnections in synthetic differential geometry of jet bundles, Beiträge zur Algebra und Geometrie, 45 (2004), 677-696] we have established the affine bundle theorem in the synthetic approach to jet bundles in terms of infinitesimal spaces Dⁿ's. In our succeeding [Synthetic differential geometry of higher-order total differentials, to appear in Cahiers de Topologie et Géométrie Différentielle Catégoriques] we have introduced another synthetic approach to jet bundles in terms of infinitesimal spaces D_{n}'s, and have compared it with the former approach both in the …
A VB-algebroid is a vector bundle object in the category of Lie algebroids. We attach to every VB-algebroid a differential graded Lie algebra and we show that it controls deformations of the VB-algebroid structure. Several examples and applications are discussed. This is the first in a series of papers devoted to deformations of vector bundles and related structures over differentiable stacks.
A theory of double affine and special double affine bundles, i.e. differential manifolds with two compatible (special) affine bundle structures, is developed as an affine counterpart of the theory of double vector bundles. The motivation and basic examples come from Analytical Mechanics, where double affine bundles have been recognized as a proper geometrical tool in a frame-independent description of many important systems. Different approaches to the (special) double affine bundles are compared and carefully studied together with the problems of double vector bundle models and hulls, duality…
We study Jacobi structures on the dual bundle $A^\ast$ to a vector bundle $A$ such that the Jacobi bracket of linear functions is again linear and the Jacobi bracket of a linear function and the constant function 1 is a basic function. We prove that a Lie algebroid structure on $A$ and a 1-cocycle $ϕ\in Γ(A^\ast)$ induce a Jacobi structure on $A^\ast$ satisfying the above conditions. Moreover, we show that this correspondence is a bijection. Finally, we discuss some examples and applications.
A pre-Lie algebroid is an anchored bundle provided with an almost Lie bracket such that the anchor is compatible with the Lie bracket of vector fields. We firstly show how most geometrical structures intensively studied in the framework of Lie algebroid can easily be extended in the pre-Lie algebroid context. The principal purpose of this paper is to show that how all these results only depend of the foliated structure and do not depend of the pre-Lie algebroid structure that we can put on a foliated anchored bundle. As application, we obtain a Finsler connection on a foliated anchored bundle …
Jacobi algebroids, that is graded Lie brackets on the Grassmann algebra associated with a vector bundle which satisfy a property similar to that of the Jacobi brackets, are introduced. They turn out to be equivalent to generalized Lie algebroids in the sense of Iglesias and Marrero and can be viewed also as odd Jacobi brackets on the supermanifolds associated with the vector bundles. Jacobi bialgebroids are defined in the same manner. A lifting procedure of elements of this Grassmann algebra to multivector fields on the total space of the vector bundle which preserves the corresponding bracket…
We develop an alternative view on the concept of connections over a vector bundle map, which consists of a horizontal lift procedure to a prolonged bundle. We further focus on prolongations to an affine bundle and introduce the concept of affineness of a generalised connection.
As a continuation of previous papers, we study the concept of a Lie algebroid structure on an affine bundle by means of the canonical immersion of the affine bundle into its bidual. We pay particular attention to the prolongation and various lifting procedures, and to the geometrical construction of Lagrangian-type dynamics on an affine Lie algebroid.
The goal of this paper is to introduce the lifting theory that has an important role in geometry. Therefore, using the lifts of differential geometric structures we show that tangent bundle TM of paracomplex manifold M admits para-complex torsion-free affine connection.
A linear connection is associated to a nonlinear connection on a vector bundle by a linearization procedure. Our definition is intrinsic in terms of vector fields on the bundle. For a connection on an affine bundle our procedure can be applied after homogenization and restriction. Several applications in Classical Mechanics are provided.
We study affine Jacobi structures on an affine bundle $π:A\to M$, i.e. Jacobi brackets that close on affine functions. We prove that there is a one-to-one correspondence between affine Jacobi structures on $A$ and Lie algebroid structures on the vector bundle $A^+=\bigcup_{p\in M}Aff(A_p,\R)$ of affine functionals. Some examples and applications, also for the linear case, are discussed. For a special type of affine Jacobi structures which are canonically exhibited (strongly-affine or affine-homogeneous Jacobi structures) over a real vector space of finite dimension, we describe the leaves of i…
Main ideas of the differential geometry on affine bundles are presented. Affine counterparts of Lie algebroid and Poisson structures are introduced and discussed. The developed concepts are applied in a frame-independent formulation of the time-dependent and the Newtonian mechanics.
The Courant bracket defined originally on the sections of the vector bundle $TM \oplus T^*M \to M$ is extended to the direct sum of the 1-jet vector bundle and its dual. The extended bracket allows to interpret many structures encountered in differential geometry in terms of Dirac structures. We give here a new approach to conformal Jacobi structures.
We introduce the notion of a Lie algebroid structure on an affine bundle whose base manifold is fibred over the real numbers. It is argued that this is the framework which one needs for coming to a time-dependent generalization of the theory of Lagrangian systems on Lie algebroids. An extensive discussion is given of a way one can think of forms acting on sections of the affine bundle. It is further shown that the affine Lie algebroid structure gives rise to a coboundary operator on such forms. The concept of admissible curves and dynamical systems whose integral curves are admissible, brings …
A Poisson structure on a manifold is characterized by the Schouten bracket. The graded algebra of the tangent bundle with the Schouten bracket is a prototype of Lie superalgebra. The Poisson condition means that a cycle in the 2-chain space. Given a graded Lie superalgebra, the 0-graded subspace is a Lie algebra. In this note, using the DGA of tangent bundle with the Schouten bracket as a model, we start from an abstract Lie algebra, construct non-trivial Lie superalgebra by Schouten-like bracket. Then it is natural to ask how the core Lie algebra control the Lie superalgebra. One trial here i…
On every split supermanifold equipped with the Rothstein even super-Poisson bracket we construct a deformation quantization by means of a Fedosov-type procedure. In other words, the supercommutative algebra of all smooth sections of the dual Grassmann algebra bundle of an arbitrarily given vector bundle E (equipped with a fibre metric) over a symplectic manifold M will be deformed by a series of bidifferential operators having first order supercommutator proportional to the Rothstein superbracket. Moreover, we discuss two constructions related to the above result, namely the quantized BRST-coh…
Let $M$ be a compact connected special flat affine manifold without boundary equipped with a Gauduchon metric $g$ and a covariant constant volume form. Let $G$ be either a connected reductive complex linear algebraic group or the real locus of a split real form of a complex reductive group. We prove that a flat principal $G$-bundle $E_G$ over $M$ admits a Hermitian-Einstein structure if and only if $E_G$ is polystable. A polystable flat principal $G$--bundle over $M$ admits a unique Hermitian-Einstein connection. We also prove the existence and uniqueness of a Harder-Narasimhan filtration for …
The paper starts with an interpretation of the complete lift of a Poisson structure from a manifold M to its tangent bundle TM by means of the Schouten- Nijenhuis bracket of covariant symmetric tensor fields defined by the co- tangent Lie algebroid of M. Then, we discuss Poisson structures of TM which have a graded restriction to the fiberwise polynomial algebra; they must be p-related (p is the projection of TM onto M) with a Poisson structure on M. Furthermore, we define transversal Poisson structures of a foliation, and discuss bivector fields of TM which produce graded brackets on the fibe…
Based on ideas of W. M. Tulczyjew, a geometric framework for a frame-independent formulation of different problems in analytical mechanics is developed. In this approach affine bundles replace vector bundles of the standard description and functions are replaced by sections of certain affine line bundles called AV-bundles. Categorial constructions for affine and special affine bundles as well as natural analogs of Lie algebroid structures on affine bundles (Lie affgebroids) are investigated. One discovers certain Lie algebroids and Lie affgebroids canonically associated with an AV-bundle which…
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 many Lagrangian field theories, there is a Poisson bracket on the space of local functionals. One may identify the fields of such theories as sections of a vector bundle. It is known that the Poisson bracket induces an sh-Lie structure on the graded space of horizontal forms on the jet bundle of the relevant vector bundle. We consider those automorphisms of the vector bundle which induce mappings on the space of functionals preserving the Poisson bracket and refer to such automorphisms as canonical automorphisms. We determine how such automorphisms relate to the corresponding sh-Lie structu…
Almost Lie algebroids are generalizations of Lie algebroids, when the Jacobiator is not necessary null. A simple example is given, for which a Lie algebroid bracket or a Courant bundle is not possible for the given anchor, but a natural extension of the bundle and the new anchor allows a Lie algebroid bracket. A cohomology and related characteristic classes of an almost Lie algebroid are also constructed. We prove that these characteristic classes are all pull-backs of the characteristic classes of the base space, as in the case of a Lie algebroid.
We study the existence of a natural `linearisation' process for generalised connections on an affine bundle. It is shown that this leads to an affine generalised connection over a prolonged bundle, which is the analogue of what is called a connection of Berwald type in the standard theory of connections. Various new insights are being obtained in the fine structure of affine bundles over an anchored vector bundle and affineness of generalised connections on such bundles.
We develop a general framework for the quantization of bosonic and fermionic field theories on affine bundles over arbitrary globally hyperbolic spacetimes. All concepts and results are formulated using the language of category theory, which allows us to prove that these models satisfy the principle of general local covariance. Our analysis is a preparatory step towards a full-fledged quantization scheme for the Maxwell field, which emphasises the affine bundle structure of the bundle of principal U(1)-connections. As a by-product, our construction provides a new class of exactly tractable loc…
We start by describing the relationship between the classical prequantization condition and the integrability of a certain Lie algebroid associated to the problem and use this to give a global construction of the prequantizing bundle in terms of path spaces (Introduction), then we rephrase the problem in terms of groupoids (second section), and then we study the more general problem of prequantizing groupoids endowed with a multiplicative 2-forms (the rest of the paper).
It is shown that the cotangent bundle of a matched pair Lie group is itself a matched pair Lie group. The trivialization of the cotangent bundle of a matched pair Lie group are presented. On the trivialized space, the canonical symplectic two-form and canonical Poisson bracket are explicitly written. Various symplectic and Poisson reductions are perfomed. The Lie-Poisson bracket is derived. As an example, Lie-Poisson equations on $\mathfrak{sl}(2,\mathbb{C})^\ast$ are obtained.
It is a classical fact in Poisson geometry that the cotangent bundle of a Poisson manifold has the structure of a Lie algebroid. Manifestations of this structure are the Lichnerowicz differential on multivector fields (calculating Poisson cohomology) and the Koszul bracket of differential forms. "Raising indices" by the Poisson tensor maps the de Rham differential to the Lichnerowicz differential and the Koszul bracket to the Schouten bracket. In this paper, we present a homotopy analog of the above results. When an ordinary Poisson structure is replaced by a homotopy one, instead of a single …
The dually flat structure of statistical manifolds can be derived in a non-parametric way from a particular case of affine space defined on a qualified set of probability measures. The statistically natural displacement mapping of the affine space depends on the notion of Fisher's score. The model space must be carefully defined if the state space is not finite. Among various options, we discuss how to use Orlicz-Sobolev spaces with Gaussian weight. Such a fully non-parametric set-up provides tools to discuss intrinsically infinite-dimensional evolution problems.
Around 1923, Elie Cartan introduced affine connections on manifolds and definedthe main related concepts: torsion, curvature, holonomy groups. He discussed applications of these concepts in Classical and Relativistic Mechanics; in particular he explained how parallel transport with respect to a connection can be related to the principle of inertia in Galilean Mechanics and, more generally, can be used to model the motion of a particle in a gravitational field. In subsequent papers, Elie Cartan extended these concepts for other types of connections on a manifold: Euclidean, Galilean and Minkows…
In this paper we review the recently proposed path-integral counterpart of the Koopman-von Neumann operatorial approach to classical Hamiltonian mechanics. We identify in particular the geometrical variables entering this formulation and show that they are essentially a basis of the cotangent bundle to the tangent bundle to phase-space. In this space we introduce an extended Poisson brackets structure which allows us to re-do all the usual Cartan calculus on symplectic manifolds via these brackets. We also briefly sketch how the Schouten-Nijenhuis, the Frölicher- Nijenhuis and the Nijenhuis-Ri…
We show that the natural S^1-bundle over a projective special Kaehler manifold carries the geometry of a proper affine hypersphere endowed with a Sasakian structure. The construction generalizes the geometry of the Hopf-fibration $\Sr^{2n+1} \longrightarrow \CP^n$ in the context of projective special Kaehler manifolds. As an application we have that a natural circle bundle over the Kuranishi moduli space of a Calabi-Yau threefold is a Lorentzian proper affine hypersphere.
Generalized Schouten, Froelicher-Nijenhuis and Froelicher-Richardson brackets are defined for an arbitrary Lie algebroid. Tangent and cotangent lifts of Lie algebroids are introduced and discussed and the behaviour of the related graded Lie brackets under these lifts is studied. In the case of the canonical Lie algebroid on the tangent bundle, a new common generalization of the Froelicher-Nijenhuis and the symmetric Schouten brackets, as well as embeddings of the Nijenhuis-Richardson and the Froelicher-Nijenhuis bracket into the Schouten bracket, are obtained.
The Lie algebroids are generalization of the Lie algebras. They arise, in particular, as a mathematical tool in investigations of dynamical systems with the first class constraints. Here we consider canonical symmetries of Hamiltonian systems generated by a special class of Lie algebroids. The ``coordinate part'' of the Hamiltonian phase space is the Poisson manifold $M$ and the Lie algebroid brackets are defined by means of the Poisson bivector. The Lie algebroid action defined on $M$ can be lifted to the phase space. The main observation is that the classical BRST operator has the same form …
A frame independent formulation of analytical mechanics in the Newtonian space-time is presented. The differential geometry of affine values i.e., the differential geometry in which affine bundles replace vector bundles and sections of one dimensional affine bundles replace functions on manifolds, is used. Lagrangian and hamiltonian generating objects, together with the Legendre transformation independent on inertial frame are constructed.
In this paper we explore the idea of looking at the Dirac quantisation conditions as $\hbar$-dependent constraints on the tangent bundle to phase-space. Starting from the path-integral version of classical mechanics and using the natural Poisson brackets structure present in the cotangent bundle to the tangent bundle of phase- space, we handle the above constraints using the standard theory of Dirac for constrained systems. The hope is to obtain, as total Hamiltonian, the Moyal operator of time-evolution and as Dirac brackets the Moyal ones. Unfortunately the program fails indicating that some…
Given a complex manifold $X$, any Kähler class defines an affine bundle over $X$, and any Kähler form in the given class defines a totally real embedding of $X$ into this affine bundle. We formulate conditions under which the affine bundles arising this way are Stein and relate this question to other natural positivity conditions on the tangent bundle of $X$. For compact Kähler manifolds of non-negative holomorphic bisectional curvature, we establish a close relation of this construction to adapted complex structures in the sense of Lempert--Szőke and to the existence question for good complex…
Let $p$ be a Lie subalgebra of a semisimple Lie algebra $g$ and $(G,P)$ be the corresponding pair of connected Lie groups. A Cartan geometry of type $(G,P)$ associates to a smooth manifold $M$ a principal $P$-bundle and a Cartan connection, and a parabolic geometry is a Cartan geometry where $P$ is parabolic. We show that if $P$ is parabolic, the adjoint tractor bundle of a Cartan geometry, which is isomorphic to the Atiyah algebroid of the principal $P$-bundle, admits the structure of a (pre-)Courant algebroid, and we identify the topological obstruction to the bracket being a Courant bracket…
We develop a theory of stable bundles and affine Hermitian-Einstein metrics for flat vector bundles over a special affine manifold (a manifold admitting an atlas whose gluing maps are all locally constant volume-preserving affine maps). Our paper presents a parallel to Donaldson-Uhlenbeck-Yau's proof of the existence of Hermitian-Einstein metrics on Kähler manifolds, and the extension of this theorem by Li-Yau to the non-Kähler complex case of Gauduchon metrics. Our definition of stability involves only flat vector subbundles (and not singular subsheaves), and so is simpler than the complex ca…
In his study of Dirac structures, a notion which includes both Poisson structures and closed 2-forms, T. Courant introduced a bracket on the direct sum of vector fields and 1-forms. This bracket does not satisfy the Jacobi identity except on certain subspaces. In this paper we systematize the properties of this bracket in the definition of a Courant algebroid. This structure on a vector bundle $E\rightarrow M$, consists of an antisymmetric bracket on the sections of $E$ whose ``Jacobi anomaly'' has an explicit expression in terms of a bundle map $E\rightarrow TM$ and a field of symmetric bilin…