Showing 1–13 of 13 results for author: Wildrick, K

Bochner Partial Derivatives, Cheeger-Kleiner Differentiability, and Non-Embedding

Authors: Kevin Wildrick

Abstract: Among all Poincaré inequality spaces, we define the class of Cheeger fractals, which includes the sub-Riemannian Heisenberg group. We show that there is no bi-Lipschitz embedding $ιいおた$ of any Cheeger fractal $X$ into any Banach space $V$ with the following property: there exists a bounded Euclidean domain $Ωおめが$ such that for any Lipschitz mapping $f \colon Ωおめが\to X$, the Bochner partial derivatives of… ▽ More Among all Poincaré inequality spaces, we define the class of Cheeger fractals, which includes the sub-Riemannian Heisenberg group. We show that there is no bi-Lipschitz embedding $ιいおた$ of any Cheeger fractal $X$ into any Banach space $V$ with the following property: there exists a bounded Euclidean domain $Ωおめが$ such that for any Lipschitz mapping $f \colon Ωおめが\to X$, the Bochner partial derivatives of $ιいおた\circ f$ exist and are integrable. This extends and provides context for an important related result of Creutz and Evseev. △ Less

Submitted 20 July, 2023; originally announced July 2023.

MSC Class: 46E36; 30L05

Quantitative quasisymmetric uniformization of compact surfaces

Authors: Lukas Geyer, Kevin Wildrick

Abstract: Bonk and Kleiner showed that any metric sphere which is Ahlfors 2-regular and linearly locally contractible is quasisymmetrically equivalent to the standard sphere, in a quantitative way. We extend this result to arbitrary metric compact orientable surfaces. Bonk and Kleiner showed that any metric sphere which is Ahlfors 2-regular and linearly locally contractible is quasisymmetrically equivalent to the standard sphere, in a quantitative way. We extend this result to arbitrary metric compact orientable surfaces. △ Less

Submitted 27 October, 2016; originally announced October 2016.

Comments: Comments welcome

MSC Class: 30C65

Journal ref: Proc. Amer. Math. Soc. 146 (2018), no. 1, 281-293

Quasiconformal mappings that highly distort dimensions of many parallel lines

Authors: Zoltán M. Balogh, Jeremy T. Tyson, Kevin Wildrick

Abstract: We construct a quasiconformal mapping of $n$-dimensional Euclidean space, $n \geq 2$, that simultaneously distorts the Hausdorff dimension of a nearly maximal collection of parallel lines by a given amount. This answers a question of Balogh, Monti, and Tyson. We construct a quasiconformal mapping of $n$-dimensional Euclidean space, $n \geq 2$, that simultaneously distorts the Hausdorff dimension of a nearly maximal collection of parallel lines by a given amount. This answers a question of Balogh, Monti, and Tyson. △ Less

Submitted 26 January, 2016; originally announced January 2016.

Comments: 12 pages

MSC Class: 30C65; 28A78

Iterated function system quasiarcs

Authors: Annina Iseli, Kevin Wildrick

Abstract: We consider a class of iterated function systems (IFSs) of contracting similarities of $R^n$, introduced by Hutchinson, for which the invariant set possesses a natural Hölder continuous parameterization by the unit interval. When such an invariant set is homeomorphic to an interval, we give necessary conditions in terms of the similarities alone for it to possess a quasisymmetric (and as a corolla… ▽ More We consider a class of iterated function systems (IFSs) of contracting similarities of $R^n$, introduced by Hutchinson, for which the invariant set possesses a natural Hölder continuous parameterization by the unit interval. When such an invariant set is homeomorphic to an interval, we give necessary conditions in terms of the similarities alone for it to possess a quasisymmetric (and as a corollary, bi-Hölder) parameterization. We also give a related necessary condition for the invariant set of such an IFS to be homeomorphic to an interval. △ Less

Submitted 28 February, 2018; v1 submitted 15 December, 2015; originally announced December 2015.

Comments: 22 pages, 5 figures. The 2nd version corresponds to the published version. (Small comments were added and small mistakes and typos corrected.)

MSC Class: 28A80; 30C65

Journal ref: Conformal Geometry and Dynamics, Volume 21, pages 78-100, 2016

Weak contact equations for mappings into Heisenberg groups

Authors: Zoltán M. Balogh, Piotr Hajłasz, Kevin Wildrick

Abstract: 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… ▽ More 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. △ Less

Submitted 18 December, 2013; v1 submitted 23 August, 2013; originally announced August 2013.

Comments: 28 pages

MSC Class: 49Q15; 53C17

Frequency of Sobolev dimension distortion of horizontal subgroups of Heisenberg groups

Authors: Zoltán M. Balogh, Jeremy T. Tyson, Kevin Wildrick

Abstract: We study the behavior of Sobolev mappings defined on the Heisenberg groups with respect to a foliation by left cosets of a horizontal homogeneous subgroup. We quantitatively estimate, in terms of Euclidean Hausdorff dimension, the size of the set of cosets that are mapped onto sets of high dimension. The proof of our main result combines ideas of Gehring and Mostow about the absolute continuity of… ▽ More We study the behavior of Sobolev mappings defined on the Heisenberg groups with respect to a foliation by left cosets of a horizontal homogeneous subgroup. We quantitatively estimate, in terms of Euclidean Hausdorff dimension, the size of the set of cosets that are mapped onto sets of high dimension. The proof of our main result combines ideas of Gehring and Mostow about the absolute continuity of quasiconformal mappings with Mattila's projection and slicing machinery. △ Less

Submitted 28 March, 2013; originally announced March 2013.

Comments: 22 pages, 3 figures

MSC Class: Primary: 46E35; 28A78; Secondary: 46E40; 53C17; 30L99

Dimension distortion by Sobolev mappings in foliated metric spaces

Authors: Zoltán M. Balogh, Jeremy T. Tyson, Kevin Wildrick

Abstract: We quantify the extent to which a supercritical Sobolev mapping can increase the dimension of subsets of its domain, in the setting of metric measure spaces supporting a Poincaré inequality. For foliations of a metric space X defined by a David--Semmes regular mapping we quantitatively estimate, in terms of Hausdorff dimension, the size of the set of leaves of the foliation that are mapped onto se… ▽ More We quantify the extent to which a supercritical Sobolev mapping can increase the dimension of subsets of its domain, in the setting of metric measure spaces supporting a Poincaré inequality. For foliations of a metric space X defined by a David--Semmes regular mapping we quantitatively estimate, in terms of Hausdorff dimension, the size of the set of leaves of the foliation that are mapped onto sets of higher dimension. We discuss key examples of such foliations, including foliations of the Heisenberg group by left and right cosets of horizontal subgroups. Examples are given demonstrating the extent to which our results are sharp. In fact, we show that the set of mappings that distort the dimensions of sets by the maximum possible amount is a prevalent subset of the relevant function space; the latter result is new even in Euclidean space. △ Less

Submitted 9 July, 2013; v1 submitted 25 January, 2013; originally announced January 2013.

Comments: Some proofs simplified and typos removed from earlier versions

MSC Class: 46E35; 28A78

Journal ref: Analysis and Geometry in Metric Spaces, 1 (2013) 232-254

Sharp differentiability results for lip

Authors: Kevin Wildrick, Thomas Zürcher

Abstract: We give a sharp condition on the lower local Lipschitz constant of a mapping from a metric space supporting a Poincaré inequality to a Banach space with the Radon-Nikodym property that guarantees differentiability at almost every point. We apply these results to obtain a non-embedding theorem for a corresponding class of mappings. We give a sharp condition on the lower local Lipschitz constant of a mapping from a metric space supporting a Poincaré inequality to a Banach space with the Radon-Nikodym property that guarantees differentiability at almost every point. We apply these results to obtain a non-embedding theorem for a corresponding class of mappings. △ Less

Submitted 30 May, 2013; v1 submitted 10 August, 2012; originally announced August 2012.

Comments: 24 pages, 1 figure. Version 3 includes applications to non-embedding

Modulus and Poincaré inequalities on non-self-similar Sierpinski carpets

Authors: John M. Mackay, Jeremy T. Tyson, Kevin Wildrick

Abstract: A carpet is a metric space homeomorphic to the Sierpinski carpet. We characterize, within a certain class of examples, non-self-similar carpets supporting curve families of nontrivial modulus and supporting Poincaré inequalities. Our results yield new examples of compact doubling metric measure spaces supporting Poincaré inequalities: these examples have no manifold points, yet embed isometrically… ▽ More A carpet is a metric space homeomorphic to the Sierpinski carpet. We characterize, within a certain class of examples, non-self-similar carpets supporting curve families of nontrivial modulus and supporting Poincaré inequalities. Our results yield new examples of compact doubling metric measure spaces supporting Poincaré inequalities: these examples have no manifold points, yet embed isometrically as subsets of Euclidean space. △ Less

Submitted 1 February, 2013; v1 submitted 17 January, 2012; originally announced January 2012.

Comments: v1: 42 pages, 11 figures. v2: 42 pages, 10 figures. Improved exposition

MSC Class: 30L99; 31E05; 28A80

Journal ref: Geom. Funct. Anal. Volume 23, Number 3 (2013), 985-1034

Quasisymmetric Koebe Uniformization

Authors: Sergei Merenkov, Kevin Wildrick

Abstract: We study a quasisymmetric version of the classical Koebe uniformization theorem in the context of Ahlfors regular metric surfaces. In particular, we prove that an Ahlfors 2-regular metric surface X homeomorphic to a finitely connected domain in the standard 2-sphere is quasisymmetrically equivalent to a circle domain if and only if X is linearly locally connected and its completion is compact. We… ▽ More We study a quasisymmetric version of the classical Koebe uniformization theorem in the context of Ahlfors regular metric surfaces. In particular, we prove that an Ahlfors 2-regular metric surface X homeomorphic to a finitely connected domain in the standard 2-sphere is quasisymmetrically equivalent to a circle domain if and only if X is linearly locally connected and its completion is compact. We also give a counterexample in the countably connected case. △ Less

Submitted 15 September, 2011; originally announced September 2011.

Comments: 46 pages, 8 figures

MSC Class: 30L10

Spaces of small metric cotype

Authors: Ellen Veomett, Kevin Wildrick

Abstract: Naor and Mendel's metric cotype extends the notion of the Rademacher cotype of a Banach space to all metric spaces. Every Banach space has metric cotype at least 2. We show that any metric space that is bi-Lipschitz equivalent to an ultrametric space has infinimal metric cotype 1. We discuss the invariance of metric cotype inequalities under snowflaking mappings and Gromov-Hausdorff limits, and us… ▽ More Naor and Mendel's metric cotype extends the notion of the Rademacher cotype of a Banach space to all metric spaces. Every Banach space has metric cotype at least 2. We show that any metric space that is bi-Lipschitz equivalent to an ultrametric space has infinimal metric cotype 1. We discuss the invariance of metric cotype inequalities under snowflaking mappings and Gromov-Hausdorff limits, and use these facts to establish a partial converse of the main result. △ Less

Submitted 17 September, 2010; v1 submitted 19 January, 2010; originally announced January 2010.

Comments: 14 pages, the needed isometric inequality now derived from the literature, rather than proved by hand; other minor typos and errors fixed

MSC Class: 30L05; 46B85

Quasisymmetric structures on surfaces

Authors: Kevin Wildrick

Abstract: We show that a locally Ahlfors 2-regular and locally linearly locally contractible metric surface is locally quasisymmetrically equivalent to the disk. We also discuss an application of this result to the problem of characterizing surfaces in some Euclidean space that are locally bi-Lipschitz equivalent to an open subset of the plane. We show that a locally Ahlfors 2-regular and locally linearly locally contractible metric surface is locally quasisymmetrically equivalent to the disk. We also discuss an application of this result to the problem of characterizing surfaces in some Euclidean space that are locally bi-Lipschitz equivalent to an open subset of the plane. △ Less

Submitted 6 September, 2007; originally announced September 2007.

Comments: 34 pages, 7 figures

MSC Class: 30C65; 57M50

Quasisymmetric parameterizations of two-dimensional metric planes

Authors: Kevin Wildrick

Abstract: The classical uniformization theorem states that any simply connected Riemann surface is conformally equivalent to the disk, the plane, or the sphere, each equipped with a standard conformal structure. We give a similar uniformization for Ahlfors 2-regular, linearly locally connected metric planes; instead of conformal equivalence, we are concerned with quasisymmetric equivalence. The classical uniformization theorem states that any simply connected Riemann surface is conformally equivalent to the disk, the plane, or the sphere, each equipped with a standard conformal structure. We give a similar uniformization for Ahlfors 2-regular, linearly locally connected metric planes; instead of conformal equivalence, we are concerned with quasisymmetric equivalence. △ Less

Submitted 27 October, 2006; originally announced October 2006.

Comments: 28 pages

MSC Class: 30C65