pith. sign in

arxiv: 2606.01319 · v1 · pith:3JFTCA43new · submitted 2026-05-31 · 🧮 math.CV

A note on csc Bergman metric

Pith reviewed 2026-06-28 15:57 UTC · model grok-4.3

classification 🧮 math.CV
keywords Bergman metricconstant scalar curvaturepseudoconvex domainstrongly pseudoconvex pointspherical boundarycomplex analysisKähler geometry
0
0 comments X

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.

The paper proves that constant scalar curvature of the Bergman metric on a pseudoconvex domain in complex n-space, n greater than or equal to 3, forces every strongly pseudoconvex boundary point to be spherical. A sympathetic reader cares because this connects a global curvature condition on the metric to the local shape of the boundary. The result is a rigidity statement showing that constant curvature cannot occur unless the boundary satisfies a strong geometric condition at those points. It applies only in dimensions three and higher and relies on the pseudoconvexity of the domain.

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

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

  • 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.

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 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)
  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

1 responses · 0 unresolved

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
  1. 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

0 steps flagged

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

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities are stated. The result rests on standard definitions of the Bergman metric and pseudoconvexity from prior literature.

pith-pipeline@v0.9.1-grok · 5544 in / 967 out tokens · 20533 ms · 2026-06-28T15:57:12.649584+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

10 extracted references · 3 canonical work pages · 2 internal anchors

  1. [1]

    Chern and J

    S. Chern and J. Moser: Real hypersurfaces in complex manifolds, Acta Math. 133 (1974), 219--271

  2. [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

  3. [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

  4. [4]

    Huang, S

    X. Huang, S. James, and X. Li: On the Bergman metric of a pseudoconvex domain with a strongly pseudoconvex polyhedral boundary point, 2025, 2512.08275

  5. [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

  6. [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

  7. [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

  8. [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

  9. [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

  10. [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