jagomart
digital resources
picture1_Geometry Pdf 166758 | Nchg Item Download 2023-01-24 22-47-03


 136x       Filetype PDF       File size 0.37 MB       Source: maths.dur.ac.uk


File: Geometry Pdf 166758 | Nchg Item Download 2023-01-24 22-47-03
notes on complex hyperbolic geometry john r parker department of mathematical sciences university of durham durham dh1 3le england j r parker durham ac uk july 11 2003 contents 1 ...

icon picture PDF Filetype PDF | Posted on 24 Jan 2023 | 2 years ago
Partial capture of text on file.
                              Notes on Complex Hyperbolic Geometry
                                                               John R.Parker
                                                    Department of Mathematical Sciences
                                                            University of Durham
                                                         Durham DH1 3LE, England
                                                       J.R.Parker@durham.ac.uk
                                                                July 11, 2003
                     Contents
                     1 Introduction                                                                                      2
                     2 Complex hyperbolic 2-space                                                                        3
                         2.1   Hermitian forms on C2,1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .         3
                         2.2   Three models of complex hyperbolic space . . . . . . . . . . . . . . . . . . .            4
                         2.3   Cayley transforms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .         7
                     3 Isometries                                                                                        9
                         3.1   The unitary groups of the first Hermitian form . . . . . . . . . . . . . . . .             9
                         3.2   The unitary groups of the second Hermitian form . . . . . . . . . . . . . . .            10
                         3.3   PU(2,1) and its action on complex hyperbolic space . . . . . . . . . . . . .             11
                         3.4   Complex hyperbolic isometries . . . . . . . . . . . . . . . . . . . . . . . . .          13
                         3.5   Classification of isometries . . . . . . . . . . . . . . . . . . . . . . . . . . . .      15
                     4 The boundary                                                                                     22
                         4.1   Relation to the Heisenberg group . . . . . . . . . . . . . . . . . . . . . . . .         22
                         4.2   Horospherical coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . .        23
                         4.3   The Cygan metric . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .         26
                     5 Subspaces of complex hyperbolic space                                                            34
                         5.1   Geodesics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .      34
                         5.2   Complex lines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .      36
                         5.3   Totally real Lagrangian planes       . . . . . . . . . . . . . . . . . . . . . . . . .   37
                         5.4   Totally geodesic subspaces . . . . . . . . . . . . . . . . . . . . . . . . . . . .       38
                         5.5   Boundaries of totally geodesic subspaces . . . . . . . . . . . . . . . . . . . .         39
                         5.6   Classification of isometries revisited      . . . . . . . . . . . . . . . . . . . . . .   42
                                                                       1
                    1 INTRODUCTION                                                                                    2
                    6 Distance formulae                                                                             45
                        6.1   Cross ratios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .   45
                        6.2   Distance between a point and a geodesic . . . . . . . . . . . . . . . . . . . .        46
                        6.3   Distance between pairs of geodesics . . . . . . . . . . . . . . . . . . . . . . .      47
                        6.4   Distance to complex lines . . . . . . . . . . . . . . . . . . . . . . . . . . . .      53
                    7 Notes                                                                                         56
                    1 Introduction
                    Theunit ball in C2 has a natural metric of constant negative holomorphic sectional curva-
                    ture (which we normalise to be −1), called the Bergman metric. As such it forms a model
                                                          2
                    for complex hyperbolic 2-space H analogous to the ball model of (real) hyperbolic space
                       n                                  C
                    HR. The main difference is that the (real) sectional curvature is no longer constant, but is
                    pinched between −1 and −1/4. Another standard model for complex hyperbolic space is
                    a paraboloid in C2 called the Siegel domain. This is analogous to the the half space model
                          2
                    of H . As complex hyperbolic 1-space is just the unit disc in C with the Poincar´e metric,
                       2 R
                    HC is a natural generalisation of plane hyperbolic geometry which is different from the
                    more familiar generalisation of higher dimensional real hyperbolic space.
                       An alternative description of H2 is given by the projective model. Here we take a
                                                           C    3
                    Hermitian form of signature (2,1) on C . Projectivising the set of complex lines on which
                    this form is negative gives another model for complex hyperbolic space. By taking a
                    suitable form and making a choice of section we can recover the ball model and the
                    Siegel domain model. The Bergman metric is given by a simple distance formula in
                    terms of the Hermitian form which is closely related to the Cauchy-Schwarz inequality.
                    From this description we can show that all holomorphic isometries of complex hyperbolic
                    space are given by the projectivisation of unitary matrices preserving the Hermitian form.
                    All antiholomorphic isometries are given applying such a matrix followed by complex
                    conjugation. This means that we can use complex linear algebra to study the geometry
                    of complex hyperbolic space.
                       As well as studying isometries, we want to consider certain special classes of subman-
                    ifolds of complex hyperbolic space. We will see that the totally geodesic submanifolds
                    have dimension at most 2. (In fact, for n dimensional complex hyperbolic space, totally
                                                                                 m       m
                    geodesic subspaces are are either embedded copies of H          or H for 1 ≤ m ≤ n. Thus, the
                                                                                 C       R
                    real dimension of a totally geodesic submanifold is either at most n, for embedded copies
                          m                                                 m
                    of H , or else is even, for embedded copies of H .) In particular, there are no totally
                          R                             2                   C
                    geodesic real hypersurfaces in HC. This increases the difficulty of constructing polyhedra
                    (for example fundamental polyhedra for discrete groups of complex hyperbolic isometries).
                    In a later chapter we will describe some classes of real hypersurfaces that can be used to
                    build polyhedra.
                       The boundary of complex hyperbolic 2-space is the one point compactification of the
                    Heisenberg group in the same way that the boundary of real hyperbolic space is the one
                    point compactification of Euclidean space of one dimension lower. Just as the internal ge-
                    ometryofrealhyperbolicspacemaybestudiedusingconformalgeometryontheboundary,
                    so the internal geometry of complex hyperbolic space may be studied using CR-geometry
                  2 COMPLEXHYPERBOLIC2-SPACE                                                            3
                  on the Heisenberg group. Moreover, the Heisenberg group is 3 dimensional and so it is
                  easy to illustrate geometrical objects.
                    In order to make things as concrete as possible, we have chosen restrict our attention
                       2
                  to H . Many of the results we develop will hold for complex hyperbolic space in all
                       C
                  dimensions. There will often be analogues for other rank 1 symmetric spaces of non-
                  compact type, quaternionic hyperbolic space Hn and the octonionic hyperbolic plane H2.
                  Wewill not discuss these here.                H                                      O
                  2 Complex hyperbolic 2-space
                  2.1   Hermitian forms on C2,1
                  Let A = (a ) be a k × l complex matrix. The Hermitian transpose of A is the l × k
                              ij
                  complex matrix A∗ = (a ) formed by complex conjugating each entry of A and then
                                           ji
                  taking the transpose. As with ordinary transpose, the Hermitian transpose of a product
                                                                                               ∗     ∗  ∗
                  is the product of the Hermitian transposes in the reverse order. That is (AB) = B A .
                             ∗ ∗
                  Clearly (A )    =A. A k×k complex matrix A is said to be Hermitian if it equals its
                  own Hermitian transpose A = A∗. Let A be a Hermitian matrix and µ an eigenvalue of A
                  with eigenvector x. We claim that µ is real. In order to see this, observe that
                                  ∗      ∗        ∗        ∗ ∗          ∗        ∗       ∗
                               µx x=x (µx)=x Ax=x A x=(Ax) x=(µx) x=µx x.
                         ∗
                  Since x x is real and non-zero we see that µ is real.
                    To each k × k Hermitian matrix A we can naturally associate an Hermitian form
                  h·, ·i : Ck × Ck −→ C given by hz,wi = w∗Az (note that we change the order) where
                  w and z are column vectors in Ck. Hermitian forms are sesquilinear, that is they are
                  linear in the first factor and conjugate linear in the second factor. In other words, for z,
                  z , z , w column vectors in Ck and λ a complex scalar, we have
                   1   2
                           hz +z ,wi = w∗A(z +z )=w∗Az +w∗Az =hz ,wi+hz ,wi,
                             1   2                 1   2          1        2     1         2
                               hλz,wi = w∗A(λz)=λw∗Az=λhz,wi,
                                             ∗        ∗  ∗       ∗    ∗
                                hw,zi = z Aw=z A w=(w Az) =hz,wi.
                  From these we see that
                                                     hz,zi  ∈ R,
                                                   hz,λwi = λhz,wi,
                                                                  2
                                                 hλz,λwi = |λ| hz,wi.
                    Let C2,1 be the complex vector space of (complex) dimension 3 equipped with a non-
                  degenerate, indefinite Hermitian form h·,·i of signature (2,1). This means that h·,·i is given
                  by a non-singular 3 × 3 Hermitian matrix J with 2 positive eigenvalues and 1 negative
                  eigenvalue. There are two standard matrices J which give different Hermitian forms on
                  C2,1. Following Epstein [6] we call these the first and second Hermitian forms. Let z, w be
                                                t                 t
                  the column vectors (z , z , z ) and (w , w , w ) respectively. The first Hermitian form
                                        1  2  3          1  2   3
                  is defined to be:
                                               hz,wi =z1w1+z2w2−z3w3.
                                                     1
                     2 COMPLEXHYPERBOLIC2-SPACE                                                                         4
                     It is given by the Hermitian matrix J :
                                                               1
                                                                  1 0 0 
                                                            J =0 1 0 .
                                                              1
                                                                    0 0 −1
                        The second Hermitian form is defined to be:
                                                      hz,wi =z1w3+z2w2+z3w1.
                                                             2
                     It is given by the Hermitian matrix J :
                                                               2
                                                                             
                                                                     0 0 1
                                                                             
                                                             J = 0 1 0 .
                                                               2
                                                                     1 0 0
                        Sometimes we want to specify which of these two Hermitian forms to use. When there
                     is no subscript then you can use either of these (or your favourite Hermitian form on C3
                     of signature (2,1)).
                        There are other Hermitian forms which are widely used in the literature. In particular,
                     Chen and Greenberg (page 67 of [3])give a close relative of the second Hermitian form.
                     Wewill refer to this as the third Hermitian form. It is given by
                                                     hz,wi =−z w −z w +z w .
                                                            3       1  2    2  1     3  3
                     It is given by the Hermitian matrix J :
                                                               2
                                                                 0 −1 0
                                                           J =−1 0 0.
                                                             3
                                                                    0     0    1
                     The third Hermitian form has been used extensively by Kamiya, Hersonsky and Paulin.
                     2.2    Three models of complex hyperbolic space
                     If z ∈ C2,1 then we know that hz,zi is real. Thus we may define subsets V−, V0 and V+ of
                     C2,1 by
                                                                   2,1           	
                                                  V− = z∈C |hz,zi<0 ,                   	
                                                   V    = z∈C2,1−{0}|hz,zi=0 ,
                                                    0                            	
                                                  V     = z∈C2,1|hz,zi>0 .
                                                    +
                     We say that z ∈ C2,1 is negative, null or positive if z is in V−, V0 or V+ respectively.
                     Motivated by special relativity, these are sometimes called time-like, light-like and space-
                                                    2
                     like. Because hλz,λzi = |λ| hz,zi we see that for any non-zero complex scalar λ the point
                     λz is negative, null or positive if and only if z is. Therefore we define a projection map P
                     on those points of C2,1 with z3 6= 0. This projection map is defined by
                                                                           
                                                             z1         z /z
                                                                        1  3       2
                                                       P: z2 7−→ z /z            ∈C .
                                                             z            2  3
                                                              3
The words contained in this file might help you see if this file matches what you are looking for:

...Notes on complex hyperbolic geometry john r parker department of mathematical sciences university durham dh le england j ac uk july contents introduction space hermitian forms c three models cayley transforms isometries the unitary groups rst form second pu and its action classication boundary relation to heisenberg group horospherical coordinates cygan metric subspaces geodesics lines totally real lagrangian planes geodesic boundaries revisited distance formulae cross ratios between a point pairs theunit ball in has natural constant negative holomorphic sectional curva ture which we normalise be called bergman as such it model for h analogous n hr main dierence is that curvature no longer but pinched another standard paraboloid siegel domain this half just unit disc with poincar e hc generalisation plane dierent from more familiar higher dimensional an alternative description given by projective here take signature projectivising set gives taking suitable making choice section can rec...

no reviews yet
Please Login to review.