pith. sign in

arxiv: 2412.19651 · v1 · submitted 2024-12-27 · 🧮 math.DS

Compactifications and measures for rational maps

Jan Kiwi , Hongming Nie This is my paper

Pith reviewed 2026-05-23 07:27 UTC · model grok-4.3

classification 🧮 math.DS
keywords rational mapsmeasure of maximal entropycompactificationsmoduli spaceparameter spaceiterate mapcomplex dynamics
0
0 comments X

The pith

The measure of maximal entropy for rational maps extends continuously to resolution spaces of parameter and moduli spaces.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines extensions of the measure of maximal entropy for rational maps acting on the Riemann sphere. It builds resolution spaces that correct discontinuities in the iterate map, first for the parameter space and then for the moduli space via its geometric invariant theory compactification. The measure extends continuously in the parameter resolution. In the moduli resolution the barycentered version, taken modulo rotations, also extends continuously. The work relies on a description of limiting dynamics for sequences of maps and gives a positive answer to a question raised by DeMarco.

Core claim

The authors construct resolution spaces for the parameter space of rational maps that resolve discontinuities of the iterate map and prove that the measure of maximal entropy extends continuously to this space. For the moduli space they use a resolution of the geometric invariant theory compactification and show that the measure of maximal entropy, barycentered and modulo rotations, extends continuously to this space. A main ingredient is a description of limiting dynamics for some sequences.

What carries the argument

Resolution spaces that resolve the discontinuity of the iterate map and allow the measure of maximal entropy to extend continuously.

If this is right

  • The measure of maximal entropy varies continuously over the resolution spaces.
  • Limits of rational maps can be studied through the continuous behavior of their entropy measures.
  • The barycentered and rotation-adjusted measure extends continuously on the resolved moduli space.
  • Descriptions of limiting dynamics provide the control needed for the continuity statements.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same resolution technique might apply to other measures or invariants in families of rational maps.
  • Explicit low-degree examples could be computed to check the rate of convergence of the measures near the boundary.
  • The construction may connect to questions about continuity of other dynamical quantities on similar compactifications.

Load-bearing premise

The description of limiting dynamics for sequences of maps controls the extension of the measure to the resolution spaces.

What would settle it

A sequence of rational maps in which the measure of maximal entropy fails to extend continuously to the resolution space even though the limiting-dynamics description holds.

Figures

Figures reproduced from arXiv: 2412.19651 by Hongming Nie, Jan Kiwi.

Figure 1
Figure 1. Figure 1: Structure Theorem Continuity of F is equivalent, once (1) is established, to ˜φn,n+1(∞) = ∞ and ˜φn−1,n(0) = 0 for n > m. Statement (3) yields that deg ˜φn,n+1 is a non-increasing function of n > m. Moreover, from statements (1)-(3), ˜φn,n+1 is a polynomial for all n > m [PITH_FULL_IMAGE:figures/full_fig_p012_1.png] view at source ↗
read the original abstract

We study extensions of the measure of maximal entropy to suitable compactifications of the parameter space and the moduli space of rational maps acting on the Riemann sphere. For parameter space, we consider a space which resolves the discontinuity of the iterate map. We show that the measure of maximal entropy extends continuously to this resolution space. For moduli space, we consider a space which resolves the discontinuity of the iterate map acting on its geometric invariant theory compactification. We show that the measure of maximal entropy, barycentered and modulo rotations, also extends continuously to this resolution space. Thus, answering in the positive a question raised by DeMarco. A main ingredient is a description of limiting dynamics for some sequences.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The manuscript studies extensions of the measure of maximal entropy for rational maps on the Riemann sphere to compactifications of the parameter space and the moduli space. It constructs a resolution space for the parameter space that resolves discontinuities of the iterate map and proves continuous extension of the measure. For the moduli space, it uses a resolution of the GIT compactification and shows that the barycentered measure (modulo rotations) extends continuously, positively answering a question of DeMarco. The key technical ingredient is a description of limiting dynamics for certain sequences of maps.

Significance. If the continuity statements hold, the work provides a framework for extending the measure of maximal entropy across natural compactifications, which may facilitate the study of limiting dynamical behavior in families of rational maps. The resolution-space constructions and the limiting-dynamics description constitute the main contributions; the positive resolution of DeMarco's question is a clear point of interest for the field.

major comments (1)
  1. [Abstract / §1] The abstract identifies the description of limiting dynamics as the main ingredient controlling the continuous extension, yet no explicit statement of this description (e.g., as a theorem in §3 or §4) or verification that it suffices for the measure extension is visible in the provided material; if this description fails to control the barycenter or rotation quotient, the moduli-space claim would not follow.
minor comments (1)
  1. [Introduction] The terms 'barycentered' and 'modulo rotations' are used without immediate definition; add a sentence in the introduction clarifying these operations before they appear in the main statements.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying an issue with the clarity of the presentation. We address the major comment below and will revise the manuscript to make the logical structure more explicit.

read point-by-point responses

  1. Referee: [Abstract / §1] The abstract identifies the description of limiting dynamics as the main ingredient controlling the continuous extension, yet no explicit statement of this description (e.g., as a theorem in §3 or §4) or verification that it suffices for the measure extension is visible in the provided material; if this description fails to control the barycenter or rotation quotient, the moduli-space claim would not follow.

    Authors: We agree that the description of limiting dynamics should be stated more explicitly. In the full manuscript this description appears in Section 3 (as a series of propositions on the convergence of measures and supports under the resolved iterate map), but it is not isolated as a single numbered theorem. We will add a dedicated theorem statement (e.g., Theorem 3.5) that summarizes the limiting-dynamics description. We will also insert a short verification paragraph (or subsection) immediately following the theorem, showing how the stated convergence properties imply continuity of the measure of maximal entropy on the parameter-space resolution and, after barycentering and quotienting by rotations, on the moduli-space resolution. This will make the dependence of the main theorems on the limiting-dynamics ingredient fully transparent. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on independent description of limiting dynamics

full rationale

The paper's central claims concern continuous extension of the measure of maximal entropy to resolution spaces for parameter and moduli spaces of rational maps, answering a question of DeMarco. The abstract explicitly identifies the key ingredient as a new description of limiting dynamics for sequences, which is presented as an independent contribution rather than a fit, self-definition, or self-citation chain. No equations or steps in the provided material reduce the extension result to its own inputs by construction, and the work is self-contained against external benchmarks with no load-bearing self-citations or ansatzes smuggled in. This is the normal honest outcome for a paper whose main advance is a new dynamical description.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no information on free parameters, axioms, or invented entities used in the proofs.

pith-pipeline@v0.9.0 · 5629 in / 986 out tokens · 20254 ms · 2026-05-23T07:27:47.114900+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages · 1 internal anchor

  1. [1]

    Compactification and trees of spheres covers

    Matthieu Arfeux. Compactification and trees of spheres covers. Conform. Geom. Dyn. , 21:225--246, 2017

    work page 2017

  2. [2]

    Conformally natural extension of homeomorphisms of the circle

    Adrien Douady and Clifford Earle. Conformally natural extension of homeomorphisms of the circle . Acta Mathematica , 157(none):23 -- 48, 1986

    work page 1986

  3. [3]

    Iteration at the boundary of the space of rational maps

    Laura DeMarco. Iteration at the boundary of the space of rational maps. Duke Math. J. , 130(1):169--197, 2005

    work page 2005

  4. [4]

    The moduli space of quadratic rational maps

    Laura DeMarco. The moduli space of quadratic rational maps. J. Amer. Math. Soc. , 20(2):321--355, 2007

    work page 2007

  5. [5]

    Degenerations of complex dynamical systems

    Laura DeMarco and Xander Faber. Degenerations of complex dynamical systems. Forum Math. Sigma , 2:Paper No. e6, 36, 2014

    work page 2014

  6. [6]

    On the dynamics of polynomial-like mappings

    Adrien Douady and John Hamal Hubbard. On the dynamics of polynomial-like mappings. Ann. Sci. \'Ecole Norm. Sup. (4) , 18(2):287--343, 1985

    work page 1985

  7. [7]

    Topology and geometry of the B erkovich ramification locus for rational functions, I

    Xander Faber. Topology and geometry of the B erkovich ramification locus for rational functions, I . Manuscripta Math. , 142(3-4):439--474, 2013

    work page 2013

  8. [8]

    Degeneration of endomorphisms of the complex projective space in the hybrid space

    Charles Favre. Degeneration of endomorphisms of the complex projective space in the hybrid space. J. Inst. Math. Jussieu , 19(4):1141--1183, 2020

    work page 2020

  9. [9]

    Non-Archimedean techniques and dynamical degenerations

    Charles Favre and Chen Gong. Non-Archimedean techniques and dynamical degenerations . arXiv e-prints , page arXiv:2406.15892, June 2024

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  10. [10]

    An invariant measure for rational maps

    Alexandre Freire, Artur Lopes, and Ricardo Ma\ n \' e . An invariant measure for rational maps. Bol. Soc. Brasil. Mat. , 14(1):45--62, 1983

    work page 1983

  11. [11]

    Indeterminacy loci of iterate maps in moduli space

    Jan Kiwi and Hongming Nie. Indeterminacy loci of iterate maps in moduli space. Indiana Univ. Math. J. , 72(3):969--1026, 2023

    work page 2023

  12. [12]

    Entropy properties of rational endomorphisms of the R iemann sphere

    Mikhail Lyubich. Entropy properties of rational endomorphisms of the R iemann sphere. Ergodic Theory Dynam. Systems , 3(3):351--385, 1983

    work page 1983

  13. [13]

    On the uniqueness of the maximizing measure for rational maps

    Ricardo Ma\ n \' e . On the uniqueness of the maximizing measure for rational maps. Bol. Soc. Brasil. Mat. , 14(1):27--43, 1983

    work page 1983

  14. [14]

    On a degenerating limit theorem of DeMarco--Faber

    Y \^u suke Okuyama . On a degenerating limit theorem of DeMarco--Faber . Publ. Res. Inst. Math. Sci. , 60(1):71--107, 2024

    work page 2024

  15. [15]

    The intrinsic reductions and the intrinsic depths in non-archimedean dynamics

    Y \^u suke Okuyama . The intrinsic reductions and the intrinsic depths in non-archimedean dynamics . arXiv e-prints , page arXiv:2408.04415, August 2024

    work page arXiv 2024

  16. [16]

    Silverman

    Joseph H. Silverman. The space of rational maps on P^1 . Duke Math. J. , 94(1):41--77, 1998

    work page 1998