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.
We describe three-dimensional Lorentzian homogeneous Ricci solitons, showing that all types (i.e. shrinking, expanding and steady) exist. Moreover, all non-trivial examples have non-diagonalizable Ricci operator with one only eigenvalue.
In this paper, we classify affine Ricci solitons associated to canonical connections and Kobayashi-Nomizu connections and perturbed canonical connections and perturbed Kobayashi-Nomizu connections on three-dimensional Lorentzian Lie groups with some product structure.
In this paper, we compute the Bott connections and their curvature on three-dimensional Lorentzian Lie groups with three different distributions, and we classify affine Ricci solitons associated to the Bott connection on three-dimensional Lorentzian Lie groups with three different distributions.
A Sim(n-1,1) affine manifold is an affine manifold whose linear holonomy is contained in the similarity lorentzian group but not in the lorentzian group. The class of similarity lorentzian affine manifolds is a small part in the nice class of conformally lorentzian flat manifolds. In this paper we show that a compact Sim(n-1,1) affine manifold is incomplete. We characterize the universal cover of radiant compact Sim(n-1,1) affine manifolds whose developing map is injective. Let q be the quadratic form which define the Sim(n-1,1) structure, using riemannian foliation theory, we classify compact…
We describe the compact Lorentzian $3$-manifolds admitting a parallel lightlike vector field. The classification of compact Lorentzian $3$-manifolds admitting non-isometric affine diffeomorphisms follows, together with the complete description of these morphisms. Such a Lorentzian manifold is in some sense an equivariant deformation of a flat one.
In this paper we study $4$-dimensional affine hypersurfaces with a Lorentzian second fundamental form additionally equipped with an almost symplectic structure $ω$. We prove that the rank of the shape operator is at most one if $R^k\cdot ω=0$ or $\nabla^kω=0$ for some positive integer $k$. This result is the final step in a classification of Lorentzian affine hypersurfaces with higher order parallel almost symplectic forms.
In this paper, we classify three-dimensional Lorentzian Lie groups on which Ricci tensors associated to Bott connections, canonical connections and Kobayashi-Nomizu connections are Codazzi tensors associated to these connections. We also classify three-dimensional Lorentzian Lie group with the quasi-statistical structure associated to Bott connections, canonical connections and Kobayashi-Nomizu connections.
We consider smooth plane curves which are convex with respect to the origin. We describe centro-affine invariants (that is, GL_+(2,R)-invariants), such as centro-affine curvature and arc length, in terms of the canonical Lorentz structure on the three dimensional space of all the ellipses centered at zero, by means of null curves of osculating ellipses. This is the centro-affine analogue of the approach to conformal invariants of curves in the sphere introduced by Langevin and O'Hara, using the canonical pseudo Riemannian metric on the space of circles.
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.
We give a complete description of semi-symmetric algebraic curvature tensors on a four-dimensional Lorentzian vector space and we use this description to determine all four-dimensional homogeneous semi-symmetric Lorentzian manifolds.
We prove that a four-dimensional Lorentzian manifold that is curvature homogeneous of order 3, or $\CH_3$ for short, is necessarily locally homogeneous. We also exhibit and classify four-dimensional Lorentzian, $\CH_2$ manifolds that are not homogeneous.
The 2-parameter family of certain homogeneous Lorentzian 3-manifolds which includes Minkowski 3-space and anti-de Sitter 3-space is considered. Each homogeneous Lorentzian 3-manifold in the 2-parameter family has a solvable Lie group structure with left invariant metric. A generalized integral representation formula which is the unification of representation formulas for maximal spacelike surfaces in those homogeneous Lorentzian 3-manifolds is obtained. The normal Gauß map of maximal spacelike surfaces in those homogeneous Lorentzian 3-manifolds and its harmonicity are discussed.
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.
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.
The main purpose of this paper is to determine the admissible forms of the sectional curvature operator on a three-dimensional locally homogeneous Lorentzian manifolds.
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$.
We describe the structure of $d$-dimensional homogeneous Lorentzian $G$-manifolds $M=G/H$ of a semisimple Lie group $G$. Due to a result by N. Kowalsky, it is sufficient to consider the case when the group $G$ acts properly, that is the stabilizer $H$ is compact. Then any homogeneous space $G/\bar H$ with a smaller group $\bar H \subset H$ admits an invariant Lorentzian metric. A homogeneous manifold $G/H$ with a connected compact stabilizer $H$ is called a minimal admissible manifold if it admits an invariant Lorentzian metric, but no homogeneous $G$-manifold $G/\tilde H$ with a larger connec…
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 define naturally Hermite-Lorentz metrics on almost-complex manifolds as special case of pseudo-Riemannian metrics compatible with the almost complex structure. We study their isometry groups.
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…
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.
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…
Based on the work of Adams and Stuck as well as on the work of Zeghib, we classify the Lie groups which can act isometrically and locally effectively on Lorentzian manifolds of finite volume. In the case that the corresponding Lie algebra contains a direct summand isomorphic to the two-dimensional special linear algebra or to a twisted Heisenberg algebra, we also describe the geometric structure of the manifolds if they are compact. Using these results, we investigate the local geometry of compact homogeneous Lorentz spaces whose isometry groups have non-compact connected components. It turns …
We show a geometric rigidity of isometric actions of non compact (semisimple) Lie groups on Lorentz manifolds. Namely, we show that the manifold has a warped product structure of a Lorentz manifold with constant curvature by a Riemannian manifold.
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.
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 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$.
The 2-parameter family of certain homogeneous Lorentzian 3-manifolds which includes Minkowski 3-space, de Sitter 3-space, and Minkowski motion group is considered. Each homogeneous Lorentzian 3-manifold in the 2-parameter family has a solvable Lie group structure with left invariant metric. A generalized integral representation formula which is the unificaton of representation formulas for minimal timelike surfaces in those homogeneous Lorentzian 3-manifolds is obtained. The normal Gauß map of minimal timelike surfaces in those homogeneous Lorentzian 3-manifolds and its harmonicity are discuss…
In 1995, S. Adams and G. Stuck as well as A. Zeghib independently provided a classification of non-compact Lie groups which can act isometrically and locally effectively on compact Lorentzian manifolds. In the case that the corresponding Lie algebra contains a direct summand isomorphic to the two-dimensional special linear algebra or to a twisted Heisenberg algebra, Zeghib also described the geometric structure of the manifolds. Using these results, we investigate the local geometry of compact homogeneous Lorentz spaces whose isometry groups have non-compact connected components. It turns out …
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…
In this work it is shown that a necessary condition for the completeness of the geodesics of left invariant pseudo-Riemannian metrics on Lie groups is also sufficient in the case of 3-dimensional unimodular Lie groups, and not sufficient for 3-dimensional non unimodular Lie groups. As a consequence it is possible to identify, amongst the compact locally homogeneous Lorentzian 3-manifolds with non compact (local) isotropy group, those that are geodesically complete.
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…
Let H be a closed, noncompact subgroup of a simple Lie group G, such that G/H admits an invariant Lorentz metric. We show that if G = SO(2,n), with n > 2, then the identity component of H is conjugate to the identity component of SO(1,n). Also, if G = SO(1,n), with n > 2, then the identity component of H is conjugate to the identity component of SO(1,n-1).
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…
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.
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 classify germs at the origin of real analytic Lorentz metrics on R^3 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 neighborhood of the origin.
k-Curvature homogeneous three-dimensional Walker metrics are described for k=0,1,2. This allows a complete description of locally homogeneous three-dimensional Walker metrics, showing that there exist exactly three isometry classes of such manifolds. As an application one obtains a complete description of all locally homogeneous Lorentzian manifolds with recurrent curvature. Moreover, potential functions are constructed in all the locally homogeneous manifolds resulting in steady gradient Ricci and Cotton solitons.
It is proved that the holomorphic quadratic differential associated to CMC surfaces in Riemannian products $\mathbb{S}^2\times\Rr$ and $\mathbb{H}^2\times \Rr$ discovered by U. Abresch and H. Rosenberg could be obtained as a linear combination of usual Hopf differentials. Using this fact, we are able to extend it for Lorentzian products. Families of examples of helicoidal CMC surfaces on these spaces are explicitly described. We also present some characterizations of CMC rotationally invariant discs and spheres. Finally, after establish some height and area estimates, we prove the existence of…
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 prove that a four-dimensional Lorentzian manifold that is curvature homogeneous of order 3, or CH_3 for short, is necessarily locally homogeneous. We also exhibit and classify four-dimensional Lorentzian, CH_2 manifolds that are not homogeneous. The resulting metrics belong to the class of null electromagnetic radiation, type N solutions on an anti-de Sitter background. These findings prove that the four-dimensional Lorentzian Singer number $k_{1,3}=3$, falsifying some recent conjectures by Gilkey. We also prove that invariant classification for these proper CH_2 solutions requires $\nabla^…
The aim of this paper is to prove that a control affine system on a manifold is equivalent by diffeomorphism to a linear system on a Lie group or a homogeneous space if and only the vector fields of the system are complete and generate a finite dimensional Lie algebra. A vector field on a connected Lie group is linear if its flow is a one parameter group of automorphisms. An affine vector field is obtained by adding a left invariant one. Its projection on a homogeneous space, whenever it exists, is still called affine. Affine vector fields on homogeneous spaces can be characterized by their Li…
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 locally homogeneous rigid geometric structures on surfaces. We show that a locally homogeneous projective connection on a compact surface is flat. We also show that a locally homogeneous unimodular affine connection on a two dimensional torus is complete and, up to a finite cover, homogeneous. Let $\nabla$ be a unimodular real analytic affine connection on a real analytic compact connected surface $M$. If $\nabla$ is locally homogeneous on a nontrivial open set in $M$, we prove that $\nabla$ is locally homogeneous on all of $M$.
Let (M,g) be a 3-dimensional compact connected real analytic Lorentz manifold and suppose that g is locally homogeneous on a non-empty open set in M (the pseudogroup of local isometries of g has an open orbit). Then we prove that g is locally homogeneous on M (the pseudogroup of local isometries is transitive on M).
