-
Classification of nilpotent almost abelian Lie groups admitting left-invariant complex or symplectic structures
Authors:
Romina M. Arroyo,
María L. Barberis,
Verónica S. Diaz,
Yamile Godoy,
Isabel Hernández
Abstract:
We classify the nilpotent almost abelian Lie algebras admitting complex or symplectic structures. It turns out that if a nilpotent almost abelian Lie algebra admits a complex structure, then it necessarily admits a symplectic structure. Given an even dimensional almost abelian Lie algebra, we show that it always admits a complex structure when it is 2-step nilpotent and it always admits a symplect…
▽ More
We classify the nilpotent almost abelian Lie algebras admitting complex or symplectic structures. It turns out that if a nilpotent almost abelian Lie algebra admits a complex structure, then it necessarily admits a symplectic structure. Given an even dimensional almost abelian Lie algebra, we show that it always admits a complex structure when it is 2-step nilpotent and it always admits a symplectic structure when it is $k$-step nilpotent for $k=2, \, 3$ or $4$. Several consequences of the classification theorems are obtained.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
Tangent ray foliations and their associated outer billiards
Authors:
Yamile Godoy,
Michael Harrison,
Marcos Salvai
Abstract:
Let $v$ be a unit vector field on a complete, umbilic (but not totally geodesic) hypersurface $N$ in a space form; for example on the unit sphere $S^{2k-1} \subset \mathbb{R}^{2k}$, or on a horosphere in hyperbolic space. We give necessary and sufficient conditions on $v$ for the rays with initial velocities $v$ (and $-v$) to foliate the exterior $U$ of $N$. We find and explore relationships among…
▽ More
Let $v$ be a unit vector field on a complete, umbilic (but not totally geodesic) hypersurface $N$ in a space form; for example on the unit sphere $S^{2k-1} \subset \mathbb{R}^{2k}$, or on a horosphere in hyperbolic space. We give necessary and sufficient conditions on $v$ for the rays with initial velocities $v$ (and $-v$) to foliate the exterior $U$ of $N$. We find and explore relationships among these vector fields, geodesic vector fields, and contact structures on $N$.
When the rays corresponding to each of $\pm v$ foliate $U$, $v$ induces an outer billiard map whose billiard table is $U$. We describe the unit vector fields on $N$ whose associated outer billiard map is volume preserving. Also we study a particular example in detail, namely, when $N \simeq \mathbb{R}^3$ is a horosphere of the four-dimensional hyperbolic space and $v$ is the unit vector field on $N$ obtained by normalizing the stereographic projection of a Hopf vector field on $S^{3}$. In the corresponding outer billiard map we find explicit periodic orbits, unbounded orbits, and bounded nonperiodic orbits. We conclude with several questions regarding the topology and geometry of bifoliating vector fields and the dynamics of their associated outer billiards.
△ Less
Submitted 9 May, 2022;
originally announced May 2022.
-
Outer billiards in the spaces of oriented geodesics of the three dimensional space forms
Authors:
Yamile Godoy,
Michael Harrison,
Marcos Salvai
Abstract:
Let $M_{κ}$ be the three-dimensional space form of constant curvature $κ=0,1,-1$, that is, Euclidean space $\mathbb{R}^{3}$, the sphere $S^{3} $, or hyperbolic space $H^{3}$. Let $S$ be a smooth, closed, strictly convex surface in $M_{κ}$. We define an outer billiard map $B$ on the four dimensional space $\mathcal{G}_{κ}$ of oriented complete geodesics of $M_{κ}$, for which the billiard table is t…
▽ More
Let $M_{κ}$ be the three-dimensional space form of constant curvature $κ=0,1,-1$, that is, Euclidean space $\mathbb{R}^{3}$, the sphere $S^{3} $, or hyperbolic space $H^{3}$. Let $S$ be a smooth, closed, strictly convex surface in $M_{κ}$. We define an outer billiard map $B$ on the four dimensional space $\mathcal{G}_{κ}$ of oriented complete geodesics of $M_{κ}$, for which the billiard table is the subset of $\mathcal{G}_{κ}$ consisting of all oriented geodesics not intersecting $S$. We show that $B$ is a diffeomorphism when $S$ is quadratically convex.
For $κ=1,-1$, $\mathcal{G}_{κ}$ has a Kähler structure associated with the Killing form of $\operatorname{Iso}(M_{κ})$. We prove that $B$ is a symplectomorphism with respect to its fundamental form and that $B$ can be obtained as an analogue to the construction of Tabachnikov of the outer billiard in $\mathbb{R}^{2n}$ defined in terms of the standard symplectic structure. We show that $B$ does not preserve the fundamental symplectic form on $\mathcal{G}_{κ}$ associated with the cross product on $M_{κ}$, for $κ=0,1,-1$.
We initiate the dynamical study of this outer billiard in the hyperbolic case by introducing and discussing a notion of holonomy for periodic points.
△ Less
Submitted 9 June, 2023; v1 submitted 4 October, 2021;
originally announced October 2021.
-
Anti-Kählerian geometry on Lie groups
Authors:
Edison Alberto Fernández-Culma,
Yamile Godoy
Abstract:
Let $G$ be a Lie group of even dimension and let $(g,J)$ be a left invariant anti-Kähler structure on $G$. In this article we study anti-Kähler structures considering the distinguished cases where the complex structure $J$ is abelian or bi-invariant. We find that if $G$ admits a left invariant anti-Kähler structure $(g,J)$ where $J$ is abelian then the Lie algebra of $G$ is unimodular and $(G,g)$…
▽ More
Let $G$ be a Lie group of even dimension and let $(g,J)$ be a left invariant anti-Kähler structure on $G$. In this article we study anti-Kähler structures considering the distinguished cases where the complex structure $J$ is abelian or bi-invariant. We find that if $G$ admits a left invariant anti-Kähler structure $(g,J)$ where $J$ is abelian then the Lie algebra of $G$ is unimodular and $(G,g)$ is a flat pseudo-Riemannian manifold. For the second case, we see that for any left invariant metric $g$ for which $J$ is an anti-isometry we obtain that the triple $(G, g, J)$ is an anti-Kähler manifold.
Besides, given a left invariant anti-Hermitian structure on $G$ we associate a covariant $3$-tensor $θ$ on its Lie algebra and prove that such structure is anti-Kähler if and only if $θ$ is a skew-symmetric and pure tensor. From this tensor we classify the real 4-dimensional Lie algebras for which the corresponding Lie group has a left invariant anti-Kähler structure and study the moduli spaces of such structures (up to group isomorphisms that preserve the anti-Kähler structures).
△ Less
Submitted 10 October, 2017;
originally announced October 2017.
-
Polar factorization of conformal and projective maps of the sphere in the sense of optimal mass transport
Authors:
Yamile Godoy,
Marcos Salvai
Abstract:
Let M be a compact Riemannian manifold and let $μ$,d be the associated measure and distance on M. Robert McCann obtained, generalizing results for the Euclidean case by Yann Brenier, the polar factorization of Borel maps S : M -> M pushing forward $μ$ to a measure $ν$: each S factors uniquely a.e. into the composition S = T \circ U, where U : M -> M is volume preserving and T : M -> M is the optim…
▽ More
Let M be a compact Riemannian manifold and let $μ$,d be the associated measure and distance on M. Robert McCann obtained, generalizing results for the Euclidean case by Yann Brenier, the polar factorization of Borel maps S : M -> M pushing forward $μ$ to a measure $ν$: each S factors uniquely a.e. into the composition S = T \circ U, where U : M -> M is volume preserving and T : M -> M is the optimal map transporting $μ$ to $ν$ with respect to the cost function d^2/2.
In this article we study the polar factorization of conformal and projective maps of the sphere S^n. For conformal maps, which may be identified with elements of the identity component of O(1,n+1), we prove that the polar factorization in the sense of optimal mass transport coincides with the algebraic polar factorization (Cartan decomposition) of this Lie group. For the projective case, where the group GL_+(n+1) is involved, we find necessary and sufficient conditions for these two factorizations to agree.
△ Less
Submitted 22 February, 2018; v1 submitted 19 April, 2017;
originally announced April 2017.
-
Interpolation of geometric structures compatible with a pseudo Riemannian metric
Authors:
Edison Alberto Fernández-Culma,
Yamile Godoy,
Marcos Salvai
Abstract:
Let (M, g) be a pseudo Riemannian manifold. We consider four geometric structures on M compatible with g: two almost complex and two almost product structures satisfying additionally certain integrability conditions. For instance, if r is a product structure and symmetric with respect to g, then r induces a pseudo Riemannian product structure on M. Sometimes the integrability condition is expresse…
▽ More
Let (M, g) be a pseudo Riemannian manifold. We consider four geometric structures on M compatible with g: two almost complex and two almost product structures satisfying additionally certain integrability conditions. For instance, if r is a product structure and symmetric with respect to g, then r induces a pseudo Riemannian product structure on M. Sometimes the integrability condition is expressed by the closedness of an associated two-form: if j is almost complex on M and ω(x, y) = g(jx, y) is symplectic, then M is almost pseudo Kähler. Now, product, complex and symplectic structures on M are trivial examples of generalized (para)complex structures in the sense of Hitchin. We use the latter in order to define the notion of interpolation of geometric structures compatible with g. We also compute the typical fibers of the twistor bundles of the new structures and give examples for M a Lie group with a left invariant metric.
△ Less
Submitted 18 November, 2015;
originally announced November 2015.
-
Calibrated geodesic foliations of the hyperbolic space
Authors:
Yamile Godoy,
Marcos Salvai
Abstract:
Let H be the hyperbolic space of dimension n+1. A geodesic foliation of H is given by a smooth unit vector field on H all of whose integral curves are geodesics. Each geodesic foliation of H determines an n-dimensional submanifold M of the 2n-dimensional manifold L of all the oriented geodesics of H (up to orientation preserving reparametrizations). The space L has a canonical split semi-Riemannia…
▽ More
Let H be the hyperbolic space of dimension n+1. A geodesic foliation of H is given by a smooth unit vector field on H all of whose integral curves are geodesics. Each geodesic foliation of H determines an n-dimensional submanifold M of the 2n-dimensional manifold L of all the oriented geodesics of H (up to orientation preserving reparametrizations). The space L has a canonical split semi-Riemannian metric induced by the Killing form of the isometry group of H. Using a split special Lagrangian calibration, we study the volume maximization problem for a certain class of geometrically distinguished geodesic foliations, whose corresponding submanifolds of L are space-like.
△ Less
Submitted 24 November, 2014;
originally announced November 2014.
-
Global smooth geodesic foliations of the hyperbolic space
Authors:
Yamile Godoy,
Marcos Salvai
Abstract:
We consider foliations of the whole three dimensional hyperbolic space H^3 by oriented geodesics. Let L be the space of all the oriented geodesics of H^3, which is a four dimensional manifold carrying two canonical pseudo-Riemannian metrics of signature (2,2). We characterize, in terms of these geometries of L, the subsets M in L that determine foliations of H^3. We describe in a similar way some…
▽ More
We consider foliations of the whole three dimensional hyperbolic space H^3 by oriented geodesics. Let L be the space of all the oriented geodesics of H^3, which is a four dimensional manifold carrying two canonical pseudo-Riemannian metrics of signature (2,2). We characterize, in terms of these geometries of L, the subsets M in L that determine foliations of H^3. We describe in a similar way some distinguished types of geodesic foliations of H^3, regarding to which extent they are in some sense trivial in some directions: On the one hand, foliations whose leaves do not lie in a totally geodesic surface, not even at the infinitesimal level. On the other hand, those for which the forward and backward Gauss maps are local diffeomorphisms.
The subject of this article is within the framework of foliations by congruent submanifolds, and follows the spirit of the paper by Gluck and Warner where they understand the infinite dimensional manifold of all the great circle foliations of the three sphere.
△ Less
Submitted 20 November, 2014;
originally announced November 2014.
-
Marginally trapped submanifolds in Lorentzian space forms and in the Lorentzian product of a space form by the real line
Authors:
Henri Anciaux,
Yamile Godoy
Abstract:
We give local, explicit representation formulas for n-dimensional spacelike submanifolds which are marginally trapped in the Minkowski space, the de Sitter and anti de Sitter spaces and the Lorentzian products of the sphere and the hyperbolic space by the real line.
We give local, explicit representation formulas for n-dimensional spacelike submanifolds which are marginally trapped in the Minkowski space, the de Sitter and anti de Sitter spaces and the Lorentzian products of the sphere and the hyperbolic space by the real line.
△ Less
Submitted 20 January, 2015; v1 submitted 23 September, 2012;
originally announced September 2012.