pith. sign in

arxiv: 2606.24452 · v1 · pith:OW3XLIXYnew · submitted 2026-06-23 · 🧮 math.CV

The invariant SzegH{o} metric on Egg domains

Anjali Bhatnagar , Jiliang Fan This is my paper

Pith reviewed 2026-06-25 21:37 UTC · model grok-4.3

classification 🧮 math.CV
keywords Fefferman-Szegő metricegg domainsKähler-Einstein metricSzegő kernelMuckenhoupt classL2 cohomologyrigidityboundary asymptotics
0
0 comments X

The pith

The Fefferman-Szegő metric on egg domains D_{2m} is Kähler-Einstein if and only if m=1.

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

The paper first verifies that the Fefferman weight on the boundary of the egg domain lies in the Muckenhoupt A_2 class, which guarantees the existence of the Fefferman-Szegő kernel. It then produces an explicit closed-form expression for this kernel, describes its singularities, and computes the associated metric together with its Ricci curvature. Using these formulas, the authors prove that the metric satisfies the Kähler-Einstein equation, and is proportional to the Bergman metric or to the auxiliary metric g_m, precisely when the exponent m equals one. They also show that the L^2 cohomology of the metric vanishes outside the middle degree. A reader would care because the result supplies a family of concrete, explicitly computable invariant metrics on bounded domains in C^2 whose curvature properties are rigidly controlled by a single integer parameter.

Core claim

The authors construct the Fefferman-Szegő kernel on D_{2m} = {(z,w) in C^2 : |z|^2 + |w|^{2m} < 1} by confirming the Fefferman weight belongs to A_2(∂D_{2m}), obtain its closed-form expression, and show that the resulting metric has vanishing Ricci curvature if and only if m=1. The same condition is necessary and sufficient for the metric to be a constant multiple of the Bergman metric or of the complete Kähler metric g_m^{D_{2m}}. In addition, the L^2-cohomology groups of the metric vanish in all degrees except the middle one.

What carries the argument

The Fefferman-Szegő kernel, obtained after placing the Fefferman weight in the Muckenhoupt class A_2(∂D_{2m}), which is then used to define the metric and compute its Ricci form.

If this is right

  • The metric is Kähler-Einstein precisely when m=1.
  • The metric is a scalar multiple of the Bergman metric precisely when m=1.
  • The metric is a scalar multiple of g_m^{D_{2m}} precisely when m=1.
  • The L^2-cohomology of the metric vanishes outside the middle degree for every m.

Where Pith is reading between the lines

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

  • The explicit kernel formula may permit direct calculation of the spectrum of the associated Laplacian for each m.
  • Egg domains with m greater than 1 furnish explicit examples where an invariant metric fails to be Einstein while still satisfying other boundary regularity conditions.
  • Similar rigidity statements could be tested for other weighted Szegő-type metrics on the same family of domains.

Load-bearing premise

The Fefferman weight on the boundary of D_{2m} belongs to the Muckenhoupt class A_2.

What would settle it

An explicit computation of the Ricci curvature of the Fefferman-Szegő metric for m=2 that shows it is not identically zero.

read the original abstract

We study the Fefferman--Szeg\H{o} metric on egg domains \[ \mathcal D_{2m}=\{(z,w)\in\mathbb C^2: |z|^2+|w|^{2m}<1\},\qquad\qquad\qquad m\in\mathbb Z^+. \] Our first main result establishes the existence of the Fefferman--Szeg\H{o} kernel on $\mathcal{D}_{2m}$ by verifying that the Fefferman weight lies in the Muckenhoupt class $A_2(\partial\mathcal{D}_{2m})$. We then derive an explicit closed-form expression for this kernel, demonstrate that its blowup occurs precisely on the boundary diagonal, and determine its boundary asymptotic behaviour. Using this kernel, we compute the associated Fefferman--Szeg\H{o} metric and its Ricci curvature. As applications, we prove several rigidity results: the metric is K\"ahler--Einstein if and only if $m=1$; proportionality to the Bergman metric or to some complete K\"ahler metric $g_m^{\mathcal D_{2m}}$ is also equivalent to $m=1$. Finally, we establish the vanishing of the $L^2$-cohomology outside the middle dimension for the Fefferman--Szeg\H{o} metric.

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

1 major / 0 minor

Summary. The paper studies the Fefferman-Szegő metric on the egg domains D_{2m} = {(z,w) ∈ ℂ² : |z|² + |w|^{2m} < 1} for positive integers m. It claims to establish existence of the Fefferman-Szegő kernel by verifying that the Fefferman weight belongs to the Muckenhoupt class A₂(∂D_{2m}), derives an explicit closed-form expression for the kernel (with blow-up only on the boundary diagonal and specified boundary asymptotics), computes the associated metric and its Ricci curvature, and proves rigidity results: the metric is Kähler-Einstein if and only if m=1; proportionality to the Bergman metric or to the complete Kähler metric g_m^{D_{2m}} is also equivalent to m=1. It further claims vanishing of the L²-cohomology outside the middle dimension.

Significance. If the A₂ verification and explicit kernel formula hold, the work would supply concrete computations and rigidity theorems for an explicit one-parameter family of domains, distinguishing the ball (m=1) from other egg domains with respect to these invariant metrics. The explicit kernel and curvature formulas would be a strength for further study in several complex variables.

major comments (1)
  1. [section establishing A₂ membership of the Fefferman weight] The verification that the Fefferman weight lies in A₂(∂D_{2m}) for m>1 is the sole foundation for kernel existence and all downstream results (explicit formula, curvature computations, and the rigidity statements that the metric is Kähler-Einstein or proportional to the Bergman metric iff m=1). For m>1 the boundary contains a circle of points at which the defining function has vanishing first derivatives in the w-direction, altering the local geometry; the paper asserts an explicit verification of the A₂ integral condition, but the boundary estimates (doubling property, reverse-Hölder inequality) near those points must be supplied in full detail. Any gap here would render the kernel formula, Ricci curvature, and “iff m=1” claims unsupported.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the foundational role of the A₂ verification. We address the single major comment below and will incorporate additional detail in the revised manuscript.

read point-by-point responses

  1. Referee: [section establishing A₂ membership of the Fefferman weight] The verification that the Fefferman weight lies in A₂(∂D_{2m}) for m>1 is the sole foundation for kernel existence and all downstream results (explicit formula, curvature computations, and the rigidity statements that the metric is Kähler-Einstein or proportional to the Bergman metric iff m=1). For m>1 the boundary contains a circle of points at which the defining function has vanishing first derivatives in the w-direction, altering the local geometry; the paper asserts an explicit verification of the A₂ integral condition, but the boundary estimates (doubling property, reverse-Hölder inequality) near those points must be supplied in full detail. Any gap here would render the kernel formula, Ricci curvature, and “iff m=1” claims unsupported.

    Authors: We agree that the A₂ membership is the sole foundation for the subsequent results and that the points on ∂D_{2m} where the first derivatives of the defining function vanish in the w-direction require careful local analysis for m>1. The manuscript contains an explicit computation of the A₂ integral condition over the boundary, including a change of variables that reduces the integrals to one-dimensional expressions. Nevertheless, to meet the referee’s request for complete transparency, the revised version will expand the relevant section with a self-contained local analysis near the circle of degenerate points. This will include: (i) explicit verification of the doubling property using the explicit form of the surface measure, (ii) a direct check of the reverse-Hölder inequality with the precise exponent dictated by the vanishing order, and (iii) uniform control of the constants independent of the base point on that circle. These additions will be placed immediately after the global integral computation and will not alter any of the stated theorems. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation proceeds from explicit A_2 verification and kernel definition

full rationale

The paper's chain begins with an explicit verification that the Fefferman weight lies in A_2(∂D_{2m}), which is used to establish kernel existence. From there it derives the closed-form kernel, its diagonal blow-up, boundary asymptotics, the induced metric, Ricci curvature, and the rigidity statements (Kähler-Einstein iff m=1, proportionality iff m=1) as direct consequences. No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-citation, or ansatz imported from the authors' prior work; the A_2 membership is an independent analytic check rather than a self-definitional input. The derivation is therefore self-contained against the kernel definition and standard Muckenhoupt-class criteria.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the domain-specific verification that the Fefferman weight belongs to A2 on the boundary together with standard facts about the Szegő kernel and Kähler geometry.

axioms (1)
  • domain assumption The Fefferman weight on ∂D_{2m} belongs to the Muckenhoupt class A_2.
    Invoked to guarantee existence of the kernel.

pith-pipeline@v0.9.1-grok · 5768 in / 1210 out tokens · 30004 ms · 2026-06-25T21:37:33.700683+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

30 extracted references · 27 canonical work pages · 3 internal anchors

  1. [1]

    doi:10.7146/math.scand.a-14984 [A78] J. P. D’Angelo. A note on the Bergman kernel.Duke Math. J. (45), page 259–265,

    work page doi:10.7146/math.scand.a-14984

  2. [2]

    doi:http://projecteuclid.org/euclid.dmj/1077312818. [B25] A. Bhatnagar. On the geodesics of the Szeg ˝o metric.J. Math. Anal. Appl., 550(2): Paper No. 129642, 11,

    arXiv

  3. [3]

    [BB24] A

    doi:10.1016/j.jmaa.2025.129642. [BB24] A. Bhatnagar and D. Borah. Some remarks on the Carath ´eodory and Szeg ˝o met- rics on planar domains.J. Geom. Anal., 35(4): Paper No. 128, 38,

    work page doi:10.1016/j.jmaa.2025.129642 2025

  4. [4]

    [Bel81] S

    doi:arXiv:2410.20955v2. [Bel81] S. R. Bell. Biholomorphic mappings and the ¯∂-problem.Ann. of Math. (2), 114(1):103– 113,

    arXiv

  5. [5]

    The Invariant Szeg\H{o} metric on strongly pseudoconvex domains

    doi:10.2307/1971379. [BF26] A. Bhatnagar and J. Fan. The invariant Szeg ˝o metric on strongly pseudoconvex do- mains, 2026, 2605.25455. URLhttps://arxiv.org/abs/2605.25455. [Bha26] A. Bhatnagar. Boundary behaviour of the Fefferman-Szeg ˝o metric in strictly pseudocon- vex domains.Analysis Mathematica, page 16,

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.2307/1971379 2026

  6. [6]

    30 [BL14] D

    doi:10.1007/BF01418930. 30 [BL14] D. Barrett and L. Lee. On the Szeg ˝o metric.J. Geom. Anal., 24(1):104–117,

    work page doi:10.1007/bf01418930

  7. [7]

    [CW71] R

    doi:10.1007/s12220-012-9329-x. [CW71] R. R. Coifman and G. Weiss.Analyse harmonique non-commutative sur certains espaces homog`enes, volume Vol. 242 ofLecture Notes in Mathematics. Springer-Verlag, Berlin- New York,

    work page doi:10.1007/s12220-012-9329-x

  8. [8]

    [DLLW25] X

    doi:10.1090/S0002-9904-1977-14325-5. [DLLW25] X. T. Duong, L. Lanzani, J. Li, and B. D. Wick. The commutator of the Cauchy–Szeg ˝o Projection for domains inC n with minimal smoothness: weighted regularity , 2025, 2005.12740. URLhttps://arxiv.org/abs/2005.12740. [DLLW26] X. T. Duong, L. Lanzani, J. Li, and B. D. Wick. The Cauchy-Szeg˝o projection for domai...

    work page doi:10.1090/s0002-9904-1977-14325-5 1977

  9. [9]

    [Don94] H

    doi:10.1007/s12220-026-02341-z. [Don94] H. Donnelly .L 2 cohomology of pseudoconvex domains with complete K ¨ahler metric. Michigan Math. J., 41(3):433–442,

    work page doi:10.1007/s12220-026-02341-z

  10. [10]

    L_2 cohomology of pseudoconvex domains with complete K \"ahler metric

    doi:10.1307/mmj/1029005071. [Don97] H. Donnelly .L 2 cohomology of the Bergman metric for weakly pseudoconvex domains. Illinois J. Math., 41(1):151–160,

    work page doi:10.1307/mmj/1029005071

  11. [11]

    ijm/1255985851

    URLhttp://projecteuclid.org/euclid. ijm/1255985851. [Es08] M. Engli ˇs. Boundary behaviour of the Bergman invariant and related quantities. Monatsh. Math., 154(1):19–37,

    arXiv

  12. [12]

    [Fef74] C

    doi:10.1007/s00605-008-0522-8. [Fef74] C. Fefferman. The Bergman kernel and biholomorphic mappings of pseudoconvex do- mains.Invent. Math., 26:1–65,

    work page doi:10.1007/s00605-008-0522-8

  13. [13]

    The B ergman kernel and biholomorphic mappings of pseudoconvex domains

    doi:10.1007/BF01406845. [Fef79] C. Fefferman. Parabolic invariant theory in complex analysis.Adv. in Math., 31(2):131– 262,

    work page doi:10.1007/bf01406845

  14. [14]

    [FW97] S

    doi:10.1016/0001-8708(79)90025-2. [FW97] S. Fu and B. Wong. On strictly pseudoconvex domains with K ¨ahler-Einstein Bergman metrics.Math. Res. Lett., 4(5):697–703,

    work page doi:10.1016/0001-8708(79)90025-2

  15. [15]

    doi:10.4310/MRL.1997.v4.n5.a7. [G17] P. Gupta. Lower-dimensional Fefferman measures via the Bergman kernel. InAnalysis and geometry in several complex variables, volume 681 ofContemp. Math., pages 137–

    work page doi:10.4310/mrl.1997.v4.n5.a7 1997

  16. [16]

    [JG17] P

    doi:10.1090/conm/681. [JG17] P. Gupta. Volume approximations of strongly pseudoconvex domains.J. Geom. Anal., 27(2): 1029–1064,

    work page doi:10.1090/conm/681

  17. [17]

    doi:10.1007/s12220-016-9709-8 [Han99] T. Hansson. On Hardy spaces in complex ellipsoids.Ann. Inst. Fourier (Grenoble), 49(5):1477–1501,

    work page doi:10.1007/s12220-016-9709-8

  18. [18]

    [HF83] H

    doi:10.5802/aif.1727. [HF83] H. Donnelly and C. Fefferman.L 2-cohomology and index theorem for the Bergman metric.Ann. of Math. (2), 118(3): 593–618,

    work page doi:10.5802/aif.1727

  19. [19]

    Localization of Bergman Kernels and the Cheng-Yau Conjecture on Real Analytic Pseudoconvex Domains

    doi:10.2307/2006983. [HHL26] C. Y. Hsiao, X. Huang, and X. Li. Localization of Bergman Kernels and the Cheng-Yau Conjecture on Real Analytic Pseudoconvex Domains, 2026, 2604.05542. URLhttps: //arxiv.org/abs/2604.05542. [HJL25] X. Huang, S. James, and X. Li. On the Bergman metric of a pseudoconvex domain with a strongly pseudoconvex polyhedral boundary poi...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.2307/2006983 2026

  20. [20]

    [HX21] X

    doi:10.4310/cag.2023.v31.n7.a3. [HX21] X. Huang and M. Xiao. Bergman-Einstein metrics, a generalization of Kerner’s theorem and Stein spaces with spherical boundaries.J. Reine Angew. Math., 770:183–203,

    work page doi:10.4310/cag.2023.v31.n7.a3 2023

  21. [21]

    [Ise74] I

    doi:10.1515/crelle-2020-0012. [Ise74] I. Mikio. On Thullen domains and Hirzebruch manifolds. I.J. Math. Soc. Japan., 26: 508–522,

    work page doi:10.1515/crelle-2020-0012 2020

  22. [22]

    31 [Kra19] S

    doi:10.2969/jmsj/02630508. 31 [Kra19] S. G. Krantz. The Fefferman-Szeg ˝o metric and applications.Complex Var. Elliptic Equ., 64(6): 965–978,

    work page doi:10.2969/jmsj/02630508

  23. [23]

    [KW21] S

    doi:10.1080/17476933.2018.1489800. [KW21] S. G. Krantz and P. M. W ´ojcicki. On an invariant distance induced by the Szeg˝o kernel. Complex Anal. Synerg., 7(3):Paper No. 24, 9,

    work page doi:10.1080/17476933.2018.1489800 2018

  24. [24]

    [LS16] L

    doi:10.1007/s40627-021-00085-w. [LS16] L. Lanzani and E. M. Stein. Hardy spaces of holomorphic functions for domains inC n with minimal smoothness. InHarmonic analysis, partial differential equations, complex analysis, Banach spaces, and operator theory. Vol. 1, volume 4 ofAssoc. Women Math. Ser., pages 179–199. Springer, [Cham],

    work page doi:10.1007/s40627-021-00085-w

  25. [25]

    [McN02] J

    doi:10.1007/978-3-319-30961-311. [McN02] J. D. McNeal.L 2 harmonic forms on some complete K ¨ahler manifolds.Math. Ann., 323(2):319–349,

    work page doi:10.1007/978-3-319-30961-311

  26. [26]

    [NiS06] S

    doi:10.1007/s002080100305. [NiS06] S. Y. Nemirovski ˘ı and R. G. Shafikov. Conjectures of cheng and ramadanov.Uspekhi Mat. Nauk, 61(4(370)):193–194,

    work page doi:10.1007/s002080100305

  27. [27]

    [Ohs89] T

    doi:10.1070/RM2006v061n04ABEH004349. [Ohs89] T. Ohsawa. On the infinite dimensionality of the middleL 2 cohomol- ogy of complex domains.Publ. Res. Inst. Math. Sci., 25(3):499–502,

    work page doi:10.1070/rm2006v061n04abeh004349

  28. [28]

    [Seo12] A

    doi:10.2977/prims/1195173354. [Seo12] A. Seo. On a theorem of Paul Yang on negatively pinched bisectional curvature.Pacific J. Math., 256(1):201–209,

    work page doi:10.2977/prims/1195173354

  29. [29]

    The K\"ahler-Ricci soliton on bounded pseudoconvex domains

    doi:10.2140/pjm.2012.256.201. [Sha26] Z. Sha. The K ¨ahler-Ricci soliton on bounded pseudoconvex domains, 2026, 2412.03345. URLhttps://arxiv.org/abs/2412.03345. [Ste72] E. M. Stein.Boundary behavior of holomorphic functions of several complex variables, volume No. 11 ofMathematical Notes. Princeton University Press, Princeton, NJ; Uni- versity of Tokyo Pr...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.2140/pjm.2012.256.201 2012

  30. [30]

    [Yau82] S

    doi:10.1215/00127094- 2024-0071. [Yau82] S. T. Yau. Problem section. InSeminar on Differential Geometry, volume No. 102 ofAnn. of Math. Stud., pages 669–706. Princeton Univ. Press, Princeton, NJ,

    work page doi:10.1215/00127094- 2024