We analyse the relationship between the components of the intrinsic torsion of an SU(3) structure on a 6-manifold and a G_2 structure on a 7-manifold. Various examples illustrate the type of SU(3) structure that can arise as a reduction of a metric with holonomy G_2.
This article introduces the problem of finding intrinsic torsion varieties associated to G-structures on a fixed parallelizable Riemannian manifold. As an illustration, the intrinsic torsion varieties of orthogonal almost product structures are analysed on the Iwasawa manifold.
We study the intrinsic torsion of almost quaternion-Hermitian manifolds via the exterior algebra. In particular, we show how it is determined by particular three-forms formed from simple combinations of the exterior derivatives of the local Kaehler forms. This gives a practical method to compute the intrinsic torsion and is applied in a number of examples. In addition we find simple characterisations of HKT and QKT geometries entirely in the exterior algebra and compute how the intrinsic torsion changes under a twist construction.
We discuss the construction of Sp(2)Sp(1)-structures whose fundamental form is closed. In particular, we find 10 new examples of 8-dimensional nilmanifolds that admit an invariant closed 4-form with stabiliser Sp(2)Sp(1). Our constructions entail the notion of SO(4)-structures on 7-manifolds. We present a thorough investigation of the intrinsic torsion of such structures, leading to the construction of explicit Lie group examples with invariant intrinsic torsion.
We investigate quaternionic contact (qc) manifolds from the point of view of intrinsic torsion. We argue that the natural structure group for this geometry is a non-compact Lie group K containing Sp(n)H^*, and show that any qc structure gives rise to a canonical K-structure with constant intrinsic torsion, except in seven dimensions, when this condition is equivalent to integrability in the sense of Duchemin. We prove that the choice of a reduction to Sp(n)H^* (or equivalently, a complement of the qc distribution) yields a unique K-connection satisfying natural conditions on torsion and curvat…
We go further on the study of harmonicity for almost contact metric structures already initiated by Vergara-Diaz and Wood. By using the intrinsic torsion, we characterise harmonic almost contact metric structures in several equivalent ways and show conditions relating harmonicity and classes of almost contact metric structures. Additionally, we study the harmonicity of such structures as a map into the quotient bundle of the oriented orthonormal frames by the action of the structural group U(n)x1. Finally, by using a Bochner type formula proved by Bor and Hernandez Lamoneda, we display some ex…
We briefly review the notion of the intrinsic torsion of a $G$-structure and then go on to classify the intrinsic torsion of the $G$-structures associated with spacetimes: namely, galilean (or Newton-Cartan), carrollian, aristotelian and bargmannian. In the case of galilean structures, the intrinsic torsion classification agrees with the well-known classification into torsionless, twistless torsional and torsional Newton-Cartan geometries. In the case of carrollian structures, we find that intrinsic torsion allows us to classify Carroll manifolds into four classes, depending on the action of t…
The classification of Riemannian manifolds by the holonomy group of their Levi-Civita connection picks out many interesting classes of structures, several of which are solutions to the Einstein equations. The classification has two parts. The first consists of isolated examples: the Riemannian symmetric spaces. The second consists of geometries that can occur in continuous families: these include the Calabi-Yau structures and Joyce manifolds of string theory. One may ask how one can weaken the definitions and still obtain similar classifications. We present two closely related suggestions. The…
We study the geometry of a $G$-structure $P$ inside the oriented orthonormal frame bundle ${\rm SO}(M)$ over an oriented Riemannian manifold $M$. We assume that $G$ is connected and closed, so the quotient ${\rm SO}(n)/G$, where $n=\dim M$, is a normal homogeneous space and we equip ${\rm SO}(M)$ with the natural Riemannian structure induced from the structure on $M$ and the Killing form of ${\rm SO}(n)$. We show, in particular, that minimality of $P$ is equivalent to harmonicity of an induced section of the homogeneous bundle ${\rm SO}(M)\times_{{\rm SO}(n)}{\rm SO}(n)/G$, with a Riemannian m…
We introduce and study a notion of invariant intrinsic torsion geometry which appears, for instance, in connection with the Bryant-Salamon metric on the spinor bundle over S^3. This space is foliated by six-dimensional hypersurfaces, each of which carries a particular type of SO(3)-structure; the intrinsic torsion is invariant under SO(3). The last condition is sufficient to imply local homogeneity of such geometries, and this allows us to give a classification. We close the circle by showing that the Bryant-Salamon metric is the unique complete metric with holonomy G_2 that arises from SO(3)-…
We study 5-dimensional Riemannian manifolds that admit an almost contact metric structure. We classify these structures by their intrinsic torsion and review the literature in terms of this scheme. Moreover, we determine necessary and sufficient conditions for the existence of metric connections with vectorial, totally skew-symmetric or traceless cyclic torsion that are compatible with the almost contact metric structure. Finally, we examine explicit examples of almost contact metric 5-manifolds from this perspective.
For seven-dimensional Riemannian manifolds equipped with a $G_2$-structure, we show in a full detailed way that all integral formulas and divergence equations, given by diverse authors, are agree with the ones displayed here in terms of the intrinsic torsion of the $G_2$-structure. Likewise the components of such an intrinsic torsion is expressed by means of exterior algebra.
We systematically analyse the necessary and sufficient conditions for the preservation of supersymmetry for bosonic geometries of the form R^{1,9-d} \times M_d, in the common NS-NS sector of type II string theory and also type I/heterotic string theory. The results are phrased in terms of the intrinsic torsion of G-structures and provide a comprehensive classification of static supersymmetric backgrounds in these theories. Generalised calibrations naturally appear since the geometries always admit NS or type I/heterotic fivebranes wrapping calibrated cycles. Some new solutions are presented. I…
We derive formulas for the mean curvature of special Lagrangian 3-folds in the general case where the ambient 6-manifold has intrinsic torsion. Consequently, we are able to characterize those SU(3)-structures for which every special Lagrangian 3-fold is a minimal submanifold. In the process, we obtain an obstruction to the local existence of special Lagrangian 3-folds.
In anlogy with the work of R. Bryant on the Ricci tensor of a G$_2$-structure, we study the intrinsic torsion of an SU$(2)$-structure on a 5-dimensional manifold deriving an explicit expression for the Ricci and the scalar curvature in terms of torsion forms and its derivative. As a consequence of this formula we prove that the $α$-Einstein condition forces some special SU(2)-structures to be Sasaki-Einstein.
Let α(s) be an arc on a connected oriented surface S in E3, parameterized by arc length s, with torsion τ and length l. The total square torsion F of α is defined by T=\int_{0}^{l}τ^{2}ds\ $. . The arc α is called a relaxed elastic line of second kind if it is an extremal for the variational problem of minimizing the value of F within the family of all arcs of length l on S having the same initial point and initial direction as α. In this study, we obtain differential equation and boundary conditions for a relaxed elastic line of second kind on an oriented surface.
Let $α$ be an arc on a connected oriented surface $S$ in Minkowski 3-space, parameterized by arc length $s$, with torsion $τ$ and length $l$. The total square torsion $H$ of $α$ is defined by $% H=\int_{0}^{l}τ^{2}ds$. The arc is called a relaxed elastic line of second kind if it is an extremal for the variational problem of minimizing the value of $H$ within the family of all arcs of length $l$ on $S$ having the same initial point and initial direction as $α$. In this study, we obtain differential equation and boundary conditions for a relaxed elastic line of second kind on an oriented surfac…
We study SU(3)-structures induced on orientable hypersurfaces of seven-dimensional manifolds with G_2-structure. Taking Gray-Hervella types for both structures into account, we relate the type of SU(3)-structure and the type of G_2-structure with the shape tensor of the hypersurface. Additionaly, we show how to compute the intrinsic SU(3)-torsion and the intrinsic G_2-torsion by means of exterior algebra.
We derive formulas for the mean curvature of associative 3-folds, coassociative 4-folds, and Cayley 4-folds in the general case where the ambient space has intrinsic torsion. Consequently, we are able to characterize those G2-structures (resp., Spin(7)-structures) for which every associative 3-fold (resp. coassociative 4-fold, Cayley 4-fold) is a minimal submanifold. In the process, we obtain new obstructions to the local existence of coassociative 4-folds in G2-structures with torsion.
This review article intends to introduce the reader to non-integrable geometric structures on Riemannian manifolds and invariant metric connections with torsion, and to discuss recent aspects of mathematical physics--in particular superstring theory--where these naturally appear. Connections with skew-symmetric torsion are exhibited as one of the main tools to understand non-integrable geometries. To this aim a a series of key examples is presented and successively dealt with using the notions of intrinsic torsion and characteristic connection of a $G$-structure as unifying principles. % The G…
We study the classification of special almost hermitian manifolds in Gray and Hervella's type classes. We prove that the exterior derivatives of the symplectic form and the complex volume form contain all the information about the intrinsic torsion of the $\SUn(n)$-structure. Furthermore, we apply the obtained results to almost hyperhermitian geometry. Thus, we show that the exterior derivatives of the three K{ä}hler forms of an almost hyperhermitian manifold are sufficient to determine the three covariant derivatives of such forms, i.e., the three mentioned exterior derivatives determine the …
Following the approach of Bryant we study the intrinsic torsion of a SU(3)-manifold deriving a number of formulae for the Ricci and the scalar curvature in terms of torsion forms. As a consequence we prove that in some special cases the Einstein condition forces the vanishing of the intrinsic torsion.
Hypersymplectic structures with torsion on Lie algebroids are investigated. We show that each hypersymplectic structure with torsion on a Lie algebroid determines three Nijenhuis morphisms. From a contravariant point of view, these structures are twisted Poisson structures. We prove the existence of a one-to-one correspondence between hypersymplectic structures with torsion and hyperkähler structures with torsion. We show that given a Lie algebroid with a hypersymplectic structure with torsion, the deformation of the Lie algebroid structure by any of the transition morphisms does not affect th…
We give in this paper which is the fifth in a series of eight a theory of covariant derivatives of multivector and extensor fields based on the geometric calculus of an arbitrary smooth manifold M, and the notion of a connection extensor field defining a parallelism structure on M. Also we give a novel and intrinsic presentation (i.e., one that does not depend on a chosen orthonormal moving frame) of the torsion and curvature fields of Cartan's theory. Two kinds of Cartan's connection fields are identified, and both appear in the intrinsic Cartan's structure equations satisfied by the Cartan's…
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.
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…
Based on a general formula due to R.Bryant, we work out the topological structure of the space of torsion-free $G_2$-structures generating the same associated Riemannian metric on a compact $7$-manifold. We also identify a corresponding Lie group-theoretic structure of the space. These observations are then used to describe the moduli space of torsion-free $G_2$-structures in certain cases - by way of covering spaces.
For an almost contact metric manifold $N$, we find conditions for which either the total space of an $S^1$-bundle over $N$ or the Riemannian cone over $N$ admits a strong Kähler with torsion (SKT) structure. In this way we construct new 6-dimensional SKT manifolds. Moreover, we study the geometric structure induced on a hypersurface of an SKT manifold, and use such structures to construct new SKT manifolds via appropriate evolution equations. Hyper-Kähler with torsion (HKT) structures on the total space of an $S^1$-bundle over manifolds with three almost contact structures are also studied.
We find geometric conditions on a four-dimensional Hermitian manifold endowed with a metric connection with totally skew-symmetric torsion under which the complex structure is a harmonic map from the manifold into its twistor space considered with a natural family of Riemannian metrics defined by means of the metric and the given connection on the base manifold.
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 …
Ray Singer torsion is a numerical invariant associated with a compact Riemannian manifold equipped with a flat bundle and a Hermitian structure on this bundle. In this note we show how one can remove the dependence on the Riemannian metric and on the Hermitian structure with the help of a base point and of an Euler structure, in order to obtain a topological invariant. A numerical invariant for an Euler structure and additional data is also constructed.
This paper is devoted to the systematic investigation of the cone construction for Riemannian $G$ manifolds M, endowed with an invariant metric connection with skew torsion $\nabla^c$, a `characteristic connection'. We show how to define a $\bar G$ structure on the cone $\bar M=M\x \R^+$ with a cone metric, and we prove that a Killing spinor with torsion on $M$ induces a spinor on $\bar M$ that is parallel w.\,r.\,t. the characteristic connection of the $\bar G$ structure. We establish the explicit correspondence between classes of metric almost contact structures on $M$ and almost hermitian c…
We study the existence of invariant metrics with holonomy $G_{2(2)}^* \subset SO(4,3)$ on compact nilmanifolds, i.e. on compact quotients of nilpotent Lie groups by discrete subgroups. We prove that, up to isomorphism, there exists only one indecomposable nilpotent Lie algebra admitting a torsion-free $G_{2(2)}^*$-structure such that the center is definite with respect to the induced inner product. In particular, we show that the associated compact nilmanifold admits a 3-parameter family of invariant metrics with full holonomy $G_{2(2)}^*$.
We discuss the mathematical properties of six--dimensional non--Kähler manifolds which occur in the context of ${\cal N}=1$ supersymmetric heterotic and type IIA string compactifications with non--vanishing background H--field. The intrinsic torsion of the associated SU(3) structures falls into five different classes. For heterotic compactifications we present an explicit dictionary between the supersymmetry conditions and these five torsion classes. We show that the non--Ricci flat Iwasawa manifold solves the supersymmetry conditions with non--zero H--field, so that it is a consistent heterot…
This paper is a survey of results obtained by the authors on the geometry of connections with totally skew-symmetric torsion on the following manifolds: almost complex manifolds with Norden metric, almost contact manifolds with B-metric and almost hypercomplex manifolds with Hermitian and anti-Hermitian metric.
${\mathrm G}_2$-structures with parallel skew-symmetric torsion
Université Paris-Saclay, CNRS(巴黎萨克雷大学,法国国家科学研究中心);Institute of Mathematics “Simion Stoilow” of the Romanian Academy(罗马尼亚科学院西米恩·斯托伊洛数学研究所);Universität Stuttgart(斯图加特大学)
It is considered a differentiable manifold equipped with a pseudo-Riemannian metric and an almost contact 3-struc\-ture so that an almost contact metric structure and two almost contact B-metric structures are generated. There are introduced the so-called associated Nijenhuis tensors for the studied structures. It is given a geometric interpretation of the vanishing of these tensors as a necessary and sufficient condition for the existence of linear connections with totally skew-symmetric torsions preserving the structure. An example of a 7-dimensional manifold with connections of the consider…
We study HKT structures on nilpotent Lie groups and on associated nilmanifolds. We exhibit three weak HKT structures on $\R^8$ which are homogeneous with respect to extensions of Heisenberg type Lie groups. The corresponding hypercomplex structures are of a special kind, called abelian. We prove that on any 2-step nilpotent Lie group all invariant HKT structures arise from abelian hypercomplex structures. Furthermore, we use a correspondence between abelian hypercomplex structures and subspaces of ${\frak sp}(n)$ to produce continuous families of compact and noncompact of manifolds carrying no…
We study the geometric properties of a $2m$-dimensional complex manifold $\mathcal{M}$ admitting a holomorphic reduction of the frame bundle to the structure group $P \subset \mathrm{Spin}(2m,\mathbb{C})$, the stabiliser of the line spanned by a pure spinor at a point. Geometrically, $\mathcal{M}$ is endowed with a holomorphic metric $g$, a holomorphic volume form, a spin structure compatible with $g$, and a holomorphic pure spinor field $ξ$ up to scale. The defining property of $ξ$ is that it determines an almost null structure, ie an $m$-plane distribution $\mathcal{N}_ξ$ along which $g$ is …
The space of the torsion (0,3)-tensors of the linear connections on almost contact manifolds with B-metric is decomposed in 15 orthogonal and invariant subspaces with respect to the action of the structure group. Three known connections, preserving the structure, are characterized regarding this classification.
We determine the Seiberg-Witten-Floer homology groups of the three-manifold which is the product of a surface of genus $g \geq 1$ times the circle, together with its ring structure, for spin-c structures which are non-trivial on the three-manifold. We give applications to computing Seiberg-Witten invariants of four-manifolds which are connected sums along surfaces and also we reprove the higher type adjunction inequalities previously obtained by Oszváth and Szabó.
We study Spin(9)-structures on 16-dimensional Riemannian manifolds and characterize the geometric types admitting a connection with totally skew-symmetric torsion.
We consider non-infinitesimal deformations of G2-structures on 7-dimensional manifolds and derive an exact expression for the torsion of the deformed G2-structure. We then specialize to a case when the deformation is defined by a vector v and we explicitly derive the expressions for the different torsion components of the new G2-structure in terms of the old torsion components and derivatives of v. In particular this gives a set of differential equations for the vector v which have to be satisfied for a transition between G2-structures with particular torsions. For some specific torsion classe…
We study the geometric properties of a $(2m+1)$-dimensional complex manifold $\mathcal{M}$ admitting a holomorphic reduction of the frame bundle to the structure group $P \subset \mathrm{Spin}(2m+1,\mathbb{C})$, the stabiliser of the line spanned by a pure spinor at a point. Geometrically, $\mathcal{M}$ is endowed with a holomorphic metric $g$, a holomorphic volume form, a spin structure compatible with $g$, and a holomorphic pure spinor field $ξ$ up to scale. The defining property of $ξ$ is that it determines an almost null structure, i.e.\ an $m$-plane distribution $\mathcal{N}_ξ$ along whic…
We prove that torsion-free G_2 structures are (weakly) dynamically stable along the Laplacian flow for closed G_2 structures. More precisely, given a torsion-free G_2 structure $φ$ on a compact 7-manifold, the Laplacian flow with initial value cohomologous and sufficiently close to $φ$ will converge to a torsion-free G_2 structure which is in the orbit of $φ$ under diffeomorphisms isotopic to the identity.
The equations for a G_2-structure with torsion on a product M^7 = N^6 x S^1 are studied in relation to the induced SU(3)-structure on N^6. All solutions are found in the case when the Lee-form of the G_2-structure is non-zero and N^6 is a six-dimensional nilmanifold with half-integrable SU(3)-structure. Special properties of the torsion of these solutions are discussed.
Motivated by the description of $\mathcal{N}=1$ M-theory compactifications to four-dimensions given by Exceptional Generalized Geometry, we propose a way to geometrize the M-theory fluxes by appropriately relating the compactification space to a higher-dimensional manifold equipped with a torsion-free structure. As a non-trivial example of this proposal, we construct a bijection from the set of $Spin(7)$-structures on an eight-dimensional $S^{1}$-bundle to the set of $G_{2}$-structures on the base space, fully characterizing the $G_{2}$-torsion clases when the total space is equipped with a to…
In this paper we define a Poincaré-Reidemeister scalar product on the determinant line of the cohomology of any flat vector bundle over a closed orientable odd-dimensional manifold. It is a combinatorial "torsion-type" invariant which refines the PR-metric, introduced earlier by the first author, and contains an additional sign or phase information. We compute the PR-scalar product in terms of the torsions of Euler structures, introduced earlier by the second author. We show that the sign of our PR-scalar product is determined by the Stiefel-Whitney classes and the semi-characteristic of the m…