Pith. sign in

REVIEW 2 minor 46 references

Bialgebraic geometry of B\"ottcher coordinates

T0 review · 0 major / 2 minor · reviewed 2026-06-25 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Bialgebraic sets for Böttcher coordinates of polynomials are completely classified by dynamics when the Julia set is disconnected.

desk verdict The paper defines f-bialgebraic sets and proves Ax-Lindemann-Weierstrass and Ax-Schanuel analogs for the Böttcher coordinate, but only when the Julia set is disconnected. read the letter →

arxiv 2606.24553 v1 pith:OAPVKXTN submitted 2026-06-23 math.DS math.NT

Sina Saleh This is my paper · ORCID
classification math.DSmath.NT
keywords bialgebraicsetsBöttchercoordinatesJuliacomplexdynamicspolynomialsAx-Lindemann-WeierstrassAx-Schanuel
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 defines f-bialgebraic sets as algebraic subsets of the disk whose images under the Böttcher coordinate of a non-exceptional polynomial are algebraic of the same dimension. It gives a complete dynamical classification of these sets assuming the Julia set is disconnected or admits a nondegenerate locally connected model. Analogs of the Ax-Lindemann-Weierstrass theorem and Ax-Schanuel conjecture are formulated with the Böttcher coordinate in place of the exponential map and proven when the Julia set is disconnected. A sympathetic reader would care because the results connect algebraic geometry directly to the iteration of polynomials, showing how algebraic relations can be preserved or forbidden by the dynamics.

What carries the argument

f-bialgebraic sets, algebraic subsets of the disk of radius R whose coordinatewise images under the Böttcher coordinate lie in an algebraic set of matching dimension.

What would settle it

An explicit algebraic subset of the disk for a polynomial with disconnected Julia set whose image under the Böttcher coordinate is algebraic of the same dimension but fails to match any set in the proposed dynamical classification.

Watch

Extended reading notes

Core claim

Becker and Bergweiler showed that the Böttcher coordinate is transcendental for non-exceptional polynomials. This paper introduces f-bialgebraic sets and provides their complete dynamical classification under the assumption that the Julia set of f is either disconnected or connected with a nondegenerate locally connected model. It formulates and proves analogs of the Ax-Lindemann-Weierstrass theorem and the Ax-Schanuel conjecture for the Böttcher coordinate specifically in the disconnected Julia set case.

Load-bearing premise

The Julia set of the polynomial must be disconnected for the transcendence analogs or admit a nondegenerate locally connected model for the full classification to hold.

Editorial extensions

If this is right

  • All f-bialgebraic sets arise from specific dynamical constructions such as preimages under iterates of the polynomial.
  • The dimension of any algebraic set in the basin of infinity is constrained by the algebraic relations preserved by the Böttcher coordinate.
  • Non-trivial algebraic dependencies between points in the basin must reflect invariance properties under the map f.
  • The transcendence results imply that the only bialgebraic sets of positive dimension are those built from the dynamics in an explicit way.

Reading between the lines

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

  • Extending the classification to all connected Julia sets without extra assumptions would cover most quadratic polynomials and many higher-degree maps.
  • The same bialgebraic framework could be applied to other transcendental maps arising in dynamics, such as Fatou coordinates near parabolic points.
  • These results suggest a route to study unlikely intersections between algebraic varieties and dynamical orbits in the complex plane.
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 / 2 minor

Summary. The manuscript defines f-bialgebraic sets as algebraic subsets of the domain of the Böttcher coordinate Ψ_f whose images under coordinatewise Ψ_f lie in algebraic sets of the same dimension. It claims a complete dynamical classification of these sets when the Julia set J_f is disconnected or connected with a nondegenerate locally connected model, and proves Ax-Lindemann-Weierstrass and Ax-Schanuel analogs for Ψ_f in the disconnected case, building on the Becker-Bergweiler transcendence theorem.

Significance. If the derivations hold, the work supplies the first systematic classification of algebraic relations compatible with Böttcher coordinates and furnishes dynamical analogs of classical transcendence statements. The explicit restriction of all claims to the stated Julia-set hypotheses is a strength that keeps the results falsifiable and within the manuscript's scope; the proofs for the disconnected case constitute the main technical contribution.

minor comments (2)
  1. §1: the domain ℝ_R of Ψ_f is introduced in the abstract but its precise radius and relation to the filled Julia set should be restated with a forward reference to the definition in §2.
  2. The statement of the Ax-Schanuel analog (presumably Theorem 5.3 or equivalent) would benefit from an explicit comparison table listing the classical exponential version alongside the dynamical version to highlight the precise analogy.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the significance of the results, and recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity identified

full rationale

The paper explicitly builds on the external Becker-Bergweiler transcendence theorem for the Böttcher coordinate Ψ_f and states all main results (dynamical classification of bialgebraic sets, plus Ax-Lindemann-Weierstrass and Ax-Schanuel analogs) as conditional on independent assumptions about the Julia set J_f (disconnected or nondegenerate locally connected model). No load-bearing step reduces by definition, by fitting, or by self-citation chain to the paper's own inputs; the cited result is external and the derivations remain self-contained under the stated restrictions.

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

Abstract-only review; the paper rests on the Becker-Bergweiler transcendence theorem for non-exceptional polynomials and on the stated assumptions about the Julia set for both the classification and the special-case proofs. No free parameters or invented entities are identifiable from the abstract.

assumptions (2)
  • domain assumption Böttcher coordinate Ψ_f is transcendental for non-exceptional polynomials (Becker-Bergweiler)
    Used as the foundational fact enabling the study of bialgebraic sets.
  • domain assumption Julia set J_f is disconnected or connected with nondegenerate locally connected model
    Required for the complete classification and for the proofs of the analogs.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Bialgebraic geometry of B\"ottcher coordinates." pith.science (2026). https://pith.science/paper/OAPVKXTN

@misc{pith2026260624553,
  author       = {Pith},
  title        = {Pith review of: Bialgebraic geometry of B\"ottcher coordinates},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OAPVKXTN}},
  note         = {Machine review of arXiv:2606.24553}
}
abstract

Becker and Bergweiler showed that if $f$ is a non-exceptional polynomial, then the B\"ottcher coordinate $\Psi_f \colon \mathbb D_R \to B_\infty(f)$ associated to $f$ is a transcendental function. In this paper, we study $f$-bialgebraic sets: algebraic subsets of $\mathbb D_R^n$ whose image under the coordinate-wise action of $\Psi_f$ is contained in an algebraic set of the same dimension. We give a complete dynamical classification of bialgebraic sets under the additional assumption that the Julia set of $f$ is either disconnected, or connected and admits a nondegenerate locally connected model. Inspired by the Ax--Lindemann--Weierstrass theorem and the Ax--Schanuel conjecture, we formulate analogs with $\Psi_f$ in place of the exponential function and prove them in the case where the Julia set $J_f$ is disconnected.

Figures

Figures reproduced from arXiv: 2606.24553 by the authors.

Figure 1
Figure 1. An illustration of the neighborhood bases {D′ i,y}i≥1 around three different types of J∼ points (2) t is an interval point: In this case there is another point t ′ ∈ S 1 such that ι(t ′ ) = y. Choose {ti,1}i≥1, {ti,2}i≥1 ⊂ S 1 and {t ′ i,1 }i≥1, {t ′ i,2 }i≥1 ⊂ S 1 such that ι(ti,1) = ι(ti,2), ι(t ′ i,1 ) = ι(t ′ i,2 ), t is on the shorter arc connecting ti,1 and ti,2 and t ′ is on the shorter arc connecting t ′ i,1… view at source ↗
Figure 2
Figure 2. An illustration of the disconnected Julia set of f = z 2 + 1 + i 2 and the images of circles with radii Rd 1/4 , Rd 1/2 , R, R2 under Ψf . Proof. Let z0 = γ(0). Consider the local branch (Ψ(z), Ψ(z d n )) of the curve f n (x) = y near the point (Ψ(z0), Ψ(z d n 0 )). We can use equation (11) to continue Ψ(z) along γ to get an analytic function Ψ( e z) defined near z0 and a local branch (Ψ( e z), Ψ(z d n )) of the cur… view at source ↗
Figure 3
Figure 3. An illustration of the sets En and D′ n when f(z) = z 2 + c. Suppose that a path γ : [0, 1) −→ Dn with γ(0) ∈ DR and γ(1−) = z0 ∈ Un for some n ≥ 1 is given. We can use this path and the equation (11) to analytically continue Ψ. Even though the analytic continuation is only defined on γ([0, 1)), we can still make sense of Ψ(z0) by setting (12) Ψ(z0) = lim t→1 Ψ(γ(t)). This limit must exist since any limit point w of… view at source ↗
Figures from the paper (4 more)
Figure 4
Figure 4. Figure 4: The combination of paths γ and γ1 to get a loop γ2 around z0. onto its image when restricted to U. Let s ∈ [0, 1] be the smallest s such that γ(s) ∈ γ1. Then, continuing Ψ using equation (11) along the loop (illustrated in [PITH_FULL_IMAGE:figures/full_fig_p032_4.png]
Figure 5
Figure 5. Figure 5: Preimages of N′ and Ψ(pdn (γ1)) ∩ N′ under f n . □ It is crucial in our proofs to show that precritical continuation paths exist. The next proposition shows that any path γ ⊂ Dn with γ(0) ∈ DR and γ(1) ∈ En,c can become a precritical continuation path after a suitable …
Figure 6
Figure 6. Figure 6: The branched path obtained by taking a turn at γ ′ (s0). for some z ′ ∈ Bϵ(y0) ∩ D and some 1 ≤ i ≤ n − 1. Note that there exists s ′ < 1 such that γ ′ (s) ∈ Bϵ(y0) for all s > s′ . Let γ ′′ be a path obtained by branching from γ at γ ′ (s0) for some s0 > s and taking …
Figure 7
Figure 7. Figure 7: The loops ℓj around the points zj ∈ Ej,c inside Bδ ′(y0). Let δ be as in Claim 7.4. Fix δ ′ < δ/2026 and choose c ∈ Cf . Pick a sequence of points zj ∈ Ej,c with zj ∈ Bδ ′(y0) for all j ≥ j0, for some j0 ≥ 1. For each j ≥ j0 choose sj ∈ I such that γ ′ (sj ) ∈ Bδ ′(y0)…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

46 extracted references · 34 canonical work pages

  1. [1]

    Meerkamp, Philipp and Schleicher, Dierk , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2013 , NUMBER =. doi:10.1090/S0002-9939-2012-11323-1 , URL =

    work page doi:10.1090/s0002-9939-2012-11323-1 2013

  2. [2]

    Zdunik, Anna , TITLE =. Fund. Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.4064/fm-163-3-277-286 , URL =

    work page doi:10.4064/fm-163-3-277-286 2000

  3. [3]

    Bakker, Benjamin and Tsimerman, Jacob , TITLE =. Invent. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00222-019-00863-8 , URL =

    work page doi:10.1007/s00222-019-00863-8 2019

  4. [4]

    and Martin, G

    Hinkkanen, A. and Martin, G. J. , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 1996 , NUMBER =. doi:10.1112/plms/s3-73.2.358 , URL =

    work page doi:10.1112/plms/s3-73.2.358 1996

  5. [5]

    Wang, Youming and Yang, Fei , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2020 , NUMBER =. doi:10.1090/tran/8144 , URL =

    work page doi:10.1090/tran/8144 2020

  6. [6]

    When do two rational functions have the same

    Levin, Genadi and Przytycki, Feliks , journal=. When do two rational functions have the same

  7. [7]

    Milnor, John , TITLE =. The. 2000 , ISBN =

    2000

  8. [8]

    Houston J

    Blokh, Alexander and Oversteegen, Lex , TITLE =. Houston J. Math. , FJOURNAL =. 2010 , NUMBER =

    2010

Show all 46 references
  1. [9]

    , TITLE =

    Beardon, Alan F. , TITLE =. 1991 , PAGES =. doi:10.1007/978-1-4612-4422-6 , URL =

    1991 doi

  2. [10]

    Blokh, Alexander and Oversteegen, Lex , TITLE =. Conform. Geom. Dyn. , FJOURNAL =. 2009 , PAGES =. doi:10.1090/S1088-4173-09-00195-7 , URL =

    2009 doi

  3. [11]

    and Steinmetz, N

    Schmidt, W. and Steinmetz, N. , TITLE =. Bull. London Math. Soc. , FJOURNAL =. 1995 , NUMBER =. doi:10.1112/blms/27.3.239 , URL =

    1995 doi

  4. [12]

    Internat

    Atela, Pau and Hu, Jun , TITLE =. Internat. J. Bifur. Chaos Appl. Sci. Engrg. , FJOURNAL =. 1996 , NUMBER =. doi:10.1142/S0218127496001570 , URL =

    1996 doi

  5. [13]

    and Levin, G

    Blokh, A. and Levin, G. , TITLE =. Ergodic Theory Dynam. Systems , FJOURNAL =. 2002 , NUMBER =. doi:10.1017/S0143385702000032 , URL =

    2002 doi

  6. [14]

    , TITLE =

    Thurston, William P. , TITLE =. Complex dynamics , PAGES =. 2009 , ISBN =. doi:10.1201/b10617-3 , URL =

    2009 doi

  7. [15]

    Bialgebraic varieties of the

    Eterovi. Bialgebraic varieties of the. arXiv:2509.24982 , year=

  8. [16]

    Gao, Ziyang , TITLE =. Compos. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1112/S0010437X20007447 , URL =

    2020 doi

  9. [17]

    Chiu, Kenneth Chung Tak , TITLE =. Math. Ann. , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s00208-024-02958-x , URL =

    2025 doi

  10. [18]

    A differential approach to

    Bl. A differential approach to. arXiv:2102.03384 , year=

    arXiv

  11. [19]

    Gao, Ziyang and Klingler, Bruno , TITLE =. Math. Ann. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00208-023-02614-w , URL =

    2024 doi

  12. [20]

    2024 , ISBN =

    Mok, Ngaiming and Pila, Jonathan and Tsimerman, Jacob , TITLE =. 2024 , ISBN =

    2024

  13. [21]

    Duke Math

    Pila, Jonathan and Tsimerman, Jacob , TITLE =. Duke Math. J. , FJOURNAL =. 2016 , NUMBER =. doi:10.1215/00127094-3620005 , URL =

    2016 doi

  14. [22]

    , TITLE =

    Lindemann, F. , TITLE =. Math. Ann. , FJOURNAL =. 1882 , NUMBER =. doi:10.1007/BF01446522 , URL =

    doi

  15. [23]

    Ritt, J. F. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1923 , NUMBER =. doi:10.2307/1989297 , URL =

    1923 doi

  16. [24]

    and Curry, Clinton P

    Blokh, Alexander M. and Curry, Clinton P. and Oversteegen, Lex G. , TITLE =. Adv. Math. , FJOURNAL =. 2011 , NUMBER =. doi:10.1016/j.aim.2010.08.011 , URL =

    2011 doi

  17. [25]

    Mahler, Kurt , TITLE =. Math. Ann. , FJOURNAL =. 1929 , NUMBER =. doi:10.1007/BF01454845 , URL =

    1929 doi

  18. [26]

    Mahler, Kurt , TITLE =. Math. Ann. , FJOURNAL =. 1930 , NUMBER =. doi:10.1007/BF01455711 , URL =

    1930 doi

  19. [27]

    Mahler, Kurt , TITLE =. Math. Z. , FJOURNAL =. 1930 , NUMBER =. doi:10.1007/BF01194652 , URL =

    1930 doi

  20. [28]

    O-minimality and diophantine geometry , SERIES =

    Tsimerman, Jacob , TITLE =. O-minimality and diophantine geometry , SERIES =. 2015 , ISBN =

    2015

  21. [29]

    Lectures on the

    Bakker, Benjamin and Tsimerman, Jacob , booktitle=. Lectures on the. 2020 , publisher=

    2020

  22. [30]

    Ax, James , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1971 , PAGES =. doi:10.2307/1970774 , URL =

    1971 doi

  23. [31]

    1999 , PAGES =

    Milnor, John , TITLE =. 1999 , PAGES =

    1999

  24. [32]

    Luo, Yusheng , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2021 , NUMBER =. doi:10.1093/imrn/rnz035 , URL =

    2021 doi

  25. [33]

    , TITLE =

    Fatou, P. , TITLE =. Bull. Soc. Math. France , FJOURNAL =. 1920 , PAGES =

    1920

  26. [34]

    Compositio Mathematica , volume=

    Polynomial dynamics and local analysis of small and grand orbits , author=. Compositio Mathematica , volume=. 2023 , publisher=

    2023

  27. [35]

    Annals of Mathematics , pages=

    Invariant varieties for polynomial dynamical systems , author=. Annals of Mathematics , pages=. 2014 , publisher=

    2014

  28. [36]

    Manuscripta Math

    Becker, Paul-Georg and Bergweiler, Walter , TITLE =. Manuscripta Math. , FJOURNAL =. 1993 , NUMBER =. doi:10.1007/BF02567862 , URL =

    1993 doi

  29. [37]

    , TITLE =

    Pommerenke, Ch. , TITLE =. 1992 , PAGES =. doi:10.1007/978-3-662-02770-7 , URL =

    1992 doi

  30. [38]

    Zdunik, Anna , TITLE =. Invent. Math. , FJOURNAL =. 1990 , NUMBER =. doi:10.1007/BF01234434 , URL =

    1990 doi

  31. [39]

    Kiwi, Jan , TITLE =. Adv. Math. , FJOURNAL =. 2004 , NUMBER =. doi:10.1016/S0001-8708(03)00144-0 , URL =

    2004 doi

  32. [40]

    and Zannier, U

    Bombieri, E. and Zannier, U. , TITLE =. Internat. Math. Res. Notices , FJOURNAL =. 1995 , NUMBER =. doi:10.1155/S1073792895000250 , URL =

    1995 doi

  33. [41]

    Dujardin, Romain and Favre, Charles and Gauthier, Thomas , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2023 , NUMBER =. doi:10.1090/tran/8775 , URL =

    2023 doi

  34. [42]

    Local rigidity of

    Ji, Zhuchao and Xie, Junyi , journal=. Local rigidity of

  35. [43]

    Levin, G. M. , TITLE =. Mat. Zametki , FJOURNAL =. 1990 , NUMBER =. doi:10.1007/BF01236299 , URL =

    1990 doi

  36. [44]

    1996 , PAGES =

    Nishioka, Kumiko , TITLE =. 1996 , PAGES =. doi:10.1007/BFb0093672 , URL =

    1996 doi

  37. [45]

    1977 , PAGES =

    Hartshorne, Robin , TITLE =. 1977 , PAGES =

    1977

  38. [46]

    Laurent, Michel , TITLE =. Invent. Math. , FJOURNAL =. 1984 , NUMBER =. doi:10.1007/BF01388597 , URL =

    1984 doi

Pith tools

Reviewed June 25, 2026 · model on record in the stance chip above.