The Geometry of the Osculating Nilpotent Group Structures of the Heisenberg Calculus

Pierre Julg¹ ; Erik van Erp²

¹MAPMO, Université d'Orléans, Route de Chartres, BP 6759, 45067 Orléans Cedex 2, France
²Department of Mathematics, Dartmouth College, 27 N. Main St., Hanover, NH 03755, U.S.A.

Journal of Lie Theory, Tome 28 (2018) no. 1, pp. 107-138

Résumé

We explore the geometry that underlies the osculating nilpotent group structures of the Heisenberg calculus. For a smooth manifold M with a distribution H contained in TM analysts use explicit (and rather complicated) coordinate formulas to define the nilpotent groups that are central to the calculus. Our aim in this paper is to provide insight in the intrinsic geometry that underlies these coordinate formulas. First, we introduce "parabolic arrows" as a generalization of tangent vectors. The definition of parabolic arrows involves a mix of first and second order derivatives. Parabolic arrows can be composed, and the group of parabolic arrows can be identified with the nilpotent groups of the (generalized) Heisenberg calculus. Secondly, we formulate a notion of exponential map for the fiber bundle of parabolic arrows, and show how it clarifies the coordinate formulas of osculating structures found in the literature on the Heisenberg calculus.

Détail

Classification : 57R15, 58H99
Mots-clés : Osculating groups, Sub-Riemannian manifold, Heisenberg calculus, tangent groupoid