A note on csc Bergman metric
Pith reviewed 2026-06-28 15:57 UTC · model grok-4.3
The pith
If the Bergman metric of a pseudoconvex domain in C^n for n at least 3 has constant scalar curvature, then every strongly pseudoconvex boundary point must be spherical.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
If the Bergman metric of a pseudoconvex domain in C^n (n≥3) has constant scalar curvature, then every strongly pseudoconvex boundary point of the domain is spherical.
What carries the argument
The Bergman metric on the domain, whose scalar curvature is assumed constant, and the local boundary geometry at strongly pseudoconvex points.
If this is right
- Domains admitting a constant-scalar-curvature Bergman metric cannot have irregular strongly pseudoconvex boundary points.
- The constant-curvature condition imposes a local sphericality requirement at every strongly pseudoconvex boundary point.
- The result supplies an obstruction to the existence of constant-scalar-curvature Bergman metrics on domains with non-spherical boundary points.
- In dimensions three and higher the property holds uniformly for all such boundary points of the domain.
Where Pith is reading between the lines
- The same conclusion may fail in dimension two, where different boundary analysis applies.
- It would be natural to test whether the result extends to the Kobayashi or Carathéodory metrics on the same domains.
- The theorem suggests examining whether constant scalar curvature forces the entire boundary to be spherical when the domain is bounded and smooth.
Load-bearing premise
The setting is restricted to pseudoconvex domains in dimension at least three so that local analysis at the boundary can be applied.
What would settle it
Construction of a pseudoconvex domain in C^3 whose Bergman metric has constant scalar curvature but which possesses at least one non-spherical strongly pseudoconvex boundary point.
read the original abstract
In this note, we show that if the Bergman metric of a pseudoconvex domain in $\mathbb C^n$($n\geq 3$) has constant scalar curvature, then every strongly pseudoconvex boundary point of the domain is spherical.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript asserts that if the Bergman metric of a pseudoconvex domain in ℝ^n (n ≥ 3) has constant scalar curvature, then every strongly pseudoconvex boundary point of the domain is spherical.
Significance. If established with a correct proof, the result would be a rigidity theorem connecting a global curvature condition on the Bergman metric to local boundary geometry at strongly pseudoconvex points. Such statements can be useful for classification problems in several complex variables when the Bergman kernel is positive and the domain is pseudoconvex. The n ≥ 3 restriction is noted explicitly but cannot be assessed without the argument.
major comments (1)
- The manuscript consists solely of the abstract statement of the theorem. No proof, no definitions of 'spherical' boundary point in this context, no invocation of the Bergman kernel or its curvature formulas, and no local boundary analysis are supplied. Consequently the central implication cannot be verified or checked for correctness.
Simulated Author's Rebuttal
We thank the referee for their careful reading and comments on our manuscript. We address the major concern point by point below.
read point-by-point responses
-
Referee: The manuscript consists solely of the abstract statement of the theorem. No proof, no definitions of 'spherical' boundary point in this context, no invocation of the Bergman kernel or its curvature formulas, and no local boundary analysis are supplied. Consequently the central implication cannot be verified or checked for correctness.
Authors: The submitted version of the note is indeed limited to the theorem statement. We agree that a self-contained note requires the relevant definitions, the invocation of the standard curvature formulas for the Bergman metric, and the local boundary analysis at strongly pseudoconvex points. The manuscript will be revised to include these elements and the complete argument. revision: yes
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper states a conditional rigidity theorem: constant scalar curvature of the Bergman metric on a pseudoconvex domain in C^n (n≥3) implies that every strongly pseudoconvex boundary point is spherical. The abstract presents this as a direct implication derived from properties of the Bergman kernel and metric on pseudoconvex domains. No self-definitional loops, fitted inputs renamed as predictions, load-bearing self-citations, uniqueness theorems imported from the authors' prior work, or ansatzes smuggled via citation are visible in the stated claim or description. The result is an implication whose premise (constant scalar curvature) is independent of the conclusion (spherical points), with no reduction by construction. This is the expected non-finding for a short analytic note whose central claim rests on external analytic facts rather than internal redefinition.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Chern and J
S. Chern and J. Moser: Real hypersurfaces in complex manifolds, Acta Math. 133 (1974), 219--271
1974
-
[2]
Christoffers: The Bergman Kernel and Monge-Ampere Approxiamations, Thesis (Ph.D.)--The University of Chicago
H. Christoffers: The Bergman Kernel and Monge-Ampere Approxiamations, Thesis (Ph.D.)--The University of Chicago. 1981
1981
-
[3]
Engliš: Boundary behaviour of the Bergman invariant and related quantities, Monatsh Math 154 (2008), 19--37
M. Engliš: Boundary behaviour of the Bergman invariant and related quantities, Monatsh Math 154 (2008), 19--37
2008
- [4]
-
[5]
Huang and X
X. Huang and X. Li: Bergman–Einstein metric on a Stein space with a strongly pseudoconvex boundary, Comm. Anal. Geom. 31 (2023), no. 7, 1669--1692
2023
-
[6]
Localization of Bergman Kernels and the Cheng-Yau Conjecture on Real Analytic Pseudoconvex Domains
X. Huang, C.-Y. Hsiao and X. Li: Localization of Bergman Kernels and the Cheng-Yau Conjecture on Real Analytic Pseudoconvex Domains, arXiv:2604.05542
work page internal anchor Pith review Pith/arXiv arXiv
-
[7]
Krantz and J
S. Krantz and J. Yu: On the Bergman invariant and curvatures of the Bergman metric, Illinois J. Math. 40 (1996), no. 2, 226--244
1996
-
[8]
Huang and M
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 (2021), 183–203
2021
-
[9]
Rigidity of complete K\"ahler-Einstein metrics under cscK perturbations
Z. Sha: Rigidity of complete K\"ahler-Einstein metrics under cscK perturbations, arXiv:2510.13278
work page internal anchor Pith review Pith/arXiv arXiv
-
[10]
A. H. Martin, Boundary Asymptotics for Convex and Strongly Pseudoconvex Domains. Thesis (Ph.D.)–University of California, Riverside. 2021. 111 pp. ISBN: 979-8534-69523-6
2021
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.