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: v3 · 2026-09-19 · History
Domain-specific #: 1520
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Differential Geometry, Complex Hyperbolic and Symmetric Spaces → Mathematics

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.

How would you explain it like I'm…

No faithful explanation at this level. All three generators agree the only child-level picture is a saddle curving equally in every direction, which is real hyperbolic space with constant curvature, exactly what complex hyperbolic space is distinguished from (its real sectional curvature varies).

No faithful explanation at this level. Two of three generators judge that a ten-year-old framing still reduces to 'hyperbolic space with complex numbers' or 'curved the same in every direction', conflating it with real hyperbolic geometry and losing the holomorphic-vs-real curvature distinction.

Constant Holomorphic Curvature Space

Complex hyperbolic space of complex dimension n is a particular curved space built from complex numbers. It can be modeled as the open unit ball in complex n-space with a special metric. Its key property is constant negative holomorphic sectional curvature: the curvature is the same negative value on every 'complex direction', meaning a plane spanned by a vector v and i times v. On other real planes the curvature takes different values, so it is not the same as real hyperbolic space, where all sectional curvatures are equal. It is complete, simply connected, and Kähler, meaning its metric fits well with the complex structure. Up to scaling and holomorphic isometry, it is the only space with all these properties.

Complex hyperbolic space ℍⁿ_ℂ is, up to holomorphic isometry and scaling of the metric, the unique simply connected complete Kähler manifold of complex dimension n with constant negative holomorphic sectional curvature. One model starts with a Hermitian form on ℂ^{n+1} of signature (n, 1): the complex lines on which the form is negative make up a domain in complex projective space, and it carries an invariant Hermitian metric that is Kähler, complete, and homogeneous. Projective normalization identifies this domain biholomorphically with the complex unit ball; other standard models include the Siegel domain and the symmetric-space description with symmetry group PU(n, 1). Its real sectional curvature is not constant — it varies with the real 2-plane — which distinguishes it from real hyperbolic space. It must not be confused with an arbitrary negatively curved complex manifold, with a quotient by a discrete group, or with real hyperbolic space written in complex coordinates, and the curvature normalization must be stated. It is a rank-one symmetric space and underlies the study of complex Kleinian groups, boundary CR and contact structures, and totally geodesic subspaces.

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¶

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.
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) — outgoing typed relations

Complex hyperbolic space is a kind of Manifold Prime

Complex hyperbolic space is literally a smooth locally Euclidean global space with compatible charts; its Kähler metric, curvature, completeness, symmetry, and complex structure provide the autonomous specialization.

Hierarchy path (1) — routes to 1 parentless root

Complex hyperbolic space → is a kind of Manifold → presupposes Topology

Neighborhood in Abstraction Space¶

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

Family — Riemannian & Symplectic Geometry (18 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25