Denote by $\mathfrak{g}$  the Lie algebra of vector fields on $O\left(p\right)$  arising from the action of $G\left(M\right)$  , and let ${\mathfrak{l}}_p\subset \mathfrak{g}$  be a subspace consisting of all vector fields tangent to $M_p$  at $p$  . Since vector fields in ${\mathfrak{l}}_p$  remain tangent to $M_p$  at each point in $M_p$  , the subspace ${\mathfrak{l}}_p$  is in fact a Lie subalgebra of $\mathfrak{g}$  . It follows from the definition of ${\mathfrak{l}}_p$  that $dim{\mathfrak{l}}_p=n^2-2$  . Denote by $H_p$  the (possibly non-closed) connected subgroup of $G\left(M\right)$  with Lie algebra ${\mathfrak{l}}_p$  . It is straightforward to verify that the group $H_p$  acts on $M_p$  by holomorphic transformations and that $I_p^c\subset H_p$  . If some non-trivial element $g\in H_p$  acts trivially on $M_p$  , then $g\in I_p$  , and corresponds to the non-trivial element in ${\mathbb{Z}}_2$  (recall that $L_p\subset {\mathbb{Z}}_2\times U_{n-1}$  ). Thus, either $H_p$  or $H_p/{\mathbb{Z}}_2$  acts effectively on $M_p$  (the former case occurs if $g_p\notin H_p$  , the latter if $g_p\in H_p$  ). The group $L_p$  acts transitively on directions in the tangent space $V\cap iV$  to $M_p$  , and it follows from [GK] that $M_p$  is holomorphically equivalent to $B^{n-1}$  . Therefore, the group $Aut\left(M_p\right)$  is isomorphic to $Aut\left(B^{n-1}\right)$  (in particular, its dimension is A. V. Isaev $n^2-1$  ) and has a codimension 1 (possibly non-closed) subgroup. However, as we noted above, the Lie algebra of $Aut\left(B^{n-1}\right)$  does not have codimension 1 subalgebras, if $n\ge 3$  . Thus, $O\left(p\right)$  is strongly pseudoconvex. Hence, $L_p$  acts trivially on $W$  and therefore $L_p\subset U_{n-1}$  . Since $L_p^c=S{U}_{n-1}$  , the dimension of the stability group of $O\left(p\right)$  at $p$  is greater than or equal to $(n-1{)}^2-1$  , which for $n\ge 3$  implies that $p$  is an umbilic point of $O\left(p\right)$  (see e.g. [EzhI] ). The homogeneity of $O\left(p\right)$  now yields that $O\left(p\right)$  is spherical, if $n\ge 3$  . For $n=2$  the above argument shows that $O\left(p\right)$  is foliated by connected hyperbolic complex curves with automorphism group of dimension at least 2, that is, by complex curves holomorphically equivalent to $\Delta$  .

If $n=2$  , the orbit $O\left(p\right)$  is Levi non-degenerate and $I_p$  contains more than two elements, then arguing as in the proof of Lemma 3.3 of [IKru2] , we obtain that $O\left(p\right)$  is spherical. Alternatively, this fact can be derived from the classification in [C] .

Suppose now that $dimO\left(p\right)=2n-2$  . Since $T_p\left(M\right)=V+iV$  , the orbit $O\left(p\right)$  is not a complex hypersurface. Therefore, $r=n-2$  , which is only possible for $n=3$  (recall that either $r=1$  , or $r=n-1$  ). In this case $dim{L}_p=4$  and therefore, by Lemma 2.1 of [IKru1] , $L_p$  acts transitively on directions in the orthogonal complement $W$  to $V\cap iV$  in $T_p\left(M\right)$  . This is, however, impossible since $L_p$  must preserve $W\cap V$  .

Case 3. $T_p\left(M\right)=V\oplus iV$  .

In this case $dimV=n$  and $L_p$  can be embedded in the real orthogonal group $O_n(\mathbb{R})$  , and therefore $$dim{L}_p+dimO\left(p\right)\le \frac{n(n-1)}{2}+n.$$  Hence, for $n\ge 3$  , we have $dim{L}_p+dimO\left(p\right)<n^2-1$  which is impossible.

Assume now that $n=2$  . If $dim{L}_p=0$  , we get a contradiction as above.

Hence $dim{L}_p=1$  and $L_p^c=S{O}_2(\mathbb{R})$  .

The proof of the proposition is complete. $\square$  Automorphism Groups of Hyperbolic Manifolds

2 Real Hypersurface Orbits

In this section we will deal with real hypersurface orbits and eventually show that they do not occur. Our goal is to prove the following proposition.

Proposition 2.1 Let $M$  be a connected hyperbolic manifold of dimension $n\ge 3$  with $d\left(M\right)=n^2-1$  . Then no orbit in $M$  is a real hypersurface.

Proof: Recall that every real hypersurface orbit is spherical. First, we narrow down the class of all possible spherical orbits.

Lemma 2.2 Let $M$  be a connected hyperbolic manifold of dimension $n\ge 3$  with $d\left(M\right)=n^2-1$  . Assume that for a point $p\in M$  its orbit $O\left(p\right)$  is spherical. Then $O\left(p\right)$  is $CR$  -equivalent to one of the following hypersurfaces:

A. V. Isaev

$$\begin{array}{c}\begin{array}{cc}\mathit{(}\mathit{i}\mathit{)}& \mathit{a}\mathit{l}\mathit{e}\mathit{n}\mathit{s}\mathit{m}\mathit{a}\mathit{n}\mathit{i}\mathit{f}\mathit{o}\mathit{l}\mathit{d}{\mathcal{ℒ}}_m:=S^{2n-1}/{\mathbb{Z}}_m\mathit{f}\mathit{o}\mathit{r}\mathit{s}\mathit{o}\mathit{m}\mathit{e}m\in \mathbb{N},\\ \mathit{(}\mathit{i}\mathit{i}\mathit{)}& \sigma :=\left\{(z^{\prime },z_n)\in {\mathbb{C}}^{n-1}\times \mathbb{C}:\mathit{R}\mathit{e}{z}_n=|z^{\prime }{|}^2\right\},\\ \mathit{(}\mathit{i}\mathit{i}\mathit{i}\mathit{)}& \delta :=\left\{(z^{\prime },z_n)\in {\mathbb{C}}^{n-1}\times \mathbb{C}:\left|z_n\right|=exp\left(|z^{\prime }{|}^2\right)\right\}.\end{array}\end{array}$$

(2.1)

Proof of Lemma  2.2 : The proof is similar to that of Proposition 3.1 of [I] .

For a connected Levi non-degenerate $CR$  -manifold $Q$  denote by $Au{t}_{CR}\left(Q\right)$  the Lie group of its $CR$  -automorphisms. Let $\tilde{O}\left(p\right)$  be the universal cover of $O\left(p\right)$  . The connected component of the identity $Au{t}_{CR}^c\left(O\right(p\left)\right)$  of $Au{t}_{CR}\left(O\right(p\left)\right)$  acts transitively on $O\left(p\right)$  and therefore its universal cover $\widetilde{Au{t}_{CR}^c}\left(O\right(p\left)\right)$  acts transitively on $\tilde{O}\left(p\right)$  . Let $G$  be the (possibly non-closed) subgroup of $Au{t}_{CR}\left(\tilde{O}\right(p\left)\right)$  that consists of all $CR$  -automorphisms of $\tilde{O}\left(p\right)$  generated by this action. Observe that $G$  is a Lie group isomorphic to the factor-group of $\widetilde{Au{t}_{CR}^c}\left(O\right(p\left)\right)$  by a discrete central subgroup. Let $\Gamma \subset Au{t}_{CR}\left(\tilde{O}\right(p\left)\right)$  be the discrete subgroup whose orbits are the fibers of the covering $\tilde{O}\left(p\right)\to O\left(p\right)$  . The group $\Gamma$  acts freely properly discontinuously on $\tilde{O}\left(p\right)$  , lies in the centralizer of $G$  in $Au{t}_{CR}\left(\tilde{O}\right(p\left)\right)$  and is isomorphic to $H/H^c$  , with $H={\pi }^{-1}\left(I_p\right)$  , where $\pi :\widetilde{Au{t}_{CR}^c}\left(O\right(p\left)\right)\to Au{t}_{CR}^c\left(O\right(p\left)\right)$  is the covering map.

The manifold $\tilde{O}\left(p\right)$  is spherical, and there is a local $CR$  -isomorphism $\Pi$  from $\tilde{O}\left(p\right)$  onto a domain $D\subset S^{2n-1}$  . By Proposition 1.4 of [BS] , $\Pi$  is a covering map. Further, for every $f\in Au{t}_{CR}\left(\tilde{O}\right(p\left)\right)$  there is $g\in Aut\left(D\right)$  such that Automorphism Groups of Hyperbolic Manifolds

$$\begin{array}{c}g\circ \Pi =\Pi \circ f.\end{array}$$

(2.2)

Since $\tilde{O}\left(p\right)$  is homogeneous, ( 2.2 ) implies that $D$  is homogeneous as well, and $dimAu{t}_{CR}\left(\tilde{O}\right(p\left)\right)=dimAu{t}_{CR}\left(D\right)$  .

Clearly, $dimAu{t}_{CR}\left(O\right(p\left)\right)\ge n^2-1$  and therefore we have $dimAu{t}_{CR}\left(D\right)\ge n^2-1$  . All homogeneous domains in $S^{2n-1}$  are listed in Theorem 3.1 in [BS] .

It is not difficult to exclude from this list all the domains with automorphism group of dimension less than $n^2-1$  . This gives that $D$  is $CR$  -equivalent to one of the following domains:

$$\begin{array}{cc}(a)& S^{2n-1},\end{array}$$

$$\begin{array}{cc}(b)& S^{2n-1}\backslash \{point\},\end{array}$$

$$\begin{array}{cc}(c)& S^{2n-1}\backslash \{z_n=0\}.\end{array}$$

Thus, $\tilde{O}\left(p\right)$  is respectively one of the following manifolds:

$$\begin{array}{cc}(a)& S^{2n-1},\end{array}$$

$$\begin{array}{cc}(b)& \sigma ,\end{array}$$

$$\begin{array}{cc}(c)& \omega :=\left\{(z^{\prime },z_n)\in {\mathbb{C}}^{n-1}\times \mathbb{C}:|z^{\prime }{|}^2+exp\left(Re{z}_n\right)=1\right\},\end{array}$$

If $\tilde{O}\left(p\right)=S^{2n-1}$  , then by Proposition 5.1 of [BS] the orbit $O\left(p\right)$  is $CR$  -equivalent to a lens manifold as in (i) of ( 2.1 ).

Suppose next that $\tilde{O}\left(p\right)=\sigma$  . The group $Au{t}_{CR}\left(\sigma \right)$  consists of all maps of the form A. V. Isaev

$$\begin{array}{c}\begin{array}{ccc}{z}^{\prime }& \mapsto & \lambda U{z}^{\prime }+a,\\ z_n& \mapsto & {\lambda }^2{z}_n+2\lambda \langle U{z}^{\prime },a\rangle +|a{|}^2+i\alpha ,\end{array}\end{array}$$

(2.3)

where $U\in U_{n-1}$  , $a\in {\mathbb{C}}^{n-1}$  , $\lambda >0$  , $\alpha \in \mathbb{R}$  , and $\langle \cdot ,\cdot \rangle$  is the inner product in ${\mathbb{C}}^{n-1}$  . It then follows that $Au{t}_{CR}\left(\sigma \right)=C{U}_{n-1}\mathbb{⋉}N$  , where $C{U}_{n-1}$  consists of all maps of the form ( 2.3 ) with $a=0$  , $\alpha =0$  , and $N$  is the Heisenberg group consisting of the maps of the form ( 2.3 ) with $U=id$  and $\lambda =1$  .

Further, description ( 2.3 ) implies that $dimAu{t}_{CR}\left(\sigma \right)=n^2+1$  , and therefore $n^2-1\le dimG\le n^2+1$  . If $dimG=n^2+1$  , then we have $G=Au{t}_{CR}\left(\sigma \right)$  , and hence $\Gamma$  is a central subgroup of $Au{t}_{CR}\left(\sigma \right)$  . Since the center of $Au{t}_{CR}\left(\sigma \right)$  is trivial, so is $\Gamma$  . Thus, in this case $O\left(p\right)$  is $CR$  -equivalent to the hypersurface $\sigma$  .

Assume now that $n^2-1\le dimG\le n^2$  . Since $G$  acts transitively on $\sigma$  , we have $N\subset G$  . Furthermore, since $G$  is of codimension 1 or 2 in $Au{t}_{CR}\left(\sigma \right)$  , it either contains the subgroup $S{U}_{n-1}\mathbb{⋉}N$  , or $n=3$  and $G$  contains a subgroup of the form $L\mathbb{⋉}N$  , where $L$  is conjugate to $U_1\times U_1$  in $U_2$  . By Proposition 5.6 of [BS] , we have $\Gamma \subset U_{n-1}\mathbb{⋉}N$  . The centralizer of $S{U}_{n-1}\mathbb{⋉}N$  in $U_{n-1}\mathbb{⋉}N$  and that of $L\mathbb{⋉}N$  in $U_2\mathbb{⋉}N$  consist of all maps of the form Automorphism Groups of Hyperbolic Manifolds

$$\begin{array}{c}\begin{array}{ccc}{z}^{\prime }& \mapsto & z^{\prime },\\ z_n& \mapsto & z_n+i\alpha ,\end{array}\end{array}$$

(2.4)

where $\alpha \in \mathbb{R}$  . Since $\Gamma$  acts freely properly discontinuously on $\sigma$  , it is generated by a single map of the form ( 2.4 ) with $\alpha ={\alpha }_0\in {\mathbb{R}}^{*}$  . The hypersurface $\sigma$  covers the hypersurface A. V. Isaev

$$\begin{array}{c}\left\{(z^{\prime },z_n)\in {\mathbb{C}}^{n-1}\times \mathbb{C}:\left|z_n\right|=exp\left(\frac{2\pi }{{\alpha }_0}|z^{\prime }{|}^2\right)\right\}\end{array}$$

(2.5)

by means of the map Automorphism Groups of Hyperbolic Manifolds

$$\begin{array}{c}\begin{array}{ccc}{z}^{\prime }& \mapsto & z^{\prime },\\ z_n& \mapsto & exp\left(\frac{2\pi }{{\alpha }_0}{z}_n\right),\end{array}\end{array}$$

(2.6)

and the fibers of this map are the orbits of $\Gamma$  . Hence $O\left(p\right)$  is $CR$  -equivalent to hypersurface ( 2.5 ). Replacing if necessary $z_n$  by $1/z_n$  we obtain that $O\left(p\right)$  is $CR$  -equivalent to the hypersurface $\delta$  .

Suppose finally that $\tilde{O}\left(p\right)=\omega$  . First, we will determine the group $Au{t}_{CR}\left(\omega \right)$  . The general form of a $CR$  -automorphism of $S^{2n-1}\backslash \{z_n=0\}$  is given by formula

$$\begin{array}{ccc}{z}^{\prime }& \mapsto & \frac{A{z}^{\prime }+b}{c{z}^{\prime }+d},\end{array}$$

$$\begin{array}{ccc}{z}_n& \mapsto & \frac{e^{i\beta }{z}_n}{c{z}^{\prime }+d},\end{array}$$

where $$\left(\begin{array}{cc}A& b\\ c& d\end{array}\right)\in S{U}_{n-1,1},\beta \in \mathbb{R},$$  and the covering map $\Pi$  by the formula

$$\begin{array}{c}{z}^{\prime }\mapsto z^{\prime },\end{array}$$

$$\begin{array}{c}{z}_n\mapsto exp\left(\frac{z_n}{2}\right).\end{array}$$

Using ( 2.2 ) we then obtain the general form of a $CR$  -automorphism of $\omega$  as follows A. V. Isaev

$$\begin{array}{c}\begin{array}{ccc}{z}^{\prime }& \mapsto & \frac{A{z}^{\prime }+b}{c{z}^{\prime }+d},\\ & & \\ z_n& \mapsto & z_n-ln(c{z}^{\prime }+d{)}^2+i\beta ,\end{array}\end{array}$$

(2.7)

where $$\left(\begin{array}{cc}A& b\\ c& d\end{array}\right)\in S{U}_{n-1,1},\beta \in \mathbb{R}.$$  In particular, $Au{t}_{CR}\left(\omega \right)$  is a connected group of dimension $n^2$  , and therefore $n^2-1\le dimG\le n^2$  .

Assume first that $dimG=n^2$  . Then $G=Au{t}_{CR}\left(\omega \right)$  . Hence $\Gamma$  is a central subgroup of $Au{t}_{CR}\left(\omega \right)$  . It follows from formula ( 2.7 ) that the center of $Au{t}_{CR}\left(\omega \right)$  consists of all maps of the form ( 2.4 ). Hence $\Gamma$  is generated by a single such map with $\alpha ={\alpha }_0\in \mathbb{R}$  . If ${\alpha }_0=0$  , the orbit $O\left(p\right)$  is $CR$  -equivalent to $\omega$  . However, it follows from ( 2.7 ) that there does not exist a codimension 1 subgroup of $Au{t}_{CR}\left(\omega \right)$  that acts transitively on $\omega$  . Therefore, $O\left(p\right)$  cannot be equivalent to $\omega$  .

Let ${\alpha }_0\ne 0$  . The hypersurface $\omega$  covers the hypersurface Automorphism Groups of Hyperbolic Manifolds

$$\begin{array}{c}\left\{(z^{\prime },z_n)\in {\mathbb{C}}^{n-1}\times \mathbb{C}:|z^{\prime }{|}^2+|z_n{|}^{\frac{{\alpha }_0}{2\pi }}=1,z_n\ne 0\right\}\end{array}$$

(2.8)

by means of map ( 2.6 ). Since the fibers of this map are the orbits of $\Gamma$  , it follows that $O\left(p\right)$  is $CR$  -equivalent to hypersurface ( 2.8 ). Replacing if necessary $z_n$  by $1/z_n$  , we obtain that $O\left(p\right)$  is $CR$  -equivalent to the hypersurface $${\varepsilon }_{\alpha }:=\left\{(z^{\prime },z_n)\in {\mathbb{C}}^{n-1}\times \mathbb{C}:|z^{\prime }{|}^2+|z_n{|}^{\alpha }=1,z_n\ne 0\right\},$$  for some $\alpha >0$  . The group $Au{t}_{CR}\left({\varepsilon }_{\alpha }\right)$  consists of all maps of the form

$$\begin{array}{ccc}{z}^{\prime }& \mapsto & \frac{A{z}^{\prime }+b}{c{z}^{\prime }+d},\end{array}$$

$$\begin{array}{ccc}{z}_n& \mapsto & \frac{e^{i\beta }{z}_n}{(c{z}^{\prime }+d{)}^{2/\alpha }},\end{array}$$

where $$\left(\begin{array}{cc}A& b\\ c& d\end{array}\right)\in S{U}_{n-1,1},\beta \in \mathbb{R},$$  and, as before, does not have codimension 1 subgroups acting transitively on ${\varepsilon }_{\alpha }$  . Therefore, $O\left(p\right)$  cannot be equivalent to ${\varepsilon }_{\alpha }$  .

Assume now that $dimG=n^2-1$  . In this case $G$  is of codimension 1 in $Au{t}_{CR}\left(\omega \right)$  and, as we noted above, cannot act transitively on $\omega$  .

The proof of Lemma  2.2 is complete. $\square$ 

Remark 2.3 For $n=2$  there is an additional possibility for $D$  that has to be taken into the account. Namely, $S^3\backslash {\mathbb{R}}^2$  has a 3-dimensional automorphism group arising from the natural transitive action of $O_{2,1}^c(\mathbb{R})$  by fractional-linear transformations (see Section  5 ).

A. V. Isaev We will now show that in most cases the presence of a spherical orbit of a particular kind in $M$  determines the group $G\left(M\right)$  as a Lie group. Suppose that for some $p\in M$  the orbit $O\left(p\right)$  is spherical, and let $\mathfrak{m}$  be the manifold from list ( 2.1 ) to which $O\left(p\right)$  is $CR$  -equivalent (we say that $\mathfrak{m}$  is the model of $O\left(p\right)$  ). Since $G\left(M\right)$  acts effectively on $O\left(p\right)$  , the $CR$  -equivalence induces an isomorphism between $G\left(M\right)$  and a (possibly non-closed) connected $(n^2-1)$  -dimensional subgroup $R_{\mathfrak{m}}$  of $Au{t}_{CR}(\mathfrak{m})$  .

We will need the following lemma.

Lemma 2.4 (i) $R_{S^{2n-1}}$  is conjugate to $S{U}_n$  in $\mathit{A}\mathit{u}\mathit{t}\left(B^n\right)$  , and $R_{{\mathcal{ℒ}}_m}=S{U}_n/(S{U}_n\cap {\mathbb{Z}}_m)$  for $m>1$  ; (ii) $R_{\sigma }=S{U}_{n-1}\mathbb{⋉}N$  ; (iii) $R_{\delta }$  consists of all maps of the form

$$\begin{array}{ccc}{z}^{\prime }& \mapsto & U{z}^{\prime }+a,\end{array}$$

$$\begin{array}{ccc}{z}_n& \mapsto & e^{i\beta }exp\left(2\langle U{z}^{\prime },a\rangle +|a{|}^2\right)z_n,\end{array}$$

where $U\in S{U}_{n-1}$  , $a\in {\mathbb{C}}^{n-1}$  , $\beta \in \mathbb{R}$  .

Proof of Lemma  2.4 : Suppose first that $\mathfrak{m}={\mathcal{ℒ}}_m$  , for some $m\in \mathbb{N}$  . Then $O\left(p\right)$  is compact and, since $I_p$  is compact as well, it follows that $G\left(M\right)$  is compact. Assume first that $m=1$  . In this case $R_{S^{2n-1}}$  is a subgroup of $Au{t}_{CR}\left(S^{2n-1}\right)=Aut\left(B^n\right)$  . Since $R_{S^{2n-1}}$  is compact, it is conjugate to a subgroup of $U_n$  , which is a maximal compact subgroup in $Aut\left(B^n\right)$  . Since both $R_{S^{2n-1}}$  is $(n^2-1)$  -dimensional, it is conjugate to $S{U}_n$  . Suppose now that $m>1$  . It is straightforward to determine the group $Au{t}_{CR}\left({\mathcal{ℒ}}_m\right)$  by lifting $CR$  -automorphisms of ${\mathcal{ℒ}}_m$  to its universal cover $S^{2n-1}$  . This group is $U_n/{\mathbb{Z}}_m$  acting on ${\mathbb{C}}^n\backslash \left\{0\right\}/{\mathbb{Z}}_m$  in the standard way. Since $R_{{\mathcal{ℒ}}_m}$  is of codimension 1 in $Au{t}_{CR}\left({\mathcal{ℒ}}_m\right)$  , we obtain $R_{{\mathcal{ℒ}}_m}=S{U}_n/(S{U}_n\cap {\mathbb{Z}}_m)$  .

Assume now that $\mathfrak{m}=\sigma$  . The group $Au{t}_{CR}\left(\sigma \right)$  consists of all maps of the form ( 2.3 ) and has dimension $n^2+1$  . Since $R_{\sigma }$  acts transitively on $\sigma$  , it contains the subgroup $N$  (see the proof of Proposition  2.2 ). Furthermore, $R_{\sigma }$  is a codimension 2 subgroup of $Au{t}_{CR}\left(\sigma \right)$  , and thus either is the group $S{U}_{n-1}\mathbb{⋉}N$  , or, for $n=3$  , contains a subgroup $L\mathbb{⋉}N$  , where $L$  is conjugate to $U_1\times U_1$  in $U_2$  . By (ii) of Proposition  1.1 , $I_p^c$  is isomorphic to $S{U}_{n-1}$  , hence the latter case in fact does not occur. Automorphism Groups of Hyperbolic Manifolds Next, the group $Au{t}_{CR}\left(\delta \right)$  can be determined by considering the universal cover of $\delta$  (see the proof of Proposition  2.2 ) and consists of all maps of the form A. V. Isaev

$$\begin{array}{c}\begin{array}{ccc}{z}^{\prime }& \mapsto & U{z}^{\prime }+a,\\ z_n& \mapsto & e^{i\beta }exp\left(2\langle U{z}^{\prime },a\rangle +|a{|}^2\right)z_n,\end{array}\end{array}$$

(2.9)

where $U\in U_{n-1}$  , $a\in {\mathbb{C}}^{n-1}$  , $\beta \in \mathbb{R}$  . This group has dimension $n^2$  , and hence $R_{\delta }$  is of codimension 1 in $Au{t}_{CR}\left(\delta \right)$  . Since $R_{\delta }$  acts transitively on $\delta$  , it consists of all maps of the form ( 2.9 ) with $U\in S{U}_{n-1}$  .

The proof of Lemma  2.4 is complete. $\square$  We will now finish the proof of Proposition  2.1 . Our argument is similar to that in Section 4 of [I] . For completeness of our exposition, we will repeat it here in detail.

Suppose that for some $p\in M$  the orbit $O\left(p\right)$  is $CR$  -equivalent to a lens manifold ${\mathcal{ℒ}}_m$  . In this case $G\left(M\right)$  is compact, hence there are no complex hypersurface orbits and the model of every orbit is a lens manifold. Assume first that $m=1$  . Then $M$  admits an effective action of $S{U}_n$  by holomorphic transformations and therefore is holomorphically equivalent to one of the manifolds listed in [IKru2] . However, none of the manifolds on the list in [IKru2] with $n\ge 3$  is hyperbolic and has $(n^2-1)$  -dimensional automorphism group.

Assume now that $m>1$  . Let $f:O\left(p\right)\to {\mathcal{ℒ}}_m$  be a $CR$  -isomorphism.

Then we have Automorphism Groups of Hyperbolic Manifolds

$$\begin{array}{c}f\left(gq\right)=\phi \left(g\right)f\left(q\right),\end{array}$$

(2.10)

where $q\in O\left(p\right)$  , for some Lie group isomorphism $\phi :G\left(M\right)\to S{U}_n/(S{U}_n\cap {\mathbb{Z}}_m)$  . The $CR$  -isomorphism $f$  extends to a biholomorphic map from a neighborhood $U$  of $O\left(p\right)$  in $M$  onto a neighborhood $W$  of ${\mathcal{ℒ}}_m$  in ${\mathbb{C}}^n\backslash \left\{0\right\}/{\mathbb{Z}}_m$  . Since $G\left(M\right)$  is compact, one can choose $U$  to be a connected union of $G\left(M\right)$  -orbits. Then property ( 2.10 ) holds for the extended map, and therefore every $G\left(M\right)$  -orbit in $U$  is taken onto an $S{U}_n/(S{U}_n\cap {\mathbb{Z}}_m)$  -orbit in ${\mathbb{C}}^n\backslash \left\{0\right\}/{\mathbb{Z}}_m$  by this map.

Thus, $W=S_r^R/{\mathbb{Z}}_m$  for some $0\le r<R<\infty$  , where $S_r^R:=\left\{z\in {\mathbb{C}}^n:r<\left|z\right|<R\right\}$  is a spherical shell.

Let $D$  be a maximal domain in $M$  such that there exists a biholomorphic map $f$  from $D$  onto $S_r^R/{\mathbb{Z}}_m$  for some $r,R$  , satisfying ( 2.10 ) for all $g\in G\left(M\right)$  and $q\in D$  . As was shown above, such a domain $D$  exists. Assume that $D\ne M$  and let $x$  be a boundary point of $D$  . Consider the orbit $O\left(x\right)$  . Let ${\mathcal{ℒ}}_k$  for some $k>1$  be the model for $O\left(x\right)$  and $f_1:O\left(x\right)\to {\mathcal{ℒ}}_k$  a $CR$  -isomorphism satisfying ( 2.10 ) for $g\in G\left(M\right)$  , $q\in O\left(x\right)$  and an isomorphism $\psi :G\left(M\right)\to S{U}_n/(S{U}_n\cap {\mathbb{Z}}_k)$  in place of $\phi$  . The map $f_1$  can be holomorphically extended to a neighborhood $V$  of $O\left(x\right)$  that one can choose to be a connected union of $G\left(M\right)$  -orbits. The extended map satisfies ( 2.10 ) for $g\in G\left(M\right)$  , $q\in V$  and $\psi$  in place of $\phi$  . For $s\in V\cap D$  we consider the orbit $O\left(s\right)$  . The maps $f$  and $f_1$  take $O\left(s\right)$  into some surfaces $r_1{S}^{2n-1}/{\mathbb{Z}}_m$  and $r_2{S}^{2n-1}/{\mathbb{Z}}_k$  , respectively, with $r_1,r_2>0$  . Hence $F:=f_1\circ f^{-1}$  maps $r_1{S}^{2n-1}/{\mathbb{Z}}_m$  onto $r_2{S}^{2n-1}/{\mathbb{Z}}_k$  .

Since ${\mathcal{ℒ}}_m$  and ${\mathcal{ℒ}}_k$  are not $CR$  -equivalent for distinct $m$  , $k$  , we obtain $k=m$  .

Furthermore, every $CR$  -isomorphism between $r_1{S}^{2n-1}/{\mathbb{Z}}_m$  and $r_2{S}^{2n-1}/{\mathbb{Z}}_m$  has the form $\left[z\right]\mapsto [r_2/r_{1}Uz]$  , where $U\in U_n$  , and $\left[z\right]\in {\mathbb{C}}^n\backslash \left\{0\right\}/{\mathbb{Z}}_m$  denotes the equivalence class of a point $z\in {\mathbb{C}}^n\backslash \left\{0\right\}$  . Therefore, $F$  extends to a holomorphic automorphism of ${\mathbb{C}}^n\backslash \left\{0\right\}/{\mathbb{Z}}_m$  .

We claim that $V$  can be chosen so that $D\cap V$  is connected and $V\backslash (D\cup O(x\left)\right)\ne \varnothing$  . Indeed, since $O\left(x\right)$  is strongly pseudoconvex and closed in $M$  , for $V$  small enough we have $V=V_1\cup V_2\cup O\left(x\right)$  , where $V_j$  are open connected non-intersecting sets. For each $j$  , $D\cap V_j$  is a union of $G\left(M\right)$  -orbits and therefore is mapped by $f$  onto a union of the quotients of some spherical shells. If there are more than one such factored shells, then there is a factored shell with closure disjoint from $O\left(x\right)$  and hence $D$  is disconnected which contradicts the definition of $D$  . Thus, $D\cap V_j$  is connected A. V. Isaev for $j=1,2$  , and, if $V$  is sufficiently small, then each $V_j$  is either a subset of $D$  or is disjoint from it. If $V_j\subset D$  for $j=1,2$  , then $M=D\cup V$  is compact, which is impossible since $M$  is hyperbolic and $d\left(M\right)>0$  . Therefore, for some $V$  there is only one $j$  for which $D\cap V_j\ne \varnothing$  . Thus, $D\cap V$  is connected and $V\backslash (D\cup O(x\left)\right)\ne \varnothing$  , as required. Setting now Automorphism Groups of Hyperbolic Manifolds

$$\begin{array}{c}\tilde{f}:=\{\begin{array}{c}fonD\\ f_1\circ F^{-1}onV,\end{array}\end{array}$$

(2.11)

we obtain a biholomorphic extension of $f$  to $D\cup V$  . By construction, $\tilde{f}$  satisfies ( 2.10 ) for $g\in G\left(M\right)$  and $q\in D\cup V$  . Since $D\cup V$  is strictly larger than $D$  , we obtain a contradiction with the maximality of $D$  . Thus, we have shown that in fact $D=M$  , and hence $M$  is holomorphically equivalent to $S_{r/R}/{\mathbb{Z}}_m$  . However, in this case $d\left(M\right)=n^2$  , which is impossible.

The orbit gluing procedure utilized above can in fact be applied in a very general setting. We will now describe it in full generality (see also [I] ), assuming that every orbit in $M$  is a real hypersurface. The procedure comprises the following steps:

(1). Start with a real hypersurface orbit $O\left(p\right)$  with a model $\mathfrak{m}$  and consider a real-analytic $CR$  -isomorphism $f:O\left(p\right)\to \mathfrak{m}$  that satisfies ( 2.10 ) for all $g\in G\left(M\right)$  and $q\in O\left(p\right)$  , where $\phi :G\left(M\right)\to R_{\mathfrak{m}}$  is a Lie group isomorphism.

(2). Verify that $R_{\mathfrak{m}}$  acts by holomorphic transformations with real hypersurface orbits on a domain $\mathcal{D}\subset {\mathbb{C}}^n$  that contains $\mathfrak{m}$  .

(3). Observe that $f$  can be extended to a biholomorphic map from a $G\left(M\right)$  -invariant connected neighborhood of $O\left(p\right)$  in $M$  onto an $R_{\mathfrak{m}}$  -invariant neighborhood of $\mathfrak{m}$  in $\mathcal{D}$  . First of all, extend $f$  to some neighborhood $U$  of $O\left(p\right)$  to a biholomorphic map onto a neighborhood $W$  of $\mathfrak{m}$  in ${\mathbb{C}}^n$  . Let $W^{\prime }=W\cap \mathcal{D}$  and $U^{\prime }=f^{-1}\left(W^{\prime }\right)$  . Fix $s\in U^{\prime }$  and $s_0\in O\left(s\right)$  . Choose $h_0\in G\left(M\right)$  such that $s_0=h_{0}s$  and define $f\left(s_0\right):=\phi \left(h_0\right)f\left(s\right)$  . To see that $f$  is well-defined at $s_0$  , suppose that for some $h_1\in G\left(M\right)$  , $h_1\ne h_0$  , we have $s_0=h_{1}s$  , and show that $\phi \left(h\right)$  fixes $f\left(s\right)$  , where $h:=h_1^{-1}{h}_0$  . Indeed, for every $g\in G\left(M\right)$  identity ( 2.10 ) holds for $q\in U_g$  , where $U_g:=g^{-1}\left(U^{\prime }\right)\cap U^{\prime }$  . Since $h\in I_s$  , we have $s\in U_h$  and the application of ( 2.10 ) to $h$  and $s$  yields that $\phi \left(h\right)$  fixes $f\left(s\right)$  , as required. Thus, $f$  extends to $U^{\prime \prime }:={\cup }_{q\in U^{\prime }}O\left(q\right)$  . The extended map satisfies ( 2.10 ) for all $g\in G\left(M\right)$  and $q\in U^{\prime \prime }$  .

A. V. Isaev (4). Consider a maximal $G\left(M\right)$  -invariant domain $D\subset M$  from which there exists a biholomorphic map $f$  onto an $R_{\mathfrak{m}}$  -invariant domain in $\mathcal{D}$  satisfying ( 2.10 ) for all $g\in G\left(M\right)$  and $q\in D$  . The existence of such a domain is guaranteed by the previous step. Assume that $D\ne M$  and consider $x\in \partial D$  .

Let ${\mathfrak{m}}_1$  be the model for $O\left(x\right)$  and let $f_1:O\left(x\right)\to {\mathfrak{m}}_1$  be a real-analytic $CR$  -isomorphism satisfying ( 2.10 ) for all $g\in G\left(M\right)$  , $q\in O\left(x\right)$  and some Lie group isomorphism $\psi :G\left(M\right)\to R_{{\mathfrak{m}}_1}$  in place of $\phi$  . Let ${\mathcal{D}}_1$  be the domain in ${\mathbb{C}}^n$  containing ${\mathfrak{m}}_1$  on which $R_{{\mathfrak{m}}_1}$  acts by holomorphic transformations with real hypersurface orbits. As in (3), extend $f_1$  to a biholomorphic map from a connected $G\left(M\right)$  -invariant neighborhood $V$  of $O\left(x\right)$  onto an $R_{{\mathfrak{m}}_1}$  -invariant neighborhood of ${\mathfrak{m}}_1$  in ${\mathcal{D}}_1$  . The extended map satisfies ( 2.10 ) for all $g\in G\left(M\right)$  , $q\in V$  and $\psi$  in place of $\phi$  . Consider $s\in V\cap D$  . The maps $f$  and $f_1$  take $O\left(s\right)$  onto an $R_{\mathfrak{m}}$  -orbit in $\mathcal{D}$  and an $R_{{\mathfrak{m}}_1}$  -orbit in ${\mathcal{D}}_1$  , respectively. Then $F:=f_1\circ f^{-1}$  maps the $R_{\mathfrak{m}}$  -orbit onto the $R_{{\mathfrak{m}}_1}$  -orbit.

Since all models are pairwise $CR$  non-equivalent, we obtain ${\mathfrak{m}}_1=\mathfrak{m}$  .

(5). Show that $F$  extends to a holomorphic automorphism of $\mathcal{D}$  . For spherical $\mathfrak{m}$  this will follow from the fact that $F$  maps an $R_{\mathfrak{m}}$  -orbit onto an $R_{\mathfrak{m}}$  -orbit, for Levi-flat $\mathfrak{m}$  a slightly more detailed analysis will be required.

(6). Show that $V$  can be chosen so that $D\cap V$  is connected and $V\backslash (D\cup O(x\left)\right)\ne \varnothing$  . This follows from the hyperbolicity of $M$  and the existence of a neighborhood $V^{\prime }$  of $O\left(x\right)$  such that $V^{\prime }=V_1\cup V_2\cup O\left(x\right)$  , where $V_j$  are open connected non-intersecting sets. The existence of such $V^{\prime }$  follows from the strong pseudoconvexity of $\mathfrak{m}$  .

(7). Use formula ( 2.11 ) to extend $f$  to $D\cup V$  thus obtaining a contradiction with the maximality of $D$  . This shows that in fact $D=M$  and hence $M$  is biholomorphically equivalent to an $R_{\mathfrak{m}}$  -invariant domain in $\mathcal{D}$  . In all the cases below the determination of $R_{\mathfrak{m}}$  -invariant domains will be straightforward, and a classification of manifolds $M$  not containing complex hypersurface orbits will follow.

We will show now that if the model of some orbit $O\left(p\right)$  in $M$  is either $\sigma$  or $\delta$  , then there are no complex hypersurface orbits in $M$  . Suppose first that the model of $O\left(p\right)$  is $\sigma$  . Then by Proposition  2.4 , the group $G\left(M\right)$  is isomorphic to $S{U}_{n-1}\mathbb{⋉}N$  . On the other hand, it follows from (iii) of Proposition  1.1 that if there is a complex hypersurface orbit in $M$  , then $G\left(M\right)$  contains a Automorphism Groups of Hyperbolic Manifolds subgroup isomorphic to $U_{n-1}$  , which is impossible.

Suppose now that the model of $O\left(p\right)$  is $\delta$  . Then by Proposition  2.4 the group $G\left(M\right)$  is isomorphic to $R_{\delta }$  . Therefore, the maximal compact subgroup of $G\left(M\right)$  is isomorphic to $U_1\times S{U}_{n-1}$  . Suppose that for some $q\in M$  the orbit $O\left(p\right)$  is a complex hypersurface in $M$  . Then $dim{I}_q=n^2-2n+1$  . Since $I_q$  is compact, it is isomorphic to a subgroup of $U_1\times S{U}_{n-1}$  , which implies that $I_q$  is in fact isomorphic to $U_1\times S{U}_{n-1}$  . On the other hand, by (iii) of Proposition  1.1 , $I_q$  is isomorphic to $U_{n-1}$  , which is again impossible. Thus, we have shown that if a spherical orbit is present in $M$  , there are no complex hypersurface orbits.

We will now use our orbit gluing procedure for the remaining models.

Suppose first that $\mathfrak{m}=\sigma$  . Denote by $G_{\sigma }$  the group of all maps of the form ( 2.3 ). Since $G_{\sigma }$  acts with real hypersurface orbits on all of ${\mathbb{C}}^n$  and $R_{\sigma }\subset G_{\sigma }$  contains $N$  , the group $R_{\sigma }$  acts with real hypersurface orbits on all of ${\mathbb{C}}^n$  , so in this case $\mathcal{D}={\mathbb{C}}^n$  . The $R_{\sigma }$  -orbit of every point in ${\mathbb{C}}^n$  is of the form $$\left\{(z^{\prime },z_n)\in {\mathbb{C}}^{n-1}\times \mathbb{C}:Re{z}_n=|z^{\prime }{|}^2+r\right\},$$  where $r\in \mathbb{R}$  , and every $R_{\sigma }$  -invariant domain in ${\mathbb{C}}^n$  is given by $${\mathfrak{S}}_r^R:=\left\{(z^{\prime },z_n)\in {\mathbb{C}}^{n-1}\times \mathbb{C}:r+|z^{\prime }{|}^2<Re{z}_n<R+|z^{\prime }{|}^2\right\},$$  where $-\infty \le r<R\le \infty$  . Every $CR$  -isomorphism between two $R_{\sigma }$  -orbits is a composition of a map from $G_{\sigma }$  and a translation in the $z_n$  -variable.

Therefore, $F$  in this case extends to a holomorphic automorphism of ${\mathbb{C}}^n$  .

Now our gluing procedure implies that $M$  is holomorphically equivalent to ${\mathfrak{S}}_r^R$  for some $-\infty \le r<R\le \infty$  . Therefore, $M$  is holomorphically equivalent either to the domain $$\mathfrak{S}:=\left\{(z^{\prime },z_n)\in {\mathbb{C}}^{n-1}\times \mathbb{C}:-1+|z^{\prime }{|}^2<Re{z}_n<|z^{\prime }{|}^2\right\},$$  or (for $R=\infty$  ) to $B^n$  . The latter is clearly impossible; the former is impossible either since $d(\mathfrak{S})=n^2$  (see e.g. [I] ). A. V. Isaev Assume next that $\mathfrak{m}=\delta$  . Again, we have $\mathcal{D}={\mathbb{C}}^n$  . The $R_{\delta }$  -orbit of every point in ${\mathbb{C}}^n$  has the form $$\left\{(z^{\prime },z_n)\in {\mathbb{C}}^{n-1}\times \mathbb{C}:\left|z_n\right|=rexp\left(|z^{\prime }{|}^2\right)\right\},$$  where $r>0$  , and hence every $R_{\delta }$  -invariant domain in ${\mathbb{C}}^n$  is given by $$D_r^R:=\left\{(z^{\prime },z_n)\in {\mathbb{C}}^{n-1}\times \mathbb{C}:rexp\left(|z^{\prime }{|}^2\right)<\left|z_n\right|<Rexp\left(|z^{\prime }{|}^2\right)\right\},$$  for $0\le r<R\le \infty$  . Every $CR$  -isomorphism between two $R_{\delta }$  -orbits is a composition of a map from of the form ( 2.9 ) and a dilation in the $z_n$  -variable.

Therefore, $F$  extends to a holomorphic automorphism of ${\mathbb{C}}^n$  . Hence, we obtain that $M$  is holomorphically equivalent to $D_r^R$  for some $0\le r<R\le \infty$  and therefore either to $$D_{r/R,1}:=\left\{(z^{\prime },z_n)\in {\mathbb{C}}^{n-1}\times \mathbb{C}:r/Rexp\left(|z^{\prime }{|}^2\right)<\left|z_n\right|<exp\left(|z^{\prime }{|}^2\right)\right\},$$  or (for $R=\infty$  ) to $$D_{0,-1}:=\left\{(z^{\prime },z_n)\in {\mathbb{C}}^{n-1}\times \mathbb{C}:0<\left|z_n\right|<exp\left(-|z^{\prime }{|}^2\right)\right\}.$$  This is, however, impossible since $d\left(D_{r/R,1}\right)=d\left(D_{0,-1}\right)=n^2$  (see e.g. [I] ).

The proof of Proposition  2.1 is complete. $\square$  Automorphism Groups of Hyperbolic Manifolds

3 The Case of Complex Hypersurface Orbits

We will now assume that all orbits in $M$  are complex hypersurfaces. As we have shown above, this is always the case for $n\ge 3$  . We will prove the following proposition.

Proposition 3.1 Let $M$  be a connected hyperbolic manifold of dimension $n\ge 2$  with $d\left(M\right)=n^2-1$  , and such that for every $p\in M$  its orbit $O\left(p\right)$  is a complex hypersurface in $M$  . Then $M$  is holomorphically equivalent to $B^{n-1}\times S$  , where $S$  is a hyperbolic Riemann surface with $d\left(S\right)=0$  .

Proof: Fix $p\in M$  . It then follows from (iii) of Proposition  1.1 that $I_p^c$  is isomorphic to $U_{n-1}$  , moreover, one can choose coordinates $(w_1,...,w_n)$  in $T_p\left(M\right)$  so that $L_p^c$  consists of all matrices of the form A. V. Isaev

$$\begin{array}{c}\left(\begin{array}{cc}1& 0\\ 0& B\end{array}\right),\end{array}$$

(3.1)

where $B\in U_{n-1}$  and $T_p\left(O\right(p\left)\right)=\{w_1=0\}$  . Arguing as in the proof of Lemma 4.4 of [IKru1] we obtain that the full group $L_p$  consists of all matrices of the form Automorphism Groups of Hyperbolic Manifolds

$$\begin{array}{c}\left(\begin{array}{cc}\alpha & 0\\ 0& B\end{array}\right),\end{array}$$

(3.2)

where $B\in U_{n-1}$  and ${\alpha }^m=1$  for some $m\ge 1$  . It then follows (see e.g. Satz 4.3 of [Ka] ) that the kernel of the action of $G\left(M\right)$  on $O\left(p\right)$  is $J_p:={\alpha }_p^{-1}\left({\mathbb{Z}}_m\right)$  , where we identify ${\mathbb{Z}}_m$  with the subgroup of $L_p$  that consists of all matrices of the form ( 3.2 ) with $B=id$  . Thus, $G\left(M\right)/J_p$  acts effectively on $O\left(p\right)$  .

Since $O\left(p\right)$  is holomorphically equivalent to $B^{n-1}$  and $dimG\left(M\right)=n^2-1=dimAut\left(B^{n-1}\right)$  , we obtain that $G\left(M\right)/J_p$  is isomorphic to $Aut\left(B^{n-1}\right)$  . It then follows that $I_p$  is a maximal compact subgroup in $G\left(M\right)$  since its image under the projection $G\left(M\right)\to Aut\left(B^{n-1}\right)$  is a maximal compact subgroup of $Aut\left(B^{n-1}\right)$  . However, every maximal compact subgroup of a connected Lie group is connected whereas $I_p$  is not if $m>1$  . Thus, $m=1$  , hence $G\left(M\right)$  is isomorphic to $Aut\left(B^{n-1}\right)$  . In particular, $L_p$  fixes every point of the orthogonal complement $W_p$  to $T_p\left(O\right(p\left)\right)$  in $T_p\left(M\right)$  . Observe that the above arguments apply to every point in $M$  .

Define $$N_p:=\left\{s\in M:I_s=I_p\right\}.$$  Clearly, $I_p$  fixes every point in $N_p$  and $N_{gp}=g{N}_p$  for all $g\in G\left(M\right)$  . Further, since for two distinct points $s_1,s_2$  lying in the same orbit we have $I_{s_1}\ne I_{s_2}$  , the set $N_p$  intersects every orbit in $M$  at exactly one point. By Bochner's theorem there exist a local holomorphic change of coordinates $F$  near $p$  on $M$  that identifies an $I_p$  -invariant neighborhood $U$  of $p$  with an $L_p$  -invariant neighborhood $V$  of the origin in $T_p\left(M\right)$  such that $F\left(gq\right)={\alpha }_p\left(g\right)F\left(q\right)$  for all $g\in I_p$  and $q\in U$  . Since $L_p$  coincides with the group of matrices of the form ( 3.1 ), $N_p\cap U=F^{-1}(W_p\cap V)$  . In particular, $N_p$  is a holomorphic curve near $p$  . Since the same argument can be carried out at every point of $N_p$  , we obtain that $N_p$  is a closed complex hyperbolic curve in $M$  .

We will now construct a biholomorphic map $\Phi :M\to B^{n-1}\times N_p$  . Let $\Psi :O\left(p\right)\to B^{n-1}$  be a biholomorphism. For $q\in M$  let $r$  be the (unique) point where $N_p$  intersects $O\left(q\right)$  . Let $g\in G\left(M\right)$  be such that $q=gr$  . Then we set $\Phi \left(q\right):=\left(F\right(gp),r)$  . By construction, $\Phi$  is biholomorphic. Since $M$  is holomorphically equivalent to $B^{n-1}\times N_p$  , we have $d\left(N_p\right)=0$  . A. V. Isaev The proof is complete. $\square$  Automorphism Groups of Hyperbolic Manifolds

4 The Homogeneous Case

In this section we will prove the following proposition.

Proposition 4.1 If $M$  is a homogeneous connected hyperbolic manifold of dimension $n\ge 2$  with $d\left(M\right)=n^2-1$  , then $n=4$  and $M$  is holomorphically equivalent to the tube domain

$$\begin{array}{cc}T=\{(w_1,w_2,w_3,w_4)\in {\mathbb{C}}^4:& (\mathit{I}\mathit{m}{w}_1{)}^2+(\mathit{I}\mathit{m}{w}_2{)}^2+\end{array}$$

$$\begin{array}{cc}& (\mathit{I}\mathit{m}{w}_3{)}^2-(\mathit{I}\mathit{m}{w}_4{)}^2<0,\mathit{I}\mathit{m}{w}_4>0\}.\end{array}$$

Proof: The proof is similar to that of Proposition 5.1 of [I] . Since $M$  is homogeneous, by [N] , [P-S] , it is holomorphically equivalent to a Siegel domain $U$  of the second kind in ${\mathbb{C}}^n$  . For $n=2$  , this gives that $M$  is equivalent to either $B^2$  or ${\Delta }^2$  , which is impossible since $d\left(B^2\right)=8$  and $d\left({\Delta }^2\right)=6$  . For $n=3$  we obtain that $M$  is equivalent to one of the following domains: $B^3$  , $B^2\times \Delta$  , ${\Delta }^3$  , $S$  , where $S$  is the 3-dimensional Siegel space. None of these domains has an automorphism group of dimension 8.

Assume now that $n\ge 4$  . The domain $U$  has the form $$U=\left\{(z,w)\in {\mathbb{C}}^{n-k}\times {\mathbb{C}}^k:Imw-F(z,z)\in C\right\},$$  where $1\le k\le n$  , $C$  is an open convex cone in ${\mathbb{R}}^k$  not containing an entire affine line and $F=(F_1,...,F_k)$  is a ${\mathbb{C}}^k$  -valued Hermitian form on ${\mathbb{C}}^{n-k}\times {\mathbb{C}}^{n-k}$  such that $F(z,z)\in \overline{C}\backslash \left\{0\right\}$  for all non-zero $z\in {\mathbb{C}}^{n-k}$  .

We will show first that in most cases we have $k\le 2$  . As we noted in [IKra]  A. V. Isaev

$$\begin{array}{c}d\left(U\right)\le 4n-2k+dim{\mathfrak{g}}_0\left(U\right).\end{array}$$

(4.1)

Here ${\mathfrak{g}}_0\left(U\right)$  is the Lie algebra of all vector fields on ${\mathbb{C}}^n$  of the form $$X_{A,B}=Az\frac{\partial }{\partial z}+Bw\frac{\partial }{\partial w},$$  where $A\in \mathfrak{g}{\mathfrak{l}}_{n-k}(\mathbb{C})$  , $B$  belongs to the Lie algebra $\mathfrak{g}\left(C\right)$  of the group $G\left(C\right)$  of linear automorphisms of the cone $C$  , and the following holds Automorphism Groups of Hyperbolic Manifolds

$$\begin{array}{c}F(Az,z)+F(z,Az)=BF(z,z),\end{array}$$

(4.2)

for all $z\in {\mathbb{C}}^{n-k}$  . By the definition of Siegel domain, there exists a positive-definite linear combination $R$  of the components of the Hermitian form $F$  . Then, for a fixed matrix $B$  in formula ( 4.2 ), the matrix $A$  is determined at most up to a matrix that is skew-Hermitian with respect to $R$  . Since the dimension of the algebra of matrices skew-Hermitian with respect to $R$  is equal to $(n-k{)}^2$  , we have A. V. Isaev

$$\begin{array}{c}dim{\mathfrak{g}}_0\left(U\right)\le (n-k{)}^2+dim\mathfrak{g}(C).\end{array}$$

(4.3)

In Lemma 3.2 of [IKra] we showed that Automorphism Groups of Hyperbolic Manifolds

$$\begin{array}{c}dim\mathfrak{g}\left(C\right)\le \frac{k^2}{2}-\frac{k}{2}+1.\end{array}$$

(4.4)

It now follows from ( 4.3 ) and ( 4.4 ) that the following holds $$dim{\mathfrak{g}}_0\left(U\right)\le \frac{3k^2}{2}-k\left(2n+\frac{1}{2}\right)+n^2+1,$$  which together with ( 4.1 ) for gives A. V. Isaev

$$\begin{array}{c}d\left(U\right)\le \frac{3k^2}{2}-k\left(2n+\frac{5}{2}\right)+n^2+4n+1.\end{array}$$

(4.5)

It is straightforward to check that the right-hand side of ( 4.5 ) is strictly less than $n^2-1$  if $k\ge 3$  for $n\ge 5$  , and does not exceed 15 for $n=4$  . Furthermore, for $n=4$  the right-hand side of ( 4.5 ) is equal to 15 only if $k=3$  or $k=4$  and $dim\mathfrak{g}\left(C\right)=k^2/2-k/2+1$  .

Suppose that $n=4$  and the right-hand side of ( 4.5 ) is equal to 15. In this case for every point $x_0\in C$  there exist coordinates in ${\mathbb{R}}^k$  such that the isotropy subgroup of $x_0$  in $G\left(C\right)$  contains $S{O}_{k-1}(\mathbb{R})$  (see the proof of Lemma 3.2 in [IKra] ). Then after a linear change of coordinates the cone $C$  takes the form $$\left\{x=(x_1,...,x_k)\in {\mathbb{R}}^k:\langle x,x\rangle <0,x_k>0\right\},$$  where $\langle x,x\rangle :=x_1^2+...+x_{k-1}^2-x_k^2$  . In these coordinates the algebra $\mathfrak{g}\left(C\right)$  is generated by the subalgebra of scalar matrices in $\mathfrak{g}{\mathfrak{l}}_k(\mathbb{R})$  and the algebra of pseudo-orthogonal matricex ${\mathfrak{o}}_{k-1,1}(\mathbb{R})$  . Assume first that $k=3$  . Then we have $F=\left(v_1\right|z{|}^2,v_2|z{|}^2,v_3|z{|}^2)$  for some vector $v:=(v_1,v_2,v_3)\in C$  . It follows from ( 4.2 ) that $v$  is an eigenvector of the matrix $B$  for every $X_{A,B}\in {\mathfrak{g}}_0\left(U\right)$  , which implies that $dim{\mathfrak{g}}_0\left(U\right)=3$  . Hence by ( 4.1 ) we have $dimAut\left(U\right)\le 13$  , which is impossible.

Suppose now that $k=4$  . In this case $U$  is holomorphically equivalent to the tube domain $T$  . Let $\mathfrak{g}\left(T\right)$  be the Lie algebra of $Aut\left(T\right)$  . It follows from the results of [KMO] that $\mathfrak{g}\left(T\right)$  is a graded Lie algebra $$\mathfrak{g}\left(T\right)={\mathfrak{g}}_{-1}\left(T\right)\oplus {\mathfrak{g}}_0\oplus {\mathfrak{g}}_1\left(T\right),$$  where ${\mathfrak{g}}_{-1}$  is spanned by $i\partial /\partial w_j$  , $j=1,2,3,4$  , and $dim{\mathfrak{g}}_1\left(T\right)\le 4$  . Clearly, ${\mathfrak{g}}_0\left(T\right)$  is isomorphic to $\mathbb{R}\oplus {\mathfrak{o}}_{3,1}(\mathbb{R})$  and thus has dimension 7. The component ${\mathfrak{g}}_1\left(T\right)$  also admits an explicit description (see e.g. p. 218 in [S] ). It follows from this description that ${\mathfrak{g}}_1\left(T\right)$  consists of all vector fields of the form Automorphism Groups of Hyperbolic Manifolds

$$\begin{array}{cc}{Z}_{\alpha ,\beta ,\gamma ,\delta }:=& \left(\alpha (w_1^2-w_2^2-w_3^2+w_4^2)+2(\beta w_1{w}_2+\gamma w_1{w}_3+\delta w_1{w}_4)\right)\frac{\partial }{\partial w_1}+\end{array}$$

$$\begin{array}{cc}& \left(\beta (-w_1^2+w_2^2-w_3^2+w_4^2)+2(\alpha w_1{w}_2+\gamma w_2{w}_3+\delta w_2{w}_4)\right)\frac{\partial }{\partial w_2}+\end{array}$$

$$\begin{array}{cc}& \left(\gamma (-w_1^2-w_2^2+w_3^2+w_4^2)+2(\alpha w_1{w}_3+\beta w_2{w}_3+\delta w_3{w}_4)\right)\frac{\partial }{\partial w_3}+\end{array}$$

$$\begin{array}{cc}& \left(\delta (w_1^2+w_2^2+w_3^2+w_4^2)+2(\alpha w_1{w}_4+\beta w_2{w}_4+\gamma w_3{w}_4)\right)\frac{\partial }{\partial w_4},\end{array}$$

where $\alpha ,\beta ,\gamma ,\delta \in \mathbb{R}$  , and thus has dimension 4. Therefore, $dimAut\left(T\right)=15$  .

It is also clear that $T$  is homogeneous under affine automorphisms.

Assume now that $n\ge 4$  is arbitrary and $k\le 2$  . If $k=1$  , the domain $U$  is equivalent to $B^n$  which is impossible. Hence $k=2$  . It follows from ( 4.2 ) that the matrix $A$  is determined by the matrix $B$  up to a matrix $L\in \mathfrak{g}{\mathfrak{l}}_{n-2}(\mathbb{C})$  satisfying $$F(Lz,z)+F(z,Lz)=0,$$  for all $z\in {\mathbb{C}}^{n-2}$  . Let $s$  be the dimension of the subspace of all such matrices $L$  . Then $$dim{\mathfrak{g}}_0\left(U\right)\le s+dim\mathfrak{g}\left(C\right),$$  and ( 4.4 ) yields $$dim{\mathfrak{g}}_0\left(U\right)\le s+2,$$  which, together with ( 4.1 ) implies A. V. Isaev

$$\begin{array}{c}s\ge n^2-4n+1.\end{array}$$

(4.6)

By the definition of Siegel domain, there exists a positive-definite linear combination of the components of $F$  , and we can assume that $F_1$  is positive-definite.

Further, applying an appropriate linear transformation of the $z$  -variables, we can assume that $F_1$  is given by the identity matrix and $F_2$  by a diagonal matrix.

Suppose first that the matrix of $F_2$  is scalar. If $F_2\equiv 0$  , then $U$  is holomorphically equivalent to $B^{n-1}\times \Delta$  which is impossible. If $F_2\not\equiv 0$  , then $U$  is holomorphically equivalent to the domain $$V:=\left\{(z,w)\in {\mathbb{C}}^{n-2}\times {\mathbb{C}}^2:Im{w}_1-|z{|}^2>0,Im{w}_2-|z{|}^2>0\right\}.$$  It was shown in [IKra] that $d\left(V\right)\le n^2-2n+3$  and hence $d\left(V\right)<n^2-1$  . Thus, the matrix of $F_2$  is not scalar. Inequality ( 4.6 ) now yields that the matrix of $F_2$  can have at most one pair of distinct eigenvalues, and therefore $n=4$  and $U$  is holomorphically equivalent to $B^2\times B^2$  . This is clearly impossible, and the proof of the proposition is complete. $\square$  Automorphism Groups of Hyperbolic Manifolds

5 Examples for the Case $n=2$  , $d\left(M\right)=3$ 

In this section we give examples of families of hyperbolic domains in ${\mathbb{C}}^2$  and $\mathbb{C}{\mathbb{P}}^2$  with automorphism groups of dimension 3 whose orbit structure is different from that observed above for $n\ge 3$  . Define $${\Omega }_t:=\left\{(z,w)\in {\mathbb{C}}^2:|z{|}^2+|w{|}^2-1<t|z^2+w^2-1|\right\},$$  where $0<t\le 1$  . Clearly, ${\Omega }_a$  is bounded if $0<t<1$  . Further, ${\Omega }_1$  is hyperbolic since it is contained in the hyperbolic product domain $$\left\{(z,w)\in {\mathbb{C}}^2:z,w\notin (-\infty ,-1]\cup [1,\infty )\right\}.$$  The group $Aut\left({\Omega }_t\right)$  for every $t$  consists of the maps $$\left(\begin{array}{c}z\\ w\end{array}\right)\mapsto \frac{\left(\begin{array}{cc}{a}_{11}& a_{12}\\ a_{21}& a_{22}\end{array}\right)\left(\begin{array}{c}z\\ w\end{array}\right)+\left(\begin{array}{c}{b}_1\\ b_2\end{array}\right)}{c_{1}z+c_{2}w+d},$$  where A. V. Isaev

$$\begin{array}{c}Q:=\left(\begin{array}{ccc}{a}_{11}& a_{12}& b_1\\ a_{21}& a_{22}& b_2\\ c_1& c_2& d\end{array}\right)\in S{O}_{2,1}(\mathbb{R}),\end{array}$$

(5.1)

and thus is 3-dimensional. The group $Aut\left({\Omega }_t\right)$  has two connected components (that correspond to the connected components of $S{O}_{2,1}(\mathbb{R})$  ), and its identity component $G\left({\Omega }_t\right)$  is given by the condition $a_{11}{a}_{22}-a_{12}{a}_{21}>0$  . The orbits of $G\left({\Omega }_t\right)$  on ${\Omega }_t$  are as follows:

$$\begin{array}{cc}{O}_{\alpha }^{\Omega }:=& \left\{(z,w)\in {\mathbb{C}}^2:|z{|}^2+|w{|}^2-1=\alpha |z^2+w^2-1|\right\}\backslash \end{array}$$

$$\begin{array}{cc}& \left\{(x,u)\in {\mathbb{R}}^2:x^2+u^2=1\right\},-1<\alpha <t,\end{array}$$

$$\begin{array}{cc}{\Delta }_{\mathbb{R}}:=& \left\{(x,u)\in {\mathbb{R}}^2:x^2+u^2<1\right\}.\end{array}$$

Note that $O_0^{\Omega }$  is the only spherical real hypersurface orbit in ${\Omega }_t$  and that ${\Delta }_{\mathbb{R}}$  is a totally real orbit. All the orbits are pairwise $CR$  non-equivalent.

The next family of domains is associated with a different action of $S{O}_{2,1}(\mathbb{R})$  on a part of ${\mathbb{C}}^2$  . Define $$D_t:=\left\{(z,w)\in {\mathbb{C}}^2:1+|z{|}^2-|w{|}^2>t|1+z^2-w^2|,Imz(1+\overline{w})>0\right\},$$  where $t\ge 1$  . All these domains lie in the hyperbolic product domain $$\left\{(z,w)\in {\mathbb{C}}^2:Imz>0,w\notin (-\infty ,-1]\cup [1,\infty )\right\},$$  hence they are hyperbolic as well. For every matrix $Q\in S{O}_{2,1}^c(\mathbb{R})$  as in ( 5.1 ) consider the map $$\left(\begin{array}{c}z\\ w\end{array}\right)\mapsto \frac{\left(\begin{array}{cc}{a}_{22}& b_2\\ c_2& d\end{array}\right)\left(\begin{array}{c}z\\ w\end{array}\right)+\left(\begin{array}{c}{a}_{21}\\ c_1\end{array}\right)}{a_{12}z+b_{1}w+a_{11}}.\mathit{A}\mathit{u}\mathit{t}\mathit{o}\mathit{m}\mathit{o}\mathit{r}\mathit{p}\mathit{h}\mathit{i}\mathit{s}\mathit{m}\mathit{G}\mathit{r}\mathit{o}\mathit{u}\mathit{p}\mathit{s}\mathit{o}\mathit{f}\mathit{H}\mathit{y}\mathit{p}\mathit{e}\mathit{r}\mathit{b}\mathit{o}\mathit{l}\mathit{i}\mathit{c}\mathit{M}\mathit{a}\mathit{n}\mathit{i}\mathit{f}\mathit{o}\mathit{l}\mathit{d}\mathit{s}$$  The group $Aut\left(D_t\right)=G\left(D_t\right)$  for every $t$  consists of all such maps. The orbits of $G\left(D_t\right)$  on $D_t$  are the following non-spherical hypersurfaces

$$\begin{array}{cc}{O}_{\alpha }^D:=& \{(z,w)\in {\mathbb{C}}^2:1+|z{|}^2-|w{|}^2=\alpha |1+z^2-w^2|,\end{array}$$

$$\begin{array}{cc}& Imz(1+\overline{w})>0\},\alpha >t.\end{array}$$

All the orbits are pairwise $CR$  non-equivalent.

The next family of domains is associated with an action of $S{O}_3(\mathbb{R})$  on $\mathbb{C}{\mathbb{P}}^2$  . Define $$E_t:=\left\{(z,w,\zeta )\in \mathbb{C}{\mathbb{P}}^2:|z{|}^2+|w{|}^2+|\zeta {|}^2<t|z^2+w^2+{\zeta }^2|\right\},$$  where $t>1$  . The domain $E_t$  is hyperbolic for each $t$  since it is covered in a 2-to-1 fashion by the manifold $$\left\{(z,w,\zeta )\in {\mathbb{C}}^3:|z{|}^2+|w{|}^2+|\zeta {|}^2<t,z^2+w^2+{\zeta }^2=1\right\},$$  which is clearly hyperbolic; the covering map is $(z,w,\zeta )\mapsto (z:w:\zeta )$  . The group $Aut\left(E_t\right)=G\left(E_t\right)$  for every $t$  is given by applying matrices from $S{O}_3(\mathbb{R})$  to vectors of homogeneous coordinates. The action of the group $G\left(E_t\right)$  on $E_t$  has a totally real orbit $\mathbb{R}{\mathbb{P}}^2$  , and the rest of the orbits are the following non-spherical hypersurfaces $$O_{\alpha }^E:=\left\{(z,w,\zeta )\in \mathbb{C}{\mathbb{P}}^2:|z{|}^2+|w{|}^2+|\zeta {|}^2=\alpha |z^2+w^2+{\zeta }^2|\right\},1<\alpha <t.$$  All the orbits are pairwise $CR$  non-equivalent.

Next, define $$S_t:=\left\{(z,w)\in {\mathbb{C}}^2:{\left(Rez\right)}^2+{\left(Rew\right)}^2<t\right\},$$  where $t>0$  . All these domains are clearly hyperbolic and the group $Aut\left(S_t\right)$  for every $t$  consists of all maps of the form A. V. Isaev $$\left(\begin{array}{c}z\\ w\end{array}\right)\mapsto C\left(\begin{array}{c}z\\ w\end{array}\right)+i\left(\begin{array}{c}p\\ q\end{array}\right),$$  where $C\in O_2(\mathbb{R})$  and $p,q\in \mathbb{R}$  . The group $G\left(S_t\right)$  is given by matrices $C\in S{O}_2(\mathbb{R})$  . The action of the group $G\left(S_t\right)$  on $S_t$  has a totally real orbit $$\left\{(z,w)\in {\mathbb{C}}^2:Rez=0,Rew=0\right\},$$  and the rest or the orbits are the following non-spherical tube hypersurfaces $$O_{\alpha }^S:=\left\{(z,w)\in {\mathbb{C}}^2:{\left(Rez\right)}^2+{\left(Rew\right)}^2=\alpha \right\},0<\alpha <t.$$  Every non-spherical orbit is clearly $CR$  -equivalent to $O_1^S$  .

Now fix $a\in \mathbb{R}$  such that $\left|a\right|>1$  , $a\ne 1,2$  , and consider a family of tube domains $$R_{a,t}:=\left\{(z,w)\in {\mathbb{C}}^2:Rez<t{\left(Rew\right)}^a,Rew>0\right\},$$  where $t>0$  . All these domains are obviously hyperbolic and the group $Aut\left(R_{a,t}\right)=G\left(R_{a,t}\right)$  consists of all the maps $$\left(\begin{array}{c}z\\ w\end{array}\right)\mapsto \left(\begin{array}{c}{\lambda }^{a}z\\ \lambda w\end{array}\right)+i\left(\begin{array}{c}p\\ q\end{array}\right),$$  where $\lambda >0$  and $p,q\in \mathbb{R}$  . The action of this group on $R_{a,t}$  has a Levi-flat orbit $$\left\{(z,w)\in {\mathbb{C}}^2:Rez=0,Rew>0\right\},\mathit{A}\mathit{u}\mathit{t}\mathit{o}\mathit{m}\mathit{o}\mathit{r}\mathit{p}\mathit{h}\mathit{i}\mathit{s}\mathit{m}\mathit{G}\mathit{r}\mathit{o}\mathit{u}\mathit{p}\mathit{s}\mathit{o}\mathit{f}\mathit{H}\mathit{y}\mathit{p}\mathit{e}\mathit{r}\mathit{b}\mathit{o}\mathit{l}\mathit{i}\mathit{c}\mathit{M}\mathit{a}\mathit{n}\mathit{i}\mathit{f}\mathit{o}\mathit{l}\mathit{d}\mathit{s}$$  which is foliated by the half-planes $$\left\{(z,w)\in {\mathbb{C}}^2:z=ic,Rew>0\right\},c\in \mathbb{R}.$$  All other orbits are the following non-spherical hypersurfaces $$O_{a,\alpha }^R:=\left\{(z,w)\in {\mathbb{C}}^2:Rez=\alpha {\left(Rew\right)}^r,Rew>0\right\},\alpha <t,\alpha \ne 0.$$  Every non-spherical orbit is $CR$  -equivalent to $O_{a,1}^R$  .

Further, define $$U_t:=\left\{(z,w)\in {\mathbb{C}}^2:Rez<Rew\cdot ln\left(tRew\right),Rew>0\right\},$$  where $t>0$  . All these domains are clearly hyperbolic and the group $Aut\left(U_t\right)=G\left(U_t\right)$  consists of all the maps $$\left(\begin{array}{c}z\\ w\end{array}\right)\mapsto \left(\begin{array}{c}\lambda z+(\lambda ln\lambda )w\\ \lambda w\end{array}\right)+i\left(\begin{array}{c}p\\ q\end{array}\right),$$  where $\lambda >0$  and $p,q\in \mathbb{R}$  . The orbits of $G\left(U_t\right)$  on $U_t$  are the following non-spherical hypersurfaces $$O_{\alpha }^U:=\left\{(z,w)\in {\mathbb{C}}^2:Rez=Rew\cdot ln\left(\alpha Rew\right),Rew>0\right\},0<\alpha <t.$$  Every orbit is $CR$  -equivalent to $O_1^U$  .

Finally, fix $a>0$  and consider $$V_{a,t,s}:=\left\{(z,w)\in {\mathbb{C}}^2:s{e}^{a\phi }<r<t{e}^{a\phi }\right\},\mathit{A}\mathit{.}\mathit{V}\mathit{.}\mathit{I}\mathit{s}\mathit{a}\mathit{e}\mathit{v}$$  where $t>0$  , $e^{-2\pi a}t<s<t$  , and $(r,\phi )$  denote the polar coordinates in the $(Rez,Rew)$  -plane with $\phi$  varying from $-\infty$  to $\infty$  (thus, the boundary of $V_{a,t,s}$  consists of two infinite spirals). All these domains are hyperbolic and $Aut\left(V_{a,t,s}\right)=G\left(V_{a,t,s}\right)$  consists of all maps of the form $$\left(\begin{array}{c}z\\ w\end{array}\right)\mapsto e^{a\beta }\left(\begin{array}{cc}cos\beta & sin\beta \\ -sin\beta & cos\beta \end{array}\right)\left(\begin{array}{c}z\\ w\end{array}\right)+i\left(\begin{array}{c}p\\ q\end{array}\right),$$  where $\beta ,p,q\in \mathbb{R}$  . The orbits under the action of $G\left(V_{a,t,s}\right)$  on $V_{a,t,s}$  are the following non-spherical hypersurfaces $$O_{a,\alpha }^V:=\left\{(z,w)\in {\mathbb{C}}^2:r=\alpha e^{a\phi }\right\},s<\alpha <t.$$  Clearly, every orbit is $CR$  -equivalent to $O_{a,1}^V$  .

The orbits $O_{\alpha }^{\Omega }$  with $-1<\alpha <1$  and $\alpha \ne 0$  , $O_{\alpha }^D$  with $\alpha >1$  , $O_{\alpha }^E$  with $\alpha >1$  , $O_1^S$  , $O_{a,1}^R$  with $\left|a\right|>1$  and $a\ne 1,2$  , $O_1^U$  , $O_{a,1}^V$  with $a>0$  are part of E. Cartan's classification of homogeneous hypersurfaces in the non-spherical case (see [C] ). They are pairwise $CR$  non-equivalent, both locally and globally, and give a complete classification from the local point of view. To obtain a global classification, one has to additionally consider all possible coverings of these hypersurfaces.

We will now give an example of a hyperbolic domain in ${\mathbb{C}}^2$  , for which every orbit is spherical. Define $$W:=\left\{(z,w)\in {\mathbb{C}}^2:-1+|z{|}^2<Rew<|z{|}^2+1,Rez>0\right\}.$$  This domain is hyperbolic since it is contained in the domain $$\left\{(z,w)\in {\mathbb{C}}^2:Rew>|z{|}^2-1\right\}\mathit{A}\mathit{u}\mathit{t}\mathit{o}\mathit{m}\mathit{o}\mathit{r}\mathit{p}\mathit{h}\mathit{i}\mathit{s}\mathit{m}\mathit{G}\mathit{r}\mathit{o}\mathit{u}\mathit{p}\mathit{s}\mathit{o}\mathit{f}\mathit{H}\mathit{y}\mathit{p}\mathit{e}\mathit{r}\mathit{b}\mathit{o}\mathit{l}\mathit{i}\mathit{c}\mathit{M}\mathit{a}\mathit{n}\mathit{i}\mathit{f}\mathit{o}\mathit{l}\mathit{d}\mathit{s}$$  which is holomorphically equivalent to $B^2$  . The group $Aut\left(W\right)=G\left(W\right)$  consists of the maps

$$\begin{array}{ccc}z& \mapsto & \lambda z+ia,\end{array}$$

$$\begin{array}{ccc}w& \mapsto & {\lambda }^{2}w-2i\lambda az+a^2+i\beta ,\end{array}$$

where $\lambda >0$  , $a,\beta \in \mathbb{R}$  (cf. ( 2.3 )). The orbits of the action of $G\left(W\right)$  on $W$  are $$O_{\alpha }^W:=\left\{(z,w)\in {\mathbb{C}}^2:Rew=|z{|}^2+\alpha ,Rez>0\right\},-1<\alpha <1.$$  Clearly, every orbit is spherical and $CR$  -equivalent to $O_0^W$  .

References

1. Alekseevsky, D. V., On perfect actions of Lie groups (translated from Russian), Russian Math. Surveys 34(1979), 215–216.
2. Alekseevsky, A. V. and Alekseevsky, D. V., Riemann $G$  -manifolds with one-dimensional orbit space, Ann. Global Anal. Geom. 11(1993), 197–211.
3. Alekseevskii, A. V. and Alekseevskii, D. V., $G$  -manifolds with one-dimensional orbit space, Advances in Soviet Math. 8(1992), 1–31.
4. Bérard-Bergery, L., Sur de nouvelles varietes riemanniennes d'Einstein, Publ. Inst. E. Cartan 4(1982), 1–60.
5. Burns, D. and Shnider, S., Spherical hypersurfaces in complex manifolds, Invent. Math. 33(1976), 223–246.
6. Cartan, E., Sur la géométrie pseudo-conforme des hypersurfaces de deux variables complexes, I Ann. Math. Pura Appl. 11(1932), 17–90 (or Oeuvres Completes II, 2, 1231–1304), II Ann. Scuola Norm. Sup. Pisa 1(1932), 333–354 (or Oeuvres Completes III, 2, 1217–1238).
7. A. V. Isaev Chern, S. S. and Moser, J. K., Real hypersurfaces in complex manifolds, Acta Math. 133(1974), 219–271.
8. Eastwood, M. and Isaev, A., Examples of unbounded homogeneous domains in complex space, Proc. International Conference on Several Complex Variables and Complex Geometry, Capital Normal University, Beijing, China, 22-28 August, 2004; to appear in Science in China Series A Math. in May 2005; available from Mathematics ArXiv at http://front.math.ucdavis.edu/math.CV/0304102.
9. Ezhov, V. V. and Isaev, A. V., On the dimension of the stability group for a Levi non-degenerate hypersurface, preprint, available from Mathematics ArXiv at http://front.math.ucdavis.edu/math.CV/0310033.
10. Gifford, J. A., Isaev, A. V. and Krantz, S. G., On the dimensions of the automorphism groups of hyperbolic Reinhardt domains, Illinois J. Math. 44(2000), 602–618.
11. Greene, R. E. and Krantz, S. G., Characterization of complex manifolds by the isotropy subgroups of their automorphism groups, Indiana Univ. Math. J. 34(1985), 865–879.
12. Isaev, A. V., Hyperbolic $n$  -dimensional manifolds with automorphism group of dimension $n^2$  , preprint, available from Mathematics ArXiv at http://front.math.ucdavis.edu/math.CV/0502152.
13. Isaev, A. V. and Krantz, S. G., On the automorphism groups of hyperbolic manifolds, to appear in J. Reine Angew. Math. in 2001.
14. Isaev, A. V. and Kruzhilin, N. G., Effective actions of the unitary group on complex manifolds, Canad. J. Math. 54(2002), 1254–1279.
15. Isaev, A. V. and Kruzhilin, N. G., Effective actions of $S{U}_n$  on complex $n$  -dimensional manifolds, Illinois J. Math. 48(2004), 37–57.
16. Automorphism Groups of Hyperbolic Manifolds Kaup, W., Reelle Transformationsgruppen und invariante Metriken auf komplexen Räumen, Invent. Math. 3(1967), 43–70.
17. Kim, K.-T. and Verdiani, L., Complex $n$  -dimensional manifolds with a real $n^2$  -dimensional automorphism group, J. Geom. Analysis 14 (2004), 701–713.
18. Kobayashi, S., Hyperbolic Manifolds and Holomorphic Mappings, Marcel Dekker, New York 1970.
19. Kruzhilin, N. G. and Loboda, A. V., Linearization of automorphisms of pseudoconvex hypersurfaces (translated from Russian), Sov. Math. Dokl. 28(1983), 70–72.
20. Kaup, W., Matsushima, Y. and Ochiai, T., On the automorphisms and equivalences of generalized Siegel domains, Amer. J. Math. 92(1970), 475–497.
21. Mostert, P. S., On a compact Lie group acting on a manifold, Ann. Math. 65(1957), 447–455.
22. Nakajima, K., Homogeneous hyperbolic manifolds and homogeneous Siegel domains, J. Math. Kyoto Univ. 25(1985), 269–291.
23. Palais, R. S., On the existence of slices for actions of non-compact Lie groups, Ann. Math. 73(1961), 295–323.
24. Pyatetskii-Shapiro, I., Automorphic Functions and the Geometry of Classical Domains (translated from Russian), Gordon and Breach, 1969.
25. Stake, I., Algebraic Structures of Symmetric Domains, $Kan\hat{o}$  Mem. Lect. 4, Princeton University Press, 1980.

Department of Mathematics The Australian National University Canberra, ACT 0200 AUSTRALIA E-mail: alexander.isaev@maths.anu.edu.au