Rolling reductive homogeneous spaces

Abstract

Rollings of reductive homogeneous spaces are investigated. More precisely, for a reductive homogeneous space G/H with reductive decomposition g=h⊕m\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathfrak {{g}} = \\mathfrak {{h}} \\oplus \\mathfrak {{m}}$$\\end{document}, we consider rollings of m\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathfrak {{m}}$$\\end{document} over G/H without slip and without twist, where G/H is equipped with an invariant covariant derivative. To this end, an intrinsic point of view is taken, meaning that a rolling is a curve in the configuration space Q which is tangent to a certain distribution. By considering an H-principal fiber bundle π¯:Q¯→Q\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\overline{\\pi }:\\overline{Q}\\rightarrow Q$$\\end{document} over the configuration space equipped with a suitable principal connection, rollings of m\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathfrak {{m}}$$\\end{document} over G/H can be expressed in terms of horizontally lifted curves on Q¯\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\overline{Q}$$\\end{document}. The total space of π¯:Q¯→Q\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\overline{\\pi }:\\overline{Q}\\rightarrow Q$$\\end{document} is a product of Lie groups. In particular, for a given control curve, this point of view allows for characterizing rollings of m\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathfrak {{m}}$$\\end{document} over G/H as solutions of an explicit, time-variant ordinary differential equation (ODE) on Q¯\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\overline{Q}$$\\end{document}, the so-called kinematic equation. An explicit solution for the associated initial value problem is obtained for rollings with respect to the canonical invariant covariant derivative of first and second kind if the development curve in G/H is the projection of a one-parameter subgroup in G. Lie groups and Stiefel manifolds are discussed as examples.