We present a method to compute the group of affine transformations of a homogeneous $G$-space under specific conditions: when the group $G$ and the homogeneous $G$-space admit linear connections so that the natural projection is affine, and with discrete isotropy group. If $G$ admits a bi-invariant linear connection, we establish conditions under which the homogeneous space admits an invariant linear connection. As a consequence, when the isotropy group is discrete, their respective groups of affine transformations are locally isomorphic. As an application of our work, we calculate the group of the affine transformations of orientable flat affine surfaces and 3-dimensional flat affine tori.
We show that simply connected Riemannian homogeneous spaces of compact semisimple Lie groups with polar isotropy actions are symmetric, generalizing results of Fabio Podesta and the third named author. Without assuming compactness, we give a classification of Riemannian homogeneous spaces of semisimple Lie groups whose linear isotropy representations are polar. We show for various such spaces that they do not have polar isotropy actions. Moreover, we prove that Heisenberg groups and non-symmetric Damek-Ricci spaces have non-polar isotropy actions.
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 classify homogeneous pseudo-Riemannian manifolds of index 4 which admit an invariant almost hyper-Hermitian structure and an H-irreducible isotropy group. The main result is that all these spaces are flat except in dimension 12.
We show that pseudo-Riemannian almost quaternionic homogeneous spaces with index 4 and an H-irreducible isotropy group are locally isometric to a pseudo-Riemannian quaternionic Kähler symmetric space if the dimension is at least 16. In dimension 12 we give a non-symmetric example.
We consider the Ricci flow equation for invariant metrics on compact and connected homogeneous spaces whose isotropy representation decomposes into two irreducible inequivalent summands. By studying the corresponding dynamical system, we completely describe the behaviour of the homogeneous Ricci flow on this kind of spaces. Moreover, we investigate the existence of ancient solutions and relate this to the existence and non-existence of invariant Einstein metrics.
We show that for any weakly reflective submanifold of a compact isotropy irreducible Riemannian homogeneous space its inverse image under the parallel transport map is an infinite dimensional weakly reflective PF submanifold of a Hilbert space. This is an extension of the author's previous result in the case of compact irreducible Riemannian symmetric spaces. We also give a characterization of so obtained weakly reflective PF submanifolds.
We classify invariant almost complex structures on homogeneous manifolds of dimension 6 with semi-simple isotropy. Those with non-degenerate Nijenhuis tensor have the automorphism group of dimension either 14 or 9. An invariant almost complex structure with semi-simple isotropy is necessarily either of specified 6 homogeneous types or a left-invariant structure on a Lie group. For integrable invariant almost complex structures we classify all compatible invariant Hermitian structures on these homogeneous manifolds, indicate their integrability properties (Kahler, SNK, SKT) and mark the other i…
The space of $G$-invariant metrics on a homogeneous space $G/H$ is in one-to-one correspondence with the set of inner products on the tangent space $\fr{m}\cong T_{\it o}(G/H)$, which are invariant under the isotropy representation. When all the isotropy summands are inequivalent to each other, then the metric is called diagonal. We will describe a special class of $G$-invariant metrics %with additional symmetries. in the case where the isotropy representation of $G/H$ contains some equivalent isotropy summands. Even though this problem has been considered sporadically in the bibliography, in …
We construct the symplectic resolution of a symplectic orbifold whose isotropy locus consists of disjoint submanifolds with homogeneous isotropy, that is, all its points have the same isotropy groups.
We show that the isotropy action of a homogeneous space $G/K$, where $G$ and $K$ are compact, connected Lie groups and $K$ is defined by an automorphism on $G$, is equivariantly formal and that $(G, K)$ is a Cartan pair.
In this paper we study the global behavior of the Ricci flow equation for two classes of homogeneous manifolds with two isotropy summands. Using methods of the qualitative theory of differential equations, we present the global phase portrait of such systems and derive some geometrical consequences on the structure of such manifolds under the action of the Ricci flow.
We study invariant Einstein metrics on the Stiefel manifold $V_k\mathbb{R}^n\cong \mathrm{SO}(n)/\mathrm{SO}(n-k)$ of all orthonormal $k$-frames in $\mathbb{R}^n$. The isotropy representation of this homogeneous space contains equivalent summands, so a complete description of $G$-invariant metrics is not easy. In this paper we view the manifold $V_{2p}\mathbb{R}^n$ as total space over a classical generalized flag manifolds with two isotropy summands and prove for $2\le p\le \frac25 n-1$ it admits at least four invariant Einstein metrics determined by $\mathrm{Ad}(\mathrm{U}(p) \times \mathrm{S…
A geodesic orbit manifold (GO manifold) is a Riemannian manifold (M,g) with the property that any geodesic in M is an orbit of a one-parameter subgroup of a group G of isometries of (M,g). The metric g is then called a G-GO metric in M. For an arbitrary compact homogeneous manifold M=G/H, we simplify the general problem of determining the G-GO metrics in M. In particular, if the isotropy representation of H induces equivalent irreducible submodules in the tangent space of M, we obtain algebraic conditions, under which, any G-GO metric in M admits a reduced form. As an application we determine …
The Ricci flow was introduced by Hamilton and gained its importance through the years. Of special importance is the limiting behavior of the flow and its symmetry properties. Taking this into account, we present a novel normalization for the homogeneous Ricci flow with natural compactness properties. In addition, we present a characterization for Gromov-Hausdorff limits of homogeneous spaces. As a result, we present a detailed picture of the homogeneous Ricci flow for three-isotropy-summands flag manifolds: phase portraits, basins of attractions, conjugation classes and collapsing phenomena. M…
Suppose $G$ is a connected complex Lie group and $Γ$ is a discrete subgroup such that $X := G/Γ$ is Kähler and the codimension of the top non--vanishing homology group of $X$ with coefficients in $\mathbb Z_2$ is less than or equal to two. We show that $G$ is solvable and a finite covering of $X$ is biholomorphic to a product $C\times A$, where $C$ is a Cousin group and $A$ is $\{e \}$, $\mathbb C$, $\mathbb C^*$, or $\mathbb C^*\times\mathbb C^*$.
A smooth curve on a homogeneous manifold $G/H$ is called a Riemannian equigeo-desic if it is a homogeneous geodesic for any $G$-invariant Riemannian metric. The homogeneous manifold $G/H$ is called Riemannian equigeodesic, if for any $x\in G/H$ and any nonzero $y\in T_x(G/H)$, there exists a Riemannian equigeodesic $c(t)$ with $c(0)=x$ and $\dot{c}(0)=y$. These two notions can be naturally transferred to the Finsler setting, which provides the definitions for Finsler equigeodesic and Finsler equigeodesic space. We prove two classification theorems for Riemannian equigeodesic spaces and Finsler…
We classify tube domains in $\mathbb C^{n+1}$ ($n\ge 1$) with affinely homogeneous base of their boundary and a.) with positive definite Levi form and b.) with Lorentzian type Levi form and affine isotropy of dimension at least $\frac{(n-2)(n-3)}2$.
Invariant connections and $\nabla$-Einstein structures on isotropy irreducible spaces
Faculty of Science, University of Hradec Kr\'alov\'e, Rokitanskeho 62 Hradec Kr\'alov\'e 50003, Czech Republic；Institute of Mathematics；Statistics, University of Troms , Troms \ 90-37, Norway
本文研究非对称强迷向不可约齐性黎曼流形上的不变仿射、度量联络及带斜挠率的不变度量联络，计算其维数，分类紧李群${\ m U}_{n}$的双不变度量联络，并完成此类空间上带斜挠率的$\ abla$-Einstein不变结构的分类。
The homogeneous affine surfaces have been classified by Opozda. They may be grouped into 3 families, which are not disjoint. The connections which arise as the Levi-Civita connection of a surface with a metric of constant Gauss curvature form one family; there are, however, two other families. For a surface in one of these other two families, we examine the Lie algebra of affine Killing vector fields and we give a complete classification of the homogeneous affine gradient Ricci solitons. The rank of the Ricci tensor plays a central role in our analysis.
In a recent paper, it was claimed that any homogeneous Finsler space of odd dimension admits a homogeneous geodesic through any point. For the proof, the algebraic method dealing with the reductive decomposition of the Lie algebra of the isometry group was used. However, the proof contains a serious gap. In the present paper, homogeneous geodesics in Finsler homogeneous spaces are studied using the affine method, which was developed in earlier papers by the author. The mentioned statement is proved correctly and it is further proved that any homogeneous Berwald space or homogeneous reversible …
We study the affine quasi-Einstein Equation for homogeneous surfaces. This gives rise through the modified Riemannian extension to new half conformally flat generalized quasi-Einstein neutral signature $(2,2)$ manifolds, to conformally Einstein manifolds and also to new Einstein manifolds through a warped product construction.
An affine manifold is said to be geodesically complete if all affine geodesics extend for all time. It is said to be affine Killing complete if the integral curves for any affine Killing vector field extend for all time. We use the solution space of the quasi-Einstein equation to examine these concepts in the setting of homogeneous affine surfaces.
Apart from global topological problems an affine homogeneous space is locally described by its curvature, its torsion and a slightly less tangible object called its connection in a given base point. Using this description of the local geometry of an affine homogeneous space we construct an algebraic variety $\mathfrak{M}(\mathfrak{gl}\,V)$, which serves as a coarse moduli space for the local isometry classes of affine homogeneous spaces of dimension dim V. Moreover we associate a $\mathrm{Sym}V^*$-comodule to a point in $\mathfrak{M}(\mathfrak{gl}\,V\,)$ and use its Spencer cohomology in order…
Hildebrand classified all semi-homogeneous cones in $\mathbb{R}^3$ and computed their corresponding complete hyperbolic affine spheres. We compute isothermal parametrizations for Hildebrand's new examples. After giving their affine metrics and affine cubic forms, we construct the whole associated family for each of Hildebrand's examples. The generic member of these affine spheres is given by Weierstrass $\mathscr{P}, ~ζ~\text{and} ~σ$ functions. In general any regular convex cone in $\mathbb{R}^3$ has a natural associated $S^1$-family of such cones, which deserve further studies.
We give a new short self-contained proof of the result of Opozda [B. Opozda, A classification of locally homogeneous connections on 2-dimensional manifolds, Differential Geom. Appl. 21 (2004), 173-198.] classifying the locally homogeneous torsion free affine surfaces and the extension to the case of surfaces with torsion due to Arias-Marco and Kowalski [T. Arias-Marco and O. Kowalski, Classification of locally homogeneous linear connections with arbitrary torsion on 2-dimensional manifolds, Monatsh. Math. 153 (2008), 1-18.]. Our approach rests on a direct analysis of the affine Killing equatio…
Let $\mathcal{M}$ be a Type $\mathcal{A}$ affine surface. We show that $\mathcal{M}$ is linearly strongly projectively flat. We use the quasi-Einstein equation together with the condition that $\mathcal{M}$ is strongly projectively flat to examine to examine the geodesic completeness of $\mathcal{M}$.
We examine the space of solutions to the affine quasi--Einstein equation in the context of homogeneous surfaces. As these spaces can be used to create gradient Yamabe solitions, conformally Einstein metrics, and warped product Einstein manifolds using the modified Riemannian extension, we provide very explicit descriptions of these solution spaces. We use the dimension of the space of affine Killing vector fields to structure our discussion as this provides a convenient organizational framework.
We give a positive answer to the Chavel's conjecture [J. Diff. Geom. 4 (1970), 13-20]: a simply connected rank one normal homogeneous space is symmetric if any pair of conjugate points are isotropic. It implies that all simply connected rank one normal homogeneous space with the property that the isotropy action is variational complete is a rank one symmetric space.
We classify the affine connections on compact orientable surfaces for which the pseudogroup of local isometries acts transitively. We prove that such a connection is either torsion-free and flat, the Levi-Civita connection of a Riemannian metric of constant curvature or the quotient of a translation-invariant connection in the plane.
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 analyze the moduli space of non-flat homogeneous affine connections on surfaces. For Type $\mathcal{A}$ surfaces, we write down complete sets of invariants that determine the local isomorphism type depending on the rank of the Ricci tensor and examine the structure of the associated moduli space. For Type $\mathcal{B}$ surfaces which are not Type $\mathcal{A}$ we show the corresponding moduli space is a simply connected real analytic 4-dimensional manifold with second Betti number equal to $1$.
We consider a homogeneous fibration $G/L \to G/K$, with symmetric fiber and base, where $G$ is a compact connected semisimple Lie group and $L$ has maximal rank in $G$. We suppose the base space $G/K$ is isotropy irreducible and the fiber $K/L$ is simply connected. We investigate the existence of $G$-invariant Einstein metrics on $G/L$ such that the natural projection onto $G/K$ is a Riemannian submersion with totally geodesic fibers. These spaces are divided in two types: the fiber $K/L$ is isotropy irreducible or is the product of two irreducible symmetric spaces. We classify all the $G$-inv…
Equivalences under the affine group ${\rm Aff} (\mathbb{R}^3)$ of constant Hessian rank $1$ surfaces $S^2 \subset \mathbb{R}^3$, sometimes called parabolic, were, among other objects, studied by Doubrov, Komrakov, Rabinovich, Eastwood, Ezhov, Olver, Chen, Merker, Arnaldsson, Valiquette. Especially, homogeneous models and algebras of differential invariants in various branches have been fully understood. Then what about higher dimensions? We consider hypersurfaces $H^n \subset \mathbb{R}^{n+1}$ graphed as $\{ u = F(x_1, \dots, x_n) \}$ whose Hessian matrix $(F_{x_i x_j})$, a relative affine inv…
We study the behavior of the normalized Ricci flow of invariant Riemannian homogeneous metrics at infinity for generalized Wallach spaces, generalized flag manifolds with four isotropy summands and second Betti number equal to one, and the Stiefel manifolds $V_2\mathbb{R}^n$ and $V_{1+k_2}\mathbb{R}^n$, with $n = 1+k_2+k_3$. We use techniques from the theory of differential equations, in particular the Poincaré compactification.
We examine the topology of various spaces of locally homogeneous affine manifolds which arise from the classification result of Opozda [B. Opozda, A classification of locally homogeneous connections on 2-dimensional manifolds, Differential Geom. Appl. 21 (2004), 173-198.] as orbits of the action of $GL(2,\mathbb{R})$ (Type $\mathcal{A}$) and the $ax+b$ group (Type $\mathcal{B}$). We determine the topology of the spaces of Type $\mathcal{A}$ models in relation to the rank of the Ricci tensor. We determine the topology of the spaces of Type $\mathcal{B}$ models which either are flat or where the…
Many extensions of General Relativity are based on considering metric and affine structures as independent properties of spacetime. This leads to the possibility of introducing torsion as an independent degree of freedom. In this article we examine the effects of torsion on the affine Killing vectors of two-dimensional manifolds. We give a complete description of the Lie algebras of affine Killing vector fields on homogeneous surfaces. This can be used in the search of non-metrizable surfaces of interest.
We study a family of 3-dimensional Lorentz manifolds. Some members of the family are 0-curvature homogeneous, 1-affine curvature homogeneous, but not 1-curvature homogeneous. Some are 1-curvature homogeneous but not 2-curvature homogeneous. All are 0-modeled on indecomposible local symmetric spaces. Some of the members of the family are geodesically complete, others are not. All have vanishing scalar invariants.
Ray nil-affine geometries are defined on nilpotent spaces. They occur in every parabolic geometry and in those cases, the nilpotent space is an open dense subset of the corresponding flag manifold. We are interested in closed manifolds having a ray nil-affine structure. We show that under a rank one condition on the isotropy, closed manifolds are either complete or their developing map is a cover onto the complement of a nil-affine subspace. We prove that if additionally there is a parallel volume or if the automorphism group acts non properly then closed manifolds are always complete.This pap…
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 classify torsion-free real-analytic affine connections on compact oriented real-analytic surfaces which are locally homogeneous on a nontrivial open set, without being locally homogeneous on all of the surface. In particular, we prove that such connections exist. This classification relies in a local result that classifies germs of torsion-free real-analytic affine connections on a neighborhood of the origin in the plane which are quasihomogeneous, in the sense that they are locally homogeneous on an open set containing the origin in its closure, but not locally homogeneous in the neighborh…
In this paper, we classify compact simply connected cohomogeneity one manifolds up to equivariant diffeomorphism whose isotropy representation by the connected component of the principal isotropy subgroup has three or less irreducible summands. The manifold is either a bundle over a homogeneous space or an irreducible symmetric space. As a corollary such manifolds admit an invariant metric with non-negative sectional curvature.
The space of invariant affine connections on every $3$-Sasakian homogeneous manifold of dimension at least $7$ is described. In particular, the remarkable subspaces of invariant affine metric connections, and the subclass with skew-torsion, are also determined. To this aim, an explicit construction of all $3$-Sasakian homogeneous manifolds is exhibited. The unique $3$-Sasakian homogeneous manifolds which admit nontrivial Einstein with skew-torsion invariant affine connections are those of dimension $7$, that is, $\mathbb{S}^7=\mathrm{Sp} (2)/ \mathrm{Sp(1)}$, $\mathbb{R} P^7=\mathrm{Sp}(2)/ \m…
In previous papers, a fundamental affine method for studying homogeneous geodesics was developed. Using this method and elementary differential topology it was proved that any homogeneous affine manifold and in particular any homogeneous pseudo-Riemannian manifold admits a homogeneous geodesic through arbitrary point. In the present paper this affine method is refined and adapted to the pseudo-Riemannian case. Using this method and elementary topology it is proved that any homogeneous Lorentzian manifold of even dimension admits a light-like homogeneous geodesic. The method is illustrated in d…
The nonzero level sets of a homogeneous, logarithmically homogeneous, or translationally homogeneous function are affine spheres if and only if the Hessian determinant of the function is a multiple of a power or an exponential of the function. In particular, the nonzero level sets of a homogeneous polynomial are proper affine spheres if some power of it equals a nonzero multiple of its Hessian determinant. The relative invariants of real forms of regular irreducible prehomogeneous vector spaces yield many such polynomials which are moreover irreducible. For example, the nonzero level sets of t…
We study in this paper three natural notions of convergence of homogeneous manifolds, namely infinitesimal, local and pointed, and their relationship with a fourth one, which only takes into account the underlying algebraic structure of the homogeneous manifold and is indeed much more tractable. Along the way, we introduce a subset of the variety of Lie algebras which parameterizes the space of all n-dimensional simply connected homogeneous spaces with q-dimensional isotropy, providing a framework which is very advantageous to approach variational problems for curvature functionals as well as …
The nonzero level sets in $n$-dimensional flat affine space of a translationally homogeneous function are improper affine spheres if and only if the Hessian determinant of the function is equal to a nonzero constant multiple of the $n$th power of the function. The exponentials of the characteristic polynomials of certain left-symmetric algebras yield examples of such functions whose level sets are analogues of the generalized Cayley hypersurface of Eastwood-Ezhov. There are found purely algebraic conditions sufficient for the characteristic polynomial of the left-symmetric algebra to have the …
We study pseudo-Riemanniasn manifolds $(M,g)$ with transitive group of conformal transformation which is essential, i.e. does not preserves any metric conformal to $g$. All such manifolds of Lorentz signature with non exact isotropy representation of the stability subalgebra are described. A construction of essential conformally homogeneous manifolds with exact isotropy represenatation is given. Using spinor formalism, we prove that it provides all 4-dimensional non conformally flat Lorentzian 4-dimensional manifolds with transitive essentially conformal group.
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.
Consider a graphed holomorphic surface $u=F(x,y)$ in $\mathbb{C}^3_{x,y,u}$ under the action of the affine transformation group $A(3)$. In 1999, Eastwood and Ezhov obtained a list of homogeneous models by determining possible tangential vector fields. Inspired by Olver's recurrence formulas, we study the algebra of $A(3)$ differential invariants of surfaces. We obtain necessary conditions for homogeneity of algebraic nature. Solving these conditions, we organise homogeneous models in inequivalent branches.
