A coordinate-free proof of the Maximum Principle is provided in the specific case of an optimal control problem with fixed time. Our treatment heavily relies on a special notion of variation of curves that consist of a concatenation of integral curves of time-dependent vector fields with unit time component, and on the use of a concept of lift over a bundle map. We further derive necessary and sufficient conditions for the existence of so-called abnormal and strictly abnormal extremals.
In the present work we construct a lift of a metric $g$ on a 2-dimensional oriented Riemannian manifold $M$ to a metric $\hat{g}$ on the total space $P$ of the orthonormal frame bundle of $M$. We call this lift the \textit {Wagner lift}. Viktor Vladimirovich Wagner (1908 -1981) proposed a technique to extend a metric defined on a non-holonomic distribution to its prolongation via the Lie brackets. We apply the Wagner construction to the specific case when the distribution is the infinitesimal connection in the orthonormal frame bundle which corresponds to a Levi-Civita connection. We find rela…
Supplementary comments about generalized Lie algebroids are presented and a new point of view over the construction of the Lie algebroid generalized tangent bundle of a (dual) vector bundle is introduced. Using the general theory of exterior differential calculus for generalized Lie algebroids, a covariant derivative for exterior forms of a (dual) vector bundle is introduced. Using this covariant derivative, the complete lift of an arbitrary section of a (dual) vector bundle is discovered. A theory of Legendre type and Legendre duality between vertical and complete lifts is presented. Finally,…
In the present paper, we study complete and vertical lifts of tensor fields from a smooth manifold $M$ to its Weil bundle $T^A M$ defined by a Frobenius Weil algebra $A$. For a Poisson manifold $(M,w)$, we show that the complete lift $w^C$ and the vertical lift $w^V$ of the Poisson tensor $w$ are Poisson tensors on $T^A M$ and establish their properties. We prove that the complete and the vertical lifts induce homomorphisms of the Poisson cohomology spaces. We compute the modular classes of the lifts of Poisson structures.
The tangent bundle of an almost Norden manifold and the complete lift of the Norden metric is considered as a 4n-manifold. It is equipped with an almost hypercomplex Hermitian-Norden structure. It is characterized geometrically. The case when the base manifold is an h-sphere is considered.
We study natural lifting operations from a bundle E over R to the dual bundle of its first-jet bundle. The main purpose is to define a complete lift of a type (1,1) tensor field on E and to understand all features of its construction. Various other lifting operations of tensorial objects on E are needed for that purpose. We prove that the complete lift of a type (1,1) tensor with vanishing Nijenhuis torsion gives rise to a Poisson-Nijenhuis structure on the dual of the first-jet bundle, and discuss in detail how the construction of associated Darboux-Nijenhuis coordinates can be carried out.
In this article, we introduce some metallic structures on the tangent bundle of a P-Sasakian manifold by complete lift, horizontal lift and vertical lift of a P-Sasakian structure $(ϕ, η,ξ)$ on tangent bundle. Then we investigate the integrability and parallelity of these metallic structures.
We show the total space of the canonical line bundle $\mathbb{L}$ of a Kahler-Einstein manifold $X^n$ supports integrable $SU(n+1)$ structures, or Calabi-Yau structures. The canonical real line bundle $L \subset \mathbb{L}$ over a minimal Lagrangian submanifold $M \subset X$ is calibrated in this setting and hence can be considered as the special Lagrangian lift of $M$. For the integrable $G_2$ and $Spin(7)$ structures on spin bundles and bundles of anti-self-dual 2-forms on self-dual Einstein 4-manifolds constructed by Bryant and Salamon, minimal surfaces with vanishing complex quartic form (…
In this article we present a study of the subspaces of the manifold OscM, the total space of the osculator bundle of a real manifold M. We obtain the induced connections of the canonical metrical N-linear connection determined by the homogeneous prolongation of a Finsler metric to the manifold OscM. We present the relation between the induced and intrinsic geometric objects of the associated osculator submanifold.
Let (M,g) be a pseudo-Riemannian manifold and $T^2M$ be its the second-order tangent bundle equipped with the deformed 2-nd lift metric g which obtained from the 2-nd lift metric by deforming the horizontal part with a symmetric (0,2)-tensor field c. In the present paper, we first compute the Levi-Civita connection and its Riemannian curvature tensor field of $(T^2M,g)$. We give necessary and sufficient conditions for $(T^2M,g)$ to be semi-symmetric. Secondly, we show that $(T^2M,g)$ is a plural-holomorphic B-manifold with the natural integrable nilpotent structure. Finally, we get the conditi…
We show that all vector bundles over CP^2 which are not spin admit a complete metric with nonnegative sectional curvature. In the proof we construct a nonnegatively curved metric on the corresponding principle bundle by showing that it admits a cohomogeneity one action with singular orbits of codimension 2. This is closely related to the problem of when an action of G on the base of an L principle bundle lifts to the total space, such that the lift commutes with L. We solve this lifting problem for all SO(k) principle bundles over a 4-dimensional simply connected base B with G a cohomogeneity …
We construct some lift of an almost complex structure to the cotangent bundle, using a connection on the base manifold. This generalizes the complete lift defined by I.Sato and the horizontal lift introduced by K.Yano and S.Ishihara. We study some geometric properties of this lift and its compatibility with symplectic forms on the cotangent bundle.
We slightly extend the notion of a natural fibre bundle by requiring diffeomorphisms of the base to lift to automorphisms of the bundle only infinitesimally, i.e. at the level of the Lie algebra of vector fields. Spin structures are natural only in this extended sense. We classify fibre bundles with this property, assuming a finite dimensional structure group. This includes all spin structures, but only some generalised spin structures. This classification links the gauge group G to the topology of space-time.
An isometric immersion of a Riemannian manifold $M$ into a Riemannian manifold $N$ gives rise in a natural way to variety of immersions into the tangent bundle $TN$ with a non-degenerate $g-$ natural metric $G$. In the paper we introduce and study an immersion into $TN$ defined by the immersion $f:M\longrightarrow N$ itself and the normal bundle.
The purpose of the present work is to study the complete and horizontal lifts of the metallic structure on tangent bundles with respect to almost product structure. We also establish fundamental formulae related to integrability and horizontal lifts of metallic structures on tangent bundles. Moreover, the study revealed the behavior on cross-section of metallic structure in M to tangent bundle TM.
Let M be an n-dimensional Riemannian manifold and TM its tangent bundle. The conformal and fiber preserving vector fields on TM have well-known physical interpretations and have been studied by physicists and geometricians. Here we define a Riemannian or pseudo-Riemannian lift metric on TM, which is in some senses more general than other lift metrics previously defined on TM, and seems to complete these works. Next we study the lift conformal vector fields on its tangent bundle with this metric and prove among the others that, every complete lift conformal vector field on TM is homothetic, and…
The tangent bundle $T^kM$ of order $k$, of a smooth Banach manifold $M$ consists of all equivalent classes of curves that agree up to their accelerations of order $k$. For a Banach manifold $M$ and a natural number $k$ first we determine a smooth manifold structure on $T^kM$ which also offers a fiber bundle structure for $(π_k,T^kM,M)$. Then we introduce a particular lift of linear connections on $M$ to geometrize $T^kM$ as a vector bundle over $M$. More precisely based on this lifted nonlinear connection we prove that $T^kM$ admits a vector bundle structure over $M$ if and only if $M$ is endo…
Let X be a compact manifold with a smooth action of a compact connected Lie group G. Let $L\to X$ be a complex line bundle. Using the Cartan complex for equivariant cohomology, we give a new proof of a theorem of Hattori and Yoshida which says that the action of G lifts to L if and only if the first Chern class $c\sb 1(L)$ of L can be lifted to an integral equivariant cohomology class in $H\sp 2\sb G(X;\ZZ)$, and that the different lifts of the action are classified by the lifts of $c\sb 1(L)$ to $H\sp 2\sb G(X;\ZZ)$. As a corollary of our method of proof, we prove that, if the action is Hamil…
Given a free action of a compact Lie group $G$ on a unital C*-algebra $\mathcal{A}$ and a spectral triple on the corresponding fixed point algebra $\mathcal{A}^G$, we present a systematic and in-depth construction of a spectral triple on $\mathcal{A}$ that is build upon the geometry of $\mathcal{A}^G$ and $G$. We compare our construction with a selection of established examples.
We review and then combine two aspects of the theory of bundle gerbes. The first concerns lifting bundle gerbes and connections on those, developed by Murray and Gomi. Lifting gerbes represent obstructions against extending the structure group of a principal bundle. The second is the transgression of gerbes to loop spaces, initiated by Brylinski and McLaughlin and with recent contributions of the author. Combining these two aspects, we obtain a new formulation of lifting problems in terms of geometry on the loop space. Most prominently, our formulation explains the relation between (complex) s…
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.
Starting from a bundle E over R, the dual of the first jet bundle, which is a co-dimension 1 sub-bundle of the cotangent bundle of E, is the appropriate manifold for the geometric description of time-dependent Hamiltonian systems. Based on previous work, we recall properties of the complete lifts of a type (1,1) tensor R on E to both of these manifolds. We discuss how an interplay between these lifted tensors leads to the identification of related distributions on both manifolds. The integrability of these distributions, a coordinate free condition, is shown to produce exactly Forbat's conditi…
Considering the class G of g-natural metrics on the tangent bundle of a Riemannian manifold (M, g), it is shown that the flatnees for g is a necessary and sufficient condition of weakly symmetry (recurrent or pseudo-symmetry) of G. In particular, the cases of weakly symmetric Sasakian lift metric studied by Bejan and Crasmareanu and recurrent or pseudo-symmetric Sasakian lift metric studied by Binh and Tamassy are obtained.
We consider various generalisations of the string class of a loop group bundle. The string class is the obstruction to lifting a bundle whose structure group is the loop group $LG$ to one whose structure group is the Kac-Moody central extension of the loop group. We develop a notion of higher string classes for bundles whose structure group is the group of based loops, $ΩG$. In particular, we give a formula for characteristic classes in odd dimensions for such bundles which are associated to characteristic classes for $G$-bundles in the same way that the string class is related to the first Po…
The aim of this paper is to give some characterizations for N-Legendre and N-slant curves in the unit tangent bundles of surfaces endowed with natural diagonal lifted structures.
We prove that the horizontal and vertical distributions of the tangent bundle with the Sasaki metric are isocline, the distributions given by the kernels of the horizontal and vertical lifts of the contact form $ω$ from the Heisenberg manifold $(H_3,g)$ to $(TH_3,g^S)$ are not totally geodesic, and the distributions $F^H=L(E_1^H,E_2^H)$ and $F^V=L(E_1^V,E_2^V)$ are totally geodesic, but they are not isocline. We obtain that the horizontal and natural lifts of the curves from the Heisenberg manifold $(H_3,g)$, are geodesics in the tangent bundle endowed with the Sasaki metric $(TH_3,g^s)$, if a…
In this paper, we prove that the harmonicity of a metric on a pseudo-Riemannian manifold is equivalent to the harmonicity of both its Sasaki (resp. horizontal and complete) lift metric on the tangent bundle and its Sasaki lift metric on the cotangent bundle. Some applications are included.
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.
The present paper is devoted to some results concerning with the complete lifts of an almost complex structure and a connection in a manifold to its (0,q)-tensor bundle along the corresponding cross-section.
We consider Riemannian 4-manifolds $(X,g_X)$ with a Spin^c-structure and a suitable circle bundle $Y$ over $X$ such that the Spin^c-structure on $X$ lifts to a spin structure on $Y$. With respect to these structures a spinor $ϕ$ on $X$ lifts to an untwisted spinor $ψ$ on $Y$ and a U(1)-gauge field $A$ for the Spin^c-structure can be absorbed into a Kaluza-Klein metric $g_Y^A$ on $Y$. We show that irreducible solutions $(A,ϕ)$ to the Seiberg-Witten equations on $(X,g_X)$ for the given Spin^c-structure are equivalent to irreducible solutions $ψ$ of a Dirac equation with cubic non-linearity on th…
In this article we lift Pestov's Identity on the tangent bundle of a Riemannian manifold $M$ to the bundle of $k$-tuples of tangent vectors. We also derive an integrated version and a restriction to the frame bundle $P^kM$ of $k$-frames. Finally, we discuss a dynamical application for the parallel transport on $\mathcal{G}_{or}^k(M)$, the Grassmannian of oriented $k$-planes of $M$.
This paper deals with the natural lift curves and the geodesic sprays for the spherical indicatrices of the timelike-spacelike Bertrand couple on the tangent bundle or in Minkowski 3-space and then give some new characterizations for these curves. Additionally we illustrate an example of our main results.
Equipping the tangent bundle TQ of a manifold with a symplectic form coming from a regular Lagrangian L, we explore how to obtain a Poisson-Nijenhuis structure from a given type (1,1) tensor field J on Q. It is argued that the complete lift of J is not the natural candidate for a Nijenhuis tensor on TQ, but plays a crucial role in the construction of a different tensor R, which appears to be the pullback under the Legendre transform of the lift of J to co-tangent manifold of Q. We show how this tangent bundle view brings new insights and is capable also of producing all important results which…
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.
In this note we make use of some properties of vector fields on a manifold to give an alternate proof to [3] for the equivalence between connections and parallel transport on vector bundles over manifolds. Out of the proof will emerge a new approach to connections on a bundle as a consistent way to lift the dynamics of the manifold to the bundle.
The aim of this paper is to determine criteria of being integral curve for the geodesic spray of the natural lift curves of the spherical indicatrices of the involutes of a given spacelike curve with a timelike binormal in Minkowski 3-space. Furthermore, some interesting results about the spacelike evolute curve with timelike binormal and spacelike or timelike Darboux vector were obtained, depending on the assumption that the natural lift curves of the spherical indicatrices of the involute curve should be the integral curve on the tangent bundle. Additionally we illustrate an example of our m…
We give a method to lift $(2,0)$-tensors fields on a manifold $M$ to build symplectic forms on $TM$. Conversely, we show that any symplectic form $\Om$ on $TM$ is symplectomorphic, in a neighborhood of the zero section, to a symplectic form built naturally from three $(2,0)$-tensor fields associated to $\Om$.
This work revisits, from a geometric perspective, the notion of discrete connection on a principal bundle, introduced by M. Leok, J. Marsden and A. Weinstein. It provides precise definitions of discrete connection, discrete connection form and discrete horizontal lift and studies some of their basic properties and relationships. An existence result for discrete connections on principal bundles equipped with appropriate Riemannian metrics is proved.
The Seiberg-Witten equations that have recently found important applications for four-dimensional geometry are the Euler-Lagrange equations for a functional involving a connection $A$ on a line bundle $L$ and a section $ϕ$ of another bundle $W^+$ constructed from $L$ and a spinor bundle on a given four-dimensional Riemannian manifold. We show the regularity of weak solutions and the Palais-Smale condition for this functional.
This survey provides an introduction to basic questions and techniques surrounding the topology of the moduli space of stable Higgs bundles on a Riemann surface. Through examples, we demonstrate how the structure of the cohomology ring of the moduli space leads to interesting questions of a combinatorial nature.
We investigate infinitesimal properties of sets of ordered $n$-uples of idempotents in a symmetric Banach $*$-algebra. These sets are called flag manifolds and carry several interesting bundles that hold an important role in some areas of operator theory. In this direction, we introduce and study Stiefel bundles on flag manifolds, which are extensions of the well known Stiefel bundles on Grassmannians. The main ingredient of our investigation is the notion of connection on an infinite-dimensional bundle, and we survey some equivalent ocurrences of such a notion in the literature.
Noting that the complete lift of a Rimannian metric defined on a differentiable manifold is not 0-homogeneous on the fibers of the tangent bundle . In this paper we introduce a new lift which is 0-homogeneous. It determines on slit tangent bundle a pseudo-Riemannian metric, which depends only on the metric . We study some of the geometrical properties of this pseudo-Riemannian space and define the natural almost complex structure and natural almost product structure which preserve the property of homogeneity and find some new results.
We show how to lift a Riemannian metric and almost symplectic form on a manifold to a Riemannian structure on a canonically associated supermanifold known as the antitangent or shifted tangent bundle. We view this construction as a generalisation of Sasaki's construction of a Riemannian metric on the tangent bundle of a Riemannian manifold.
We discuss various lifting and reduction problems for bundles and gerbes in the context of a strict Lie 2-group. We obtain a geometrical formulation (and a new proof) for the exactness of Breen's long exact sequence in non-abelian cohomology. We use our geometrical formulation in order to define a transgression map in non-abelian cohomology. This transgression map relates the degree one non-abelian cohomology of a smooth manifold (represented by non-abelian gerbes) with the degree zero non-abelian cohomology of the free loop space (represented by principal bundles). We prove several properties…
We prove that the category of abelian gerbes with connection over a smooth manifold is equivalent to a certain category of principal bundles over the free loop space. These bundles are equipped with a connection and with a "fusion" product with respect to triples of paths. The equivalence is established by explicit functors in both directions: transgression and regression. We describe applications to geometric lifting problems and loop group extensions.
