Abstract
We give a sufficient condition for a metric (homology) manifold to be locally bi-Lipschitz equivalent to an open subset in R n. The condition is a Sobolev condition for a measurable coframe of flat 1-forms. In combination with an earlier work of D. Sullivan, our methods also yield an analytic characterization for smoothability of a Lipschitz manifold in terms of a Sobolev regularity for frames in a cotangent structure. In the proofs, we exploit the duality between flat chains and flat forms, and recently established differential analysis on metric measure spaces. When specialized to R n, our result gives a kind of asymptotic and Lipschitz version of the measurable Riemann mapping theorem as suggested by Sullivan.
Similar content being viewed by others
References
E. G. Begle, Regular convergence, Duke Math. J., 11 (1944), 441–450.
C. J. Bishop, An A 1 weight not comparable with any quasiconformal Jacobian, in In the Tradition of Ahlfors-Bers, IV, Contemp. Math., vol. 432, pp. 7–18, Amer. Math. Soc., Providence, 2007.
M. Bonk and B. Kleiner, Quasisymmetric parametrizations of two-dimensional metric spheres, Invent. Math., 150 (2002), 127–183.
M. Bonk and U. Lang, Bi-Lipschitz parameterization of surfaces, Math. Ann., 327 (2003), 135–169.
M. Bonk, J. Heinonen, and S. Rohde, Doubling conformal densities, J. Reine Angew. Math., 541 (2001), 117–141.
M. Bonk, J. Heinonen, and E. Saksman, The quasiconformal Jacobian problem, in In the Tradition of Ahlfors and Bers, III, Contemp. Math., vol. 355, pp. 77–96, Amer. Math. Soc., Providence, 2004.
M. Bonk, J. Heinonen, and E. Saksman, Logarithmic potentials, quasiconformal flows, and Q-curvature, Duke Math. J., 142 (2008), 197–239.
K. Borsuk, On some metrizations of the hyperspace of compact sets, Fundam. Math., 41 (1955), 168–202.
J. Bryant, S. Ferry, W. Mio, and S. Weinberger, Topology of homology manifolds, Ann. Math., 143 (1996), 435–467.
J. W. Cannon, Shrinking cell-like decompositions of manifolds. Codimension three, Ann. Math., 110 (1979), 83–112.
J. Cheeger, Differentiability of Lipschitz functions on metric measure spaces, Geom. Funct. Anal., 9 (1999), 428–517.
A. Connes, D. Sullivan, and N. Teleman, Quasiconformal mappings, operators on Hilbert space, and local formulae for characteristic classes, Topology, 33 (1994), 663–681.
G. David and S. Semmes, Fractured Fractals and Broken Dreams: Self-similar Geometry Through Metric and Measure, Oxford Lecture Series in Mathematics and its Applications, vol. 7, Clarendon, Oxford, 1997.
R. D. Edwards, The topology of manifolds and cell-like maps, in Proceedings of the International Congress of Mathematicians (Helsinki, 1978), pp. 111–127, Acad. Sci. Fennica, Helsinki, 1980.
L. C. Evans and R. F. Gariepy, Measure Theory and Fine Properties of Functions, Studies in Advanced Mathematics, CRC Press, Boca Raton, 1992.
H. Federer, Geometric Measure Theory, Die Grundlehren der mathematischen Wissenschaften, vol. 153, Springer, New York, 1969.
A. A. George Michael, On the smoothing problem, Tsukuba J. Math., 25 (2001), 13–45.
M. Gromov, Metric Structures for Riemannian and Non-Riemannian Spaces, Progress in Mathematics, vol. 152, Birkhäuser, Boston, 1999.
K. Grove, V. P. Petersen, and J. Y. Wu, Geometric finiteness theorems via controlled topology, Invent. Math., 99 (1990), 205–213.
J. Heinonen, Lectures on Analysis on Metric Spaces, Springer, New York, 2001.
J. Heinonen, The branch set of a quasiregular mapping, in Proceedings of the International Congress of Mathematicians, vol. II (Beijing, 2002), pp. 691–700, Higher Ed. Press, Beijing, 2002.
J. Heinonen, Lectures on Lipschitz Analysis, Report. University of Jyväskylä Department of Mathematics and Statistics, vol. 100, University of Jyväskylä, Jyväskylä, 2005.
J. Heinonen and T. Kilpeläinen, BLD-mappings in W 2,2 are locally invertible, Math. Ann., 318 (2000), 391–396.
J. Heinonen and P. Koskela, Quasiconformal maps in metric spaces with controlled geometry, Acta Math., 181 (1998), 1–61.
J. Heinonen and S. Rickman, Geometric branched covers between generalized manifolds, Duke Math. J., 113 (2002), 465–529.
J. Heinonen and D. Sullivan, On the locally branched Euclidean metric gauge, Duke Math. J., 114 (2002), 15–41.
J. Heinonen, P. Koskela, N. Shanmugalingam, and J. T. Tyson, Sobolev classes of Banach space-valued functions and quasiconformal mappings, J. Anal. Math., 85 (2001), 87–139.
M. W. Hirsch and B. Mazur, Smoothings of Piecewise Linear Manifolds, Annals of Mathematics Studies, vol. 80, Princeton University Press, Princeton, 1974.
S. Keith, Modulus and the Poincaré inequality on metric measure spaces, Math. Z., 245 (2003), 255–292.
S. Keith, A differentiable structure for metric measure spaces, Adv. Math., 183 (2004), 271–315.
S. Keith, Measurable differentiable structures and the Poincaré inequality, Indiana Univ. Math. J., 53 (2004), 1127–1150.
S. Keith and X. Zhong, The Poincaré inequality is an open ended condition, Ann. Math., 167 (2008), 575–599.
R. C. Kirby and L. C. Siebenmann, Foundational Essays on Topological Manifolds, Smoothings, and Triangulations, Annals of Mathematics Studies, vol. 80, Princeton University Press, Princeton, 1977. With notes by John Milnor and Michael Atiyah.
P. Koskela, Upper gradients and Poincaré inequalities, in Lecture Notes on Analysis in Metric Spaces (Trento, 1999), pp. 55–69, Appunti Corsi Tenuti Docenti Sc. Scuola Norm. Sup., Pisa, 2000.
T. J. Laakso, Plane with A ∞-weighted metric not bi-Lipschitz embeddable to \(\Bbb{R}\sp N\), Bull. Lond. Math. Soc., 34 (2002), 667–676.
J. Luukkainen and J. Väisälä, Elements of Lipschitz topology, Ann. Acad. Sci. Fenn., Ser. A 1 Math., 3 (1977), 85–122.
O. Martio and J. Väisälä, Elliptic equations and maps of bounded length distortion, Math. Ann., 282 (1988), 423–443.
P. Mattila, Geometry of Sets and Measures in Euclidean Spaces, Cambridge Studies in Advanced Mathematics, vol. 44, Cambridge University Press, Cambridge, 1995.
J. Milnor, Topological manifolds and smooth manifolds, in Proc. Internat. Congr. Mathematicians (Stockholm, 1962), pp. 132–138, Inst. Mittag-Leffler, Djursholm, 1963.
J. W. Milnor and J. D. Stasheff, Characteristic Classes, Annals of Mathematics Studies, vol. 76, Princeton University Press, Princeton, 1974.
E. E. Moise, Geometric Topology in Dimensions 2 and 3, Graduate Texts in Mathematics, vol. 47, Springer, New York, 1977.
S. Müller and V. Šverák, On surfaces of finite total curvature, J. Differ. Geom., 42 (1995), 229–258.
J. Munkres, Obstructions to imposing differentiable structures, Ill. J. Math., 8 (1964), 361–376.
C. C. Pugh, Smoothing a topological manifold, Topol. Appl., 124 (2002), 487–503.
F. Quinn, An obstruction to the resolution of homology manifolds, Mich. Math. J., 34 (1987), 285–291.
Y. G. Reshetnyak, Space mappings with bounded distortion, Sib. Mat. Zh., 8 (1967), 629–659.
Y. G. Reshetnyak, Space Mappings with Bounded Distortion, Translations of Mathematical Monographs, vol. 73, American Mathematical Society, Providence, 1989. Translated from the Russian by H. H. McFaden.
S. Rickman, Quasiregular Mappings, Springer, Berlin, 1993.
S. Semmes, Bi-Lipschitz mappings and strong A ∞ weights, Ann. Acad. Sci. Fenn., Ser. A 1 Math., 18 (1993), 211–248.
S. Semmes, Finding curves on general spaces through quantitative topology, with applications to Sobolev and Poincaré inequalities, Sel. Math., 2 (1996), 155–295.
S. Semmes, Good metric spaces without good parameterizations, Rev. Mat. Iberoam., 12 (1996), 187–275.
S. Semmes, On the nonexistence of bi-Lipschitz parameterizations and geometric problems about A ∞-weights, Rev. Mat. Iberoam., 12 (1996), 337–410.
Y. Shikata, On a distance function on the set of differentiable structures, Osaka J. Math., 3 (1966), 65–79.
Y. Shikata, On the smoothing problem and the size of a topological manifold, Osaka J. Math., 3 (1966), 293–301.
L. Siebenmann and D. Sullivan, On complexes that are Lipschitz manifolds, in Geometric Topology, pp. 503–525, Academic Press, New York, 1979.
D. Sullivan, Hyperbolic geometry and homeomorphisms, in Geometric Topology (Proc. Georgia Topology Conf., Athens, GA., 1977), pp. 543–555, Academic Press, New York, 1979.
D. Sullivan, Exterior d, the local degree, and smoothability, in Prospects in Topology (Princeton, NJ, 1994), Ann. of Math. Stud., vol. 138, pp. 328–338, Princeton Univ. Press, Princeton, 1995.
D. Sullivan, The Ahlfors-Bers measurable Riemann mapping theorem for higher dimensions. Lecture at the Ahlfors celebration, Stanford University, September 1997, http://www.msri.org/publications/ln/hosted/ahlfors/1997/sullivan/1/index.html.
D. Sullivan, On the Foundation of Geometry, Analysis, and the Differentiable Structure for Manifolds, in Topics in Low-Dimensional Topology (University Park, PA, 1996), pp. 89–92, World Sci. Publishing, River Edge, 1999.
N. Teleman, The index of signature operators on Lipschitz manifolds, Inst. Hautes Études Sci. Publ. Math., 58 (1984), 39–78.
T. Toro, Surfaces with generalized second fundamental form in L 2 are Lipschitz manifolds, J. Differ. Geom., 39 (1994), 65–101.
T. Toro, Geometric conditions and existence of bi-Lipschitz parameterizations, Duke Math. J., 77 (1995), 193–227.
J. Väisälä, Minimal mappings in Euclidean spaces, Ann. Acad. Sci. Fenn., Ser. A 1 Math., 366 (1965), 22.
J. Väisälä, Exhaustions of John domains, Ann. Acad. Sci. Fenn., Ser. A 1 Math., 19 (1994), 47–57.
J. H. C. Whitehead, Manifolds with transverse fields in Euclidean space, Ann. Math., 73 (1961), 154–212.
H. Whitney, Geometric Integration Theory, Princeton University Press, Princeton, 1957.
K. Wildrick, Quasisymmetric structures on surfaces. Preprint, September 2007.
K. Wildrick, Quasisymmetric Parameterizations of Two-Dimensional Metric Spaces, PhD thesis, University of Michigan, 2007.
Author information
Authors and Affiliations
Corresponding author
Additional information
Juha Heinonen passed away during the very final preparation of this paper. S.K. dedicates this work to his memory.
The first author was supported by the NSF grants DMS 0244421, 0353549, and 0652915.
The second author (Stephen Keith) was employed at the University of Helsinki and at the Centre for Mathematics and its Application at Australia National University during part of the research for this paper.
About this article
Cite this article
Heinonen, J., Keith, S. Flat forms, bi-Lipschitz parametrizations, and smoothability of manifolds. Publ.math.IHES 113, 1–37 (2011). https://doi.org/10.1007/s10240-011-0032-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10240-011-0032-4