Showing 1–20 of 20 results for author: Molina, M G

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

Authors: Abraham Bobadilla Osses, Mauricio Godoy Molina

Abstract: 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 di… ▽ More 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$. △ Less

Submitted 20 October, 2024; originally announced October 2024.

Comments: 13 pages

MSC Class: 53C50; 17B20; 15B30; 53C17

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

Authors: Abraham Bobadilla Osses, Mauricio Godoy Molina

Abstract: 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 t… ▽ More 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)$. △ Less

Submitted 11 August, 2024; originally announced August 2024.

Comments: 13 pages

MSC Class: 53A17; 93B05; 53C50

Tanaka rigidity of graph Lie algebras

Authors: Mauricio Godoy Molina

Abstract: 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. 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. △ Less

Submitted 12 February, 2024; originally announced February 2024.

Comments: 5 pages

MSC Class: 53C24; 17B30; 17B66; 05C20; 05C25

Lie algebras associated with labeled directed graphs

Authors: Mauricio Godoy Molina, Diego Lagos

Abstract: 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 d… ▽ More 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. △ Less

Submitted 6 August, 2023; v1 submitted 1 August, 2023; originally announced August 2023.

Comments: 11 pages, 13 figures, 2 tables

MSC Class: 17B30; 17B40; 05C20; 05C25

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

Authors: Mauricio Godoy Molina, Diego Lagos

Abstract: 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… ▽ More 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$. △ Less

Submitted 5 June, 2023; originally announced June 2023.

Comments: 15 pages, 6 tables

MSC Class: 17B10; 17B22; 22E46

Sub-Riemannian geodesics on nested principal bundles

Authors: Mauricio Godoy Molina, Irina Markina

Abstract: 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. 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. △ Less

Submitted 2 September, 2020; originally announced September 2020.

Comments: 10 pages

Lie algebras attached to Clifford modules and simple graded Lie algebras

Authors: Kenro Furutani, Mauricio Godoy Molina, Irina Markina, Tohru Morimoto, Alexander Vasil'ev

Abstract: 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 algebr… ▽ More 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. △ Less

Submitted 24 December, 2017; originally announced December 2017.

Comments: 19 pages, 9 tables, submitted

MSC Class: 17B10; 17B22; 17B25; 22E46

Submersions and curves of constant geodesic curvature

Authors: Mauricio Godoy Molina, Erlend Grong, Irina Markina

Abstract: 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 exampl… ▽ More 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. △ Less

Submitted 17 July, 2017; originally announced July 2017.

Comments: 18 pages

MSC Class: 53C17; 53C20; 53C22

Rigidity of 2-step Carnot groups

Authors: Mauricio Godoy Molina, Boris Kruglikov, Irina Markina, Alexander Vasil'ev

Abstract: 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$-t… ▽ More 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. △ Less

Submitted 21 May, 2017; v1 submitted 1 March, 2016; originally announced March 2016.

Comments: Except for minor polishing this version is enriched with two appendices concerning pseudo H-type algebras with J^2-condition. In Appendix A we relate these algebras to division algebras and their split versions. In Appendix B we relate these algebras to real graded simple Lie algebras

MSC Class: 17B30; 17B70; 16W55; 22E60

Riemannian and Sub-Riemannian geodesic flows

Authors: Mauricio Godoy Molina, Erlend Grong

Abstract: 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 horizonta… ▽ More 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. △ Less

Submitted 20 February, 2015; originally announced February 2015.

Comments: 12 pages

MSC Class: 53C17; 53C22; 53C12

Rolling against a sphere: The non transitive case

Authors: Yacine Chitour, Mauricio Godoy Molina, Petri Kokkonen, Irina Markina

Abstract: 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… ▽ More 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$. △ Less

Submitted 22 December, 2014; originally announced December 2014.

Comments: 17 pages

MSC Class: 53C05; 53C29; 70G45

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

Authors: Christian Autenried, Mauricio Godoy Molina

Abstract: 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 nu… ▽ More 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. △ Less

Submitted 9 October, 2014; originally announced October 2014.

Comments: Submitted, 3 figures

MSC Class: 53C17; 53C22; 58E10

The rolling problem: overview and challenges

Authors: Yacine Chitour, Mauricio Godoy Molina, Petri Kokkonen

Abstract: 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 s… ▽ More 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. △ Less

Submitted 27 January, 2013; originally announced January 2013.

Comments: 20 pages

Journal ref: Geometric control theory and sub-Riemannian geometry, 103-122, Springer INdAM Ser., 5, Springer, Cham, 2014

Symmetries of the Rolling Model

Authors: Yacine Chitour, Mauricio Godoy Molina, Petri Kokkonen

Abstract: 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, w… ▽ More 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. △ Less

Submitted 11 January, 2013; originally announced January 2013.

Comments: 22 pages

MSC Class: 53C07; 53A45; 53A55; 53C17

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

Authors: Mauricio Godoy Molina, Anna Korolko, Irina Markina

Abstract: 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 t… ▽ More 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. △ Less

Submitted 24 July, 2012; originally announced July 2012.

Comments: 27 pages, no figures

MSC Class: 53C50; 53B30; 53C17; 15A63

Journal ref: Bulletin des Sciences Mathématiques, 137 (2013) 805-833

Extension of de Rham decomposition theorem via non-Euclidean development

Authors: Yacine Chitour, Mauricio Godoy Molina, Petri Kokkonen

Abstract: 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 c… ▽ More 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. △ Less

Submitted 3 March, 2012; originally announced March 2012.

Comments: 20 pages

MSC Class: 53C07; 53C29; 53A55; 53B30

Journal ref: SIAM Journal on Control and Optimization. 53 (2015), No. 2, pp. 948-968

Geometric conditions for the existence of an intrinsic rolling

Authors: Mauricio Godoy Molina, Erlend Grong

Abstract: 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 s… ▽ More 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. △ Less

Submitted 3 November, 2011; originally announced November 2011.

Comments: 17 pages, 1 figure

MSC Class: 37J60; 53A55; 53A17

Journal ref: Communications in Pure and Applied Analysis, 13 (2014), No. 1, 435-452

Sub-Riemannian geodesics and heat operator on odd dimensional spheres

Authors: Mauricio Godoy Molina, Irina Markina

Abstract: In this article we study the sub-Riemannian geometry of the spheres $S^{2n+1}$ and $S^{4n+3}$, arising from the principal $S^1-$bundle structure defined by the Hopf map and the principal $S^3-$bundle structure given by the quaternionic Hopf map respectively. The $S^1$ action leads to the classical contact geometry of $S^{2n+1}$, while the $S^3$ action gives another type of sub-Riemannian structure… ▽ More In this article we study the sub-Riemannian geometry of the spheres $S^{2n+1}$ and $S^{4n+3}$, arising from the principal $S^1-$bundle structure defined by the Hopf map and the principal $S^3-$bundle structure given by the quaternionic Hopf map respectively. The $S^1$ action leads to the classical contact geometry of $S^{2n+1}$, while the $S^3$ action gives another type of sub-Riemannian structure, with a distribution of corank 3. In both cases the metric is given as the restriction of the usual Riemannian metric on the respective horizontal distributions. For the contact $S^7$ case, we give an explicit form of the intrinsic sub-Laplacian and obtain a commutation relation between the sub-Riemannian heat operator and the heat operator in the vertical direction. △ Less

Submitted 31 August, 2010; originally announced August 2010.

Comments: 24 pages, submitted

MSC Class: 53C17; 55R25; 32V15

Journal ref: Analysis and Mathematical Physics, 2 (2012), No. 2, 123-147

An intrinsic formulation of the rolling manifolds problem

Authors: Mauricio Godoy Molina, Erlend Grong, Irina Markina, Fátima Silva Leite

Abstract: We present an intrinsic formulation of the kinematic problem of two $n-$dimensional manifolds rolling one on another without twisting or slipping. We determine the configuration space of the system, which is an $\frac{n(n+3)}2-$dimensional manifold. The conditions of no-twisting and no-slipping are decoded by means of a distribution of rank $n$. We compare the intrinsic point of view versus the ex… ▽ More We present an intrinsic formulation of the kinematic problem of two $n-$dimensional manifolds rolling one on another without twisting or slipping. We determine the configuration space of the system, which is an $\frac{n(n+3)}2-$dimensional manifold. The conditions of no-twisting and no-slipping are decoded by means of a distribution of rank $n$. We compare the intrinsic point of view versus the extrinsic one. We also show that the kinematic system of rolling the $n$-dimensional sphere over $\mathbb R^n$ is controllable. In contrast with this, we show that in the case of $SE(3)$ rolling over $\mathfrak{se}(3)$ the system is not controllable, since the configuration space of dimension 27 is foliated by submanifolds of dimension 12. △ Less

Submitted 11 August, 2010; originally announced August 2010.

Comments: 43 pages, submitted

MSC Class: 37J60 (Primary); 53A55; 53A17 (Secondary)

Journal ref: Journal of Dynamical and Control Systems, 18 (2012), No. 2, 181-214

Sub-Riemannian geometry of parallelizable spheres

Authors: Mauricio Godoy Molina, Irina Markina

Abstract: The first aim of the present paper is to compare various sub-Riemannian structures over the three dimensional sphere $S^3$ originating from different constructions. Namely, we describe the sub-Riemannian geometry of $S^3$ arising through its right Lie group action over itself, the one inherited from the natural complex structure of the open unit ball in $\comp^2$ and the geometry that appears wh… ▽ More The first aim of the present paper is to compare various sub-Riemannian structures over the three dimensional sphere $S^3$ originating from different constructions. Namely, we describe the sub-Riemannian geometry of $S^3$ arising through its right Lie group action over itself, the one inherited from the natural complex structure of the open unit ball in $\comp^2$ and the geometry that appears when considering the Hopf map as a principal bundle. The main result of this comparison is that in fact those three structures coincide. In the second place, we present two bracket generating distributions for the seven dimensional sphere $S^7$ of step 2 with ranks 6 and 4. These yield to sub-Riemannian structures for $S^7$ that are not present in the literature until now. One of the distributions can be obtained by considering the CR geometry of $S^7$ inherited from the natural complex structure of the open unit ball in $\comp^4$. The other one originates from the quaternionic analogous of the Hopf map. △ Less

Submitted 10 January, 2009; originally announced January 2009.

MSC Class: 53C17; 32V15

Journal ref: Revista Matemática Iberoamericana, 27 (2011), No. 3, 997-1022