-
Liouville's theorem in calibrated geometries
Authors:
Toni Ikonen,
Pekka Pankka
Abstract:
We consider the following extension of the classical Liouville theorem: A calibration $ω\in Λ^n \mathbb{R}^m$, where $3 \le n \le m$, has the Liouville property if a Sobolev mapping $F\colon Ω\to \mathbb{R}^m$, where $Ω\subset \mathbb{R}^n$ is a domain, in $W^{1,n}_{loc}( Ω, \mathbb{R}^m )$ satisfying $\|DF\|^n = \star F^{*}ω$ almost everywhere is a restriction of a Möbius transformation…
▽ More
We consider the following extension of the classical Liouville theorem: A calibration $ω\in Λ^n \mathbb{R}^m$, where $3 \le n \le m$, has the Liouville property if a Sobolev mapping $F\colon Ω\to \mathbb{R}^m$, where $Ω\subset \mathbb{R}^n$ is a domain, in $W^{1,n}_{loc}( Ω, \mathbb{R}^m )$ satisfying $\|DF\|^n = \star F^{*}ω$ almost everywhere is a restriction of a Möbius transformation $\mathbb{S}^m \to \mathbb{S}^m$.
We show that, for $m\ge 5$, every calibration in $Λ^{m-2} \mathbb{R}^m$ has the Liouville property and, in low dimensions, a calibration $ω\in Λ^n \mathbb{R}^m$ has the Liouville property for $3 \le n \le m \le 6$ unless $ω$ is face equivalent to the Special Lagrangian. In these cases, the Liouville property stems from isoperimetric rigidity of these mappings together with a classification of calibrations whose conformally flat calibrated submanifolds are flat.
We also show that, for $3 \leq n \leq m$, the calibrations with the Liouville property form a dense $G_δ$ set in the space of calibrations. As an application, we consider factorization of more general quasiregular curves and stability of quasiregular curves of small distortion.
△ Less
Submitted 3 October, 2024;
originally announced October 2024.
-
Quasiregular curves: Removability of singularities
Authors:
Toni Ikonen
Abstract:
We prove a Painlevé theorem for bounded quasiregular curves in Euclidean spaces extending removability results for quasiregular mappings due to Iwaniec and Martin. The theorem is proved by extending a fundamental inequality for volume forms to calibrations and proving a Caccioppoli inequality for quasiregular curves.
We also establish a qualitatively sharp removability theorem for quasiregular c…
▽ More
We prove a Painlevé theorem for bounded quasiregular curves in Euclidean spaces extending removability results for quasiregular mappings due to Iwaniec and Martin. The theorem is proved by extending a fundamental inequality for volume forms to calibrations and proving a Caccioppoli inequality for quasiregular curves.
We also establish a qualitatively sharp removability theorem for quasiregular curves whose target is a Riemannian manifold with sectional curvature bounded from above and an injectivity radius lower bound. As an application, we extend a theorem of Bonk and Heinonen for quasiregular mappings to the setting of quasiregular curves: every non-constant quasiregular $ω$-curve from $\mathbb{R}^n$ into $( N, ω)$, where the bounded cohomology class of $ω$ is in the bounded Künneth ideal, has infinite energy.
△ Less
Submitted 19 December, 2024; v1 submitted 2 July, 2024;
originally announced July 2024.
-
Metric Sobolev spaces I: equivalence of definitions
Authors:
Luigi Ambrosio,
Toni Ikonen,
Danka Lučić,
Enrico Pasqualetto
Abstract:
This is the first of two works concerning the Sobolev calculus on metric measure spaces and its applications. In this work, we focus on several notions of metric Sobolev space and on their equivalence. More precisely, we give a systematic presentation of first-order $p$-Sobolev spaces, with $p\in[1,\infty)$, defined over a complete and separable metric space equipped with a boundedly-finite Borel…
▽ More
This is the first of two works concerning the Sobolev calculus on metric measure spaces and its applications. In this work, we focus on several notions of metric Sobolev space and on their equivalence. More precisely, we give a systematic presentation of first-order $p$-Sobolev spaces, with $p\in[1,\infty)$, defined over a complete and separable metric space equipped with a boundedly-finite Borel measure. We focus on three different approaches: via approximation with Lipschitz functions; by studying the behaviour along curves, in terms either of the curve modulus or of test plans; via integration-by-parts, using Lipschitz derivations with divergence. Eventually, we show that all these approaches are fully equivalent. We emphasise that no doubling or Poincaré assumption is made, and that we allow also for the exponent $p=1$.
A substantial part of this work consists of a self-contained and partially-revisited exposition of known results, which are scattered across the existing literature, but it contains also several new results, mostly concerning the equivalence of metric Sobolev spaces for $p=1$.
△ Less
Submitted 17 April, 2024;
originally announced April 2024.
-
Pushforward of currents under Sobolev maps
Authors:
Toni Ikonen
Abstract:
We prove that a Sobolev map from a Riemannian manifold into a complete metric space pushes forward almost every compactly supported integral current to an Ambrosio--Kirchheim integral current in the metric target, where "almost every" is understood in a modulus sense.
As an application, we prove that when the target supports an isoperimetric inequality of Euclidean type for integral currents, an…
▽ More
We prove that a Sobolev map from a Riemannian manifold into a complete metric space pushes forward almost every compactly supported integral current to an Ambrosio--Kirchheim integral current in the metric target, where "almost every" is understood in a modulus sense.
As an application, we prove that when the target supports an isoperimetric inequality of Euclidean type for integral currents, an isoperimetric inequality for Sobolev mappings relative to bounded, closed and additive cochains follows.
Using the results above, we answer positively to an open question by Onninen and Pankka on sharp Hölder continuity for quasiregular curves. A key tool in the continuity proof is Almgren's isoperimetric inequality for integral currents.
△ Less
Submitted 13 August, 2024; v1 submitted 27 March, 2023;
originally announced March 2023.
-
Extensions and approximations of Banach-valued Sobolev functions
Authors:
Miguel García-Bravo,
Toni Ikonen,
Zheng Zhu
Abstract:
In complete metric measure spaces equipped with a doubling measure and supporting a weak Poincaré inequality, we investigate when a given Banach-valued Sobolev function defined on a subset satisfying a measure-density condition is the restriction of a Banach-valued Sobolev function defined on the whole space. We investigate the problem for Hajłasz- and Newton-Sobolev spaces, respectively.
First,…
▽ More
In complete metric measure spaces equipped with a doubling measure and supporting a weak Poincaré inequality, we investigate when a given Banach-valued Sobolev function defined on a subset satisfying a measure-density condition is the restriction of a Banach-valued Sobolev function defined on the whole space. We investigate the problem for Hajłasz- and Newton-Sobolev spaces, respectively.
First, we show that Hajłasz-Sobolev extendability is independent of the target Banach spaces. We also show that every $c_0$-valued Newton-Sobolev extension set is a Banach-valued Newton-Sobolev extension set for every Banach space. We also prove that any measurable set satisfying a measure-density condition and a weak Poincaré inequality up to some scale is a Banach-valued Newton-Sobolev extension set for every Banach space. Conversely, we verify a folklore result stating that when $n\leq p<\infty$, every $W^{1,p}$-extension domain $Ω\subset \mathbb{R}^n$ supports a weak $(1,p)$-Poincaré inequality up to some scale.
As a related result of independent interest, we prove that in any metric measure space when $1 \leq p < \infty$ and real-valued Lipschitz functions with bounded support are norm-dense in the real-valued $W^{1,p}$-space, then Banach-valued Lipschitz functions with bounded support are energy-dense in every Banach-valued $W^{1,p}$-space whenever the Banach space has the so-called metric approximation property.
△ Less
Submitted 1 November, 2022; v1 submitted 26 August, 2022;
originally announced August 2022.
-
Coarea Inequality for Monotone Functions on Metric Surfaces
Authors:
Behnam Esmayli,
Toni Ikonen,
Kai Rajala
Abstract:
We study coarea inequalities for metric surfaces -- metric spaces that are topological surfaces, without boundary, and which have locally finite Hausdorff 2-measure $\mathcal{H}^2$. For monotone Sobolev functions $u\colon X \to \mathbb{R} $, we prove the inequality
\begin{equation*}
\int_{ \mathbb{R} }^{*}
\int_{ u^{-1}(t) }
g
\,d\mathcal{H}^{1}
\,dt
\leq
κ
\int_{ X }
g ρ
\,d…
▽ More
We study coarea inequalities for metric surfaces -- metric spaces that are topological surfaces, without boundary, and which have locally finite Hausdorff 2-measure $\mathcal{H}^2$. For monotone Sobolev functions $u\colon X \to \mathbb{R} $, we prove the inequality
\begin{equation*}
\int_{ \mathbb{R} }^{*}
\int_{ u^{-1}(t) }
g
\,d\mathcal{H}^{1}
\,dt
\leq
κ
\int_{ X }
g ρ
\,d\mathcal{H}^{2}
\quad\text{for every Borel $g \colon X \rightarrow \left[0,\infty\right]$,} \end{equation*} where $ρ$ is any integrable upper gradient of $u$. If $ρ$ is locally $L^2$-integrable, we obtain the sharp constant $κ=4/π$. The monotonicity condition cannot be removed as we give an example of a metric surface $X$ and a Lipschitz function $u \colon X \to \mathbb{R}$ for which the coarea inequality above fails.
△ Less
Submitted 12 August, 2022;
originally announced August 2022.
-
Pullback of a quasiconformal map between arbitrary metric measure spaces
Authors:
Toni Ikonen,
Danka Lučić,
Enrico Pasqualetto
Abstract:
We prove that every (geometrically) quasiconformal homeomorphism between metric measure spaces induces an isomorphism between the cotangent modules constructed by Gigli. We obtain this by first showing that every continuous mapping $\varphi$ with bounded outer dilatation induces a pullback map $\varphi^*$ between the cotangent modules of Gigli, and then proving the functorial nature of the resulti…
▽ More
We prove that every (geometrically) quasiconformal homeomorphism between metric measure spaces induces an isomorphism between the cotangent modules constructed by Gigli. We obtain this by first showing that every continuous mapping $\varphi$ with bounded outer dilatation induces a pullback map $\varphi^*$ between the cotangent modules of Gigli, and then proving the functorial nature of the resulting pullback operator. Such pullback is consistent with the differential for metric-valued locally Sobolev maps introduced by Gigli-Pasqualetto-Soultanis.
Using the consistency between Gigli's and Cheeger's cotangent modules for PI spaces, we prove that quasiconformal homeomorphisms between PI spaces preserve the dimension of Cheeger charts, thereby generalizing earlier work by Heinonen-Koskela-Shanmugalingam-Tyson.
Finally, we show that if $\varphi$ is a given homeomorphism with bounded outer dilatation, then $\varphi^{-1}$ has bounded outer dilatation if and only if $\varphi^{*}$ is invertible and $\varphi^{-1}$ is Sobolev. In contrast to the setting of Euclidean spaces, Carnot groups, or more generally, Ahlfors regular PI spaces, the Sobolev regularity of $\varphi^{-1}$ needs to be assumed separately.
△ Less
Submitted 14 December, 2021;
originally announced December 2021.
-
Two-dimensional metric spheres from gluing hemispheres
Authors:
Toni Ikonen
Abstract:
We study metric spheres Z obtained by gluing two hemispheres of the Euclidean sphere along an orientation-preserving homeomorphism mapping the equator onto itself, where the distance on Z is the canonical distance that is locally isometric to the spherical distance off the seam. We show that if Z is quasiconformally equivalent to the sphere, in the geometric sense, then g is a welding homeomorphis…
▽ More
We study metric spheres Z obtained by gluing two hemispheres of the Euclidean sphere along an orientation-preserving homeomorphism mapping the equator onto itself, where the distance on Z is the canonical distance that is locally isometric to the spherical distance off the seam. We show that if Z is quasiconformally equivalent to the sphere, in the geometric sense, then g is a welding homeomorphism with conformally removable welding curves. We also show that g is bi-Lipschitz if and only if Z has a 1-quasiconformal parametrization whose Jacobian is comparable to the Jacobian of a quasiconformal mapping from the Euclidean sphere onto itself. Furthermore, we show that if the inverse of g is absolutely continuous and g admits a homeomorphic extension with exponentially integrable distortion, then Z is quasiconformally equivalent to the Euclidean sphere.
△ Less
Submitted 2 June, 2021;
originally announced June 2021.
-
Abstract and concrete tangent modules on Lipschitz differentiability spaces
Authors:
Toni Ikonen,
Enrico Pasqualetto,
Elefterios Soultanis
Abstract:
We construct an isometric embedding from Gigli's abstract tangent module into the concrete tangent module of a space admitting a (weak) Lipschitz differentiable structure, and give two equivalent conditions which characterize when the embedding is an isomorphism. Together with arguments from a recent article by Bate--Kangasniemi--Orponen, this equivalence is used to show that the…
▽ More
We construct an isometric embedding from Gigli's abstract tangent module into the concrete tangent module of a space admitting a (weak) Lipschitz differentiable structure, and give two equivalent conditions which characterize when the embedding is an isomorphism. Together with arguments from a recent article by Bate--Kangasniemi--Orponen, this equivalence is used to show that the ${\rm Lip}-{\rm lip}$ -type condition ${\rm lip} f\le C|Df|$ implies the existence of a Lipschitz differentiable structure, and moreover self-improves to ${\rm lip} f =|Df|$.
We also provide a direct proof of a result by Gigli and the second author that, for a space with a strongly rectifiable decomposition, Gigli's tangent module admits an isometric embedding into the so-called Gromov--Hausdorff tangent module, without any a priori reflexivity assumptions.
△ Less
Submitted 18 October, 2021; v1 submitted 30 November, 2020;
originally announced November 2020.
-
Quasiconformal Jordan domains
Authors:
Toni Ikonen
Abstract:
We extend the classical Carathéodory extension theorem to quasiconformal Jordan domains $( Y, d_{Y} )$. We say that a metric space $( Y, d_{Y} )$ is a quasiconformal Jordan domain if the completion $\overline{Y}$ of $( Y, d_{Y} )$ has finite Hausdorff $2$-measure, the boundary $\partial Y = \overline{Y} \setminus Y$ is homeomorphic to $\mathbb{S}^{1}$, and there exists a homeomorphism…
▽ More
We extend the classical Carathéodory extension theorem to quasiconformal Jordan domains $( Y, d_{Y} )$. We say that a metric space $( Y, d_{Y} )$ is a quasiconformal Jordan domain if the completion $\overline{Y}$ of $( Y, d_{Y} )$ has finite Hausdorff $2$-measure, the boundary $\partial Y = \overline{Y} \setminus Y$ is homeomorphic to $\mathbb{S}^{1}$, and there exists a homeomorphism $φ\colon \mathbb{D} \rightarrow ( Y, d_{Y} )$ that is quasiconformal in the geometric sense.
We show that $φ$ has a continuous, monotone, and surjective extension $Φ\colon \overline{ \mathbb{D} } \rightarrow \overline{ Y }$. This result is best possible in this generality. In addition, we find a necessary and sufficient condition for $Φ$ to be a quasiconformal homeomorphism. We provide sufficient conditions for the restriction of $Φ$ to $\mathbb{S}^{1}$ being a quasisymmetry and to $\partial Y$ being bi-Lipschitz equivalent to a quasicircle in the plane.
△ Less
Submitted 12 November, 2021; v1 submitted 14 November, 2020;
originally announced November 2020.
-
Quasiconformal geometry and removable sets for conformal mappings
Authors:
Toni Ikonen,
Matthew Romney
Abstract:
We study metric spaces defined via a conformal weight, or more generally a measurable Finsler structure, on a domain $Ω\subset \mathbb{R}^2$ that vanishes on a compact set $E \subset Ω$ and satisfies mild assumptions. Our main question is to determine when such a space is quasiconformally equivalent to a planar domain. We give a characterization in terms of the notion of planar sets that are remov…
▽ More
We study metric spaces defined via a conformal weight, or more generally a measurable Finsler structure, on a domain $Ω\subset \mathbb{R}^2$ that vanishes on a compact set $E \subset Ω$ and satisfies mild assumptions. Our main question is to determine when such a space is quasiconformally equivalent to a planar domain. We give a characterization in terms of the notion of planar sets that are removable for conformal mappings. We also study the question of when a quasiconformal mapping can be factored as a 1-quasiconformal mapping precomposed with a bi-Lipschitz map.
△ Less
Submitted 5 June, 2020; v1 submitted 4 June, 2020;
originally announced June 2020.
-
Uniformization Of Metric Surfaces Using Isothermal Coordinates
Authors:
Toni Ikonen
Abstract:
We establish a uniformization result for metric surfaces - metric spaces that are topological surfaces with locally finite Hausdorff 2-measure.
Using the geometric definition of quasiconformality, we show that a metric surface that can be covered by quasiconformal images of Euclidean domains is quasiconformally equivalent to a Riemannian surface. To prove this, we construct suitable isothermal c…
▽ More
We establish a uniformization result for metric surfaces - metric spaces that are topological surfaces with locally finite Hausdorff 2-measure.
Using the geometric definition of quasiconformality, we show that a metric surface that can be covered by quasiconformal images of Euclidean domains is quasiconformally equivalent to a Riemannian surface. To prove this, we construct suitable isothermal coordinates.
△ Less
Submitted 19 September, 2019;
originally announced September 2019.
