Source author record

Piotr Hajlasz

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.FA math.GT math.AP math.AT

Catalog footprint

Research overview

9works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2014arXiv

On the lack of density of Lipschitz mappings in Sobolev spaces with Heisenberg target

We study the question: when are Lipschitz mappings dense in the Sobolev space $W^{1,p}(M,\mathbf{H}^n)$ ? Here $M$ denotes a compact Riemannian manifold with or without boundary, while $\mathbf{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,\mathbf{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,\mathbf{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 $S^n$ into $\mathbf{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 $\mathbf{H}^n$ . We initiate a study of Lipschitz homotopy groups for sub-Riemannian spaces.

preprint2013arXiv

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$ .

preprint2013arXiv

Lipschitz homotopy and density of Lipschitz mappings in Sobolev spaces

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.

preprint2013arXiv

Maximal potentials, maximal singular integrals, and the spherical maximal function

We introduce a notion of maximal potentials and we prove that they form bounded operators from $L^p$ to the homogeneous Sobolev space $\dot{W}^{1,p}$ for all $n/(n-1)<p<n$ . We apply this result to the problem of boundedness of the spherical maximal operator in Sobolev spaces.

preprint2013arXiv

Sobolev spaces, Lebesgue points and maximal functions

In this note we study boundedness of a large class of maximal operators in Sobolev spaces that includes the spherical maximal operator. We also study the size of the set of Lebesgue points with respect to convergence associated with such maximal operators.

preprint2013arXiv

The Lusin theorem and horizontal graphs in the Heisenberg group

In this paper we prove that every collection of measurable functions $f_α$ , $|α|=m$ coincides a.e. with $m$ th order derivatives of a function $g\in C^{m-1}$ whose derivatives of order $m-1$ may have any modulus of continuity weaker than that of a Lipschitz function. This is a stronger version of earlier results of Lusin, Moonens-Pfeffer and Francos. As an application we construct surfaces in the Heisenberg group with tangent spaces being horizontal a.e.

preprint2011arXiv

Sobolev mappings, degree, homotopy classes and rational homology spheres

In the paper we investigate the degree and the homotopy theory of Orlicz-Sobolev mappings $W^{1,P}(M,N)$ between manifolds, where the Young function $P$ satisfies a divergence condition and forms a slightly larger space than $W^{1,n}$ , $n=\dim M$ . In particular, we prove that if $M$ and $N$ are compact oriented manifolds without boundary and $\dim M=\dim N=n$ , then the degree is well defined in $W^{1,P}(M,N)$ if and only if the universal cover of $N$ is not a rational homology sphere, and in the case $n=4$ , if and only if $N$ is not homeomorphic to $S^4$ .

preprint2011arXiv

Sobolev mappings: Lipschitz density is not an isometric invariant of the target

If $M$ is a compact smooth manifold and $X$ is a compact metric space, the Sobolev space $W^{1,p}(M,X)$ is defined through an isometric embedding of $X$ into a Banach space. We prove that the answer to the question whether Lipschitz mappings ${\rm Lip}\,(M,X)$ are dense in $W^{1,p}(M,X)$ may depend on the isometric embedding of the target.

preprint2006arXiv

Sobolev mappings: Lipschitz density is not a bi-Lipschitz invariant of the target

We study a question of density of Lipschitz mappings in the Sobolev class of mappings from a closed manifold into a singular space. The main result of the paper shows that if we change the metric in the target space to a bi-Lipschitz equivalent one, than the property of the density of Lipschitz mappings may be lost.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Piotr Hajlasz

Research overview

Is this your work?

9 publications

On the lack of density of Lipschitz mappings in Sobolev spaces with Heisenberg target

Homotopy groups of spheres and Lipschitz homotopy groups of Heisenberg groups

Lipschitz homotopy and density of Lipschitz mappings in Sobolev spaces

Maximal potentials, maximal singular integrals, and the spherical maximal function

Sobolev spaces, Lebesgue points and maximal functions

The Lusin theorem and horizontal graphs in the Heisenberg group

Sobolev mappings, degree, homotopy classes and rational homology spheres

Sobolev mappings: Lipschitz density is not an isometric invariant of the target

Sobolev mappings: Lipschitz density is not a bi-Lipschitz invariant of the target

See the researcher in context

Building this map preview