Bergman--Einstein Rigidity for Hartogs Domains over Bounded Homogeneous Domains

Roberto Mossa

arxiv: 2604.15880 · v2 · submitted 2026-04-17 · 🧮 math.DG · math.CV

Bergman--Einstein Rigidity for Hartogs Domains over Bounded Homogeneous Domains

Roberto Mossa This is my paper

Pith reviewed 2026-05-12 02:47 UTC · model grok-4.3

classification 🧮 math.DG math.CV

keywords Bergman metricKähler-EinsteinHartogs domainsbounded homogeneous domainsrigiditybiholomorphic equivalenceKähler geometry

0 comments

The pith

For Hartogs domains over bounded homogeneous bases, the Bergman metric is Kähler-Einstein precisely when the domain is a ball.

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

The paper establishes a rigidity result for Hartogs domains constructed over bounded homogeneous bases in complex space. It shows that for a nonzero parameter s, the Bergman metric being Kähler-Einstein is equivalent to the domain being homogeneous, being biholomorphic to the ball, and the base being a ball with a specific value of s. This provides a positive answer to Yau's question in this setting and extends Cheng-type rigidity phenomena. A sympathetic reader would care because it classifies when these domains have constant Ricci curvature in a natural way.

Core claim

For s not equal to zero, the Bergman metric on the Hartogs domain Ω_{m,s} is Kähler-Einstein if and only if Ω_{m,s} is homogeneous, if and only if it is biholomorphic to the unit ball in n plus m dimensions, if and only if the base Ω is biholomorphic to the unit ball in n dimensions and s equals one over n plus one. This equivalence is established using the explicit formula for the Bergman kernel of the Hartogs domain and the structural invariants of bounded homogeneous domains.

What carries the argument

The Hartogs domain Ω_{m,s} defined by ||ζ||^2 < K_Ω(z, bar z)^{-s}, whose Bergman metric's Kähler-Einstein property is analyzed via the explicit kernel and homogeneity invariants.

Load-bearing premise

The base domain Ω is bounded and homogeneous, allowing an explicit formula for its Bergman kernel and the use of its structural invariants.

What would settle it

Finding a bounded homogeneous domain Ω not biholomorphic to a ball, and a value s not equal to zero, such that the Bergman metric on the corresponding Hartogs domain Ω_{m,s} is Kähler-Einstein would falsify the equivalences.

read the original abstract

We prove a rigidity theorem for the Bergman metric on Hartogs domains over bounded homogeneous domains. Let $\Omega\subset \mathbb C^n$ be a bounded homogeneous domain, let $K_\Omega$ denote its Bergman kernel, and consider $$ \Omega_{m,s}:=\{(z,\zeta)\in \Omega\times \mathbb C^m:\ \|\zeta\|^2<K_\Omega(z,\bar z)^{-s}\}, \qquad m\ge 1,\quad s>-C_\Omega. $$ For $s\neq 0$, we prove that the following conditions are equivalent: the Bergman metric of $\Omega_{m,s}$ is K\"ahler--Einstein; $\Omega_{m,s}$ is homogeneous; $\Omega_{m,s}$ is biholomorphic to $\mathbb B^{n+m}$; and $\Omega\cong\mathbb B^n$ with $s=\frac1{n+1}$. This gives a positive answer to Yau's question within this class and may be viewed as a Cheng-type rigidity phenomenon beyond the smoothly bounded strictly pseudoconvex setting. The proof combines the explicit formula for the Bergman kernel of $\Omega_{m,s}$ with the structural invariants of the bounded homogeneous base.

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.

Desk Editor's Note private letter to a colleague

This paper gives a rigidity theorem for Bergman metrics on Hartogs domains over homogeneous bases that answers Yau's question in this setting.

read the letter

The main result is that for s not equal to zero, the Bergman metric on these Hartogs domains Ω_{m,s} is Kähler-Einstein exactly when the domain is biholomorphic to the ball, which in turn requires the base Ω to be the ball and s to be 1 over n plus one. The other conditions like homogeneity of the domain are equivalent as well. This appears new because it handles arbitrary bounded homogeneous bases rather than restricting to the ball or to symmetric domains from the start. The approach combines the explicit Bergman kernel formula for the Hartogs construction with structural invariants of the base to classify when the metric is Einstein and when the domain has symmetry. The paper does well by giving a clean set of equivalences and placing the result as a positive answer to Yau's question inside this class, while extending beyond the usual smoothly bounded strictly pseudoconvex case in the style of Cheng's rigidity. The soft spot is the dependence on the explicit kernel formula. The abstract indicates that the proof uses this formula together with invariants, but without the full derivation it is hard to see if the formula remains explicit and closed enough for all bounded homogeneous bases, including those that are not symmetric. If the formula only works nicely for certain bases, then the step from the metric being Einstein to the base being the ball might not hold in full generality. That matches the stress-test concern, so the paper needs to make the derivation transparent. This work is for people in complex geometry and several complex variables who care about Bergman metrics and rigidity questions. A reader familiar with homogeneous domains and kernel formulas will get the most out of it. The paper shows clear thinking on its own terms and deserves a serious referee to examine the kernel formula and the invariant arguments in detail. I recommend sending it for peer review.

Referee Report

2 major / 2 minor

Summary. The paper proves a rigidity theorem for the Bergman metric on Hartogs domains Ω_{m,s} over bounded homogeneous domains Ω ⊂ ℂ^n. For s ≠ 0, the following are shown to be equivalent: the Bergman metric of Ω_{m,s} is Kähler-Einstein; Ω_{m,s} is homogeneous; Ω_{m,s} is biholomorphic to the ball B^{n+m}; and Ω ≅ B^n with s = 1/(n+1). The argument combines an explicit formula for the Bergman kernel of Ω_{m,s} with structural invariants of the base domain Ω, yielding a positive answer to Yau's question in this class and a Cheng-type rigidity result beyond the strictly pseudoconvex setting.

Significance. If the equivalences hold, the result affirmatively resolves Yau's question for this family of domains and demonstrates how Bergman metric properties can force homogeneity and biholomorphism to the ball using kernel formulas and base invariants. The explicit kernel approach and use of homogeneous domain structure are strengths when the formula applies uniformly.

major comments (2)

[Bergman kernel formula for Ω_{m,s}] The derivation of the explicit Bergman kernel formula for Ω_{m,s} (invoked in the abstract and central to all equivalences): bounded homogeneous domains in general lack closed-form Bergman kernels except in symmetric cases. The manuscript must provide the precise expression (presumably in §2 or the kernel computation section) and prove it holds for arbitrary bounded homogeneous Ω without extra assumptions such as symmetry or polynomial kernel form. This is load-bearing, as the curvature conditions and implication 'KE metric ⇒ Ω ≅ B^n with s=1/(n+1)' depend on it.
[Equivalence proof, s≠0 case] The step from the kernel formula to the structural invariants distinguishing only the ball case (in the equivalence proof): if the formula reduces to a form valid only for symmetric bases, the implication that KE forces Ω ≅ B^n may fail for non-symmetric homogeneous Ω. A concrete check is needed that the invariants (e.g., automorphism group dimension or curvature quantities) apply uniformly and exclude other homogeneous bases.

minor comments (2)

[Introduction and setup] Clarify the constant C_Ω in the definition of Ω_{m,s} and its dependence on Ω; ensure it is explicitly related to the kernel or domain properties.
[Notation and definitions] Notation for the Hartogs domain Ω_{m,s} and the parameter s > -C_Ω should be cross-referenced consistently with the kernel formula section.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and insightful comments on our manuscript. We address the two major comments point by point below, providing clarifications and indicating the revisions we will make to strengthen the presentation.

read point-by-point responses

Referee: [Bergman kernel formula for Ω_{m,s}] The derivation of the explicit Bergman kernel formula for Ω_{m,s} (invoked in the abstract and central to all equivalences): bounded homogeneous domains in general lack closed-form Bergman kernels except in symmetric cases. The manuscript must provide the precise expression (presumably in §2 or the kernel computation section) and prove it holds for arbitrary bounded homogeneous Ω without extra assumptions such as symmetry or polynomial kernel form. This is load-bearing, as the curvature conditions and implication 'KE metric ⇒ Ω ≅ B^n with s=1/(n+1)' depend on it.

Authors: The explicit formula for the Bergman kernel of Ω_{m,s} is stated in Section 2 and expressed in terms of the base kernel K_Ω as K_{Ω_{m,s}}((z,ζ),(z,ζ)) = c_m,s K_Ω(z,¯z)^{m+1} (1 - ||ζ||^2 K_Ω(z,¯z)^s)^{-(n+m+1)}, derived via the standard weighted integral representation for Hartogs domains. The derivation relies only on the positivity and transformation properties of K_Ω under the automorphism group of Ω and does not require a closed-form expression for K_Ω or any symmetry/polynomial assumptions on Ω. Homogeneity of Ω is used solely to guarantee transitivity in the later rigidity arguments. We will revise §2 to include a fully detailed, self-contained proof of this formula, explicitly noting its validity for any bounded domain with positive Bergman kernel (with homogeneity invoked only where needed for the equivalences). revision: yes
Referee: [Equivalence proof, s≠0 case] The step from the kernel formula to the structural invariants distinguishing only the ball case (in the equivalence proof): if the formula reduces to a form valid only for symmetric bases, the implication that KE forces Ω ≅ B^n may fail for non-symmetric homogeneous Ω. A concrete check is needed that the invariants (e.g., automorphism group dimension or curvature quantities) apply uniformly and exclude other homogeneous bases.

Authors: The structural invariants employed (dimension of Aut(Ω_{m,s}), constancy of holomorphic sectional curvature extracted from the kernel, and the resulting PDE on the base) are formulated using only the general properties of bounded homogeneous domains: transitivity of the automorphism group and the fact that the Bergman metric is invariant under biholomorphisms. These force the base curvature to be constant, which for homogeneous domains characterizes the ball. The kernel formula itself is not restricted to symmetric bases. We will add a clarifying paragraph (and, space permitting, a brief verification for a representative non-symmetric homogeneous domain such as a non-symmetric Siegel domain) showing that the Kähler-Einstein condition fails unless the base is the ball, thereby confirming uniformity of the implication. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained.

full rationale

The paper establishes the equivalence for s≠0 by combining an explicit Bergman kernel formula for the Hartogs domain Ω_{m,s} (derived from the given K_Ω of the base) with independent structural invariants of bounded homogeneous domains to classify homogeneity and biholomorphisms. No step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation chain; the kernel formula and invariants are presented as inputs supplied by the bounded homogeneous assumption on Ω, which is external and not redefined within the result. The central claim does not rename a known pattern or smuggle an ansatz via prior work by the same author. This is the standard case of an honest non-finding.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The argument rests on the existence of an explicit Bergman kernel formula for the Hartogs domain (derived from the base) and on the classification or invariant theory of bounded homogeneous domains; no new free parameters or postulated entities are introduced.

axioms (2)

domain assumption Bounded homogeneous domains admit an explicit Bergman kernel formula that extends to the associated Hartogs domain Ω_{m,s}.
Invoked to obtain the kernel of the full domain and to compare its curvature properties.
domain assumption Structural invariants of bounded homogeneous domains determine homogeneity and biholomorphic equivalence to the ball.
Used to translate the Einstein condition into the stated equivalences.

pith-pipeline@v0.9.0 · 5509 in / 1545 out tokens · 54436 ms · 2026-05-12T02:47:35.127312+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.1 … If the Bergman metric of Ω_{m,s} is Kähler–Einstein, then Ω_{m,s} ≅ B^{n+m}. … The proof combines the explicit formula for the Bergman kernel of Ω_{m,s} with the structural invariants of the bounded homogeneous base.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

R(t) = ∑ A_j (1−t)^{−(j+m+1)} … forces R(t) = c(1−t)^{−(n+m+1)} … F_Ω(sx) = (x+1)^n / n! … s = 1/(n+1)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

3 extracted references · 3 canonical work pages

[1]

Isometric imbedding of complex manifolds,

[Online]. Available: https://doi.org/10.1142/S0129167X1250098X [Cal53] E. Calabi, “Isometric imbedding of complex manifolds,”Ann. of Math. (2), vol. 58, pp. 1–23, 1953. [Online]. Available: https://doi.org/10.2307/1969817 [FW97] S. Fu and B. Wong, “On strictly pseudoconvex domains with Kähler-Einstein Bergman metrics,”Math. Res. Lett., vol. 4, no. 5, pp. ...

work page doi:10.1142/s0129167x1250098x 1953
[2]

Geometry of bounded domains,

[Online]. Available: https://doi.org/10.1007/s12220-016-9737-4 [Kan71] S. Kaneyuki,Homogeneous bounded domains and Siegel domains, ser. Lecture Notes in Mathematics. Springer-Verlag, Berlin-New York, 1971, vol. Vol. 241. [Online]. Available: https://doi.org/10.1007/BFb0060967 [Kob59] S. Kobayashi, “Geometry of bounded domains,”Trans. Amer. Math. Soc., vol...

work page doi:10.1007/s12220-016-9737-4 1971
[3]

Symplectic geometry of Cartan-Hartogs domains,

[Online]. Available: https://arxiv.org/abs/2510.06405 [MZ22] R. Mossa and M. Zedda, “Symplectic geometry of Cartan-Hartogs domains,”Ann. Mat. Pura Appl. (4), vol. 201, no. 5, pp. 2315–2339, 2022. [Online]. Available: https://doi.org/10.1007/s10231-022-01201-1 [NS06] S. Y. Nemirovski˘ ı and R. G. Shafikov, “Conjectures of Cheng and Ramadanov,” Uspekhi Mat....

work page doi:10.1007/s10231-022-01201-1 2022

[1] [1]

Isometric imbedding of complex manifolds,

[Online]. Available: https://doi.org/10.1142/S0129167X1250098X [Cal53] E. Calabi, “Isometric imbedding of complex manifolds,”Ann. of Math. (2), vol. 58, pp. 1–23, 1953. [Online]. Available: https://doi.org/10.2307/1969817 [FW97] S. Fu and B. Wong, “On strictly pseudoconvex domains with Kähler-Einstein Bergman metrics,”Math. Res. Lett., vol. 4, no. 5, pp. ...

work page doi:10.1142/s0129167x1250098x 1953

[2] [2]

Geometry of bounded domains,

[Online]. Available: https://doi.org/10.1007/s12220-016-9737-4 [Kan71] S. Kaneyuki,Homogeneous bounded domains and Siegel domains, ser. Lecture Notes in Mathematics. Springer-Verlag, Berlin-New York, 1971, vol. Vol. 241. [Online]. Available: https://doi.org/10.1007/BFb0060967 [Kob59] S. Kobayashi, “Geometry of bounded domains,”Trans. Amer. Math. Soc., vol...

work page doi:10.1007/s12220-016-9737-4 1971

[3] [3]

Symplectic geometry of Cartan-Hartogs domains,

[Online]. Available: https://arxiv.org/abs/2510.06405 [MZ22] R. Mossa and M. Zedda, “Symplectic geometry of Cartan-Hartogs domains,”Ann. Mat. Pura Appl. (4), vol. 201, no. 5, pp. 2315–2339, 2022. [Online]. Available: https://doi.org/10.1007/s10231-022-01201-1 [NS06] S. Y. Nemirovski˘ ı and R. G. Shafikov, “Conjectures of Cheng and Ramadanov,” Uspekhi Mat....

work page doi:10.1007/s10231-022-01201-1 2022