(i)
${B}^{n-1}\times S$
, where
$S$
is a hyperbolic Riemann surface with
$d\left(S\right)=0$
; (ii) the tube domain A. V. Isaev

(here
$n=4$
).

For
$n=2$
in addition to the direct products specified in (i) of Theorem 0.1 many other manifolds occur. They arise, in particular, from gluing together certain homogeneous strongly pseudoconvex real hypersurfaces in 2-dimensional complex manifolds with 3-dimensional groups of
$CR$
-automorphisms. All such hypersurfaces were determined by E. Cartan [C] , and our considerations for
$n=2$
required an appropriate interpretation of Cartan's results. Obtaining the classification for
$n=2$
is quite lengthy, and therefore the author has decided to publish it in a separate paper. Some non-trivial examples of hyperbolic domains in
${\mathbb{C}}^{2}$
and
$\mathbb{C}{\mathbb{P}}^{2}$
with 3-dimensional automorphism groups are given in Section 5 . $$\begin{array}{cc}T:=\{({z}_{1},{z}_{2},{z}_{3},{z}_{4})\in {\mathbb{C}}^{4}:& (\mathit{I}\mathit{m}{z}_{1}{)}^{2}+(\mathit{I}\mathit{m}{z}_{2}{)}^{2}+\end{array}$$ |

$$\begin{array}{cc}& (\mathit{I}\mathit{m}{z}_{3}{)}^{2}-(\mathit{I}\mathit{m}{z}_{4}{)}^{2}<0,\mathit{I}\mathit{m}{z}_{4}>0\}.\end{array}$$ |

The proof of Theorem 0.1 is organized as follows. In Section 1 we determine the dimensions of the orbits of the action on
$M$
of
$G\left(M\right):=Aut(M{)}^{c}$
, the connected component of the identity of
$Aut\left(M\right)$
. It turns out that, unless
$M$
is homogeneous, every
$G\left(M\right)$
-orbit is either a real or complex hypersurface in
$M$
, every real hypersurface orbit is spherical and every complex hypersurface orbit is holomorphically equivalent to
${B}^{n-1}$
(see Proposition 1.1 ). Note that Proposition 1.1 also contains some information about
$G\left(M\right)$
-orbits for
$n=2$
, in particular, it allows in this case for some real hypersurface orbits to be either Levi-flat or Levi non-degenerate non-spherical, and some 2-dimensional orbits to be totally real rather than complex submanifolds of
$M$
. It turns out that such orbits indeed exist; the corresponding examples are given in Section 5 .

Next, in Section 2 we show that real hypersurface orbits in fact cannot occur (see Proposition 2.1 ). First, we prove that there may be three possible kinds of such orbits and that the presence of an orbit of a particular kind determines
$G\left(M\right)$
as a Lie group. Further, when we attempt to glue real hypersurface orbits together, it turns out that for any resulting hyperbolic manifold
$M$
, the dimension
$d\left(M\right)$
is always greater than
${n}^{2}-1$
. Hence all orbits are in fact complex hypersurfaces unless the manifold in question is homogeneous. Parts of the arguments in Section 2 apply in the case
$n=2$
as well.

In Section 3 we prove Theorem 0.1 in the non-homogeneous case and obtain manifolds in (i) of Theorem 0.1 (see Proposition 3.1 ). Note that Proposition 3.1 is also valid for
$n=2$
. Automorphism Groups of Hyperbolic Manifolds In Section 4 homogeneous manifolds are considered. We show that in this case
$n=4$
and obtain the tube domain in (ii) of Theorem 0.1 (see Proposition 4.1 ). Note that Proposition 4.1 holds for any
$n\ge 2$
, hence no additional homogeneous manifolds occur when
$n=2$
. A. V. Isaev

1 Dimensions of Orbits

The action of
$G\left(M\right)=Aut(M{)}^{c}$
on
$M$
is proper (see Satz 2.5 of [Ka] ), and therefore for every
$p\in M$
its orbit
$O\left(p\right):=\left\{f\right(p):f\in G(M\left)\right\}$
is a closed submanifold of
$M$
and the isotropy subgroup
${I}_{p}:=\{f\in G(M):f(p)=p\}$
of
$p$
is compact (see [Ko] , [Ka] ). In this section we will obtain an initial classification of the
$G\left(M\right)$
-orbits.

Let
${L}_{p}:=\{{d}_{p}f:f\in {I}_{p}\}$
be the linear isotropy subgroup, where
${d}_{p}f$
is the differential of a map
$f$
at
$p$
. The group
${L}_{p}$
is a compact subgroup of
$GL\left({T}_{p}\right(M),\mathbb{C})$
isomorphic to
${I}_{p}$
by means of the isotropy representation
$${\alpha}_{p}:{I}_{p}\to {L}_{p},{\alpha}_{p}\left(f\right)={d}_{p}f$$
(see e.g. Satz 4.3 of [Ka] ). We will now prove the following proposition.

Proposition 1.1
Let
$M$
be a connected hyperbolic manifold of dimension
$n\ge 2$
with
$d\left(M\right)={n}^{2}-1$
, and
$p\in M$
. Then the following holds:

(i) Either
$M$
is homogeneous, or
$O\left(p\right)$
is a real or complex closed hypersurface in
$M$
, or, for
$n=2$
, the orbit
$O\left(p\right)$
is a totally real 2-dimensional closed submanifold of
$M$
.

(ii) If
$O\left(p\right)$
is a real hypersurface, the identity component
${I}_{p}^{c}$
of the isotropy subgroup
${I}_{p}$
is isomorphic to
$S{U}_{n-1}$
, and
${I}_{p}$
is isomorphic to a subgroup of
${U}_{n-1}$
by means of the isotropy representation
${\alpha}_{p}$
. If
$n\ge 3$
, the orbit
$O\left(p\right)$
is spherical. If
$n=2$
, the orbit
$O\left(p\right)$
is either Levi non-degenerate or Levi-flat. In the former case it is spherical if
${I}_{p}$
contains more than two elements; in the latter case it is foliated by complex curves holomorphically equivalent to
$\Delta $
.

(iii) If
$O\left(p\right)$
is a complex hypersurface, it is holomorphically equivalent to
${B}^{n-1}$
. If
$n\ge 3$
, then
${I}_{p}^{c}$
is isomorphic, by means of the isotropy representation
${\alpha}_{p}$
, to the group
${H}_{{k}_{1},{k}_{2}}^{n}$
of all matrices of the form Automorphism Groups of Hyperbolic Manifolds

where
$B\in {U}_{n-1}$
and
$a\in (detB{)}^{\frac{{k}_{1}}{{k}_{2}}}:=exp({k}_{1}/{k}_{2}\mathit{L}\mathit{n}(detB))$
, for some
${k}_{1},{k}_{2}\in \mathbb{Z}$
,
$({k}_{1},{k}_{2})=1$
,
${k}_{2}\ne 0$
. If
$n=2$
, then either
${I}_{p}^{c}$
is isomorphic, by means of the isotropy representation
${\alpha}_{p}$
, to the group
${H}_{{k}_{1},{k}_{2}}^{2}$
for some
${k}_{1},{k}_{2}\in \mathbb{Z}$
, or
${L}_{p}^{c}$
acts trivially on the tangent space to
$O\left(p\right)$
at
$p$
and
${I}_{p}^{c}$
is isomorphic to
${U}_{1}$
by means of the isotropy representation
${\alpha}_{p}$
. If
${I}_{p}^{c}$
is isomorphic to
${H}_{{k}_{1},{k}_{2}}^{n}$
for some
${k}_{1}\ne 0$
, there is a real hypersurface orbit in
$M$
.

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

(iv) if
$n=2$
and
$O\left(p\right)$
is totally real, then
${I}_{p}^{c}$
is isomorphic to
$S{O}_{2}(\mathbb{R})$
by means of the isotropy representation
${\alpha}_{p}$
.

Proof: Let
$V\subset {T}_{p}\left(M\right)$
be the tangent space to
$O\left(p\right)$
at
$p$
. Clearly,
$V$
is
${L}_{p}$
-invariant. We assume now that
$O\left(p\right)\ne M$
(and therefore
$V\ne {T}_{p}\left(M\right)$
) and consider the following three cases.
Case 1.
$d:=di{m}_{\mathbb{C}}(V+iV)<n$
.

Since
${L}_{p}$
is compact, one can choose coordinates in
${T}_{p}\left(M\right)$
such that
${L}_{p}\subset {U}_{n}$
. Further, the action of
${L}_{p}$
on
${T}_{p}\left(M\right)$
is completely reducible and the subspace
$V+iV$
is invariant under this action. Hence
${L}_{p}$
can in fact be embedded in
${U}_{n-d}\times {U}_{d}$
. Since
$dimO\left(p\right)\le 2d$
, it follows that
$${n}^{2}-1\le (n-d{)}^{2}+{d}^{2}+2d,$$
and therefore either
$d=0$
or
$d=n-1$
.

If
$d=0$
, then
$p$
is a fixed point for the action of
$G\left(M\right)$
on
$M$
. Then
${I}_{p}=G\left(M\right)$
and
${L}_{p}$
is isomorphic to
$G\left(M\right)$
. Since
$dim{L}_{p}={n}^{2}-1$
, we have
${L}_{p}=S{U}_{n}$
. The group
$S{U}_{n}$
acts transitively on directions in
${T}_{p}\left(M\right)$
.

Since
$d\left(M\right)>0$
, the manifold
$M$
is non-compact. Then, by [GK] ,
$M$
is holomorphically equivalent to
${B}^{n}$
, which is clearly impossible. A. V. Isaev Suppose that
$d=n-1$
. Then we have
$${n}^{2}-1=dim{L}_{p}+dimO\left(p\right)\le {n}^{2}-2n+2+dimO\left(p\right).$$
Hence
$dimO\left(p\right)\ge 2n-3$
, that is, either
$dimO\left(p\right)=2n-2$
, or
$dimO\left(p\right)=2n-3$
.

Suppose first that
$dimO\left(p\right)=2n-2$
. In this case we have
$iV=V$
, hence
$O\left(p\right)$
is a complex hypersurface. Then
$dim{L}_{p}=(n-1{)}^{2}$
. It now follows from the proof of Lemma 2.1 of [IKru1] that
${L}_{p}^{c}$
is either
${U}_{1}\times S{U}_{n-1}$
, or, for some
${k}_{1}$
,
${k}_{2}$
, the group
${H}_{{k}_{1},{k}_{2}}^{n}$
defined in ( 1.1 ). Therefore, if
$n\ge 3$
or
$n=2$
and
${L}_{p}^{c}={H}_{{k}_{1},{k}_{2}}^{2}$
for some
${k}_{1}$
,
${k}_{2}$
, then
${L}_{p}$
acts transitively on directions in
$V$
, and [GK] implies that
$O\left(p\right)$
is holomorphically equivalent to
${B}^{n-1}$
.

Let
$n\ge 3$
and
${L}_{p}^{c}={U}_{1}\times S{U}_{n-1}$
. It then follows (see, for example, Satz 4.3 of [Ka] ) that
${I}_{p}^{\prime}:={\alpha}_{p}^{-1}\left({U}_{1}\right)$
is the kernel of the action of
$G\left(M\right)$
on
$O\left(p\right)$
, in particular,
${I}_{p}^{\prime}$
is normal in
$G\left(M\right)$
. Therefore, the factor-group
$G\left(M\right)/{I}_{p}^{\prime}$
acts effectively on
$O\left(p\right)$
. Clearly,
$dimG\left(M\right)/{I}_{p}^{\prime}={n}^{2}-2$
. Thus, the group
$Aut\left(O\right(p\left)\right)$
is isomorphic to
$Aut\left({B}^{n-1}\right)$
(in particular, its dimension is
${n}^{2}-1$
) and has a codimension 1 (possibly non-closed) subgroup. However, the Lie algebra
$\mathfrak{s}{\mathfrak{u}}_{n-1,1}$
of the group
$Aut\left({B}^{n-1}\right)$
does not have codimension 1 subalgebras, if
$n\ge 3$
(see, e.g., [EaI] ). Thus, we have shown that if
$n\ge 3$
, then
${L}_{p}^{c}={H}_{{k}_{1},{k}_{2}}^{n}$
for some
${k}_{1},{k}_{2}$
.

Next, if
$n=2$
and
${L}_{p}^{c}={U}_{1}\times S{U}_{1}={U}_{1}$
, then the above argument shows that
$O\left(p\right)$
is a hyperbolic 1-dimensional manifold with automorphism group of dimension at least 2. Hence
$O\left(p\right)$
is holomorphically equivalent to
$\Delta $
if
${L}_{p}^{c}={U}_{1}$
as well.

Suppose that
${I}_{p}^{c}$
is isomorphic to
${H}_{{k}_{1},{k}_{2}}^{n}$
where
${k}_{1}\ne 0$
. Then
${L}_{p}^{c}$
acts as
${U}_{1}$
on the orthogonal complement to
$V$
. Therefore, in this case there are real hypersurface orbits in
$M$
arbitrarily close to
$O\left(p\right)$
.

Suppose now that
$dimO\left(p\right)=2n-3$
. In this case
$dim{I}_{p}={n}^{2}-2n+2$
.

Since
${L}_{p}$
can be embedded in
${U}_{1}\times {U}_{n-1}$
, we obtain
${L}_{p}={U}_{1}\times {U}_{n-1}$
. In particular,
${L}_{p}$
acts transitively on directions in
$V+iV$
. This is, however, impossible since
$V$
is of codimension 1 in
$V+iV$
and is
${L}_{p}$
-invariant.

Case 2.
${T}_{p}\left(M\right)=V+iV$
and
$r:=di{m}_{\mathbb{C}}(V\cap iV)>0$
.

Automorphism Groups of Hyperbolic Manifolds As above,
${L}_{p}$
can be embedded in
${U}_{n-r}\times {U}_{r}$
(clearly, we have
$r<n$
).

Moreover,
$V\cap iV\ne V$
and since
${L}_{p}$
preserves
$V$
, it follows that
$dim{L}_{p}<{r}^{2}+(n-r{)}^{2}$
. We have
$dimO\left(p\right)\le 2n-1$
, and therefore
$${n}^{2}-1<(n-r{)}^{2}+{r}^{2}+2n-1,$$
which shows that either
$r=1$
, or
$r=n-1$
. It then follows that
$dim{L}_{p}<{n}^{2}-2n+2$
. Therefore, we have
$${n}^{2}-1=dim{L}_{p}+dimO\left(p\right)<{n}^{2}-2n+2+dimO\left(p\right).$$
Hence
$dimO\left(p\right)>2n-3$
. Thus,
$dimO\left(p\right)=2n-1$
, or
$dimO\left(p\right)=2n-2$
.

Suppose that
$dimO\left(p\right)=2n-1$
. Let
$W$
be the orthogonal complement to
$V\cap iV$
in
${T}_{p}\left(M\right)$
. Clearly, in this case
$r=n-1$
and
$di{m}_{\mathbb{C}}W=1$
. The group
${L}_{p}$
is a subgroup of
${U}_{n}$
and preserves
$V$
,
$V\cap iV$
, and
$W$
; hence it preserves the line
$W\cap V$
. Therefore, it can act only as
$\pm id$
on
$W$
, that is,
${L}_{p}\subset {\mathbb{Z}}_{2}\times {U}_{n-1}$
. Since
$dim{L}_{p}=(n-1{)}^{2}-1$
, we have
${L}_{p}^{c}=S{U}_{n-1}$
. In particular,
${L}_{p}$
acts transitively on directions in
$V\cap iV$
, if
$n\ge 3$
. Hence, the orbit
$O\left(p\right)$
is either Levi-flat or strongly pseudoconvex for all
$n\ge 2$
.

Suppose first that
$n\ge 3$
and
$O\left(p\right)$
is Levi-flat. Then
$O\left(p\right)$
is foliated by connected complex manifolds. Let
${M}_{p}$
be the leaf passing through
$p$
.

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

Proof of Lemma 2.2 : The proof is similar to that of Proposition 3.1 of [I] . $$\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{\mathcal{L}}}_{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) |

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
$\stackrel{~}{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
$\stackrel{~}{Au{t}_{CR}^{c}}\left(O\right(p\left)\right)$
acts transitively on
$\stackrel{~}{O}\left(p\right)$
. Let
$G$
be the (possibly non-closed) subgroup of
$Au{t}_{CR}\left(\stackrel{~}{O}\right(p\left)\right)$
that consists of all
$CR$
-automorphisms of
$\stackrel{~}{O}\left(p\right)$
generated by this action. Observe that
$G$
is a Lie group isomorphic to the factor-group of
$\stackrel{~}{Au{t}_{CR}^{c}}\left(O\right(p\left)\right)$
by a discrete central subgroup. Let
$\Gamma \subset Au{t}_{CR}\left(\stackrel{~}{O}\right(p\left)\right)$
be the discrete subgroup whose orbits are the fibers of the covering
$\stackrel{~}{O}\left(p\right)\to O\left(p\right)$
. The group
$\Gamma $
acts freely properly discontinuously on
$\stackrel{~}{O}\left(p\right)$
, lies in the centralizer of
$G$
in
$Au{t}_{CR}\left(\stackrel{~}{O}\right(p\left)\right)$
and is isomorphic to
$H/{H}^{c}$
, with
$H={\pi}^{-1}\left({I}_{p}\right)$
, where
$\pi :\stackrel{~}{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
$\stackrel{~}{O}\left(p\right)$
is spherical, and there is a local
$CR$
-isomorphism
$\Pi $
from
$\stackrel{~}{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(\stackrel{~}{O}\right(p\left)\right)$
there is
$g\in Aut\left(D\right)$
such that Automorphism Groups of Hyperbolic Manifolds

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

$$\begin{array}{c}g\circ \Pi =\Pi \circ f.\end{array}$$ | (2.2) |

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:

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

If
$\stackrel{~}{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 ).

$$\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}$$ |

$$\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}$$ |

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

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{\u22c9}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$
.

$$\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) |

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{\u22c9}N$
, or
$n=3$
and
$G$
contains a subgroup of the form
$L\mathbb{\u22c9}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{\u22c9}N$
. The centralizer of
$S{U}_{n-1}\mathbb{\u22c9}N$
in
${U}_{n-1}\mathbb{\u22c9}N$
and that of
$L\mathbb{\u22c9}N$
in
${U}_{2}\mathbb{\u22c9}N$
consist of all maps of the form Automorphism Groups of Hyperbolic Manifolds

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

by means of the map Automorphism Groups of Hyperbolic Manifolds

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 $
.

$$\begin{array}{c}\begin{array}{ccc}{z}^{\prime}& \mapsto & {z}^{\prime},\\ {z}_{n}& \mapsto & {z}_{n}+i\alpha ,\end{array}\end{array}$$ | (2.4) |

$$\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) |

$$\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) |

Suppose finally that
$\stackrel{~}{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

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

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

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}$
.

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

$$\begin{array}{ccc}& & \end{array}$$ |

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

$$\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}$$ |

$$\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) |

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

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

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}$
.

$$\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) |

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

$$\begin{array}{ccc}& & \end{array}$$ |

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

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{\mathcal{L}}}_{m}}=S{U}_{n}/(S{U}_{n}\cap {\mathbb{Z}}_{m})$
for
$m>1$
; (ii)
${R}_{\sigma}=S{U}_{n-1}\mathbb{\u22c9}N$
; (iii)
${R}_{\delta}$
consists of all maps of the form

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{\mathcal{L}}}_{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{\mathcal{L}}}_{m}\right)$
by lifting
$CR$
-automorphisms of
${\mathcal{\mathcal{L}}}_{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{\mathcal{L}}}_{m}}$
is of codimension 1 in
$Au{t}_{CR}\left({\mathcal{\mathcal{L}}}_{m}\right)$
, we obtain
${R}_{{\mathcal{\mathcal{L}}}_{m}}=S{U}_{n}/(S{U}_{n}\cap {\mathbb{Z}}_{m})$
. $$\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}$$ |

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{\u22c9}N$
, or, for
$n=3$
, contains a subgroup
$L\mathbb{\u22c9}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

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}$
.

$$\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) |

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{\mathcal{L}}}_{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{\mathcal{L}}}_{m}$
be a
$CR$
-isomorphism.

Then we have Automorphism Groups of Hyperbolic Manifolds

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{\mathcal{L}}}_{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.

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

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{\mathcal{L}}}_{k}$
for some
$k>1$
be the model for
$O\left(x\right)$
and
${f}_{1}:O\left(x\right)\to {\mathcal{\mathcal{L}}}_{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{\mathcal{L}}}_{m}$
and
${\mathcal{\mathcal{L}}}_{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

we obtain a biholomorphic extension of
$f$
to
$D\cup V$
. By construction,
$\stackrel{~}{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.

$$\begin{array}{c}\stackrel{~}{f}:=\{\begin{array}{c}fonD\\ {f}_{1}\circ {F}^{-1}onV,\end{array}\end{array}$$ | (2.11) |

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{\u22c9}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.

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

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)$
.

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) |

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

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

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. $$\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}$$ |

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

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

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

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

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

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$
.

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

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

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

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

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

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

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

$$\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}& \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}& \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}& \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}$$ |

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

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.

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

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

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:

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.

$$\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) |

$$\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}& \end{array}$$ |

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

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

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

$$\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}$$ |

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

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}$
.

$$\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}$$ |

References

- Alekseevsky, D. V., On perfect actions of Lie groups (translated from Russian), Russian Math. Surveys 34(1979), 215–216.
- Alekseevsky, A. V. and Alekseevsky, D. V., Riemann $G$ -manifolds with one-dimensional orbit space, Ann. Global Anal. Geom. 11(1993), 197–211.
- Alekseevskii, A. V. and Alekseevskii, D. V., $G$ -manifolds with one-dimensional orbit space, Advances in Soviet Math. 8(1992), 1–31.
- Bérard-Bergery, L., Sur de nouvelles varietes riemanniennes d'Einstein, Publ. Inst. E. Cartan 4(1982), 1–60.
- Burns, D. and Shnider, S., Spherical hypersurfaces in complex manifolds, Invent. Math. 33(1976), 223–246.
- 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).
- A. V. Isaev Chern, S. S. and Moser, J. K., Real hypersurfaces in complex manifolds, Acta Math. 133(1974), 219–271.
- 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.
- 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.
- 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.
- 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.
- 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.
- Isaev, A. V. and Krantz, S. G., On the automorphism groups of hyperbolic manifolds, to appear in J. Reine Angew. Math. in 2001.
- Isaev, A. V. and Kruzhilin, N. G., Effective actions of the unitary group on complex manifolds, Canad. J. Math. 54(2002), 1254–1279.
- 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.
- Automorphism Groups of Hyperbolic Manifolds Kaup, W., Reelle Transformationsgruppen und invariante Metriken auf komplexen Räumen, Invent. Math. 3(1967), 43–70.
- 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.
- Kobayashi, S., Hyperbolic Manifolds and Holomorphic Mappings, Marcel Dekker, New York 1970.
- Kruzhilin, N. G. and Loboda, A. V., Linearization of automorphisms of pseudoconvex hypersurfaces (translated from Russian), Sov. Math. Dokl. 28(1983), 70–72.
- Kaup, W., Matsushima, Y. and Ochiai, T., On the automorphisms and equivalences of generalized Siegel domains, Amer. J. Math. 92(1970), 475–497.
- Mostert, P. S., On a compact Lie group acting on a manifold, Ann. Math. 65(1957), 447–455.
- Nakajima, K., Homogeneous hyperbolic manifolds and homogeneous Siegel domains, J. Math. Kyoto Univ. 25(1985), 269–291.
- Palais, R. S., On the existence of slices for actions of non-compact Lie groups, Ann. Math. 73(1961), 295–323.
- Pyatetskii-Shapiro, I., Automorphic Functions and the Geometry of Classical Domains (translated from Russian), Gordon and Breach, 1969.
- Stake, I., Algebraic Structures of Symmetric Domains, $Kan\hat{o}$ Mem. Lect. 4, Princeton University Press, 1980.