SearcharxivSearch

arXiv subjects

Yan Mary He

Publications and source records attributed to Yan Mary He.

At least 19 recordsLinked to original sources

Tropicalizing polynomial strata

Let ${\rm Poly}_D(\vec\mu^*)$ be the ramification stratum in the parameter space of degree $D \geq 2$ complex polynomials consisting of polynomials with ramification profile $\vec\mu^*$. In this paper, we introduce a space $\mathcal{T}_D(\vec\mu^*)$ of framed decorated polynomial trees and identify it with the dynamical tropicalization of ${\rm Poly}_D(\vec\mu^*)$. A non-trivial point is that the tropicalization of ${\rm Poly}_D(\vec\mu^*)$ is not available a priori, as the stratum does not come with a previously known proper toroidal compactification. We resolve this issue by identifying ${\rm Poly}_D(\vec\mu^*)$ with a rigidified framed Hurwitz space. Using the twisted admissible cover compactification, together with additional rigidifying data, we construct a proper toroidal compactification and hence an associated Berkovich skeleton. We prove that $\mathcal{T}_D(\vec\mu^*)$ is isomorphic to this skeleton. We further show that the projectivized tree space $\mathbb P\mathcal{T}_D(\vec\mu^*)$ compactifies ${\rm Poly}_D(\vec\mu^*)$. Finally, we compare this compactification with the DeMarco--McMullen compactification of polynomial moduli by projectivized space of polynomial trees.

math.AG

A thermodynamic path metric for complex Hénon maps

We construct a Hermitian covariance form on hyperbolic components in parameter spaces of complex Hénon maps, associated to the full complex unstable derivative cocycle. The form measures infinitesimal variations in the marked complex unstable multiplier spectrum. Using a recent multiplier rigidity theorem by Cantat--Dujardin, we prove that it induces a distance on every hyperbolic component. Motivated by Sullivan's dictionary and by the thermodynamic interpretation of the Weil--Petersson metric, our result gives a first higher-dimensional holomorphic-dynamical counterpart of pressure-type metric structures. On the other hand, the construction differs from the one-dimensional theory in an essential way: it replaces the real geometric potential measuring unstable expansion by the full complex unstable derivative cocycle. This also suggests a complex derivative cocycle counterpart to pressure-type metric structures in Teichmüller theory and Anosov representation theory.

math.DS

Complex Diophantine Approximations and Cusp Excursions

We study the Hausdorff dimension spectrum of asymptotic approximation rates of complex Diophantine approximation and that of the asymptotic average excursion time of cusp excursions on the Bianchi orbifold $\mathbb{H}^3/\operatorname{PSL}(2,\mathbb {Z}[i])$ via a unified approach using the Hurwitz map. In particular, we construct a conformal graph directed system (CGDS) for the Hurwitz map and show that the Lyapunov exponent of the Hurwitz CGDS simultaneously captures the asymptotic approximation rate and the the asymptotic average excursion time. Applying the multifractal analysis of Lyapunov exponents for this system, we obtain a formula and real-analyticity for the Hausdorff dimension spectrum functions.

math.DS

A Ruelle-McMullen formula for the volume dimension of skew products in $\mathbb C^2$

Ruelle gave an explicit second-order expansion at $c=0$ of the Hausdorff dimension of the Julia set of the quadratic family $f_c(z)=z^2+c$. McMullen later extended this result to polynomial perturbations of $z^d$ for arbitrary degree $d\geq 2$. In this paper we study an analogue of this problem for skew products in $\mathbb C^2$. Since holomorphic dynamical systems in higher dimensions are non-conformal, we replace the Hausdorff dimension by the \emph{volume dimension}, a dynamically defined notion we introduced in our earlier work and characterized as the zero of a natural pressure function. We consider families of holomorphic skew products of the form \[ f_t(z,w)=(z^d, w^d+t(c_1 (z) w^{d-1} +c_2(z)w^{d-2} + \cdots+c_d(z))). \] Our main result gives an explicit second-order expansion of the volume dimension of the Julia set $J(f_t)$ as $t\to0$ in terms of the coefficients $c_k(z)$.

math.DS

Multifractal Analysis of Equilibrium States of Endomorphisms of $\mathbb{P}^k$

Let $f$ be a holomorphic endomorphism of $\mathbb{C}\mathbb{P}^k$ of algebraic degree at least $2$ and let $X \subseteq \mathbb{C}\mathbb{P}^k$ be an uniformly expanding set. In this paper, we study multifractal analysis of equilibrium states of Hölder continuous functions for the non-conformal dynamical system $f : X \to X$. In lieu of Hausdorff dimensions, we use a new dimension theory (i.e., the volume dimension theory) to define various local dimension multifractal spectra and show that each of these spectra form a Legendre transform pair with the temperature function as in the conformal case. As an application of our main theorems, we also prove a conditional variational principle for such dimension multifractal spectra.

math.DS

Manhattan curves in complex dynamics and asymptotic correlation of multiplier spectra

The Manhattan curve for a pair of hyperbolic structures (possibly with cusps) on a given surface is a geometric object that encodes the growth rate of lengths of closed geodesics with respect to the two different hyperbolic metrics. It has been extensively studied as a way to understand geodesics on surfaces, the thermodynamic formalism of the geodesic flows and comparison of hyperbolic metrics. Via Sullivan's dictionary, in this paper, we define and study the Manhattan curve for a pair of hyperbolic rational maps on $\mathbb C\mathbb P^1$, and more generally of holomorphic endomorphisms of $\mathbb{C}\mathbb{P}^k$. We discuss several counting results for the multiplier spectrum and show that the Manhattan curve for two holomorphic endomorphisms is related to the correlation number of their multiplier spectra.

math.DS

Analyticity of the Hausdorff dimension and metric structures on Misiurewicz families of polynomials

Consider a holomorphic family $(f_λ)_{λ\in Λ}$ of polynomial maps on $\mathbb C$ with the property that a critical point of $f_λ$ is persistently preperiodic to a repelling periodic point of $f_λ$. Let $Ω$ be a bounded stable component of $Λ$ with the property that, for all $λ\in Ω$, all the other critical points of $f_λ$ belong to attracting basins. In this paper, we introduce a dynamically meaningful geometry on $Ω$ by constructing a natural path metric on $Ω$ coming from a 2-form $\langle \cdot, \cdot \rangle_G$. Our construction uses thermodynamic formalism. A key ingredient is the spectral gap of adapted transfer operators on suitable Banach spaces, which also implies the analyticity of $\langle \cdot, \cdot \rangle_G$ on the unit tangent bundle of $Ω$. As part of our construction, we recover a result of Skorulski and Urbański stating that the Hausdorff dimension of the Julia set of $f_λ$ varies analytically over $Ω$.

math.DS

Analytic Theory on the Space of Blaschke Products: Simultaneous Uniformization and Pressure Metric

In this paper, we study complex analytic aspects of the moduli space $\Bcal_d^{fm}$ of degree $d\ge2$ fixed-point-marked Blaschke products. We define a complex structure on $\Bcal_d^{fm}$ and prove the simultaneous uniformization theorem for fixed-point-marked quasi-Blaschke products. As an application, we show that the pressure semi-norms on the space of Blaschke products are non-degenerate outside of the super-attracting locus $\mathcal{SA}^{fm}_d$, which is a codimension-1 subspace of $\Bcal^{fm}_d$.

math.DS

Relative train tracks and generalized endperiodic graph maps

Motivated by the work of Cantwell-Conlon-Fenley on endperiodic homeomorphisms of infinite type surfaces, we define and study endperiodic and generalized endperiodic maps of an infinite graph with finitely many ends. Adapting the work of Bestvina-Handel to the infinite type setting, we define endperiodic relative train track maps. We prove that any generalized endperiodic map is homotopic to a generalized endperiodic relative train track map, via a combinatorially bounded homotopy equivalence. We show that the (largest) Perron-Frobenius eigenvalue of a relative train track representation of a generalized endperiodic map $f$ is a canonical quantity associated to $f$ as it admits a canonical group theoretic interpretation. Moreover, the (largest) Perron-Frobenius eigenvalue and the topological entropy of a relative train track map is the smallest among its proper homotopy equivalence class.

math.GT

Pressure metrics in geometry and dynamics

In this article, we first provide a survey of pressure metrics on various deformation spaces in geometry, topology, and dynamics. Then we discuss pressure semi-norms and their degeneracy loci in the space of quasi-Blaschke products

math.DS

Basmajian's identity over non-Archimedean local fields

Let $Σ$ be a connected compact oriented surface with boundary and negative Euler characteristic. Let $k$ be a non-Archimedean local field. In this paper, we prove Basmajian's identity for projective Anosov representations $ρ\colon π_1Σ\to {\rm PSL}(d,k), d\ge 2$. Our series identity exhibits a drastic difference from all the Basmajian-type identities over the Archimedean fields $\mathbb{R}$ and $\mathbb{C}$. In particular, the series is a signed finite sum. When $d=2$, we give a geometric proof of the identity using Berkovich hyperbolic geometry.

math.GT

Pressure path metrics on parabolic families of polynomials

Let $Λ$ be a subfamily of the moduli space of degree $D\ge2$ polynomials defined by a finite number of parabolic relations. Let $Ω$ be a bounded stable component of $Λ$ with the property that all critical points are attracted by either the persistent parabolic cycles or by attracting cycles in $\mathbb C$. We construct a positive semi-definite pressure form on $Ω$ and show that it defines a path metric on $Ω$. This provides a counterpart in complex dynamics of the pressure metric on cusped Hitchin components recently studied by Kao and Bray-Canary-Kao-Martone.

math.DS

Dimension of equilibrium measures for complex maps

For certain families of complex maps, we give a formula for the Hausdorff dimension of the equilibrium measure. In particular, given an endomorphism $f$ of $\mathbb C\mathbb P^k$ of algebraic degree $d \ge2$, and given the equilibrium measure $μ$ with Lyapunov exponents $χ_1\geq \ldots\geq χ_k$, we show $\dim_\mathrm{H}(μ) = \log d\sum_{i\leq k}\frac{1}{χ_i}$ where $\dim_\mathrm{H}(μ)$ is the Hausdorff dimension of the measure $μ$. This gives an answer to the question of Fornæss and Sibony, and proves the Binder-DeMarco Conjecture.

math.DS

On a metric view of the polynomial shift locus

We relate generic points in the shift locus $\mathcal{S}_D$ of degree $D\ge 2$ polynomials to metric graphs. Using thermodynamic metrics on the space of metric graphs, we obtain a distance function $ρ_D$ on $\mathcal{S}_D$. We study the (in)completeness of the metric space $(\mathcal{S}_D, ρ_D)$. We prove that when $D \ge 3$, the space $(\mathcal{S}_D, ρ_D)$ is incomplete and its metric completion contains a subset homeomorphic to the space $\mathbb{P}\mathcal{ST}_D^*$ introduced by DeMarco and Pilgrim. This provides a new way to understand the space $\mathbb{P}\mathcal{ST}_D^*$.

math.DS

A Mañé-Manning formula for expanding measures for endomorphisms of $\mathbb P^k$

Let $k \ge 1$ be an integer and $f$ a holomorphic endomorphism of $\mathbb P^k (\mathbb C)$ of algebraic degree $d\geq 2$. We introduce a volume dimension for ergodic $f$-invariant probability measures with strictly positive Lyapunov exponents. In particular, this class of measures includes all ergodic measures whose measure-theoretic entropy is strictly larger than $(k-1)\log d$, a natural generalization of the class of measures of positive measure-theoretic entropy in dimension 1. The volume dimension is equivalent to the Hausdorff dimension when $k=1$, but depends on the dynamics of $f$ to incorporate the possible failure of Koebe's theorem and the non-conformality of holomorphic endomorphisms for $k\geq 2$. If $ν$ is an ergodic $f$-invariant probability measure with strictly positive Lyapunov exponents, we prove a generalization of the Mañé-Manning formula relating the volume dimension, the measure-theoretic entropy, and the sum of the Lyapunov exponents of $ν$. As a consequence, we give a characterization of the first zero of a natural pressure function for such expanding measures in terms of their volume dimensions. For hyperbolic maps, such zero also coincides with the volume dimension of the Julia set, and with the exponent of a natural (volume-)conformal measure. This generalizes results by Denker-Urbański and McMullen in dimension 1 to any dimension $k\geq 1$. Our methods mainly rely on a theorem by Berteloot-Dupont-Molino, which gives a precise control on the distortion of inverse branches of endomorphisms along generic inverse orbits with respect to measures with strictly positive Lyapunov exponents.

math.DS

Non-realizability of some big mapping class groups

In this note, we prove that the compactly supported mapping class group of a surface containing a genus $3$ subsurface has no realization as a subgroup of the homeomorphism group. We also prove that for certain surfaces with order $6$ symmetries, their mapping class groups have no realization as a subgroup of the homeomorphism group. Examples of such surfaces include the plane minus a Cantor set and the sphere minus a Cantor set.

math.GT

Quantitative equidistribution of angles of multipliers

We study angles of multipliers of repelling cycles for hyperbolic rational maps in $\mathbb C(z)$. For a fixed $K \gg 1$, we show that almost all intervals of length $2π/K$ in $(-π,π]$ contain a multiplier angle with the property that the norm of the multiplier is bounded above by a polynomial in $K$.

math.DS

Entropy spectrum of rotation classes

In this note we study the entropy spectrum of rotation classes for collections of finitely many continuous potentials $φ_1,\dots,φ_m:X\to \mathbb{R}$ with respect to the set of invariant measures of an underlying dynamical system $f:X\to X$. We show for large classes of dynamical systems and potentials that these entropy spectra are maximal in the sense that every value between zero and the maximum is attained. We also provide criteria that imply the maximality of the ergodic entropy spectra. For $m$ being large, our results can be interpreted as a complimentary result to the classical Riesz representation theorem in the dynamical context.

math.DS