arXiv 1306.65022013-06-27math.GTmath.FA

Lipschitz homotopy and density of Lipschitz mappings in Sobolev spaces

Piotr Hajlasz, Armin Schikorra

英文摘要：

We construct a smooth compact n-dimensional manifold Y with one point singularity such that all its Lipschitz homotopy groups are trivial, but Lipschitz mappings Lip(S^n,Y) are not dense in the Sobolev space W^{1,n}(S^n,Y). On the other hand we show that if a metric space Y is Lipschitz (n-1)-connected, then Lipschitz mappings Lip(X,Y) are dense in N^{1,p}(X,Y) whenever the Nagata dimension of X is bounded by n and the space X supports the p-Poincare inequality.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Homotopy groups of spheres and Lipschitz homotopy groups of Heisenberg groups

We provide a sufficient condition for the nontriviality of the Lipschitz homotopy group of the Heisenberg group, $π_m^{Lip}(H_n)$, in terms of properties of the classical homotopy group of the sphere, $π_m(S^n)$. As an application we provide a new simplified proof of the fact that $π_n^{Lip}(H_n)\neq 0$, $n=1,2,...$, and we prove a new result that $π_{4n-1}^{Lip}(H_{2n})\neq 0$ for $n=1,2,...$ The last result is based on a new generalization of the Hopf invariant. We also prove that Lipschitz mappings are not dense in the Sobolev space $W^{1,p}(M,H_{2n})$ when $dim M\geq 4n$ and $4n-1\leq p<4n…

2013-11-28math.FAmath.GT

Lipschitz null-homotopy of mappings $S^3 \rightarrow S^2$

This work focuses on important step in quantitative topology: given homotopic mappings from $S^m$ to $S^n$ of Lipschitz constant $L$, build the (asymptotically) simplest homotopy between them (meaning having the least Lipschitz constant). The present paper resolves this problem for the first case where Hopf invariant plays a role: $m = 3$, $n = 2$, constructing a homotopy with Lipschitz constant $O(L)$

2022-04-03math.GT

Lipschitz Homotopy Groups of Contact 3-Manifolds

We study contact 3-manifolds using the techniques of sub-Riemannian geometry and geometric measure theory, in particular establishing properties of their Lipschitz homotopy groups. We prove a biLipschitz version of the Theorem of Darboux: a contact $(2n+1)$-manifold endowed with a sub-Riemannian structure is locally biLipschitz equivalent to the Heisenberg group $\mathbb{H}^n$ with its \cc metric. Then each contact $(2n+1)$-manifold endowed with a sub-Riemannian structure is purely $k$-unrectifiable for $k>n$. We then extend results of Dejarnette et al. (arXiv:1109.4641 [math.FA]) and Wenger a…

2021-02-26math.GTmath.MG

Lipschitz homotopy groups of the Heisenberg groups

Lipschitz and horizontal maps from an $n$-dimensional space into the $(2n+1)$-dimensional Heisenberg group $\H^n$ are abundant, while maps from higher-dimensional spaces are much more restricted. DeJarnette-Hajłasz-Lukyanenko-Tyson constructed horizontal maps from $S^k$ to $\H^n$ which factor through $n$-spheres and showed that these maps have no smooth horizontal fillings. In this paper, however, we build on an example of Kaufman to show that these maps sometimes have Lipschitz fillings. This shows that the Lipschitz and the smooth horizontal homotopy groups of a space may differ. Conversely,…

2013-12-21math.GTmath.MG

Strong density for higher order Sobolev spaces into compact manifolds

Given a compact manifold $N^n$, an integer $k \in \mathbb{N}_*$ and an exponent $1 \le p < \infty$, we prove that the class $C^\infty(\overline{Q}^m; N^n)$ of smooth maps on the cube with values into $N^n$ is dense with respect to the strong topology in the Sobolev space $W^{k, p}(Q^m; N^n)$ when the homotopy group $π_{\lfloor kp \rfloor}(N^n)$ of order $\lfloor kp \rfloor$ is trivial. We also prove the density of maps that are smooth except for a set of dimension $m - \lfloor kp \rfloor - 1$, without any restriction on the homotopy group of $N^n$

2015-04-14math.FAmath.GT

The Uniform Homotopy Category

This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the respective Lipschitz and uniform settings. Cubical sets and uniform spaces admit the additional compatible structures of categories of (co)fibrant objects. A categorical equivalence between classical homotopy categories of cubical sets and spaces lifts to a full and faithful embedding from an associated Lipschitz homotopy category of cubical sets into an associa…

2021-09-17math.ATmath.GTmath.MG

更多相关论文收起更多论文

Lipschitz minimality of the multiplication maps of unit complex, quaternion and octonion numbers

We prove that the multiplication maps $\mathbb{s}^n \times \mathbb{s}^n \rightarrow \mathbb{s}^n$ ($n = 1, 3, 7$) for unit complex, quaternion and octonion numbers are, up to isometries of domain and range, the unique Lipschitz constant minimizers in their homotopy classes. Other geometrically natural maps, such as projections of Hopf fibrations, have already been shown to be, up to isometries, the unique Lipschitz constant minimizers in their homotopy classes, and it is suspected that this may hold true for all Riemannian submersions of compact homogeneous spaces.

2013-03-21math.GT

Quantitative nullhomotopy and rational homotopy type

In \cite{GrOrang}, Gromov asks the following question: given a nullhomotopic map $f:S^m \to S^n$ of Lipschitz constant $L$, how does the Lipschitz constant of an optimal nullhomotopy of $f$ depend on $L$, $m$, and $n$? We establish that for fixed $m$ and $n$, the answer is at worst quadratic in $L$. More precisely, we construct a nullhomotopy whose \emph{thickness} (Lipschitz constant in the space variable) is $C(m,n)(L+1)$ and whose \emph{width} (Lipschitz constant in the time variable) is $C(m,n)(L+1)^2$. More generally, we prove a similar result for maps $f:X \to Y$ for any compact Riemanni…

2018-03-14math.ATmath.GT

The Pontrjagin-Hopf invariants for Sobolev maps

Subtle issues arise when extending homotopy invariants to spaces of functions having little regularity, e.g., Sobolev spaces containing discontinuous functions. Sometimes it is not possible to extend the invariant at all, and sometimes, even when the formulas defining the invariants make sense, they may not have expected properties (e.g., there are maps having non-integral degree). In this paper we define a complete set of homotopy invariants for maps from 3-manifolds to the 2-sphere and show that these invariants extend to finite Faddeev energy maps and maps in suitable Sobolev spaces. For sm…

2007-11-04math-phmath.APmath.AT

Homotopy classification of maps into homogeneous spaces

We give an alternative to Postnikov's homotopy classification of maps from 3-dimensional CW-complexes to homogeneous spaces G/H of Lie groups. It describes homotopy classes in terms of lifts to the group G and is suitable for extending the notion of homotopy to Sobolev maps. This is required for applications to variational problems of mathematical physics.

2009-09-21math.ATmath.GT