On weak Wolff--Denjoy theorem for certain non-convex domains

Chandan Sur, Sanjoy Chatterjee, Vikramjeet Singh Chandel

Pith reviewed 2026-05-10 17:39 UTC · model grok-4.3

classification 🧮 math.CV

keywords Wolff-Denjoy theoremholomorphic self-mapsfixed pointssymmetrized bidiscnon-convex domainscompactly divergent iterates

0 comments

The pith

A class of domains in three complex variables satisfies the weak Wolff-Denjoy theorem for holomorphic self-maps.

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

This paper identifies a class of domains in C^3 for which every holomorphic self-map either possesses a fixed point or has iterates that diverge in a compact manner. A reader might care because this property governs the long-term behavior of iterations in several complex variables, extending beyond the usual convex domains. The result specifically includes the symmetrized bidisc, symmetrized tridisc, tetrablock, and pentablock. The authors further describe the fixed-point sets for maps on the symmetrized bidisc and tetrablock, and the target set for divergent maps on the bidisc.

Core claim

The paper shows that there is a class of domains in three-dimensional complex space such that for any holomorphic self-map, either there is a fixed point or the sequence of iterates is compactly divergent. This class encompasses the symmetrized bidisc, symmetrized tridisc, tetrablock, and pentablock. Additionally, explicit descriptions are given for the fixed point sets of holomorphic self-maps on the symmetrized bidisc and tetrablock, and for the target set of maps on the symmetrized bidisc whose iterates are compactly divergent.

What carries the argument

The weak Wolff-Denjoy theorem applied under geometric or analytic conditions on the domains that guarantee the fixed point or compact divergence dichotomy for holomorphic self-maps.

Load-bearing premise

The domains satisfy the geometric or analytic conditions required to apply the weak Wolff-Denjoy theorem.

What would settle it

The existence of a holomorphic self-map on the symmetrized bidisc with no fixed point and with iterates that do not diverge compactly would falsify the claim.

read the original abstract

In this paper, we provide a class of domains in $\mathbb{C}^3$, such that every holomorphic self-map of that domain either has a fixed point or the sequence of iterates is compactly divergent. In particular, it follows that the symmetrized bidisc, symmetrized tridisc, tetrablock, pentablock are in the aforementioned class of domains. We also give a description of the fixed point set of a holomorphic self-map of the symmetrized bidisc and tetrablock. For the symmetrized bidisc, given a holomorphic self-map such that the sequence of iterates is compactly divergent, we also provide a description of its target set.

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

0 major / 3 minor

Summary. The paper defines a class of domains in C^3 such that every holomorphic self-map either has a fixed point or the iterates are compactly divergent. It verifies that the symmetrized bidisc, symmetrized tridisc, tetrablock, and pentablock belong to this class. Additional results describe the fixed-point sets of holomorphic self-maps on the symmetrized bidisc and tetrablock, and the target set on the symmetrized bidisc when the iterates are compactly divergent.

Significance. If the central theorem holds, the work extends the weak Wolff-Denjoy theorem to a concrete class of non-convex domains in three complex variables and supplies explicit membership proofs for domains of independent interest. The structural results on fixed-point sets and target sets supply additional information that may support further iteration-theoretic studies in several complex variables.

minor comments (3)

The definition of the class of domains (presumably in §2 or §3) would benefit from an explicit statement of the geometric or analytic conditions at the beginning of the introduction, so that membership of the listed examples can be checked without first reading the full proof.
Notation for the symmetrized bidisc and related domains should be introduced once and used consistently; a short table summarizing the domains and their defining inequalities would improve readability.
In the sections describing the fixed-point set and target set, a single concrete example computation (e.g., for a linear fractional map on the symmetrized bidisc) would help illustrate the general statements.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines a class of domains in C^3 satisfying the weak Wolff-Denjoy property (holomorphic self-maps have fixed points or compactly divergent iterates) and verifies membership for symmetrized bidisc, tridisc, tetrablock and pentablock. No equations, fitted parameters, or self-citations are presented that reduce the central claim to a tautology or input by construction. The result is framed as an application of prior results in several complex variables, with additional fixed-point and target-set descriptions as consistent extensions. The derivation chain is self-contained against external benchmarks and does not exhibit any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the standard axioms of holomorphic function theory in several complex variables and on the geometric definitions of the named domains; no free parameters or new entities are introduced in the abstract.

axioms (2)

standard math Holomorphic functions satisfy the usual Cauchy-Riemann equations and maximum-modulus principle on domains in C^n
Invoked implicitly when discussing self-maps and iterates.
domain assumption The symmetrized bidisc, tridisc, tetrablock and pentablock are well-defined bounded domains in C^3
Used to place these examples inside the general class.

pith-pipeline@v0.9.0 · 5414 in / 1423 out tokens · 91064 ms · 2026-05-10T17:39:15.779120+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

28 extracted references

[1]

Z.198(1988), no

Marco Abate,Horospheres and iterates of holomorphic maps, Math. Z.198(1988), no. 2, 225–238. MR939538

1988
[2]

Complex Analysis and Geometry, Mediterranean Press, Rende, 1989

,Iteration theory of holomorphic maps on taut manifolds, Research and Lecture Notes in Mathematics. Complex Analysis and Geometry, Mediterranean Press, Rende, 1989. MR1098711

1989
[3]

Scuola Norm

,Iteration theory, compactly divergent sequences and commuting holomorphic maps, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4)18(1991), no. 2, 167–191. MR1129300

1991
[4]

Z.211(1992), no

Marco Abate and Peter Heinzner,Holomorphic actions on contractible domains without fixed points, Math. Z.211(1992), no. 4, 547–555. MR1191095

1992
[5]

Marco Abate and Jasmin Raissy,Wolff-Denjoy theorems in nonsmooth convex domains, Ann. Mat. Pura Appl. (4)193(2014), no. 5, 1503–1518. MR3262645

2014
[6]

A. A. Abouhajar, M. C. White, and N. J. Young,A Schwarz lemma for a domain related to µ-synthesis, J. Geom. Anal.17(2007), no. 4, 717–750. MR2365665

2007
[7]

Agler and N

J. Agler and N. J. Young,The hyperbolic geometry of the symmetrized bidisc, J. Geom. Anal. 14(2004), no. 3, 375–403. MR2077158

2004
[8]

Lykova, and N

Jim Agler, Zinaida A. Lykova, and N. J. Young,The complex geometry of a domain related toµ-synthesis, J. Math. Anal. Appl.422(2015), no. 1, 508–543. MR3263473

2015
[9]

Number Theory8(2022), no

Alexandre Bailleul,Explicit Kronecker-Weyl theorems and applications to prime number races, Res. Number Theory8(2022), no. 3, Paper No. 43, 34. MR4447414

2022
[10]

Ann.266(1983), no

Eric Bedford,On the automorphism group of a Stein manifold, Math. Ann.266(1983), no. 2, 215–227. MR724738 WEAK WOLFF-DENJOY THEOREM FOR CERTAIN NON-CONVEX DOMAINS 17

1983
[11]

Math.310(2017), 377–425

Gautam Bharali and Andrew Zimmer,Goldilocks domains, a weak notion of visibility, and applications, Adv. Math.310(2017), 377–425. MR3620691

2017
[12]

Synerg.11(2025), no

Filippo Bracci and Ahmed Yekta ¨Okten,Some open questions and conjectures about visibility and iteration in bounded convex domains inC N, Complex Anal. Synerg.11(2025), no. 4, Paper No. 23, 8. MR4968297

2025
[13]

Bredon,Introduction to compact transformation groups, Pure and Applied Mathe- matics, vol

Glen E. Bredon,Introduction to compact transformation groups, Pure and Applied Mathe- matics, vol. Vol. 46, Academic Press, New York-London, 1972. MR413144

1972
[14]

Armen Edigarian and W l odzimierz Zwonek,Geometry of the symmetrized polydisc, Arch. Math. (Basel)84(2005), no. 4, 364–374. MR2135687

2005
[15]

Gargi Ghosh and W l odzimierz Zwonek,2-proper holomorphic images of classical Cartan domains, Indiana Univ. Math. J.74(2025), no. 3, 575–603. MR4946875

2025
[16]

Gargi Ghosh and W lodzimierz Zwonek,Holomorphic retracts in the Lie ball and the tetra- block, J. Geom. Anal.35(2025), no. 4, Paper No. 118, 17. MR4875758

2025
[17]

Michel Herv´ e,It´ eration des transformations analytiques dans le bicercle-unit´ e, Ann. Sci. ´Ecole Norm. Sup. (3)71(1954), 1–28. MR66470

1954
[18]

Scuola Norm

Xiao Jun Huang,A non-degeneracy property of extremal mappings and iterates of holomor- phic self-mappings, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4)21(1994), no. 3, 399–419. MR1310634

1994
[19]

Jarnicki and P

M. Jarnicki and P. Pflug,Invariant distances and metrics in complex analysis, extended, De Gruyter Expositions in Mathematics, vol. 9, Walter de Gruyter GmbH & Co. KG, Berlin,
[20]

Lukasz Kosi´ nski,The group of automorphisms of the pentablock, Complex Anal. Oper. The- ory9(2015), no. 6, 1349–1359. MR3390197

2015
[21]

Nikolai Nikolov and Alberto Saracco,Hyperbolicity ofC-convex domains, C. R. Acad. Bul- gare Sci.60(2007), no. 9, 935–938. MR2368753

2007
[22]

London Math

Peter Pflug and Wlodzimierz Zwonek,Description of all complex geodesics in the sym- metrized bidisc, Bull. London Math. Soc.37(2005), no. 4, 575–584. MR2143737

2005
[23]

Guicong Su,Geometric properties of the pentablock, Complex Anal. Oper. Theory14(2020), no. 4, Paper No. 44, 14. MR4097343

2020
[24]

Jean-Pierre Vigu´ e,Points fixes d’applications holomorphes dans un domaine born´ e convexe deC n, Trans. Amer. Math. Soc.289(1985), no. 1, 345–353. MR779068

1985
[25]

,Sur les points fixes d’applications holomorphes, C. R. Acad. Sci. Paris S´ er. I Math. 303(1986), no. 18, 927–930. MR873396

1986
[26]

N. J. Young,The automorphism group of the tetrablock, J. Lond. Math. Soc. (2)77(2008), no. 3, 757–770. MR2418303

2008
[27]

Pawe l Zapa lowski,Geometric properties of domains related toµ-synthesis, J. Math. Anal. Appl.430(2015), no. 1, 126–143. MR3347204

2015
[28]

W lodzimierz Zwonek,Geometric properties of the tetrablock, Arch. Math. (Basel)100(2013), no. 2, 159–165. MR3020130 Department of Mathematics and Statistics, Indian Institute of Technology Kanpur, Kanpur – 208 016, India Email address:vschandel@iitk.ac.in Department of Mathematics and Statistics, Indian Institute of Technology Kanpur, Kanpur – 208 016, In...

2013