Searcharxiv⌕ Search

arXiv subjects

Mauricio Godoy Molina

Publications and source records attributed to Mauricio Godoy Molina.

At least 19 recordsLinked to original sources

Sub-Riemannian and sub-Lorentzian geodesics of the oscillator groups

The oscillator groups are four-dimensional solvable Lie groups, extensions of the Heisenberg Lie group. We present them as circle bundles of the standard contact sub-Riemannian structure on $\mathbb{R}^{3}$. We define sub-Riemannian and sub-Lorentzian structures on them, describe their geodesics explicitly and determine which of them are periodic. We also study a generalization: Let $G$ be a semisimple Lie group and $K$ a compact subgroup such that $\left( G,K\right) $ is a symmetric pair of the compact or the noncompact type. Let $\mathfrak{g}$ and $% \mathfrak{k}$ be the Lie algebras of $G$ and $K$, respectively. We consider on $\mathfrak{g}$ the usual nilpotent Lie group structure with center $\mathfrak{k}$ and call it $N\left( \mathfrak{g},\mathfrak{k}\right)$. A suitable semidirect product with $\operatorname{Ad}\left( K\right) $ yields a solvable Lie group $\operatorname{Osc}\left( G,K\right) $, which generalizes the oscillator groups and is also quadratic (that is, it possesses bi-invariant metrics; in particular, a canonical one). We define nonholonomic pseudo-Riemannian structures on it and find their geodesics explicitly. In doing so, we obtain a result that may not be merely auxiliary: formulas for the monoparametric subgroups of $\operatorname{Osc}\left( G,K\right) $ and for the sub-Riemannian geodesics of $N\left( \mathfrak{g},\mathfrak{k}\right) $ with the standard left-invariant distribution $\mathcal{D}$. Moreover, when $G/K$ is compact with rank one, we realize $\operatorname{Osc}\left( G,K\right) $ as a Stiefel bundle of $\left( N\left( \mathfrak{g},\mathfrak{k}\right) ,\mathcal{D}\right) $, up to finite coverings.

math.DG↗

Left-invariant distributions and metric Hamiltonians on ${\rm SL}(n,{\mathbb R})$ induced by its Killing form

From the classical theory of Lie algebras, it is well-known that the bilinear form $B(X,Y)={\rm tr}(XY)$ defines a non-degenerate scalar product on the simple Lie algebra ${\mathfrak{sl}}(n,{\mathbb R})$. Diagonalizing the Gram matrix $Gr$ associated with this scalar product we find a basis of ${\mathfrak{sl}}(n,{\mathbb R})$ of eigenvectors of $Gr$ which produces a family of bracket generating distributions on ${\rm SL}(n,{\mathbb R})$. Consequently, the bilinear form $B$ defines sub-pseudo-Riemannian structures on these distributions. Each of these geometric structures naturally carries a metric quadratic Hamiltonian. In the present paper, we construct in detail these manifolds, study Poisson-commutation relations between different Hamiltonians, and present some explicit solutions of the corresponding Hamiltonian system for $n=2$.

math.DG↗

Controllability of the rolling system of a Lorentzian manifold on ${\mathbb R}^{n,1}$

In this paper, we study the mechanical system associated with rolling a Lorentzian manifold $(M,g)$ of dimension $n+1\geq2$ on flat Lorentzian space $\widehat{M}={\mathbb R}^{n,1}$, without slipping or twisting. Using previous results, it is known that there exists a distribution $\mathcal{D}_R$ of rank $(n+1)$ defined on the configuration space $Q(M,\widehat{M})$ of the rolling system, encoding the no-slip and no-twist conditions. Our objective is to study the problem of complete controllability of the control system associated with $\mathcal{D}_R$. The key lies in examining the holonomy group of the distribution $\mathcal{D}_R$ and, following the approach of \cite{ChKok}, establishing that the rolling problem is completely controllable if and only if the holonomy group of $(M,g)$ equals $SO_0(n,1)$.

math.DG↗

Tanaka rigidity of graph Lie algebras

We give sufficient conditions on a labeled direct graph to determine whether the Tanaka prolongation of its associated Lie algebra is infinite-dimensional. In the case that all directed edges are labeled differently, the corresponding graph Lie algebra is of infinite type if and only if the graph has a vertex of degree one.

math.DG↗

Lie algebras associated with labeled directed graphs

We present a construction of 2-step nilpotent Lie algebras using labeled directed simple graphs, which allows us to give a criterion to detect certain ideals and subalgebras by finding special subgraphs. We prove that if a label occurs only once, then reversing the orientation of that edge leads to an isomorphic Lie algebra. As a consequence, if every edge is labeled differently, the Lie algebra depends only on the underlying undirected graph. In addition, we construct the labeled directed graphs of all 2-step nilpotent Lie algebras of dimension $\leq6$ and we compute the algebra of strata preserving derivations of the Lie algebra associated with the complete bipartite graph $K_{m,n}$ with two different labelings.

math.DG↗

$|3|-$gradings of complex simple Lie algebras

The aim of this paper is to investigate the algebraic structure that appears on $|3|-$gradings $\mathfrak{n}=\mathfrak{n}_{-3}\oplus \cdots \oplus \mathfrak{n}_3$ of a complex simple Lie algebra $\mathfrak{n}$. In particular, we completely determine the possible reductive algebras $\mathfrak{n}_0$ and prove that the only free nilpotent Lie algebra of step 3 that appears as the negative part $\mathfrak{n}_{-3}\oplus\mathfrak{n}_{-2}\oplus\mathfrak{n}_{-1}$ of a grading is the usual $|3|-$grading of the exceptional Lie algebra $\mathfrak{g}_2$.

math.DG↗

Sub-Riemannian geodesics on nested principal bundles

We study the interplay between geodesics on two non-holono\-mic systems that are related by the action of a Lie group on them. After some geometric preliminaries, we use the Hamiltonian formalism to write the parametric form of geodesics. We present several geometric examples, including a non-holonomic structure on the Gromoll-Meyer exotic sphere and twistor space.

math.DG↗

Lie algebras attached to Clifford modules and simple graded Lie algebras

We study possible cases of complex simple graded Lie algebras of depth 2, which are the Tanaka prolongations of pseudo $H$-type Lie algebras arising through representation of Clifford algebras. We show that the complex simple Lie algebras of type $B_n$ with $|2|$-grading do not contain non-Heisenberg pseudo $H$-type Lie algebras as their negative nilpotent part, while the complex simple Lie algebras of types $A_n$, $C_n$ and $D_n$ provide such a possibility. Among exceptional algebras only $F_4$ and $E_6$ contain non-Heisenberg pseudo $H$-type Lie algebras as their negative part of $|2|$-grading. An analogous question addressed to real simple graded Lie algebras is more difficult, and we give results revealing the main differences with the complex situation.

math.DG↗

Submersions and curves of constant geodesic curvature

Considering Riemannian submersions, we find necessary and sufficient conditions for when sub-Riemannian normal geodesics project to curves of constant first geodesic curvature or constant first and vanishing second geodesic curvatures. We describe a canonical extension of the sub-Riemannian metric and study geometric properties of the obtained Riemannian manifold. This work contains several examples illustrating the results.

math.DG↗

Rigidity of 2-step Carnot groups

In the present paper we study the rigidity of 2-step Carnot groups, or equivalently, of graded 2-step nilpotent Lie algebras. We prove the alternative that depending on bi-dimensions of the algebra, the Lie algebra structure makes it either always of infinite type or generically rigid, and we specify the bi-dimensions for each of the choices. Explicit criteria for rigidity of pseudo $H$- and $J$-type algebras are given. In particular, we establish the relation of the so-called $J^2$-condition to rigidity, and we explore these conditions in relation to pseudo $H$-type algebras.

math.RT↗

Riemannian and Sub-Riemannian geodesic flows

In the present paper we show that the geodesic flows of a sub-Riemannian metric and that of a Riemannian extension commute if and only if the extended metric is parallel with respect to a certain connection. This helps us to describe the geodesic flow of sub-Riemannian metrics on totally geodesic Riemannian submersions. As a consequence we can characterize sub-Riemannian geodesics as the horizontal lifts of projections of Riemannian geodesics.

math.DG↗

Rolling against a sphere: The non transitive case

We study the control system of a Riemannian manifold $M$ of dimension $n$ rolling on the sphere $S^n$. The controllability of this system is described in terms of the holonomy of a vector bundle connection which, we prove, is isomorphic to the Riemannian holonomy group of the cone $C(M)$ of $M$. Using Berger's list, we reduce the possible holonomies to a few families. In particular, we focus on the cases where the holonomy is the unitary and the symplectic group. In the first case, using the rolling formalism, we construct explicitly a Sasakian structure on $M$; and in the second case, we construct a 3-Sasakian structure on $M$.

math.DG↗

The Sub-Riemannian cut locus of $H$-type groups

In the present paper we give a proof of the fact that the sub-Riemannian cut locus of a wide class of nilpotent groups of step two, called $H$-type groups, starting from the origin corresponds to the center of the group. We obtain this result by completely describing the sub-Riemannian geodesics in the group, and using these to obtain three disjoint sets of points in the group determined by the number of geodesics joining them to the origin.

math.DG↗

The rolling problem: overview and challenges

In the present paper we give a historical account -ranging from classical to modern results- of the problem of rolling two Riemannian manifolds one on the other, with the restrictions that they cannot instantaneously slip or spin one with respect to the other. On the way we show how this problem has profited from the development of intrinsic Riemannian geometry, from geometric control theory and sub-Riemannian geometry. We also mention how other areas -such as robotics and interpolation theory- have employed the rolling model.

math.OC↗

Symmetries of the Rolling Model

In the present paper, we study the infinitesimal symmetries of the model of two Riemannian manifolds $(M,g)$ and $(\hat M,\hat g)$ rolling without twisting or slipping. We show that, under certain genericity hypotheses, the natural bundle projection from the state space $Q$ of the rolling model onto $M$ is a principal bundle if and only if $\hat M$ has constant sectional curvature. Additionally, we prove that when $M$ and $\hat M$ have different constant sectional curvatures and dimension $n\geq3$, the rolling distribution is never flat, contrary to the two dimensional situation of rolling two spheres of radii in the proportion $1\colon3$, which is a well-known system satisfying É. Cartan's flatness condition.

math.DG↗

Sub-semi-Riemannian geometry of general $H$-type groups

We introduce a special class of nilpotent Lie groups of step 2, that generalizes the so called $H$(eisenberg)-type groups, defined by A. Kaplan in 1980. We change the presence of inner product to an arbitrary scalar product and relate the construction to the composition of quadratic forms. We present the geodesic equation for sub-semi-Riemannian metric on nilpotent Lie groups of step 2 and solve them for the case of general $H$-type groups. We also present some results on sectional curvature and the Ricci tensor of general $H$-type groups.

math.DG↗

Extension of de Rham decomposition theorem via non-Euclidean development

In the present paper, we give a necessary and sufficient condition for a Riemannian manifold $(M,g)$ to have a reducible action of a hyperbolic analogue of the holonomy group. This condition amounts to a decomposition of $(M,g)$ as a warped product of a special form, in analogy to the classical de Rham decomposition theorem for Riemannian manifolds. As a consequence of these results and Berger's classification of holonomy groups, we obtain a simple necessary and sufficient condition for the complete controllability of the system of $(M,g)$ rolling against the hyperbolic space.

math.DG↗

Geometric conditions for the existence of an intrinsic rolling

We give a complete answer to the question of when two curves in two different Riemannian manifolds can be seen as trajectories of rolling one manifold on the other without twisting or slipping. We show that up to technical hypotheses, a rolling along these curves exists if and only if the geodesic curvatures of each curve coincide. By using the anti-developments of the curves, which we claim can seen of as a generalization of the geodesic curvatures, we are able to extend the result to arbitrary absolutely continuous curves. For a manifold of constant sectional curvature rolling on itself, two such curves can only differ by an isometry. In the case of surfaces, we give conditions for when loops in the manifolds lift to loops in the configuration space of the rolling.

math.DG↗