Complex hyperbolic space: Difference between revisions
m exceptionnal→exceptional - Correct typos in one click |
|||
Line 10: | Line 10: | ||
Let <math>\langle u,v\rangle := -u_1\overline{v_1} + u_2\overline{v_2} + \dots + u_{n+1}\overline{v_{n+1}}</math> be a [[Sesquilinear form|pseudo-Hermitian form]] of signature <math>(n,1)</math> in the complex vector space <math>\mathbb{C}^{n+1}</math>. The projective model of the complex hyperbolic space is the [[Complex projective space|projectivized space]] of all negative vectors for this form: <math>\mathbb{H}^n_\mathbb{C} = \{[\xi] \in \mathbb{CP}^n | \langle \xi,\xi\rangle <0\}.</math> |
Let <math>\langle u,v\rangle := -u_1\overline{v_1} + u_2\overline{v_2} + \dots + u_{n+1}\overline{v_{n+1}}</math> be a [[Sesquilinear form|pseudo-Hermitian form]] of signature <math>(n,1)</math> in the complex vector space <math>\mathbb{C}^{n+1}</math>. The projective model of the complex hyperbolic space is the [[Complex projective space|projectivized space]] of all negative vectors for this form: <math>\mathbb{H}^n_\mathbb{C} = \{[\xi] \in \mathbb{CP}^n | \langle \xi,\xi\rangle <0\}.</math> |
||
As an |
As an open set of the complex projective space, this space is endowed with the structure of a [[complex manifold]]. It is [[Biholomorphism|biholomorphic]] to the unit ball of <math>\mathbb{C}^n</math>, 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 [[Complex projective space|projective space]]. The condition <math>\langle \xi,\xi\rangle<0 </math> when <math>\xi=(1,x_1,\dots,x_{n+1})</math> is equivalent to <math>\sum_{i=1}^{n} |x_i|^2 < 1</math>. The map sending the point <math>(x_1,\dots,x_n)</math> of the unit ball of <math>\mathbb{C}^n</math> to the point <math>[1:x_1:\dots:x_n]</math> 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 <math>\langle x,x\rangle = -1</math>, because the projection of this hyperboloid onto the projective model has connected fiber <math>\mathbb{S}^1</math> (the fiber being <math>\mathbb{Z}/2\mathbb{Z}</math> in the real case). |
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 <math>\langle x,x\rangle = -1</math>, because the projection of this hyperboloid onto the projective model has connected fiber <math>\mathbb{S}^1</math> (the fiber being <math>\mathbb{Z}/2\mathbb{Z}</math> in the real case). |
Revision as of 17:56, 8 November 2022
This article relies largely or entirely on a single source. (January 2022) |
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 . 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 be a pseudo-Hermitian form of signature in the complex vector space . The projective model of the complex hyperbolic space is the projectivized space of all negative vectors for this form:
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 , 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 when is equivalent to . The map sending the point of the unit ball of to the point 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 , because the projection of this hyperboloid onto the projective model has connected fiber (the fiber being in the real case).
A Hermitian metric is defined on in the following way: if belongs to the cone , then the restriction of to the orthogonal space defines a definite positive hermitian product on this space, and because the tangent space of at the point can be naturally identified with , this defines a hermitian inner product on . As can be seen by computation, this inner product does not depend on the choice of the representant . In order to have holomorphic sectional curvature equal to -1 and not -4, one needs to renormalize this metric by a factor. This metric is a Kähler metric.
Siegel model
The Siegel model of complex hyperbolic space is the subset of such that
It is biholomorphic to the unit ball in via the Cayley transform
Group of holomorphic isometries and symmetric space
The group of holomorphic isometries of the complex hyperbolic space is the Lie group . This group acts transitively on the complex hyperbolic space, and the stabilizer of a point is isomorphic to the unitary group . The complex hyperbolic space is thus homeomorphic to the homogeneous space . The stabilizer is the maximal compact subgroup of .
Curvature
The group of holomorphic isometries 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.[1]
Furthermore, when a Hermitian manifold has constant holomorphic sectional curvature equal to , the sectional curvature of every real tangent plane is completely determined by the formula :
where is the angle between and , ie the infimum of the angles between a vector in and a vector in .[1] This angle equals 0 if and only if is a complex line, and equals if and only if 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 , which for again coincides with the hyperbolic plane, but becomes a symmetric space of rank greater than 1 when .
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
In particular, there is no codimension 1 totally geodesic subspace of the complex hyperbolic space.
See also
References
- ^ a b 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.