Abstract
The Heisenberg group is an example of a sub-Riemannian manifold homeomorphic, but not bi-Lipschitz equivalent to the Euclidean space. Its metric is derived from curves which are only allowed to move in so-called horizontal directions. We report on some recent progress in the analysis of the Hölder topology of the Heisenberg group, some related and some unrelated to density questions for Sobolev maps into the Heisenberg group. In particular we describe the main ideas behind a result by Hajłasz, Mirra, and the author regarding Gromov’s conjecture, which is based on the linking number. We do not prove or disprove the Gromov Conjecture.
Similar content being viewed by others
References
Balogh, Z., Fässler, K.S.: Rectifiability and Lipschitz extensions into the Heisenberg group. Math. Z. 263(3), 673–683 (2009)
Balogh, Z., Hajłasz, P., Wildrick, K.: Weak contact equations for mappings into Heisenberg groups. Indiana Univ. Math. J. 63(6), 1839–1873 (2014)
Bethuel, F.: The approximation problem for Sobolev maps between two manifolds. Acta Math. 167(3–4), 153–206 (1991)
Bethuel, F., Zheng, X.M.: Density of smooth functions between two manifolds in Sobolev spaces. J. Funct. Anal. 80(1), 60–75 (1988)
Bott, R., Tu, L.: Differential Forms in Algebraic Topology, Volume 82 of Graduate Texts in Mathematics. Springer, New York (1982)
Bousquet, P., Ponce, A.C., Van Schaftingen, J.: Density of smooth maps for fractional Sobolev spaces \(W^{s, p}\) into \(\ell \) simply connected manifolds when \(s\geqslant 1\). Conflu. Math. 5(2), 3–22 (2013)
Bousquet, P., Ponce, A.C., Van Schaftingen, J.: Strong density for higher order Sobolev spaces into compact manifolds. J. Eur. Math. Soc. (JEMS) 17(4), 763–817 (2015)
Brezis, H., Mironescu, P.: Density in \(W^{s, p}(\Omega; N)\). J. Funct. Anal. 269(7), 2045–2109 (2015)
Brezis, H., Nguyen, H.: The Jacobian determinant revisited. Invent. Math. 185(1), 17–54 (2011)
Capogna, L., Lin, F.: Legendrian energy minimizers. I. Heisenberg group target. Calc. Var. Partial Differ. Equ. 12(2), 145–171 (2001)
Capogna, L., Danielli, D., Pauls, S.D., Tyson, J.T.: An Introduction to the Heisenberg Group and the Sub-Riemannian Isoperimetric Problem, Volume 259 of Progress in Mathematics. Birkhäuser, Basel (2007)
Coifman, R., Lions, P.-L., Meyer, Y., Semmes, S.: Compensated compactness and Hardy spaces. J. Math. Pures Appl. IX. Sér. 72(3), 247–286 (1993)
Dejarnette, N., Hajłasz, P., Lukyanenko, A., Tyson, J.T.: On the lack of density of Lipschitz mappings in Sobolev spaces with Heisenberg target. Conform. Geom. Dyn. 18, 119–156 (2014)
Ekholm, T., Etnyre, J., Sullivan, M.: Non-isotopic Legendrian submanifolds in \({\mathbb{R}}^{2n+1}\). J. Differ. Geom. 71(1), 85–128 (2005)
Gromov, M.: Carnot–Carathéodory spaces seen from within. In: Sub-Riemannian Geometry, Volume 144 of Progress in Mathematics, pp. 79–323. Birkhäuser, Basel (1996)
Hajłasz, P., Mirra, J., Schikorra, A.: Hölder continuous mappings, differential forms and the heisenberg groups. In: Preparation
Hajłasz, P.: Private communication (2014)
Hajłasz, P.: Approximation of Sobolev mappings. Nonlinear Anal. 22(12), 1579–1591 (1994)
Hajłasz, P.: The \((n+1)\)-Lipschitz homotopy group of the Heisenberg group \({\mathbb{H}}^n\). Proc. Am. Math. Soc. 146(3), 1305–1308 (2018)
Hajłasz, P., Schikorra, A.: Lipschitz homotopy and density of Lipschitz mappings in Sobolev spaces. Ann. Acad. Sci. Fenn. Math. 39(2), 593–604 (2014)
Hajłasz, P., Zimmerman, S.: Geodesics in the Heisenberg group. Anal. Geom. Metr. Spaces 3, 325–337 (2015)
Hajłasz, P., Schikorra, A., Tyson, J.T.: Homotopy groups of spheres and Lipschitz homotopy groups of Heisenberg groups. Geom. Funct. Anal. 24(1), 245–268 (2014)
Hang, F., Lin, F.: Topology of Sobolev mappings. II. Acta Math. 191(1), 55–107 (2003)
Hopf, H.: Über die Abbildungen der dreidimensionalen Sphäre auf die Kugelfläche. Math. Ann. 104(1), 637–665 (1931)
Lang, S.: Fundamentals of Differential Geometry, Volume 191 of Graduate Texts in Mathematics. Springer, New York (1999)
Le Donne, E.: A primer on Carnot groups: homogenous groups, Carnot–Carathéodory spaces, and regularity of their isometries. Anal. Geom. Metr. Spac. 5, 116 (2017)
Le Donne, E., Züst, R.: Some properties of Hölder surfaces in the Heisenberg group. Il. J. Math. 57(1), 229–249 (2013)
Lenzmann, E., Schikorra, A.: Sharp commutator estimates via harmonic extensions. Nonlinear Anal. (2018). https://doi.org/10.1016/j.na.2018.10.017
Mironescu, P.: On some properties of \(S^1\)-valued fractional Sobolev spaces. In: Noncompact Problems at the Intersection of Geometry, Analysis, and Topology, Volume 350 of Contemporary Mathematic, pp. 201–207. American Mathematical Society, Providence, RI (2004)
Pansu, P.: On the quasisymmetric Hölder-equivalence problem for Carnot groups (2016). arXiv:1604.02932
Rivière, T.: Dense subsets of \(H^{1/2}(S^2, S^1)\). Ann. Glob. Anal. Geom. 18(5), 517–528 (2000)
Schikorra, A., Van Schaftingen, J.: An estimate of the Hopf degree of fractional Sobolev mappings (2019). arXiv:1904.12549
Schoen, R., Uhlenbeck, K.: Boundary regularity and the Dirichlet problem for harmonic maps. J. Differ. Geom. 18(2), 253–268 (1983)
Sickel, W., Youssfi, A.: The characterization of the regularity of the Jacobian determinant in the framework of Bessel potential spaces on domains. J. Lond. Math. Soc. (2) 60(2), 561–580 (1999)
Tartar, L.: Remarks on Oscillations and Stokes’ equation. In: Lecture Notes in Physics, 230, Macroscopic Modelling of Turbulent Flows, Proceedings, Sophia-Antipolis, France, pp. 24–31 (1984)
Vick, J.W.: Homology Theory, Volume 145 of Graduate Texts in Mathematics (2nd edn). Springer, New York (1994). An introduction to algebraic topology
Wenger, S., Young, R.: Constructing Hölder maps to Carnot groups. ArXiv e-prints (Oct. 2018)
Wenger, S., Young, R.: Lipschitz extensions into jet space Carnot groups. Math. Res. Lett. 17(6), 1137–1149 (2010)
Wenger, S., Young, R.: Lipschitz homotopy groups of the Heisenberg groups. Geom. Funct. Anal. 24(1), 387–402 (2014)
Züst, R.: Some results on maps that factor through a tree. Anal. Geom. Metr. Spaces 3(1), 73–92 (2015)
Acknowledgements
This text was mainly written while the author was preparing a lecture for the 19th Rencontres d’Analyse at UCLouvain in October 2016. He would like to express his gratitude to UCLouvain and the organizers Pierre Bousquet, Jean Van Schaftingen, Augusto Ponce for the kind invitation and their hospitality.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Schikorra, A. Hölder-topology of the Heisenberg group. Aequat. Math. 94, 323–343 (2020). https://doi.org/10.1007/s00010-020-00701-w
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00010-020-00701-w