[論文レビュー] Quasiconformal and Sobolev distortion of dimension

Jeremy T. Tyson|arXiv (Cornell University)|Mar 11, 2026

Analytic and geometric function theory被引用数 0

ひとこと要約

A survey of how metric notions of dimension distort under quasiconformal, quasisymmetric, and Sobolev maps, detailing classical results and recent interpolants including conformal dimension.

ABSTRACT

We review a selection of the literature on the distortion of metric notions of dimension under quasiconformal, quasisymmetric, and Sobolev mappings. Our story begins with Gehring's landmark 1973 higher integrability theorem for quasiconformal maps, along with its implications for the distortion of Hausdorff dimension. Astala's 1994 solution to the planar higher integrability conjecture led to renewed interest in the subject in two dimensions. We continue with results from the 2000s and 2010s on the distortion of dimension by Sobolev maps, including estimates for dimension increase for generic elements in parameterized families of subsets. In the abstract metric setting, Pansu's notion of conformal dimension provides a key quasisymmetric invariant which has been useful in a wide range of applications. We briefly review relevant facts about conformal dimension, highlighting results of interest in the Euclidean setting. We conclude with recent work of the author in collaboration with Chrontsios Garitsis and with Fraser, extending the previous theory to interpolating dimensions and providing new insight into both quasiconformal classification and conformal dimension.

研究の動機と目的

• Review the distortion of metric dimensions under qc, QS, and Sobolev mappings in Euclidean spaces.
• Summarize foundational results on higher integrability and dimension distortion (Gehring, Väisälä, Astala).
• Discuss metric space analogs, conformal dimension, and dimension interpolants.
• Present recent work extending theory to interpolating dimensions and classification insights.
• Provide guidance and references for researchers in fractal geometry and geometric measure theory.

提案手法

• Discuss foundational theorems: higher integrability of the Jacobian for QC maps (Bojarski; Gehring) and its dimension distortion consequences.
• Present Gehring–Väisälä bounds for Hausdorff dimension distortion under QC maps and the sharpness via Cantor-type constructions.
• Introduce Sobolev dimension distortion results in supercritical maps and one-sided dimension increase bounds (Kaufman).
• Explain Astala’s planar p-Sobolev exponent p^{Sob}(2,K) and its implications for dimension distortion in 2D.
• Outline Sobolev capacity-based proofs and capacitance arguments for distortion estimates.
• Summarize conformal dimension concepts (Pansu) and their Euclidean consequences; discuss dimension interpolants (Falconer, Fraser) and their distortion by qc/Sobolev maps.

実験結果

リサーチクエスチョン

• RQ1 How does QC mapping distort Hausdorff dimension of sets in Euclidean space?
• RQ2 What are the sharp one- or two-sided bounds for dimension distortion under planar QC maps (Astala-type results)?
• RQ3 How does Sobolev regularity (p>n) influence distortion of dimension for generic/subfamilies of sets?
• RQ4 What is the role of conformal dimension and quasisymmetric invariants in understanding dimension distortion?
• RQ5 How do dimension interpolants behave under quasiconformal and Sobolev mappings?

主な発見

• QC maps preserve full Hausdorff dimension in Euclidean space (dimension n preserved under QC images).
• Gehring–Väisälä provide distorted dimension bounds: for E with dim_H E = s in (0,n), dim_H f(E) lies between explicit c1,c2 depending on K,n,s.
• Astala’s planar result yields p^{Sob}(2,K)=2K/(K-1) and sharp two-sided bounds for dim_H f(E) in the plane.
• For Sobolev maps with p>n, one-sided dim_H f(E) ≤ p dim_H E /(p-n+dim_H E); inverse maps give complementary bounds.
• Connections via Sobolev capacity yield alternative proofs of dimension distortion results.
• Conformal dimension serves as a quasisymmetric invariant guiding distortion analyses in metric spaces; interpolants provide a unified view of varying notions of dimension.