[Paper Review] The Quasi-Additivity Law in Conformal Geometry

Jeremy Kahn, Mikhail Lyubich|ArXiv.org|May 10, 2005

Mathematical Dynamics and Fractals4 references4 citations

TL;DR

This paper establishes the Quasi-Additivity Law in conformal geometry, proving that under near-degenerate conditions on a Riemann surface with multiple disjoint Jordan disks (archipelagos), the harmonic sum of extremal widths $ Y $ is bounded by the geometric mean of the union width $ X $ and separation width $ Z $, i.e., $ Y^2 \leq 2XZ $, with a constant depending only on topological complexity. This result leads to the Covering Lemma, a transformation rule for conformal moduli under branched coverings, which enables strong a priori bounds in holomorphic dynamics.

ABSTRACT

On a Riemann surface $S$ of finite type containing a family of $N$ disjoint disks $D_i$ (``islands''), we consider several natural conformal invariants measuring the distance from the islands to $\di S$ and separation between different islands. In a near degenerate situation we establish a relation between them called the Quasi-Additivity Law. We then generalize it to a Quasi-Invariance Law providing us with a transformation rule of the moduli in question under covering maps. This rule (and in particular, its special case called the Covering Lemma) has important applications in holomorphic dynamics which will be addressed in the forthcoming notes.

Motivation & Objective

• To establish a new analytic tool—called the Quasi-Additivity Law—for estimating conformal moduli in near-degenerate configurations of multiple disjoint disks (archipelagos) on a Riemann surface.
• To generalize this law into a Quasi-Invariance Law that describes how conformal moduli transform under branched covering maps.
• To provide a foundational tool for proving a priori bounds in holomorphic dynamics, particularly for proving local connectivity of Julia sets and convergence of renormalization.
• To derive the Covering Lemma as a special case of the Quasi-Invariance Law, enabling sharp estimates of modulus under covering maps.

Proposed method

• Define three conformal moduli: $ X $ (modulus of the union of archipelagos to the boundary), $ Y $ (harmonic sum of individual moduli), and $ Z $ (modulus of individual archipelagos to the rest of the surface).
• Prove the Quasi-Additivity Law: $ Y^2 \leq 2XZ $, valid when $ Y $ is large (near-degenerate case), with a constant $ K $ depending only on topological complexity.
• Introduce the concept of $ \xi $-separation, where $ Z \leq \xi Y $, and derive a corollary: $ Y \leq 2\xi X $ under this condition.
• Generalize the Quasi-Additivity Law to a Quasi-Invariance Law for branched coverings $ f: U \to V $, showing that moduli transform comparably under a 'collar assumption'.
• Use Dirichlet integral formulations of extremal width $ \mathcal{W}(U,A) = 4\int_{U\setminus A} |\partial h|^2 $, where $ h $ is harmonic with boundary values 1 on $ \partial A $ and 0 on $ \partial U $.
• Leverage lifting properties of curves under branched coverings and conformal metrics to bound extremal lengths and widths via pullback and area distortion.

Experimental results

Research questions

• RQ1 How do the conformal moduli $ X $, $ Y $, and $ Z $—measuring distance to the boundary and separation between archipelagos—relate in a near-degenerate configuration?
• RQ2 Can a uniform bound be established between $ Y $ and the geometric mean of $ X $ and $ Z $, independent of the number of archipelagos?
• RQ3 How do conformal moduli transform under branched covering maps in degenerate settings?
• RQ4 What is the sharp transformation rule for moduli under covering maps that enables strong a priori bounds in holomorphic dynamics?

Key findings

• The Quasi-Additivity Law holds: $ Y^2 \leq 2XZ $, with a constant depending only on the topological complexity $ \mathrm{Top} = -\chi(S) + \sum_j \#\operatorname{Comp}\partial A_j $.
• Under $ \xi $-separation ($ Z \leq \xi Y $), the bound $ Y \leq 2\xi X $ holds, showing $ X $ and $ Y $ are comparable in degenerate, well-separated cases.
• The Covering Lemma is established: for a branched covering $ f: U \to V $ of degree $ D $, with $ f|_\Lambda: \Lambda \to B $ of degree $ d $, and under a collar assumption, $ \operatorname{mod}(V\setminus B) \asymp d \cdot \operatorname{mod}(U\setminus \Lambda) $.
• The extremal width $ \mathcal{W}(U,A) $ is explicitly given by the Dirichlet integral $ 4\int_{U\setminus A} |\partial h|^2 $, where $ h $ is the harmonic function with boundary values 1 on $ \partial A $ and 0 on $ \partial U $.
• The transformation rule $ \operatorname{mod}(V,B) \geq d \cdot \operatorname{mod}(U,A) $ holds when $ f: A \to B $ is a branched covering of degree $ d $, and $ f: U\setminus A \to V\setminus B $ is a branched covering of degree $ N $.
• The full transformation rule $ \operatorname{mod}(V,B) = N \cdot \operatorname{mod}(U,A) $ holds when $ f: U\setminus A \to V\setminus B $ is a branched covering of degree $ N $, with equality in the Dirichlet integral formulation.