For homogeneous reductive spaces G/H with reductive complements decomposable into an orthogonal sum \mathfrak{m}=\mathfrak{m}_1 \oplus \mathfrak{m}_2 \oplus \mathfrak{m}_3 of three Ad(H)-invariant irreducible mutually inequivalent submodules we establish simple conditions under which an invariant metric f-structure (f,g) belongs to the classes G_1 f, NKf, and Kill f of generalized Hermitian geometry. The statements obtained are then illustrated with four examples. Namely we consider invariant metric f-structures on the manifolds of oriented flags SO(n)/SO(2)\times SO(n-3) (n>=4), the Stiefel manifold SO(4)/SO(2), the complex flag manifold SU(3)/T_{max}, and the quaternionic flag manifold Sp(3)/SU(2)\times SU(2)\times SU(2).
It is an important problem in differential geometry to find non-naturally reductive homogeneous Einstein metrics on homogeneous manifolds. In this paper, we consider this problem for some coset spaces of compact simple Lie groups. A new method to construct invariant non-naturally reductive Einstein metrics on normal homogeneous Einstein manifolds is presented. In particular, we show that on the standard homogeneous Einstein manifolds, except for some special cases, there exist plenty of such metrics. A further interesting result of this paper is that on some compact semisimple Lie groups, ther…
A method, due to Élie Cartan, is used to give an algebraic classification of the non-reductive homogeneous pseudo-Riemannian manifolds of dimension four. Only one case with Lorentz signature can be Einstein without having constant curvature, and two cases with (2,2) signature are Einstein of which one is Ricci-flat. If a four-dimensional non-reductive homogeneous pseudo-Riemannian manifold is simply connected, then it is shown to be diffeomorphic to $\real^4$. All metrics for the simply connected non-reductive Einstein spaces are given explicitly. There are no non-reductive pseudo-Riemannian h…
The purpose of these survey notes is to give a presentation of a classical theorem of Nomizu that relates the invariant affine connections on reductive homogeneous spaces and nonassociative algebras.
We determine, for all three-dimensional non-unimodular Lie groups equipped with a Lorentzian metric, the set of homogeneous geodesics through a point. Together with the results of [C] and [CM2], this leads to the full classification of three-dimensional Lorentzian g.o. spaces and naturally reductive spaces.
Ambrose and Singer characterized connected, simply-connected and complete homogeneous Riemannian manifolds as Riemannian manifolds admitting a metric connection such that its curvature and torsion are parallel. The aim of this paper is to extend Ambrose-Singer Theorem to the general framework of locally homogeneous pseudo-Riemannian manifolds. In addition we study under which conditions a locally homogeneous pseudo-Riemannian manifold can be recovered from the curvature and their covariant derivatives at some point up to finite order. The same problem is tackled in the presence of a geometric …
Let $F$ be a homogeneous $(α_1,α_2)$ metric on the reductive homogeneous manifold $G/H$. Firstly, we characterize the natural reductiveness of $F$ as a local $f$-product between naturally reductive Riemannian metrics. Secondly, we prove the equivalence among several properties of $F$ for its mean Berwald curvature and S-curvature. Finally, we find an explicit flag curvature formula when $F$ is naturally reductive.
Naturally reductive spaces, in general, can be seen as an adequate generalization of Riemannian symmetric spaces. Nevertheless, there are some that are closer to symmetric spaces than others. On the one hand, there is the series of Hopf fibrations over complex space forms, including the Heisenberg groups with their metrics of type H. On the other hand, there exist certain naturally reductive spaces in dimensions six and seven whose torsion forms have a distinguished algebraic property. All these spaces generalize geometric or algebraic properties of $3$--dimensional naturally reductive spaces …
In this note, we describe the geometry of the quaternionic Heisenberg groups from a Riemannian viewpoint. We show, in all dimensions, that they carry an almost $3$-contact metric structure which allows us to define the metric connection that equips these groups with the structure of a naturally reductive homogeneous space. It turns out that this connection, which we shall call the canonical connection because of its analogy to the $3$-Sasaki case, preserves the horizontal and vertical distributions and even the quaternionic contact structure of the quaternionic Heisenberg groups. We focus on t…
Let $G$ be a complex reductive connected algebraic group equipped with the Sklyanin bracket. A classification of Poisson homogeneous $G$-spaces with connected isotropy subgroups is given. This result is based on Drinfeld's correspondence between Poisson homogeneous $G$-spaces and Lagrangian subalgebras in the double $D(g)$ (here $g = Lie G$). A geometric interpretation of some of Poisson homogeneous $G$-spaces is also proposed.
We consider a class of compact homogeneous CR manifolds, that we call $\mathfrak n$-reductive, which includes the orbits of minimal dimension of a compact Lie group $K_0$ in an algebraic homogeneous variety of its complexification $K$. For these manifolds we define canonical equivariant fibrations onto complex flag manifolds. The simplest example is the Hopf fibration $S^3\to\mathbb{CP}^1$. In general these fibrations are not $CR$ submersions, however they satisfy a weaker condition that we introduce here, namely they are CR-deployments.
In this paper, first, we give an explicit formula for the flag curvature of a homogeneous Finsler space with generalized $m$-Kropina metric. Then, we show that, under a mild condition, the two definitions of naturally reductive homogeneous Finsler space are equivalent for afore said metric. Finally, we study the flag curvature of naturally reductive homogeneous Finsler spaces with generalized $m$-Kropina metric.
The main result of this article provides a characterization of reductive homogeneous spaces equipped with some geometric structure (non necessarily pseudo-Riemannian) in terms of the existence of certain connection. The result generalizes the well-known result of Ambrose and Singer for Riemannian homogeneous spaces, as well as its extensions for other geometries found in the literature. The manifold must be connected and simply connected, the connection has to be complete and has to satisfy a set of geometric partial differential equations. If the connection is not complete or the manifold is …
A family of naturally reductive pseudo-Riemannian spaces is constructed out of the representations of Lie algebras with ad-invariant metrics. We exhibit peculiar examples, study their geometry and characterize the corresponding naturally reductive homogeneous structure.
Kobayashi [Duke Math. J. (1992)] gave a necessary condition for the existence of compact Clifford-Klein forms in terms of Cartan projections and non-compact dimensions of reductive subgroups. We extend his method to non-reductive subgroups, and give some examples of homogeneous spaces of reductive type that do not admit compact Clifford-Klein forms by comparing Cartan projections and non-compact dimensions of reductive subgroups with those of non-reductive subgroups.
The first author defended her doctoral thesis Espacios homogéneos reductivos y álgebras no asociativas in 2001, supervised by P. Benito and A. Elduque. This thesis contained the classification of the Lie-Yamaguti algebras with standard enveloping algebra $\mathfrak{g}_2$ over fields of characteristic zero, which in particular gives the classification of the homogeneous reductive spaces of the compact Lie group $G_2$. In this work we revisit this classification from a more geometrical approach. We provide too geometric models of the corresponding homogeneous spaces and make explicit some relati…
We prove various classification results for homogeneous locally conformally symplectic manifolds. In particular, we show that a homogeneous locally conformally Kaehler manifold of a reductive group is of Vaisman type, if the normalizer of the isotropy group is compact. We also show that such a result does not hold in the case of noncompact normalizer and determine all left-invariant locally conformally Kaehler structures on reductive Lie groups.
We determine the holonomy of generalized Killing spinor covariant derivatives of the form $D= \nabla + Ω$ on pseudo-Riemannian reductive homogeneous spaces in a purely algebraic and algorithmic way, where $Ω: TM \rightarrow Λ^*(TM)$ is a left-invariant homomorphism. This is essentially an application of the theory of invariant principal bundle connections defined over homogeneous principal bundles. Moreover, the algorithm allows a computation of the associated Killing superalgebra in certain cases. The procedure is demonstrated by determining the supersymmetries of certain homogeneous M2 duals…
We provide examples of naturally reductive pseudo-Riemannian spaces, in particular an example of a naturally reductive pseudo-Riemannian 2-step nilpotent Lie group $(N, < \,,\,>_N)$, such that $< \,,\,>_N$ is invariant under a left action and for which the center is degenerate. The metric does not correspond to a bi-invariant one.
Given an exceptional compact simple Lie group $G$ we describe new left-invariant Einstein metrics which are not naturally reductive. In particular, we consider fibrations of $G$ over flag manifolds with a certain kind of isotropy representation and we construct the Einstein equation with respect to the induced left-invariant metrics. Then we apply a technique based on Gröbner bases and classify the real solutions of the associated algebraic systems. For the Lie group ${\rm G}_2$ we obtain the first known example of a left-invariant Einstein metric, which is not naturally reductive. Moreover, f…
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 show that the skew-symmetrized product on every Leibniz algebra E can be realized on a reductive complement to a subalgebra in a Lie algebra. As a consequence, we construct a nonassociative multiplication on E which, when E is a Lie algebra, is derived from the integrated adjoint representation. We apply this construction to realize the bracket operations on the sections of Courant algebroids and on the ``omni-Lie algebras'' recently introduced by the second author.
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…
Eldredge, Gordina and Saloff-Coste recently conjectured that, for a given compact connected Lie group $G$, there is a positive real number $C$ such that $λ_1(G,g)\operatorname{diam}(G,g)^2\leq C$ for all left-invariant metrics $g$ on $G$. In this short note, we establish the conjecture for the small subclass of naturally reductive left-invariant metrics on a compact simple Lie group.
We treat the almost differentiable left A-loops as images of global differentiable sharply transitive sections $σ:G/H \to G$ for a Lie group $G$ such that $G/H$ is a reductive homogeneous manifold. In this paper we classify all $3$-dimensional connected strongly left alternative almost differentiable left A-loops $L$, such that for the corresponding section $σ:G/H \to G$ the Lie group $G$ is non-solvable.
In this article, we prove that every compact simple Lie group $SO(n)$ for $n\geq 10$ admits at least $2\left([\frac{n-1}{3}]-2\right)$ non-naturally reductive left-invariant Einstein metrics.
A very important class of homogeneous Riemannian manifolds are the so-called normal homogeneous spaces, which have associated a canonical connection. In this work we obtain geometrically the (connected component of the) group of affine transformations with respect to the canonical connection for a normal homogeneous space. The naturally reductive case is also treated. This completes the geometric calculation of the isometry group of naturally reductive spaces. In addition, we prove that for normal homogeneous spaces the set of fixed points of the full isotropy is a torus. As an application of …
We obtain new invariant Einstein metrics on the compact Lie groups $SO(n)$ ($n \geq 7$) which are not naturally reductive. This is achieved by imposing certain symmetry assumptions in the set of all left-invariant metrics on $SO(n)$ and by computing the Ricci tensor for such metrics. The Einstein metrics are obtained as solutions of systems polynomial equations, which we manipulate by symbolic computations using Gröbner bases.
We study invariant metrics on Ledger-Obata spaces $F^m/\mathrm{diag}(F)$. We give the classification and an explicit construction of all naturally reductive metrics, and also show that in the case $m=3$, any invariant metric is naturally reductive. We prove that a Ledger-Obata space is a geodesic orbit space if and only if the metric is naturally reductive. We then show that a Ledger-Obata space is reducible if and only if it is isometric to the product of Ledger-Obata spaces (and give an effective method of recognising reducible metrics), and that the full connected isometry group of an irred…
In this paper, we focus on homogeneous spaces which are constructed from two strongly isotropy irreducible spaces, and prove that any geodesic orbit metric on these spaces is naturally reductive.
We prove that any invariant hypercomplex structure on a homogeneous space $M = G/L$ where $G$ is a compact Lie group is obtained via the Joyce's construction, provided that there exists a hyper-Hermitian naturally reductive invariant metric on $M$.
Given a reductive homogeneous space M=G/H endowed with a naturally reductive metric, we study the one-parameter family of connections joining the canonical and the Levi-Civita connection (t=0, 1/2). We show that the Dirac operator D^t corresponding to t=1/3 is the so-called ``cubic'' Dirac operator recently introduced by B. Kostant, and derive the formula for its square for any t, thus generalizing the classical Parthasarathy formula on symmetric spaces. Applications include the existence of a new G-invariant first order differential operator on spinors and an eigenvalue estimate for the first…
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, …
In this paper we determine the at least $4$-dimensional affine reductive homogeneous manifolds for an at most $9$-dimensional simple Lie group or an at most $6$-dimensional semi-simple Lie group. Those reductive spaces among them which admit a sharply transitive differentiable section yield local almost differentiable left A-loops. Using this we classify all global almost differentiable left A-loops $L$ having either a $6$-dimensional semi-simple Lie group or the group $SL_3(\mathbb R)$ as the group topologically generated by their left translations. Moreover, we determine all at most $5$-dime…
This work concerns the non-flat metrics on the Heisenberg Lie group of dimension three $\Heis_3(\RR)$ and the bi-invariant metrics on the solvable Lie groups of dimension four. On $\Heis_3(\RR)$ we prove that the property of the metric being naturally reductive is equivalent to the property of the center being non-degenerate. These metrics are Lorentzian algebraic Ricci solitons. We start with the indecomposable Lie groups of dimension four admitting bi-invariant metrics and which act on $\Heis_3(\RR)$ by isometries and we finally study some geometrical features on these spaces.
In this paper, first we derive an explicit formula for the flag curvature of a homogeneous Finsler space with infinite series $(α, β)$-metric and exponential metric. Next, we deduce it for naturally reductive homogeneous Finsler space with the above mentioned metrics.
We study existence of invariant Einstein metrics on complex Stiefel manifolds $G/K = \SU(\ell+m+n)/\SU(n) $ and the special unitary groups $G = \SU(\ell+m+n)$. We decompose the Lie algebra $\frak g$ of $G$ and the tangent space $\frak p$ of $G/K$, by using the generalized flag manifolds $G/H = \SU(\ell+m+n)/\s(\U(\ell)\times\U(m)\times\U(n))$. We parametrize scalar products on the 2-dimensional center of the Lie algebra of $H$, and we consider $G$-invariant and left invariant metrics determined by $\Ad(\s(\U(\ell)\times\U(m)\times\U(n))$-invariant scalar products on $\frak g$ and $\frak p$ res…
Let g be a G-invariant Einstein metric on a compact homogeneous space M=G/K. We use a formula for the Lichnerowicz Laplacian of g at G-invariant TT-tensors to study the stability type of g as a critical point of the scalar curvature function. The case when g is naturally reductive is studied in special detail.
The study of left-invariant Einstein metrics on compact Lie groups which are naturally reductive was initiated by J. E. D'Atri and W. Ziller in 1979. In 1996 the second author obtained non-naturally reductive Einstein metrics on the Lie group SU(n) for $n \ge 6$, by using a method of Riemannian submersions. In the present work we prove existence of non-naturally reductive Einstein metrics on the compact simple Lie groups SO(n) ($n \geq 11$), $Sp(n)$ ($n \geq 3$), $E_6$, $E_7$, and $E_8$.
In this paper, we study homogeneous geodesics in homogeneous Finsler spaces. We first give a simple criterion that characterizes geodesic vectors. We show that the geodesics on a Lie group, relative to a bi-invariant Finsler metric, are the cosets of the one-parameter subgroups. The existence of infinitely many homogeneous geodesics on compact semi-simple Lie group is established. We introduce the notion of naturally reductive homogeneous Finsler space. As a special case, we study homogeneous geodesics in homogeneous Randers spaces. Finally, we study some curvature properties of homogeneous ge…
We show the existence of nonsymmetric homogeneous spin Riemannian manifolds whose Dirac operator is like that on a Riemannian symmetric spin space. Such manifolds are exactly the homogeneous spin Riemannian manifolds $(M,g)$ which are traceless cyclic with respect to some quotient expression $M=G/K$ and reductive decomposition $\mathfrak{g} = \mathfrak{k} \oplus \mathfrak{m}$. Using transversally symmetric fibrations of noncompact type, we give a list of them.
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.
Sharpness of proper and cocompact actions on reductive homogeneous spaces
CNRS and Laboratoire Alexander Grothendieck, Institut des Hautes Études Scientifiques, Université Paris-Saclay（法国国家科学研究中心与亚历山大·格罗滕迪克实验室，高等科学研究所，巴黎萨克雷大学）；DMA, ENS（数学与应用数学系，巴黎高等师范学院）
