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.
We define a class of metrics that extend the Sasaki metric of a tangent manifold of a Riemannian manifold. The new metrics are obtained by the transfer of the generalized (pseudo-)Riemannian metrics of the pullback of the big tangent bundle of a manifold to the tangent manifold. We obtain the expression of the transferred metric and we define a canonical, metric connection with torsion. We calculate the torsion, curvature and Ricci curvature of this connection and give a few applications of the results. We also discuss the transfer of generalized complex and generalized Kaehler structures.
We review the theory of quaternionic Kahler and hyperkahler structures. Then we consider the tangent bundle of a Riemannian manifold M with a metric connection D (with torsion) and with its well estabilished canonical complex structure. With an extra almost Hermitian structure on M it is possible to find a quaternionic Hermitian structure on TM, which is quaternionic Kahler if, and only if, D is flat and torsion free. We also review the symplectic nature of TM. Finally a proper S^3-bundle of complex structures is introduced, expanding to TM the well known twistor bundle of M.
We study the Dirac spectrum on compact Riemannian spin manifolds $M$ equipped with a metric connection $\nabla$ with skew torsion $T\inΛ^3 M$ in the situation where the tangent bundle splits under the holonomy of $\nabla$ and the torsion of $\nabla$ is of `split' type. We prove an optimal lower bound for the first eigenvalue of the Dirac operator with torsion that generalizes Friedrich's classical Riemannian estimate.
We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the category of smooth manifolds. In classical geometry, having an affine structure on a manifold is equivalent to having a flat torsion-free connection on its tangent bundle. This equivalence allows us to define a category of affine objects associated to a tangent category and we show that the resulting category is also a tangent category, as are several related categories. As a consequence of some of these ideas we al…
Curvature and torsion of linear transports along paths in, respectively, vector bundles and the tangent bundle to a differentiable manifold are defined and certain their properties are derived.
Connections are an important tool of differential geometry. This paper investigates their definition and structure in the abstract setting of tangent categories. At this level of abstraction we derive several classically important results about connections, including the Bianchi identities, identities for curvature and torsion, almost complex structure, and parallel transport.
Given a compact Lie group $G$ with Lie algebra $\mathfrak{g}$, we consider its tangent Lie group $TG\cong G\ltimes_{\mathrm{Ad}} \mathfrak{g}$. In this short note, we prove that $TG$ admits a left-invariant naturally reductive Riemannian metric $g$ and a metric connection with skew torsion $\nabla$ such that $(TG,g,\nabla)$ is naturally reductive. An alternative spinorial description of the same connection on the direct product $G\times \mathfrak{g}$ generalizes in a rather subtle way to $TS^7$, which is in many senses almost a tangent Lie group.
Natural metric structures on the tangent bundle and tangent sphere bundles $S_rM$ of a Riemannian manifold $M$ with radius function $r$ enclose many important unsolved problems. Admitting metric connections on $M$ with torsion, we deduce the equations of induced metric connections on those bundles. Then the equations of reducibility of $TM$ to the almost Hermitian category. Our purpose is the study of the natural contact structure on $S_rM$ and the $G_2$-twistor space of any oriented Riemannian 4-manifold.
Let $(M,\nabla,\langle\;,\;\rangle)$ be a manifold endowed with a flat torsionless connection $\nabla$ and a Riemannian metric $\langle\;,\;\rangle$ and $(T^kM)_{k\geq1}$ the sequence of tangent bundles given by $T^kM=T(T^{k-1}M)$ and $T^1M=TM$. We show that, for any $k\geq1$, $T^kM$ carries a Hermitian structure $(J_k,g_k)$ and a flat torsionless connection $\nabla^k$ and when $M$ is a Lie group and $(\nabla,\langle\;,\;\rangle)$ are left invariant there is a Lie group structure on each $T^kM$ such that $(J_k,g_k,\nabla^k)$ are left invariant. It is well-known that $(TM,J_1,g_1)$ is Kähler if…
Generalized Berwald manifolds are Finsler manifolds admitting linear connections such that the parallel transports preserve the Finslerian length of tangent vectors (compatibi\-li\-ty condition). By the fundamental result of the theory \cite{V5} such a linear connection must be metrical with respect to the averaged Riemannian metric given by integration of the Riemann-Finsler metric on the indicatrix hypersurfaces. Therefore the linear connection (preserving the Finslerian length of tangent vectors) is uniquely determined by its torsion. If the torsion is zero then we have a classical Berwald …
For a torsionless connection on the tangent bundle of a manifold M the Weyl curvature W is the part of the curvature in kernel of the Ricci contraction. We give a coordinate free proof of Weyl's result that the Weyl curvature vanishes if and only if the manifold is (locally) diffeomorphic to a real projective space with the connection, when transported to the projective space, in the projective class of the Levi-Civita connection of the Fubini-Study metric. Associated to a connection on an even-dimensional M is an almost complex structure on J(M) the bundle of all complex structures on the tan…
We construct examples of compact hyperkaehler manifolds with torsion (HKT manifolds) which are not homogeneous and not locally conformal hyperkaehler. Consider a total space T of a tangent bundle over a hyperkaehler manifold M. The manifold T is hypercomplex, but it is never hyperkaehler, unless M is flat. We show that T admits an HKT-structure. We also prove that a quotient of T by a $\Z$-action $v \arrow q^n v$ is HKT, for any real number $q\in \R$, $q>1$. This quotient is compact, if M is compact. A more general version of this construction holds for all hyperholomorphic bundles with holono…
We study the natural G_2 structure on the unit tangent sphere bundle SM of any given orientable Riemannian 4-manifold M, as it was discovered in \cite{AlbSal}. A name is proposed for the space. We work in the context of metric connections, or so called geometry with torsion, and describe the components of the torsion of the connection which imply certain equations of the G_2 structure. This article is devoted to finding the G_2-torsion tensors which classify our structure according to the theory in \cite{FerGray}.
We prove a Theorem on homotheties between two given tangent sphere bundles $S_rM$ of a Riemannian manifold $M,g$ of $\dim\geq 3$, assuming different variable radius functions $r$ and weighted Sasaki metrics induced by the conformal class of $g$. New examples are shown of manifolds with constant positive or with constant negative scalar curvature, which are not Einstein. Recalling results on the associated almost complex structure $I^G$ and symplectic structure $ω^G$ on the manifold $TM$, generalizing the well-known structure of Sasaki by admitting weights and connections with torsion, we compu…
Generalized Berwald manifolds are Finsler manifolds admitting linear connections such that the parallel transports preserve the Finslerian length of tangent vectors. By the fundamental result of the theory \cite{V5} such a linear connection must be metrical with respect to the averaged Riemannian metric given by integration of the Riemann-Finsler metric on the indicatrix hypersurfaces. Therefore the linear connection is uniquely determined by its torsion tensor. If the torsion is zero then we have a classical Berwald manifolds. Otherwise the torsion is a strange data we need to express in term…
For a manifold with an affine connection, we prove formulas which infinitesimally quantify the gap in a certain naturally defined open geodesic quadrilateral associated to a pair of tangent vectors $u$, $v$ at a point of the manifold. We show that the 1st order infinitesimal obstruction to the quadrilateral to close is always zero, the 2nd order infinitesimal obstruction to the quadrilateral to close is $-T(u,v)$ where $T$ is the torsion tensor of the connection, and if $T = 0$ then the 3rd order infinitesimal obstruction to the quadrilateral to close is $(1/2)R(u,v)(u+v)$ in terms of the curv…
We will introduce formal frames of manifolds, which are a generalization of ordinary frames. Their fundamental properties are discussed. In particular, canonical forms are introduced, and torsions are defined in terms of them as a generalization of the structural equations. It will be shown that the vanishing of torsions are equivalent to the realizability of given formal frames as ordinary frames. We will also discuss deformations of linear connections on tangent bundles. An application to deformations of foliations are then given.
A geometry with parallel skew-symmetric torsion is a Riemannian manifold carrying a metric connection with parallel skew-symmetric torsion. Besides the trivial case of the Levi-Civita connection, geometries with non-vanishing parallel skew-symmetric torsion arise naturally in several geometric contexts, e.g. on naturally reductive homogeneous spaces, nearly Kähler or nearly parallel $\mathrm{G}_2$-manifolds, Sasakian and $3$-Sasakian manifolds, or twistor spaces over quaternion-Kähler manifolds with positive scalar curvature. In this paper we study the local structure of Riemannian manifolds c…
The $\bar{\partial}_{_{J}}$ operator over an almost complex manifold induces canonical connections of type $(0,1)$ over the bundles of $(p,0)$-forms. If the almost complex structure is integrable then the previous connections induce the canonical holomorphic structures of the bundles of $(p,0)$-forms. For $p=1$ we can extend the corresponding connection to all Schur powers of the bundle of $(1,0)$-forms. Moreover using the canonical $\C$-linear isomorphism betwen the bundle of $(1,0)$-forms and the complex cotangent bundle $T^*_{X,J}$ we deduce canonical connections of type $(0,1)$ over the Sc…
By studying the Frölicher-Nijenhuis decomposition of cohomology operators (that is, derivations $D$ of the exterior algebra $Ω(M)$ with $\mathbb{Z}-$degree $1$ and $D^2=0$), we describe new examples of Lie algebroid structures on the tangent bundle $TM$ (and its complexification $T^{\mathbb{C}}M$) constructed from pre-existing geometric ones such as foliations, complex, product or tangent structures. We also describe a class of Lie algebroids on tangent bundles associated to idempotent endomorphisms with nontrivial Nijenhuis torsion.
This is the first of a series of papers where we relate tangent cones of Hermitian-Yang-Mills connections at an isolated singularity to the complex algebraic geometry of the underlying reflexive sheaf, when the sheaf is locally modelled on the pull-back of a holomorphic vector bundle from the projective space. In this paper we shall impose an extra assumption that the graded sheaf determined by the Harder-Narasimhan-Seshadri filtrations of the vector bundle is reflexive. In general we conjecture that the tangent cone is uniquely determined by the double dual of the associated graded object of …
We define and study multiplicative connections in the tangent bundle of a Lie groupoid. Multiplicative connections are linear connections satisfying an appropriate compatibility with the groupoid structure. Our definition is natural in the sense that a linear connection on a Lie groupoid is multiplicative if and only if its torsion is a multiplicative tensor in the sense of Bursztyn-Drummond [5] and its geodesic spray is a multiplicative vector field. We identify the obstruction to the existence of a multiplicative connection. We also discuss the infinitesimal version of multiplicative connect…
In recent years, a close connection between supergravity, string effective actions and generalized geometry has been discovered that typically involves a doubling of geometric structures. We investigate this relation from the point of view of graded geometry, introducing an approach based on deformations of graded Poisson structures and derive the corresponding gravity actions. We consider in particular natural deformations of the $2$-graded symplectic manifold $T^{*}[2]T[1]M$ that are based on a metric $g$, a closed Neveu-Schwarz $3$-form $H$ (locally expressed in terms of a Kalb-Ramond 2-for…
The notion of an odd quasi-connection on a supermanifold, which is loosely an affine connection that carries non-zero Grassmann parity, is examined. Their torsion and curvature are defined, however, in general, they are not tensors. A special class of such generalised connections, referred to as odd connections in this paper, have torsion and curvature tensors. Part of the structure is an odd involution of the tangent bundle of the supermanifold and this puts drastic restrictions on the supermanifolds that admit odd connections. In particular, they must have equal number of even and odd dimens…
We calculate the integer cohomology ring and stable tangent bundle of a family of compact, 3-Sasakian 7-manifolds constructed by Boyer, Galicki, Mann, and Rees. Previously only the rational cohomology ring was known. The most important part of the cohomology ring is a torsion group that we describe explicitly and whose order we compute. There is a surprising connection with the combinatorics of trees.
The characteristic connection of an almost hermitian structure is a hermitian connection with totally skew-symmetric torsion. The case of parallel torsion in dimension six is of particular interest. In this work, we give a full classification of the algebraic types of the torsion form, and, based on this, undertake a systematic investigation into the possible geometries. Numerous naturally reductive spaces are constructed and classified as well as examples on nilmanifolds given.
We consider the unique Hermitian connection with totally skew-symmetric torsion on a Hermitian manifold. We prove that if the torsion is parallel and the holonomy is Sp(n)U(1), considered as a subgroup of U(2n) x U(1), then the manifold is locally isomorphic to the twistor space of a quaternionic Kaehler manifold with positive scalar curvature. If the manifold is complete, then it is globally isomorphic to such a twistor space.
We study the geometry of PQKT-connections. We find conditions to the existence of a PQKT-connection and prove that if it exists it is unique. We show that PQKT geometry persist in a conformal class of metrics.
We study real affine hypersurfaces $f\colon M\rightarrow \mathbb{R}^{2n+2}$ with an almost paracontact structure $(φ,ξ,η)$ induced by a $\widetilde{J}$-tangent transversal vector filed, where $\widetilde{J}$ is the canonical paracomplex structure on $\mathbb{R}^{2n+2}$. We give a classification of hypersurfaces for which an induced almost paracontact structure is metric relative to the second fundamental form. Some other properties of such hypersurfaces are also studied.
Starting from $g$-natural pseudo-Riemannian metrics of suitable signature on the unit tangent sphere bundle $T_1 M$ of a Riemannian manifold $(M,\langle,\rangle)$, we construct a family of paracontact metric structures. We prove that this class of paracontact metric structures is invariant under $\mathcal D$-homothetic deformations, and classify paraSasakian and paracontact $(κ,μ)$-spaces inside this class. We also present a way to build paracontact $(κ,μ)$-spaces from corresponding contact metric structures on $T_1 M$.
In the present work we consider an almost complex manifold with Norden metric (i.e. a metric with respect to which the almost complex structure is an antiisometry). On such a manifold we study a linear connection preserving the almost complex structure and the metric and having a totally skew-symmetric torsion tensor. We consider the case when the manifold admits a connection with parallel totally skew-symmetric torsion and the case when such connection has a Kaehler curvature tensor. We get necessary and sufficient conditions for an isotropic Kaehler manifold with Norden metric.
The paper is devoted to metric connections with parallel skew-symmetric torsion in Lorentzian signature. This is motivated by recent progress in the Riemannian signature and by possible applications to supergravity theories. We provide a complete information about holonomy algebras, torsion and curvature of the considered connections up to the corresponding objects from the Riemannian signature. Various examples are constructed. It is shown how to construct all simply connected Lorentzian naturally reductive homogeneous spaces of arbitrary dimension from Riemannian naturally reductive homogene…
We describe all almost contact metric, almost hermitian and $G_2$-structures admitting a connection with totally skew-symmetric torsion tensor, and prove that there exists at most one such connection. We investigate its torsion form, its Ricci tensor, the Dirac operator and the $\nabla$-parallel spinors. In particular, we obtain solutions of the type II string in dimension $n=5,6$ and 7.
We study symmetric affine surfaces which have non-vanishing torsion tensor. We give a complete classification of the local geometries possible if the torsion is assumed parallel. This generalizes a previous result of Opozda in the torsion free setting; these geometries are all locally homogeneous. If the torsion is not parallel, we assume the underlying surface is locally homogeneous and provide a complete classification in this setting as well.
Any Spin(7)-manifold admits a metric connection \nabla^c with totally skew-symmetric torsion T^c preserving the underlying structure. We classify those with \nabla^c-parallel T^c\neq0 and non-Abelian isotropy algebra iso(T^c)<spin(7). These are isometric to either Riemannian products or homogeneous naturally reductive spaces, each admitting two \nabla^c-parallel spinor fields.
The subject of investigations are the almost hypercomplex manifolds with Hermitian and anti-Hermitian (Norden) metrics. A linear connection D is introduced such that the structure of these manifolds is parallel with respect to D and its torsion is totally skew-symmetric. The class of the nearly Kaehler manifolds with respect to the first almost complex structure is of special interest. It is proved that D has a D-parallel torsion and is weak if it is not flat. Some curvature properties of these manifolds are studied.