arxiv: 2604.16737 · v1 · submitted 2026-04-17 · 🧮 math.CV

Recognition: unknown

On the Loewner energy of a welding homeomorphism

Fredrik Viklund, Shuo Fan, Yilin Wang

Pith reviewed 2026-05-10 06:25 UTC · model grok-4.3

classification 🧮 math.CV

keywords conformal weldingLoewner energyuniversal Teichmüller spaceWeil-Petersson classFredholm determinantsquasisymmetric homeomorphismsGrunsky inequalitiescomposition operators

0 comments

The pith

The Loewner energy of a welding homeomorphism equals a regularized Fredholm determinant of an operator built from its log-difference data.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper derives explicit formulas expressing the Loewner energy I^L of a Jordan curve directly in terms of its associated conformal welding homeomorphism φ. It defines a new operator Λ_φ whose entries are the Fourier coefficients of the function log | (φ(z) - φ(w))/(z - w) | over the circle and relates this operator to single-layer potentials and composition operators. The central result states that φ is Weil-Petersson precisely when Λ_φ is Hilbert-Schmidt, with I^L recovered as several Fredholm determinants and as Dirichlet integrals involving log φ'. A reader cares because these expressions turn an abstract Kähler potential on universal Teichmüller space into a concrete, computable quantity from boundary data alone.

Core claim

We introduce the operator Λ_φ defined using the Fourier coefficients of (z,w) ↦ log |(φ(z)−φ(w))/(z−w)| on the circle. We prove an analog of the classical Grunsky inequalities for quasisymmetric φ, show that φ is Weil-Petersson if and only if Λ_φ is Hilbert-Schmidt, and express the Loewner energy I^L as several related Fredholm determinants, a regularized Fredholm determinant, Dirichlet integrals of log φ', and quantities involving the composition operator induced by φ. We also treat the associated Schatten classes.

What carries the argument

The operator Λ_φ whose matrix entries are the Fourier coefficients of log |(φ(z)−φ(w))/(z−w)|, which measures the non-conformal distortion of the welding map and serves as the bridge to the Loewner energy via Fredholm-determinant expressions.

If this is right

I^L equals the logarithm of a Fredholm determinant involving I minus a multiple of Λ_φ.
The Weil-Petersson condition on φ is equivalent to Λ_φ belonging to the Hilbert-Schmidt class.
I^L admits an expression as a Dirichlet integral of log |φ'| over the circle.
I^L can be recovered from the composition operator induced by φ on suitable function spaces.
The operator Λ_φ belongs to Schatten classes precisely when φ satisfies corresponding regularity conditions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

These formulas open the possibility of approximating Loewner energies numerically by truncating the Fourier matrix of Λ_φ for concrete welding maps.
The characterization may link Loewner energy to classical trace-class criteria in operator theory on the circle.
The approach suggests similar determinant expressions could exist for other Kähler potentials on Teichmüller spaces.

Load-bearing premise

The derivations assume standard properties of conformal welding and the Loewner energy as previously defined in the literature on universal Teichmüller space, together with quasisymmetry of φ for the Grunsky-type inequalities.

What would settle it

Compute the Hilbert-Schmidt norm of Λ_φ for an explicit quasisymmetric homeomorphism known to lie outside the Weil-Petersson class, such as one induced by a curve with a cusp of order greater than one, and check whether the norm diverges.

read the original abstract

To any Jordan curve one may associate a circle homeomorphism $\varphi : \mathbb S^1 \to \mathbb S^1$ via conformal welding. Through this correspondence, the Loewner energy $I^L$, also known as the universal Liouville action, is a K\"ahler potential for the unique homogeneous K\"ahler metric on the universal Teichm\"uller space. Despite this, explicit expressions for $I^L$ in terms of $\varphi$ alone do not seem to be available in the literature. In this paper, we obtain such formulas. For this, we introduce an operator ${\bf \Lambda}_\varphi$ defined using the Fourier coefficients of the function \[ (z,w) \mapsto \log \left|\frac{\varphi(z)-\varphi(w)}{z-w}\right|, \qquad (z,w) \in \mathbb{S}^1 \times \mathbb{S}^1. \] We relate ${\bf \Lambda}_\varphi$ to the single-layer potential and composition operator, and prove an analog of the classical Grunsky inequalities for quasisymmetric $\varphi$. We show moreover that $\varphi$ is Weil--Petersson if and only if ${\bf \Lambda}_\varphi$ is Hilbert--Schmidt, and we express $I^L$ as several related Fredholm determinants as well as a regularized Fredholm determinant. We also treat Schatten classes, and we obtain formulas in terms of Dirichlet integrals involving $\log \varphi'$ and in terms of the composition operator induced by $\varphi$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper supplies explicit formulas for Loewner energy in terms of the welding homeomorphism via a new operator and determinant expressions.

read the letter

The main point is that the authors have produced explicit expressions for the Loewner energy I^L directly in terms of the welding homeomorphism φ. They define the operator Λ_φ from the Fourier coefficients of log |(φ(z) - φ(w))/(z - w)| on the circle, relate it to the single-layer potential and composition operator, prove a Grunsky-type inequality for quasisymmetric φ, establish that φ is Weil-Petersson precisely when Λ_φ is Hilbert-Schmidt, and give I^L as several Fredholm determinants plus a regularized version, along with Dirichlet integral forms involving log φ' and the composition operator induced by φ. These formulas were not previously available in the literature in this form, so the work fills a concrete gap in the universal Teichmüller space setting. The derivations build on standard properties of conformal welding and the universal Liouville action without circularity or unsubstantiated steps, and the multiple expressions give flexibility for different applications. The Hilbert-Schmidt characterization is a clean addition. A minor limitation is that the paper remains purely theoretical with no examples or numerical checks to illustrate how the formulas behave in concrete cases, though this does not undermine the central claims. The math and operator constructions hold up internally. This paper is for specialists already working in complex analysis, conformal welding, and Teichmüller theory who need workable expressions for the energy. A reader familiar with the background will get direct value from the formulas for further calculations or proofs. It deserves a serious referee because the results are new, grounded, and relevant within the subfield. I recommend sending it to peer review.

Referee Report

0 major / 3 minor

Summary. The paper claims to derive explicit formulas for the Loewner energy I^L associated to a circle homeomorphism φ obtained via conformal welding. It introduces the operator Λ_φ defined from the Fourier coefficients of log |(φ(z)−φ(w))/(z−w)| on the circle, relates Λ_φ to the single-layer potential and the composition operator induced by φ, establishes a Grunsky-type inequality for quasisymmetric φ, proves that φ is Weil-Petersson if and only if Λ_φ is Hilbert-Schmidt, and expresses I^L via several Fredholm determinants (including a regularized version), Schatten-class norms, Dirichlet integrals involving log φ', and the composition operator.

Significance. If the derivations hold, the work supplies the first explicit expressions for the Loewner energy (universal Liouville action) directly in terms of the welding homeomorphism φ, filling a noted gap in the literature on the Kähler geometry of universal Teichmüller space. The operator-theoretic characterizations, including the Hilbert-Schmidt criterion for the Weil-Petersson class and the determinant formulas, provide concrete tools that could support further analytic and geometric investigations.

minor comments (3)

The introduction would benefit from a brief roadmap indicating which sections contain the main operator definitions, the Grunsky analog, the Hilbert-Schmidt characterization, and the various determinant expressions for I^L.
Notation for the regularized Fredholm determinant should be introduced once and used consistently; the abstract refers to both 'Fredholm determinants' and 'a regularized Fredholm determinant' without distinguishing them explicitly.
Verify that all background citations on conformal welding, the Loewner energy, and the universal Liouville action point to precise theorems or propositions rather than general references.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive assessment of the manuscript, including the recognition of its significance in providing the first explicit expressions for the Loewner energy in terms of the welding homeomorphism. We are pleased with the recommendation for minor revision and will address any editorial suggestions in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivations self-contained via operator theory on standard background

full rationale

The paper defines the operator Λ_φ explicitly from the Fourier coefficients of the given log kernel on the circle, then relates it to the single-layer potential and composition operator using standard integral-operator identities. It proves a Grunsky-type inequality for quasisymmetric φ, establishes the Weil-Petersson equivalence via Hilbert-Schmidt membership, and derives expressions for the Loewner energy I^L (the universal Liouville action) as Fredholm determinants, regularized determinants, Dirichlet integrals of log φ', and composition-operator norms. All steps rest on cited background definitions of conformal welding, the Loewner energy, and quasisymmetry properties from the universal Teichmüller space literature; none of the target quantities are defined in terms of themselves, fitted to the outputs, or forced by a self-citation chain. The central claims therefore remain independently verifiable from the operator-theoretic constructions and do not reduce to the inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The work rests on the prior definition of the Loewner energy and conformal welding; the new operator Λ_φ is introduced to obtain the expressions.

axioms (1)

domain assumption Standard properties of conformal welding homeomorphisms and the Loewner energy as a Kähler potential on universal Teichmüller space
Invoked throughout the abstract as the setting in which the new formulas are derived.

invented entities (1)

Operator Λ_φ no independent evidence
purpose: Captures the logarithmic distortion of the welding homeomorphism via Fourier coefficients to express the Loewner energy
Newly defined in the paper using the function log |(φ(z)−φ(w))/(z−w)|; no independent evidence outside the derivations is provided.

pith-pipeline@v0.9.0 · 5577 in / 1423 out tokens · 45571 ms · 2026-05-10T06:25:09.542550+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

40 extracted references · 2 canonical work pages

[1]

Ahlfors.Lectures on Quasiconformal Mappings, volume 38 ofUniversity Lecture Series

Lars V. Ahlfors.Lectures on Quasiconformal Mappings, volume 38 ofUniversity Lecture Series. American Mathematical Society, Providence, RI, 2 edition, 2006

2006
[2]

Alekseev, S

A. Alekseev, S. Shatashvili, and L. Takhtajan. Berezin quantization, conformal welding and the Bott-Virasoro group.Ann. Henri Poincaré, 25(1):35–64, 2024

2024
[3]

Princeton University Press, Princeton, NJ, 2009

Kari Astala, Tadeusz Iwaniec, and Gaven Martin.Elliptic partial differential equations and quasiconformal mappings in the plane, volume 48 ofPrinceton Mathematical Series. Princeton University Press, Princeton, NJ, 2009

2009
[4]

Bilipschitz and quasiconformal rotation, stretching and multifractal spectra.Publications Mathématiques de l’IHÉS, 121:113–154, 2015

Kari Astala, Tadeusz Iwaniec, István Prause, and Eero Saksman. Bilipschitz and quasiconformal rotation, stretching and multifractal spectra.Publications Mathématiques de l’IHÉS, 121:113–154, 2015

2015
[5]

Random conformal weldings.Acta Math., 207(2):203–254, 2011

Kari Astala, Peter Jones, Antti Kupiainen, and Eero Saksman. Random conformal weldings.Acta Math., 207(2):203–254, 2011

2011
[6]

Christopher J. Bishop. Function theoretic characterizations of Weil–Petersson curves.Revista Matemática Iberoamericana, 38(7):2355–2384, 2022

2022
[7]

Christopher J. Bishop. Weil-Petersson curves,β-numbers, and minimal surfaces. Ann. of Math. (2), 202(1):111–188, 2025

2025
[8]

Universal Liouville action as a renormalized volume and its gradient flow.Duke Math

Martin Bridgeman, Kenneth Bromberg, Franco Vargas Pallete, and Yilin Wang. Universal Liouville action as a renormalized volume and its gradient flow.Duke Math. J., 174(13):2821–2876, 2025

2025
[9]

Onsager-Machlup functional forSLE κ loop measures.Comm

Marco Carfagnini and Yilin Wang. Onsager-Machlup functional forSLE κ loop measures.Comm. Math. Phys., 405(11):Paper No. 258, 14, 2024

2024
[10]

Planar Coulomb gas on a Jordan arc at any temperature.arXiv preprint, 2025

Klara Courteaut, Kurt Johansson, and Fredrik Viklund. Planar Coulomb gas on a Jordan arc at any temperature.arXiv preprint, 2025

2025
[11]

Courbes corde-arc et espaces de Hardy généralisés.Ann

Guy David. Courbes corde-arc et espaces de Hardy généralisés.Ann. Inst. Fourier (Grenoble), 32(3):xi, 227–239, 1982

1982
[12]

Duren.Univalent functions, volume 259 ofGrundlehren der Mathematischen Wissenschaften

Peter L. Duren.Univalent functions, volume 259 ofGrundlehren der Mathematischen Wissenschaften. Springer-Verlag, New York, 1983

1983
[13]

Quasi-invariance for SLE welding measures, 2025

Shuo Fan and Jinwoo Sung. Quasi-invariance for SLE welding measures, 2025

2025
[14]

Koeffizientenbedingungen für schlicht abbildende meromorphe funktionen.Mathematische Zeitschrift, 45(1):29–61, 1939

Helmut Grunsky. Koeffizientenbedingungen für schlicht abbildende meromorphe funktionen.Mathematische Zeitschrift, 45(1):29–61, 1939

1939
[15]

On quasisymmetric homeomorphisms.Israel J

Yun Hu and Yuliang Shen. On quasisymmetric homeomorphisms.Israel J. Math., 191(1):209–226, 2012

2012
[16]

Strong Szegö theorem on a Jordan curve

Kurt Johansson. Strong Szegö theorem on a Jordan curve. InToeplitz operators and random matrices—in memory of Harold Widom, volume 289 ofOper. Theory Adv. Appl., pages 427–461. Birkhäuser/Springer, Cham, 2022

2022
[17]

Coulomb gas and the Grunsky operator on a Jordan domain with corners.To appear in Invent

Kurt Johansson and Fredrik Viklund. Coulomb gas and the Grunsky operator on a Jordan domain with corners.To appear in Invent. Math., 2026. arXiv: 2309.00308

work page arXiv 2026
[18]

Gavin L. Jones. The Grunsky operator and the Schatten ideals.Michigan Mathematical Journal, 46(1):93–100, 1999. 34

1999
[19]

A. A. Kirillov and D. V. Yuriev. Representations of the Virasoro algebra by the orbit method.J. Geom. Phys., 5(3):351–363, 1988

1988
[20]

On Loewner energy and curve composition.arXiv e-prints, 2505.03630, 2025

Tim Mesikepp and Yaosong Yang. On Loewner energy and curve composition.arXiv e-prints, 2505.03630, 2025. arXiv:2505.03630 [math.CV]

work page arXiv 2025
[21]

Teichmüller theory and the universal period mapping via quantum calculus and theH1/2 space on the circle.Osaka J

Subhashis Nag and Dennis Sullivan. Teichmüller theory and the universal period mapping via quantum calculus and theH1/2 space on the circle.Osaka J. Math., 32(1):1–34, 1995

1995
[22]

Vandenhoeck & Ruprecht, Göttingen,

Christian Pommerenke.Univalent functions. Vandenhoeck & Ruprecht, Göttingen,
[23]

With a chapter on quadratic differentials by Gerd Jensen, Studia Mathematica/Mathematische Lehrbücher, Band XXV
[24]

The Loewner energy of loops and regularity of driving functions.Int

Steffen Rohde and Yilin Wang. The Loewner energy of loops and regularity of driving functions.Int. Math. Res. Not. IMRN, 2021(10):7715–7763, 2021

2021
[25]

Fredholm eigenvalues and Grunsky matrices.Ann

Menahem Schiffer. Fredholm eigenvalues and Grunsky matrices.Ann. Polon. Math., 39:149–164, 1981

1981
[26]

TheFredholmeigenvaluesofplanedomains.Pacific Journal of Mathematics, 7(2):1187–1225, 1957

MenahemMaxSchiffer. TheFredholmeigenvaluesofplanedomains.Pacific Journal of Mathematics, 7(2):1187–1225, 1957

1957
[27]

A symplectic functional analytic proof of the conformal welding theorem.Proceedings of the American Mathematical Society, 143(1):265–278, 2015

Eric Schippers and Wolfgang Staubach. A symplectic functional analytic proof of the conformal welding theorem.Proceedings of the American Mathematical Society, 143(1):265–278, 2015

2015
[28]

Conformal weldings of random surfaces: SLE and the quantum gravity zipper.Ann

Scott Sheffield. Conformal weldings of random surfaces: SLE and the quantum gravity zipper.Ann. Probab., 44(5):3474–3545, 2016

2016
[29]

On Grunsky operator.Sci

Yu-liang Shen. On Grunsky operator.Sci. China Ser. A, 50(12):1805–1817, 2007

2007
[30]

Weil–Petersson Teichmüller space.Amer

Yuliang Shen. Weil–Petersson Teichmüller space.Amer. J. Math., 140(4):1041– 1074, 2018

2018
[31]

American Mathematical Society, Providence, RI, 2 edition, 2005

Barry Simon.Trace Ideals and Their Applications, volume 120 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2 edition, 2005

2005
[32]

On the convergence almost everywhere of double Fourier series.Arkiv för Matematik, 14:1–8, 1976

Per Sjölin. On the convergence almost everywhere of double Fourier series.Arkiv för Matematik, 14:1–8, 1976

1976
[33]

Fredholm eigenvalues and quasiconformal mapping.Acta Math., 111:121–142, 1964

George Springer. Fredholm eigenvalues and quasiconformal mapping.Acta Math., 111:121–142, 1964

1964
[34]

Takhtajan and Lee-Peng Teo

Leon A. Takhtajan and Lee-Peng Teo. Weil–Petersson metric on the universal Teichmüller space.Mem. Amer. Math. Soc., 183(861):viii+119, 2006

2006
[35]

Interplay between Loewner and Dirichlet energies via conformal welding and flow-lines.Geom

Fredrik Viklund and Yilin Wang. Interplay between Loewner and Dirichlet energies via conformal welding and flow-lines.Geom. Funct. Anal., 30(1):289–321, 2020

2020
[36]

The Loewner–Kufarev energy and foliations by Weil–Petersson quasicircles.Proceedings of the London Mathematical Society, 128(2):e12582, 2024

Fredrik Viklund and Yilin Wang. The Loewner–Kufarev energy and foliations by Weil–Petersson quasicircles.Proceedings of the London Mathematical Society, 128(2):e12582, 2024

2024
[37]

Equivalent descriptions of the Loewner energy.Invent

Yilin Wang. Equivalent descriptions of the Loewner energy.Invent. Math., 218(2):573–621, 2019

2019
[38]

Two optimization problems for the Loewner energy.Journal of Mathematical Physics, 66(2):023502, 2025

Yilin Wang. Two optimization problems for the Loewner energy.Journal of Mathematical Physics, 66(2):023502, 2025. 35

2025
[39]

Thep-integrable Teichmüller space forp⩾ 1.Proceedings of the Japan Academy, Series A, Mathematical Sciences, 99(6):37–42, 2023

Huaying Wei and Katsuhiko Matsuzaki. Thep-integrable Teichmüller space forp⩾ 1.Proceedings of the Japan Academy, Series A, Mathematical Sciences, 99(6):37–42, 2023

2023
[40]

American Mathematical Society, Providence, RI, 2 edition, 2007

KeheZhu.Operator Theory in Function Spaces, volume138ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2 edition, 2007. 36

2007