pith. sign in

arxiv: 2604.08372 · v1 · submitted 2026-04-09 · 🧮 math.DG

Local and global conformal invariants of submanifolds

Jeffrey S. Case , Ayush Khaitan , Yueh-Ju Lin , Aaron J. Tyrrell , Wei Yuan This is my paper

Pith reviewed 2026-05-10 17:04 UTC · model grok-4.3

classification 🧮 math.DG
keywords conformal invariantssubmanifoldsminimal submanifoldsconformally compact manifoldsEinstein manifoldsGauss-Bonnet formularenormalized areaEuler characteristic
0
0 comments X

The pith

A Gauss-Bonnet-Chern formula relates the renormalized area of minimal submanifolds in Einstein manifolds to their Euler characteristic and a conformal invariant.

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

The paper develops techniques to build and calculate conformal invariants for submanifolds, with emphasis on scalars that remain unchanged under conformal metric rescalings and on integrals that are globally invariant. These techniques involve creating an extrinsic ambient space and using renormalized integrals of extrinsic curvature for conformally compact minimal submanifolds in Einstein manifolds. The central result is an explicit formula expressing the renormalized area in terms of the Euler characteristic and the integral of a weight -k conformal submanifold scalar. This provides a bridge between local conformal geometry and global properties like topology for these geometric objects.

Core claim

We derive an explicit Gauss-Bonnet-Chern-type formula relating the renormalized area of a conformally compact k-dimensional minimal submanifold of a conformally compact Einstein manifold to its Euler characteristic and the integral of a conformal submanifold scalar of weight -k. We also prove a rigidity result for conformally compact minimal submanifolds of conformally compact hyperbolic manifolds.

What carries the argument

The conformal submanifold scalars of weight -k, obtained through the extrinsic ambient space construction and renormalized extrinsic curvature integrals, which allow computation at minimal submanifolds of Einstein manifolds and yield the global invariant.

Load-bearing premise

The ambient space is a conformally compact Einstein manifold and the submanifold is minimal with enough regularity to make the renormalized integrals well-defined.

What would settle it

A counterexample consisting of a specific conformally compact minimal submanifold in a conformally compact Einstein manifold where the renormalized area fails to match the Euler characteristic term plus the scalar integral.

read the original abstract

We develop methods for constructing and computing conformal invariants of submanifolds, with a particular emphasis on conformal submanifold scalars and conformally invariant integrals of natural submanifold scalars. These methods include a direct construction of the extrinsic ambient space, a construction of global invariants of conformally compact minimal submanifolds of conformally compact Einstein manifolds via renormalized extrinsic curvature integrals, and the introduction of a large class of conformal submanifold scalars that are easily computed at minimal submanifolds of Einstein manifolds. As an application, we derive an explicit Gauss--Bonnet--Chern-type formula relating the renormalized area of a conformally compact $k$-dimensional minimal submanifold of a conformally compact Einstein manifold to its Euler characteristic and the integral of a conformal submanifold scalar of weight $-k$. As another application, we prove a rigidity result for conformally compact minimal submanifolds of conformally compact hyperbolic manifolds.

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

0 major / 2 minor

Summary. The manuscript develops methods for constructing and computing conformal invariants of submanifolds, emphasizing conformal submanifold scalars and conformally invariant integrals of natural submanifold scalars. Key constructions include the extrinsic ambient space, global invariants of conformally compact minimal submanifolds of conformally compact Einstein manifolds via renormalized extrinsic curvature integrals, and a large class of conformal submanifold scalars computable at minimal points of Einstein manifolds. Applications include an explicit Gauss-Bonnet-Chern-type formula relating the renormalized area of a conformally compact k-dimensional minimal submanifold to its Euler characteristic and the integral of a weight -k conformal submanifold scalar, plus a rigidity result for conformally compact minimal submanifolds of conformally compact hyperbolic manifolds.

Significance. If the derivations and proofs hold under the stated regularity assumptions, the work supplies explicit, computable conformal invariants and a renormalized Gauss-Bonnet-Chern formula in the setting of conformally compact Einstein manifolds. This extends classical results on Euler characteristics to non-compact submanifolds with controlled asymptotics and provides a rigidity theorem in the hyperbolic case, which could be useful for geometric analysis on asymptotically hyperbolic spaces.

minor comments (2)
  1. [Abstract] The abstract outlines the main results at a high level without displaying the explicit form of the weight -k conformal scalar or the precise statement of the Gauss-Bonnet-Chern formula; including these in the introduction or a dedicated theorem statement would improve readability.
  2. [Abstract] The regularity hypotheses on the submanifolds (sufficient smoothness for the renormalized integrals to be finite) are mentioned but not quantified in the abstract; a brief statement of the precise Sobolev or Hölder class required would clarify the scope.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful summary of the manuscript and for acknowledging the potential significance of the constructions for conformal submanifold invariants and the renormalized Gauss-Bonnet-Chern formula. The recommendation is listed as uncertain, which we interpret as arising from the need to confirm the technical details of the derivations under the stated regularity assumptions. No specific major comments appear in the report, so we have no point-by-point items to address. We remain available to supply expanded details on any proof or computation if requested.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained from standard conformal geometry constructions

full rationale

The paper constructs conformal invariants of submanifolds using extrinsic ambient spaces, renormalized extrinsic curvature integrals for conformally compact minimal submanifolds in Einstein manifolds, and conformal submanifold scalars evaluated at minimal points. The Gauss-Bonnet-Chern-type formula relating renormalized area to Euler characteristic plus integral of a weight -k scalar follows directly from these definitions and standard regularity assumptions, without any self-definitional reduction, fitted input renamed as prediction, or load-bearing self-citation. All steps build from established notions of conformal compactness and minimality, remaining independent of the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

Based solely on the abstract, the central claims rest on standard domain assumptions in conformal geometry; no free parameters or invented entities are mentioned.

axioms (3)
  • domain assumption Conformally compact manifolds admit a well-defined conformal boundary at infinity with controlled asymptotic expansion.
    Invoked for the definition of renormalized integrals and compactness in the applications.
  • domain assumption Minimal submanifolds have vanishing mean curvature.
    Required for the simplified computation of the new class of scalars and the Gauss-Bonnet formula.
  • standard math Einstein manifolds satisfy Ric = lambda g for some constant lambda.
    Standard background assumption used to simplify extrinsic curvature expressions at minimal submanifolds.

pith-pipeline@v0.9.0 · 5468 in / 1666 out tokens · 99650 ms · 2026-05-10T17:04:14.620474+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

44 extracted references · 44 canonical work pages · 1 internal anchor

  1. [1]

    Albin,Renormalizing curvature integrals on Poincar´ e-Einstein manifolds, Adv

    P. Albin,Renormalizing curvature integrals on Poincar´ e-Einstein manifolds, Adv. Math.221 (2009), no. 1, 140–169. MR2509323

    work page 2009

  2. [2]

    Alexakis and R

    S. Alexakis and R. Mazzeo,Renormalized area and properly embedded minimal surfaces in hyperbolic 3-manifolds, Comm. Math. Phys.297(2010), no. 3, 621–651. MR2653898

    work page 2010

  3. [3]

    Alexakis,The decomposition of global conformal invariants, Annals of Mathematics Stud- ies, vol

    S. Alexakis,The decomposition of global conformal invariants, Annals of Mathematics Stud- ies, vol. 182, Princeton University Press, Princeton, NJ, 2012. MR2918125

    work page 2012

  4. [4]

    F. J. Almgren Jr.,Some interior regularity theorems for minimal surfaces and an extension of Bernstein’s theorem, Ann. of Math. (2)84(1966), 277–292. MR200816

    work page 1966

  5. [5]

    T. N. Bailey, M. G. Eastwood, and C. R. Graham,Invariant theory for conformal and CR geometry, Ann. of Math. (2)139(1994), no. 3, 491–552. MR1283869

    work page 1994

  6. [6]

    Blitz, A

    S. Blitz, A. R. Gover, and A. Waldron,Generalized Willmore energies,Q-curvatures, extrin- sic Paneitz operators, and extrinsic Laplacian powers, Commun. Contemp. Math.26(2024), no. 5, Paper No. 2350014, 50. MR4731308

    work page 2024

  7. [7]

    ˇCap and A

    A. ˇCap and A. R. Gover,Standard tractors and the conformal ambient metric construction, Ann. Global Anal. Geom.24(2003), no. 3, 231–259. MR1996768

    work page 2003

  8. [8]

    J. S. Case, C R. Graham, and T.-M. Kuo,Extrinsic GJMS operators for submanifolds, Rev. Mat. Iberoam.41(2025), no. 4, 1393–1429. MR4912924

    work page 2025

  9. [9]

    J. S. Case, C. R. Graham, T.-M. Kuo, A. J. Tyrrell, and A. Waldron,A Gauss-Bonnet formula for the renormalized area of minimal submanifolds of Poincar´ e-Einstein manifolds, Comm. Math. Phys.406(2025), no. 3, Paper No. 53, 49. MR4865897

    work page 2025

  10. [10]

    J. S. Case, A. Khaitan, Y.-J. Lin, A. J. Tyrrell, and W. Yuan,Computing renormalized curvature integrals on Poincar´ e–Einstein manifolds(preprint), available at2404.11319

    work page internal anchor Pith review Pith/arXiv arXiv

  11. [11]

    J. S. Case, Y.-J. Lin, and W. Yuan,Curved versions of the Ovsienko-Redou operators, Int. Math. Res. Not. IMRN19(2023), 16904–16929. MR4651902

    work page 2023

  12. [12]

    J. S. Case and A. J. Tyrrell,A sharp inequality for trace-free matrices with applications to hypersurfaces, Proc. Amer. Math. Soc.152(2024), no. 2, 823–828. MR4683861

    work page 2024

  13. [13]

    S. S. Chern,On surfaces of constant mean curvature in a three-dimensional space of constant curvature, Geometric dynamics (Rio de Janeiro, 1981), 1983, pp. 104–108. MR730266

    work page 1981

  14. [14]

    P. T. Chru´ sciel, E. Delay, J. M. Lee, and D. N. Skinner,Boundary regularity of conformally compact Einstein metrics, J. Differential Geom.69(2005), no. 1, 111–136. MR2169584

    work page 2005

  15. [15]

    S. N. Curry, A. R. Gover, and D. Snell,Conformal submanifolds, distinguished submanifolds, and integrability(preprint), available at2309.09361. LOCAL AND GLOBAL CONFORMAL INVARIANTS OF SUBMANIFOLDS 43

    work page arXiv

  16. [16]

    Dajczer and R

    M. Dajczer and R. Tojeiro,Submanifold theory, Universitext, Springer, New York, 2019. Beyond an introduction. MR3969932

    work page 2019

  17. [17]

    do Carmo and M

    M. do Carmo and M. Dajczer,Rotation hypersurfaces in spaces of constant curvature, Trans. Amer. Math. Soc.277(1983), no. 2, 685–709. MR694383

    work page 1983

  18. [18]

    Eptaminitakis and C

    N. Eptaminitakis and C. R. Graham,Local X-ray transform on asymptotically hyper- bolic manifolds via projective compactification, New Zealand J. Math.52(2021), 733–763. MR4387992

    work page 2021

  19. [19]

    Fefferman and C

    C. Fefferman and C. R. Graham,The ambient metric, Annals of Mathematics Studies, vol. 178, Princeton University Press, Princeton, NJ, 2012. MR2858236

    work page 2012

  20. [20]

    Fialkow,Conformal differential geometry of a subspace, Trans

    A. Fialkow,Conformal differential geometry of a subspace, Trans. Amer. Math. Soc.56 (1944), 309–433. MR11023

    work page 1944

  21. [21]

    A. R. Gover and A. Waldron,Renormalized volume, Comm. Math. Phys.354(2017), no. 3, 1205–1244. MR3668619

    work page 2017

  22. [22]

    Geometry and Physics

    C. R. Graham,Volume and area renormalizations for conformally compact Einstein metrics, The Proceedings of the 19th Winter School “Geometry and Physics” (Srn´ ı, 1999), 2000, pp. 31–42. MR1758076

    work page 1999

  23. [23]

    C. R. Graham and K. Hirachi,The ambient obstruction tensor andQ-curvature, AdS/CFT correspondence: Einstein metrics and their conformal boundaries, 2005, pp. 59–71. MR2160867

    work page 2005

  24. [24]

    Graham and T.-M

    C R. Graham and T.-M. Kuo,Geodesic normal coordinates and natural tensors for pseudo- Riemannian submanifolds, Proc. Amer. Math. Soc.154(2026), no. 1, 339–351. MR5002091

    work page 2026

  25. [25]

    C. R. Graham and N. Reichert,Higher-dimensional Willmore energies via minimal subman- ifold asymptotics, Asian J. Math.24(2020), no. 4, 571–610. MR4226662

    work page 2020

  26. [26]

    C. R. Graham and E. Witten,Conformal anomaly of submanifold observables in AdS/CFT correspondence, Nuclear Phys. B546(1999), no. 1-2, 52–64. MR1682674

    work page 1999

  27. [27]

    Grieser,Basics of theb-calculus, Approaches to singular analysis (Berlin, 1999), 2001, pp

    D. Grieser,Basics of theb-calculus, Approaches to singular analysis (Berlin, 1999), 2001, pp. 30–84. MR1827170

    work page 1999

  28. [28]

    Guillarmou,Meromorphic properties of the resolvent on asymptotically hyperbolic mani- folds, Duke Math

    C. Guillarmou,Meromorphic properties of the resolvent on asymptotically hyperbolic mani- folds, Duke Math. J.129(2005), no. 1, 1–37. MR2153454

    work page 2005

  29. [29]

    H. B. Lawson Jr.,Complete minimal surfaces inS 3, Ann. of Math. (2)92(1970), 335–374. MR270280

    work page 1970

  30. [30]

    J. M. Lee,Introduction to smooth manifolds, Second edition, Graduate Texts in Mathematics, vol. 218, Springer, New York, 2013. MR2954043

    work page 2013

  31. [31]

    176, Springer, Cham, 2018

    ,Introduction to Riemannian manifolds, Second edition, Graduate Texts in Mathe- matics, vol. 176, Springer, Cham, 2018. MR3887684

    work page 2018

  32. [32]

    Li and S

    P. Li and S. T. Yau,A new conformal invariant and its applications to the Willmore conjec- ture and the first eigenvalue of compact surfaces, Invent. Math.69(1982), no. 2, 269–291. MR674407

    work page 1982

  33. [33]

    F. C. Marques and A. Neves,Min-max theory and the Willmore conjecture, Ann. of Math. (2)179(2014), no. 2, 683–782. MR3152944

    work page 2014

  34. [34]

    Marx-Kuo,Variations of renormalized volume for minimal submanifolds of Poincar´ e- Einstein manifolds, Comm

    J. Marx-Kuo,Variations of renormalized volume for minimal submanifolds of Poincar´ e- Einstein manifolds, Comm. Anal. Geom.33(2025), no. 1, 17–129. MR4870309

    work page 2025

  35. [35]

    Matsumoto,A GJMS construction for 2-tensors and the second variation of the total Q-curvature, Pacific J

    Y. Matsumoto,A GJMS construction for 2-tensors and the second variation of the total Q-curvature, Pacific J. Math.262(2013), no. 2, 437–455. MR3069069

    work page 2013

  36. [36]

    R. R. Mazzeo and R. B. Melrose,Meromorphic extension of the resolvent on complete spaces with asymptotically constant negative curvature, J. Funct. Anal.75(1987), no. 2, 260–310. MR916753

    work page 1987

  37. [37]

    R. R. Mazzeo,HODGE COHOMOLOGY OF NEGATIVELY CURVED MANIFOLDS, Pro- Quest LLC, Ann Arbor, MI, 1986. Thesis (Ph.D.)–Massachusetts Institute of Technology. MR2941112

    work page 1986

  38. [38]

    Mondino and H

    A. Mondino and H. T. Nguyen,Global conformal invariants of submanifolds, Ann. Inst. Fourier (Grenoble)68(2018), no. 6, 2663–2695. MR3897978

    work page 2018

  39. [39]

    Montiel and F

    S. Montiel and F. Urbano,A Willmore functional for compact surfaces in the complex pro- jective plane, J. Reine Angew. Math.546(2002), 139–154. MR1900995

    work page 2002

  40. [40]

    Ryu and T

    S. Ryu and T. Takayanagi,Aspects of holographic entanglement entropy, J. High Energy Phys.8(2006), 045, 48. MR2249925 44 J. S. CASE, A. KHAITAN, Y.-J. LIN, A. J. TYRRELL, AND W. YUAN

    work page 2006

  41. [41]

    ,Holographic derivation of entanglement entropy from the anti-de Sitter space/conformal field theory correspondence, Phys. Rev. Lett.96(2006), no. 18, 181602,

    work page 2006

  42. [42]

    A. J. Tyrrell,Renormalized area for minimal hypersurfaces of 5D Poincar´ e-Einstein spaces, J. Geom. Anal.33(2023), no. 10, Paper No. 310, 26. MR4616699

    work page 2023

  43. [43]

    J. L. Weiner,On a problem of Chen, Willmore, et al, Indiana Univ. Math. J.27(1978), no. 1, 19–35. MR467610

    work page 1978

  44. [44]

    Al. I. Cuza

    T. J. Willmore,Note on embedded surfaces, An. S ¸ti. Univ. “Al. I. Cuza” Ia¸ si Sect ¸. I a Mat. (N.S.)11B(1965), 493–496. MR202066 Department of Mathematics, Penn State University, University Park, PA 16802, USA Email address:jscase@psu.edu Department of Mathematics, Rutgers University, Hill Center for the Mathematical Sciences, 110 Frelinghuysen Rd., Pi...

    work page 1965