Abstract
This essay examines the complex dynamical construction of matings between compositions of rational maps and free products of finite cyclic groups, as developed by Bullett, Lomonaco, and Ratis Laude, for potential structural analogies to the Riemann Hypothesis.
Download Full Article
This article is available as a downloadable PDF with complete code listings and syntax highlighting.
Overview
This essay analyzes recent work by Bullett, Lomonaco, and Ratis Laude on matings between compositions of rational maps and free products of finite cyclic groups. The source paper constructs algebraic correspondences on the Riemann sphere that "mate" the dynamics of two rational maps f and g (specifically their compositions g∘f and f∘g) with the action of a discrete group Γp,q, a representation of Cp+1 ∗ Cq+1. The construction yields a multivalued map F of bidegree (pq, pq) that partitions the sphere into two totally invariant sets: Ω, where the action resembles the group on hyperbolic space, and Λ, where it resembles the polynomial-like dynamics on filled Julia sets.
The essay probes whether this "mating" paradigm—gluing two distinct dynamical systems into a single algebraic correspondence—could serve as a structural metaphor or formal analogy for the Riemann zeta function ζ(s). The modular group PSL(2, ℤ) emerges when p = 2, q = 1, offering a superficial link to the functional equation of ζ. However, the assessment concludes that the analogy is not viable. The specific geometric tools employed (quasiconformal extensions near parabolic cusps, deleted covering correspondences, and the topology of Julia sets) lack analogues in the critical strip. Furthermore, the "parabolic" fixed points in the source are geometric attractors, not arithmetic poles, and the time-irreversibility of the constructed matings contrasts sharply with the symmetric functional equation of ζ.
The strength of the proposed correspondence is rated as a failed structural metaphor. The essay provides an honest negative result, detailing exactly where the transfer of ideas from complex dynamics to analytic number theory breaks down.
This essay was produced by an automated research pipeline and has not been peer reviewed; conjectures herein are unproven.