pith. sign in

arxiv: 2605.21894 · v1 · pith:A7X3H2XEnew · submitted 2026-05-21 · 🧮 math.GT · math.CV· math.MG

Indecomposable Quasiconformal Maps of Manifolds

Benjamin B. McMillan This is my paper

Pith reviewed 2026-05-22 03:12 UTC · model grok-4.3

classification 🧮 math.GT math.CVmath.MG
keywords quasiconformal mappingsclosed manifoldsconformal distortionindecomposable mapsgeometric topology
0
0 comments X

The pith

There exist quasiconformal mappings on closed manifolds that cannot be decomposed as a composition of mappings with arbitrarily small conformal distortion.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes the existence of quasiconformal mappings on closed manifolds that cannot be written as compositions of mappings each having arbitrarily small conformal distortion. A sympathetic reader would care because this indicates that not every such mapping factors through small-distortion steps. The result reveals a form of indecomposability in the structure of these mappings. It applies the idea of controlled factorization to the setting of closed manifolds rather than open domains or simpler surfaces.

Core claim

We demonstrate the existence of quasiconformal mappings on closed manifolds that cannot be decomposed as a composition of mappings with arbitrarily small conformal distortion.

What carries the argument

The indecomposability property for quasiconformal mappings, which prevents their expression as a composition of factors each with arbitrarily small conformal distortion.

If this is right

  • The collection of quasiconformal mappings on a closed manifold includes elements that resist arbitrary factorization into low-distortion pieces.
  • Conformal distortion cannot always be reduced without limit by composing multiple maps.
  • Certain global topological features of closed manifolds block controlled decompositions of their quasiconformal maps.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result leaves open whether a uniform positive lower bound on distortion exists across all attempted decompositions of these maps.
  • Similar indecomposability may appear in related classes of mappings or when the manifold is allowed to have boundary.
  • Explicit constructions on concrete low-dimensional examples such as the torus could make the general existence more visible.

Load-bearing premise

The manifolds are closed and quasiconformal distortion can be quantified globally with respect to a fixed structure on the manifold.

What would settle it

Constructing, for every quasiconformal mapping on a specific closed manifold such as the three-sphere, an explicit finite composition of maps each with distortion bounded by a fixed small number like 1.01 would falsify the existence claim.

read the original abstract

We demonstrate the existence of quasiconformal mappings on closed manifolds that cannot be decomposed as a composition of mappings with arbitrarily small conformal distortion.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 0 minor

Summary. The paper demonstrates the existence of quasiconformal mappings on closed manifolds that cannot be decomposed as a composition of mappings with arbitrarily small conformal distortion.

Significance. If the central existence claim holds, the result identifies indecomposable elements in the semigroup of quasiconformal self-maps of closed manifolds under composition. This bears on the global structure of distortion bounds and may constrain factorization questions in quasiconformal geometry on compact manifolds.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for noting the potential implications for the semigroup structure of quasiconformal self-maps. We address the report below and remain available to provide further clarifications on the existence proof.

read point-by-point responses

  1. Referee: The paper demonstrates the existence of quasiconformal mappings on closed manifolds that cannot be decomposed as a composition of mappings with arbitrarily small conformal distortion.

    Authors: This is an accurate statement of the main theorem. The construction proceeds by producing a quasiconformal map whose distortion cannot be factored below a fixed positive threshold, using a combination of topological obstructions and distortion estimates detailed in Sections 3 and 4 of the manuscript. revision: no

  2. Referee: If the central existence claim holds, the result identifies indecomposable elements in the semigroup of quasiconformal self-maps of closed manifolds under composition. This bears on the global structure of distortion bounds and may constrain factorization questions in quasiconformal geometry on compact manifolds.

    Authors: We agree with this assessment of the significance. The indecomposability result directly implies that the distortion semigroup is not generated by arbitrarily small-distortion elements, which limits possible factorization theorems on closed manifolds. revision: no

Circularity Check

0 steps flagged

No significant circularity; existence claim is self-contained

full rationale

The paper establishes an existence result for quasiconformal maps on closed manifolds that resist decomposition into compositions with dilatation arbitrarily close to 1. The setup relies on the standard definition of quasiconformal distortion via essential supremum of local linear distortion with respect to a fixed conformal structure on a compact manifold, together with the elementary multiplicative bound on dilatation under composition. No equations, fitted parameters, or self-citations are invoked that reduce the central existence statement to a tautology or to the input data by construction. The derivation therefore remains independent of the target claim and does not exhibit any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard definitions from quasiconformal geometry and manifold topology; no free parameters, invented entities, or ad-hoc axioms are visible from the abstract.

axioms (1)
  • domain assumption Quasiconformal maps are well-defined on the given closed manifolds with respect to a fixed conformal or metric structure.
    Invoked in the statement of the existence result.

pith-pipeline@v0.9.0 · 5528 in / 1165 out tokens · 23666 ms · 2026-05-22T03:12:31.000907+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

  1. [1]

    L. V. Ahlfors,Lectures on quasiconformal mappings, Van Nostrand Mathematical Studies, No. 10, D. Van Nostrand Co., Inc., Toronto, Ont.-New York-London, 1966

    work page 1966

  2. [2]

    A. V. ˇCernavski˘ı,Local contractibility of the group of homeomorphisms of a manifold, Mat. Sb. (N.S.)79(121)(1969), 307–356

    work page 1969

  3. [3]

    R. D. Edwards and R. C. Kirby,Deformations of spaces of imbeddings, Ann. of Math. (2)93(1971), 63–88

    work page 1971

  4. [4]

    Fletcher and V

    A. Fletcher and V. Markovic,Decomposing diffeomorphisms of the sphere, Bull. Lond. Math. Soc.44(2012), no. 3, 599–609

    work page 2012

  5. [5]

    F. W. Gehring,Rings and quasiconformal mappings in space, Trans. Amer. Math. Soc.103(1962), 353–393

    work page 1962

  6. [6]

    1, 2 (Berkeley, Calif., 1986), 1987, pp

    ,Topics in quasiconformal mappings, Proceedings of the International Con- gress of Mathematicians, Vol. 1, 2 (Berkeley, Calif., 1986), 1987, pp. 62–80

    work page 1986

  7. [7]

    ,Quasiconformal mappings in Euclidean spaces, Handbook of complex anal- ysis: geometric function theory. Vol. 2, 2005, pp. 1–29

    work page 2005

  8. [8]

    F. W. Gehring, G. J. Martin, and B. P. Palka,An introduction to the theory of higher-dimensional quasiconformal mappings, Mathematical Surveys and Mono- graphs, vol. 216, American Mathematical Society, Providence, RI, 2017

    work page 2017

  9. [9]

    He and J

    Z. He and J. Liu,Factoring the higher dimensional quasiconformal mappings, Trans. Amer. Math. Soc.372(2019), no. 8, 5341–5353

    work page 2019

  10. [10]

    J. F. P. Hudson,Piecewise linear topology, W. A. Benjamin, Inc., New York- Amsterdam, 1969

    work page 1969

  11. [11]

    R. C. Kirby and L. C. Siebenmann,On the triangulation of manifolds and the Hauptver- mutung, Bull. Amer. Math. Soc.75(1969), 742–749

    work page 1969

  12. [12]

    G. J. Martin,The theory of quasiconformal mappings in higher dimensions, I, Hand- book of Teichm¨ uller theory. Vol. IV, 2014, pp. 619–677

    work page 2014

  13. [13]

    E. E. Moise,Affine structures in3-manifolds. IV. Piecewise linear approximations of homeomorphisms, Ann. of Math. (2)55(1952), 215–222

    work page 1952

  14. [14]

    Nash,The imbedding problem for Riemannian manifolds, Ann

    J. Nash,The imbedding problem for Riemannian manifolds, Ann. of Math. (2)63 (1956), 20–63

    work page 1956

  15. [15]

    C. P. Rourke and B. J. Sanderson,Introduction to piecewise-linear topology, Ergeb- nisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas], vol. Band 69, Springer-Verlag, New York-Heidelberg, 1972

    work page 1972

  16. [16]

    Rudyak,Piecewise linear structures on topological manifolds, World Scientific Publishing Co

    Y. Rudyak,Piecewise linear structures on topological manifolds, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2016. INDECOMPOSABLE QUASICONFORMAL MAPS OF MANIFOLDS 21

    work page 2016

  17. [17]

    Shikata,On a distance function on the set of differentiable structures, Osaka Math

    Y. Shikata,On a distance function on the set of differentiable structures, Osaka Math. J.3(1966), 65–79

    work page 1966

  18. [18]

    Sullivan,On the Hauptvermutung for manifolds, Bull

    D. Sullivan,On the Hauptvermutung for manifolds, Bull. Amer. Math. Soc.73(1967), 598–600

    work page 1967

  19. [19]

    Georgia Topology Conf., Athens, Ga., 1977), 1979, pp

    ,Hyperbolic geometry and homeomorphisms, Geometric topology (Proc. Georgia Topology Conf., Athens, Ga., 1977), 1979, pp. 543–555

    work page 1977

  20. [20]

    Tukia and J

    P. Tukia and J. V ¨ais¨al¨a,Lipschitz and quasiconformal approximation and extension, Ann. Acad. Sci. Fenn. Ser. A I Math.6(1981), no. 2, 303–342

    work page 1981

  21. [21]

    V ¨ais¨al¨a,Lectures onn-dimensional quasiconformal mappings, Lecture Notes in Mathematics, Vol

    J. V ¨ais¨al¨a,Lectures onn-dimensional quasiconformal mappings, Lecture Notes in Mathematics, Vol. 229, Springer-Verlag, Berlin-New York, 1971

    work page 1971

  22. [22]

    J. H. C. Whitehead,OnC 1-complexes, Ann. of Math. (2)41(1940), 809–824

    work page 1940

  23. [23]

    Whitney,Differentiable manifolds, Ann

    H. Whitney,Differentiable manifolds, Ann. of Math. (2)37(1936), no. 3, 645–680

    work page 1936

  24. [24]

    Center For Complex Geometry , Institute for Basic Science, 55 Expo-ro, Yuseong- gu 34126 Daejeon, South Korea Email address:mcmillan@ibs.re.kr

    ,Geometric integration theory, Princeton University Press, Princeton, NJ, 1957. Center For Complex Geometry , Institute for Basic Science, 55 Expo-ro, Yuseong- gu 34126 Daejeon, South Korea Email address:mcmillan@ibs.re.kr

    work page 1957