We give a complete classification, up to isometric isomorphism and scaling, of $4$-dimensional metric Lie algebras $(\mathfrak{g},\langle \cdot,\cdot \rangle)$ that admit a non-zero parallel skew-symmetric endomorphism. In particular, we distinguish those metric Lie algebras that admit such an endomorphism which is not a multiple of a complex structure, and for each of them we obtain the de Rham decomposition of the associated simply connected Lie group with the corresponding left invariant metric. On the other hand, we find that the associated simply connected Lie group is irreducible as a Riemannian manifold for those metric Lie algebras where each parallel skew-symmetric endomorphism is a multiple of a complex structure.
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 space of differential operators acting on skewsymmetric tensor fields or on smooth forms of a smooth manifold are representations of its Lie algebra of vector fields. We compute the first cohomology spaces of these representations and show how they are related to the cohomology with coefficients in ther space of smooth functions of the manifold.
${\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（斯图加特大学）
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.
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.
Geometries with parallel, skew-symmetric and closed torsion
Université Paris-Saclay（巴黎萨克雷大学）；CNRS（法国国家科学研究中心）；Institute of Mathematics “Simion Stoilow” of the Romanian Academy（罗马尼亚科学院西蒙·斯托伊洛数学研究所）；Universidade Estadual de Campinas（坎皮纳斯州立大学）
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.
Let $G$ be a Lie Group with a left invariant connection such that its connection function is skew-symmetric. Our main goal is to show a version of Pluzhnikov's Theorem for this kind of connection. To this end, we use the stochastic logarithm. More exactly, the stochastic logarithm gives characterizations for Brownian motions and Martingales in $G$, and these characterzations are used to prove Pluzhnikov's Theorem.
We introduce the notion of skew-holomorphic Lie algebroid on a complex manifold, and explore some cohomologies theories that one can associate to it. Examples are given in terms of holomorphic Poisson structures of various sorts.
We produce skew loops -- loops having no pair of parallel tangent lines -- homotopic to any loop in a flat torus or other quotient of R^n. The interesting case here is n=3. More subtly for any n, we characterize the homotopy classes that will contain a skew loop having a specified loop in the unit sphere as tangent indicatrix.
We prove a Berger-type theorem which asserts that if the orthogonal subgroup generated by the torsion tensor (pulled back to a point by parallel transport) of a metric connection with skew-symmetric torsion is not transitive on the sphere, then the space must be locally isometric to a Lie group with a bi-invariant metric or its symmetric dual (we assume the space to be locally irreducible). We also prove that a (simple) Lie group with a bi-invariant metric admits only two flat metric connections with skew-symmetric torsion: the two flat canonical connections. In particular, we get a refinement…
Irreducible skew-Berger algebras $\g\subset\gl(n,\Co)$, i.e. algebras spanned by the images of the linear maps $R:\odot^2\Co^n\to\g$ satisfying the Bianchi identity, are classified. These Lie algebras can be interpreted as irreducible complex Berger superalgebras contained in $\gl(0|n,\Co)$.
We investigate the holonomy group of a linear metric connection with skew-symmetric torsion. In case of the euclidian space and a constant torsion form this group is always semisimple. It does not preserve any non-degenerated 2-form or any spinor. Suitable integral formulas allow us to prove similar properties in case of a compact Riemannian manifold equipped with a metric connection of skew-symmetric torsion. On the Aloff-Wallach space N(1,1) we construct families of connections admitting parallel spinors. Furthermore, we investigate the geometry of these connections as well as the geometry o…
In this note, we discuss symmetric brackets on skew-symmetric algebroids associated with a metric structure. Given a pseudo-Riemannian metric structure, we describe symmetric brackets induced by connections with totally skew-symmetric torsion in the language of Lie derivatives and differentials of functions. In particular, we obtain an explicit formula of the Levi-Civita connection. We also present some symmetric brackets on almost Hermitian manifolds. Especially, we discuss the first canonical Hermitian connection and show the formula for it in the case of nearly Kaehler manifolds using the p…
Following recent work by Ghomi, Solomon and Tabachnikov, we study geometry and topology of skew branes. A skew brane is a codimension 2 submanifold in affine space such that the tangent spaces at any pair of distinct points are not parallel. We prove that if an oriented closed manifold has a non-zero Euler characteristic $ξ$ then it is not a skew brane; generically, the number of oppositely oriented pairs of parallel tangent spaces is not less than $(ξ^2)/4$. We also construct examples of skew odd-dimensional spheres and skew two-dimensional tori.
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.
In this paper, we study the existence of a skew Killing spinor (see the definition below) on 2 and 3-dimensional Riemannian spin manifolds. We establish the integrability conditions and prove that these spinor fields correspond to twistor spinors in the two dimensional case while, up to a conformal change of the metric, they correspond to parallel spinors in the three dimensional case.
We show that non-degenerate hyperquadrics in R^{n+2} admit no skew branes. Stated more traditionally, a compact codimension-one immersed submanifold of a non-degenerate hyperquadric of euclidean space must have parallel tangent spaces at two distinct points. Similar results have been proven by others, but (except for ellipsoids in R^3) always under C^2 smoothness and genericity assumptions. We use neither assumption here.
We study almost Hermitian structures admitting a Hermitian connexion with totally skew-symmetric torsion or equivalently, those almost Hermitian structures with totally skew-symmetric Nijenhuis tensor. We investigate up to what extent the Nijenhuis tensor fails to be parallel with respect to the characteristic connexion. This is naturally described by means of an extension of the notion of Killing form to almost Hermitian geometry. In this context, we also make an essentially self-contained survey of nearly-Kaehler geometry, but from the perspective of non-integrable holonomy systems.
A natural connection with totally skew-symmetric torsion on almost contact manifolds with B-metric is constructed. The class of these manifolds, where the considered connection exists, is determined. Some curvature properties for this connection, when the corresponding curvature tensor has the properties of the curvature tensor for the Levi-Civita connection and the torsion tensor is parallel, are obtained.
We prove a Simons-type holonomy theorem for totally skew 1-forms with values in a Lie algebra of linear isometries. The only transitive case, for this theorem, is the full orthogonal group. We only use geometric methods and we do not use any classification (not even that of transitive isometric actions on the sphere or the list of rank one symmetric spaces). This result was independently proved, by using an algebraic approach, by Paul-Andy Nagy. We apply this theorem to prove that the canonical connection of a compact naturally reductive space is unique, provided the space does not split off, …
For any triple $(M^n, g, \nabla)$ consisting of a Riemannian manifold and a metric connection with skew-symmetric torsion we introduce an elliptic, second order operator $Ω$ acting on spinor fields. In case of a reductive space and its canonical connection our construction yields the Casimir operator of the isometry group. Several non-homogeneous geometries (Sasakian, nearly Kähler, cocalibrated $\mathrm{G}_2$-structures) admit unique connections with skew-symmetric torsion. We study the corresponding Casimir operator and compare its kernel with the space of $\nabla$-parallel spinors.
We show that any left invariant metric with harmonic curvature on a solvable Lie group is Ricci-parallel. We show the same result for any Lie group of dimension $\leq$ 6.
The method of double extension, introduced by A.~Medina and Ph.~Revoy, is a procedure which decomposes a Lie algebra with an invariant symmetric form into elementary pieces. Such decompositions were developed for other algebras, for instance for Lie superalgebras and associative algebras, Filippov $n$-algebras and Jordan algebras. The aim of this note is to find a unified approach to such decompositions using the derived bracket formalism. More precisely, we show that any commutative $n$-ary superalgebra with a skew-symmetric invariant form can be obtained inductively by taking orthogonal sums…
We show that one can skip the skew-symmetry assumption in the definition of Nambu-Poisson brackets. In other words, a n-ary bracket on the algebra of smooth functions which satisfies the Leibniz rule and a n-ary version of the Jacobi identity must be skew-symmetric. A similar result holds for a non-antisymmetric version of Lie algebroids.
We classify 7-dimensional cocalibrated $\G_2$-manifolds with parallel characteristic torsion and non-abelian holonomy. All these spaces admit a metric connection $\nabla^{\mathrm{c}}$ with totally skew-symmetric torsion and a spinor field $Ψ_1$ solving the equations in the common sector of type II superstring theory. There exist $\G_2$-structures with parallel characteristic torsion that are not naturally reductive.
We study the skew-symmetric prolongation of a Lie subalgebra $\g \subseteq \mathfrak{so}(n)$, in other words the intersection $Λ^3 \cap (Λ^1 \otimes \g)$.We compute this space in full generality. Applications include uniqueness results for connections with skew-symmetric torsion and also the proof of the Euclidean version of a conjecture posed in \cite{ofarill} concerning a class of Plücker-type embeddings. We also derive a classification of the metric k-Lie algebras (or Filipov algebras), in positive signature and finite dimension. Prolongations of Lie algebras can also be used to finish the …
This paper presents a derivation of the parallel transport equation expressed in the Lie algebra of a Lie group endowed with a left-invariant metric.The use of this equation is exemplified on the group of rigid body motions SE(3), using basic numerical integration schemes, and compared to the pole ladder algorithm. This results in a stable and efficient implementation of parallel transport. The implementation leverages the python package geomstats and is available online.
We investigate nonintegrable Riemannian geometries modelled after certain symmetric spaces related to the Freudenthal-Tits Magic Square. The collection of four such structures found by Nurowski is extended by further eight. A focus is given to those admitting a compatible connection with completely skew torsion.
In this article, we determine the seven-dimensional almost Abelian Lie algebras which admit calibrated or parallel G_2-/G_2^*-structures. Along the way, we show that certain well-established curvature restrictions for calibrated and parallel G_2-structures are not valid in the G_2^* case. In more detail, we provide the first example of a Ricci-flat calibrated G_2^*-structure on a compact manifold whose holonomy is not contained in G_2^*. Moreover, we get examples of non-flat parallel G_2^*-structures on almost Abelian Lie algebras g. We give a full classification of these G_2^*-structures if g…
Skew algebroid is a natural generalization of the concept of Lie algebroid. In this paper, for a skew algebroid E, its modular class mod(E) is defined in the classical as well as in the supergeometric formulation. It is proved that there is a homogeneous nowhere-vanishing 1-density on E* which is invariant with respect to all Hamiltonian vector fields if and only if E is modular, i.e. mod(E)=0. Further, relative modular class of a subalgebroid is introduced and studied together with its application to holonomy, as well as modular class of a skew algebroid relation. These notions provide, in pa…
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 study $n$-ary commutative superalgebras and $L_{\infty}$-algebras that possess a skew-symmetric invariant form, using the derived bracket formalism. This class of superalgebras includes for instance Lie algebras and their $n$-ary generalizations, commutative associative and Jordan algebras with an invariant form. We give a classification of anti-commutative $m$-dimensional $(m-3)$-ary algebras with an invariant form, and a classification of real simple $m$-dimensional Lie $(m-3)$-algebras with a positive definite invariant form up to isometry. Furthermore, we develop the Hodge Theory for $L…
We study representations of hemistrict Lie 2-algebras and give a functorial construction of their cohomology. We prove that both the cohomology of an injective hemistrict Lie 2-algebra $L$ and the cohomology of the semistrict Lie 2-algebra obtained from skew-symmetrization of $L$ are isomorphic to the Chevalley-Eilenberg cohomology of the induced Lie algebra $L_{\operatorname{Lie}}$.
We present a new method for classifying naturally reductive homogeneous spaces -- i.\,e.~homogeneous Riemannian manifolds admitting a metric connection with skew torsion that has parallel torsion \emph{and} curvature. This method is based on a deeper understanding of the holonomy algebra of connections with parallel skew torsion on Riemannian manifolds and the interplay of such a connection with the geometric structure on the given Riemannian manifold. It allows to reproduce by easier arguments the known classifications in dimensions $3,4$, and $5$, and yields as a new result the classificatio…
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.
