arxiv: v3 [math.gt] 17 Oct 2010

Transcription

1 FORMALITY AND HARD LEFSCHETZ PROPERTIES OF ASPHERICAL MANIFOLDS arxiv: v3 [math.gt] 17 Oct 2010 HISASHI KASUYA Abstract. For a virtually polycyclic group Γ, we consider an aspherical manifold M Γ with π 1 (M Γ ) = Γ constructed by Baues. For a Lie group G = R n φ R m with the action φ : R n AutR m is semi-simple, we show that if Γ is a finite extension of a lattice of G then M Γ is formal. Moreover if M Γ admits a symplectic structure, we show M Γ satisfies the hard Lefschetz property. By those results we give many examples of formal solvmanifolds satisfying the hard Lefschetz properties but not admitting Kähler structures. 1. Introduction Formal spaces inthe sense of Sullivan areimportant for de Rham homotopy theory. Famous examples of formal spaces are compact Kähler manifolds (see [7]). Suppose Γ is a torsion-free finitely generated nilpotent group. Then K(Γ,1) is formal if and only if Γ is abelian by Hasegawa s theorem in[9]. But in case Γ is a virtually polycyclic group, the formality of K(Γ,1) is more complicated. One of the purposes of this paper is to apply the way of the algebraic hull of Γ to study the formality of K(Γ, 1). For a torsion-free virtually polycyclic group Γ, we have a unique algebraic group H Γ with an injective homomorphism ψ : Γ H Γ so that: (1) ψ(γ) is Zariski-dense in H Γ. (2) The centralizer Z HΓ (U(H Γ )) of U(H Γ ) is contained in U(H Γ ). (3) dimu(h Γ ) = rankγ. Such H Γ is called the algebraic hull of Γ. We call the unipotent radical of H Γ the unipotent hull of Γ and denote it by U Γ. In [3], Baues constructed a compact aspherical manifold M Γ with the fundamental group Γ called the standard Γ-manifold by the algebraic hull of Γ. And he gave the way of computation of the de Rham cohomology of M Γ. By the application of these results, we prove: 2010 Mathematics Subject Classification. 20F16; 22E40; 32J27; 55P20; 55P62. Key words and phrases. polycyclic group, algebraic hull, formality, solvmanifold, the hard Lefschetz property. 1

2 2 HISASHI KASUYA Proposition 1.1. If the unipotent hull U Γ of Γ is abelian, K(Γ,1) is formal. So we are interested in knowing criteria for U Γ to be abelian. We prove the following theorem. Theorem 1.2. Let Γ be a torsion-free virtually polycyclic group. Then the following two conditions are equivalent: (1) U Γ is abelian. (2) Γ is a finite extension group of a lattice of a Lie group G = R n φ R m such that the action φ : R n Aut(R m ) is semi-simple. Therefore we have: Corollary 1.3. If Γ satisfies the condition (2) in Theorem 1.2, then K(Γ,1) is formal. By this corollary, we have examples of formal spaces which give a relation to the geometries of 3-dimensional manifolds. Corollary 1.4. Let M be a compact 3-dimensional manifold. If the geometric structure of M is E 3 or Sol, then M is formal. As in the case of formality the hard Lefschetz properties are important properties of compact Kähler manifolds. We have the following proposition. Proposition 1.5. Suppose the standard Γ-manifold M Γ admits a symplectic structure. If the unipotent hull U Γ is abelian, M Γ satisfies the hard Lefschetz property. A solvmanifold is an example of standard Γ-manifold M Γ. For a nilmanifold M, if M is formal or satisfies the hard Lefschetz property, then M is diffeomorphic to a torus(see [4] [9]). But by the result of this paper and Arapura s theorem in [1], we have many examples of formal solvmanifolds satisfying the hard Lefschetz properties but not admitting Kähler structures. Corollary 1.6. Let G = R n φ R m such that φ : R n Aut(R m ) is semi-simple and G is not type (I) i.e. for any g G the all eigenvalues of Ad g have absolute value 1. Then for any lattice Γ of G, G/Γ is formal solvmanifolds which does not admit a Kähler structure. If G/Γ admits a symplectic structure, G/Γ satisfies the hard Lefschetz property. The paper is organized in the following way. In Section 2 the Preliminaries for this paper are written. In Section 3 we review the algebraic hulls of virtually polycyclic groups or solvable Lie groups. We compile some facts in [3] and [15]. In Section 4 we prove Theorem 1.2. The

3 FORMALITY HARD LEFSCHETZ PROPERTIES 3 idea of this section is to apply the embeddings solvable Lie algebras in splittable Lie algebras. In Section 5 we prove Proposition 1.1 and Corollary 1.4. In Section 6 we prove Proposition 1.5 and Corollary 1.6. In Section 7 we give an example of a formal standard Γ-manifold with the hard Lefschetz property such that U Γ is not abelian. 2. Preliminaries 2.1. Algebraic groups. Let k be a subfield of C. A group G is called k-algebraic group if G is a Zariski-closed subgroup of GL n (C) which is defined by polynomials with coefficients in k. Let G(k) denote the set of k-points of G and U(G) the maximal Zariski-closed unipotent normal k-subgroup of G called the unipotent radical of G. In this paper, algebraic groups are always written in the bold face Nilpotent Lie algebras and R-unipotent algebraic groups. Let N be a simply connected Lie group and n the Lie algebra of N, By the Baker-Campbell-Hausdorff formula, the exponential map exp : n N is a diffeomorphism and we have the group structure on n induced by N such that X Y = X +Y [X,Y]+ 1 [X Y,[X,Y]]+. 12 Since n is nilpotent, X +Y + 1[X,Y]+ 1 [X Y,[X,Y]] is a finite 2 12 sum and given by polynomial functions on n = R dimn. So we have an R- algebraic group structure on n C = C dimn such that n C (R) = n. Let U n (C) be the upper triangular matrices and u n (C) Lie algebra of U n (C). Then the exponential map exp : u n (C) U n (C) gives the isomorphismofr-algebraicgroupsu n (C)andU n (C)ForanyLiesubalgebra u of u n (R), we have the faithful representation of an R-algebraic group exp : u C U n (C). So we have the 1-1 correspondence between Lie sub-algebras of u n (R) and R-algebraic subgroups of U n (C). By Engel s theorem, any nilpotent Lie algebra is a Lie subalgebra of u n (R) for some n. Hence we have: Proposition 2.1. By the exponential map, we have the 1-1 correspondence between nilpotent Lie algebras and unipotent R-algebraic groups. Let n 1, n 2 be nilpotent Lie algebras. Let N 1, N 2 be the R-unipotent groups which correspond to n 1, n 2. Let f : n 1 n 2 be a Lie algebra homomorphism. Since f is a linear map, f : n 1 C n 2 C is a R-algebraic group homomorphism. By f exp f exp 1, we have the 1-1 correspondence between Lie algebra homomorphisms n 1 n 2 and R-algebraic group homomorphisms N 1 N 2.

4 4 HISASHI KASUYA For a nilpotent Lie algebra n, the group of automorphisms Aut(n C ) is an R-algebraic group with Aut(n C )(R) = Aut(n) by the Lie bracket on n. Let N be the R-algebraic group which corresponds to n. Let Aut a (N) denote the group of automorphisms of N. By the above correspondence, we identify Aut(n C ) with Aut a (N). 3. Algebraic hulls In this section we explain the algebraic hulls of polycyclic groups or simply connected solvable Lie groups. We compile some facts in [3] and [15] and prove some lemmas to prove the main theorem Polycyclic groups and simply connected solvable Lie groups. We first review basic informations of polycyclic groups. See [15] and [18] for more details. Definition 3.1. A group Γ is polycyclic if it admits a sequence Γ = Γ 0 Γ 1 Γ k = {e} of subgroups such that each Γ i is normal in Γ i 1 and Γ i 1 /Γ i is cyclic. We denote rankγ = i=k i=1 rankγ i 1/Γ i. We have relations between polycyclic groups and solvable Lie groups. We have the following two theorem. Theorem 3.2. ([15, Proposition 3.7, Theorem 4.28]) Let G be a simply connected solvable Lie group and Γ be a lattice in G. Then Γ is torsionfree polycyclic and dim G = rank Γ. Conversely every polycyclic group admits a finite index normal subgroup which is isomorphic to a lattice in a simply connected solvable Lie group. Let Γ be a virtually polycyclic group and Γ be a finite index polycyclic subgroup. We denote rankγ = rankγ Algebraic hulls of torsion-free virtually polycyclic groups. Let k be a subfield of C. Let Γ be a torsion-free virtually polycyclic group. Definition 3.3. We call a k-algebraic group H Γ a k-algebraic hull of Γ if there exists an injective group homomorphism ψ : Γ H Γ (k) and H Γ satisfies the following conditions: (1) ψ(γ) is Zariski-dense in H Γ. (2) Z HΓ (U(H Γ )) U(H Γ ). (3) dimu(h Γ )=rankγ.

5 FORMALITY HARD LEFSCHETZ PROPERTIES 5 Theorem 3.4. ([3, Theorem A.1]) There exists a k-algebraic hull of Γ and a k-algebraic hull of Γ is unique up to k-algebraic group isomorphism. Let H Γ be the k-algebraic hull of Γ and let U Γ be the unipotent radical of H Γ. We call U Γ the k-unipotent hull of Γ. Let Γ be a torsion-free virtually polycyclic group and Γ be a finite index subgroup of Γ. Let H Γ be the k-algebraic hull of Γ and G the Zariski-closure of ψ( ) in H Γ. Lemma 3.5. The algebraic group G is the k-algebraic hull of and we have U = U Γ. Proof. Let H 0 Γ be the identity component of H Γ. Since G is a closed finite index subgroup of H Γ, we have H 0 Γ G. Since Γ is virtually polycyclic, H 0 Γ is solvable. Hence we have U(H Γ) = (H 0 Γ ) unip = U(G). Since rankγ = rank, we have And we have dimu(g) = rank. Z G (U(G)) Z HΓ (U(H Γ )) U(H Γ ) = U(G). Hence the lemma follows Algebraic hulls of simply connected solvable Lie groups. Let G be a simply connected solvable R-Lie group. Let k be a subfield of C which contains R as a subfield. Lemma 3.6. ([15, Lemma 4.36]) Let ρ : G GL n (C) be a representation and G be the Zariski-closure of ρ(g) in GL n (C). Then we have dimu(g) dimg. Definition 3.7. We call a k-algebraic group H G a k-algebraic hull of G if there exists an injective Lie group homomorphism ψ : G H Γ (k) and satisfies the following conditions: (1) ψ(g) is Zariski-dense in H G. (2) Z HG (U(H G )) U(H G ). (3) dimu(h G ) = dimg. Theorem 3.8. ([15, Proposition 4.4]) There exists a k-algebraic hull of G and a R-algebraic hull of G is unique up to k-algebraic group isomorphism. We call the unipotent radical of the k-algebraic hull of G the k- unipotent hull of G and denote U G. Suppose G has a lattice Γ.

6 6 HISASHI KASUYA Theorem 3.9. ([15, Theorem 3.2]) Let ρ : G GL n (C) be a representation and let G and G be the Zariski-closures of ρ(g) and ρ(γ) in GL n (C). Then we have U(G) = U(G ). Let ψ : G H G be the R-algebraic hull of G and H be the Zariskiclosure of ψ(γ) in H G. Lemma H is the R-algebraic hull of Γ and we have U G = U Γ. Proof. By Theorem 3.9, U(H G ) = U(H ). So we have dimu(h ) = dimu(h G ) = dimg = rankγ and Z H (U(H )) Z HG (U(H G )) U(H G ) U(H ). Hence the lemma follows Cohomology computations of aspherical manifolds with virtually torsion-free polycyclic fundamental groups. Let Γ be a torsion-free virtually polycyclic group. and H Γ be the Q-algebraic hull of Γ. Denote H Γ = H Γ (R). Let U Γ be the unipotent radical of H Γ and let T be a maximal reductive subgroup. Then H Γ decomposes as a semi-direct product H Γ = T U Γ. Let u be the Lie algebra of U Γ. Since the exponential map exp : u U Γ is a diffeomorphism, U Γ is diffeomorphic to R n such that n = rankγ. The splitting H Γ = T U Γ gives rise to the affine action α : H Γ Aut(U Γ ) U Γ such that α is an injective homomorphism. In[3]BauesconstructedacompactasphericalmanifoldM Γ = α(γ)\u Γ with π 1 (M Γ ) = Γ. We call M Γ a standard Γ-manifold. Theorem ([3, Theorem 1.2]) Standard Γ-manifold is unique up to diffeomorphism. Let A (M Γ ) be the de Rham complex of M Γ. Then A (M Γ ) is the set of the Γ-invariant differential forms A (U Γ ) Γ on U Γ. Let ( u ) T be the left-invariantformsonu Γ whicharefixedbyt. SinceΓ H Γ = T U Γ, we have the inclusion ( u ) T = A (U Γ ) H Γ A (U Γ ) Γ = A (M Γ ). Theorem ([3, Theorem 1.8]) This inclusion induces a cohomology isomorphism.

7 FORMALITY HARD LEFSCHETZ PROPERTIES 7 4. Constructions of algebraic hulls 4.1. The embedings of solvable Lie algebras in splittable Lie algebras. The idea of this subsection is based on [16]. Let g be a solvable Lie algebra, and n = {X g ad X is nilpotent}. n is the maximal nilpotent ideal of g and called the nilradical of g. Lemma 4.1. ([12, p.58]) We have [g,g] n. Let D(g) be the derivation of g. By the Jordan decomposition, we consider ad X = d X + n X such that d X is a semi-simple operator and n X is a nilpotent operator. Lemma 4.2. ([16, Proposition 3]) We have d X, n X D(g). Thenwehavethehomomorphismf : g D(g)suchthatf(X) = d X for X g. Since kerf = n, we have Imf = g/n. Let ḡ = Imf g. Let n = {X d X ḡ X g}. Since ad X dx = ad X d X ong, ad X dx isanilpotentoperator. So nconsistsofnilpotent elements. Proposition 4.3. We have d X ( n) n for any X g, n is a nilpotent ideal of ḡ and ḡ = Imf n. Proof. By Lie s theorem, we choose a basis X 1,...,X l of n C such that ad g on n are represented by upper triangular matrices. For any X g, we have ad X (X 1 ) = a X,1 X 1 ad X (X 2 ) = a X,2 +b X,12 X 1. ad X (X l ) = a X,l X l +b X,l 1l X l 1 + +b X,1l X 1. We take a basis X 1,...X l,x l+1,...x l+m of g C. By Lemma 4.1, ad X (X i ) n. Hence we have ad X (X l+1 ) = b X,ll+1 X l + +b X,1l+1 X 1. ad X (X l+m ) = b X,ll+m X l + +b X,1l+m X 1. Then we have d X (X i ) = a X,i X i 1 i l d X (X i ) = 0 l +1 i l +m and we have d X (g) n and d X ( n) n. This implies [ḡ,ḡ] n. In particular, n is an ideal of ḡ. Since n consists of nilpotent elements, n is a nilpotent ideal. By ḡ = {d X + Y d Y X,Y g}, we have ḡ = Imf n. By this proposition, we have the inclusion i : g D( n) n given by i(x) = d X +X d X for X g.

8 8 HISASHI KASUYA 4.2. Constructions of algebraic hulls of simply connected solvable Lie groups. Let G be a simply connected solvable Lie group and g be the Lie algebra of G. Let N be the subgroup of G which corresponds to the nilradical n of g. Consider the injection i: g Imf n D( n) n constructed in the last subsection. Let N be the simply connected Lie group which corresponds to n. Since the Lie algebra of Aut( N) N is D( n) n, we have the Lie group homomorphism I : G Aut( N) N induced by the injective homomorphism i : g D( n) n. Lemma 4.4. The homomorphism I : G Aut( N) N is injective. Proof. Since the restriction of i : g D( n) n on n is injective, the restriction I : G Aut( N) N on N is also injective. Let T f be the subgroup of Aut( N) which corresponds to Imf. We have I : G T f N. By Proposition 4.3, ḡ/n = Imf n/n. So we have I : G/N T f N/N and it is sufficient to show this map is injective. Let j : Imf n/n n/n be the projection and J : T f N/N N/N be the homomorphism which corresponds to j. Since the composition j i(x modn) = X d X modn is surjective, j i : g/n n/n is an isomorphism. Since G/N and N/N are simply connected abelian groups, J I : G/N N/N is also an isomorphism. Hence I : G/N T f N/N is injective. We have the unipotent R-algebraic group N with N(R) = N. We identify Aut a ( N) with Aut(n C ) and Aut a ( N) has the R-algebraic group structure with Aut a ( N)(R) = Aut(N). So we have the R-algebraic group Aut a ( N) N. By the above lemma, we have the injection I : G Aut(N) N = Aut a ( N) N(R). Let G be the Zariski-closure of I(G) in Aut a ( N) N. Lemma 4.5. We have U(G) = N. Proof. Let T be the Zariski-closure of T f in Aut N. Then G T N. Since G is connected solvable and T consists of semi-simple automorphisms, we have U(G) = G N. By this, it is sufficient to show dim U(G) = dim G. Let N be the Zariski-closure of I(N). By I(N) N, we have U(G)/N = U(G/N). Thus it is sufficient to show dimu(g/n) = dimg/n. Consider the induced map I : G/N T f N/N as the proof of Lemma 4.4. The Zariski-closure of I(G/N) in T N/N is G/N. Since T N/N is commutative, the projection T N/N N/N is an R-algebraic group homomorphism,

9 FORMALITY HARD LEFSCHETZ PROPERTIES 9 and hence the Zariski-closure of J I(G/N) in N/N is U(G/N). Otherwise in the proof of Lemma 4.4 we showed that J I : G/N N/N is isomorphism. This implies N/N = U(G/N). Hence the lemma follows. By this lemma we have the following proposition. Proposition 4.6. G is the algebraic hull of G and the Lie algebra of the unipotent hull U G is n C. Proof. We show that G satisfies the properties of the algebraic hull of G. We have dimu(g) = dim N = dimg. Let (t, x) Z G (U(G)) Aut a N N. Since U(G) = N and t is a semi-simple automorphism, we have t(y) = y for any y N. So we have t = id N. We have Z G (U(G)) U(G). Hence the proposition follows Proof of Theorem 1.2. To prove the theorem, we first show the following lemma. Lemma 4.7. Let g be a solvable Lie algebra and n the nilradical of g. If n is abelian and for the extension 0 n g g/n 0 the action of g/n on n is semi-simple, then we have a semi-direct decomposition g = R n φ R m such that φ is semi-simple. Proof. Let V 0 be the weight vector space of the action of g/n on n with weight 0. Since g/n acts semi-simply, we have a direct sum n = n V 0 of g/n-modules. Then we have [g,g] = [g,n ] = n and [g,v 0 ] = 0. This implies that V 0 is an ideal of g. Choose a subvector space g g so that we have g = g V 0 as a direct sum of vector spaces and n g. Since we have n = [g,n ] [g,g ] [g,g] = n, g is an ideal of g, n is an ideal of g and g V 0 is also a direct sum of Lie algebras. Hence it is sufficient to show the extension 0 n g g /n 0 sprits. By the construction of g and n, n does not contain a trivial g /n -module. By the result in [6], we have H 2 (g /n,n ) = {0}. Hence the lemma follows. Theorem 4.8. Let G be a simply connected solvable Lie group. Then U G is abelian if and only if G = R n φ R m such that the action φ : R n Aut(R m ) is semi-simple.

10 10 HISASHI KASUYA Proof. Consider the inclusion i : g Imf n. By the above argument, the Lie algebra of U G is n C. Suppose G = R n φ R m such that the action φ : R n AutR m is semi-simple. It is sufficient to show n = {X d X X g} Imf n is an abelian Lie algebra. Let X,Y g and X = X 1 +X 2, Y = Y 1 +Y 2 be the decompositions induced by the semi-direct product g = R n φ R m. Then we have d X2 = 0, d Y2 = 0, [X 1,Y 1 ] = 0 and [X 2,Y 2 ] = 0 by the assumption. Hence we have [X d X,Y d Y ] = [X 1,Y 2 ]+[X 2,Y 1 ] d X1 (Y 2 )+d Y1 (X 2 ). Since the action φ is semi-simple, we have d X1 (Y 2 ) = [X 1,Y 2 ] and d Y1 (X 2 ) = [Y 1,X 2 ]. Therefore we have [X d X,Y d Y ] = 0. This implies n is abelian. Conversely we assume U G is abelian. By the assumption, n is abelian. Since i(n) n, n is abelian. By Lemma 4.7 it is sufficient to show that the action g/n on n is semi-simple. Suppose ad X on n is not semi-simple. Then ad X d X on n is not trivial. Since we have n = {X d X X g} Imf n, we have [ n,n] {0}. This contradicts n is abelian. Hence we have the action g/n on n is semi-simple. By this theorem we show the following theorem. Theorem 4.9. Let Γ be a torsion-free virtually polycyclic group. Then the following two conditions are equivalent: (1) U Γ is abelian. (2) Γ is a finite extension group of a lattice of Lie group G such that G = R n φ R m with the action φ : R n Aut(R m ) is semi-simple. Proof. By Theorem 3.2, we have a finite index subgroup of Γ which isomorphic to a lattice of some simply connected solvable Lie group G. By Lemma 3.5 and 3.10, we have U Γ = U G. Hence by Theorem 4.8 we have the theorem. 5. Abelian unipotent hulls and formality 5.1. Abelian unipotent hulls and formality. We review the definition of formality and prove Proposition 1.1. Definition 5.1. A differential graded algebra(called DGA) is a graded R- algebra A with the following properties: (1) A is graded commutative, i.e. y x = ( 1) p q x y x A p y A q.

11 FORMALITY HARD LEFSCHETZ PROPERTIES 11 (2) There is a boundary operator d : A A of degree one such that d d = 0 and d(x y) = dx y +( 1) p x dy x A p y A q. Let A and B be DGAs. If a morphism of graded algebra ϕ : A B satisfies d ϕ = ϕ d, we call ϕ a morphism of DGAs. If a morphism of DGAs induces the cohomology isomorphism, we call it a quasi-isomorphism. Definition 5.2. A and B are weakly equivalent if there is a finite diagram of DGAs A C 1 C 2 B such that all the morphisms are quasi-isomorphisms. Let M be a smooth manifold. The De Rham complex A (M) of M is the basic example of a DGA. The cohomology algebra H (M,R) is a DGA with d = 0. Definition5.3. AsmoothmanifoldM isformalifa (M)andH (M,R) are weakly equivalent. Proposition 5.4. Let Γ be a torsion-free virtually polycyclic group. If the unipotent hull U Γ is abelian, the standard Γ-manifold M Γ is formal. Proof. We denote U, T and ( u ) T as Section 3.4. If the k-unipotent hull of Γ is abelian, ( u,d) = ( u,0). By Theorem 3.12, we have the diagram of DGAs A (M Γ ) (( u ) T ) = H (M Γ ) such that the map A (M Γ ) (( u ) T ) is a quasi-isomorphism. Hence the proposition follows. By the last section we have the following corollary. Corollary 5.5. If Γ satisfies the condition (2) in Theorem 4.9, then K(Γ,1) is formal Relations to the geometries of 3-dimensional manifolds. We give examples of formal spaces which relate to 3-dimensional geometry. See [17] for the general theory of 3-dimensional geometries. Corollary 5.6. Let M be a compact 3-dimensional manifold. If the geometric structure of M is E 3 or Sol, then M is formal.

12 12 HISASHI KASUYA Proof. For E 3, for any lattice Γ in Isom(E 3 ) = R 3 O(3), the intersection Γ R 3 is a lattice of R 3 and a finite index subgroup of Γ by Bieberbach s first theorem. This implies M is formal if the geometric structure of M ( is E 3. ) For Sol, Sol is the Lie group G = R φ R 2 such e t 0 that φ(t) = 0 e t with an invariant metric. Let Γ be a discrete subgroup of Isom(Sol) such that Γ\G is compact. Since the identity component of Isom(Sol) is G andit isafinite index normal subgroup of Isom(Sol)(see [17]), Γ G is a finite index subgroup of Γ and Γ G\G is compact. Hence Γ is a finite extension of a lattice of G. By Corollary 5.5, we have the corollary. 6. Relations to Kähler Structures 6.1. The hard Lefschetz property. We review the definition of the hard Lefschetz property and prove Proposition 1.5. Definition 6.1. Let (M, ω) be a 2n-dimensional symplectic manifold. We say that (M,ω) satisfies the hard Lefschetz property if the linear map [ω n i ] : H i (M,R) H 2n i (M,R) is an isomorphism for any 0 i n. Theorem 6.2. ([14]) Compact Kähler manifolds satisfy the hard Lefschetz properties. Proposition 6.3. Let Γ be a torsion-free virtually polycyclic group. Suppose the standard Γ-manifold M Γ admits a symplectic structure. If the unipotent hull U Γ is abelian, M Γ satisfies the hard Lefschetz property. Proof. As in Section 3.4, we have the sub-dga ( u ) T with d = 0 in A (M Γ ) and the isomorphism ( u ) T = H (M Γ,R). For a symplectic form of ω on M Γ, we have ω 0 ( u ) T which is cohomologous to ω. Since ω n 0 for 2n = dimu = dimm Γ, ω 0 is a symplectic form on the vector space u. Since ω n i 0 : u i u 2n i is injective for any 0 i n by the hard Lefschetz property of a torus, is also injective and so ω n i 0 : ( u i ) T ( u 2n i ) T [ω n i ] : H i (M Γ,R) H 2n i (M Γ,R)

13 FORMALITY HARD LEFSCHETZ PROPERTIES 13 is injective and thus it is an isomorphism by the Poincaré duality. Hence we have the proposition. Corollary 6.4. Suppose M Γ admits a symplectic structure. If Γ satisfies the condition (2) in Theorem 1.2, M Γ satisfies the hard Lefschetz property Formal solvmanifolds satisfying the hard Lefschetz property but not admitting Kähler structure. In [1], Arapura showed that the fundamental groups of compact Kähler solvmanifolds are virtually abelian. Let G be a simply connected solvable Lie group. We call G type (I) if for any g G the all eigenvalues of the adjoint operator Ad g have absolute value 1. In [2] it was proved that a lattice of a simply connected solvable Lie group G is virtually nilpotent if and only if G is type (I). In [3] Baues proved every compact solvmanifold with the fundamental group Γ is diffeomorphic to the standard Γ-manifold. Hence we have the following corollary. Corollary 6.5. Let G = R n φ R m such that φ : R n Aut(R m ) is semi-simple and G is not type (I). Then for any lattice Γ of G, G/Γ is a formal solvmanifold which does not admit a Kähler structure. If G/Γ admits a symplectic structure, G/Γ satisfies the hard Lefschetz property Examples. Earlier, in [8] Fernandez, and Gray constructed examples of formal solvmanifolds satisfying the hard Lefschetz property not admitting a Kähler structure. For a Lie group G = R φ R 2 with ( e kt 0 φ(t) = 0 e kt ), they showed that for a lattice Γ of G the manifold G/Γ S 1 is such an example. By the result of this paper we generalize this construction. Example.1(Generalizations of Fernandez and Gray s examples) Let G = R φ R 2(m+n)+1 such that ( ) ( ) e a 1 t 0 e a mt 0 φ(t) = 0 e a 1t 0 e amt ( ) cosb1 t sinb 1 t sinb 1 t cosb 1 t ( cosbn t sinb n t sinb n t cosb n t ) (1) for a i,b i R. Then the cochain complex ( g,d) of the Lie algebra of G is given by: g = τ,x i,y i,z j,w j,σ, dτ = dσ = 0,

14 14 HISASHI KASUYA dx i = a i τ x i, dy i = a i τ y i, (1 i m), dz j = b j τ w j, dw j = b j τ z j, (1 j n). Wehaveaninvariantsymplectic formω = τ σ+ m i x i y i + n j z j w j Hence for any lattice Γ, G/Γ is formal and satisfies the hard Lefschetz property. If some a i is not zero, G/Γ does not admit a Kähler metric. Example.2(complex example) ( ) e Let G = C φ C 2 x 0 with φ(x) = 0 e x. Then the cochain complex ( g,d) of the Lie algebra of G is given by: g = x 1,x 2,y 1,y 2,z 1,z 2, dx 1 = dx 2 = 0, dy 1 = x 1 y 1 +x 2 y 2, dy 2 = x 2 y 1 x 1 y 2, dz 1 = x 1 z 1 x 2 z 2, dz 2 = x 1 z 2 +x 2 z 1. We have an invariant symplectic form ω = x 1 x 2 +z 1 y 1 +y 2 z 2. In [10], it was shown that G has some lattices. For any lattice Γ, G/Γ is complex, symplectic with the hard Lefschetz property and formal but not Kähler. 7. Remarks In this Section we give an example of a formal standard Γ-manifold with the hard Lefschetz property such that U Γ is not abelian. In addition this is also an example of formal manifold satisfying the hard Lefschetz property such that it is finitely covered by a non-formal manifold not satisfying the hard Lefschetz property. We notice that compact manifolds finitely covered by non-kähler manifolds are not Kähler. Let Γ = Z φ Z 2 such that for t Z ( ) ( 1) t ( 1) φ(t) = t t 0 ( 1) t. Lemma 7.1. The algebraic hull of Γ is given by H Γ = {±1} U 3 (C) such that ( 1) 1 x z 0 1 y = 1 x ( 1)z 0 1 ( 1)y 0 0 1

15 FORMALITY HARD LEFSCHETZ PROPERTIES 15 Proof. We have the inclusion Γ = ( 1) x, 1 x z 0 1 y {±1} U Γ. Then Γ is Zariski-dense in {±1} U Γ and rankγ = 3 = dimu Γ. Since the action of {±1} on U Γ is faithful, we have Z HΓ (U Γ ) U Γ. Hence the lemma follows. We have H Γ (R) = {±1} U Γ such that U Γ = U 3 (R). Let u be the Lie algebra of U Γ. We have u = X 1,X 2,X 3 such that the bracket is given by [X 1,X 2 ] = [X 2,X 1 ] = X 3. The {±1}-action on u is given by ( 1) X 1 = X 1, ( 1) X i = X i i = 2,3 Let x 1,x 2,x 3 be the basis of u which is dual to X 1,X 2,X 3. Then the DGA ( u ) {±1} is the subalgebra of u generated by {x 1,x 2 x 3 } and the derivation on ( u ) {±1} is trivial. Let M Γ be the standard Γ-manifold. Then by Theorem 3.12, we have the quasi-isomorphism ( u ) {±1} A (M Γ ). Since the derivation on ( u ) {±1} is trivial, we have the isomorphism ( u ) {±1} = H (M). Hence we have: Proposition 7.2. M Γ is formal. Remark 1. Since U Γ is not abelian, the converse of Proposition 5.4 is not true. Remark 2. We have the finite index subgroup 2Z Z 2 which is nilpotent. So Γ is virtually nilpotent but not virtually abelian. By the result of [9], K(2Z Z 2,1) is not formal. But for the finite extension group Γ, K(Γ,1) is formal. Remark 3. Since {±1} acts isometrically on U Γ with the invariant metric, M Γ has Nil structure. So we have a formal 3-dimensional compact manifold which has Nil structure. Let = Γ Z. Then we have H = H Γ R and U = U Γ R. As above we have the quasi-isomorphism inclusion ( u ) {±1} (y) A (M ). Let ω = x 1 y+x 2 x 3. Then ω is a symplectic form on M. Since H 1 (M,R) = x 1,y and H 3 (M,R) = x 1 x 2 x 3,x 2 x 3 y, the linear map [ω] : H 1 (M,R) H 3 (M,R) is an isomorphism and hence we have the following proposition. Proposition 7.3. M Γ S 1 satisfies the hard Lefschetz property.

16 16 HISASHI KASUYA Remark 4. is a finite extension group of the non-abelian nilpotent group 2Z Z 2 Z as remark 2. By the result of [4], a compact K(2Z Z 2 Z,1)-manifoldisnotaLefschetz4-manifold. ThusM isaexample of a Lefschetz 4-manifold with non-lefschetz finite covering space. In [11, Example 3.4], Lin showed the existence of Lefschetz 4-manifolds with non-lefschetz finite covering space. M is a simpler and more constructive example. Acknowledgements. The author would like to express his gratitude to Toshitake Kohno for helpful suggestions and stimulating discussions. He would also like to thank Katsuhiko Kuribayashi and Keizo Hasegawa for their active interests in this paper. This research is supported by JSPS Research Fellowships for Young Scientists. References [1] D. Arapura, Kähler solvmanifolds, Int. Math. Res. Not.3(2004), [2] L. Auslander, An exposition of the structure of solvmanifolds. I. Algebraic theory. Bull. Amer. Math. Soc. 79 (1973), no. 2, [3] O. Baues, Infra-solvmanifolds and rigidity of subgroups in solvable linear algebraic groups. Topology 43 (2004), no. 4, [4] C. Benson, and C. S. Gordon, Kähler and symplectic structures on nilmanifolds. Topology 27 (1988), no. 4, [5] A. Borel, Linear algebraic groups 2nd enl. ed Springer-verlag (1991). [6] J. Dixmier, Cohomologie des algébres de Lie nilpotentes. Acta Sci. Math. Szeged 16 (1955), [7] P. Deligne, P. Griffiths, J. Morgan, and D. Sullivan, Real homotopy theory of Kahler manifolds. Invent. Math. 29 (1975), no. 3, [8] M. Fernandez, and A. Gray, Compact symplectic solvmanifolds not admitting complex structures. Geom. Dedicata 34 (1990), no. 3, [9] K. Hasegawa, Minimal models of nilmanifolds. Proc. Amer. Math. Soc. 106 (1989), no. 1, [10] I. Nakamura, Complex parallelisable manifolds and their small deformations. J. Differential Geometry 10 (1975), [11] Y. Lin, Examples of non-kahler Hamiltonian circle manifolds with the strong Lefschetz property. Adv. Math. 208 (2007), no. 2, [12] A. L. Onishchik, and E. B. Vinberg, Structure of Lie groups and Lie algebras, Springer (1994). [13] A. L. Onishchik, and E. B. Vinberg, Discrete subgroups of Lie groups and cohomologies of Lie groups and Lie algebras, Springer (2000). [14] J. Oprea, and A. Tralle, Symplectic manifolds with no Kähler structure. Lecture Notes in Math. 1661, Springer (1997). [15] M. S. Raghnathan, Discrete subgroups of Lie Groups, Springer-verlag, New York, 1972.

17 FORMALITY HARD LEFSCHETZ PROPERTIES 17 [16] B. E. Reed, Representations of solvable Lie algebras, Michigan Math. J [17] P. Scott, The geometries of 3-manifolds. Bull. London Math. Soc. 15 (1983), no. 5, [18] D. Segal, Polycyclic groups, Cambridge tracts in mathematics 82, Cambridge University Press, (1983). (H.kasuya) Graduate school of mathematical science university of tokyo japan address: