Complex hyperbolic space

Last updated April 23, 2023

In mathematics, hyperbolic complex space is a Hermitian manifold which is the equivalent of the real hyperbolic space in the context of complex manifolds. The complex hyperbolic space is a Kähler manifold, and it is characterised by being the only simply connected Kähler manifold whose holomorphic sectional curvature is constant equal to -1. Its underlying Riemannian manifold has non-constant negative curvature, pinched between -1 and -1/4 (or -4 and -1, according to the choice of a normalization of the metric): in particular, it is a CAT(-1/4) space.

Complex hyperbolic spaces are also the symmetric spaces associated with the Lie groups $PU(n,1)$ . They constitute one of the three families of rank one symmetric spaces of noncompact type, together with real and quaternionic hyperbolic spaces, classification to which must be added one exceptional space, the Cayley plane.

Construction of the complex hyperbolic space

Projective model

Let ${\displaystyle \langle u,v\rangle$ be a pseudo-Hermitian form of signature $(n,1)$ in the complex vector space $\mathbb {C} ^{n+1}$ . The projective model of the complex hyperbolic space is the projectivized space of all negative vectors for this form: $\mathbb {H} _{\mathbb {C} }^{n}=\{[\xi ]\in \mathbb {CP} ^{n}|\langle \xi ,\xi \rangle <0\}.$

As an open set of the complex projective space, this space is endowed with the structure of a complex manifold. It is biholomorphic to the unit ball of $\mathbb {C} ^{n}$ , as one can see by noting that a negative vector must have non zero first coordinate, and has a unique representant with first coordinate equal to 1 in the projective space. The condition $\langle \xi ,\xi \rangle <0$ when $\xi =(1,x_{1},\dots ,x_{n+1})$ is equivalent to $\sum _{i=1}^{n}|x_{i}|^{2}<1$ . The map sending the point $(x_{1},\dots ,x_{n})$ of the unit ball of $\mathbb {C} ^{n}$ to the point $[1:x_{1}:\dots :x_{n}]$ of the projective space thus defines the required biholomorphism.

This model is the equivalent of the Poincaré disk model. Contrary to the real hyperbolic space, the complex projective space cannot be defined as a sheet of the hyperboloid $\langle x,x\rangle =-1$ , because the projection of this hyperboloid onto the projective model has connected fiber $\mathbb {S} ^{1}$ (the fiber being $\mathbb {Z} /2\mathbb {Z}$ in the real case).

A Hermitian metric is defined on $\mathbb {H} _{\mathbb {C} }^{n}$ in the following way: if $p\in \mathbb {C} ^{n+1}$ belongs to the cone $\langle p,p\rangle =-1$ , then the restriction of $\langle \cdot ,\cdot \rangle$ to the orthogonal space $(\mathbb {C} p)^{\perp }\subset \mathbb {C} ^{n+1}$ defines a definite positive hermitian product on this space, and because the tangent space of $\mathbb {H} _{\mathbb {C} }^{n}$ at the point $[p]$ can be naturally identified with $(\mathbb {C} p)^{\perp }$ , this defines a hermitian inner product on $T_{[p]}\mathbb {H} _{\mathbb {C} }^{n}$ . As can be seen by computation, this inner product does not depend on the choice of the representant $p$ . In order to have holomorphic sectional curvature equal to -1 and not -4, one needs to renormalize this metric by a $1/2$ factor. This metric is a Kähler metric.

Siegel model

The Siegel model of complex hyperbolic space is the subset of $(w,z)\in \mathbb {C} \times \mathbb {C} ^{n-1}$ such that

i({\bar {w}}-w)>2z{\bar {z}}.

It is biholomorphic to the unit ball in $\mathbb {C} ^{n}$ via the Cayley transform

(w,z)\mapsto \left({\frac {w-i}{w+i}},{\frac {2z}{w+i}}\right).

Group of holomorphic isometries and symmetric space

The group of holomorphic isometries of the complex hyperbolic space is the Lie group $PU(n,1)$ . This group acts transitively on the complex hyperbolic space, and the stabilizer of a point is isomorphic to the unitary group $U(n)$ . The complex hyperbolic space is thus homeomorphic to the homogeneous space $PU(n,1)/U(n)$ . The stabilizer $U(n)$ is the maximal compact subgroup of $PU(n,1)$ .

As a consequence, the complex hyperbolic space is the Riemannian symmetric space $SU(n,1)/S(U(n)U(1))$ ,^[1] where $SU(n,1)$ is the pseudo-unitary group.

Curvature

The group of holomorphic isometries $PU(n,1)$ acts transitively on the tangent complex lines of the hyperbolic complex space. This is why this space has constant holomorphic sectional curvature, that can be computed to be equal to -4 (with the above normalization of the metric). This property characterizes the hyperbolic complex space : up to isometric biholomorphism, there is only one simply connected complete Kähler manifold of given constant holomorphic sectional curvature.^[2]

Furthermore, when a Hermitian manifold has constant holomorphic sectional curvature equal to $k$ , the sectional curvature of every real tangent plane $\Pi$ is completely determined by the formula :

$K(\Pi )={\frac {k}{4}}\left(1+3\cos ^{2}(\alpha (\Pi )\right)$

where $\alpha (\Pi )$ is the angle between $\Pi$ and $J\Pi$ , ie the infimum of the angles between a vector in $\Pi$ and a vector in $J\Pi$ .^[2] This angle equals 0 if and only if $\Pi$ is a complex line, and equals $\pi /2$ if and only if $\Pi$ is totally real. Thus the sectional curvature of the complex hyperbolic space varies from -4 (for complex lines) to -1 (for totally real planes).

In complex dimension 1, every real plane in the tangent space is a complex line: thus the hyperbolic complex space of dimension 1 has constant curvature equal to -1, and by the uniformization theorem, it is isometric to the real hyperbolic plane. Hyperbolic complex spaces can thus be seen as another high-dimensional generalization of the hyperbolic plane, less standard than the real hyperbolic spaces. A third possible generalization is the homogeneous space $SL_{n}(\mathbb {R} )/SO_{n}(\mathbb {\mathbb {R} } )$ , which for $n=2$ again coincides with the hyperbolic plane, but becomes a symmetric space of rank greater than 1 when $n\geq 3$ .

Totally geodesic subspaces

Every totally geodesic submanifold of the complex hyperbolic space of dimension n is one of the following :

a copy of a complex hyperbolic space of smaller dimension
a copy of a real hyperbolic space of real dimension smaller than $n$

In particular, there is no codimension 1 totally geodesic subspace of the complex hyperbolic space.

Related Research Articles

In quantum mechanics, bra–ket notation, or Dirac notation, is used ubiquitously to denote quantum states. The notation uses angle brackets, and , and a vertical bar , to construct "bras" and "kets".

<span class="mw-page-title-main">Inner product space</span> Generalization of the dot product; used to define Hilbert spaces

In mathematics, an inner product space is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, often denoted with angle brackets such as in $. Inner products allow formal definitions of intuitive geometric notions, such as lengths, angles, and orthogonality of vectors. Inner product spaces generalize Euclidean vector spaces, in which the inner product is the dot product or scalar product of Cartesian coordinates. Inner product spaces of infinite dimension are widely used in functional analysis. Inner product spaces over the field of complex numbers are sometimes referred to as unitary spaces . The first usage of the concept of a vector space with an inner product is due to Giuseppe Peano, in 1898.$

In Riemannian geometry, the sectional curvature is one of the ways to describe the curvature of Riemannian manifolds. The sectional curvature K(σ_p) depends on a two-dimensional linear subspace σ_p of the tangent space at a point p of the manifold. It can be defined geometrically as the Gaussian curvature of the surface which has the plane σ_p as a tangent plane at p, obtained from geodesics which start at p in the directions of σ_p. The sectional curvature is a real-valued function on the 2-Grassmannian bundle over the manifold.

In mathematics and especially differential geometry, a Kähler manifold is a manifold with three mutually compatible structures: a complex structure, a Riemannian structure, and a symplectic structure. The concept was first studied by Jan Arnoldus Schouten and David van Dantzig in 1930, and then introduced by Erich Kähler in 1933. The terminology has been fixed by André Weil. Kähler geometry refers to the study of Kähler manifolds, their geometry and topology, as well as the study of structures and constructions that can be performed on Kähler manifolds, such as the existence of special connections like Hermitian Yang–Mills connections, or special metrics such as Kähler–Einstein metrics.

In mathematics, specifically in operator theory, each linear operator $on an inner product space defines a Hermitian adjoint operator on that space according to the rule$

In functional analysis, a branch of mathematics, the Borel functional calculus is a functional calculus, which has particularly broad scope. Thus for instance if T is an operator, applying the squaring function s → s² to T yields the operator T². Using the functional calculus for larger classes of functions, we can for example define rigorously the "square root" of the (negative) Laplacian operator $-Δ$ or the exponential

In mathematics, particularly in functional analysis, a projection-valued measure (PVM) is a function defined on certain subsets of a fixed set and whose values are self-adjoint projections on a fixed Hilbert space. Projection-valued measures are formally similar to real-valued measures, except that their values are self-adjoint projections rather than real numbers. As in the case of ordinary measures, it is possible to integrate complex-valued functions with respect to a PVM; the result of such an integration is a linear operator on the given Hilbert space.

The Lorentz group is a Lie group of symmetries of the spacetime of special relativity. This group can be realized as a collection of matrices, linear transformations, or unitary operators on some Hilbert space; it has a variety of representations. This group is significant because special relativity together with quantum mechanics are the two physical theories that are most thoroughly established, and the conjunction of these two theories is the study of the infinite-dimensional unitary representations of the Lorentz group. These have both historical importance in mainstream physics, as well as connections to more speculative present-day theories.

In mathematics, the Fubini–Study metric is a Kähler metric on projective Hilbert space, that is, on a complex projective space CPⁿ endowed with a Hermitian form. This metric was originally described in 1904 and 1905 by Guido Fubini and Eduard Study.

In mathematics, a complex torus is a particular kind of complex manifold M whose underlying smooth manifold is a torus in the usual sense. Here N must be the even number 2n, where n is the complex dimension of M.

In mathematics, specifically in symplectic geometry, the momentum map is a tool associated with a Hamiltonian action of a Lie group on a symplectic manifold, used to construct conserved quantities for the action. The momentum map generalizes the classical notions of linear and angular momentum. It is an essential ingredient in various constructions of symplectic manifolds, including symplectic (Marsden–Weinstein) quotients, discussed below, and symplectic cuts and sums.

In mathematics, a holomorphic vector bundle is a complex vector bundle over a complex manifold $X$ such that the total space $E$ is a complex manifold and the projection map $π : E \to X$ is holomorphic. Fundamental examples are the holomorphic tangent bundle of a complex manifold, and its dual, the holomorphic cotangent bundle. A holomorphic line bundle is a rank one holomorphic vector bundle.

In differential geometry, the Margulis lemma is a result about discrete subgroups of isometries of a non-positively curved Riemannian manifold. Roughly, it states that within a fixed radius, usually called the Margulis constant, the structure of the orbits of such a group cannot be too complicated. More precisely, within this radius around a point all points in its orbit are in fact in the orbit of a nilpotent subgroup.

In the field of mathematics known as differential geometry, a generalized complex structure is a property of a differential manifold that includes as special cases a complex structure and a symplectic structure. Generalized complex structures were introduced by Nigel Hitchin in 2002 and further developed by his students Marco Gualtieri and Gil Cavalcanti.

In mathematics, the Appell–Humbert theorem describes the line bundles on a complex torus or complex abelian variety. It was proved for 2-dimensional tori by Appell (1891) and Humbert (1893), and in general by Lefschetz (1921)

In mathematics, and in particular gauge theory and complex geometry, a Hermitian Yang–Mills connection is a Chern connection associated to an inner product on a holomorphic vector bundle over a Kähler manifold that satisfies an analogue of Einstein's equations: namely, the contraction of the curvature 2-form of the connection with the Kähler form is required to be a constant times the identity transformation. Hermitian Yang–Mills connections are special examples of Yang–Mills connections, and are often called instantons.

In mathematics, the Segal–Bargmann space, also known as the Bargmann space or Bargmann–Fock space, is the space of holomorphic functions F in n complex variables satisfying the square-integrability condition:

In mathematics, the Weil–Brezin map, named after André Weil and Jonathan Brezin, is a unitary transformation that maps a Schwartz function on the real line to a smooth function on the Heisenberg manifold. The Weil–Brezin map gives a geometric interpretation of the Fourier transform, the Plancherel theorem and the Poisson summation formula. The image of Gaussian functions under the Weil–Brezin map are nil-theta functions, which are related to theta functions. The Weil–Brezin map is sometimes referred to as the Zak transform, which is widely applied in the field of physics and signal processing; however, the Weil–Brezin Map is defined via Heisenberg group geometrically, whereas there is no direct geometric or group theoretic interpretation from the Zak transform.

In algebraic geometry and differential geometry, the nonabelian Hodge correspondence or Corlette–Simpson correspondence is a correspondence between Higgs bundles and representations of the fundamental group of a smooth, projective complex algebraic variety, or a compact Kähler manifold.

In complex geometry, the Kähler identities are a collection of identities between operators on a Kähler manifold relating the Dolbeault operators and their adjoints, contraction and wedge operators of the Kähler form, and the Laplacians of the Kähler metric. The Kähler identities combine with results of Hodge theory to produce a number of relations on de Rham and Dolbeault cohomology of compact Kähler manifolds, such as the Lefschetz hyperplane theorem, the hard Lefschetz theorem, the Hodge-Riemann bilinear relations, and the Hodge index theorem. They are also, again combined with Hodge theory, important in proving fundamental analytical results on Kähler manifolds, such as the $-lemma$ , the Nakano inequalities, and the Kodaira vanishing theorem.

References

↑ Arthur Besse (1987), Einstein manifolds, Springer, p. 180.
1 2 Kobayashi, Shōshichi; Nomizu, Katsumi (1996). Foundations of differential geometry, vol. 2. New York: Wiley. ISBN 0-471-15733-3. OCLC 34259751.

Goldman, William M. (1999). Complex hyperbolic geometry. Oxford: Clarendon Press. p. xx + 316. ISBN 0-19-853793-X.

This differential geometry related article is a stub. You can help Wikipedia by expanding it.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Arthur Besse (1987), Einstein manifolds, Springer, p. 180.

[:0-2] 1 2 Kobayashi, Shōshichi; Nomizu, Katsumi (1996). Foundations of differential geometry, vol. 2. New York: Wiley. ISBN 0-471-15733-3. OCLC 34259751.

[1]

[2]