Three-dimensional complex reflection groups via Ford domains

Publication date 27 June 2023

Abstract: We initiate the study of deformations of groups in three-dimensional complex hyperbolic geometry. Let

G=leftlangle iota_1, iota_2, iota_3, iota_4 Bigg| �egin{array}{c} iota_1^2= iota_2^2 = iota_3^2=iota_4^2=id,\ (iota_1 iota_3)^{2}=(iota_1 iota_4)^{3}=(iota_2 iota_4)^{2}=id end{array} ight angle

be an abstract group. We study representations

h o : G i g h t a r r o w m a t h b f P U (3, 1)

, where

h o (i o t a_{i}) = I_{i}

is a complex reflection fixing a complex hyperbolic plane in

for

1 l e q i l e q 4

, with the additional condition that

I_{1} I_{2}

is parabolic. When we assume two pairs of hyper-parallel complex hyperbolic planes have the same distance, then the moduli space

m a t h c a l M

is parameterized by

(h, t) i n [1, i n f t y) i m e s [0, p i]

but

t l e q o p e r a t o r n a m e a r c c o s (- f r a c 3 h^{2} + 1 4 h^{2})

. In particular,

t = 0

and

t = o p e r a t o r n a m e a r c c o s (- f r a c 3 h^{2} + 1 4 h^{2})

degenerate to

-geometry and

-geometry respectively. Using the Ford domain of

h o_{(s q r t 2, o p e r a t o r n a m e a r c c o s (- f r a c 78))} (G)

as a guide, we show

h o_{(h, t)}

is a discrete and faithful representation of

G i g h t a r r o w m a t h b f P U (3, 1)

when

(h, t) i n m a t h c a l M

is near to

(s q r t 2, o p e r a t o r n a m e a r c c o s (- f r a c 78))

. This is the first nontrivial example of the Ford domain of a subgroup in

m a t h b f P U (3, 1)

that has been studied.

This page was built for publication: Three-dimensional complex reflection groups via Ford domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6441625)