arxiv:alg-geom/ v1 29 Jul 1993

Transcription

1 Hyperkähler embeddings and holomorphic symplectic geometry. Mikhail Verbitsky, arxiv:alg-geom/ v1 29 Jul ntroduction. n this paper we are studying complex analytic subvarieties of a given Kähler manifold which is endowed with a holomorphic symplectic structure. By Calabi-Yau theorem, the holomorphically symplectic Kähler manifolds can be supplied with a Ricci-flat Riemannian metric. This implies that such manifolds are hyperkähler (Definition 1.1). Conversely, all hyperkähler manifolds are holomorphically symplectic (Proposition 2.1). For a given closed analytic subvariety S of a holomorphically symplectic M, one can restrict the holomorphic symplectic form of M to the Zarisky tangent sheaf to S. f this restriction is non-degenerate outside of singularities of S, this subvariety is called non-degenerately symplectic. (Definition 2.2). Of course, such subvarieties are of even complex dimension. Take a generic element N in a given deformation class of a holomorphically symplectic Kähler manifolds. We are proving that all complex analytic subvarieties of N are non-degenerately symplectic (Theorem 2.3). n particular, all closed analytic subvarieties of N are of even complex dimension. f such subvariety is smooth, it is also a hyperkaehler manifold (Proposition 2.1). Contents. 1. Hyperkähler manifolds. 2. Holomorphic symplectic geometry. 3. The action of so(5) on the differential forms over a hyperkähler manifold. n the first section we give basic definitions from the theory of the hyperkähler manifolds ([Bes]). n the second section, we state our results and deduce them from Theorem 2.1. n the third section, we give the proof of Theorem 2.1. This section is based entirely on calculations from [V]. 1. Hyperkähler manifolds. Definition 1.1 ([B], [Bes]) A hyperkähler manifold is a Riemannian manifold M endowed with three complex structures, J and K, such that 1

2 the following holds. (i) M is Kähler with respect to these structures and (ii), J and K, considered as endomorphisms of a real tangent bundle, satisfy the relation J = J = K. This means that the hyperkähler manifold has the natural action of quaternions H in its real tangent bundle. Therefore its complex dimension is even. Let ad, adj and adk be the operators on the bundles of differential forms over a hyperkähler manifold M which are defined as follows. Define ad. Let this operator act as a complex structure operator on the bundle of differential 1-forms. We extend it on i-forms for arbitrary i using Leibnitz formula: ad(α β) = ad(α) β + α ad(β). Since Leibnitz formula is true for a commutator in a Lie algebras, one can immediately obtain the following identities, which follow from the same identities in H: [ad,adj] = 2adK; [adj,adk] = 2ad; [adk,ad] = 2adJ Therefore, the operators ad, adj, adk generate a Lie algebra su(2) acting on the bundle of differential forms. We can integrate this Lie algebra action to the action of a Lie group SU(2). n particular, operators, J and K, which act on differential forms by the formula (α β) = (α) (β), belong to this group. Proposition 1.1: There is an action of the Lie group SU(2) and Lie algebra su(2) on the bundle of differential forms over a hyperkähler manifold. This action is parallel, and therefore it commutes with Laplace operator. f M is compact, this implies that there is a canonical SU(2)-action on H i (M, R) (see [V1]). Let M be a hyperkähler manifold with a Riemannian form <, >. Let the form ω :=< ( ), > be the usual Kähler form which is closed and parallel (with respect to the connection). Analogously defined forms ω J and ω K are also closed and parallel. The simple linear algebraic consideration ([B]) shows that ω J + 1ω K is of type (2,0) and, being closed, this form is also holomorphic. t is called the canonical holomorphic symplectic form of a manifold M. Conversely, 2

3 if there is a parallel holomorphic symplectic form on a Kähler manifold M, this manifold has a hyperkähler structure ([B]). f some compact Kähler manifold M admits non-degenerate holomorphic symplectic form Ω, the Calabi-Yau ([Y]) theorem implies that M is hyperkähler (Proposition 2.1). This follows from the existence of a Kähler metric on M such that Ω is parallel for the Levi-Civitta connection associated with this metric. Let M be a hyperkähler manifold with complex structures, J and K. For any real numbers a, b, c such that a 2 + b 2 + c 2 = 1 the operator L := a + bj + ck is also an almost complex structure: L 2 = 1. Clearly, L is parallel with respect to a connection. This implies that L is a complex structure, and that M is Kähler with respect to L. Definition 1.2 f M is a hyperkähler manifold, the complex structure L is called induced by a hyperkähler structure, if L = a + bj + ck for some real numbers a,b,c a 2 + b 2 + c 2 = 1. f M is a hyperkähler manifold and L is induced complex structure, we will denote M, considered as a complex manifold with respect to L, by (M,L) or, sometimes, by M L. Consider the Lie algebra g M generated by adl for all L induced by a hyperkähler structure on M. One can easily see that g M = su(2). The Lie algebra g M is called isotropy algebra of M, and corresponding Lie group G M is called an isotropy group of M. By Proposition 1.1, the action of the group is parallel, and therefore it commutes with Laplace operator in differential forms. n particular, this implies that the action of the isotropy group G M preserves harmonic forms, and therefore this group canonically acts on cohomology of M. Proposition 1.2: Let ω be a differential form over a hyperkähler manifold M. The form ω is G M -invariant if and only if it is of Hodge type (p,p) with respect to all induced complex structures on M. Proof: Assume that ω is G M -invariant. This implies that all elements of g M act trivially on ω and, in particular, that adl(ω) = 0 for any induced complex structure L. On the other hand, adl(ω) = (p q) 1 if ω is of 3

4 Hodge type (p,q). Therefore ω is of Hodge type (p,p) with respect to any induced complex structure L. Conversely, assume that ω is of type (p,p) with respect to all induced L. Then adl(ω) = 0 for any induced L. By definition, g M is generated by such adl(ω) = 0, and therefore g M and G M act trivially on ω. 2. Holomorphic symplectic geometry. Definition 2.1: The compact Kähler manifold M is called holomorphically symplectic if there is a holomorphic 2-form Ω over M such that Ω n = Ω Ω... is a nowhere degenerate section of a canonical class of M. There, 2n = dim C (M). Note that we assumed compactness of M. 1 One sees that the holomorphically symplectic manifold has a trivial canonical bundle. A hyperkähler manifold is holomorphically symplectic (see Section 1). There is a converse proposition: Proposition 2.1 ([B], [Bes]) Let M be a holomorphically symplectic Kähler manifold with the holomorphic symplectic form Ω, a Kähler class [ω] H 1,1 (M) and a complex structure. There is a unique hyperkähler structure (, J, K,(, )) over M such that the cohomology class of the symplectic form ω = (, ) is equal to [ω] and the canonical symplectic form ω J + 1 ω K is equal to Ω. Proposition 2.1 immediately follows from the Calabi-Yau theorem ([Y]). For each complex analytic variety X and a point x X, we denote the Zariski tangent space to X in x by T x X. Definition 2.2: Let M be a holomorphically symplectic manifold and S M be its complex analytic subvariety. Assume that S is closed in M and reduced. t is called non-degenerately symplectic if for each point s S outside of the singularities of S the restriction of the holomorphic symplectic form Ω to T s M is nondegenerate on T s S T s M, and the set Sing(S) of the singular points of S is nondegenerately symplectic. This definition refers to itself, but since dim Sing(S) < dim S, it is consistent. 1 f one wants to define a holomorphic symplectic structure in a situation when M is not compact, one should require also the equation Ω to held. The operator : Λ p,0 (M) Λ p+1,0 (M) is a holomorphic differential defined on differential forms ([GH]). 4

5 Of course, the complex dimension of a non-degenerately symplectic variety is even. Let M be a holomorphically symplectic Kähler manifold. By Proposition 2.1, M has a unique hyperkähler metric with the same Kähler class and holomorphic symplectic form. Therefore one can without ambiguity speak about the action of G M on H (M, R) (see Proposition 1.1). Of course, this action essentially depends on the choice of Kähler class. Definition 2.3: The Kähler form over a holomorphically symplectic manifold M is called of general type if all elements of H pp (M) H 2p (M, Z) are G M -invariant, where the action of G M is defined by Proposition 2.1. The holomorphically symplectic manifold M is called of general type if there exists a Kähler form of general type over M. As Theorem 2.2 implies, the holomorhically symplectic manifold of general type has no Weil divisors. Therefore these manifolds have connected Picard group. n particular, such manifolds are never algebraic. Proposition 2.2: Let M be a hyperkähler manifold. Let S be the set of induced complex structures over M. Let S 0 S be the set of R S such that the natural Kähler metric on (M,R) is of general type. Then S 0 is dense in S. Proof: Let A be the set of all α H 2p (M, Z) such that α is not G M - invariant. The set A is countable. For each α A, let S α be the set of all R S such that α is of type (p,p) with respect to R. The set S 0 of all induced complex structures of general type is equal to {S\ α A S α}. Now, to prove Proposition 2.2 it is enough to prove that S α is a finite set for each α A. This would imply that S 0 is a complement of a countable set to a 2-sphere S, and therefore dense in S. As it follows from Section 1, α is of type (1,1) with respect to R if and only if ad R(α) = 0. Now, let V be a representation of su(2), and v V be a non-invariant vector. t is easy to see that the element a su(2) such that a(v) = 0 is unique up to a constant, if it exists. This implies that if α is not G M -invariant there are no more than two R S such that adr(α) = 0. Of course, these two elements of S are opposite to each other. 5

6 One can easily deduce from the results in [Tod] and from Proposition 2.2 that the set of points associated with holomorphically symplectic manifolds of general type is dense in the classifying space of holomorphically symplectic manifolds. For a Kähler manifold M and a form α H 2p (M, C), define deg(α) := L p (α) where L is a Hodge operator of exterior multiplication by the Kähler form ω (see [GH]). Of course, the degree of forms of Hodge type (p,q) with p q is equal zero, so only (p,p)-form can possibly have non-zero degree. We recall that the real dimension of a holomorphically symplectic manifold is divisible by 4. Theorem 2.1: Let M be a holomorhically symplectic Kähler manifold with a holomorphic symplectic form Ω. Let α be a G M -invariant form of non-zero degree. Then the dimension of α is divisible by 4. Moreover, Ω n Ω n α = 2 n deg(α), M where n = 1 4 (dim RM dim α). This theorem will be proven in Section 3. Theorem 2.2: Let M be a holomorphic symplectic manifold of general type. All closed analytic subvarieties of M have even complex dimension. Proof: Take a closed reduced analytic subvariety S M. Assume it represents a cycle [S] in cohomology of M, and take a cocycle α H 2p (M, Z) which is dual to [S] by Poincare duality. We have to prove that p is even. By definition of degree, deg(α) = ω ω... S Since S is complex analytic, S ω ω... > 0 and therefore deg(α) > 0. On the other hand, since the form α is integer, it is G M -invariant because M is of general type. Therefore, by Theorem 2.1, dim(α) is divisible by 4, and dim C S = dim C M 1 2dim α is even. 6 M

7 Theorem 2.3: Let M be a holomorphic symplectic manifold of general type. All reduced closed analytic subvarieties of M are non-degenerately symplectic. Proof: Let S M be a closed analytic subvariety of M. Take the restriction of Ω to S. The complex dimension of S is even by Theorem 2.2. Let dim C S = 2p and dim C M = 2n. By definition, (Ω Ω) p = (Ω Ω) p α S where α is a Poincare dual form to [S] (see the proof of Theorem 2.2). By Theorem 2.1, the last integral is non-zero. Therefore S (Ω Ω) p 0 and the holomorphic p-form Ω p is a nontrivial section of a canonical line bundle over S. Take Z to be the set of zeros of Ω p. Clearly, Z is a closed complex analytic subvariety of S M. Outside of singularities of S, the subvariety Z S has codimension 1 in S. Since by Theorem 2.2 the holomorphic manifold M has no odd-dimensional closed analytic subsets, Z belongs to the set of singularities of S. Therefore the restriction of Ω to S is non-degenerate outside of singularities. Applying the same consideration to Sing(S), we see that S is nondegenerately symplectic. Combining this with Proposition 2.1, one obtains Theorem 2.4: Let M be a holomorphically symplectic manifold of general type, and S M be its smooth differentiable submanifold. f S is analytic in M, it is a hyperkaehler manifold. M 3. The action of so(5) on the differential forms over a hyperkähler manifold. n this section, we denote the space of smooth differential i-forms over a manifold M by A i (M). The notation for the Hodge decomposition is A i (M) = p+q=i A p,q R (M), where R is a complex structure operator the decomposition is defined in respect with. Let M be a hyperkähler manifold. For every induced complex structure R over M, there is a real symplectic form ω R = (,R ) (see Section 1). As usually, L R denotes the operator of exterior multiplication by ω R, which is acting on the differential forms A (M, C) over M. The operator of interior 7

8 multiplication by ω R, which is defined as an adjoint operator to L R, is denoted by Λ R. One may ask oneself, what algebra is generated by L R and Λ R for all induced R? The answer was partially given in [V], where the following theorem was proven. Theorem 3.1 ([V]) Let M be a hyperkähler manifold and a M be a Lie algebra generated by L R and Λ R for all induced complex structures R over M. The Lie algebra a M is isomorphic to so(5). The following facts about a structure of a M were proven in [V]. Let, J and K be three induced complex structures on M, such that J = J = K The algebra a M is 10-dimensional. t contains g M as a subalgebra, as follows: [Λ J,L K ] = [L J,Λ K ] = ad (etc). t has a following base: L R,Λ R, ad R (R =,J,K) and the element H = [L R Λ R ]. Of course, H is a standard Hodge operator, which is independent on R. n acts on r-forms over M as a multiplication by a scalar n r, where n = dim C M. The semisimple Lie algebra a M has a two-dimensional Cartan subalgebra h M, spanned over C by H and ad. This algebra has a root system B 2 ; the elements H and 1ad are among its roots. This implies that the weight decomposition of the a M -module A (M) taken with respect to this particular Cartan subalgebra h M a M coincides with the Hodge decomposition A (M) = p,q A p,q (M) Proof of Theorem 2.1 Let α be a g M -invariant 2p-form over a hyperkaehler manifold M such that M Ln p (α) 0, where n = dim C (M). We have to prove that p is even, and that Ω (n p)/2 Ω (n p)/2 α = 2 (n p)/2 L n p (α). M Let A (M) = l Π A l be the isotypic decomposition of a a M -module A (M). sotypic decomposition is defined as follows. For each l Π, where M 8

9 Π is a weight lattice of a M, the module A l is a union of all simple a M - submodules of A (M) with a highest weight l. One can easily see that the isotypic decomposition does not depend on a choice of a Cartan subalgebra of a M. This follows, for example, from Schuhr s lemma. Take the Cartan subalgebra h M a M. One can choose the simple roots of h M to be H and 1 ad H in h M. The vectors H, H + 1 ad, 1ad and 1ad H are the positive roots, and ρ = 1ad +H is the longest root. The weight decomposition of A (M) with respect to this particular Cartan algebra is a Hodge decomposition. Lemma 3.1: f a simple a M -submodule F A (M) contains a 2n-form θ, then θ is a highest vector of F. We use the notation dim C M = n. Proof: Choose Cartan subalgebra and the positive roots as above. A (p,q)-form in A p,q (M) has a weight p + q with respect to the longest root ρ. Therefore the weight of the (n,n)-form is higher that the weight of any (p, q)-form with (p, q) (n, n). One of the summands of the isotypic decomposition is of particular interest to us. We denote this summand by A o. The a M -module A o A (M) is a union of all simple a M -submodules of A (M) which contain a 2n-form. By Lemma 3.1, A o is a summand of the isotypic decomposition. Consider the decomposition α = l Πα l, which corresponds to the isotypic decomposition of A (M). All components α l of this decomposition are g M - invariant, because g M a M. The form L n p (α l ) has a dimension 2n for all l Π. By definition, L n p (α l ) A l. Lemma 3.1 states that if A l contains a 2n-form, there is a simple submodule of A l which has a highest weight o. Therefore if L n p (α l ) 0 then l = o. This implies that L n p (α) = L n p (α o ). Assume that p is even. By definition, Ω (n p)/2 Ω (n p)/2 α = (L J + 1 L K ) (n p)/2 (L J 1 L K ) (n p)/2 (α) By the same reason as before, (L J + 1 L K ) (n p)/2 (L J 1 L K ) (n p)/2 (α) = (L J + 1 L K ) (n p)/2 (L J 1 L K ) (n p)/2 (α o ), 9

10 because (L J + 1L K ) (n p)/2 (L J 1L K ) (n p)/2 (α) is of dimension 2n. This implies that Ω (n p)/2 Ω (n p)/2 α = Ω (n p)/2 Ω (n p)/2 α o Therefore one can assume that α A o. The following proposition proves Theorem 3.1. Take the restriction of α to the fiber Λ (T x M) of A (M) in the point x M. Clearly, a M and g M act on Λ (T x M), and the restriction of α to T x M is g M -invariant. Proposition 3.1: Let A be a a M -submodule of Λ (T x M) generated over a M by the unique determinant form det Λ 2n (T x M) and α A be a non-zero g M -invariant form of dimension 2p. Then p is even, and Ω (n p)/2 Ω (n p)/2 α = 2 (n p)/2 L n p α Proof: Let S be the set of all induced complex structures over M. Clearly, S is a 2-sphere (see Section 1). f we identify G M with SU(2), then S = {s G M s 2 = 1}, where 1 is the matrix d SU(2). For each R 1, R 2 {,J,K} and [adr 1,Λ R2 ] = 0 if R 1 = R 2 [adr 1,Λ R2 ] = L R1 R 2 if R 1 R 2 (see [V]). Therefore, since ad R(det) = 0 for each R S, any form α A can be represented as a polynomial α = P(Λ,Λ J,Λ K )det with coefficients in C. This representation is not unique: there is an epimorphism map C[Λ,Λ J,Λ K ] A. Denote the kernel of this map by R. We have C[Λ,Λ J,Λ K ]/R = A. The group G M acts on S by the adjoint action. For t G M and an operator B on Λ (T x M), denote t B t 1 by B t. One can easily prove that 10

11 L t R = L R t. Since α is G M-invariant, the polynomial P is G M -invariant in the following sense: P(Λ t,λ t J,Λ t K)det = P(Λ,Λ J,Λ K )det. Let V be a 3-dimensional space spanned by Λ J, Λ J and Λ K. Since R S the operator Λ R is uniquely represented as a linear combination of Λ J, Λ J and Λ K, we can consider Λ R as an element of V. The group G M = SU(2) acts on V as follows: an element t G M maps Λ R in Λ R t. Actually, his acion is a standard action of SO(3) = SU(2)/{±1} on a 3- dimensional vector space. The ring C[V ] is graded by the degree of polynomials. Clearly, G M preserves R. Moreover, R is a graded ideal in a graded ring C[V ], and the isomorphism A = C[V ]/R is an isomorphism of graded G M -modules. Let S k V C[V ] be the space of homogeneous polynomials of degree k over V and R k = S k V R. Of course, k R k = R. Since G M is reductive, one can represent S k V = R k P n, where P n is a G M -invariant submodule of C[V ]. Therefore, A can be embedded in C[V ] as a G M -module: such that the composition i i A : C[V ] A : C[V ] C[V ]/R = A is identity. Take the element P = i(α); it is a polynomial of three variables Λ, Λ J and Λ K such that α = P(Λ,Λ J,Λ K )det. Moreover, P is a G M-invariant element of C[V ], because α is G M -invariant. Now, one can apply a simple theorem of the representation theory. Lemma 3.2. ([W]) f SO(3) acts on a three-dimensional space with an orthogonal basis x, y, z, then all SO(3)-invariant polynomials in C[V ] are proportional to C k for some integer k, where C = x 2 + y 2 + z 2. This lemma implies that α = (Λ 2 + Λ 2 J + Λ 2 K) k (det) Therefore, dim(α) is divisible by 4. Moreover, a simple calculation proves that 11

12 (L J + 1 L K ) (n p)/2 (L J 1 L K ) (n p)/2 (Λ 2 + Λ 2 J + Λ 2 K) (n p)/2 (det) = = (L 2 J + L2 K )(n p)/2 (Λ 2 + Λ2 J + Λ2 K )(n p)/2 (det) = Theorem 3.1 is proven. = 2 (n p)/2 L n p (Λ 2 + Λ 2 J + Λ 2 K) (n p)/2 (det) am very grateful to my advisor David Kazhdan for a warm support and encouragement. Thanks also due to Michael Finkelberg and Roman Bezrukavnikov for interesting discussions. Reference: [B] Beauville, A. Varietes Kähleriennes dont la pere classe de Chern est nulle. // J. Diff. Geom. 18, p (1983). [Bes] Besse, A., Einstein Manifolds. // Springer-Verlag, New York (1987) [GH] Griffits, Ph. and Harris, J. Principles of algebraic geometry. // Wiley-nterscience, New York (1978). [Tod] Todorov, A. Moduli of Hyper-Kählerian manifolds,. // Preprint MP (1990) [V] Verbitsky, M. On the action of a Lie algebra SO(5) on the cohomology of a hyperkähler manifold. // Func. Analysis and Appl. 24(2) p (1990). [W] Weyl, H. The classical groups, their invariants and representations. // Princeton Univ. Press, New York (1939) [Y] Yau, S. T. On the Ricci curvature of a compact Kähler manifold and the complex Monge-Ampère equation. // Comm. on Pure and Appl. Math. 31, (1978). 12