Pith. sign in

REVIEW 3 minor 15 references

Spherical normal forms for germs of parabolic line biholomorphisms

T0 review · 0 major / 3 minor · reviewed 2026-05-24 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗

Pith's one-line read A preferred parabolic map realizes any given Birkhoff-Écalle-Voronin modulus and is unique in its functional class.

desk verdict The paper gives a concrete spherical normal form Δ realizing a given modulus ψ with uniqueness inside the class of time-1 maps of Gevrey vector fields that have meromorphic sums on covering sectors. read the letter →

arxiv 2009.13127 v1 submitted 2020-09-28 math.CV math.DS

Loïc Teyssier (IRMA) This is my paper
classification math.CVmath.DS
keywords parabolicbiholomorphismsBirkhoff-Écalle-VoroninmodulusnormalformsinverseproblemGevreyformalvectorfieldsmeromorphicsumssphericaltangent-to-identitygerms
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper solves the inverse problem for holomorphic germs tangent to the identity near a fixed point. It constructs a preferred family of parabolic maps that realize any prescribed Birkhoff-Écalle-Voronin modulus while arising as time-1 maps of suitable formal vector fields. These maps admit meromorphic sums on two infinite sectors covering the Riemann sphere, so their analytic continuations are multivalued with finitely many branch points yet remain holomorphic and injective on an open slit sphere that contains both the original fixed point and its companion at infinity. The modulus attached to the companion germ is necessarily the functional inverse of the given modulus. The construction supplies a normal form together with a uniqueness statement inside the functional class defined by the Gevrey and sector-sum conditions.

What carries the argument

the preferred parabolic map Δ, realized as the time-1 map of a Gevrey formal vector field with meromorphic sums on covering sectors and holomorphic on a slit sphere

What would settle it

Exhibit either a Birkhoff-Écalle-Voronin modulus that cannot be realized by any map in the stated functional class, or two distinct maps in that class realizing the same modulus.

Watch

Extended reading notes

Core claim

We address the inverse problem for holomorphic germs of a tangent-to-identity mapping of the complex line near a fixed point. We provide a preferred (family of) parabolic map Δ realizing a given Birkhoff--Écalle-Voronin modulus ψ and prove its uniqueness in the functional class we introduce. The germ is the time-1 map of a Gevrey formal vector field admitting meromorphic sums on a pair of infinite sectors covering the Riemann sphere. For that reason, the analytic continuation of Δ is a multivalued map admitting finitely many branch points with finite monodromy. In particular Δ is holomorphic and injective on an open slit sphere containing 0 and ∞, where sits the companion parabolic point. It

Load-bearing premise

The germ is the time-1 map of a Gevrey formal vector field admitting meromorphic sums on a pair of infinite sectors covering the Riemann sphere.

Editorial extensions

If this is right

  • The analytic continuation of the realizing map admits only finitely many branch points with finite monodromy.
  • The realizing map remains holomorphic and injective on an open slit sphere containing the fixed points at zero and infinity.
  • The Birkhoff-Écalle-Voronin modulus of the companion germ at infinity equals the functional inverse of the original modulus.
  • Uniqueness holds inside the functional class of time-1 maps of Gevrey vector fields with the given sector-sum property.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The slit-sphere geometry pairs each modulus with its inverse, suggesting a global involution on the space of moduli induced by the map sending zero to infinity.
  • The construction supplies an explicit geometric model in which the inverse problem becomes a question of selecting a normal form inside a concrete class of multivalued functions on the sphere.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 3 minor

Summary. The paper addresses the inverse problem for holomorphic germs of tangent-to-identity biholomorphisms of the complex line. It constructs a preferred (family of) parabolic map Δ realizing a given Birkhoff-Écalle-Voronin modulus ψ and proves uniqueness within the functional class of germs arising as time-1 maps of Gevrey formal vector fields that admit meromorphic sums on a pair of infinite sectors covering the Riemann sphere. The resulting Δ has multivalued analytic continuation with finitely many branch points of finite monodromy; it is holomorphic and injective on an open slit sphere containing the fixed point 0 and the companion parabolic point at ∞ under the involution -1/id, and the Birkhoff-Écalle-Voronin modulus at ∞ is the functional inverse of ψ.

Significance. If the construction and uniqueness hold, the result supplies a canonical spherical normal form that canonically pairs the local dynamics at 0 and ∞ via the inverse modulus. This is a concrete advance for the analytic classification of parabolic germs, especially for those with controlled Gevrey asymptotics and sectorial meromorphic sums. The explicit scoping to a functional class admitting global meromorphic continuation is a strength that makes the claim falsifiable in principle.

minor comments (3)
  1. The abstract refers to 'the functional class we introduce' without a forward pointer to its precise definition (e.g., the section or equation that axiomatizes the class of admissible Δ). Adding such a pointer would improve readability.
  2. The notation 'ψ^{∘-1}' for the functional inverse should be introduced once in the text with a brief reminder of the composition convention used.
  3. The claim that Δ is 'holomorphic and injective on an open slit sphere' would benefit from an explicit description of the slit (or a reference to the figure or lemma that constructs it).

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and insightful report, which correctly summarizes the scope and contributions of our work on spherical normal forms. We appreciate the recommendation for minor revision and the recognition that the results are falsifiable within the stated functional class.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity detected

full rationale

The paper constructs a preferred parabolic map Δ realizing a given Birkhoff-Écalle-Voronin modulus ψ and proves uniqueness inside an explicitly scoped functional class (germs arising as time-1 maps of Gevrey formal vector fields with meromorphic sums on covering sectors). The abstract states the scoping and the construction directly; no quoted equation or step reduces the claimed Δ or its uniqueness to a fitted parameter, self-definition, or load-bearing self-citation by construction. The derivation therefore remains self-contained against the stated inputs.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

Only the abstract is available, so the ledger is necessarily incomplete. The central claim rests on the existence of a Gevrey formal vector field with meromorphic sums and on the definition of the functional class in which uniqueness holds.

assumptions (1)
  • domain assumption The germ is the time-1 map of a Gevrey formal vector field admitting meromorphic sums on a pair of infinite sectors covering the Riemann sphere.
    Stated in abstract paragraph 3 as the reason the analytic continuation of Δ is multivalued with finite monodromy.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Spherical normal forms for germs of parabolic line biholomorphisms." pith.science (2026). https://pith.science/paper/2009.13127

@misc{pith2026200913127,
  author       = {Pith},
  title        = {Pith review of: Spherical normal forms for germs of parabolic line biholomorphisms},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2009.13127}},
  note         = {Machine review of arXiv:2009.13127}
}
abstract

We address the inverse problem for holomorphic germs of a tangent-to-identity mapping of the complex line near a fixed point. We provide a preferred (family of) parabolic map $\Delta$ realizing a given Birkhoff--{\'E}calle-Voronin modulus $\psi$ and prove its uniqueness in the functional class we introduce. The germ is the time-1 map of a Gevrey formal vector field admitting meromorphic sums on a pair of infinite sectors covering the Riemann sphere. For that reason, the analytic continuation of $\Delta$ is a multivalued map admitting finitely many branch points with finite monodromy. In particular $\Delta$ is holomorphic and injective on an open slit sphere containing 0 (the initial fixed point) and $\infty$, where sits the companion parabolic point under the involution $\frac{-1}{\id}$. It turns out that the Birkhoff--{\'E}calle-Voronin modulus of the parabolic germ at $\infty$ is the inverse $\psi^{\circ-1}$ of that at 0.

Figures

Figures reproduced from arXiv: 2009.13127 by the authors.

Figure 1.1
Figure 1.1. The infinite sectors V ± and the components V 0 , V ∞ of their intersection V ∩. A pair f = (f +, f −) of a function holomorphic on the corresponding sector V ± has order-1 flat discrepancy at 0 whenever lim sup z → 0 z ∈ V ∩ |z| ln [PITH_FULL_IMAGE:figures/full_fig_p003_1_1.png] view at source ↗
Figure 1.2
Figure 1.2. Foliation induced by the real-time flow of a typical sectorial vector field X+ with the highlighted 6 ramification points zp, wp (orange spots) of its time-1 map ∆. The poles p−i , pi , p+ of X+ are figured by red squares. holomorphy for ∆ is given for instance by the slit sphere D :=C\ [ p pole γp, where γp is the arc of stable manifold passing through p of X + f or X − f (choose one) linking zp and wp. In particul… view at source ↗
Figure 1.3
Figure 1.3. Foliation induced by the real-time flow of x 2 1+µx ∂ ∂x (left µ := 0, right µ := 2). There are one double stationary point at 0 (green circle), yielding a parabolic germ for the time-1 map, and one saddle point (red square) corresponding to the pole − 1 µ . Another remarkable feature is that ∆ has a very simple dynamics: it is an injective, holomorphic map on a slit sphere D, that can be forward iterated on the ope… view at source ↗
Figures from the paper (4 more)
Figure 1.4
Figure 1.4. Figure 1.4: Foliation induced by the real-time flow of X0 for µ := 0, revealing the double stationary point (green circle) and two simple poles (red squares). Remark 1.6. When µ 6= 0 the mapping ∆0 cannot be algebraic (see [Éca75]). It seems safe to conjecture that the only alge…
Figure 2.1
Figure 2.1. Figure 2.1: Saddle dynamics near a simple pole of a vector field W and induced slicing dynamics of its time-1 map ∆. The latter is holomorphic on the complement of the arc γ, included in the stable manifold and whose endpoints are sent to the pole in time 1. Example 2.5. In the …
Figure 2.2
Figure 2.2. Figure 2.2: Foliation induced by the real-time flow of X0 (left) for λ := 1 2 and µ := 1 2 , revealing the three stationary points (green circles) and four poles (red squares). On the right, the spinal (blue) and separatrix (red) graphs are depicted. Then B. Branner and K. Dias …
Figure 3.1
Figure 3.1. Figure 3.1: Branch-cut scheme of H0 (cuts along fat lines). (b) Its space of orbits over V ± ∩ (C, 0) is canonically given by the range of the primitive function H± := H0 exp (2iπf ±), where H0 (z) :=  λz 1 − z 2 2iπµ exp  −2iπ 1 − z 2 λz  is a primitive function of X0. More…

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

  1. [1]

    Permutable entire functions

    Irvine Noel Baker. Permutable entire functions. Math. Z. , 79:243--249, 1962

    work page 1962

  2. [2]

    Classification of complex polynomial vector fields in one complex variable

    Bodil Branner and Kealey Dias. Classification of complex polynomial vector fields in one complex variable . J. Difference Equ. Appl. , 16(5-6):463--517, 2010

    work page 2010

  3. [3]

    Birkhoff

    George D. Birkhoff. D \'e formations analytiques et fonctions auto- \'e quivalentes. Ann. Inst. H. Poincar \'e , 9:51--122, 1939

    work page 1939

  4. [4]

    Douady, F

    A. Douady, F. Estrada, and P. Sentenac. Champs de vecteurs polynomiaux sur C . Preprint 2005

    work page 2005

  5. [5]

    \'E calle

    J. \'E calle. Th \'e orie it \'e rative: introduction \`a la th \'e orie des invariants holomorphes. J. Math. Pures Appl. (9) , 54:183--258, 1975

    work page 1975

  6. [6]

    Les fonctions r \'e surgentes

    Jean \'E calle. Les fonctions r \'e surgentes. T ome III , volume 85 of Publications Math \'e matiques d'Orsay [Mathematical Publications of Orsay] . Universit \'e de Paris-Sud, D \'e partement de Math \'e matiques, Orsay, 1985. L' \'e quation du pont et la classification analytique des objects locaux. [The bridge equation and analytic classification of l...

    work page 1985

  7. [7]

    Twisted resurgence monomials and canonical-spherical synthesis of local objects

    Jean Ecalle. Twisted resurgence monomials and canonical-spherical synthesis of local objects. In Analyzable functions and applications , volume 373 of Contemp. Math. , pages 207--315. Amer. Math. Soc., Providence, RI, 2005

    work page 2005

  8. [8]

    A. Epstein. Towers of Finite Type Complex Analytic Maps . PhD thesis, 1993

    work page 1993

Show all 15 references
  1. [9]

    Versal deformation of the analytic saddle-node

    Frank Loray. Versal deformation of the analytic saddle-node . Ast \'e risque , (297):167--187, 2004. Analyse complexe, syst \`e mes dynamiques, sommabilit \'e des s \'e ries divergentes et th \'e ories galoisiennes. II

    2004

  2. [10]

    Divergent series, summability and resurgence

    Mich \`e le Loday-Richaud. Divergent series, summability and resurgence. II , volume 2154 of Lecture Notes in Mathematics . Springer, [Cham], 2016. Simple and multiple summability, With prefaces by Jean-Pierre Ramis, \'E ric Delabaere, Claude Mitschi and David Sauzin

    2016

  3. [11]

    Analytic normal forms and inverse problems for unfoldings of 2-dimensional saddle-nodes with analytic center manifold

    Christiane Rousseau and L Teyssier. Analytic normal forms and inverse problems for unfoldings of 2-dimensional saddle-nodes with analytic center manifold . Annales Scientifiques de l'ENS , 2020 (100p)

    2020

  4. [12]

    The fundamental theorem of algebra and complexity theory

    Steve Smale. The fundamental theorem of algebra and complexity theory . Bull. Amer. Math. Soc. (N.S.) , 4(1):1--36, 1981

    1981

  5. [13]

    Sch \"a fke and L

    R. Sch \"a fke and L. Teyssier. Analytic normal forms for convergent saddle-node vector fields . Ann. Inst. Fourier , 65(3):933--974, 2015

    2015

  6. [14]

    Williams

    Michael Shub, David Tischler, and Robert F. Williams. The N ewtonian graph of a complex polynomial . SIAM J. Math. Anal. , 19(1):246--256, 1988

    1988

  7. [15]

    S. Voronin. Analytic classification of germs of conformal mappings ( C , 0) ( C , 0) . Functional Anal. Appl. , 15(1):1--13, 1981

    1981

Pith tools

Reviewed May 24, 2026 · model on record in the stance chip above.