Complex hyperbolic space

Realize the simply connected complete Kähler manifold of complex dimension n and constant negative holomorphic sectional curvature, equivalently the rank-one Hermitian symmetric space acted on transitively by PU(n,1).

Version

v2 · 2026-08-30 · History

Domain-specific #

1520

Origin domain

differential geometry

Subdomain

complex hyperbolic and symmetric spaces

Core Idea

Complex hyperbolic space \(\mathbb H^n_{\mathbb C}\) is, up to holomorphic isometry and metric scaling, the simply connected complete Kähler manifold of complex dimension \(n\) with constant negative holomorphic sectional curvature. A pseudo-Hermitian form of signature one negative direction selects negative complex lines in projective space; the invariant Hermitian metric on that domain is Kähler, complete, and homogeneous, while projective normalization identifies the same domain biholomorphically with the complex unit ball.

Its autonomous residual is the unique complex-Kähler hyperbolic model with its nonconstant real-plane curvature and PU(n,1) symmetry, not an arbitrary negatively curved complex manifold or real hyperbolic space with complex-valued coordinates.

Scope of Application

Complex hyperbolic space applies when the analyst can specify a connected complex manifold of complex dimension n equipped with a complete Kähler metric normalized to a fixed negative holomorphic sectional curvature and establish that the carrier is simply connected and complete, its metric is Kähler, its complex dimension and curvature normalization are fixed, and its holomorphic sectional curvature is a negative constant. The entry treats the standard finite-dimensional simply connected model. Quotients, orbifolds, variable-curvature Kähler manifolds, infinite-dimensional balls, and complex-hyperbolic groups require separate hypotheses.

Clarity

A clear claim names the carrier, governing rule, assumptions, and recognition test. This matters because complex hyperbolic can describe the universal space, a locally modeled quotient, a group action, or a geometry, and curvature values differ by a conventional metric scale. The disciplined statement is that the object counts as Complex hyperbolic space exactly when the carrier is simply connected and complete, its metric is Kähler, its complex dimension and curvature normalization are fixed, and its holomorphic sectional curvature is a negative constant

Manages Complexity

The abstraction compresses projective, ball, and Siegel-domain models, alternative curvature scalings, dimension one and higher dimensions, homogeneous and boundary presentations, lattices and quotients, complex geodesics, real totally geodesic subspaces, and compactifications into a stable carrier, rule, invariant, and failure boundary. It makes comparison tractable while retaining the variables that control validity.

Abstract Reasoning

1. Type the carrier. Establish a connected complex manifold of complex dimension n equipped with a complete Kähler metric normalized to a fixed negative holomorphic sectional curvature and reject examples from a different problem. 2. Lock the rule. Express that the carrier is simply connected and complete, its metric is Kähler, its complex dimension and curvature normalization are fixed, and its holomorphic sectional curvature is a negative constant independently of one notation or implementation.

Knowledge Transfer

Transfer within differential geometry is strong when new cases preserve the same carrier, mechanism, and diagnostic. The move from In the projective model, \(\mathbb H^n_{\mathbb C}\) is the set of negative complex lines for a Hermitian form of signature \((n,1)\) on \(\mathbb C^{n+1}\), equipped with the invariant metric. to The homogeneous-space presentation \(\mathrm{PU}(n,1)/\mathrm{U}(n)\) exhibits complex hyperbolic space as a rank-one noncompact Hermitian symmetric space. demonstrates that continuity.

Relationships to Other Abstractions

Current abstraction Complex hyperbolic space Domain-specific

Parents (1) — more general patterns this builds on

• Complex hyperbolic space is a kind of Manifold Prime

  The proposed strict upward parent is prime:manifold.

Hierarchy path (1) — routes to 1 parentless root

• Complex hyperbolic space → Manifold → Topology

Neighborhood in Abstraction Space

Complex hyperbolic space sits in a moderately populated region (59^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Curvature & Special Manifolds (7 abstractions)

Nearest neighbors

• Ddbar lemma — 0.88
• Hadamard manifold — 0.87
• Holomorphic tangent bundle — 0.87
• Geometric quantization — 0.86
• Isoparametric manifold — 0.86

Computed from structural-signature embeddings · 2026-09-08