---
title: Fixed-Point Marked Blaschke Products
url: https://www.emergentmind.com/topics/fixed-point-marked-blaschke-products
type: topic
---

# Fixed-Point Marked Blaschke Products

Fixed-point-marked Blaschke products are Blaschke products studied together with explicit fixed-point data. In its most formal moduli-theoretic version, a degree-\(d\) fixed-point-marked rational map is a pair \((f;x_1,\dots,x_{d+1})\) in which \(f\in \mathrm{Rat}_d\) and the ordered tuple records all fixed points of \(f\), counted with multiplicity; the corresponding moduli space of degree-\(d\) fixed-point-marked Blaschke products is denoted \(B_d^{fm}\) [2507.17077]. Related work uses the same organizing idea more broadly: a distinguished interior fixed point, a boundary fixed point with angular derivative, or a local fixed-point germ may serve as the marking data that rigidifies a Blaschke product or makes it a canonical model for a wider dynamical system.

## 1. Definitions, normalizations, and marking data

A finite Blaschke product of degree \(d\ge 2\) is a rational map
\[
f(z)=e^{2\pi i\theta}\prod_{i=1}^{d}\frac{z-a_i}{1-\overline{a_i}z},
\qquad (a_1,\dots,a_d)\in \Delta^d,\ \theta\in \mathbb{R}/\mathbb{Z},
\]
where \(\Delta\) is the unit disk. Such maps preserve \(\Delta\), its exterior \(1/\Delta\), and the unit circle \(S^1\), and their Julia set is exactly \(S^1\) [2507.17077]. In the fixed-point-marked setting, one passes from the unmarked map \(f\) to the marked datum \((f;x_1,\dots,x_{d+1})\), where the \(x_i\) enumerate \(\mathrm{Fix}(f)\).

The conjugation action of \(\mathrm{PSL}(2,\mathbb C)\) on fixed-point-marked rational maps is
\[
\phi\cdot(f;x_1,\dots,x_{d+1})
=
(\phi\circ f\circ\phi^{-1};\phi(x_1),\dots,\phi(x_{d+1})).
\]
Within \(B_d^{fm}\) and the broader quasi-Blaschke space \(QB_d^{fm}\), a standard representative is one for which \(f\) is a Blaschke product and
\[
x_1=0,\qquad x_2=\infty,\qquad x_3=1.
\]
For such a representative, the map has the explicit form
\[
f(z)=
\left(\prod_{i=1}^{d-1}\frac{1-\overline{a_i}}{1-a_i}\right)
z\prod_{i=1}^{d-1}\frac{z-a_i}{1-\overline{a_i}z},
\]
with parameters \(a_i\in\Delta\) [2507.17077].

Outside the fully marked moduli-theoretic framework, normalization by automorphisms of the disk remains fundamental. For a holomorphic self-map \(f:\mathbb D\to\mathbb D\), automorphisms
\[
T_{a,\gamma}(z)=\gamma\,\frac{a-z}{1-\overline a z}
\]
move a distinguished point to \(0\), and the normalized maps
\[
T_{f(a_k\gamma_k)}\circ f\circ T_{a_k,\gamma_k}
\]
fix \(0\). For finite Blaschke products, if \(a_k\gamma_k\to\gamma_0\in\mathbb T\), these normalized maps converge locally uniformly to the rotation
\[
P_\gamma(z)=\gamma z,\qquad
\gamma=\frac{B'(\gamma_0)}{|B'(\gamma_0)|},
\]
which gives a boundary-asymptotic description of a moving marked point approaching \(\partial\mathbb D\) [1101.2296].

## 2. Local fixed-point models and associated Blaschke products

A local fixed-point-marked model appears in the study of planar quasiregular maps with constant complex dilatation near a fixed point. The model map is
\[
H_{K,\theta,n}(z)=\big(h_{K,\theta}(z)\big)^n,\qquad
h_{K,\theta}(z)=\frac{K+1}{2}z+e^{2i\theta}\frac{K-1}{2}\overline z,
\]
with \(K>1\), \(\theta\in(-\pi/2,\pi/2]\), and \(n\ge 2\). Its complex dilatation is constant,
\[
\mu=e^{2i\theta}\left(\frac{K-1}{K+1}\right),
\]
and the associated unicritical Blaschke product is
\[
B(z)=\left(\frac{z+\mu}{1+\overline\mu z}\right)^n.
\]
The induced circle map \(\widetilde H\) on directions satisfies \(\widetilde H=T(B)\), where \(T\) is the rescaling operator on degree-\(n\) circle maps [1504.05463].

In this setting, the marking data are precisely local fixed-point invariants. The degree \(n\) records the local index of the fixed point, and the parameter \(\mu\) records the local complex dilatation and stretching direction. Fixed rays of \(H\) correspond to fixed points of \(\widetilde H\), and hence to fixed points of \(B\) on \(\partial\mathbb D\), with the known parity modification when \(n\) is odd. The paper defines \(H\) to be elliptic, parabolic, or hyperbolic according to the Denjoy–Wolff type of the associated Blaschke product \(B\), and this classification determines the number and type of invariant curves landing at the marked fixed point.

The local model becomes a conjugacy theorem for actual quasiregular germs. If \(f\) is quasiregular near a fixed point \(z_0\), has local index \(n\ge 2\), and has constant complex dilatation in a neighborhood of \(z_0\), then there exist a neighborhood \(V\), parameters \(K,\theta,n\), and a quasiconformal map \(\psi\) such that
\[
\psi(f(z))=H(\psi(z))
\]
on \(V\), with \(\psi\) asymptotically conformal at \(z_0\). External rays \(E_\phi=\psi^{-1}(R_\phi)\) then transfer the fixed-ray structure of \(H\) to fixed or switched invariant curves of \(f\) landing at \(z_0\) [1504.05463]. In this sense, the associated Blaschke product is a local fixed-point-marked model for the quasiregular germ.

## 3. Boundary fixed points, critical-set marking, and rigidity

A second major use of fixed-point marking is boundary rigidity. A Burns–Krantz type theorem states that if \(f:\mathbb D\to\mathbb D\) is holomorphic and \(\xi\in\partial\mathbb D\), then
\[
f(z)=z+o(|\xi-z|^3)\quad\text{as }z\to \xi
\]
forces \(f\) to be the identity. In the Blaschke setting, if \(B\) is a maximal Blaschke product for \(f\), \(\xi\in\partial\mathbb D\) is a boundary fixed point of \(B\) with finite positive angular derivative, and there is a non-tangential sequence \(z_n\to\xi\) such that
\[
f(z_n)=B(z_n)+o(|\xi-z_n|^3),
\]
then \(f=B\) on all of \(\mathbb D\) [2505.21346]. Here the fixed-point marking is the boundary germ at \(\xi\), while the maximal Blaschke product condition encodes the critical-set marking.

Maximal Blaschke products arise from an extremal problem with a distinguished basepoint. Given an \(H^\infty\)-critical set \(C\subset\mathbb D\), let \(N\) be the multiplicity of \(0\) in \(C\). Kraus and Roth consider
\[
\max\bigl\{\operatorname{Re} f^{(N+1)}(0): f\in\mathcal F_C,\ \|f\|_\infty\le 1\bigr\},
\]
where \(\mathcal F_C\) consists of bounded analytic functions whose critical set contains \(C\). They prove that the extremal function \(B_C\) is unique, is an indestructible Blaschke product, has critical set exactly \(C\), is normalized by \(B_C(0)=0\) and \(B_C^{(N+1)}(0)>0\), and is finite exactly when \(C\) is finite [1303.6769]. This is a canonical origin-marked construction; by disk automorphisms it becomes a fixed-point-marked construction at any interior point.

Prescribing fixed points on the boundary can also be done explicitly. Given pairwise distinct \(t_1,\dots,t_n\in\mathbb T\), there exists at least one finite Blaschke product \(f\in\mathcal B_{n-1}\) with
\[
f(t_i)=t_i,\qquad i=1,\dots,n.
\]
All such solutions of degree at most \(n-1\) are parameterized by admissible tuples \(\gamma=(\gamma_1,\dots,\gamma_{n-1})\) through an explicit formula, and the associated boundary multipliers satisfy
\[
\gamma_n
=
1-
\Bigg(\sum_{i=1}^{n-1}\frac{1}{\gamma_i-1}\Bigg)^{-1}.
\]
In this fully fixed boundary case, the identity map is the only solution of degree \(\le n-2\) [1609.09843]. This yields a concrete boundary fixed-point-marked family in which the marked points are \(t_1,\dots,t_n\) and the angular derivatives are part of the parameter data.

## 4. Unicritical families, elliptic loci, and fixed-point geometry

For unicritical finite Blaschke products of degree \(n\), there is a normal form
\[
B_w(z)=\left(\frac{z-w}{1-\overline wz}\right)^n,
\qquad
w\in\mathbb D,\ \arg w\in\Bigl[0,\frac{2\pi}{n-1}\Bigr),
\]
and every unicritical Blaschke product of degree \(n\) is Möbius-conjugate to a unique such \(B_w\) [1408.2418]. The parameter \(w\) marks the unique critical point in \(\mathbb D\), while the Denjoy–Wolff point provides the relevant fixed-point datum.

The elliptic locus
\[
\mathcal E_n=\{w:B_w\text{ is elliptic}\}
\]
consists of parameters for which the Denjoy–Wolff point lies in \(\mathbb D\). Its rotationally symmetrized version \(\widetilde{\mathcal E_n}\subset\mathbb D\) is a starlike domain about \(0\) containing the disk
\[
|w|<\frac{n-1}{n+1},
\]
and the corresponding connectedness locus \(\widetilde{\mathcal M_n}\) is \(\widetilde{\mathcal E_n}\) together with finitely many parabolic boundary points [1408.2418]. The fixed-point meaning is direct: inside \(\widetilde{\mathcal E_n}\), the marked attracting fixed point lies in the disk; on the boundary, it becomes parabolic on \(S^1\); outside, the Denjoy–Wolff point is a boundary attracting fixed point.

For the degree-\(d\) unicritical family, the relative boundary of the full elliptic locus is the epicycloid
\[
\gamma_d(\theta)=\frac{e^{id\theta}-d e^{i\theta}}{d+1},
\qquad \theta\in[0,2\pi].
\]
These are exactly the parabolic parameters, and when \(w=\gamma_d(\theta)\) the Denjoy–Wolff point is
\[
z_0=e^{id\theta}.
\]
Thus the boundary of the elliptic region is parameterized by the parabolic fixed point itself [1504.06539]. In degree \(2\), this curve is a cardioid, and every degree-\(2\) Blaschke product is unicritical in the disk; the paper further constructs an explicit conjugacy invariant \(\lambda\in\mathbb D\) so that a degree-\(2\) product is elliptic, parabolic, or hyperbolic according as \(\lambda\) lies inside, on, or outside the cardioid [1504.06539].

## 5. The moduli space \(B_d^{fm}\): complex structure and pressure geometry

The most explicit theory of fixed-point-marked Blaschke products is the complex-analytic study of \(B_d^{fm}\). Let \(\widetilde{QB}_d^{fm}\) be the connected component of fixed-point-marked quasi-Blaschke products containing the model
\[
(z^d;0,\infty,1,\zeta,\zeta^2,\dots,\zeta^{d-2}),
\qquad
\zeta=e^{2\pi i/(d-1)},
\]
and let \(QB_d^{fm}=\widetilde{QB}_d^{fm}/\mathrm{PSL}(2,\mathbb C)\). Then \(B_d^{fm}\subset QB_d^{fm}\) is the locus represented by actual Blaschke products [2507.17077].

A simultaneous uniformization theorem identifies this space with a diagonal in a product of polynomial hyperbolic components. There is a biholomorphism
\[
\Theta:\mathcal H_d^{fm}\times\overline{\mathcal H_d^{fm}}\longrightarrow QB_d^{fm}
\]
such that the restriction of \(\Theta\) to the diagonal
\[
\mathrm{Diag}=\{([f],[f]):[f]\in\mathcal H_d^{fm}\}
\]
is a diffeomorphism onto \(B_d^{fm}\). Equivalently, there is a biholomorphism
\[
\mathcal U:B_d^{fm}\times\overline{B_d^{fm}}\longrightarrow QB_d^{fm}
\]
realizing fixed-point-marked quasi-Blaschke products as matings of two fixed-point-marked Blaschke products. The complex structure on \(B_d^{fm}\) is defined by pulling back the complex structure of \(\mathcal H_d^{fm}\) through this diagonal identification [2507.17077].

This moduli space carries dynamical multiplier functions. For each repelling cycle \(C\) of the model map \(z^d|_{S^1}\), there is a corresponding holomorphic multiplier function \(\lambda_C\) on \(B_d^{fm}\). Every Blaschke product also has a holomorphic attracting fixed point in \(\Delta\) with multiplier \(\lambda_{h.att}\), and the super-attracting locus
\[
\mathcal{SA}_d^{fm}
=
\{[f]\in B_d^{fm}:\lambda_{h.att}(f)=0\}
\]
is a complex codimension-\(1\) subspace [2507.17077].

The same paper studies the pressure/Weil–Petersson geometry of \(B_d^{fm}\). The Weil–Petersson semi-norm is non-degenerate outside \(\mathcal{SA}_d^{fm}\); if \([f]\in\mathcal{SA}_d^{fm}\), it is still non-degenerate on directions transverse to \(\mathcal{SA}_d^{fm}\), and for Lebesgue almost every tangent vector inside \(T\mathcal{SA}_d^{fm}\). In degrees \(2\) and \(3\), the Weil–Petersson semi-norm is everywhere non-degenerate on \(B_2^{fm}\) and \(B_3^{fm}\), hence defines a genuine metric there [2507.17077]. Fixed-point marking is essential in this theory because it removes quotient singularities coming from permuting fixed points and makes the multiplier coordinates globally meaningful.

## 6. Extensions, variants, and broader uses of fixed-point marking

In random dynamics, the marking may itself vary measurably. For an admissible random Blaschke product cocycle \((T_\omega)_{\omega\in\Omega}\), there exists a measurable map
\[
x:\Omega\to D
\]
such that
\[
x_\omega=\lim_{n\to\infty}T_{\sigma^{-n}\omega}^{(n)}(z)
\quad\text{for all }z\in D
\]
for \(\mathbb P\)-almost every \(\omega\). The random invariant measure has density
\[
h_\omega(z)=P_{x_\omega}(z)=\frac{1-|x_\omega|^2}{|z-x_\omega|^2}
\]
on \(\mathbb T\), so the invariant measure is canonically centered at the random fixed point \(x_\omega\). The fibre entropy is then
\[
h_\mu^{\mathrm{fib}(\mathcal T)}
=
\int_\Omega\int_{\mathbb T}\log|T_\omega'(z)|\,d\mu_\omega(z)\,d\mathbb P(\omega),
\]
and averaging over rotations yields an entropy formula independent of the particular random marking [2505.09948].

A different variant appears in finite-dimensional families of Blaschke-type rational maps modeling multimodal circle maps. For each integer \(m\ge 1\), the family
\[
B_{\mu\kappa}(z)
=
e^{2\pi i\eta_0}\,
z^{k_0}
\prod_{j=1}^m
\left(\frac{z-a_j}{1-\overline a_j z}\right)^{k_j}
\]
realizes all post-critically finite \(2m\)-multimodal circle maps satisfying the paper’s dynamical hypotheses, and the realization is unique up to rotation [2605.05823]. A plausible implication is that adding a fixed-point normalization would remove this residual rotation ambiguity and convert the “unique up to rotation” statement into uniqueness in a marked moduli space.

More generally, boundary normalization remains a recurrent theme. When a marked point approaches the unit circle, the normalized Blaschke products
\[
T_{B(a_k\gamma_k)}\circ B\circ T_{a_k,\gamma_k}
\]
converge to a rotation determined by the boundary derivative, which can be read as the asymptotic local model at a moving marked fixed point on \(\partial\mathbb D\) [1101.2296]. Across local quasiregular dynamics, maximal Blaschke products, boundary rigidity, unicritical parameter spaces, and moduli theory, the fixed-point-marked viewpoint serves as a unifying device: it replaces coarse conjugacy classes by objects with enough normalization data to support explicit formulas, rigidity theorems, and analytic structures.

Source: https://www.emergentmind.com/topics/fixed-point-marked-blaschke-products