T.: On the lack of density of Lipschitz mappings in Sobolev spaces with Heisenberg target. arXiv:1109.4641

Abstract. We study the question: when are Lipschitz mappings dense in the Sobolev space W 1,p(M,Hn)? Here M denotes a compact Rie-mannian manifold with or without boundary, while Hn denotes the nth Heisenberg group equipped with a sub-Riemannian metric. We show that Lipschitz maps are dense in W 1,p(M,Hn) for all 1 ≤ p < ∞ if dimM ≤ n, but that Lipschitz maps are not dense in W 1,p(M,Hn) if dimM ≥ n+ 1 and n ≤ p < n+ 1. The proofs rely on the construction of smooth horizontal embeddings of the sphere Sn into Hn. We provide two such constructions, one arising from complex hyperbolic geometry and the other arising from symplectic geometry. The nondensity asser-tion can be interpreted as nontriviality of the nth Lipschitz homotopy group of Hn. We initiate a study of Lipschitz homotopy groups for sub-Riemannian spaces. Key words and phrases. Heisenberg group, Sobolev mapping, Lipschitz homotopy group, complex hyperbolic geometry, symplectic geometry, sub-Riemannian manifold