Abstract
We present a new method of proving the Diophantine extremality of various dynamically defined measures, vastly expanding the class of measures known to be extremal. This generalizes and improves the celebrated theorem of Kleinbock and Margulis (’98) resolving Sprindžuk’s conjecture, as well as its extension by Kleinbock, Lindenstrauss, and Weiss (’04), hereafter abbreviated KLW. As applications we prove the extremality of all hyperbolic measures of smooth dynamical systems with sufficiently large Hausdorff dimension, of the Patterson–Sullivan measures of all nonplanar geometrically finite groups, and of the Gibbs measures (including conformal measures) of infinite iterated function systems. The key technical idea, which has led to a plethora of new applications, is a significant weakening of KLW’s sufficient conditions for extremality. In Part I, we introduce and develop a systematic account of two classes of measures, which we call quasi-decaying and weakly quasi-decaying. We prove that weak quasi-decay implies strong extremality in the matrix approximation framework, thus proving a conjecture of KLW. We also prove the “inherited exponent of irrationality” version of this theorem, describing the relationship between the Diophantine properties of certain subspaces of the space of matrices and measures supported on these subspaces. In subsequent papers, we exhibit numerous examples of quasi-decaying measures, in support of the thesis that “almost any measure from dynamics and/or fractal geometry is quasi-decaying”. We also discuss examples of non-extremal measures coming from dynamics, illustrating where the theory must halt.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Aka, M., Breuillard, E., Rosenzweig, L., de Saxcé, N.: On metric Diophantine approximation in matrices and Lie groups. C. R. Math. Acad. Sci. Paris 353(3), 185–189 (2015)
Aka, M., Breuillard, E., Rosenzweig, L., de Saxcé, N.: Diophantine approximation on matrices and Lie groups (2016) https://arxiv.org/abs/1603.03800, preprint
Barreira, L.M., Pesin, Y.B., Schmeling, J.: Dimension and product structure of hyperbolic measures. Ann. of Math. (2) 149(3), 755–783 (1999)
Blaya, A.B., López, V.J.: On the relations between positive Lyapunov exponents, positive entropy, and sensitivity for interval maps. Discrete Contin. Dyn. Syst. 32(2), 433–466 (2012)
Beresnevich, V., Kleinbock, D., Margulis, G.: Non-planarity and metric Diophantine approximation for systems of linear forms. J. Théor. Nombres Bordx 27(1), 1–31 (2015)
Dani, S.G.: Bounded orbits of flows on homogeneous spaces. Comment. Math. Helv. 61(4), 636–660 (1986)
Das, T., Fishman, L., Simmons, D., Urbański, M.: Extremality and dynamically defined measures, part II: measures from conformal dynamical systems (2015) http://arxiv.org/abs/1508.05592, preprint
Fishman, L., Kleinbock, D., Merrill, K., Simmons, D.: Intrinsic Diophantine approximation on manifolds (2014) http://arxiv.org/abs/1405.7650v2, preprint
Fishman, L., Merrill, K., Simmons, D.: Hausdorff dimensions of very well intrinsically approximable subsets of quadratic hypersurfaces (2015) http://arxiv.org/abs/1502.07648, preprint
Fishman, L., Simmons, D., Urbański, M.: Diophantine properties of measures invariant with respect to the Gauss map. J. Anal. Math. 122, 289–315 (2014)
Hofbauer, F.: Local dimension for piecewise monotonic maps on the interval. Ergod. Theory Dyn. Syst. 15(6), 1119–1142 (1995)
Kleinbock, D., Lindenstrauss, E., Weiss, B.: On fractal measures and Diophantine approximation. Sel. Math. 10, 479–523 (2004)
Kleinbock, D., Margulis, G.: Flows on homogeneous spaces and Diophantine approximation on manifolds. Ann. of Math. (2) 148(1), 339–360 (1998)
Kleinbock, D., Margulis, G.: Logarithm laws for flows on homogeneous spaces. Invent. Math. 138(3), 451–494 (1999)
Kleinbock, D., Margulis, G., Wang, J.: Metric Diophantine approximation for systems of linear forms via dynamics. Int. J. Number Theory 6(5), 1139–1168 (2010)
Kleinbock, D., Weiss, B.: Badly approximable vectors on fractals. Israel J. Math. 149, 137–170 (2005)
Kristensen, S., Thorn, R., Velani, S.: Diophantine approximation and badly approximable sets. Adv. Math. 203, 132–169 (2006)
Mauldin, R.D., Szarek, T., Urbański, M.: Graph directed Markov systems on Hilbert spaces. Math. Proc. Camb. Philos. Soc. 147, 455–488 (2009)
Pollington, A., Velani, S.: Metric Diophantine approximation and “absolutely friendly” measures. Sel. Math. 11, 297–307 (2005)
Simmons, D.: Conditional measures and conditional expectation; Rohlin’s disintegration theorem. Discrete Contin. Dyn. Syst. 32(7), 2565–2582 (2012)
Stratmann, B., Urbański, M.: Diophantine extremality of the Patterson measure. Math. Proc. Camb. Philos. Soc. 140, 297–304 (2006)
Urbański, M.: Diophantine approximation and self-conformal measures. J. Number Theory 110, 219–235 (2005)
Urbański, M.: Diophantine approximation for conformal measures of one-dimensional iterated function systems. Compos. Math. 141(4), 869–886 (2005)
Wolsson, K.: Linear dependence of a function set of \(m\) variables with vanishing generalized Wronskians. Linear Algebra Appl. 117, 73–80 (1989)
Young, L.-S.: Dimension, entropy and Lyapunov exponents. Ergod. Theory Dyn. Syst. 2(1), 109–124 (1982)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Das, T., Fishman, L., Simmons, D. et al. Extremality and dynamically defined measures, part I: Diophantine properties of quasi-decaying measures. Sel. Math. New Ser. 24, 2165–2206 (2018). https://doi.org/10.1007/s00029-017-0324-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00029-017-0324-8