Showing 1–3 of 3 results for author: Helfter, M

On Cantor sets with arbitrary Hausdorff and packing measures

Authors: Mathieu Helfter

Abstract: For every couple of Hausdorff functions $ψ, \varphi$ verifying some mild assumptions, we construct a compact subset $ K $ of the Baire space such that the $\varphi$-Hausdorff measure and the $ψ$-packing measure on $ K $ are both finite and positive. We then embed such examples in any infinite-dimensional Banach space to answer positively to a question of Fan on the existence of metric spaces with… ▽ More For every couple of Hausdorff functions $ψ, \varphi$ verifying some mild assumptions, we construct a compact subset $ K $ of the Baire space such that the $\varphi$-Hausdorff measure and the $ψ$-packing measure on $ K $ are both finite and positive. We then embed such examples in any infinite-dimensional Banach space to answer positively to a question of Fan on the existence of metric spaces with arbitrary scales. △ Less

Submitted 10 February, 2025; originally announced February 2025.

Comments: 12 pages, 0 figure

Every diffeomorphism is a total renormalization of a close to identity map

Authors: Pierre Berger, Nicolaz Gourmelon, Mathieu Helfter

Abstract: For any $1\le r\le \infty$, we show that every diffeomorphism of a manifold of the form $\mathbb{R}/\mathbb{Z} \times M$ is a total renormalization of a $C^r$-close to identity map. In other words, for every diffeomorphism $f$ of $\mathbb{R}/\mathbb{Z} \times M$, there exists a map $g$ arbitrarily close to identity such that the first return map of $g$ to a domain is conjugate to $f$ and moreover… ▽ More For any $1\le r\le \infty$, we show that every diffeomorphism of a manifold of the form $\mathbb{R}/\mathbb{Z} \times M$ is a total renormalization of a $C^r$-close to identity map. In other words, for every diffeomorphism $f$ of $\mathbb{R}/\mathbb{Z} \times M$, there exists a map $g$ arbitrarily close to identity such that the first return map of $g$ to a domain is conjugate to $f$ and moreover the orbit of this domain is equal to $\mathbb{R}/\mathbb{Z} \times M$. This enables us to localize nearby the identity the existence of many properties in dynamical systems, such as being Bernoulli for a smooth volume form. △ Less

Submitted 3 December, 2024; v1 submitted 17 October, 2022; originally announced October 2022.

Comments: To appear in Inventiones mathematicae. 29 pages, 8 figures

Scales

Authors: Mathieu Helfter

Abstract: We introduce the notion of scale to generalize and compare different invariants of metric spaces and their measures. Several versions of scales are introduced such as Hausdorff, packing, box, local and quantization. They moreover are defined for different growth, allowing in particular a refined study of infinite dimensional spaces. We prove general theorems comparing the different versions of sca… ▽ More We introduce the notion of scale to generalize and compare different invariants of metric spaces and their measures. Several versions of scales are introduced such as Hausdorff, packing, box, local and quantization. They moreover are defined for different growth, allowing in particular a refined study of infinite dimensional spaces. We prove general theorems comparing the different versions of scales. They are applied to describe geometries of ergodic decompositions, of the Wiener measure and of functional spaces. The first application solves a problem of Berger on the notions of emergence (2020); the second lies in the geometry of the Wiener measure and extends the work of Dereich-Lifshits (2005); the last refines Kolmogorov-Tikhomirov (1958) study on functional spaces. △ Less

Submitted 10 February, 2025; v1 submitted 10 June, 2022; originally announced June 2022.