Piecewise geodesic Jordan curves II: Loewner energy, projective structures, and accessory parameters

Mario Bonk,Janne Junnila,Steffen Rohde,Yilin Wang
2024-10-30
Abstract:Consider a Jordan curve on the Riemann sphere passing through $n \ge 3$ given points. We show that in each relative isotopy class of such curves, there exists a unique curve that minimizes the Loewner energy. These curves have the property that each arc between two consecutive points is a hyperbolic geodesic in the domain bounded by the other arcs. This geodesic property lets us define a complex projective structure on the punctured sphere. We show that its associated quadratic differential has simple poles, whose residues (accessory parameters) are given by the Wirtinger derivatives of the minimal Loewner energy, a result resembling Polyakov's conjecture for the Fuchsian projective structure that was later proven by Takhtajan and Zograf. Finally, we show that the projective structures we obtain are related to the Fuchsian projective structures via a $\pi$-grafting.
Complex Variables,Differential Geometry
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the uniqueness and properties in the relative isotopy classes of Jordan curves passing through given \(n \geq 3\) points on the Riemann sphere. Specifically, the paper focuses on whether there is a unique curve in each such relative isotopy class that can minimize the Loewner energy, and whether each arc segment of these curves is a hyperbolic geodesic. In addition, the paper also explores the relationship between these curves and complex projective structures, in particular, how they define a quadratic differential with simple poles, whose residues are given by the Wirtinger derivatives of the minimum Loewner energy. This result is similar to Polyakov's conjecture on Fuchsian projective structures, which was later proved by Takhtajan and Zograf. ### Main Results of the Paper 1. **Uniqueness**: The paper proves that in each relative isotopy class, there exists a unique smooth piecewise - geodesic Jordan curve, which is also the minimum point of the Loewner energy. 2. **Projective Structure**: Through these curves, a complex projective structure can be defined, whose quadratic differential has simple poles, and whose residues are given by the Wirtinger derivatives of the minimum Loewner energy. 3. **\(\pi\)-Grafting**: The paper also shows the relationship between these projective structures and Fuchsian projective structures through \(\pi\)-grafting, confirming a special case of the grafting conjecture on the \(n\)-punctured sphere. ### Mathematical Background - **Loewner Energy**: The Loewner energy is a function that measures the complexity of a curve, defined as the square integral of the driving function. - **Hyperbolic Geodesic**: A hyperbolic geodesic is the shortest path connecting two points in hyperbolic geometry. - **Complex Projective Structure**: A complex projective structure is a geometric structure that can be described by local coordinate charts, and the transitions between these coordinate charts belong to the PSL(2, C) group. - **Wirtinger Derivative**: The Wirtinger derivative is a concept in complex analysis, used to handle partial derivatives of complex variables. ### Main Technical Tools - **Potential Theory**: Used to prove the uniqueness result. - **Conformal Welding**: Map the two sides of the curve to the upper and lower half - planes through conformal mappings, and study the properties of the welding homeomorphism. - **\(\pi\)-Grafting**: By performing \(\pi\)-grafting along hyperbolic geodesics on the \(n\)-punctured sphere, study the relationships between different projective structures. ### Conclusion Through rigorous mathematical proofs, the paper not only establishes the existence of a unique smooth piecewise - geodesic Jordan curve in each relative isotopy class, but also reveals the profound relationship between these curves and complex projective structures, further verifying a special case of Polyakov's conjecture. These results are of great significance for the study of complex analysis, geometric function theory, and projective structures.