Strict Bounds on Conformal Maps and the Brennan Conjecture
This presentation explores a potential-theoretic proof that establishes a quadratic upper bound for the universal integral means spectrum of conformal maps. The work strengthens Brennan's conjecture by showing that the derivative of a bounded univalent map satisfies strict integrability bounds throughout a critical interval, disproving the proposed Kraetzer spectrum formula as an equality in the interior while confirming it as a sharp upper estimate.Script
Conformal maps stretch and bend the plane while preserving angles, but their derivatives can blow up near boundary features like inward slits. For decades, Brennan's conjecture has predicted a universal integrability threshold at exponent 4, yet no one knew whether configurations involving multiple slits could conspire to create worse singularities.
The bounded universal spectrum measures how badly derivatives can behave across all bounded conformal maps. Kraetzer proposed that this spectrum equals exactly the parabola t squared over 4 on the interval from negative 2 to 2, but the authors prove the inequality is strict throughout the interior, disproving Kraetzer's formula while confirming the quadratic bound itself.
The proof constructs a family of superharmonic potentials, one for each target point in the image plane. Each potential's positive superlevel sets form nested Jordan domains, and strict superharmonicity forces every component to contain at least as many maxima as saddles. This topological constraint turns critical-point counting into a signed-area inequality that controls derivative integrability globally.
An auxiliary map G encodes the parameter for which each point becomes a critical point of the potential. The Jacobian of G separates saddles from maxima, and the signed-area formula weights these contributions by a power of the derivative modulus. The inequality from critical-point counting ensures that saddle contributions cannot dominate, yielding a global estimate independent of pointwise second-derivative control.
Converting the signed-area estimate into radial integrals produces a weighted bound on the integral means, with weight proportional to one minus r to a power determined by the parameter k. Choosing k just above the critical ratio forces the bulk term to be nonnegative near the boundary, and monotone convergence transfers the estimate from dilated maps to the original bounded map, yielding the spectrum bound t squared over 4.
The result proves Brennan's conjecture at the endpoint t equals negative 2 and extends it to a strict inequality throughout the interior, showing that the quadratic upper bound captures the true spectral geometry more precisely than previously known. To explore the full proof and generate your own explanations of research like this, visit EmergentMind.com.
