Source author record

Piotr Hajłasz

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

ResearcherUnclaimed source record

math.MG math.CA math.GT math.FA

Catalog footprint

Research overview

9works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Lipschitz mappings, metric differentiability, and factorization through metric trees

Given a Lipschitz map $f$ from a cube into a metric space, we find several equivalent conditions for $f$ to have a Lipschitz factorization through a metric tree. As an application we prove a recent conjecture of David and Schul. The techniques developed for the proof of the factorization result yield several other new and seemingly unrelated results. We prove that if $f$ is a Lipschitz mapping from an open set in $\mathbb{R}^n$ onto a metric space $X$ , then the topological dimension of $X$ equals $n$ if and only if $X$ has positive $n$ -dimensional Hausdorff measure. We also prove an area formula for length-preserving maps between metric spaces, which gives, in particular, a new formula for integration on countably rectifiable sets in the Heisenberg group.

preprint2020arXiv

The Coarea Inequality

The aim of this paper is to provide a self-contained proof of a general case of the coarea inequality, also known as the Eilenberg inequality. The result is known, but we are not aware of any place that a proof would be written with all details. The known proof is based on a difficult result of Davies. Our proof is elementary and does not use Davies' theorem. Instead we use an elegant argument that we learned from Nazarov through MathOverflow. We also obtain some generalizations of the coarea inequality.

preprint2016arXiv

Sobolev Embedding of a Sphere Containing An Arbitrary Cantor Set in the image

We construct a large class of pathological $n$ -dimensional topological spheres in ${\mathbb R}^{n+1}$ by showing that for any Cantor set $C\subset {\mathbb R}^{n+1}$ there is a topological embedding $f:{\mathbb S}^n\to{\mathbb R}^{n+1}$ of the Sobolev class $W^{1,n}$ whose image contains the Cantor set $C$ .

preprint2015arXiv

A new characterization of the mappings of bounded length distortion

In this paper, we present a new characterization of the mappings of bounded length distortion (BLD for short). In the original geometric definition it is assumed that a BLD mapping is open, discrete and sense preserving. We prove that the first two of the three conditions are redundant and the sense-preserving condition can be replaced by a weaker assumption that the Jacobian is non-negative.

preprint2015arXiv

Geodesics in the Heisenberg group

We provide a new and elementary proof for the structure of geodesics in the Heisenberg group $\mathbb{H}^n$ . The proof is based on a new isoperimetric inequality for closed curves in $\mathbb{R}^{2n}$ . We also prove that the Carnot-Carathéodory metric is real analytic away from the center of the group.

preprint2015arXiv

The Dubovitski\uı-Sard Theorem in Sobolev Spaces

The Sard theorem from 1942 requires that a mapping $f:\mathbb{R}^n \to \mathbb{R}^m$ is of class $C^k$ , $k > \max (n-m,0)$ . In 1957 Duvovitski\uı generalized Sard's theorem to the case of $C^k$ mappings for all $k$ . Namely he proved that, for almost all $y\in \mathbb{R}^m$ , $\mathcal{H}^{\ell}(C_f \cap f^{-1}(y))=0$ where $\ell = \max(n-m-k+1,0)$ , ${\mathcal H}^{\ell}$ denotes the Hausdorff measure, and $C_f$ is the set of critical points of $f$ . In 2001 De Pascale proved that the Sard theorem holds true for Sobolev mappings of the class $W_{\rm loc}^{k,p}(\mathbb{R}^n,\mathbb{R}^m)$ , $k>\max(n-m,0)$ and $p>n$ . We will show that also Dubovitski\uı's theorem can be generalized to the case of $W_{\rm loc}^{k,p}(\mathbb{R}^n,\mathbb{R}^m)$ mappings for all $k\in\mathbb{N}$ and $p>n$ .

preprint2014arXiv

A Marcinkiewicz integral type characterization of the Sobolev space

In this paper we present a new characterization of the Sobolev space $W^{1,p}$ , $1<p<\infty$ which is a higher dimensional version of a result of Waterman. We also provide a new and simplified proof of a recent result of Alabern, Mateu and Verdera. Finally, we generalize the results to the case of weighted Sobolev spaces with respect to a Muckenhoupt weight.

preprint2014arXiv

On conditions for unrectifiability of a metric space

We find necessary and sufficient conditions for a Lipschitz map $f:\mathbb{R}E\to X$ , into a metric space to have the image with the $k$ -dimensional Hausdorff measure equal zero, $H^k(f(E))=0$ . An interesting feature of our approach is that despite the fact that we are dealing with arbitrary metric spaces, we employ a variant of the classical implicit function theorem. Applications include pure unrectifiability of the Heisenberg groups and that of more general Carnot-Carathéodory spaces.

preprint2013arXiv

Weak contact equations for mappings into Heisenberg groups

Let k>n be positive integers. We consider mappings from a subset of k-dimensional Euclidean space R^k to the Heisenberg group H^n with a variety of metric properties, each of which imply that the mapping in question satisfies some weak form of the contact equation arising from the sub-Riemannian structure of the Heisenberg group. We illustrate a new geometric technique that shows directly how the weak contact equation greatly restricts the behavior of the mappings. In particular, we provide a new and elementary proof of the fact that the Heisenberg group H^n is purely k-unrectifiable. We also prove that for an open set U in R^k, the rank of the weak derivative of a weakly contact mapping in the Sobolev space W^{1,1}_{loc}(U;R^{2n+1}) is bounded by $n$ almost everywhere, answering a question of Magnani. Finally we prove that if a mapping from U to H^n is s-Hölder continuous, s>1/2, and locally Lipschitz when considered as a mapping into R^{2n+1}, then the mapping cannot be injective. This result is related to a conjecture of Gromov.

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 Hajłasz

Research overview

Is this your work?

9 publications

Lipschitz mappings, metric differentiability, and factorization through metric trees

The Coarea Inequality

Sobolev Embedding of a Sphere Containing An Arbitrary Cantor Set in the image

A new characterization of the mappings of bounded length distortion

Geodesics in the Heisenberg group

The Dubovitski\uı-Sard Theorem in Sobolev Spaces

A Marcinkiewicz integral type characterization of the Sobolev space

On conditions for unrectifiability of a metric space

Weak contact equations for mappings into Heisenberg groups

See the researcher in context

Building this map preview