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. \]

Here f^p is the first-return map. When p=1, the disc is invariant under f; allowing p>1 captures a periodic cycle of Siegel discs. The point z_0=phi^{-1}(0) is periodic and irrationally indifferent, with multiplier

\[ (f^p)'(z_0)=e^{2\pi i\theta}. \]

Every other point in U lies on the pullback of a circle |w|=r. Its first-return orbit is dense on that invariant curve rather than repeating after finitely many steps. The dynamics are regular enough that the iterates form a normal family on U, yet they neither converge to the center nor flee from it. This combination—Fatou normality, analytic linearization, disc topology, and irrational rotation—is the identity.

An irrationally indifferent multiplier alone does not create a Siegel disc. The local Schröder conjugacy must converge analytically, and small divisors can prevent that convergence. Siegel proved convergence under a Diophantine condition; later Brjuno and Yoccoz work sharpened the arithmetic boundary.^[1]^[2] The maximal connected linearization region inside the Fatou set is the disc; a merely formal power series or a small unnamed neighborhood is not yet the full component.

Structural Signature¶

Sig role-phrases:

the holomorphic dynamical system — the map f and its iterates on a Riemann surface
the periodic Fatou component — a connected normal-family component U returning after least period p
the first-return map — f^p:U->U, the dynamics compared with one rigid rotation
the irrationally indifferent center — the periodic point z_0 with unit-modulus non-root-of-unity multiplier
the disc coordinate — a biholomorphism phi:U->mathbb D
the analytic conjugacy — the identity phi f^p phi^-1=R_theta
the irrational rotation number — theta in R\Q, preventing finite orbit closure
the invariant foliation by curves — pullbacks of circles on which noncentral first-return orbits are dense
the arithmetic linearization gate — small-divisor conditions separating convergent from divergent conjugacy
the maximal boundary — the edge of the linearization component, lying in the Julia set for rational maps

All roles are load-bearing. Remove normality and one may have only a locally defined germ. Remove analytic conjugacy and the irrationally indifferent center may be a Cremer point. Replace the disc by an annulus and the rotation domain is a Herman ring. Replace irrational rotation by a root of unity and periodic or parabolic phenomena return.

What It Is Not¶

Not every irrationally indifferent periodic point. Unit-modulus, non-root-of-unity multiplier is necessary, but the analytic conjugacy may diverge.
Not a periodic orbit of generic points. The component returns after p iterates, while noncentral points wind densely on invariant curves under the first-return map.
Not an attracting basin. Distances do not contract toward the center in rotation coordinates.
Not a parabolic basin. The multiplier is not a root of unity, and there are no attracting petals defining the component.
Not a Herman ring. Both are irrational rotation domains, but a Herman ring is annular and has no central point corresponding to zero in the disc.
Not merely a local formal linearization. The Siegel disc is a maximal connected Fatou component with a genuine biholomorphic conjugacy.
Not the Julia set. Its interior lies in the Fatou set; for rational maps the boundary belongs to the Julia set.
Not guaranteed by irrationality alone. Arithmetic approximation of the rotation number controls the small divisors in the conjugacy coefficients.

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.^[3]

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.

Arithmetic dynamics. Continued-fraction growth and Brjuno-type sums turn number-theoretic approximation into a dynamical existence boundary. For the normalized quadratic family, the rotation number is Brjuno exactly when the fixed point is linearizable.^[2]

Boundary geometry and conformal radius. Once a disc exists, its conformal radius measures the size of the maximal linearization domain in a normalized coordinate. Modern work relates that size to the Brjuno function.^[4]

Parameter-space bifurcation. In polynomial families, changing a multiplier through rational, Brjuno irrational, and non-Brjuno irrational regimes changes the local component type. The label therefore supports parameter classification only when the exact family and arithmetic theorem are declared.

The node does not cover arbitrary quasiperiodic systems, smooth circle diffeomorphisms, Hamiltonian invariant tori, or higher-dimensional Siegel domains without a separately stated generalization.

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.

Second, distinguish an indifferent multiplier from analytic linearization. The derivative fixes the only possible rotation number, but solving Schröder's equation recursively produces denominators near e^(2*pi*i*n*theta)-1. Excellent rational approximations can make these divisors too small for the formal series to converge. A linearizable irrational point is the center of a Siegel disc; a nonlinearizable one is a Cremer-type contrast.

Third, distinguish a local coordinate from the maximal Fatou component. A linearization theorem begins near the periodic point. The Siegel disc is the connected maximal domain to which that conjugacy belongs as a Fatou rotation component. Its conformal radius and boundary are properties of this maximal domain, not of an arbitrarily chosen small neighborhood.

The recognition test is therefore: Is there a periodic Fatou component, a disc biholomorphism, a first-return conjugacy to an irrational rigid rotation, and the corresponding irrationally indifferent center? If the evidence gives only a multiplier, a formal series, or quasiperiodic-looking numerics, the classification is not yet established.

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.

The component label also compresses a classification decision. Normality places the region on the Fatou side of the Fatou/Julia divide; disc topology separates it from Herman rings; the irrational multiplier separates it from rationally indifferent behavior; analytic conjugacy separates it from Cremer behavior. A single verified node thus packages analytic, topological, dynamical, and arithmetic tests.

Arithmetic criteria manage a second complexity: the infinitely many small divisors in the conjugacy series. Diophantine and Brjuno conditions summarize how well theta is approximated by rationals. They do not calculate the whole conjugacy coefficient by coefficient; they decide whether the accumulated denominator problem is controlled strongly enough for linearization.

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. Circles strictly inside the unit disc become analytic invariant simple closed curves inside U; radial coordinate becomes a conserved orbit label there. Statements about the boundary circle require separate extension regularity.

Negative diagnosis. A root-of-unity multiplier rules out a Siegel disc. An irrational multiplier with divergent linearization also rules it out. An annular component redirects the classification to a Herman ring. Convergence to a periodic point redirects it to an attracting or parabolic basin.

Arithmetic inference. A Diophantine rotation number satisfies Siegel's classical sufficient condition. A Brjuno rotation number supplies the modern one-dimensional sufficiency boundary. In the quadratic family, non-Brjuno implies non-linearizability, but that sharp necessity must not be exported unqualified to every holomorphic germ.

Boundary inference. The conjugacy is valid throughout U but normally cannot cross the maximal component boundary. For rational maps that boundary lies in the Julia set, where normal-family control fails. Numerical failure near the boundary should therefore not be mistaken automatically for failure of the interior conjugacy.

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. Transfer to higher-dimensional holomorphic dynamics changes the linearization resonances and domain geometry and requires its own theorem.

Across smooth dynamics and Hamiltonian systems, invariant tori and KAM linearization share a small-divisor skeleton. The useful cross-domain lesson belongs to Isomorphism and Invariance: change to structure-preserving coordinates and reason in the simpler normal form. Calling a quasiperiodic torus a Siegel disc would import complex-analytic vocabulary without its Fatou component or biholomorphic mechanism.

Examples¶

Canonical: rigid rotation of the unit disc¶

Let S=mathbb D and

\[ f(z)=e^{2\pi i\theta}z, \qquad \theta\notin\mathbb Q. \]

The family of iterates is uniformly bounded on the disc and hence normal. The whole disc is the connected Fatou component for this self-map, p=1, and the identity map is the required biholomorphism. The center is zero, its multiplier is e^(2*pi*i*theta), and for arbitrary \(z\ne0\), \(|f^n(z)|=|z|\) and the orbit is dense on that circle. This exact model shows why the component is regular but not attracting and why irrational rotation is quasiperiodic rather than a finite cycle.

Mapped back: f is the holomorphic dynamical system and the first-return map; mathbb D is the periodic Fatou component; zero is the irrationally indifferent center; the identity is the disc coordinate and the analytic conjugacy; theta is the irrational rotation number; and the circles are the invariant foliation by curves.

Applied / in practice: golden-mean quadratic polynomial¶

Set

\[ P_\theta(z)=e^{2\pi i\theta}z+z^2, \qquad \theta=\frac{\sqrt5-1}{2}. \]

The origin is fixed with multiplier e^(2*pi*i*theta). The golden-mean rotation number is badly approximable, hence Diophantine and Brjuno. Siegel's linearization theorem therefore gives an analytic conjugacy near zero, and the maximal Fatou linearization component is a fixed Siegel disc. In the quadratic family Yoccoz's theorem makes the arithmetic boundary sharp: if the chosen irrational theta were non-Brjuno, the normalized quadratic would not be linearizable at zero. The conformal radius of the resulting disc is then a well-defined quantitative size, studied in relation to the Brjuno function.^[4]

Mapped back: P_theta is the holomorphic dynamical system; its fixed component has p=1 and supplies the periodic Fatou component; zero is the irrationally indifferent center; the convergent linearizing map gives the disc coordinate and the analytic conjugacy; golden-mean arithmetic passes the arithmetic linearization gate; and maximal continuation fixes the maximal boundary.

Structural Tensions¶

T1: Neutral multiplier versus regular dynamics. Unit modulus supplies neither attraction nor repulsion, so regularity depends on analytic linearization. Diagnostic: Has convergence of the conjugacy been proved, or only the multiplier computed?

T2: Component periodicity versus orbit aperiodicity. The region returns after finitely many component steps while typical points never return exactly. Diagnostic: Is “periodic” referring to U under f or to points under f^p?

T3: Formal solution versus analytic solution. Schröder's equation can be solved coefficientwise while the resulting series diverges through small divisors. Diagnostic: What arithmetic or analytic estimate guarantees a positive convergence radius?

T4: Local germ versus maximal component. Linearization starts near the center, but the Siegel disc is the maximal connected Fatou rotation domain. Diagnostic: Is the claimed domain maximal, or merely a convenient local neighborhood?

T5: Disc versus annular rotation domain. Both Siegel discs and Herman rings reduce to irrational rotation, yet their topology changes the available center and boundary structure. Diagnostic: Is the component simply connected with a central periodic point, or annular?

T6: Arithmetic sufficiency versus family-specific necessity. Brjuno arithmetic gives broad linearization results, while the sharp converse is most cleanly stated for normalized quadratics. Diagnostic: Has an iff statement been scoped to the family in which necessity was proved?

T7: Interior rigidity versus boundary complexity. Rotation coordinates make the interior simple, while the Julia-set boundary may be geometrically subtle. Diagnostic: Is a conclusion about interior conjugacy being extended to the boundary without a boundary-regularity theorem?

T8: Autonomy versus reduction. Isomorphism and Invariance explain the portable structural move, but not the complex-dynamical existence class. Diagnostic: After removing Fatou normality, holomorphic first return, disc topology, and small-divisor arithmetic, does anything remain beyond the parent-prime skeleton?

Structural–Framed Character¶

The Siegel Disc is structural-leaning. Its truth conditions are formal and non-evaluative: a specified conjugacy either exists on the specified component or it does not. It is not human-practice-bound, and its historical name does not make an institution constitutive. Its operative vocabulary, however, travels only within a bounded mathematical habitat: Fatou component, biholomorphism, multiplier, normal family, and Brjuno arithmetic are not substrate-neutral roles. Reuse across holomorphic systems recognizes the same object; reuse for generic quasiperiodic behavior imports an analogy.

The portable skeleton is a structure-preserving Isomorphism that exposes an Invariant region and invariant curve labels under transformed dynamics. Those primes travel; the named rotation component does not. Its character: a highly formal, structural-leaning domain-specific abstraction whose exact identity remains pinned to one-dimensional holomorphic dynamics.

Structural Core vs. Domain Accent¶

What is skeletal. A complicated iterative system is changed into a simpler coordinate system by an invertible structure-preserving map, and a region plus selected features remain invariant under the transformed evolution. This is the portable Isomorphism-and-Invariance skeleton.

What is domain-bound. The map is holomorphic, the carrier is a periodic Fatou component on a Riemann surface, the equivalence is biholomorphic conjugacy, the normal form is an irrational complex rotation, and existence is controlled by small-divisor arithmetic. Remove those commitments and the disc/Herman/Cremer distinctions, Julia boundary, multiplier classification, and Brjuno gate disappear.

Why not prime. A prime must retain recognizable identity across material substrates. Here the thin coordinate-change and preserved-region pattern already belongs to live primes. The surplus that makes the node informative is precisely its complex-analytic machinery. Beyond that domain, transfer is through the parents or by analogy, so the full Siegel Disc does not clear the prime bar.

Isomorphism — strict composition / presupposes. The defining biholomorphism and its inverse preserve complex structure, and conjugacy transfers the complete first-return dynamics into rotation coordinates. The disc is not itself a mapping, so composition is more exact than subsumption.
Invariance — inherited through Isomorphism. The component returns under f^p, and pullbacks of rotation circles are invariant under the first-return dynamics. These facts are operative, but the live Isomorphism parent already strictly presupposes Invariance, so a second direct edge would be redundant.
Connectedness — required property, no direct edge. A Fatou component is connected, but this broad topological condition does not identify the rotation mechanism.
Periodicity — declined parent. The component is periodic, but typical internal orbits under irrational rotation never repeat. Treating the whole node as a kind of finite-cycle Periodicity would misstate its defining dynamics.
Stability — declined. Neutral rotation does not return perturbations toward an operating point, which is the live Stability prime's commitment.

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

Not to Be Confused With¶

Irrationally indifferent periodic point. Necessary center data, not a proof of linearization. Tell: has a convergent analytic conjugacy been established?
Cremer point. Irrationally indifferent but nonlinearizable. Tell: do the small divisors defeat every analytic linearizing coordinate?
Herman ring. Annular irrational rotation component. Tell: is the carrier an annulus with no central zero, rather than a disc?
Attracting basin. Iterates approach an attracting cycle. Tell: does radial distance decay instead of remain constant in rotation coordinates?
Parabolic basin. Root-of-unity multiplier with petal dynamics. Tell: is the multiplier rationally rather than irrationally indifferent?
Fatou component. Broad normal-family component genus. Tell: are disc topology and irrational-rotation conjugacy both present?
Julia set. The chaotic/non-normal complement. Tell: is the point in the open normality region or on its boundary/complement?
Formal linearization. Coefficientwise solution without convergence. Tell: is there a positive analytic domain for the conjugacy?
Brjuno number. Arithmetic property of the rotation number. Tell: is the number being classified, or the maximal holomorphic rotation component?
KAM invariant torus. A related small-divisor and conjugacy phenomenon in smooth/Hamiltonian dynamics. Tell: are Fatou normality and a biholomorphic disc essential?

References¶

[1] Carl Ludwig Siegel, “Iteration of Analytic Functions,” *Annals of registry ↩

[2] Jean-Christophe Yoccoz, *Théorème de Siegel, nombres de Bruno et registry ↩a ↩b

[3] John Milnor, *Dynamics in One Complex Variable: Introductory registry ↩

[4] Xavier Buff and Arnaud Chéritat, “The Brjuno function continuously registry ↩a ↩b