pith. sign in

arxiv: 1906.08188 · v1 · pith:5U2C4KNMnew · submitted 2019-06-19 · 🧮 math.AP

Critical metrics for Log-determinant functionals in conformal geometry

Pierpaolo Esposito , Andrea Malchiodi This is my paper

Pith reviewed 2026-05-25 20:03 UTC · model grok-4.3

classification 🧮 math.AP
keywords log-determinant functionalsconformal geometrycritical metricsquasilinear elliptic equationsblow-up quantizationfour-manifoldsLiouville equations
0
0 comments X

The pith

Critical points of log-determinant functionals on four-manifolds arise from quasilinear Liouville-type equations for which a blow-up quantization property holds.

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

The paper examines critical points of functionals on compact four-dimensional manifolds obtained from regularized determinants of conformally covariant operators. These functionals produce quasilinear elliptic equations of mixed order and critical type that are Liouville-like. The authors first establish existence, asymptotic behavior, and uniqueness for fundamental solutions of these equations. They then prove a quantization property for sequences that blow up and apply critical point theory to obtain existence of critical metrics.

Core claim

After studying existence, asymptotic behaviour and uniqueness of fundamental solutions, a quantization property holds under blow-up, from which existence results for critical metrics follow via critical point theory.

What carries the argument

The quantization property under blow-up for solutions of the quasilinear mixed-order elliptic equations of Liouville type that arise from the functionals.

Load-bearing premise

The explicit form of the functionals, taken from regularized determinants of conformally covariant operators, correctly yields the stated quasilinear mixed-order elliptic equations on compact four-manifolds.

What would settle it

A sequence of solutions to the equation that blows up while the total integrated quantity fails to approach an integer multiple of the fixed constant appearing in the quantization statement.

read the original abstract

We consider critical points of a class of functionals on compact four-dimensional manifolds arising from Regularized Determinants for conformally covariant operators, whose explicit form was derived in [10], extending Polyakov's formula. These correspond to solutions of elliptic equations of Liouville type that are quasilinear, of mixed orders and of critical type. After studying existence, asymptotic behaviour and uniqueness of fundamental solutions, we prove a quantization property under blow-up, and then derive existence results via critical point theory.

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 / 2 minor

Summary. The manuscript studies critical points of log-determinant functionals on compact four-dimensional manifolds, obtained from regularized determinants of conformally covariant operators (extending Polyakov's formula as derived in [10]). These functionals yield quasilinear elliptic equations of mixed orders and critical (Liouville) type. The authors establish existence, asymptotic behavior, and uniqueness for fundamental solutions, prove a quantization property for blow-up sequences, and obtain existence results for critical metrics via critical point theory.

Significance. If the results hold, the quantization property supplies a key compactness tool for variational arguments on these higher-order equations, advancing the study of critical metrics in conformal geometry beyond the classical second-order case. The combination of fundamental-solution analysis with blow-up quantization and critical-point existence is a coherent contribution.

major comments (2)
  1. [§2] The derivation of the mixed-order quasilinear system from the functional in [10] is taken as given; §2 should include a self-contained verification that the Euler-Lagrange equation indeed takes the stated form, since this equation is the starting point for all existence, uniqueness, and blow-up arguments.
  2. [§4] In the quantization result (likely §4), the passage from the blow-up analysis of the mixed-order system to the precise measure concentration statement needs to be checked for the highest-order term; the standard second-order techniques may require additional estimates to control lower-order contributions.
minor comments (2)
  1. Notation for the conformally covariant operators and the resulting functionals should be introduced once and used consistently; cross-references between the functional, its variation, and the PDE would improve readability.
  2. [§1] The introduction should explicitly state the dimension restriction to four manifolds and the precise regularity assumed on the background metric.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, positive evaluation, and constructive suggestions. We address the two major comments below and will incorporate the requested clarifications in a revised manuscript.

read point-by-point responses

  1. Referee: [§2] The derivation of the mixed-order quasilinear system from the functional in [10] is taken as given; §2 should include a self-contained verification that the Euler-Lagrange equation indeed takes the stated form, since this equation is the starting point for all existence, uniqueness, and blow-up arguments.

    Authors: We agree that an explicit verification strengthens the exposition. In the revision we will add a short self-contained computation in §2 that derives the Euler-Lagrange equation of the log-determinant functional by varying the regularized determinant, following the same steps as in [10] but written out in local coordinates so that the mixed-order quasilinear structure is immediate. revision: yes

  2. Referee: [§4] In the quantization result (likely §4), the passage from the blow-up analysis of the mixed-order system to the precise measure concentration statement needs to be checked for the highest-order term; the standard second-order techniques may require additional estimates to control lower-order contributions.

    Authors: We thank the referee for this remark. Our proof of the quantization property already isolates the leading fourth-order term via the Green-function representation of the mixed-order operator and uses integral estimates that absorb the lower-order contributions uniformly. Nevertheless, to address the concern explicitly we will insert a dedicated paragraph (or short appendix subsection) that records the additional a-priori bounds needed to pass to the limit in the highest-order term and confirms that the measure-concentration statement holds without modification. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation proceeds from the explicit functional form (taken as given from external reference [10]) to standard analysis of fundamental solutions for the resulting mixed-order elliptic system, followed by blow-up quantization and critical-point existence arguments. No equation or claim reduces by construction to its own inputs, no fitted parameter is relabeled as a prediction, and no load-bearing uniqueness or ansatz is imported solely via self-citation. The central results rest on independent elliptic PDE techniques and are self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the explicit functional form derived in the cited reference [10] and on standard background results from elliptic PDE theory and variational methods; no free parameters, invented entities, or ad-hoc axioms are visible from the abstract.

axioms (1)
  • standard math Standard results on elliptic regularity, Sobolev embeddings, and blow-up analysis for quasilinear equations hold in the 4D conformal setting.
    Invoked implicitly for studying fundamental solutions, asymptotics, and quantization.

pith-pipeline@v0.9.0 · 5596 in / 1240 out tokens · 24961 ms · 2026-05-25T20:03:34.026287+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

56 extracted references · 56 canonical work pages

  1. [1]

    David R. Adams. A sharp inequality of J. Moser for higher o rder derivatives. Ann. of Math. (2) , 128(2):385–398, 1988

    work page 1988

  2. [2]

    Concentration phenomena for Liouville’s equation in dimension four

    Adimurthi, Fr´ ed´ eric Robert, and Michael Struwe. Concentration phenomena for Liouville’s equation in dimension four. J. Eur. Math. Soc. (JEMS) , 8(2):171–180, 2006

    work page 2006

  3. [3]

    The Lp approach to the Dirichlet problem

    Shmuel Agmon. The Lp approach to the Dirichlet problem. I. Regularity theorems. Ann. Scuola Norm. Sup. Pisa (3) , 13:405–448, 1959

    work page 1959

  4. [4]

    Probl` emes isop´ erim´ etriques et espaces de Sobolev

    Thierry Aubin. Probl` emes isop´ erim´ etriques et espaces de Sobolev. J. Differential Geometry , 11(4):573–598, 1976

    work page 1976

  5. [5]

    Meilleures constantes dans le th´ eor` eme d’inclusion de Sobolev et un th´ eor` eme de Fredholm non lin ´ eaire pour la transformation conforme de la courbure scalaire

    Thierry Aubin. Meilleures constantes dans le th´ eor` eme d’inclusion de Sobolev et un th´ eor` eme de Fredholm non lin ´ eaire pour la transformation conforme de la courbure scalaire. J. Funct. Anal. , 32(2):148–174, 1979

    work page 1979

  6. [6]

    Bartolucci and G

    D. Bartolucci and G. Tarantello. Liouville type equatio ns with singular data and their applications to periodic mul ti- vortices for the electroweak theory. Comm. Math. Phys. , 229(1):3–47, 2002

    work page 2002

  7. [7]

    An L1- theory of existence and uniqueness of solutions of nonlinea r elliptic equations

    Philippe B´ enilan, Lucio Boccardo, Thierry Gallou¨ et, Ron Gariepy, Michel Pierre, and Juan Luis V´ azquez. An L1- theory of existence and uniqueness of solutions of nonlinea r elliptic equations. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4), 22(2):241–273, 1995

    work page 1995

  8. [8]

    Boccardo and T

    L. Boccardo and T. Gallou¨ et. Nonlinear elliptic equati ons with right-hand side measures. Comm. Partial Differential Equations, 17(3-4):641–655, 1992. CRITICAL METRICS FOR LOG-DETERMINANT FUNCTIONALS IN CONFO RMAL GEOMETRY 41

    work page 1992

  9. [9]

    Branson, Sun-Yung A

    Thomas P. Branson, Sun-Yung A. Chang, and Paul C. Yang. Es timates and extremals for zeta function determinants on four-manifolds. Comm. Math. Phys. , 149(2):241–262, 1992

    work page 1992

  10. [10]

    Branson and Bent Ørsted

    Thomas P. Branson and Bent Ørsted. Explicit functional determinants in four dimensions. Proc. Amer. Math. Soc. , 113(3):669–682, 1991

    work page 1991

  11. [11]

    Uniform estimates and blow -up behavior for solutions of −∆u = V (x)eu in two dimen- sions

    Haim Brezis and Frank Merle. Uniform estimates and blow -up behavior for solutions of −∆u = V (x)eu in two dimen- sions. Comm. Partial Differential Equations , 16(8-9):1223–1253, 1991

    work page 1991

  12. [12]

    Chang, Matthew J

    Sun-Yung A. Chang, Matthew J. Gursky, and Paul C. Yang. R egularity of a fourth order nonlinear PDE with critical exponent. Amer. J. Math. , 121(2):215–257, 1999

    work page 1999

  13. [13]

    Chang and Paul C

    Sun-Yung A. Chang and Paul C. Yang. Extremal metrics of z eta function determinants on 4-manifolds. Ann. of Math. (2), 142(1):171–212, 1995

    work page 1995

  14. [14]

    Chang and Paul C.-P

    Sun-Yung A. Chang and Paul C.-P. Yang. Isospectral conf ormal metrics on 3-manifolds. J. Amer. Math. Soc. , 3(1):117– 145, 1990

    work page 1990

  15. [15]

    Sharp estimates f or solutions of multi-bubbles in compact Riemann surfaces

    Chiun-Chuan Chen and Chang-Shou Lin. Sharp estimates f or solutions of multi-bubbles in compact Riemann surfaces. Comm. Pure Appl. Math. , 55(6):728–771, 2002

    work page 2002

  16. [16]

    Prescribing Gaussian cu rvatures on surfaces with conical singularities

    W en Xiong Chen and Congming Li. Prescribing Gaussian cu rvatures on surfaces with conical singularities. J. Geom. Anal., 1(4):359–372, 1991

    work page 1991

  17. [17]

    Noncommutative geometry

    Alain Connes. Noncommutative geometry. Academic Press, Inc., San Diego, CA, 1994

    work page 1994

  18. [18]

    T he differential equation ∆ u = 8 π − 8πheu on a compact Riemann surface

    W eiyue Ding, J¨ urgen Jost, Jiayu Li, and Guofang W ang. T he differential equation ∆ u = 8 π − 8πheu on a compact Riemann surface. Asian J. Math. , 1(2):230–248, 1997

    work page 1997

  19. [19]

    E xistence results for mean field equations

    W eiyue Ding, J¨ urgen Jost, Jiayu Li, and Guofang W ang. E xistence results for mean field equations. Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 16(5):653–666, 1999

    work page 1999

  20. [20]

    Existence of conf ormal metrics with constant Q-curvature

    Zindine Djadli and Andrea Malchiodi. Existence of conf ormal metrics with constant Q-curvature. Ann. of Math. (2) , 168(3):813–858, 2008

    work page 2008

  21. [21]

    Non-linear elliptic systems with measure-valued rig ht hand side

    Georg Dolzmann, Norbert Hungerb¨ uhler, and Stefan M¨ u ller. Non-linear elliptic systems with measure-valued rig ht hand side. Math. Z. , 226(4):545–574, 1997

    work page 1997

  22. [22]

    Uniqueness and maximal regularity for nonlinear elli ptic systems of n-Laplace type with measure valued right hand side

    Georg Dolzmann, Norbert Hungerb¨ uhler, and Stefan M¨ uller. Uniqueness and maximal regularity for nonlinear elli ptic systems of n-Laplace type with measure valued right hand side. J. Reine Angew. Math. , 520:1–35, 2000

    work page 2000

  23. [23]

    Druet and F

    O. Druet and F. Robert. Bubbling phenomena for fourth-o rder four-dimensional PDEs with exponential growth. Proc. Amer. Math. Soc. , 134(3):897–908, 2006

    work page 2006

  24. [24]

    Esposito and F

    P. Esposito and F. Morlando. On a quasilinear mean field e quation with an exponential nonlinearity. J. Math. Pures Appl. (9) , 104(2):354–382, 2015

    work page 2015

  25. [25]

    A classification result for the qua si-linear Liouville equation

    Pierpaolo Esposito. A classification result for the qua si-linear Liouville equation. Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 35(3):781–801, 2018

    work page 2018

  26. [26]

    Sharp borderline Sobolev inequalities on compact Riemannian manifolds

    Luigi Fontana. Sharp borderline Sobolev inequalities on compact Riemannian manifolds. Comment. Math. Helv. , 68(3):415–454, 1993

    work page 1993

  27. [27]

    Inve rting the p-harmonic operator

    Luigi Greco, Tadeusz Iwaniec, and Carlo Sbordone. Inve rting the p-harmonic operator. Manuscripta Math. , 92(2):249– 258, 1997

    work page 1997

  28. [28]

    Non-uniqueness r esults for critical metrics of regularized determinants in four dimensions

    Matthew Gursky and Andrea Malchiodi. Non-uniqueness r esults for critical metrics of regularized determinants in four dimensions. Comm. Math. Phys. , 315(1):1–37, 2012

    work page 2012

  29. [29]

    Matthew J. Gursky. Uniqueness of the functional determ inant. Comm. Math. Phys. , 189(3):655–665, 1997

    work page 1997

  30. [30]

    Matthew J. Gursky. The Weyl functional, de Rham cohomol ogy, and K¨ ahler-Einstein metrics. Ann. of Math. (2) , 148(1):315–337, 1998

    work page 1998

  31. [31]

    Matthew J. Gursky. The principal eigenvalue of a confor mally invariant differential operator, with an application to semilinear elliptic PDE. Comm. Math. Phys. , 207(1):131–143, 1999

    work page 1999

  32. [32]

    Iwaniec and C

    T. Iwaniec and C. Sbordone. W eak minima of variational i ntegrals. J. Reine Angew. Math. , 454:143–161, 1994

    work page 1994

  33. [33]

    p-harmonic tensors and quasiregular mappings

    Tadeusz Iwaniec. p-harmonic tensors and quasiregular mappings. Ann. of Math. (2) , 136(3):589–624, 1992

    work page 1992

  34. [34]

    Riesz transforms and related singular integrals

    Tadeusz Iwaniec and Gaven Martin. Riesz transforms and related singular integrals. J. Reine Angew. Math. , 473:25–57, 1996

    work page 1996

  35. [35]

    Singular solutions of the p-Laplace equation

    Satyanad Kichenassamy and Laurent V´ eron. Singular solutions of the p-Laplace equation. Math. Ann. , 275(4):599–615, 1986

    work page 1986

  36. [36]

    Blow-up analysis for soluti ons of −∆u = V eu in dimension two

    Yan Yan Li and Itai Shafrir. Blow-up analysis for soluti ons of −∆u = V eu in dimension two. Indiana Univ. Math. J. , 43(4):1255–1270, 1994

    work page 1994

  37. [37]

    To appear

    Yanyan Li and Luc Nguyen. To appear

    work page

  38. [38]

    Sharp estimates for bu bbling solutions of a fourth order mean field equation

    Chang-Shou Lin and Juncheng W ei. Sharp estimates for bu bbling solutions of a fourth order mean field equation. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , 6(4):599–630, 2007

    work page 2007

  39. [39]

    Topologi cal degree for solutions of fourth order mean field equations

    Changshou Lin, Juncheng W ei, and Liping W ang. Topologi cal degree for solutions of fourth order mean field equations . Math. Z. , 268(3-4):675–705, 2011

    work page 2011

  40. [40]

    Compactness of solutions to some geo metric fourth-order equations

    Andrea Malchiodi. Compactness of solutions to some geo metric fourth-order equations. J. Reine Angew. Math. , 594:137–174, 2006

    work page 2006

  41. [41]

    Minakshisundaram and ˚ A

    S. Minakshisundaram and ˚ A . Pleijel. Some properties of the eigenfunctions of the Lap lace-operator on Riemannian manifolds. Canadian J. Math. , 1:242–256, 1949

    work page 1949

  42. [42]

    Extremal metrics for spectral fu nctions of Dirac operators in even and odd dimensions

    Niels Martin M¨ oller. Extremal metrics for spectral fu nctions of Dirac operators in even and odd dimensions. Adv. Math., 229(2):1001–1046, 2012

    work page 2012

  43. [43]

    J. Moser. On a nonlinear problem in differential geometr y. pages 273–280, 1973

    work page 1973

  44. [44]

    On a shar p Sobolev-type inequality on two-dimensional compact mani - folds

    Margherita Nolasco and Gabriella Tarantello. On a shar p Sobolev-type inequality on two-dimensional compact mani - folds. Arch. Ration. Mech. Anal. , 145(2):161–195, 1998. 42 PIERPAOLO ESPOSITO AND ANDREA MALCHIODI

    work page 1998

  45. [45]

    Osgood, R

    B. Osgood, R. Phillips, and P. Sarnak. Compact isospect ral sets of surfaces. J. Funct. Anal. , 80(1):212–234, 1988

    work page 1988

  46. [46]

    Osgood, R

    B. Osgood, R. Phillips, and P. Sarnak. Extremals of dete rminants of Laplacians. J. Funct. Anal. , 80(1):148–211, 1988

    work page 1988

  47. [47]

    Polyakov

    Alexander M. Polyakov. Quantum geometry of fermionic s trings. Phys. Lett. B , 103(3):211–213, 1981

    work page 1981

  48. [48]

    D. B. Ray and I. M. Singer. R-torsion and the Laplacian on Riemannian manifolds. Advances in Math. , 7:145–210, 1971

    work page 1971

  49. [49]

    Quantization effects for a fourth-order equation of exponential growth in dimension 4

    Fr´ ed´ eric Robert. Quantization effects for a fourth-order equation of exponential growth in dimension 4. Proc. Roy. Soc. Edinburgh Sect. A , 137(3):531–553, 2007

    work page 2007

  50. [50]

    Asymptotic behavior of a fourth order mean field equation with Dirichlet bounda ry condition

    Fr´ ed´ eric Robert and Juncheng W ei. Asymptotic behavior of a fourth order mean field equation with Dirichlet bounda ry condition. Indiana Univ. Math. J. , 57(5):2039–2060, 2008

    work page 2039

  51. [51]

    Local behavior of solutions of quasi-lin ear equations

    James Serrin. Local behavior of solutions of quasi-lin ear equations. Acta Math. , 111:247–302, 1964

    work page 1964

  52. [52]

    Isolated singularities of solutions of q uasi-linear equations

    James Serrin. Isolated singularities of solutions of q uasi-linear equations. Acta Math. , 113:219–240, 1965

    work page 1965

  53. [53]

    The existence of surfaces of constant m ean curvature with free boundaries

    Michael Struwe. The existence of surfaces of constant m ean curvature with free boundaries. Acta Math., 160(1-2):19–64, 1988

    work page 1988

  54. [54]

    Best constant in Sobolev inequality

    Giorgio Talenti. Best constant in Sobolev inequality. Ann. Mat. Pura Appl. (4) , 110:353–372, 1976

    work page 1976

  55. [55]

    Uhlenbeck and Jeff A

    Karen K. Uhlenbeck and Jeff A. Viaclovsky. Regularity of weak solutions to critical exponent variational equations . Math. Res. Lett. , 7(5-6):651–656, 2000

    work page 2000

  56. [56]

    Asymptotic behavior of a nonlinear fourt h order eigenvalue problem

    Juncheng W ei. Asymptotic behavior of a nonlinear fourt h order eigenvalue problem. Comm. Partial Differential Equa- tions, 21(9-10):1451–1467, 1996. Pierpaolo Esposito, Dipartimento di Matematica e Fisica, Un iversit`a degli Studi Roma Tre, Largo S. Leonardo Murialdo 1, 00146 Roma, Italy E-mail address : esposito@mat.uniroma3.it Andrea Malchiodi, Scuola N...

    work page 1996