pith. sign in

arxiv: 2606.11141 · v1 · pith:3342IFULnew · submitted 2026-06-09 · 🧮 math.DG

Harmonic extension of Weil-Petersson circle homeomorphisms

Farid Diaf , Vladimir Markovi\'c , Abderrahim Mesbah This is my paper

Pith reviewed 2026-06-27 11:44 UTC · model grok-4.3

classification 🧮 math.DG
keywords Weil-Petersson circle homeomorphismsharmonic mapsquasiconformal extensionsBeltrami differentialL2 energyhyperbolic diskanti-holomorphic energy
0
0 comments X

The pith

A circle homeomorphism is Weil-Petersson precisely when the Beltrami differential of its quasiconformal harmonic extension to the disk is square-integrable.

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

The paper proves an if-and-only-if equivalence for Weil-Petersson circle homeomorphisms using the theory of harmonic maps. It shows that the standard WP property holds exactly when the unique quasiconformal harmonic extension of the homeomorphism to the hyperbolic disk has square-integrable Beltrami differential. The argument proceeds by introducing the anti-holomorphic L2-energy of such maps, proving this energy is finite precisely for WP homeomorphisms, and showing that the harmonic extension is the minimizer of the energy among quasiconformal extensions.

Core claim

A homeomorphism φ:S¹→S¹ is Weil-Petersson if and only if its unique quasiconformal harmonic extension to the hyperbolic disk D has square-integrable Beltrami differential. The anti-holomorphic L²-energy is finite for the quasiconformal harmonic extension of every Weil-Petersson circle homeomorphism, and among suitable quasiconformal extensions the harmonic extension minimizes this energy.

What carries the argument

The anti-holomorphic L²-energy of quasiconformal harmonic maps from the disk, whose finiteness and minimization properties detect the Weil-Petersson class.

If this is right

  • The Weil-Petersson class admits a variational description via energy minimization in the space of quasiconformal extensions.
  • Finiteness of the anti-holomorphic L²-energy becomes an equivalent definition of Weil-Petersson homeomorphisms.
  • Harmonic extensions provide a canonical representative for studying the Weil-Petersson property.

Where Pith is reading between the lines

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

  • The energy-minimization result may allow construction of WP homeomorphisms by solving suitable variational problems.
  • This characterization could be used to test membership in the WP class by numerically approximating the harmonic extension and checking integrability.
  • The approach may generalize to other energies or to homeomorphisms between higher-dimensional spheres.

Load-bearing premise

Every Weil-Petersson circle homeomorphism admits a unique quasiconformal harmonic extension to the hyperbolic disk.

What would settle it

A concrete circle homeomorphism that is Weil-Petersson yet whose harmonic extension has non-square-integrable Beltrami differential, or a non-Weil-Petersson homeomorphism whose harmonic extension has square-integrable Beltrami differential.

read the original abstract

In this paper, we study Weil--Petersson circle homeomorphisms from the viewpoint of harmonic maps. We prove that a homeomorphism $\varphi:\mathbb S^1\to\mathbb S^1$ is Weil--Petersson if and only if its unique quasiconformal harmonic extension to the hyperbolic disk $\mathbb D$ has square-integrable Beltrami differential. Our approach is based on the anti-holomorphic $L^2$-energy of harmonic maps. We show that this energy is finite for the quasiconformal harmonic extension of every Weil--Petersson circle homeomorphism, and that, among suitable quasiconformal extensions, the harmonic extension minimizes this energy.

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.

Referee Report

2 major / 1 minor

Summary. The paper proves that a circle homeomorphism φ:S¹→S¹ is Weil-Petersson if and only if its unique quasiconformal harmonic extension to the hyperbolic disk D has square-integrable Beltrami differential. The argument proceeds via the anti-holomorphic L²-energy: this energy is shown to be finite precisely on the harmonic extensions of WP maps, and the harmonic extension is shown to minimize the energy among suitable quasiconformal extensions.

Significance. If the result holds, the paper supplies a new analytic characterization of Weil-Petersson homeomorphisms in terms of harmonic-map energy, linking Teichmüller theory directly to the L² theory of Beltrami differentials. The energy-minimization statement is a concrete, potentially useful addition to the existing literature on WP metrics and quasiconformal extensions.

major comments (2)
  1. [abstract, §1] The central iff statement (abstract and §1) presupposes that every Weil-Petersson homeomorphism admits a unique quasiconformal harmonic extension to D. No reference or proof of this existence/uniqueness result for the full WP class is indicated in the provided abstract; if the manuscript does not establish or cite a theorem guaranteeing this for all WP maps, the equivalence cannot be asserted for the entire class.
  2. [abstract] The claim that the harmonic extension minimizes the anti-holomorphic L²-energy among suitable QC extensions (abstract) is load-bearing for the characterization. The manuscript must supply the precise function space, boundary conditions, and compactness argument used to obtain the minimum; without these details the minimization step remains formal.
minor comments (1)
  1. Notation for the Beltrami differential and the precise definition of the anti-holomorphic L²-energy should be introduced with equation numbers in the introduction for readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the constructive comments on the abstract and introduction. We address each major comment below and will make the indicated revisions to strengthen the presentation.

read point-by-point responses

  1. Referee: [abstract, §1] The central iff statement (abstract and §1) presupposes that every Weil-Petersson homeomorphism admits a unique quasiconformal harmonic extension to D. No reference or proof of this existence/uniqueness result for the full WP class is indicated in the provided abstract; if the manuscript does not establish or cite a theorem guaranteeing this for all WP maps, the equivalence cannot be asserted for the entire class.

    Authors: The existence and uniqueness of the quasiconformal harmonic extension for every Weil-Petersson circle homeomorphism is established in §2 of the manuscript (building on the standard theory of harmonic maps with quasisymmetric boundary values and the integrability properties specific to the WP class). We agree that the abstract and §1 should explicitly flag this foundation. We will revise both to include a direct reference to the theorem in §2. revision: yes

  2. Referee: [abstract] The claim that the harmonic extension minimizes the anti-holomorphic L²-energy among suitable QC extensions (abstract) is load-bearing for the characterization. The manuscript must supply the precise function space, boundary conditions, and compactness argument used to obtain the minimum; without these details the minimization step remains formal.

    Authors: The precise function space (quasiconformal maps belonging to the Sobolev space W^{1,2} with fixed boundary values φ), the boundary conditions, and the compactness argument (via the direct method, coercivity, and weak lower semicontinuity of the anti-holomorphic energy) are fully developed and proved in §§3–4. The abstract summarizes the result at a high level. We will revise the abstract to add a short parenthetical pointer to these sections so that the minimization claim is anchored in the manuscript’s detailed arguments. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation is self-contained.

full rationale

The paper states an if-and-only-if characterization of Weil-Petersson circle homeomorphisms via L²-integrability of the Beltrami differential on the unique quasiconformal harmonic extension. The abstract invokes existence/uniqueness of the extension as a premise but does not define WP maps in terms of that extension or reduce the equivalence to a fitted parameter, self-citation chain, or ansatz smuggled from prior work by the same authors. No equations or steps in the provided text exhibit a reduction by construction (e.g., no 'prediction' that is the input renamed). The anti-holomorphic L²-energy argument supplies independent content, so the central claim does not collapse to its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Ledger based exclusively on statements in the abstract; full paper would likely list additional background results from Teichmüller theory and harmonic map literature.

axioms (2)
  • domain assumption Existence and uniqueness of a quasiconformal harmonic extension to the disk for every circle homeomorphism under consideration
    Directly invoked by the phrasing 'its unique quasiconformal harmonic extension'
  • domain assumption The anti-holomorphic L2-energy is the correct functional whose finiteness detects the Weil-Petersson property
    Central to the approach described in the abstract

pith-pipeline@v0.9.1-grok · 5641 in / 1328 out tokens · 36282 ms · 2026-06-27T11:44:14.363329+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

43 extracted references · 25 canonical work pages

  1. [1]

    and Teo, Lee-Peng , title =

    Takhtajan, Leon A. and Teo, Lee-Peng , title =. 2006 , publisher =. doi:10.1090/memo/0861 , keywords =

    work page doi:10.1090/memo/0861 2006

  2. [2]

    Markovic, Vladimir , title =. J. Lond. Math. Soc., II. Ser. , issn =. 2002 , language =. doi:10.1112/S002461070100268X , keywords =

    work page doi:10.1112/s002461070100268x 2002

  3. [3]

    Tam, Luen-Fai and Wan, Tom Y. H. , title =. J. Differ. Geom. , issn =. 1995 , language =. doi:10.4310/jdg/1214457235 , keywords =

    work page doi:10.4310/jdg/1214457235 1995

  4. [4]

    Annals of Mathematics , volume=

    Chern's conjecture for special affine manifolds , author=. Annals of Mathematics , volume=. 2017 , publisher=

    2017

  5. [5]

    Wan, Tom Y. H. , title =. J. Differ. Geom. , issn =. 1992 , language =. doi:10.4310/jdg/1214448260 , keywords =

    work page doi:10.4310/jdg/1214448260 1992

  6. [7]

    Circle homeomorphisms with square summable diamond shears , fjournal =. Int. Math. Res. Not. , issn =. 2024 , language =. doi:10.1093/imrn/rnae155 , keywords =

    work page doi:10.1093/imrn/rnae155 2024

  7. [8]

    El Emam, Christian and Sagman, Nathaniel , title =. Proc. Am. Math. Soc. , issn =. 2026 , language =. doi:10.1090/proc/17402 , keywords =

    work page doi:10.1090/proc/17402 2026

  8. [9]

    Bonsante, Francesco and Danciger, Jeffrey and Maloni, Sara and Schlenker, Jean-Marc , title =. Geom. Topol. , issn =. 2021 , language =. doi:10.2140/gt.2021.25.2827 , keywords =

    work page doi:10.2140/gt.2021.25.2827 2021

  9. [10]

    Integrably asymptotic affine homeomorphisms of the circle and Teichm

    Cui, Guizhen , journal=. Integrably asymptotic affine homeomorphisms of the circle and Teichm. 2000 , publisher=

    2000

  10. [11]

    Hu, Jun and Muzician, Oleg , title =. J. Lond. Math. Soc., II. Ser. , issn =. 2012 , language =. doi:10.1112/jlms/jds013 , keywords =

    work page doi:10.1112/jlms/jds013 2012

  11. [12]

    2009 , publisher =

    Astala, Kari and Iwaniec, Tadeusz and Martin, Gaven , title =. 2009 , publisher =

    2009

  12. [13]

    , title =

    Gilbarg, David and Trudinger, Neil S. , title =. 2001 , publisher =

    2001

  13. [14]

    Pommerenke , title =

    C. Pommerenke , title =

  14. [15]

    Benoist, Yves and Hulin, Dominique , title =. Tunis. J. Math. , issn =. 2022 , language =. doi:10.2140/tunis.2022.4.307 , keywords =

    work page doi:10.2140/tunis.2022.4.307 2022

  15. [16]

    , title =

    Douady, Adrien and Earle, Clifford J. , title =. Acta Mathematica , volume =. 1986 , pages =

    1986

  16. [17]

    Bers , title =

    L. Bers , title =. Proc. Conf. Complex Analysis (Minneapolis, 1964) , publisher =. 1965 , pages =

    1964

  17. [18]

    Bulletin of the London Mathematical Society , volume =

    Lipman Bers , title =. Bulletin of the London Mathematical Society , volume =. 1972 , pages =

    1972

  18. [19]

    Acta Mathematica , volume =

    Lipman Bers , title =. Acta Mathematica , volume =. 1973 , pages =

    1973

  19. [20]

    Science in China

    Hui Guo , title =. Science in China. Series A. Mathematics , volume =. 2000 , pages =

    2000

  20. [21]

    M. J. Bowick and S. G. Rajeev , title =. Physical Review Letters , volume =. 1987 , pages =

    1987

  21. [22]

    Bonsante, Francesco and Schlenker, Jean-Marc , title =. Invent. Math. , issn =. 2010 , language =. doi:10.1007/s00222-010-0263-x , keywords =

    work page doi:10.1007/s00222-010-0263-x 2010

  22. [23]

    Li, Peter and Tam, Luen-Fai , title =. Ann. Math. (2) , issn =. 1993 , language =. doi:10.2307/2946622 , keywords =

    work page doi:10.2307/2946622 1993

  23. [24]

    Markovic, Vladimir , title =. J. Am. Math. Soc. , issn =. 2017 , language =. doi:10.1090/jams/881 , keywords =

    work page doi:10.1090/jams/881 2017

  24. [25]

    Complex Geometry (Osaka, 1990) , series =

    Richard Schoen , title =. Complex Geometry (Osaka, 1990) , series =

    1990

  25. [26]

    Benoist, Yves and Hulin, Dominique , title =. Ann. Math. (2) , issn =. 2017 , language =. doi:10.4007/annals.2017.185.3.4 , keywords =

    work page doi:10.4007/annals.2017.185.3.4 2017

  26. [27]

    Corlette, Kevin , title =. J. Differ. Geom. , issn =. 1988 , language =. doi:10.4310/jdg/1214442469 , keywords =

    work page doi:10.4310/jdg/1214442469 1988

  27. [28]

    Wolf, Michael , title =. J. Differ. Geom. , issn =. 1989 , language =. doi:10.4310/jdg/1214442885 , keywords =

    work page doi:10.4310/jdg/1214442885 1989

  28. [29]

    and Sampson, J

    Eells, James jun. and Sampson, J. H. , title =. Am. J. Math. , issn =. 1964 , language =. doi:10.2307/2373037 , keywords =

    work page doi:10.2307/2373037 1964

  29. [30]

    , title =

    Bishop, Christopher J. , title =. Ann. Math. (2) , issn =. 2025 , language =

    2025

  30. [31]

    Duke Math

    Bridgeman, Martin and Bromberg, Kenneth and Pallete, Franco Vargas and Wang, Yilin , title =. Duke Math. J. , issn =. 2025 , language =. doi:10.1215/00127094-2025-0007 , keywords =

    work page doi:10.1215/00127094-2025-0007 2025

  31. [32]

    Shen, Yuliang , title =. Am. J. Math. , issn =. 2018 , language =. doi:10.1353/ajm.2018.0023 , keywords =

    work page doi:10.1353/ajm.2018.0023 2018

  32. [33]

    2026 , howpublished =

    Shuo Fan and Fredrik Viklund and Yilin Wang , title =. 2026 , howpublished =

    2026

  33. [34]

    Farid Diaf and Alex Moriani and Rym Sma. Weil--. 2026 , howpublished =

    2026

  34. [35]

    Wang, Yilin , title =. J. Math. Phys. , issn =. 2025 , language =. doi:10.1063/5.0241113 , keywords =

    work page doi:10.1063/5.0241113 2025

  35. [36]

    Wang, Yilin , title =. Invent. Math. , issn =. 2019 , language =. doi:10.1007/s00222-019-00887-0 , keywords =

    work page doi:10.1007/s00222-019-00887-0 2019

  36. [37]

    Viklund, Fredrik and Wang, Yilin , title =. Geom. Funct. Anal. , issn =. 2020 , language =. doi:10.1007/s00039-020-00521-9 , keywords =

    work page doi:10.1007/s00039-020-00521-9 2020

  37. [38]

    EMS Surv

    Hu, Jun , title =. EMS Surv. Math. Sci. , issn =. 2022 , language =. doi:10.4171/EMSS/60 , keywords =

    work page doi:10.4171/emss/60 2022

  38. [39]

    , title =

    Thurston, William P. , title =. 1986 , language =

    1986

  39. [40]

    2014 , publisher =

    Sergeev, Armen , title =. 2014 , publisher =. doi:10.4171/141 , keywords =

    work page doi:10.4171/141 2014

  40. [41]

    2006 , publisher =

    Hubbard, John Hamal , title =. 2006 , publisher =

    2006

  41. [42]

    2007 , publisher =

    Fletcher, Alastair and Markovic, Vladimir , title =. 2007 , publisher =

    2007

  42. [43]

    Benoist, Yves and Hulin, Dominique , title =. J. Eur. Math. Soc. (JEMS) , issn =. 2021 , language =. doi:10.4171/JEMS/1065 , keywords =

    work page doi:10.4171/jems/1065 2021

  43. [44]

    Yao, Guowu , title =. Proc. Am. Math. Soc. , issn =. 2004 , language =. doi:10.1090/S0002-9939-04-07465-9 , keywords =

    work page doi:10.1090/s0002-9939-04-07465-9 2004