Siegel Disc¶

Recognize a periodic Fatou component whose holomorphic first-return dynamics become an irrational rigid rotation after a biholomorphic change of coordinates.

Version: v2 · 2026-09-06 · History
Domain-specific #: 2775
Origin domain: complex dynamics
Subdomain: holomorphic iteration
Aliases: Siegel disk

Core Idea¶

A Siegel disc is a simply connected periodic component of the Fatou set on which holomorphic iteration is analytically the same as irrational rigid rotation. Let f be a holomorphic self-map of a Riemann surface, especially a rational map of the Riemann sphere. A Fatou component U of least period p>=1 is a Siegel disc when there are a biholomorphism phi:U->mathbb D and an irrational number theta such that

\[ \phi\circ f^p\circ\phi^{-1}(w)=e^{2\pi i\theta}w. \]

Scope of Application¶

Periodic Fatou-component classification. Siegel discs are one of the rotation-domain cases in the classification of periodic Fatou components of rational maps. The component topology and first-return dynamics distinguish them from attracting, parabolic, and annular cases.

Local analytic linearization. Near an irrationally indifferent periodic point, the question is whether a holomorphic change of coordinate reduces the first-return germ to its linear multiplier. A convergent conjugacy supplies a local rotation domain whose maximal Fatou continuation is the Siegel disc.

Clarity¶

Three separations keep the definition exact.

First, distinguish the period of the component from the motion inside it. f^p(U)=U says the component is periodic. It does not say a typical z in U is periodic. In rotation coordinates, R_theta^n(w)=e^(2*pi*i*n*theta)w; irrational theta makes the orbit dense on |w|=constant when w!=0.

Manages Complexity¶

Raw holomorphic iteration creates an infinite family of nonlinear maps f,f^2,f^3,... and an uncountable set of orbits. The Siegel-disc conjugacy compresses all of that internal dynamics into one angle. In the phi coordinate, every iterate of the first-return map is simply multiplication by e^(2*pi*i*n*theta). Orbit closure, recurrence, invariant curves, absence of attraction, and boundedness become consequences of rigid rotation rather than separate nonlinear calculations.

Abstract Reasoning¶

Recognition. Find a periodic Fatou component and its least return period. Locate the central periodic point, compute the first-return multiplier, and test whether it has the form e^(2*pi*i*theta) with irrational theta. Then establish an analytic conjugacy, not merely a formal one.

Coordinate transfer. Once phi is known, push an orbit to the unit disc, apply rigid-rotation reasoning, and pull the conclusion back.

Knowledge Transfer¶

Literal transfer occurs among rational maps, polynomial families, and holomorphic germs when the same roles survive: periodic Fatou component, first-return map, irrational multiplier, analytic conjugacy, and disc topology. The quadratic family is a particularly effective laboratory because the rotation number and Brjuno condition give a sharp existence test, but the definition is not restricted to quadratics.

Transfer to Herman rings preserves irrational rotation and analytic conjugacy but changes the carrier from a disc to an annulus; it is a sibling comparison, not identity.

Relationships to Other Abstractions¶

Current abstraction Siegel Disc Domain-specific

Parents (1) — more general patterns this builds on

Siegel Disc presupposes Isomorphism Prime

Isomorphism — strict composition / presupposes. The defining biholomorphism and its inverse preserve complex structure, and conjugacy transfers the complete first-return dynamics into rotation coordinates.

Hierarchy paths (4) — routes to 2 parentless roots

Siegel Disc → Isomorphism → Bijectivity → Function (Mapping)

Show alternative paths (3)

Neighborhood in Abstraction Space¶

Siegel Disc sits in a sparse region of the domain-specific corpus (81^st percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08