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

# Fixed-Point Marked Quasi-Blaschke Products

Fixed-point-marked quasi-Blaschke products form a rigidified moduli problem in one-dimensional complex dynamics. For degree \(d\ge 2\), a quasi-Blaschke product is a hyperbolic rational map whose Julia set is a quasi-circle and which fixes each of the two Fatou components; the fixed-point-marked theory records, in addition, all \(d+1\) fixed points in an ordered tuple and then passes to the quotient by \(\PSL(2,\mathbb C)\). The resulting moduli space \(QB_d^{fm}\) contains the subspace \(B_d^{fm}\) of genuine Blaschke products, and its analytic theory is organized by two central results: a biholomorphic simultaneous uniformization \(B_d^{fm}\times \overline{B_d^{fm}}\to QB_d^{fm}\), and a non-degeneracy theorem for the Weil–Petersson, equivalently pressure, semi-norm away from the super-attracting locus \(\mathcal{SA}_d^{fm}\) [2507.17077].

## 1. Definition of the objects and the moduli spaces

For \(d\ge 2\), a degree-\(d\) Blaschke product is a rational map \(f:\mathbb P^1\to \mathbb P^1\) of the form
\[
f(z)=e^{2\pi i\theta}\prod_{i=1}^{d}\frac{z-a_i}{1-\overline{a_i}z},
\]
where \((a_1,\ldots,a_d)\in \Delta^d\), \(\theta\in \mathbb R/\mathbb Z\), and \(\Delta=\{z\in \mathbb P^1:|z|<1\}\). The fixed-point-marked ambient space is
\[
{\rm Rat}_d^{fm}:=\left\{(f;x_1,\dots,x_{d+1})\in {\rm Rat}_d\times (\mathbb P^1)^{d+1}\mid \{x_1,\dots,x_{d+1}\}={\rm Fix}(f)\right\},
\]
which is a smooth manifold. The group \(\PSL(2,\mathbb C)\) acts by
\[
\phi\cdot (f;x_1,\dots,x_{d+1})
=
(\phi\circ f\circ \phi^{-1};\phi(x_1),\dots,\phi(x_{d+1})),
\]
and this action is free on the hyperbolic locus [2507.17077].

A quasi-Blaschke product is defined as a hyperbolic rational map whose Julia set \(\mathcal J(f)\) is a quasi-circle and which fixes each of the two Fatou components. The connected component \(\widetilde{QB}_d^{fm}\) of fixed-point-marked degree-\(d\) quasi-Blaschke products containing
\[
(z^d;0,\infty,1,\zeta,\zeta^2,\dots,\zeta^{d-2}),
\qquad
\zeta=e^{2\pi i/(d-1)},
\]
gives, after quotienting by \(\PSL(2,\mathbb C)\),
\[
QB_d^{fm}:=\widetilde{QB}_d^{fm}/\PSL(2,\mathbb C).
\]
The Blaschke locus is the subspace
\[
B_d^{fm}:=\{[f]\in QB_d^{fm}: f \text{ is a Blaschke product}\}.
\]
Both \(\widetilde{QB}_d^{fm}\) and \(QB_d^{fm}\) are complex manifolds.

The fixed-point marking is not auxiliary decoration. It removes residual Möbius symmetry by fixing reference points, so that the quotient acquires a usable moduli interpretation. In particular, the marked theory distinguishes the two attracting basins and orders the remaining fixed points on the Julia set, which is essential for the uniformization and metric results.

## 2. Standard representatives, marking conventions, and circle dynamics

A standard representative of a class \([ (f;x_1,\dots,x_{d+1}) ]\) in \(B_d^{fm}\) or \(QB_d^{fm}\) is defined by the conditions that \(f\) is a Blaschke product, \(x_1=0\), \(x_2=\infty\), and \(x_3=1\). In this normalization, the attracting fixed points are placed at \(0\) and \(\infty\), a repelling fixed point is placed at \(1\), and the remaining fixed points on the Julia set are ordered counterclockwise as \(x_4,\dots,x_{d+1}\) [2507.17077].

This marking convention canonically identifies the boundary dynamics with the monomial model. Given the model
\[
(z^d;0,\infty,1,\zeta,\dots)
\]
and a standard representative
\[
(f;0,\infty,1,x_4,\dots),
\]
there is a unique homeomorphism \(\phi_f:S^1\to S^1\) conjugating \((S^1,z\mapsto z^d)\) to \((S^1,f)\) and satisfying \(\phi_f(\zeta^k)=x_{k+3}\). If
\[
C=\{x,x^d,\dots,x^{(n-1)d}\}
\]
is an \(n\)-cycle of \(z^d\) on \(S^1\), then
\[
\lambda_C(f):=(f^n)'(\phi_f(x))
\]
is the multiplier of the image cycle \(\phi_f(C)\) for \(f\). This defines holomorphic multiplier functions on \(B_d^{fm}\), and for any \([f]\in B_d^{fm}\), cycles on \(S^1\) are repelling, so \(|\lambda_C([f])|>1\).

The marked circle dynamics supply a concrete coordinate system for infinitesimal questions. The ordering of fixed points and the distinguished conjugacy \(\phi_f\) allow repelling multipliers on the Julia set to be tracked holomorphically across moduli, and those multiplier coordinates are later used in the analysis of pressure and Weil–Petersson degeneracy.

## 3. Complex structure and simultaneous uniformization

The complex structure on \(B_d^{fm}\) is constructed indirectly from polynomial dynamics. Let \(\mathrm{poly}_d^{fm}\) denote fixed-point-marked polynomials, and let \(\mathcal H_d^{fm}\) be the central hyperbolic component containing the marked monomial model. The central analytic statement is the biholomorphism
\[
\Theta:\mathcal H_d^{fm}\times \overline{\mathcal H_d^{fm}}\to \mathcal{QB}_d^{fm},
\]
with the property that if \(F\in \Theta([f],[g])\) and \(U,V\) are the two Fatou components of \(F\), then
\[
F|_U \sim f|_{\mathrm{int}(K(f))}\quad\text{holomorphically},
\qquad
F|_V \sim g|_{\mathrm{int}(K(g))}\quad\text{anti-holomorphically}.
\]
Moreover, the restriction of \(\Theta\) to the diagonal \(\mathrm{Diag}:=\{([f],[f])\}\) is a diffeomorphism \(\mathrm{Diag}\to \mathcal B_d^{fm}\). The holomorphic structure on \(B_d^{fm}\) is then defined by pulling back the holomorphic structure of \(\mathcal H_d^{fm}\) via
\[
p_1\circ \Theta|_{\mathrm{Diag}}^{-1}:B_d^{fm}\to \mathcal H_d^{fm}
\]
[2507.17077].

In this framework, the main simultaneous uniformization theorem takes the form
\[
\mathcal U:B_d^{fm}\times \overline{B_d^{fm}}\to QB_d^{fm},
\]
a biholomorphism such that for fixed-point-marked Blaschke products \(f\) and \(g\), the map \(\mathcal U([f],[g])\) restricts on its two Fatou components to maps biholomorphically conjugate to \(f|_\Delta\) and \(g|_{1/\Delta}\), respectively. Here
\[
\Delta=\{z\in \mathbb P^1:|z|<1\},
\qquad
1/\Delta=\{z\in \mathbb P^1:|z|>1\}.
\]
The same paper shows that this map agrees, as a smooth map, with McMullen’s mating construction:
\[
{\rm Mate}([f],[g])=\mathcal U([f],[g]).
\]

The proof uses quasiconformal surgery and conformal welding on the unit circle. For standard representatives \(f,g\in \mathcal H_d^{fm}\), the mated Beltrami differential is defined by
\[
\mu_{f*g}(z):=
\begin{cases}
\mu_f(z), & z\in \Delta,\\[4pt]
\overline{\mu_g(1/\bar z)}\cdot \dfrac{z^2}{\bar z^2}, & z\in 1/\Delta,
\end{cases}
\]
and the measurable Riemann mapping theorem is used to solve for \(\phi_{f*g}\). One then defines the resulting rational map piecewise on \(\phi_{f*g}(\Delta)\) and \(\phi_{f*g}(1/\Delta)\). Holomorphic dependence is established using holomorphic motions and analytic dependence of solutions of Beltrami equations. A distinctive technical point is that the quasi-Blaschke setting requires holomorphic dependence of sufficiently many boundary points, reflecting that
\[
\dim_\mathbb C QB_d^{fm}=2d-1,
\]
which is larger than
\[
\dim_\mathbb C \PSL(2,\mathbb C)=3.
\]

The formal analogy is with Bers’ simultaneous uniformization
\[
QF(S)\cong T(S)\times T(\overline S).
\]
Here \(\mathcal H_d^{fm}\) plays the role of a “Teichmüller space” for the inside dynamics, and \(\overline{\mathcal H_d^{fm}}\) plays the outside role.

## 4. Weil–Petersson and pressure semi-norms

For a smooth path \(([f_t])_{t\in(-1,1)}\) in \(B_d^{fm}\) with standard representatives, one defines a holomorphic vector field \(\eta_{\vec v}\) on \(\Delta\) by
\[
\eta_{\vec v}(z):=\frac{d}{dt}\bigg|_{t=0}H_t(z),
\]
where \(H_t:\Delta\to \mathbb P^1\) satisfy \(H_t\circ F_0=F_t\circ H_t\) and extend quasiconformally to \(\mathbb P^1\). McMullen’s Weil–Petersson semi-norm is
\[
\|\vec v\|_{WP}
:=
\lim_{r\to 1}\frac{1}{4\pi |\log(1-r)|}\int_{|z|=r} |\eta'_{\vec v}(z)|^2\,|dz|,
\]
and the paper proves the exact relation
\[
\|\vec v\|_{WP}=\frac12 \|\vec v\|_P,
\]
so the Weil–Petersson and pressure semi-norms agree up to a factor of \(2\) [2507.17077].

Degeneracy of the semi-norm has strong dynamical consequences. If
\[
\left\|\frac{d}{dt}\bigg|_{t=0}[f_t]\right\|_{WP}=0,
\]
then
\[
\left.\frac{d}{dt}\right|_{t=0}\lambda_C([f_t])=0
\quad\text{for every repelling cycle }C.
\]
This connects metric degeneracy to infinitesimal multiplier rigidity. A second input is the holomorphic index formula: if \(\lambda_{att}(f)\) denotes the attracting multiplier, then for every \(n\ge 1\),
\[
\sum_{m\mid n}\sum_{\substack{C \text{ repelling}\\ \text{$m$-cycle}}}\frac{m}{\lambda_C(f)-1}
=
\frac{1-|\lambda_{att}(f)^n|^2}{|1-\lambda_{att}(f)^n|^2}.
\]
From this, degeneracy yields the identity
\[
\dot r\bigl(2r^n-r^{2n}\cos n\theta-\cos n\theta\bigr)
=
-r(1-r^{2n})\dot\theta\sin n\theta,
\]
where \(\lambda_{h.att}([f_t])=r(t)e^{i\theta(t)}\).

The super-attracting locus is
\[
\mathcal{SA}_d^{fm}:=\{[f]\in B_d^{fm}:\text{ attracting multipliers of }f\text{ is }0\},
\]
and it is a codimension-\(1\) subspace of \(B_d^{fm}\). The main non-degeneracy theorem states:

1. for any \([f]\notin \mathcal{SA}_d^{fm}\) and non-zero \(\vec v\in T_{[f]}B_d^{fm}\), one has \(\|\vec v\|_{WP}\neq 0\);
2. for any \([f]\in \mathcal{SA}_d^{fm}\) and \(\vec v\in T_{[f]}B_d^{fm}\setminus T_{[f]}\mathcal{SA}_d^{fm}\), one has \(\|\vec v\|_{WP}\neq 0\);
3. for Lebesgue almost every \(\vec v\in T\mathcal{SA}_d^{fm}\), one has \(\|\vec v\|_{WP}\neq 0\).

The mechanism combines the holomorphic structure on \(B_d^{fm}\), the identity
\[
\|\vec v\|_{WP}=\|J\cdot \vec v\|_{WP},
\]
and holomorphicity of the multiplier at the holomorphic attracting fixed point \(0\). In the paper’s formulation, Ivrii’s trick and a perpendicularity argument force a contradiction unless the holomorphic attracting multiplier vanishes. The metric therefore fails to degenerate away from \(\mathcal{SA}_d^{fm}\), and even on \(\mathcal{SA}_d^{fm}\) degeneracy is exceptional. A related path-length statement is that any non-trivial \(C^1\)-path \(\gamma:[0,1]\to B_d^{fm}\) has
\[
\ell_{WP}(\gamma)=\int_0^1 \|\gamma'(t)\|_{WP}\,dt>0.
\]

## 5. Low-degree cases and explicit computations

The general theory specializes cleanly in low degrees. For \(d=2\), the Weil–Petersson semi-norms are non-degenerate in \(B_2^{fm}\); in this case \(\mathcal{SA}_2^{fm}\) is a singleton, so non-degeneracy follows immediately from the general theorem. For \(d=3\), the Weil–Petersson semi-norms are likewise non-degenerate in \(B_3^{fm}\) [2507.17077].

In degree \(3\), the super-attracting locus admits the explicit family
\[
f_a(z)=\frac{\overline a+1}{1+a} z^2\frac{z+a}{\overline a z+1},
\qquad a\in \Delta.
\]
The multiplier at the marked repelling fixed point \(1\) is
\[
\lambda_1([f_a])=\frac{1}{1+a}+\frac{1}{1+\overline a}.
\]
Its derivatives satisfy
\[
\partial_a\lambda_1=-\frac{1}{(1+a)^2}\neq 0,
\qquad
\partial_{\overline a}\lambda_1=-\frac{1}{(1+\overline a)^2}\neq 0.
\]
These formulas show that the multiplier varies nontrivially along the family and rule out degeneracy of the Weil–Petersson semi-norm on \(T_{[f_a]}\mathcal{SA}_3^{fm}\).

These low-degree results are significant because they show that the semi-norm is not merely generically non-degenerate but fully non-degenerate in the first two nontrivial marked Blaschke moduli spaces. They also illustrate the role of marked multipliers as explicit diagnostic functions for infinitesimal geometry.

## 6. Position within the broader Blaschke-product literature

The fixed-point-marked quasi-Blaschke theory sits next to several adjacent Blaschke-product settings without collapsing into them. The paper on unicritical Blaschke products studies the normalized family
\[
B_{w,\theta}(z)=e^{i\theta}\left(\frac{z-w}{1-\overline wz}\right)^d
\]
and shows that the parabolic locus in parameter space is an epicycloid with \(d-1\) cusps,
\[
w(\theta)=\frac{e^{id\theta}-d\,e^{i\theta}}{d+1},
\]
whose interior corresponds to elliptic maps with an attracting fixed point in \(\mathbb D\); it does not define quasi-Blaschke products, but it gives a concrete parameter-space geometry for a restricted Blaschke family [1504.06539].

A different neighboring direction associates a finite Blaschke product
\[
B(w)=\left(\frac{w+\mu}{1+\overline\mu w}\right)^n
\]
to the local quasiregular model
\[
H(z)=[h_{K,\theta}(z)]^n
\]
near a fixed point with constant complex dilatation. There the emphasis is on classifying fixed rays and switched antipodal pairs via boundary fixed points of \(B\); again, the paper does not use the term quasi-Blaschke product, but it gives a fixed-point-marked correspondence between local quasiregular dynamics and boundary dynamics of a finite Blaschke product [1504.05463].

Another distinct strand concerns maximal Blaschke products. There the central object is an extremal bounded analytic function with prescribed critical set, normalized at a fixed point, and the main result is that the extremal is an essentially unique indestructible Blaschke product. Fixed-point marking is implemented by conjugation with disk automorphisms, but the theory remains entirely conformal and does not define quasi-Blaschke products [1303.6769].

Taken together, these neighboring theories clarify the specificity of the fixed-point-marked quasi-Blaschke moduli problem. The 2025 theory is not a reformulation of unicritical parameter spaces, local quasiregular models, or maximal-function extremal problems. Its characteristic features are the simultaneous uniformization
\[
B_d^{fm}\times \overline{B_d^{fm}}\cong QB_d^{fm},
\]
the diagonal realization of the Blaschke locus, and the interaction between marked multiplier rigidity and the Weil–Petersson/pressure geometry. A plausible implication is that fixed-point marking provides the precise level of rigidification needed to transplant ideas from Bers-type uniformization and McMullen’s thermodynamic metric theory into the setting of rational dynamics with quasi-circular Julia sets.

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