arxiv:math/ v3 [math.cv] 7 Dec 2006

Transcription

1 arxiv:math/ v3 [math.cv] 7 Dec 2006 Proper Actions of High-Dimensional Groups on Complex Manifolds A. V. Isaev We explicitly classify all pairs (M,G), where M is a connected complex manifold of dimension n 2 and G is a connected Lie group acting properly and effectively on M by holomorphic transformations and having dimension d G satisfying n d G < n 2 + 2n. These results generalize some of our earlier work on Kobayashi-hyperbolic manifolds with high-dimensional automorphism group. 0 Introduction Let M be a connected complex manifold and Aut(M) the group of holomorphic automorphisms of M. Equipped with the compact-open topology, Aut(M) is a Hausdorff topological group. A topological group G is said to act continuously on M by holomorphic transformations, if a continuous homomorphism Φ : G Aut(M) is specified. The continuity of Φ is equivalent to the continuity of the action map G M M, (g, p) gp, where gp := Φ(g)(p). We assume that the action is effective, i.e. that Φ is a monomorphism. The action of G on M is called proper if the map Ψ : G M M M, (g, p) (gp, p), is proper, i.e. for every compact subset K M M its inverse image Ψ 1 (K) G M is compact as well. For example, the action is proper if G is compact. The properness of the action implies, in particular, that: (i) G and Φ(G) are isomorphic as topological groups (see e.g. [Bi]), (ii) Φ(G) is closed in Aut(M), (iii) G is locally compact and hence is a Lie transformation group in the sense that G carries the structure of a Lie group and the action map Mathematics Subject Classification: 32Q57, 32M10. Keywords and Phrases: complex manifolds, proper group actions.

2 2 A. V. Isaev is real-analytic (see [BM1], [BM2], [MZ]). Thus, without loss of generality, we can assume that G is a Lie group acting properly and real-analytically on the manifold M, and that it is realized as a closed subgroup of Aut(M). Proper actions possess many of the useful properties of compact group actions. In particular, if G acts properly, one can find a G-invariant distance on M that induces the topology of M (see [P]). Conversely, it was shown in [Ka] that every closed subgroup of Aut(M) that preserves a continuous distance on M acts properly on M. Thus, groups acting properly and effectively on M by holomorphic transformations are precisely closed subgroups of Aut(M) preserving a continuous distance on M. For example, if M is Kobayashi-hyperbolic, then Aut(M) is a Lie group acting properly on M (see [Ko1]). If G acts on M properly, then for every p M its isotropy subgroup I p := {g G : gp = p} is compact in G and the orbit O(p) := {gp : g G} is a closed submanifold in M (see e.g. [Bi]). Let L p := {dg p : g I p } be the linear isotropy subgroup of p, where dg p denotes the differential of a map g at p. Clearly, L p is a subgroup of GL(C, T p (M)), where T p (M) is the tangent space to M at p. Let α p : I p L p, g dg p be the isotropy representation at p. This representation is continuous, and therefore L p is compact, which implies that in some coordinates in T p (M) the group L p becomes a subgroup of the unitary group. In particular, if dim C M = n, we have dim L p n 2. In fact, the action of L p on T p (M) contains all information about the action of I p near p, since by Bochner s linearization theorem (see [Bo], [Ka]), there exist an I p -invariant neighborhood V of p in M, an L p -invariant neighborhood U of the origin in T p (M) and a biholomorphic map F : V U, with F(p) = 0, such that for every g I p the following holds in V: F g = α p (g) F. In particular, α p is faithful and thus I p is isomorphic to L p. Let d G := dim G. For every point p M we then have d G = dim I p + dim O(p) n 2 + 2n. It was shown in [Ka] that if d G = n 2 + 2n, then M is holomorphically equivalent to one of B n := {z C n : z < 1}, C n, CP n, and an equivalence

3 Proper Actions on Complex Manifolds 3 map F can be chosen so that the group F G F 1 := {F g F 1 : g G} is, respectively, one of the groups Aut(B n ), G(C n ), G(CP n ). Here Aut(B n ) PSU n,1 := SU n,1 /(center) is the group of all transformations where z Az + b cz + d, ( A b c d ) SU n,1, G (C n ) U n C n is the group of all holomorphic automorphisms of C n of the form z Uz + a, (0.1) where U U n, a C n, and G (CP n ) PSU n+1 := SU n+1 /(center) is the group of all holomorphic automorphisms of CP n of the form ζ Uζ, where ζ is a point in CP n given in homogeneous coordinates, and U SU n+1 (this group is a maximal compact subgroup of the complex Lie group Aut(CP n ) PSL n+1 (C) := SL n+1 (C)/(center)). In the above situation we say for brevity that F transforms G into one of Aut(B n ), G(C n ), G(CP n ), and, in general, if F : M 1 M 2 is a biholomorphic map, G j Aut(M j ), j = 1, 2, are subgroups and F G 1 F 1 = G 2, we say that F transforms G 1 into G 2. We are interested in characterizing pairs (M, G) for d G < n 2 + 2n, where G Aut(M) acts on M properly. In [IKra], [I1], [I2], [I3] we considered the special case where M is a Kobayashi-hyperbolic manifold and G = Aut(M), and explicitly determined all manifolds with n 2 1 d Aut(M) < n 2 + 2n, n 2 (see [I4] for a comprehensive exposition of these results). The case d Aut(M) = n 2 2 represents the first obstruction to the existence of an explicit classification, namely, there is no good classification for n = 2, d Aut(M) = 2 (see [I1], [I4]). Our goal is to generalize these results to arbitrary proper actions on not necessarily Kobayashi-hyperbolic manifolds by classifying all pairs (M, G) with n 2 1 d G < n 2 + 2n, n 2, where G is assumed to be connected. One motivation for such a generalization comes naturally from our considerations in the Kobayashi-hyperbolic case: indeed, a large number of manifolds that admit proper actions of high-dimensional groups

4 4 A. V. Isaev arose in the course of proof and were ruled out solely on the basis of their non-hyperbolicity, whereas a general classification must of course include all such manifolds. We note that proper group actions on smooth manifolds had been extensively studied in the past. It was shown in [MS] that for a Riemannian manifold M the group of isometries equipped with the compact-open topology acts properly on M. Conversely, for every Lie group G acting properly on a manifold M, there exists a smooth G-invariant Riemannian metric on M (see [P]). Hence Lie groups acting properly and effectively on M by diffeomorphisms can be described precisely as closed subgroups of the isometry groups of all possible Riemannian metrics on M. It is not hard to show that if G acts properly on M, then dim G m(m+1)/2, where m := dim M, and that the maximal value m(m+1)/2 occurs only for manifolds isometric to one of R m, S m, RP m, H m (the hyperbolic space). Subgroups of lower dimensions turned out to be much more difficult to deal with. As a result of research activities of the 1950 s-70 s, a complete description of pairs (M, G), where G is connected and either m 5, m(m 1)/2+1 dim G m(m+1)/2 1, or m 6, (m 1)(m 2)/2 + 2 dim G m(m 1)/2, was produced. There are many other related results (especially for compact groups), but no complete classifications exist beyond dimension (m 1)(m 2)/2+2. Details can be found in [Y], [Ko2], [KN] and references therein. For a complex manifold of dimension n we have m = 2n and hence n 2 +2n < (m 1)(m 2)/2+2, if n 5. Therefore, the group dimension range that arises in the complex case, for n 5 lies strictly below the dimension range considered in the classical real case and thus is not covered by the existing results. Furthermore, overlaps with these results for n = 2, 3, 4 occur only in relatively easy situations and do not lead to any simplification in the complex case. The classification problem described above naturally splits into two cases: that of G-homogeneous manifolds and that of non G-homogeneous ones (note that due to [Ka] G-homogeneity always takes place for d G > n 2 ). While the techniques that we developed for non-homogeneous Kobayashihyperbolic manifolds seem to work well for the non G-homogeneous case, classifying G-homogeneous manifolds is substantially more difficult than homogeneous Kobayashi-hyperbolic ones. Indeed, due to [N] every homogeneous Kobayashi-hyperbolic manifold is holomorphically equivalent to a Siegel domain of the second kind, and therefore such manifolds can be studied by using techniques available for Siegel domains (see e.g. [S]). This is how homogeneous Kobayashi-hyperbolic manifolds with n 2 1 d Aut(M) < n 2 +2n,

5 Proper Actions on Complex Manifolds 5 n 2, were determined in [IKra], [I1], [I2] (see also [I4]). The above approach clearly does not work for general G-homogeneous manifolds. For such manifolds the following holds: dim I p = d G 2n. (0.2) Hence for n 2 1 d G < n 2 + 2n we have n 2 2n 1 dim I p < n 2. Our method of studying G-homogeneous manifolds with compact isotropy subgroups within the above dimension range is based on describing subgroups of the unitary group U n of respective dimensions. In the present paper we deal with manifolds equipped with proper actions for which n 2 +2 d G < n 2 +2n. All such manifolds are G-homogeneous, and our proofs use the description of connected closed subgroups H U n with n 2 2n+2 dim H < n 2 obtained in [IKra] (see also [I4]). The first step towards a general classification for proper actions was in fact made in [IKra] where we observed that if d G n 2 +3, then, as in the case d G = n 2 +2n, the manifold must be holomorphically equivalent to one of B n, C n, CP n. However, in [IKra] we did not investigate the question what groups (if any) are possible for each of these three manifolds within the dimension range n d G < n 2 + 2n. We resolve this question in Theorem 1.1 (see Section 1). The main result of the paper is contained in Section 2, where we give a complete classification of all pairs (M, G) with d G = n in Theorem 2.1. For the reasons explained above, the proof of Theorem 2.1 is substantially more difficult than that of its counterpart for Kobayashi-hyperbolic manifolds obtained in [IKra]. Working with lower values of d G requires further analysis of subgroups of U n. For example, for the case d G = n one needs a description of closed connected (n 1) 2 -dimensional subgroups. A certain description of such subgroups was given in Lemma 2.1 of [IKru], but at this stage it is unclear whether or not it is sufficient for obtaining a complete classification for d G = n The case n d G < n 2 + 2n In this section we prove the following theorem.

6 6 A. V. Isaev THEOREM 1.1 Let M be a connected complex manifold of dimension n 2 and G Aut(M) a connected Lie group that acts properly on M and has dimension d G satisfying n 2 +3 d G < n 2 +2n. Then one of the following holds: (i) M is holomorphically equivalent to C n by means of a map that transforms G into the group G 1 (C n ) which consists of all maps of the form (0.1) with U SU n (here d G = n 2 + 2n 1); (ii) n = 4 and M is holomorphically equivalent to C 4 by means of a map that transforms G into the group G 2 (C 4 ) which consists of all maps of the form (0.1) for n = 4 with U e ir Sp 2 (here d G = n = 19). Proof: Fix p M. It follows from (0.2) that n 2 2n + 3 dim L p < n 2. Choose coordinates in T p (M) so that L p U n. Then Lemma 2.1 in [IKra] (see also Lemma 1.4 in [I4]) implies that the connected identity component L c p of L p either is SU n or, for n = 4, is conjugate in U 4 to e ir Sp 2. In both cases, it follows that L p acts transitively on (real) directions in T p (M), that is, for any two non-zero vectors v 1, v 2 T p (M) there exists h L p such that hv 1 = λv 2 for some λ R (observe that the standard action of Sp 2 on C 4 is transitive on the sphere S 7 = B 4 ). Now the result of [GK] gives that if M is non-compact, it is holomorphically equivalent to one of B n, C n, and an equivalence map can be chosen so that it maps p into the origin and transforms I p into a subgroup of U n G(C n ); it then follows that one can find an equivalence map that transforms I c p either into SU n or, for n = 4, into e ir Sp 2. Furthermore, the result of [BDK] gives that if M is compact, it is holomorphically equivalent to CP n. Suppose first that L c p = SU n. In this case d G = n 2 + 2n 1. If M is holomorphically equivalent to B n, then the equivalence map transforms G into a closed subgroup of codimension 1 in Aut(B n ). However, the Lie algebra of Aut(B n ) is isomorphic to su n,1, and it was shown in [EaI] that for n 2 this algebra does not have codimension 1 subalgebras. Thus, M cannot be equivalent to B n. Next, if M is equivalent to CP n, the group G is compact. Therefore, the equivalence map transforms G into a closed codimension 1 subgroup of a maximal compact subgroup in Aut(CP n ). It then follows that one can find an equivalence map that transforms G into a closed codimension 1 subgroup of G(CP n ). Since G(CP n ) is isomorphic to PSU n+1, we obtain Here Sp 2 denotes the standard compact real form of Sp 4 (C).

7 Proper Actions on Complex Manifolds 7 that SU n+1 has a closed codimension 1 subgroup, which contradicts Lemma 2.1 in [IKra] (see also Lemma 1.4 in [I4]). Thus, M cannot be equivalent to CP n either. Assume finally that M is equivalent to C n and let F be an equivalence map that transforms I c p into SU n G(C n ). We will show that F transforms G into G 1 (C n ). We only give a proof for n = 2 (hence d G = 7); the general case is completely analogous, albeit more complicated notationally, and we leave details to the reader. Denote by (z, w) coordinates in C 2 and let g be the Lie algebra of holomorphic vector fields on C 2 arising from the action of F G F 1. Since F G F 1 acts on C 2 transitively, the algebra g is generated by su 2 (realized as the algebra of vector fields corresponding to the standard action of SU 2 on C 2 ), and some vector fields Y j = f j / z + g j / w, j = 1, 2, 3, 4. Here the functions f j, g j, j = 1, 2, 3, 4, are holomorphic on C 2 and satisfy the conditions f 1 (0) = 1, g 1 (0) = 0, f 2 (0) = i, g 2 (0) = 0, f 3 (0) = 0, g 3 (0) = 1, f 4 (0) = 0, g 4 (0) = i. To prove that F G F 1 = G 1 (C n ), it is sufficient to show that Y j can be chosen as follows: Y 1 = / z, Y 2 = i / z, (1.1) Y 3 = / w, Y 4 = i / w. We fix the following generators in su 2 : A straightforward calculation gives X 1 := iz / z iw / w, X 2 := w / z z / w, X 3 := iw / z + iz / w. [Y 1, X 1 ](0) = (i, 0), [Y 2, X 1 ](0) = (1, 0).

8 8 A. V. Isaev It then follows that which implies This identity yields ( z f 1 z 3w f 1 w 2 f 1 z2 z + 2 Y 1 = [Y 2, X 1 ] (mod su 2 ), Y 2 = [Y 1, X 1 ] (mod su 2 ), Y 1 = [[Y 1, X 1 ], X 1 ] (mod su 2 ). ) 2zw 2 f 1 z w 2 f 1 w2 / z+ ( w 2 3z g 1 z + w g 1 w 2 g 1 z2 z + 2 ) 2zw 2 g 1 z w 2 g 1 w2 / w = 0 (mod su w 2 2 ). (1.2) (1.3) Representing the functions f 1 and g 1 as power series around the origin, plugging these representations into (1.3) and collecting terms of fixed orders, we obtain ( ( Y 1 = 1 + αm z m w m + α m zm+1 w m 1)) / z+ ( m=1 ( βm z m w m + β m zm 1 w m+1)) / w (mod su 2 ), m=1 for some α m, α m, β m, β m C. Adding to Y 1 an element of su 2 if necessary, we can assume that Y 1 has no linear terms, that is, ( ( Y 1 = 1 + αm z m w m + α m zm+1 w m 1)) / z+ ( m=1 (1.4) ( βm z m w m + β m zm 1 w m+1)) / w. m=1 Further, (1.2) gives Y 2 = [[Y 2, X 1 ], X 1 ] (mod su 2 ),

9 Proper Actions on Complex Manifolds 9 and applying an analogous argument to Y 2 yields that Y 2 can be chosen to have the form ( Y 2 = i + ( αm z m w m + α m zm+1 w m 1)) / z+ ( m=1 ( βm z m w m + β ) ) (1.5) m zm 1 w m+1 / w. m=1 for some α m, α m, β m, β m identities (1.2) implies C. Next, plugging (1.4), (1.5) into either of α m = iα m, α m = iα m, β m = iβ m, β m = iβ m, for all m N. We also observe that considering [Y 3, X 1 ] and [Y 4, X 1 ] yields that Y 3, Y 4 can be chosen to have the forms ( ( Y 3 = γm z m w m + γ m zm+1 w m 1)) / z+ ( m=1 ( 1 + δm z m w m + δ m zm 1 w m+1)) / w, m=1 ( ( Y 4 = iγm z m w m + iγ mz m+1 w m 1)) / z+ ( m=1 ( i + iδm z m w m iδ mz m 1 w m+1)) / w, m=1 for some γ m, γ m, δ m, δ m C. Further, computing [Y j, X 2 ] for j = 1, 2, 3, 4 and collecting terms of orders 2 and greater, we get α m = α m = β m = β m = γ m = γ m = δ m = δ m = 0, m 2, α 1 = β 1, β 1 = α 1, γ 1 = δ 1, δ 1 = γ 1. Next, we have [Y 1, Y 2 ] = 2iβ 1 (2z / z + w / w).

10 10 A. V. Isaev Hence [Y 1, Y 2 ] = 0 (mod su 2 ), which can only hold if β 1 = 0. Similarly, considering [Y 3, Y 4 ] leads to γ 1 = 0. Finally, we compute [Y 1, Y 3 ], [Y 1, Y 4 ] and see that α 1 = δ 1 = 0. Thus, Y j chosen as above (that is, not having linear terms) are in fact given by (1.1), and we have obtained (i) of the theorem. Suppose next that n = 4 and L c p is conjugate in U 4 to e ir Sp 2. In this case d G = n = 19. If M is equivalent to CP 4, the group G is compact. Therefore, one can find an equivalence map that transforms G into a closed 19-dimensional subgroup of G(CP 4 ). Since G(CP 4 ) is isomorphic to PSU 5, we obtain that SU 5 has a closed 19-dimensional subgroup, which contradicts Lemma 2.1 in [IKra] (see also Lemma 1.4 in [I4]). Thus, M cannot be equivalent to CP 4. Assume now that n = 4, the manifold M is equivalent to one of B 4, C 4 and let F be an equivalence map that transforms I c p into e ir Sp 2 G(C 4 ). We will show that F transforms G into G 2 (C 4 ). Let g be the Lie algebra of holomorphic vector fields on one of B 4, C 4, respectively, arising from the action of F G F 1. Since F G F 1 contains the one-parameter subgroup z e it z, t R, the algebra g contains the vector field Z 0 := i 4 z k / z k. k=1 Hilfssatz 4.8 of [Ka] then gives that every vector field in g is polynomial and has degree at most 2. Since F G F 1 acts transitively on one of B 4, C 4, the algebra g is generated by Z 0 sp 2 (where Z 0 is the one-dimensional algebra spanned by Z 0 and sp 2 denotes the Lie algebra of Sp 2 realized as the algebra of vector fields corresponding to the standard action of Sp 2 on C 4 ), and some vector fields V j = W j = 4 fj k / z k, k=1 4 gj k / z k, k=1 (1.6) for j = 1, 2, 3, 4. Here f k j, g k j are holomorphic polynomials of degree at most 2 such that f k j (0) = δk j, gk j (0) = iδk j. (1.7)

11 Proper Actions on Complex Manifolds 11 Considering [Z 0, [V j, Z 0 ]], [Z 0, [W j, Z 0 ]] instead of V j, W j if necessary, we can assume that V j, W j, j = 1, 2, 3, 4, have no linear terms (see the proof of Satz 4.9 in [Ka]). Thus, we have f k j = δk j + second-order terms, gk j = iδk j + second-order terms. To prove that F maps M onto C 4 and F G F 1 = G 2 (C 4 ), it is sufficient to show that all the second-order terms identically vanish, that is, f k j δk j, gk j iδk j. (1.8) Introduce the following vector fields from Z 0 sp 2 : Z 1 := iz 1 / z 1 + iz 4 / z 4, Z 2 := iz 2 / z 2 iz 4 / z 4, Z 3 := iz 3 / z 3 + iz 4 / z 4, Z 4 := z 4 / z 2 z 2 / z 4, Z 5 := iz 4 / z 2 + iz 2 / z 4, Z 6 := z 2 / z 1 z 1 / z 2 + z 4 / z 3 z 3 / z 4, Z 7 := iz 2 / z 1 + iz 1 / z 2 iz 4 / z 3 iz 3 / z 4, Z 8 := z 3 / z 1 z 1 / z 3, Z 9 := iz 3 / z 1 + iz 1 / z 3. (1.9) It is straightforward to see that the commutators [V 1, Z 2 ] and [V 1, Z 3 ] vanish at the origin and have no linear terms. Hence these commutators are equal to 0, which implies that V 1 has the form V 1 = (1 + αz 2 1 ) / z 1 + βz 1 z 2 / z 2 + (γz 1 z 3 + δz 2 z 4 ) / z 3 + εz 1 z 4 / z 4, (1.10) for some α, β, γ, δ, ε C. Similarly, considering [W 1, Z 2 ] and [W 1, Z 3 ] gives W 1 = (i + α z 2 1 ) / z 1 + β z 1 z 2 / z 2 + (γ z 1 z 3 + δ z 2 z 4 ) / z 3 + ε z 1 z 4 / z 4, (1.11) for some α, β, γ, δ, ε C. Consider the commutator [V 1, Z 1 ]. It is straightforward to see from (1.10) that [V 1, Z 1 ] does not have linear terms and that [V 1, Z 1 ] W 1 vanishes at the origin. Hence [V 1, Z 1 ] = W 1 which implies that in (1.11) we have α = iα, β = iβ, γ = iγ, δ = iδ, ε = iε.

12 12 A. V. Isaev Then [V 1, W 1 ] = 2i (2αz 1 / z 1 + βz 2 / z 2 + γz 3 / z 3 + εz 4 / z 4 ). Therefore, [V 1, W 1 ] = 0 (mod Z 0 sp 2 ), which can only hold if Next, we compute ε = 2α β + γ. (1.12) [V 1, Z 4 ] = (ε β)z 1 z 4 / z 2 + δ(z 2 2 z 2 4) / z 3 + (ε β)z 1 z 2 / z 4. Since [V 1, Z 4 ] does not have linear terms and vanishes at the origin, it vanishes identically, that is, we have ε = β, δ = 0. (1.13) Further, computing the commutators [V 2, Z 1 ] and [V 2, Z 3 ], we obtain analogously to (1.10) V 2 = κz 1 z 2 / z 1 + (1 + λz 2 2 ) / z 2 + µz 2 z 3 / z 3 + (νz 1 z 3 + ξz 2 z 4 ) / z 4, (1.14) for some κ, λ, µ, ν, ξ C. In addition, it is straightforward to see that [V 1, Z 6 ] does not have linear terms and that [V 1, Z 6 ]+V 2 vanishes at the origin. Hence we have [V 1, Z 6 ] = V 2. (1.15) Formulas (1.14) and (1.15) imply Now (1.12), (1.13), (1.16) yield and therefore It then follows from (1.15) that β = α, ε = γ δ. (1.16) α = β = γ = δ = ε = 0, V 1 = / z 1, W 1 = i / z 1. V 2 = / z 2.

13 Proper Actions on Complex Manifolds 13 Next, we have [V 1, Z 7 ] = i / z 2, [V 1, Z 8 ] = / z 3, [V 1, Z 9 ] = i / z 3, [V 2, Z 4 ] = / z 4, [V 2, Z 5 ] = i / z 4, (1.17) hence the vector fields in the right-hand side of formulas (1.17) lie in g. Since W 2 i / z 2, V 3 / z 3, W 3 i / z 3, V 4 / z 4, W 4 i / z 4 have no linear terms and vanish at the origin, they vanish identically and we obtain W 2 = i / z 2, V 3 = / z 3, W 3 = i / z 3, V 4 = / z 4, W 4 = i / z 4. Thus, (1.8) holds, and we have obtained (ii) of the theorem. The proof is complete. (1.18) 2 The case d G = n In this section we obtain our main result. THEOREM 2.1 Let M be a connected complex manifold of dimension n 2 and G Aut(M) a connected Lie group that acts properly on M and has dimension d G = n Then one of the following holds: (i) M is holomorphically equivalent to M M, where M is one of B n 1, C n 1, CP n 1, and M is one of B 1, C 1, CP 1 ; an equivalence map can be chosen so that it transforms G into G G, where G is one of Aut(B n 1 ), G(C n 1 ), G(CP n 1 ), and G is one of Aut(B 1 ), G(C 1 ), G(CP 1 ), respectively; (ii) n = 4 and M is holomorphically equivalent to C 4 by means of a map that transforms G into the group G 3 (C 4 ) which consists of all maps of the form (0.1) for n = 4 with U Sp 2. Proof: Fix p M. It follows from (0.2) that dim L p = n 2 2n + 2. Choose coordinates in T p (M) so that L p U n. Then Lemma 2.1 in [IKra] implies

14 14 A. V. Isaev that the connected identity component L c p of L p either is conjugate in U n to U n 1 U 1 or, for n = 4, is conjugate in U 4 to Sp 2. Suppose first that L c p is conjugate to U n 1 U 1. By Bochner s linearization theorem (see [Bo]) there exist an I p -invariant neighborhood V of p in M, an L p -invariant neighborhood U of the origin in T p (M) and a biholomorphic map F : V U, with F(p) = 0, such that for every g I p the following holds in V: F g = α p (g) F, where α p is the isotropy representation at p. Let g M be the Lie algebra of holomorphic vector fields on M arising from the action of G, and g V the Lie algebra of the restrictions of the elements of g M to V. Denote by g the Lie algebra of vector fields on U obtained by pushing forward the elements of g V by means of F. Observe that g M, g V, g are naturally isomorphic, and we denote by ϕ : g M g the isomorphism induced by F. Choose coordinates (z 1,..., z n ) in T p (M) so that in these coordinates L c p is the group of matrices of the form ( A 0 0 e iα ), (2.1) where A U n 1, α R. Since F transforms Ip c V into L c p U and since G acts transitively on M, the algebra g is generated by u n 1 u 1 and some vector fields n V j = fj k / z k, W j = k=1 n gj k / z k, for j = 1,...,n, where f k j, g k j are holomorphic functions on U such that k=1 f k j (0) = δ k j, g k j (0) = iδ k j. Here u n 1 u 1 is realized as the algebra of vector fields on U of the form n 1 (a j 1 z a j n 1 z n 1 ) / z j + iaz n / z n, (2.2) j=1

15 Proper Actions on Complex Manifolds 15 where a a 1 n 1... a n a n 1 n 1 and a R. Observe that g contains the vector field Z 0 := i n z k / z k. k=1 u n 1, Therefore, due to Hilfssatz 4.8 of [Ka], every vector field in g is polynomial and has degree at most 2. Next, considering [Z 0, [V j, Z 0 ]], [Z 0, [W j, Z 0 ]] instead of V j, W j if necessary, we can assume that V j, W j, j = 1,...,n, have no linear terms. Furthermore, g contains the vector fields Z k := iz k / z k, k = 1,...,n. Since for each j = 1,...,n the commutators [V j, Z k ] and [W j, Z k ], with k j, vanish at the origin and do not contain linear terms, they vanish identically, which gives V j = k j α k j z kz j / z k + (1 + α j j z2 j ) / z j, W j = k j β k j z k z j / z k + (i + β j j z2 j) / z j, for some α k j, βk j C (cf. the proof of Proposition 4.9 of [Ka]). Next, [V j, Z j ] has no linear terms and [V j, Z j ](0) = (0,...,0, i, 0,..., 0), where i occurs in the jth position. Hence [V j, Z j ] = W j which implies β k j = iαk j, for all j, k. Now, for j = 1,...,n 1 consider the commutator [V j, V n ]. Clearly, the linear part L j of this commutator must be an element of u n 1 u 1. It is straightforward to see that L j = α j n z n / z j α n j z j / z n,

16 16 A. V. Isaev which can lie in u n 1 u 1 only if αj n = αj n = 0 (see (2.2)). Thus, we have shown that for j = 1,...,n 1 the vector fields V j, W j do not depend on z n and the vector fields V n, W n do not depend on z j. Accordingly, we have g = g 1 g 2, where g 1 is the ideal generated by u n 1 and V j, W j, for j = 1,..., n 1, and g 2 is the ideal generated by u 1 and V n, W n. Let G j be the connected normal (possibly non-closed) subgroup of G with Lie algebra g j := ϕ 1 (g j ) g M for j = 1, 2. Clearly, for each j the subgroup G j contains αp 1 (L j,p ) Ip c, where L 1,p U n 1 and L 2,p U 1 are the subgroups of L c p given by α = 0 and A = id in formula (2.1), respectively. Let O j (p) := G j p := {gp, g G j } be the orbit of p and I j,p := {g G j : gp = p} its isotropy subgroup under the G j -action for j = 1, 2. Clearly, for each j we have Ij,p c = α 1 p (L j,p ). Furthermore, for each j there exists a neighborhood W j of the identity in G j such that W 1 p = F 1 (U {z n = 0}), W 2 p = F 1 (U {z 1 =... = z n 1 = 0}), for some neighborhood U U of the origin in T p (M). It then follows that the ideal g j consists exactly of those vector fields from g M that are tangent to O j (p) for j = 1, 2. Next, since L j,p acts transitively on real directions in T p (O j (p)) for j = 1, 2, by [GK], [BDK] we obtain that O 1 (p) is holomorphically equivalent to one of B n 1, C n 1, CP n 1 and O 2 (p) is holomorphically equivalent to one of B 1, C 1, CP 1. We will now show that each G j is closed in G. We assume that j = 1; for j = 2 the proof is identical. Let U be a neighborhood of 0 in g M where the exponential map into G is a diffeomorphism, and let V := exp(u). To prove that G 1 is closed in G it is sufficient to show that for some neighborhood W of e G, W V, we have G 1 W = exp( g 1 U) W. Assuming the opposite we obtain a sequence {g j } of elements of G 1 converging to e in G such that for every j we have g j = exp(a j ) with a j U \ g 1. Observe now that there exists a neighborhood V of p in M foliated by complex submanifolds holomorphically equivalent to B n 1 in such a way that the leaf passing through p lies in O 1 (p). Specifically, we take V := F 1 (U ) for a suitable neighborhood U U of the origin in T p (M), and the leaves of the foliation are then given as F 1 (U {z n = const}). For every s V we denote by N s the leaf of the foliation passing through s. Observe that for every s V vector fields from g 1 are tangent to N s at every point. Let

17 Proper Actions on Complex Manifolds 17 p j := g j p. If j is sufficiently large, we have p j V. We will now show that N pj N p for large j. Let U U U be neighborhoods of 0 in g M such that: (a) exp(u ) exp(u ) exp(u ); (b) exp(u ) exp(u ) exp(u); (c) U = U ; (d) I 1,p exp(u ) exp( g 1 U ). We also assume that V is chosen so that N p exp( g 1 U )p. Suppose that p j N p. Then p j = sp for some s exp( g 1 U ) and hence t := g 1 j s is an element of I 1,p. For large j we have g 1 j exp(u ). Condition (a) now implies that t exp(u ) and hence by (c), (d) we have t 1 exp( g 1 U ). Therefore, by (b) we obtain g j exp( g 1 U) which contradicts our choice of g j. Thus, for large j the leaves N pj are distinct from N p. Furthermore, they accumulate to N p O 1 (p). At the same time, since vector fields from g 1 are tangent to every N pj, we have N pj O 1 (p) for all j, and thus the orbit O 1 (p) accumulates to itself. Below we will show that this is in fact impossible thus obtaining a contradiction. Clearly, we only need to consider the case when O 1 (p) is equivalent to one of B n 1, C n 1. Consider the action of I1,p c on O 1 (p). By the result of [GK], the orbit O 1 (p) is holomorphically equivalent to one of B n 1, C n 1 by means of a map that maps p into the origin and transforms I1,p c into U n 1 G(C n 1 ). Hence the orbit O (s) of every point s O 1 (p), s p, of the I1,p-action c is diffeomorphic to the sphere S 2n 3 and we have O 1 (p) \O (s) = V 1 (s) V 2 (s), where V 1 (s), V 2 (s) are open and disjoint in O 1 (p), the point p lies in V 1 (s), and V 2 (s) is diffeomorphic to a spherical shell in C n 1. Since I1,p c is compact, there exist a neighborhood V V of p in M such that I1,p c V V. Since O 1 (p) accumulates to itself near p, there exists s 0 O 1 (p) V, s 0 N p. Clearly, O (s 0 ) V. Since the vector fields in g 1 arising from the action of I1,p c on M are tangent to the leaf N s 0 O 1 (p) at s 0 and since V is partitioned into non-intersecting leaves, the orbit O (s 0 ) lies in N s0. Then we have N s0 \ O (s 0 ) = W 1 (s 0 ) W 2 (s 0 ), where W 1 (s 0 ) is diffeomorphic to B n 1. Since p N s0, we have V 2 (s 0 ) = W 1 (s 0 ), which is impossible since in this case V 2 (s 0 ) is not diffeomorphic to a spherical shell. This contradiction shows that G 1 is closed in G. Thus, we have proved that G j is closed in G for j = 1, 2. Hence G j acts on M properly and O j (p) is a closed submanifold of M for each j. Recall that O 1 (p) is equivalent to one of B n 1, C n 1, CP n 1 and O 2 (p) is equivalent to one of B 1, C 1, CP 1, and denote by F 1, F 2 the respective equivalence maps. Let K j G j be the ineffectivity kernel of the G j -action on O j (p) for j = 1, 2. Clearly, K j I j,p and, since Ij,p c acts on O j (p) effectively, K j is a discrete normal subgroup of G j for each j (in particular, K j lies in the center of G j for

18 18 A. V. Isaev j = 1, 2). Since d G1 = n 2 1 = (n 1) 2 +2(n 1) and d G2 = 3, the results of [Ka] yield that F 1 can be chosen to transform G 1 /K 1 into one of Aut(B n 1 ), G(C n 1 ), G(CP n 1 ), respectively, and F 2 can be chosen to transform G 2 /K 2 into one of Aut(B 1 ), G(C 1 ), G(CP 1 ), respectively. We will now show that the subgroup K j is in fact trivial for each j = 1, 2. We only consider the case j = 1 since for j = 2 the proof is identical. Clearly, K 1 \ {e} I 1,p \ I c 1,p, and if K 1 is non-trivial, the compact group I 1,p is disconnected. Observe that any maximal compact subgroup of each of Aut(B n 1 ) PSU n 1,1 and G(C n 1 ) U n 1 C n 1 is isomorphic to U n 1 and therefore, if G 1 /K 1 is isomorphic to either of these two groups, it follows that I 1,p = I c 1,p K 1 and that I 1,p is a maximal compact subgroup of G 1. Since G 1 is connected, so is I 1,p, and therefore K 1 is trivial in either of these two cases. Suppose now that G 1 /K 1 is isomorphic to G(CP n 1 ) PSU n. Then the universal cover of G 1 is the group SU n, and let Π : SU n G 1 be a covering map. Then Π 1 (I c 1,p )c is a closed (n 1) 2 -dimensional connected subgroup of SU n. It follows from Lemma 2.1 of [IKru] that Π 1 (I c 1,p )c is conjugate in SU n to the subgroup of matrices of the form ( 1/ detb 0 0 B ), (2.3) where B U n 1. This yields that Π 1 (I1,p c )c contains the center of SU n and hence I1,p c contains the center of G 1. In particular, K 1 I1,p c which implies that K 1 is trivial in this case as well. Thus, G 1 is isomorphic to one of Aut(B n 1 ), G(C n 1 ), G(CP n 1 ) and G 2 is isomorphic to one of Aut(B 1 ), G(C 1 ), G(CP 1 ). Since the groups Aut(B k ), G(C k ), G(CP k ) are pairwise non-isomorphic for every k N, it then follows that all G 1 -orbits are pairwise holomorphically equivalent and all G 2 -orbits are pairwise holomorphically equivalent. Next, since g = g 1 g 2, the group G is a locally direct product of G 1 and G 2. We claim that H := G 1 G 2 is trivial. Indeed, H is a discrete normal subgroup of each of G 1, G 2. However, every discrete normal subgroup of each of Aut(B k ), G(C k ), G(CP k ) for k N is trivial, since the center of each of these groups is trivial. Hence H is trivial and therefore G = G 1 G 2. We will now show that for every p, q M the orbits O 1 (p) and O 2 (q) intersect at exactly one point. Let g G be an element such that gq = p. The element g can be uniquely represented in the form g = g 1 g 2 with g j G j for j = 1, 2, and therefore we have g 2 q = g1 1 p. Hence the intersection

19 Proper Actions on Complex Manifolds 19 O 1 (p) O 2 (q) is non-empty. We will now show that O 1 (p) O 2 (p) = {p} for every p M. Suppose that for some p the intersection O 1 (p) O 2 (p) contains a point q p. Let b j G j be elements such that b j p = q for j = 1, 2. Then b 1 1 b 2 I p. For h I p uniquely represented as h = h 1 h 2, with h j G j, we set Π j (h) := h j for each j. Then Π j (I p ) is a compact subgroup of G j containing I j,p for j = 1, 2. If for some j 0 the group G j0 is isomorphic to one of Aut(B n 1 ), G(C n 1 ), Aut(B 1 ), G(C 1 ), then I j0,p is connected and is the maximal compact subgroup of G j0. Therefore, Π j0 (I p ) = I j0,p. It then follows that in this case b j0 I j0,p, and hence p = q. Suppose now that G 1 is isomorphic to G(CP n 1 ) and G 2 is isomorphic to G(CP 1 ). Consider the group Π 1 (I p ). Clearly, Π 1 (I p ) is a compact subgroup of G 1, and Π 1 (I p ) c = I1,p c. Let, as before, Π : SU n G 1 be a covering map and let H := Π 1 (Π 1 (I p )). Clearly, H is a closed (n 1) 2 -dimensional subgroup of SU n, and Lemma 2.1 of [IKru] implies that H c is conjugate in SU n to the subgroup of matrices of the form (2.3). Conjugating H if necessary, we assume that H c is given by such matrices. Every connected component of H has the form s α H c for some s α SU n. Clearly, for each pair of indices α, β there exists an index γ such that s α H c s β H c = s γ H c, and therefore s 1 γ s α H c s β = H c. (2.4) Since the vector ν := (1, 0,..., 0) is an eigenvector of every element of H c, we obtain from (2.4) that for every g H c there exists λ(g) C such that g(s β ν) = λ(g)s 1 α s γ ν. (2.5) For n 3 identity (2.5) implies that ν is an eigenvector of each s α which yields that s α is an element of H c for all α. Hence for n 3 the group H is in fact connected, and therefore Π 1 (I p ) is connected and thus coincides with I 1,p. Therefore, b 1 I 1,p, which gives that p = q. Suppose now that n = 2. In this case identity (2.5) implies that for each α the vector ν is either an eigenvector of s α or the first component of s α ν is equal to 0. Hence H is either connected or has exactly two connected components: H c and s 0 H c, where s 0 := ( Hence Π 1 (I p ) is either connected or has the form I c 1,p t 1 I c 1,p, where t 1 G 1 is an element of order 2. Similarly, Π 2 (I p ) is either connected or has the form ).

20 20 A. V. Isaev I c 2,p t 2I c 2,p, where t 2 G 2 is an element of order 2. If Π j0 (I p ) is connected for some j 0, then b j0 lies in I j0,p, and hence p = q. Thus, we suppose that Π j (I p ) has two connected components for j = 1, 2. Then we have either or I p = I c 1,p I c 2,p t 1 I c 1,p I c 2,p I c 1,p t 2 I c 2,p t 1 I c 1,p t 2 I c 2,p, I p = I c 1,p I c 2,p t 1 I c 1,p t 2 I c 2,p. In the first case we clearly have b j I j,p for j = 1, 2, which implies that p = q. In the second case M is a compact homogeneous complex surface covered as a smooth manifold by CP 1 CP 1 in a 2-to-1 fashion (observe that (G 1 G 2 )/(I1,p c Ic 2,p ) is diffeomorphic to CP1 CP 1 ). It then follows from the explicit classification of compact homogeneous complex surfaces given in [T] that such a surface in fact does not exist. This contradiction finalizes our proof of the claim that for every p M the intersection O 1 (p) O 2 (p) consists of p alone. Fix p M and denote, as before, by F 1 a biholomorphic map from O 1 (p) onto M, where M is one of B n 1, C n 1, CP n 1, that transforms G 1 into G, where G is one of Aut(B n 1 ), G(C n 1 ), G(CP n 1 ), respectively, and by F 2 a biholomorphic map from O 2 (p) onto M, where M is one of B 1, C 1, CP 1, that transforms G 2 into G, where G is one of Aut(B 1 ), G(C 1 ), G(CP 1 ), respectively. We will now construct a biholomorphic map F from M onto M M. For q M consider O 2 (q) and let r be the unique point of intersection of O 1 (p) and O 2 (q). Let g G 1 be an element such that r = gp. Then we set F(q) := (F 1 (r), F 2 (g 1 q)). Clearly, F is a well-defined biholomorphic map from M onto M M that transforms G into G G. Thus, we have obtained (i) of the theorem. Suppose now that n = 4 and L c p is conjugate in U 4 to Sp 2. In this case L p acts transitively on directions in T p (M). Now the result of [GK] gives, as before, that if M is non-compact, it is holomorphically equivalent to one of B 4, C 4, and an equivalence map can be chosen so that it maps p into the origin, transforms I p into a subgroup of U 4 G(C 4 ), and transforms Ip c into Sp 2. Furthermore, the result of [BDK] gives, as before, that if M is compact, it is holomorphically equivalent to CP 4. If M is equivalent to CP 4, arguing as in the proof of Theorem 1.1, we obtain that SU 5 has a closed 18-dimensional subgroup. This contradicts Lemma 2.1 in [IKra] (see also Lemma 1.4 in [I4]), and therefore M cannot be equivalent to CP 4.

21 Proper Actions on Complex Manifolds 21 Assume now that n = 4, the manifold M is equivalent to one of B 4, C 4 and let F be an equivalence map that transforms I c p into Sp 2 G(C 4 ). Let g be the Lie algebra of holomorphic vector fields on one of B 4, C 4, respectively, arising from the action of F G F 1. Since F G F 1 acts transitively on one of B 4, C 4, the algebra g is generated by sp 2 (where, as before, sp 2 denotes the Lie algebra of Sp 2 realized as the algebra of vector fields corresponding to the standard action of Sp 2 on C 4 ), and some vector fields (1.6), where f k j, g k j, j, k = 1, 2, 3, 4 are functions holomorphic on one of B 4, C 4, respectively, and satisfying (1.7). We will show that F maps M onto C 4 and transforms G into G 3 (C 4 ). To obtain this, it is sufficient to prove that one can choose V j = / z j, W j = i / z j, for j = 1, 2, 3, 4. In our arguments we will use the following vector fields from sp 2 : Z 4, Z 5, Z 6, Z 7, Z 8, Z 9 defined in (1.9), as well as the vector fields Z 1 := iz 2 / z 2 iz 4 / z 4, Z 2 := iz 1 / z 1 iz 3 / z 3 (observe that Z 1, Z 2, Z 3 defined in (1.9) do not line in sp 2 ). It is straightforward to see that [V 1, Z 1](0) = 0, and therefore we have [V 1, Z 1] = 0 (mod sp 2 ). (2.6) Representing f1 k by a power series near the origin and denoting by f 1 k the non-linear part of its expansion for k = 1, 2, 3, 4, from (2.6) we obtain f 1 1 = a 1 1 n,l,m,l zn 1 zl 2 zm 3 zl 4, f 2 1 = f 3 1 = f 4 1 = n+2l+m 2 n+2l+m 1 n+2l+m 2 n+2l+m 1 a 2 1 n,l+1,m,lz n 1 z l+1 2 z m 3 z l 4, a 3 1 n,l,m,lz n 1 z l 2z m 3 z l 4, a 4 1 n,l,m,l+1 zn 1 zl 2 zm 3 zl+1 4,

22 22 A. V. Isaev where a k 1 n,l,m,r C. Next, we observe [V 1, Z 2 ](0) = (i, 0, 0, 0), [W 1, Z 2](0) = ( 1, 0, 0, 0). It then follows that V 1 = [W 1, Z 2] (mod sp 2 ), W 1 = [V 1, Z 2 ] (mod sp 2), (2.7) which yields V 1 = [[V 1, Z 2 ], Z 2 ] (mod sp 2). (2.8) Formula (2.8) implies that f 1 k, k = 1, 2, 3, 4, in fact have the forms f 1 1 = n+l 1a 1 1 n,l,n,l zn 1 zl 2 zn 3 zl 4 + n,l 0 a 1 1 n+2,l,n,l zn+2 1 z l 2 zn 3 zl 4, f 1 2 = n,l 0a 2 1 n,l+1,n+1,l zn 1 zl+1 2 z3 n+1 z4 l + a 2 1 n+1,l+1,n,l zn+1 1 z2 l+1 z3 n zl 4, n,l 0 f 3 1 = n+l 1a 3 1 n,l,n,lz n 1z l 2z n 3 z l 4 + n,l 0 a 3 1 n,l,n+2,lz n 1z l 2z n+2 3 z l 4, f 1 4 = n,l 0a 4 1 n,l,n+1,l+1 zn 1 zl 2 zn+1 3 z4 l+1 + a 4 1 n+1,l,n,l+1 zn+1 1 z2 l zn 3 zl+1 4. n,l 0 In addition, (2.6) and (2.8) imply that the linear part of V 1 is an element of sp 2. Subtracting this element from V 1, we can assume that V 1 has no linear part. Next, we consider [V 1, Z 4 ]. It is easy to see that [V 1, Z 4 ](0) = 0, which yields [V 1, Z 4 ] = 0 (mod sp 2 ). (2.9)

23 Proper Actions on Complex Manifolds 23 It follows from (2.9) that the forms of f 1 k, k = 1, 2, 3, 4, further simplify as f 1 1 = n 1 a 1 1 n,0,n,0 zn 1 zn 3 + n 0 a 1 1 n+2,0,n,0 zn+2 1 z n 3, f 1 2 = a 2 1 n,1,n+1,0 zn 1 z 2z3 n+1 + a 2 1 n+1,1,n,0 zn+1 1 z 2 z3 n, n 0 n 0 f 3 1 = n 1 a 3 1 n,0,n,0 zn 1 zn 3 + n 0 a 3 1 n,0,n+2,0 zn 1 zn+2 3, f 1 4 = a 4 1 n,0,n+1,1 zn 1 zn+1 3 z 4 + a 4 1 n+1,0,n,1 zn+1 1 z3 n z 4. n 0 n 0 Applying the above arguments to V 3 in place of V 1 we obtain that the linear part of V 3 at the origin is an element of sp 2 and that the non-linear parts f 3 k of the expansions around the origin of the functions fk 3, k = 1, 2, 3, 4, have the following forms f 1 3 = n 1 a 1 3 n,0,n,0 zn 1 zn 3 + n 0 a 1 3 n+2,0,n,0 zn+2 1 z n 3, f 3 2 = a 2 3 n+1,1,n,0 zn+1 1 z 2 z3 n + a 2 3 n,1,n+1,0 zn 1 z 2z3 n+1, n 0 n 0 f 3 3 = n 1 a 3 3 n,0,n,0 zn 1 zn 3 + n 0 a 3 3 n,0,n+2,0 zn 1 zn+2 3, (2.10) f 3 4 = a 4 3 n+1,0,n,1 zn+1 1 z3 n z 4 + a 4 3 n,0,n+1,1 zn 1 zn+1 3 z 4, n 0 n 0 where a k 3 n,l,m,r C. Next, we observe which gives Formulas (2.10) and (2.11) imply [V 1, Z 8 ](0) = (0, 0, 1, 0), V 3 = [V 1, Z 8 ] (mod sp 2 ). (2.11) V 1 = (1 + αz az 1z 3 ) / z 1 + (βz 1 z 2 + bz 2 z 3 ) / z 2 + (αz 1 z 3 + az 2 3) / z 3 + (εz 1 z 4 + cz 3 z 4 ) / z 4, (2.12)

24 24 A. V. Isaev for some a, b, c, α, β, ε C (cf. (1.10)). Plugging this expression into (2.9) yields ε = β, c = b. (2.13) Further, if in the above argument we replace identity (2.8) by the identity W 1 = [[W 1, Z 2 ], Z 2 ] (mod sp 2) (which is also a consequence of (2.7)) and consider W 3 instead of V 3, we obtain that W 1 can be chosen to have the form W 1 = (i + α z a z 1 z 3 ) / z 1 + (β z 1 z 2 + b z 2 z 3 ) / z 2 + (α z 1 z 3 + a z 2 3) / z 3 + (ε z 1 z 4 + c z 3 z 4 ) / z 4. (2.14) for some a, b, c, α, β, ε C (cf. (1.11)). Plugging (2.12), (2.14) into either of identities (2.7) we obtain α = iα, β = iβ, ε = iε, a = ia, b = ib, c = ic. (2.15) Then ( ) [V 1, W 1 ] = 2i 2αz 1 / z 1 + (βz 2 + (aβ bα)z 1 z 2 z 3 / z 2 + ) αz 3 / z 3 + (εz 4 + (aε cα)z 1 z 3 z 4 ) / z 4. Therefore, [V 1, W 1 ] = 0 (mod sp 2 ), which can only hold if Together with (2.13) this implies hence we have α = 0, ε = β. β = ε = 0, V 1 = (1 + az 1 z 3 ) / z 1 + bz 2 z 3 / z 2 + az 2 3 / z 3 + bz 3 z 4 / z 4. (2.16) If in the above arguments we interchange Z 1, Z 2, as well as Z 4, Z 8, and use W 2 in place of W 1, V 4 in place of V 3, and W 4 in place of W 3, we obtain that V 2 can be chosen to have the form V 2 = dz 1 z 4 / z 1 + (1 + ez 2 z 4 ) / z 2 + dz 3 z 4 / z 3 + ez 2 4 / z 4, (2.17)

25 Proper Actions on Complex Manifolds 25 for some d, e C. We will now consider [V 1, Z 6 ]. It is straightforward to see that [V 1, Z 6 ](0) = (0, 1, 0, 0), and therefore we have Formulas (2.17), (2.18) imply We then compute V 2 = [V 1, Z 6 ] (mod sp 2 ). (2.18) a = b = d = e. (2.19) [V 1, V 2 ] = a (z 4 / z 1 z 3 / z 2 ). Therefore [V 1, V 2 ] = 0 (mod sp 2 ), which can only hold if a = 0. Hence it follows from (2.14), (2.15), (2.16), (2.17), (2.19) that V 1 = / z 1, W 1 = i / z 1, V 2 = / z 2. Therefore identities (1.17) hold, and we obtain W 2 = i / z 2 (mod sp 2 ), V 3 = / z 3 (mod sp 2 ), W 3 = i / z 3 (mod sp 2 ), V 4 = / z 4 (mod sp 2 ), W 4 = i / z 4 (mod sp 2 ). Hence W 2, V 3, W 3, V 4, W 4 can be chosen as in formula (1.18), and we have obtained (ii) of the theorem. The proof is now complete. References [Bi] Biller, H., Proper actions on cohomology manifolds, Trans. Amer. Math. Soc. 355(2002),

26 26 A. V. Isaev [BDK] [Bo] [BM1] [BM2] [EaI] [GK] [I1] [I2] Bland, J., Duchamp, T. and Kalka, M., A characterization of CP n by its automorphism group, Complex analysis, University Park, PA., 1986, 60 65, Lecture Notes in Math. 1268(1987). Bochner, S., Compact groups of differentiable transformations, Ann. of Math. 46(1945), Bochner, S. and Montgomery, D., Groups of differentiable and real or complex analytic transformations, Ann. of Math. 46(1945), Bochner, S. and Montgomery, D., Locally compact groups of differentiable transformations, Ann. of Math. 47(1946), Eastwood, M. and Isaev, A., Examples of unbounded homogeneous domains in complex space, Proc. Internat. Conf. Several Complex Variables and Complex Geometry, Capital Normal University, Beijing, China, August, 2004; Science in China Series A Math. 48 Supp.(2005) 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), Isaev, A. V., Hyperbolic n-dimensional manifolds with automorphism group of dimension n 2, to appear in Geom. Funct. Anal. (GAFA) 17(2007). Isaev, A. V., Hyperbolic manifolds of dimension n with automorphism group of dimension n 2 1, J. Geom. Analysis 15(2005), [I3] Isaev, A. V., Hyperbolic 2-dimensional manifolds with 3- dimensional automorphism group, preprint, available from [I4] [IKra] Isaev, A. V., Lectures on the Automorphism Groups of Kobayashi- Hyperbolic Manifolds, Lecture Notes in Math. 1902(2007). Isaev, A. V. and Krantz, S. G., On the automorphism groups of hyperbolic manifolds, J. Reine Angew. Math. 534(2001),

27 Proper Actions on Complex Manifolds 27 [IKru] Isaev, A. V. and Kruzhilin, N. G., Effective actions of the unitary group on complex manifolds, Canad. J. Math. 54(2002), [Ka] Kaup, W., Reelle Transformationsgruppen und invariante Metriken auf komplexen Räumen, Invent. Math. 3(1967), [Ko1] [Ko2] [KN] [MZ] [MS] [N] [P] [S] [T] [Y] Kobayashi, S., Hyperbolic Manifolds and Holomorphic Mappings Marcel Dekker, New York Kobayashi, S., Transformation Groups in Differential Geometry Springer-Verlag, Berlin, Heidelberg, New York Kobayashi, S., Nagano, T., Riemannian manifolds with abundant isometries, in Differential Geometry in Honor of K. Yano, Kinokuniya, Tokyo, 1972, pp Montgomery, D., Zippin, L., Topological Transformation Groups, Interscience Publishers, Inc., New York Myers, S. B. and Steenrod, N., The group of isometries of a Riemannian manifold, Ann. of Math. 40(1939), Nakajima, K., Homogeneous hyperbolic manifolds and homogeneous Siegel domains, J. Math. Kyoto Univ. 25(1985), Palais, R. S., On the existence of slices for actions of non-compact Lie groups, Ann. of Math. 73(1961), Satake, I., Algebraic Structures of Symmetric Domains, Kanô Memorial Lect., 4, Princeton Univ. Press, Tits, J., Espaces homogénes complexes compacts, Comment. Math. Helv. 37(1962), Yano, K., The Theory of Lie Derivatives and its Applications, North-Holland Publishing Co., P. Noordhoff Ltd., Interscience Publishers Inc., Department of Mathematics The Australian National University

28 28 A. V. Isaev Canberra, ACT 0200 AUSTRALIA Tel.: Fax: