 can be found. The fact that the construction of the candidate polyhedron fails can mean two things. Either the group is not discrete, or the choice of the basepoint is bad: it gives a Dirichlet domain with a very large number of faces (possibly even infinite see for instance [@GP2]).

Since Mostow’s work, different techniques have been developed to produce fundamental domains. In particular different classes of hypersurfaces have been used to produce faces of polyhedron. One natural idea is to generalise bisectors by replacing them by hypersurfaces that are foliated by totally geodesic subspaces. This leads to the notion of [*${\mathbb C}$-surface*]{} or [*${\mathbb R}$-surface*]{}. These surfaces are typically diffeomorphic to ${\mathbb R}\times {\bold H^{1}_{\mathbb C}}$ or ${\mathbb R}\times {\bold H^{2}_{\mathbb R}}$. Examples of these were developed in [@FZ; @FJP; @FK; @FK1; @S; @S1; @S3; @Schbook; @Wi2; @Wi7]. The ${\mathbb C}$-surfaces are somewhat easier to handle than ${\mathbb R}$-spheres because of the duality between the Grasmanian of complex lines in ${ \mbox{{\bf H}}^{2}_{\mathbb C}}$ and ${\mathbb C}P^2\setminus \overline{{ \mbox{{\bf H}}^{2}_{\mathbb C}}}$ induced by the Hermitian form. Any complex line $L$ in ${ \mbox{{\bf H}}^{2}_{\mathbb C}}$ is the projectivisation of a complex plane $P$ in ${\mathbb C}^3$, which is orthogonal for the Hermitian form to a linear subspace ${\mathbb C}v\subset {\mathbb C}^3$. The vector $v$ is called polar to $L$. As a consequence, any ${\mathbb C}$-surface corresponds to a curve in the outside of ${ \mbox{{\bf H}}^{2}_{\mathbb C}}$.

\[dualcurve\] For any ${\mathbb C}$-surface $\Sigma$, there exists a curve $\gamma: {\mathbb R}\longrightarrow {\mathbb C}P^2\setminus \overline{{ \mbox{{\bf H}}^{2}_{\mathbb C}}}$ such that $$\Sigma = \underset{t\in{\mathbb R}}{\bigcup}\gamma(t)^{\perp}$$

As seen above, bisectors are the first examples of ${\mathbb C}$-surfaces. In this case, the real spine $\sigma$
can be found. The fact that the construction of the candidate polyhedron fails can think of two thing. Either the group is not discrete, or the choice of the basepoint is bad: it gives a Dirichlet world with a very large number of boldness (possibly even countless see for instance [ @GP2 ]). 

 Since Mostow ’s work, different techniques have been develop to produce cardinal domains. In particular different classes of hypersurfaces have been used to produce faces of polyhedron. One lifelike idea is to generalise bisectors by replacing them by hypersurfaces that are foliate by totally geodesic subspace. This leads to the impression of [ * $ { \mathbb C}$-surface * ] { } or [ * $ { \mathbb R}$-surface * ] { }. These surfaces are typically diffeomorphic to $ { \mathbb R}\times { \bold H^{1}_{\mathbb C}}$ or $ { \mathbb R}\times { \bold H^{2}_{\mathbb R}}$. Examples of these were developed in [ @FZ; @FJP; @FK; @FK1; @S; @S1; @S3; @Schbook; @Wi2; @Wi7 ]. The $ { \mathbb C}$-surfaces are somewhat easier to handle than $ { \mathbb R}$-spheres because of the duality between the Grasmanian of complex line in $ { \mbox{{\bf H}}^{2}_{\mathbb C}}$ and $ { \mathbb C}P^2\setminus \overline { { \mbox{{\bf H}}^{2}_{\mathbb C}}}$ induced by the Hermitian form. Any complex line $ L$ in $ { \mbox{{\bf H}}^{2}_{\mathbb C}}$ is the projectivisation of a complex plane $ P$ in $ { \mathbb C}^3 $, which is orthogonal for the Hermitian mannequin to a linear subspace $ { \mathbb C}v\subset { \mathbb C}^3$. The vector $ v$ is called polar to $ L$. As a consequence, any $ { \mathbb C}$-surface corresponds to a curve in the outside of $ { \mbox{{\bf H}}^{2}_{\mathbb C}}$. 

 \[dualcurve\ ] For any $ { \mathbb C}$-surface $ \Sigma$, there exists a curve $ \gamma: { \mathbb R}\longrightarrow { \mathbb C}P^2\setminus \overline { { \mbox{{\bf H}}^{2}_{\mathbb C}}}$ such that $ $ \Sigma = \underset{t\in{\mathbb R}}{\bigcup}\gamma(t)^{\perp}$$ 

 As seen above, bisectors are the first examples of $ { \mathbb C}$-surfaces. In this event, the real spine $ \sigma$
 caj be found. The fact that the construction of tie candjdate pouyhedron fails can mean two vhints. Eiuker the group is not discrete, or the xhoire of the basepomht is bad: it flves c Virichlet domaik with a vesy large numbes uf faces (possibly even infinite see fjr instsnfe [@GP2]).

Since Mosjow’s ejrk, spfnerent techniques have been devemoped tm produce funcamental domains. In particklar different classes of hypersutracqw have been jsed to produce faces kf polyhedron. One natural idea ks to generalisg gidgctors by re'lacind them by hyivrsurfawes thay are foliated by torally geodesic subspares. This leads to thg notion ox [*${\jathbb C}$-surface*]{} oe [*${\nathbt R}$-sgrfazw*]{}. Tfest snrfzces age vypically djffeomorphix to ${\mathbb R}\times {\noje H^{1}_{\mathbb C}}$ od ${\mathfb R}\times {\bold H^{2}_{\mathbb R}}$. Examples of thest wers developed in [@FZ; @FJP; @FJ; @FK1; @S; @S1; @S3; @Schbook; @Wi2; @Wi7]. The ${\mwthbb C}$-surfaces are somewhat easier to handle that ${\matibc R}$-wpmerer bfcause of the duality between the Grasmanian jr vokplex lines in ${ \mbox{{\bf H}}^{2}_{\mstjbn C}}$ and ${\mathbb C}P^2\setminhs \overline{{ \mbox{{\bf H}}^{2}_{\mathbf C}}}$ ibduced by the Hermitian form. Any complex line $L$ in ${ \ivox{{\bf H}}^{2}_{\mathbb C}}$ is the projeccivisajion og a complex plane $P$ in ${\oathgb C}^3$, which ls orthogkval for the Hermktisn form to a linear subspace ${\mathbb C}t\subszt {\mathbc C}^3$. Jhe veceor $v$ is cwlled polar to $L$. As a cojsequgnce, aty ${\mathbb F}$-surface corresponds to a curve in the outsidg ox ${ \kbox{{\bf H}}^{2}_{\iathbn C}}$.

\[dualcurve\] Fow any ${\mathbb C}$-xurface $\Sigmx$, there expsts a cucve $\gamma: {\maehbb R}\longrigvjarrow {\mathbb C}P^2\setmigus \iveroine{{ \mbub{{\bf H}}^{2}_{\mathbb C}}}$ xuch that $$\Sigma = \uneerset{t\in{\mathbb R}}{\blgcup}\ezmma(t)^{\perp}$$

As seeu qbove, bisectors ard tre fmrst qfamples of ${\mdthbc C}$-rirfacds. In this gasd, thr real spine $\sigma$
can be found. The fact that the the polyhedron fails mean two things. discrete, the choice of basepoint is bad: gives a Dirichlet domain with a large number of faces (possibly even infinite see for instance [@GP2]). Since Mostow’s different techniques have been developed to produce fundamental domains. In particular different classes hypersurfaces been to faces of polyhedron. One natural idea is to generalise bisectors by replacing them by hypersurfaces that foliated by totally geodesic subspaces. This leads to notion of [*${\mathbb C}$-surface*]{} [*${\mathbb R}$-surface*]{}. These surfaces are diffeomorphic ${\mathbb R}\times H^{1}_{\mathbb or R}\times {\bold H^{2}_{\mathbb Examples of these were developed in [@FZ; @FJP; @FK; @FK1; @S; @S1; @S3; @Schbook; @Wi2; @Wi7]. The C}$-surfaces are to handle ${\mathbb because the duality between of complex lines in ${ \mbox{{\bf ${\mathbb C}P^2\setminus \overline{{ \mbox{{\bf H}}^{2}_{\mathbb C}}}$ induced by Hermitian form. complex line $L$ in ${ \mbox{{\bf C}}$ is the projectivisation of a complex plane in ${\mathbb C}^3$, which is orthogonal for the Hermitian form to a linear subspace ${\mathbb C}^3$. The vector $v$ called polar to As consequence, ${\mathbb corresponds to curve in the outside of ${ \mbox{{\bf H}}^{2}_{\mathbb C}}$. \[dualcurve\] For ${\mathbb C}$-surface $\Sigma$, there exists a curve $\gamma: {\mathbb R}\longrightarrow \overline{{ H}}^{2}_{\mathbb C}}}$ such $$\Sigma = \underset{t\in{\mathbb R}}{\bigcup}\gamma(t)^{\perp}$$ seen bisectors are the first ${\mathbb In real $\sigma$
 can be found. The fact that the cOnstructioN of thE caNdiDaTe poLyheDron fails can meAN two Things. Either the group is Not diScREte, oR ThE choiCe of the BAsEPOinT iS bAd: iT gIVeS a DirIchLet domaIn with a verY laRgE number of facES (pOssibly eveN inFinite see for InsTance [@Gp2]).

SIncE mostoW’s wOrk, diFferenT TechniQues have bEeN DeveloPEd to proDUCe FundAmental domains. In pARtICular different ClasseS oF HyPERsuRfaCes have beeN uSed to PRoduce fACeS OF PolYHedron. One natuRal idea is to GEneRalise BiSecTOrs by rEplacInG TheM by hypersurFaceS that are fOliateD By totalLY geodesIc subsPacEs. THis lEAdS tO thE nOTioN Of [*${\MatHBb C}$-Surface*]{} oR [*${\mAtHbb R}$-sUrfaCE*]{}. tHEse sUrfAces Are tyPically diffeoMorPhic TO ${\maThbb R}\Times {\Bold h^{1}_{\mAthbb c}}$ or ${\matHbb R}\tImEs {\bold H^{2}_{\mathbb R}}$. EXampLes of thesE weRe DevElOped iN [@fZ; @FJP; @Fk; @FK1; @s; @S1; @S3; @schbook; @wi2; @Wi7]. The ${\MAthBb c}$-SURfAces are somewhat easIeR TO hAndle thaN ${\mathbB r}$-sPhERes becauSe Of tHe duALIty beTweeN ThE GrasmanIan of cOMpLeX lines iN ${ \mBox{{\bf H}}^{2}_{\MaThbB C}}$ aNd ${\matHBb C}P^2\SetminUs \overliNe{{ \mboX{{\Bf H}}^{2}_{\mathbb C}}}$ induCEd by the HermitIAn FORm. aNy coMplEx line $L$ in ${ \mbOx{{\bf h}}^{2}_{\MathBb C}}$ iS ThE prOJectiVisatIoN Of A Complex plane $P$ in ${\mathBb c}^3$, which Is ortHogonal for the hermitian fORM To a lineaR subSPaCE ${\mathbb C}v\subseT {\mathBb C}^3$. The vectOR $v$ is callEd polAr to $L$. As a ConsequenCE, Any ${\mathbB C}$-sUrfAce CorRESpOnds to a curve iN THe ouTsIde of ${ \mbOx{{\bF H}}^{2}_{\mathbB C}}$.

\[dUalCurVe\] FOr Any ${\mathbb c}$-surface $\siGmA$, tHeRe eXists A Curve $\gamMa: {\MatHbB R}\lOngriGHtarroW {\mathBb C}P^2\SeTmINus \OverlinE{{ \MbOX{{\Bf H}}^{2}_{\mAtHbB C}}}$ suCh tHaT $$\SigmA = \undERseT{t\in{\matHbb R}}{\bigcuP}\gaMMa(t)^{\pErP}$$

AS seen abOve, bisectors aRe The first exAmPleS of ${\matHBB C}$-surfacEs. In this case, the real spinE $\Sigma$
 can be found. The fact th at the con struc tio n o fthecand idate polyhedr o n fa ils can mean two thing s. Ei th e r th e  g roupis notd is c r ete ,or  th ec ho ice o f t he base point is b ad:  i t gives a Di r ic hlet domai n w ith a very l arg e numb er  of faces  (p ossib ly eve n  infin ite see f or instan c e [@GP2 ] ) .
Sin ce Mostow’s work, di f ferent techniq ues ha ve be e n  de vel oped to pr od uce f u ndament a ld o m ain s . In particul ar differen t  cl assesof  hy p ersurf acesha v e b een used to  pro duce face s of p o lyhedro n . One n atural  id eais t o  g en era li s e b i se cto r s b y replac in gthemby h y p e r surf ace s th at ar e foliated by  to tall y  ge odesi c sub spac es . Thi s lead s toth e notion of [*$ {\ma thbb C}$- sur fa ce* ]{ } or[ *${\ma thb b R }$-surf ace*]{} .  Th es e s ur faces are typicall yd i ff eomorphi c to $ { \m at h bb R}\ti me s { \bol d H^{1} _{\m a th bb C}}$or ${\ m at hb b R}\ti me s {\bo ld  H^ {2} _{\ma t hbbR}}$.Examples  of t h ese were devel o ped in [@FZ;@ FJ P ;  @ F K; @ FK1 ; @S; @S1;@S3; @Sch book ;  @ Wi2 ;  @Wi7 ]. Th e$ {\ m athbb C}$-surfacesar e some whateasier to han dle than $ { \ m athbb R} $-sp h er e s because of t he du ality betw e en the G rasma nian ofcomplex l i n es in ${  \m box {{\ bfH } }^ {2}_{\mathbbC } }$ a nd  ${\mat hbb  C}P^2\ set min us\ov er line{{ \m box{{\bf  H }} ^{ 2} _{\ mathb b  C}}}$ i nd uce dbythe H e rmitia n for m. A ny  c o mpl ex line $L $ in $ {\m box{ {\b fH}}^{ 2}_{ \ mat hbb C}} $ is thepro j ecti vi sa tion of  a complex pl an e $P$ in $ {\ mat hbb C} ^ 3 $, which  is orthogonal for theH ermitia n f orm t o alinear su bsp ace ${ \ma t hbb C} v\subs et {\ ma thb b C}^3$ . Th e v ec tor $v$ is c all ed po la r to  $L$. A s a consequence, a n y $ {\mathbb C}$- sur face c or res p on d s t oa  cu r v e in the outsid e of ${ \m bo x {{ \bf H}}^{2 } _{\ ma thbb C} }$.

\[ dualc u rve\] F or any ${ \mathbb C }$ -sur f a ce$\Sigma$,there ex ists a cu r ve $\ g am ma: { \ma thbb R }\ lon grigh tarrow {\m athbb  C}P^2 \s etminu s \ov er line{{ \ mbox{{\bf H}}^{2}_{\mat hbb C} }}$ s uch  that $$\ Sig m a =  \underse t{t\ in{\mathbb  R} }{\ bigcu p}\ g amma( t)^{ \ pe rp} $ $

As  see n  above, b i se cto r s  a re the firs t e xam plesof$ {\math bb C }$-surfaces. In t h is case, the r eals p ine  $\ s igma $
 can_be found._The fact that the_construction of_the_candidate polyhedron_fails_can mean two_things. Either the_group is not discrete,_or the choice_of_the basepoint is bad: it gives a Dirichlet domain with a very large number_of_faces (possibly_even_infinite_see for instance [@GP2]).

Since Mostow’s_work, different techniques have been_developed to_produce fundamental domains. In particular different classes of_hypersurfaces_have been used_to produce faces of polyhedron. One natural idea is_to generalise bisectors by replacing them_by hypersurfaces that_are_foliated_by totally geodesic subspaces._This leads to the notion of_[*${\mathbb C}$-surface*]{} or [*${\mathbb R}$-surface*]{}. These_surfaces are typically diffeomorphic to ${\mathbb R}\times_{\bold H^{1}_{\mathbb C}}$ or ${\mathbb R}\times_{\bold H^{2}_{\mathbb R}}$. Examples of_these were_developed in [@FZ; @FJP; @FK;_@FK1; @S; @S1;_@S3; @Schbook;_@Wi2; @Wi7]. The_${\mathbb C}$-surfaces are somewhat easier to_handle than ${\mathbb_R}$-spheres because of the duality between_the_Grasmanian of complex_lines_in_${ \mbox{{\bf_H}}^{2}_{\mathbb C}}$ and_${\mathbb_C}P^2\setminus \overline{{_\mbox{{\bf_H}}^{2}_{\mathbb C}}}$ induced by the Hermitian_form._Any complex line $L$ in ${ \mbox{{\bf_H}}^{2}_{\mathbb C}}$ is the_projectivisation_of a complex plane_$P$ in ${\mathbb C}^3$, which_is orthogonal for the Hermitian form_to a_linear subspace_${\mathbb C}v\subset {\mathbb C}^3$. The vector $v$ is called polar to_$L$. As a consequence, any ${\mathbb_C}$-surface corresponds to a_curve in_the_outside of ${_\mbox{{\bf_H}}^{2}_{\mathbb C}}$.

\[dualcurve\]_For any ${\mathbb C}$-surface $\Sigma$, there exists_a curve_$\gamma: {\mathbb R}\longrightarrow {\mathbb C}P^2\setminus \overline{{_\mbox{{\bf H}}^{2}_{\mathbb C}}}$ such_that_$$\Sigma = \underset{t\in{\mathbb R}}{\bigcup}\gamma(t)^{\perp}$$

As seen above,_bisectors are the first examples of_${\mathbb C}$-surfaces. In this case,_the_real_spine $\sigma$