On the lack of density of Lipschitz mappings in Sobolev spaces with Heisenberg target
HTML articles powered by AMS MathViewer
- by Noel DeJarnette, Piotr Hajłasz, Anton Lukyanenko and Jeremy T. Tyson
- Conform. Geom. Dyn. 18 (2014), 119-156
- DOI: https://doi.org/10.1090/S1088-4173-2014-00267-7
- Published electronically: July 1, 2014
- PDF | Request permission
Abstract:
We study the question: When are Lipschitz mappings dense in the Sobolev space $W^{1,p}(M,\mathbb {H}^n)$? Here $M$ denotes a compact Riemannian manifold with or without boundary, while $\mathbb {H}^n$ denotes the $n$th Heisenberg group equipped with a sub-Riemannian metric. We show that Lipschitz maps are dense in $W^{1,p}(M,\mathbb {H}^n)$ for all $1\le p<\infty$ if $\dim M \le n$, but that Lipschitz maps are not dense in $W^{1,p}(M,\mathbb {H}^n)$ if $\dim M \ge n+1$ and $n\le p<n+1$. The proofs rely on the construction of smooth horizontal embeddings of the sphere $\mathbb {S}^n$ into $\mathbb {H}^n$. We provide two such constructions, one arising from complex hyperbolic geometry and the other arising from symplectic geometry. The nondensity assertion can be interpreted as nontriviality of the $n$th Lipschitz homotopy group of $\mathbb {H}^n$. We initiate a study of Lipschitz homotopy groups for sub-Riemannian spaces.References
- Emilio Acerbi and Nicola Fusco, An approximation lemma for $W^{1,p}$ functions, Material instabilities in continuum mechanics (Edinburgh, 1985–1986) Oxford Sci. Publ., Oxford Univ. Press, New York, 1988, pp. 1–5. MR 970512
- D. Allcock, An isoperimetric inequality for the Heisenberg groups, Geom. Funct. Anal. 8 (1998), no. 2, 219–233. MR 1616147, DOI 10.1007/s000390050053
- Luigi Ambrosio and Bernd Kirchheim, Rectifiable sets in metric and Banach spaces, Math. Ann. 318 (2000), no. 3, 527–555. MR 1800768, DOI 10.1007/s002080000122
- L. Ambrosio and S. Rigot, Optimal mass transportation in the Heisenberg group, J. Funct. Anal. 208 (2004), no. 2, 261–301. MR 2035027, DOI 10.1016/S0022-1236(03)00019-3
- Zoltán M. Balogh and Katrin S. Fässler, Rectifiability and Lipschitz extensions into the Heisenberg group, Math. Z. 263 (2009), no. 3, 673–683. MR 2545863, DOI 10.1007/s00209-008-0437-z
- André Bellaïche, The tangent space in sub-Riemannian geometry, Sub-Riemannian geometry, Progr. Math., vol. 144, Birkhäuser, Basel, 1996, pp. 1–78. MR 1421822, DOI 10.1007/978-3-0348-9210-0_{1}
- Fabrice Bethuel, The approximation problem for Sobolev maps between two manifolds, Acta Math. 167 (1991), no. 3-4, 153–206. MR 1120602, DOI 10.1007/BF02392449
- Fabrice Bethuel and Xiao Min Zheng, Density of smooth functions between two manifolds in Sobolev spaces, J. Funct. Anal. 80 (1988), no. 1, 60–75. MR 960223, DOI 10.1016/0022-1236(88)90065-1
- Ovidiu Calin and Der-Chen Chang, Sub-Riemannian geometry, Encyclopedia of Mathematics and its Applications, vol. 126, Cambridge University Press, Cambridge, 2009. General theory and examples. MR 2503811, DOI 10.1017/CBO9781139195966
- J. W. Cannon, G. R. Conner, and Andreas Zastrow, One-dimensional sets and planar sets are aspherical, Topology Appl. 120 (2002), no. 1-2, 23–45. In memory of T. Benny Rushing. MR 1895481, DOI 10.1016/S0166-8641(01)00005-0
- Luca Capogna and Fang-Hua Lin, Legendrian energy minimizers. I. Heisenberg group target, Calc. Var. Partial Differential Equations 12 (2001), no. 2, 145–171. MR 1821235, DOI 10.1007/PL00009910
- Luca Capogna, Donatella Danielli, Scott D. Pauls, and Jeremy T. Tyson, An introduction to the Heisenberg group and the sub-Riemannian isoperimetric problem, Progress in Mathematics, vol. 259, Birkhäuser Verlag, Basel, 2007. MR 2312336, DOI 10.1007/978-3-7643-8133-2
- Jeff Cheeger and Bruce Kleiner, Differentiability of Lipschitz maps from metric measure spaces to Banach spaces with the Radon-Nikodým property, Geom. Funct. Anal. 19 (2009), no. 4, 1017–1028. MR 2570313, DOI 10.1007/s00039-009-0030-6
- Jeff Cheeger and Bruce Kleiner, Generalized differential and bi-Lipschitz nonembedding in $L^1$, C. R. Math. Acad. Sci. Paris 343 (2006), no. 5, 297–301 (English, with English and French summaries). MR 2253046, DOI 10.1016/j.crma.2006.07.001
- J. Diestel and J. J. Uhl Jr., Vector measures, Mathematical Surveys, No. 15, American Mathematical Society, Providence, R.I., 1977. With a foreword by B. J. Pettis. MR 0453964, DOI 10.1090/surv/015
- J. Eells and L. Lemaire, A report on harmonic maps, Bull. London Math. Soc. 10 (1978), no. 1, 1–68. MR 495450, DOI 10.1112/blms/10.1.1
- Tobias Ekholm, John Etnyre, and Michael Sullivan, Non-isotopic Legendrian submanifolds in $\Bbb R^{2n+1}$, J. Differential Geom. 71 (2005), no. 1, 85–128. MR 2191769
- Lawrence C. Evans and Ronald F. Gariepy, Measure theory and fine properties of functions, Studies in Advanced Mathematics, CRC Press, Boca Raton, FL, 1992. MR 1158660
- G. B. Folland and Elias M. Stein, Hardy spaces on homogeneous groups, Mathematical Notes, vol. 28, Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1982. MR 657581
- Mikhael Gromov, Partial differential relations, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 9, Springer-Verlag, Berlin, 1986. MR 864505, DOI 10.1007/978-3-662-02267-2
- Mikhael Gromov, Carnot-Carathéodory spaces seen from within, Sub-Riemannian geometry, Progr. Math., vol. 144, Birkhäuser, Basel, 1996, pp. 79–323. MR 1421823
- Piotr Hajłasz, Approximation of Sobolev mappings, Nonlinear Anal. 22 (1994), no. 12, 1579–1591. MR 1285094, DOI 10.1016/0362-546X(94)90190-2
- Piotr Hajłasz, Sobolev spaces on an arbitrary metric space, Potential Anal. 5 (1996), no. 4, 403–415. MR 1401074, DOI 10.1007/BF00275475
- Piotr Hajłasz, Sobolev mappings: Lipschitz density is not a bi-Lipschitz invariant of the target, Geom. Funct. Anal. 17 (2007), no. 2, 435–467. MR 2322491, DOI 10.1007/s00039-007-0594-y
- Piotr Hajłasz, Density of Lipschitz mappings in the class of Sobolev mappings between metric spaces, Math. Ann. 343 (2009), no. 4, 801–823. MR 2471602, DOI 10.1007/s00208-008-0291-7
- Piotr Hajłasz, Sobolev mappings: Lipschitz density is not an isometric invariant of the target, Int. Math. Res. Not. IMRN 12 (2011), 2794–2809. MR 2806594, DOI 10.1093/imrn/rnq183
- Piotr Hajłasz, Sobolev mappings between manifolds and metric spaces, Sobolev spaces in mathematics. I, Int. Math. Ser. (N. Y.), vol. 8, Springer, New York, 2009, pp. 185–222. MR 2508843, DOI 10.1007/978-0-387-85648-3_{7}
- Piotr Hajłasz and Pekka Koskela, Sobolev met Poincaré, Mem. Amer. Math. Soc. 145 (2000), no. 688, x+101. MR 1683160, DOI 10.1090/memo/0688
- Piotr Hajłasz, Armin Schikorra, and Jeremy T. Tyson, Homotopy groups of spheres and Lipschitz homotopy groups of Heisenberg groups, Geom. Funct. Anal. 24 (2014), no. 1, 245–268. MR 3177382, DOI 10.1007/s00039-014-0261-z
- Piotr Hajłasz and Jeremy T. Tyson, Sobolev Peano cubes, Michigan Math. J. 56 (2008), no. 3, 687–702. MR 2490654, DOI 10.1307/mmj/1231770368
- Fengbo Hang and Fanghua Lin, Topology of Sobolev mappings. II, Acta Math. 191 (2003), no. 1, 55–107. MR 2020419, DOI 10.1007/BF02392696
- Allen Hatcher, Algebraic topology, Cambridge University Press, Cambridge, 2002. MR 1867354
- Juha Heinonen, Lectures on Lipschitz analysis, Report. University of Jyväskylä Department of Mathematics and Statistics, vol. 100, University of Jyväskylä, Jyväskylä, 2005. MR 2177410
- Juha Heinonen, Pekka Koskela, Nageswari Shanmugalingam, and Jeremy T. Tyson, Sobolev classes of Banach space-valued functions and quasiconformal mappings, J. Anal. Math. 85 (2001), 87–139. MR 1869604, DOI 10.1007/BF02788076
- Bernd Kirchheim, Rectifiable metric spaces: local structure and regularity of the Hausdorff measure, Proc. Amer. Math. Soc. 121 (1994), no. 1, 113–123. MR 1189747, DOI 10.1090/S0002-9939-1994-1189747-7
- U. Lang, B. Pavlović, and V. Schroeder, Extensions of Lipschitz maps into Hadamard spaces, Geom. Funct. Anal. 10 (2000), no. 6, 1527–1553. MR 1810752, DOI 10.1007/PL00001660
- U. Lang and V. Schroeder, Kirszbraun’s theorem and metric spaces of bounded curvature, Geom. Funct. Anal. 7 (1997), no. 3, 535–560. MR 1466337, DOI 10.1007/s000390050018
- Valentino Magnani, Elements of geometric measure theory on sub-Riemannian groups, Scuola Normale Superiore, Pisa, 2002. MR 2115223
- Valentino Magnani, Unrectifiability and rigidity in stratified groups, Arch. Math. (Basel) 83 (2004), no. 6, 568–576. MR 2105335, DOI 10.1007/s00013-004-1057-4
- Valery Marenich, Geodesics in Heisenberg groups, Geom. Dedicata 66 (1997), no. 2, 175–185. MR 1458790, DOI 10.1023/A:1004916117293
- Pertti Mattila, Geometry of sets and measures in Euclidean spaces, Cambridge Studies in Advanced Mathematics, vol. 44, Cambridge University Press, Cambridge, 1995. Fractals and rectifiability. MR 1333890, DOI 10.1017/CBO9780511623813
- Richard Montgomery, A tour of subriemannian geometries, their geodesics and applications, Mathematical Surveys and Monographs, vol. 91, American Mathematical Society, Providence, RI, 2002. MR 1867362, DOI 10.1090/surv/091
- Roberto Monti, Some properties of Carnot-Carathéodory balls in the Heisenberg group, Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend. Lincei (9) Mat. Appl. 11 (2000), no. 3, 155–167 (2001) (English, with English and Italian summaries). MR 1841689
- Alexander Nagel, Elias M. Stein, and Stephen Wainger, Balls and metrics defined by vector fields. I. Basic properties, Acta Math. 155 (1985), no. 1-2, 103–147. MR 793239, DOI 10.1007/BF02392539
- Pierre Pansu, Métriques de Carnot-Carathéodory et quasiisométries des espaces symétriques de rang un, Ann. of Math. (2) 129 (1989), no. 1, 1–60 (French, with English summary). MR 979599, DOI 10.2307/1971484
- Yu. G. Reshetnyak, Sobolev classes of functions with values in a metric space, Sibirsk. Mat. Zh. 38 (1997), no. 3, 657–675, iii–iv (Russian, with Russian summary); English transl., Siberian Math. J. 38 (1997), no. 3, 567–583. MR 1457485, DOI 10.1007/BF02683844
- Séverine Rigot and Stefan Wenger, Lipschitz non-extension theorems into jet space Carnot groups, Int. Math. Res. Not. IMRN 18 (2010), 3633–3648. MR 2725507, DOI 10.1093/imrn/rnq023
- Richard Schoen and Karen Uhlenbeck, Boundary regularity and the Dirichlet problem for harmonic maps, J. Differential Geom. 18 (1983), no. 2, 253–268. MR 710054
- Richard Schoen and Karen Uhlenbeck, Approximation theorems for Sobolev mappings, unpublished.
- Stefan Wenger and Robert Young, Lipschitz extensions into jet space Carnot groups, Math. Res. Lett. 17 (2010), no. 6, 1137–1149. MR 2729637, DOI 10.4310/MRL.2010.v17.n6.a12
- Stefan Wenger and Robert Young, Lipschitz homotopy groups of the Heisenberg groups, Geom. Funct. Anal. 24 (2014), no. 1, 387–402. MR 3177387, DOI 10.1007/s00039-014-0264-9
- K\B{o}saku Yosida, Functional analysis, Classics in Mathematics, Springer-Verlag, Berlin, 1995. Reprint of the sixth (1980) edition. MR 1336382, DOI 10.1007/978-3-642-61859-8
Bibliographic Information
- Noel DeJarnette
- Affiliation: Department of Mathematics, University of Illinois at Urbana-Champaign, 1409 West Green St., Urbana, Illinois 61801
- Email: ndejarne@illinois.edu
- Piotr Hajłasz
- Affiliation: Department of Mathematics, University of Pittsburgh, 301 Thackeray Hall, Pittsburgh, Pennsylvania 15260
- MR Author ID: 332316
- Email: hajlasz@pitt.edu
- Anton Lukyanenko
- Affiliation: Department of Mathematics, University of Illinois at Urbana-Champaign, 1409 West Green St., Urbana, Illinois 61801
- Email: lukyane2@illinois.edu
- Jeremy T. Tyson
- Affiliation: Department of Mathematics, University of Illinois at Urbana-Champaign, 1409 West Green St., Urbana, Illinois 61801
- MR Author ID: 625886
- Email: tyson@math.uiuc.edu
- Received by editor(s): January 29, 2014
- Received by editor(s) in revised form: April 3, 2014
- Published electronically: July 1, 2014
- Additional Notes: The first author acknowledges support from NSF grants DMS 0838434 “EMSW21-MCTP: Research Experiences for Graduate Students”, DMS 0901620 and DMS 0900871. The first author also acknowledges the Department of Mathematics at the University of Pittsburgh for its hospitality during the academic year 2009–2010.
The second author acknowledges support from NSF grant DMS 0900871 “Geometry and topology of weakly differentiable mappings into Euclidean spaces, manifolds and metric spaces”.
The third author acknowledges support from NSF grant DMS 0838434 “EMSW21-MCTP: Research Experiences for Graduate Students”.
The fourth author acknowledges support from NSF grants DMS 0555869 “Nonsmooth methods in geometric function theory and geometric measure theory on the Heisenberg group” and DMS 0901620 “Geometric analysis in Carnot groups”. - © Copyright 2014 American Mathematical Society
- Journal: Conform. Geom. Dyn. 18 (2014), 119-156
- MSC (2010): Primary 46E35, 30L99; Secondary 46E40, 26B30, 53C17, 55Q40, 55Q70
- DOI: https://doi.org/10.1090/S1088-4173-2014-00267-7
- MathSciNet review: 3226622