
Journal of Lie Theory 28 (2018), No. 1, 107138 Copyright Heldermann Verlag 2018 The Geometry of the Osculating Nilpotent Group Structures of the Heisenberg Calculus Pierre Julg MAPMO, Université d'Orléans, Route de Chartres, BP 6759, 45067 Orléans Cedex 2, France pierre.julg@univorleans.fr Erik van Erp Department of Mathematics, Dartmouth College, 27 N. Main St., Hanover, NH 03755, U.S.A. jhamvanerp@gmail.com 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. Keywords: Osculating groups, SubRiemannian manifold, Heisenberg calculus, tangent groupoid. MSC: 57R15, 58H99 [ Fulltextpdf (347 KB)] for subscribers only. 