Pacific Journal of Mathematics
Volume 249 No. 1 January 2011 PACIFIC JOURNAL OF MATHEMATICS http://www.pjmath.org
Founded in 1951 by E. F. Beckenbach (1906–1982) and F. Wolf (1904–1989)
EDITORS V. S. Varadarajan (Managing Editor) Department of Mathematics University of California Los Angeles, CA 90095-1555 pacifi[email protected]
Vyjayanthi Chari Darren Long Sorin Popa Department of Mathematics Department of Mathematics Department of Mathematics University of California University of California University of California Riverside, CA 92521-0135 Santa Barbara, CA 93106-3080 Los Angeles, CA 90095-1555 [email protected] [email protected] [email protected]
Robert Finn Jiang-Hua Lu Jie Qing Department of Mathematics Department of Mathematics Department of Mathematics Stanford University The University of Hong Kong University of California Stanford, CA 94305-2125 Pokfulam Rd., Hong Kong Santa Cruz, CA 95064 fi[email protected] [email protected] [email protected]
Kefeng Liu Alexander Merkurjev Jonathan Rogawski Department of Mathematics Department of Mathematics Department of Mathematics University of California University of California University of California Los Angeles, CA 90095-1555 Los Angeles, CA 90095-1555 Los Angeles, CA 90095-1555 [email protected] [email protected] [email protected]
PRODUCTION pacifi[email protected] Silvio Levy, Scientific Editor Matthew Cargo, Senior Production Editor
SUPPORTING INSTITUTIONS
ACADEMIASINICA, TAIPEI STANFORD UNIVERSITY UNIV. OFCALIF., SANTA CRUZ CALIFORNIAINST. OFTECHNOLOGY UNIV. OFBRITISHCOLUMBIA UNIV. OF MONTANA INST. DE MATEMÁTICA PURA E APLICADA UNIV. OFCALIFORNIA, BERKELEY UNIV. OFOREGON KEIOUNIVERSITY UNIV. OFCALIFORNIA, DAVIS UNIV. OFSOUTHERNCALIFORNIA MATH. SCIENCESRESEARCHINSTITUTE UNIV. OFCALIFORNIA, LOSANGELES UNIV. OF UTAH NEW MEXICO STATE UNIV. UNIV. OFCALIFORNIA, RIVERSIDE UNIV. OF WASHINGTON OREGON STATE UNIV. UNIV. OFCALIFORNIA, SANDIEGO WASHINGTON STATE UNIVERSITY UNIV. OFCALIF., SANTA BARBARA These supporting institutions contribute to the cost of publication of this Journal, but they are not owners or publishers and have no responsibility for its contents or policies.
See inside back cover or www.pjmath.org for submission instructions.
The subscription price for 2011 is US $420/year for the electronic version, and $485/year for print and electronic. Subscriptions, requests for back issues from the last three years and changes of subscribers address should be sent to Pacific Journal of Mathematics, P.O. Box 4163, Berkeley, CA 94704-0163, U.S.A. Prior back issues are obtainable from Periodicals Service Company, 11 Main Street, Germantown, NY 12526-5635. The Pacific Journal of Mathematics is indexed by Mathematical Reviews, Zentralblatt MATH, PASCAL CNRS Index, Referativnyi Zhurnal, Current Mathematical Publications and the Science Citation Index. The Pacific Journal of Mathematics (ISSN 0030-8730) at the University of California, c/o Department of Mathematics, 969 Evans Hall, Berkeley, CA 94720-3840, is published monthly except July and August. Periodical rate postage paid at Berkeley, CA 94704, and additional mailing offices. POSTMASTER: send address changes to Pacific Journal of Mathematics, P.O. Box 4163, Berkeley, CA 94704-0163.
PJM peer review and production are managed by EditFLOW™ from Mathematical Sciences Publishers. PUBLISHED BY PACIFIC JOURNAL OF MATHEMATICS at the University of California, Berkeley 94720-3840 A NON-PROFIT CORPORATION Typeset in LATEX Copyright ©2011 by Pacific Journal of Mathematics PACIFIC JOURNAL OF MATHEMATICS Vol. 249, No. 1, 2011
METABELIAN SL(n, ރ) REPRESENTATIONS OF KNOT GROUPS, II: FIXED POINTS
HANS U.BODENAND STEFAN FRIEDL
Given a knot K in an integral homology sphere 6 with exterior NK , there is a natural action of the cyclic group ޚ/n on the space of SL(n, ރ) represen- tations of the knot group π1(NK ), which induces an action on the SL(n, ރ) character variety. We identify the fixed points of this action in terms of characters of metabelian representations, and we apply this in order to show α that the twisted Alexander polynomial 1K,1(t) associated to an irreducible metabelian SL(n, ރ) representation α is actually a polynomial in tn.
1. Introduction
The study of metabelian representations and metabelian quotients of knot groups goes back to the pioneering work of Neuwirth [1965], de Rham [1967], Burde [1967], and Fox [1970]; see also [Burde and Zieschang 2003, Section 14]. The theory was further developed by many authors, including Hartley [1979; 1983], Livingston [1995], Letsche [2000], Lin [2001], Nagasato [2007], and Jebali [2008]. In [Boden and Friedl 2008], we proved a classification theorem for irreducible metabelian representations and in this paper we continue our study of metabelian representations of knot groups. Throughout this paper, when we say that K is a knot, we will always understand that K is an oriented, simple closed curve in an integral homology 3-sphere 6. We 3 write NK = 6 \ τ(K ), where τ(K ) denotes an open tubular neighborhood of K . Given a topological space M, let Rn(M) be the space of SL(n, ރ) representa- tions of π1(M), and let Xn(M) be the associated character variety. We use ξα to denote the character of the representation α : π1(M) → SL(n, ރ). We will often make use of the important fact that two irreducible representations determine the same character if and only if they are conjugate; see [Lubotzky and Magid 1985, Corollary 1.33]. Now suppose K is a knot. The group ޚ/n has an action on the representation k 2πik/n variety Rn(NK ), given by twisting by the n-th roots of unity ω = e ∈ U(1).
MSC2000: primary 57M25; secondary 20C15. Keywords: metabelian representation, knot group, character variety, group action, fixed point.
1 2 HANSU.BODEN AND STEFAN FRIEDL
(This is a special case of the more general twisting operation described in [Lubotzky and Magid 1985, Chapter 5].) More precisely, we write ޚ/n = hσ | σ n = 1i and ε(g) set (σ ·α)(g) = ω α(g) for each g ∈ π1(NK ), where ε : π1(NK ) → H1(NK ) = ޚ is determined by the given orientation of the knot. This constructs an action of ޚ/n on Rn(NK ) which, in turn, descends to an action on the character variety Xn(NK ). Our main result identifies the fixed points ∗ of ޚ/n in Xn(NK ) — the irreducible characters — as those associated to metabelian representations.
Theorem 1. The character ξα of an irreducible representation α : π1(NK ) → SL(n, ރ) is fixed under the ޚ/n action if and only if α is metabelian. In proving this result, we will actually characterize the entire fixed point set ޚ/n Xn(NK ) in terms of characters ξα of the metabelian representations α = α(n,χ) described in Section 2.3 (see Theorem 4). When n = 2, it turns out that every metabelian SL(2, ރ) representation is dihedral. For this case, Theorem 1 was first proved by F. Nagasato and Y. Yamaguchi [2008, Proposition 4.8]. As an application of Theorem 1, we prove a result about the twisted Alexander polynomials associated to metabelian representations. This result was first shown by C. Herald, P. Kirk and C. Livingston [2010] using completely different methods. Our approach is elementary and natural, and is explained in Section 3.2, where we apply it to give an answer to a question raised by Hirasawa and Murasugi [2009].
2. The classification of metabelian representations of knot groups
We recall some results from [Boden and Friedl 2008] regarding the classification of metabelian representations of knot groups.
2.1. Preliminaries. Given a group π, we write π (n) for the n-th term of the derived series of π. These subgroups are defined inductively by setting π (0) = π and π (i+1) = [π (i), π (i)]. The group π is called metabelian if π (2) = {e}. Suppose V is a finite-dimensional vector space over ރ. A representation % : π → Aut(V ) is called metabelian if % factors through π/π (2). The representation % is called reducible if there exists a proper subspace U ⊂ V invariant under %(γ ) for all γ ∈ π. Otherwise, % is called irreducible or simple. If % is the direct sum of simple representations, then % is called semisimple. Two representations %1 : π → Aut(V ) and %2 : π → Aut(W) are called isomor- −1 phic if there exists an isomorphism ϕ : V → W such that ϕ ◦ %1(g) ◦ ϕ = %2(g) for all g ∈ π.
2.2. Metabelian quotients of knot groups. Let K ⊂ 63 be a knot in an integral homology 3-sphere. Denote by NeK the infinite cyclic cover of NK corresponding METABELIAN SL(n, ރ) REPRESENTATIONSOFKNOTGROUPS,II 3
∼ (1) to the abelianization π1(NK ) → H1(NK ) = ޚ. Thus, π1(NeK ) = π1(NK ) and ±1 ∼ (1) (2) H1 NK ; ޚ[t ] = H1(NeK ) = π1(NK ) /π1(NK ) . The ޚ[t±1]-module structure is given on the right hand side by tn · g := µ−n g µn, where µ is a meridian of K . For a knot K , we set π := π1(NK ) and consider the short exact sequence 1 → π (1)/π (2) → π/π (2) → π/π (1) → 1.
(1) ∼ Since π/π = H1(NK ) = ޚ, this sequence splits, and we get isomorphisms (2) ∼ (1) (1) (2) ∼ (1) (2) ∼ ±1 π/π = π/π n π /π = ޚ n π /π = ޚ n H1(NK ; ޚ[t ]), g 7→ (µε(g), µ−ε(g)g) 7→ (ε(g), µ−ε(g)g), where the semidirect products are taken with respect to the ޚ actions defined by (1) (2) n ±1 letting n ∈ ޚ act on π /π by conjugation by µ , and on H1(NK ; ޚ[t ]) by multiplication by tn.
2.3. Irreducible metabelian SL(n, ރ) representations of knot groups. Let K be ±1 a knot and write H = H1(NK ; ޚ[t ]). The discussion of the previous section shows that irreducible metabelian SL(n, ރ) representations of π1(NK ) correspond precisely to the irreducible SL(n, ރ) representations of ޚ n H. Let χ : H → ރ∗ be a character that factors through H/(tn − 1), and take z ∈ S1 with zn = (−1)n+1. It follows from [Boden and Friedl 2008, Section 3] that, for ( j, h) ∈ ޚ n H, j 0 0 ··· z χ(h) 0 ··· 0 ··· ··· z 0 0 0 χ(th) 0 α(χ,z)( j, h) = ...... . . .. . . . . . . . . . 0 ··· z 0 0 0 ··· χ(tn−1h) defines an SL(n, ރ) representation whose isomorphism type does not depend on the choice of z. In our notation we will not normally distinguish between metabelian representations of π1(NK ) and representations of ޚ n H. We say that a character χ : H → ރ∗ has order n if it factors through H/(tn −1) but not through H/(t` −1) for any ` < n. Given a character χ : H → ރ∗, let ti χ be the character defined by (ti χ)(h) = χ(ti h). Any character χ : H → ރ∗ that factors through H/(tn − 1) must have order k for some divisor k of n. The next statement is a combination of [Boden and Friedl 2008, Lemma 2.2 and Theorem 3.3]. Theorem 2. Suppose χ : H → ރ∗ is a character that factors through H/(tn − 1).
(i) α(n,χ) : ޚ n H → SL(n, ރ) is irreducible if and only if the character χ has order n. 4 HANSU.BODEN AND STEFAN FRIEDL
0 ∗ (ii) Given two characters χ, χ : H → ރ of order n, the representations α(n,χ) k 0 and α(n,χ 0) are conjugate if and only if χ = t χ for some k. (iii) For any irreducible representation α : ޚn H → SL(n, ރ), there is a character ∗ χ : H → ރ of order n such that α is conjugate to α(n,χ).
3. Main results
3.1. Metabelian characters as fixed points. Set ω = e2πi/n and recall the action n of the cyclic group ޚ/n = hσ | σ = 1i on representations α : π1(NK ) → SL(n, ރ) ε(g) obtained by setting (σ ·α)(g) = ω α(g) for all g ∈ π1(NK ), where ε : π1(NK ) → H1(NK ) = ޚ.
Lemma 3. Suppose α : π1(NK ) → SL(n, ރ) is a representation whose associated character ξα ∈ Xn(NK ) is a fixed point of the ޚ/n action. Up to conjugation, 0 0 ··· z z 0 ··· 0 (1) α(µ) = ...... . . . . 0 ··· z 0 for some (in fact, any) z ∈ U(1) such that zn = (−1)n+1. Proof. Let c(t) = det(α(µ) − t I ) denote the characteristic polynomial of α(µ), which we can write as
n n n−1 c(t) = (−1) t + cn−1t + · · · + c1t + 1.
Note that c(t) is determined by the character ξα ∈ Xn(NK ) and so, assuming ξα is a fixed point of the ޚ/n action, we conclude that α(µ) and ωkα(µ) have the same characteristic polynomials for all k. In particular, c(t) = det(α(µ) − t I ) = det(ω−1α(µ) − t I ) = det(ω−1α(µ) − (ω−1ω)t I ) = det(ω−1 I ) det(α(µ) − ωt I ) = det(α(µ) − tωI ) = c(ωt).
k However, ω 6= 1 unless n divides k, and this implies 0 = cn−1 = cn−2 = · · · = c1 and c(t) = (−1)ntn +1. In particular, the matrix α(µ) and the matrix appearing in Equation (1) have the same set of n distinct eigenvalues. This implies that the two matrices are conjugate. To prove Theorem 1, we establish the following more general result:
Theorem 4. The fixed point set of the ޚ/n action on Xn(NK ) consists of characters ξα of the metabelian representations α = α(n,χ) described in Section 2.3. In other ޚ/n ±1 ∗ words, Xn(NK ) = {ξα | α = α(n,χ) for χ : H1(NK ; ޚ[t ]) → ރ }. METABELIAN SL(n, ރ) REPRESENTATIONSOFKNOTGROUPS,II 5
Theorem 1 can be viewed as the special case of Theorem 4 when α is irreducible. (Recall that irreducible representations are conjugate if and only if they define the same character.) Note that not every reducible metabelian representation is of the form α(n,χ).
Proof. We first show that if α : π1(NK ) → SL(n, ރ) is given as α = α(n,χ), then σ · α is conjugate to α. This of course implies that ξα = ξσ·α. Assume then that α = α(n,χ). We have
0 0 ··· z z 0 ··· 0 α(µ) = , ...... . . . . 0 ··· z 0
n n+1 where z satisfies z =(−1) . Also α(g) is diagonal for all g ∈[π1(NK ), π1(NK )]. From the definition of σ · α, we see that 0 0 ··· ωz ωz 0 ··· 0 (σ · α)(µ) = ω α(µ) = ...... . . . . 0 ··· ωz 0 and that (σ · α)(g) = α(g) for all g ∈ [π1(NK ), π1(NK )]. It follows easily from Theorem 2(ii) that σ · α and α(n,χ) are conjugate; however, it is easy to see this directly too. Simply take 1 0 ω P = , .. . 0 ωn−1 and compute that σ · α = P αP−1 as claimed. ޚ/n We now show the other implication, namely, that each point ξ ∈ Xn(NK ) in the fixed point set can be represented as the character ξ = ξα of a metabelian ±1 ∗ representation α = α(n,χ), where χ : H1(NK ; ޚ[t ]) → ރ is a character that ±1 n factors through H1(NK ; ޚ[t ])/(t − 1) and hence has order k for some k that divides n. (Note that Theorem 2(i) tells us that α(n,χ) is irreducible if and only if χ has order n.) From the general results on representation spaces and character varieties (see [Lubotzky and Magid 1985]), it follows that every point in the character vari- ety Xn(NK ) can be represented as ξα for some semisimple representation α : π1(NK ) → SL(n, ރ). Further, two semisimple representations α1 and α2 determine 6 HANSU.BODEN AND STEFAN FRIEDL the same character if and only if α1 is conjugate to α2. (This is evident from the fact that the orbits of the semisimple representations under conjugation are closed.) ޚ/n Given ξ ∈ Xn(NK ) , we can therefore suppose that ξ =ξα for some semisimple representation α. Clearly σ ·α is also semisimple, and since ξα = ξσ·α, we conclude from the previous argument that α and σ · α are conjugate representations. This means that there exists a matrix A ∈ SL(n, ރ) such that Aα A−1 = σ · α. In other words, for all g ∈ π1(NK ), we have (2) Aα(g)A−1 = ωε(g)α(g). Lemma 3 implies that α(µ) is conjugate to the matrix in Equation (1). It is conve- nient to conjugate α so that α(µ) is diagonal, meaning that z 0 ωz α(µ) = , .. . 0 ωn−1z where z satisfies zn = (−1)n+1. We now apply (2) to the meridian to conclude that Aα(µ) = ω α(µ) A, which implies that A = (ai j ) satisfies ai j = 0 unless j = i + 1 mod (n). Thus, we see that 0 λ1 0 ··· 0 0 0 λ2 ··· 0 = ...... A . . . . . 0 0 ··· 0 λn−1 λn 0 ··· 0 0 n+1 for some λ1, . . . , λn satisfying λ1 ··· λn = (−1) . It is completely straightforward to see that the characteristic polynomial of A is det(A − t I ) = (−1)n(tn − (−1)n+1). From this, we conclude that A has as its eigenvalues the n distinct n-th roots of (−1)n+1. In particular, the subset of matrices in SL(n, ރ) that commute with A is ∼ ∗ n−1 just a copy of the unique maximal torus TA = (ރ ) containing A. For any g ∈ [π1(NK ), π1(NK )], we have α(g) = (σ ·α)(g). Thus it follows that −1 Aα(g)A = α(g), and this implies that α(g) ∈ TA for all g ∈ [π1(NK ), π1(NK )]. This shows that the restriction of α to the commutator subgroup [π1(NK ), π1(NK )] is abelian. We conclude from this that α is indeed metabelian. Notice that this, and an application of Theorem 2(iii), completes the proof in case α is irreducible. METABELIAN SL(n, ރ) REPRESENTATIONSOFKNOTGROUPS,II 7
In the general case, it follows from the discussion in Section 2.2 that α factors ±1 ±1 through ޚ n H1(NK ; ޚ[t ]). Let H = H1(NK ; ޚ[t ]). Given a character χ : ∗ H → ރ , we define the associated weight space Vχ by setting
n Vχ = {v ∈ ރ | χ(h) · v = α(h)v for all h ∈ H}.
Recall that A · α(h) · A−1 = α(h) for any h ∈ H. It is straightforward to show that A restricts to an automorphism of Vχ . Since H is abelian, there exists at least ∗ i one character χ : H → ރ such that Vχ is nontrivial. For any i, denote by t χ the character given by (ti χ)(h) = χ(ti h) for h ∈ H. Note that A has n distinct eigenvalues and therefore is diagonalizable. Since A restricts to an automorphism of Vχ , there is an eigenvector v of A that lies in Vχ . Let λ be the corresponding eigenvalue. By the proof of [Boden and Friedl 2008, Theorem 2.3], the map α(µ) induces an isomorphism Vχ → Vtχ . We now calculate
A · α(µ)v = (Aα(µ)A−1) · Av = ω α(µ) · λv = λω · α(µ)v; that is, α(µ)v ∈ Vtχ is an eigenvector of A with eigenvalue ωλ. i Iterating this argument, we see that α(µ) v lies in Vti χ and is an eigenvector of A with eigenvalue ωi λ. Since ω is a primitive n-th root of unity, the eigen- values λ, ωλ, . . . , ωn−1λ are all distinct, and this implies that the corresponding eigenvectors v, α(µ)v, . . . , α(µ)n−1v form a basis for ރn. Let m be the order of χ; that is, m is the minimal number such that χ = tmχ. n From the previous argument, we see that ރ is generated by Vχ , Vtχ ,..., Vtm χ . Since the characters χ, tχ, . . . , tmχ are pairwise distinct, it follows that ރn is given as the direct sum Vχ ⊕ Vtχ ⊕ · · · ⊕ Vtm−1χ . m We write k = dimރ(Vχ ) and note that n = km. We note further that α(µ) has eigenvalues
(3) {zm, zme2πi/k,..., zme2πi(k−1)/k}, and each eigenvalue has multiplicity m. Clearly α(µ)m restricts to an automor- phism of Vti χ for i = 0,..., m −1, and equally clearly we see that the restrictions all give conjugate representations. This implies that the restriction of α(µ)m to Vχ has eigenvalues in the set (3) above, each occurring with multiplicity 1. In m particular, we can find a basis {v1, . . . , vk} for Vχ in which the matrix of α(µ) has the form 0 0 ··· zm zm 0 ··· 0 α(µm) = . ...... . . . . 0 ··· zm 0 8 HANSU.BODEN AND STEFAN FRIEDL
It is now straightforward to verify that, with respect to the ordered basis z−1 ··· z−(m−1) m−1 v1, α(µ)v1, , α(µ) v1, −1 −(m−1) m−1 v2, z α(µ)v2, ··· , z α(µ) v2, . . . , . . . −1 −(m−1) m−1 vk, z α(µ)vk, ··· , z α(µ) vk
α is given by α(n, χ). 3.2. Application to twisted Alexander polynomials. As an application, we prove a the following result regarding twisted Alexander polynomials of knots correspond- α ing to metabelian representations. Denote by 1K,i (t) the i-th twisted Alexander polynomial for a given representation α : π1(NK ) → SL(n, ރ), as presented in [Friedl and Vidussi 2009].
Proposition 5. Let α be a metabelian representation of the form α = α(n,χ) : π1(NK ) → SL(n, ރ). Then 1 − tn if χ is trivial, 1α (t) = K,0 1 otherwise. α n Further, the twisted Alexander polynomial 1K,1(t) is actually a polynomial in t . Remark 6. In their paper, C. Herald, P. Kirk, and C. Livingston prove the same re- sult using an entirely different approach; compare with [Herald et al. 2010, page 10] We also point out that Proposition 5 gives a positive answer to [Hirasawa and Murasugi 2009, Conjecture A]. Proof. The proof of the first statement is not difficult. It is immediate when χ is trivial, and it follows by a direct calculation when χ is nontrivial. We turn to the proof of the second statement. For θ ∈ U(1) and any repre- sentation β : π1(NK ) → GL(n, ރ), define the θ-twist of β to be the represen- ε(g) tation that sends g ∈ π1(NK ) to θ β(g), where ε : π1(NK ) → ޚ is deter- mined by the orientation of K . We denote the newly obtained representation by 2πik/n βθ : π1(NK ) → GL(n, ރ). Note that in case α : π1(NK ) → SL(n, ރ) and θ = e is an n-th root of unity, αθ is again an SL(n, ރ) representation. The proof of the proposition relies on the formula
βθ = β (4) 1K,1(t) 1K,1(θt). This formula is well known, and follows directly from the definition of the twisted Alexander polynomial. Equation (4) combines with Theorem 1 to complete the 2πi/n proof, as we now explain. Take ω = e . If α = α(n,χ) is metabelian, Theorem 1 METABELIAN SL(n, ރ) REPRESENTATIONSOFKNOTGROUPS,II 9 shows that its conjugacy class is fixed under the ޚ/n action. In particular, since α and αω are conjugate, Equation (4) shows that
α = αω = α 1K,1(t) 1K,1(t) 1K,1(ωt). α = P i k = k Expanding 1K,1(t) ai t and using the fact that t (ωt) if and only if k is a multiple of n, this shows that ak = 0 unless k is a multiple of n.
Acknowledgments
We would like to thank Steven Boyer, Christopher Herald, Michael Heusener, Paul Kirk, Charles Livingston, Andrew Nicas, and Adam Sikora for generously sharing their knowledge, wisdom, and insight. We would also like to thank Fumikazu Nagasato and Yoshikazu Yamaguchi for communicating the results of their paper to us.
References
[Boden and Friedl 2008] H. U. Boden and S. Friedl, “Metabelian SL(n, ރ) representations of knot groups”, Pacific J. Math. 238:1 (2008), 7–25. MR 2010c:57007 Zbl 1154.57004 [Burde 1967] G. Burde, “Darstellungen von Knotengruppen”, Math. Ann. 173 (1967), 24–33. MR 35 #3652 Zbl 0146.45602 [Burde and Zieschang 2003] G. Burde and H. Zieschang, Knots, 2nd ed., de Gruyter Studies in Mathematics 5, de Gruyter, Berlin, 2003. MR 2003m:57005 Zbl 1009.57003 [Fox 1970] R. H. Fox, “Metacyclic invariants of knots and links”, Canad. J. Math. 22 (1970), 193– 201. MR 41 #6197 Zbl 0195.54002 [Friedl and Vidussi 2009] S. Friedl and S. Vidussi, “A survey of twisted Alexander polynomials”, preprint, 2009. arXiv 0905.0591 [Hartley 1979] R. Hartley, “Metabelian representations of knot groups”, Pacific J. Math. 82:1 (1979), 93–104. MR 81a:57007 Zbl 0404.20032 [Hartley 1983] R. Hartley, “Lifting group homomorphisms”, Pacific J. Math. 105:2 (1983), 311– 320. MR 84i:57004 Zbl 0513.57001 [Herald et al. 2010] C. Herald, P. Kirk, and C. Livingston, “Metabelian representations, twisted Alexander polynomials, knot slicing, and mutation”, Math. Z. 265:4 (2010), 925–949. MR 2652542 [Hirasawa and Murasugi 2009] M. Hirasawa and K. Murasugi, “Twisted Alexander polynomials of 2-bridge knots associated to metabelian representations”, preprint, 2009. arXiv 0903.1689 [Jebali 2008] H. Jebali, “Module d’Alexander et représentations métabéliennes”, Ann. Fac. Sci. Toulouse Math. (6) 17:4 (2008), 751–764. MR 2010i:57018 Zbl 05543508 [Letsche 2000] C. F. Letsche, “An obstruction to slicing knots using the eta invariant”, Math. Proc. Cambridge Philos. Soc. 128:2 (2000), 301–319. MR 2001b:57017 Zbl 0957.57007 [Lin 2001] X. S. Lin, “Representations of knot groups and twisted Alexander polynomials”, Acta Math. Sin. (Engl. Ser.) 17:3 (2001), 361–380. MR 2003f:57018 Zbl 0986.57003 [Livingston 1995] C. Livingston, “Lifting representations of knot groups”, J. Knot Theory Ramifi- cations 4:2 (1995), 225–234. MR 96i:57006 Zbl 0907.57008 10 HANS U. BODEN AND STEFAN FRIEDL
[Lubotzky and Magid 1985] A. Lubotzky and A. R. Magid, Varieties of representations of finitely generated groups, Mem. Amer. Math. Soc. 336, American Mathematical Society, Providence, RI, 1985. MR 87c:20021 [Nagasato 2007] F. Nagasato, “Finiteness of a section of the SL(2, ރ)-character variety of the knot group”, Kobe J. Math. 24:2 (2007), 125–136. MR 2009m:57024 Zbl 1165.57009 [Nagasato and Yamaguchi 2008] F. Nagasato and Y. Yamaguchi, “On the geometry of a certain slice of the character variety of a knot group”, preprint, 2008. arXiv 0807.0714 [Neuwirth 1965] L. P. Neuwirth, Knot groups, Annals of Mathematics Studies 56, Princeton Uni- versity Press, 1965. MR 31 #734 Zbl 0184.48903 [de Rham 1967] G. de Rham, “Introduction aux polynômes d’un nœud”, Enseignement Math. (2) 13 (1967), 187–194. MR 39 #2149
Received September 20, 2009. Revised February 9, 2010.
HANS U.BODEN DEPARTMENT OF MATHEMATICS AND STATISTICS MCMASTER UNIVERSITY 1280 MAIN STREET WEST HAMILTON,ONTARIO L8S 4K1 CANADA [email protected] http://www.math.mcmaster.ca/boden
STEFAN FRIEDL MATHEMATICS INSTITUTE ZEEMAN BUILDING UNIVERSITYOF WARWICK COVENTRY CV4 7AL UNITED KINGDOM [email protected] http://www.warwick.ac.uk/~masgaw PACIFIC JOURNAL OF MATHEMATICS Vol. 249, No. 1, 2011
LEWIS–ZAGIER CORRESPONDENCE FOR HIGHER-ORDER FORMS
ANTON DEITMAR
The Lewis–Zagier correspondence attaches period functions to Maaß wave forms. We extend this correspondence to wave forms of higher order, which are higher-order invariants of the Fuchsian group in question. The key ingredient, an identification of higher-order invariants with ordinary in- variants of unipotent twists, makes it possible to apply standard methods of automorphic forms to higher-order forms.
Introduction
The Lewis–Zagier correspondence — [Lewis 1997; Lewis and Zagier 1997; 2001]; see also [Bruggeman 1997] — is a bijection between the space of Maaß wave forms of a fixed Laplace-eigenvalue λ and the space of real-analytic functions on the line, satisfying a functional equation that involves the eigenvalue. The latter functions are called period functions. In [Deitmar and Hilgert 2007], this correspondence was extended to subgroups 0 of finite index in the full modular group 0(1). One can assume 0 to be normal in 0(1). The central idea of the latter paper is to consider the action of the finite group 0(1)/ 0 and, in this way, to consider Maaß forms for 0 as vector-valued Maaß forms for 0(1). This technique can be applied to higher-order forms as well [Chinta et al. 2002; Deitmar 2009; Deitmar and Diamantis 2009; Diamantis and Sreekantan 2006; Diamantis et al. 2006; Diamantis and O’Sullivan 2008; Diamantis and Sim 2008], turning the somewhat unfamiliar notion of a higher-order invariant into the notion of a classical invariant of a twist by unipotent representation. In the case of Eisenstein series, this viewpoint has already been used in [Jorgenson and O’Sullivan 2008]. The general framework of higher-order invariants and unipotent twists is described in Section 1. This way of viewing higher-order forms has the advantage that it allows techniques of classical automorphic forms to be applied in the context of higher-order forms. The example of the trace formula will be treated in forthcoming work. This paper only applies this technique to extend the Lewis–Zagier correspondence to higher-order forms.
MSC2000: 11F12, 11F67. Keywords: higher-order invariants, automorphic forms.
11 12 ANTON DEITMAR
We define the corresponding spaces of automorphic forms of higher order in Section 2. Various authors have defined holomorphic forms of higher order. Maaß forms are more subtle, as it is not immediately clear how to establish the L2 structure on higher-order invariants. Deitmar and Diamantis [2009] resorted to the obvious L2 structure for the quotient spaces of consecutive higher-order forms; however, this is unsatisfactory because one wishes to view L2 higher-order forms as higher-order invariants themselves. In this paper this flaw is remedied: we give a space of locally square-integrable functions on the universal cover of the Borel–Serre compactification, whose higher-order invariants give the sought-for L2 invariants. We use a common definition of higher-order forms that insists on full invariance under parabolic elements. In the language of Section 1, that means that we take the subgroup P to be the subgroup generated by all parabolic elements. It is an open question whether the results here can be extended to the case P = {1}, that is, to full higher-order invariants. In this case, Fourier expansions have to be replaced with Fourier–Taylor expansions, and thus it is unclear how the correspondence should be defined.
1. Higher-order invariants and unipotent representations
We describe higher-order forms by using invariants in unipotent representations. Let 0 be a group and let W be a ރ[0]-module. We take the field ރ of complex numbers as the base ring. Most of the general theory works over any ring, but our applications are over ރ. Let I0 be the augmentation ideal in ރ[0]; that is, the kernel of the augmentation homomorphism X X A : ރ[0] → ރ, cγ γ 7→ cγ . γ γ
The ideal I0 is a vector space with basis {γ − 1}γ ∈0\{1}. We will need two simple properties of the augmentation ideal that, for the reader’s convenience, we will prove in the next lemma. A set S of generators of the group 0 is called symmetric when s ∈ S if and only if s−1 ∈ S. It is easy to P see that ރ[0] = ރ ⊕ I0 and that I0 = s∈S ރ[0](s − 1) for any set of generators S of 0. We also fix a normal subgroup P of 0. We let IP denote the augmentation ˜ ˜ ideal of P, and IP = ރ[0] IP . As P is normal, IP is a two-sided ideal of ރ[0]. For q ˜ 0 0 any integer q ≥ 0, we set Jq = I0 + IP . The set of 0-invariants W = H (0, W) in W can be described as the set of all w ∈ W with I0w = 0. For q = 1, 2,... , we define the set of invariants of type P and order q to be
0 Hq,P (0, W) = {w ∈ W : Jq w = 0}. LEWIS–ZAGIER CORRESPONDENCE FOR HIGHER-ORDER FORMS 13
0 = 0 Then Hq,P Hq,P (0, W) is a submodule of W, and we have a natural filtration 0 0 0 0 ⊂ H1,P ⊂ H2,P ⊂ · · · ⊂ Hq,P ⊂ · · · . 0 ⊂ 0 0 0 Since I0 Hq,P Hq−1,P , the group 0 acts trivially on Hq,P /Hq−1,P . A representation (η, Vη) of 0 on a complex vector space Vη is called a unipotent length-q representation if Vη has a 0-stable filtration 0 ⊂ Vη,1 ⊂ · · · ⊂ Vη,q = Vη such that 0 acts trivially on each quotient Vη,k/Vη,k−1, where k = 1,..., q and Vη,0 = 0. Let (η, Vη) be a unipotent length-q representation. Assume that it is P-trivial, that is, its restriction to the subgroup P is the trivial representation. There is a natural map 8η : Hom0(Vη, W) ⊗ Vη → W given by α ⊗ v 7→ α(v). [ ] 0 Lemma 1.1. Let W be a ރ 0 -module. The submodule Hq,P (0, W) constitutes a P-trivial, unipotent length-q representation of 0. If the group 0 is finitely gener- 0 ated, then the space Hq,P (0, W) is the sum of all images 8η, when η runs over the set of all P-trivial, unipotent length-q representations that are finite-dimensional over ރ. Proof. The first assertion is clear. Assume now that 0 is finitely generated. 0 The space Hq,P (0, W) needn’t be finite-dimensional. We use induction on q to 0 show that for each w ∈ Hq,par(0, W) the complex vector space ރ[0]v is finite- dimensional. For q = 1, we have ރ[0]w = ރw, and the claim follows. Next, let ∈ 0 w Hq+1,P (0, W) and let S be a finite set of generators of 0. Then X ރ[0]w = ރw + I0w = ރw + ރ[0](s − 1)w. s∈S − ∈ 0 Since (s 1)w Hq,P (0, W), the claim follows from the induction hypothesis. From now on, assume that 0 is finitely generated. The philosophy pursued in the rest of the paper is this:
Once you know Hom0(Vη, W) for every P-trivial finite-dimensional uni- 0 potent length-q representation, you know the space Hq,P (0, W). 0 So, instead of investigating Hq,P (0, W), one should rather look at ∼ ∗ 0 Hom0(Vη, W) = (Vη ⊗ W) , which is often easier to handle. In fact, it is enough to restrict to a generic set of η. As an example of this approach, consider the case q = 2. For each group homo- morphism χ : 0/P → (ރ, +), one gets a P-trivial unipotent length-q representation 2 ηχ on ރ given by 1 χ(γ ) η (γ ) = . χ 0 1 14 ANTON DEITMAR
We introduce the notation
0 0 0 0 0 0 H q,P = H q,P (0, W) = Hq,P (0, W)/Hq−1,P (0, W) = Hq,P /Hq−1,P .
0 Proposition 1.2. The space H2,P (0, W) is the sum of all images 8ηχ when χ ranges over Hom(0/P, ރ) \{0}. For any two χ 6= χ 0, one has ∩ = 0 Im(8ηχ ) Im(8ηχ0 ) H (0, W). In other words, 0 = M 0 H 1 Im(8ηχ )/H . χ Proof. We the order-lowering operator
0 0 ∼ 0 3 : H q,P → Hom(0/P, H q−1,P ) = Hom(0/P, ރ) ⊗ H q−1,P , where the last isomorphism exists because 0 is finitely generated. This operator is defined by 3(w)(γ ) = (γ − 1)w. One sees that it is indeed a homomorphism in γ by using the fact that (γ τ − 1) ≡ (γ − 1) + (τ − 1) mod I 2 for any two γ, τ ∈ 0. The map 3 is clearly injective. ∈ ∩ 6= 0 ∈ ⊗ 0 ∩ 0 ⊗ 0 Pick now w Im(8ηχ ) Im(8ηχ0 ) for χ χ . Then 3(w) χ H χ H , 6= 0 ∈ 0 and the latter space is zero since χ χ . For surjectivity, pick w H1 . Then 3(w) = Pn χ ⊗ w with w ∈ H 0, and so w ∈ Pn Im(ϕ ). i=1 i i i i=1 ηχi
2. Higher-order forms
We now remedy the aforementioned shortcoming of [Deitmar and Diamantis 2009]. We also give a guide on how to set up higher-order L2 invariants in more general cases (like general lattices in locally compact groups) when there is no gadget such as the Borel–Serre compactification around. In that case, Lemma 2.1 tells you how to define the L2 structure once you have chosen a fundamental domain for the group action. Let G denote the group PSL2(ޒ) = SL2(ޒ)/{±1} and K its maximal compact subgroup PSO(2) = SO(2)/{±1}. Let 0(1) = PSL2(ޚ) be the full modular group and 0 ⊂ 0(1) be a normal subgroup of finite index that is torsion-free. For every cusp c of 0, fix σc ∈ 0(1) such that σc ∞ = c and 1 N ޚ σ −10 σ = ± c . c c c 0 1
The number Nc ∈ ގ is uniquely determined and is called the width of the cusp c. Let ވ = {z ∈ ރ : Im(z) > 0} be the upper half plane, and let ᏻ(ވ) be the set of holomorphic functions on ވ. We fix a weight k ∈ 2ޚ and define a (right) action LEWIS–ZAGIER CORRESPONDENCE FOR HIGHER-ORDER FORMS 15 of G on functions f on ވ by az + b a b f | γ (z) = (cz + d)−k f for γ = . k cz + d c d M ∈ We define the space ᏻ0,k(ވ) to be the set of all f ᏻ(ވ) such that for every cusp c of 0, the function f |kσc is bounded on the domain {Im(z) > 1} by a constant times Im(z)A for some A > 0. S ∈ Further, we consider the space ᏻ0,k(ވ) of all f ᏻ(ވ) such that for every cusp c of 0, the function f |k σc is bounded on the domain {Im(z) > 1} by a constant times e−A Im(z) for some A > 0. These two spaces are preserved not only by 0, but also by the action of the full modular group 0(1). The normal subgroup P of 0 will be the subgroup 0par generated by all parabolic 0 0 elements. We write Hq,par for Hq,P , and we consider the space 0 M Mk,q (0) = Hq,par(0, ᏻ0,k(ވ)) of modular functions of weight k and order q, as well as the corresponding space
0 S Sk,q (0) = Hq,par(0, ᏻ0,k(ވ)) of cusp forms. Then, every f ∈ Mk,q (0) possesses a Fourier expansion at each cusp c of the form ∞ X 2πi(n/Nc)z f |k σc(z) = ac,n e . n=0 A function f ∈ Mk,q (0) belongs to the subset Sk,q (0) if and only if ac,0 = 0 for every cusp c of 0. Since the group 0 is normal in 0(1), the latter acts on the finite-dimensional spaces Mk,q (0) and Sk,q (0). These therefore give examples of finite-dimensional representations of 0(1) that become unipotent length-q when restricted to 0. By a Maaß wave form for the group 0 and parameter ν ∈ ރ, we mean a function u ∈ L2(0\ވ) that is twice continuously differentiable and satisfies = 1 − 2 1u ( 4 ν )u. By the regularity of solutions of elliptic differential equations, this condition im- plies that u is real analytic. Let ᏹν = ᏹν(0) be the space of all Maaß wave forms for 0. Sometimes in the definition of Maaß forms, instead of the L2 condition, a weaker condition on the growth at the cusps is imposed. Next, we define Maaß wave forms of higher order. First, we need the higher- order version of the Hilbert space L2(0\ވ). For this, recall the construction of the Borel–Serre [1973] compactification 0\ވ of 0\ވ. One constructs a space 16 ANTON DEITMAR
ވ0 ⊃ ވ by attaching to ވ a real line at each cusp c of 0, and then one equips this set with a suitable topology such that 0 acts properly discontinuously. The quotient 0\ވ0 is the Borel–Serre compactification. The space ވ0 is constructed so that, for a given (closed) fundamental domain D ⊂ ވ of 0\ވ with finitely many geodesic sides, the closure D in ވ0 is a fun- damental domain for 0\ވ0. By the discontinuity of the group action, this has the consequence that for every compact set K ⊂ ވ0, there exists a finite set F ⊂ 0 S such that K ⊂ F D = γ ∈F γ D. Now we extend the hyperbolic measure to ވ0 so that the boundary ∂ވ0 = ވ0 \ވ 2 2 is a nullset. Let Lloc(ވ0) be the space of local L functions on ވ0. Then, 0 acts 2 on Lloc(ވ0). Since 0 acts discontinuously with compact quotient on ވ0, one has 2 0 2 Lloc(ވ0) = L (0\ވ). 2 \ ∈ 2 = We define Lq (0 ވ) as the space of all f Lloc(ވ0) such that Jq f 0; in other words, 2 0 2 Lq (0\ވ) = Hq,par(0, Lloc(ވ0)). 2 \ = 2 \ Then, L1(0 ވ) L (0 ވ) is a Hilbert space in a natural way. 2 We want to endow the spaces Lq (0\ވ) with Hilbert space structures when q ≥2 as well. For this, we introduce the space Fq of all measurable functions f : ވ → ރ 2 such that Jq f = 0 modulo nullfunctions. Then, Lq (0\ވ) is a subset of Fq . Lemma 2.1. Let S ⊂ 0 be a finite set of generators, assumed to be symmetric and to contain the unit element. Let D ⊂ ވ be a closed fundamental domain of 0 with finitely many geodesic sides. Any f ∈ Fq is uniquely determined by its restriction to
q−1 [ S D = s1 ... sq−1 D.
s1,...,sq−1∈S Further, one has 2 q−1 2 Fq ∩ L (S D) = Lq (0\ވ), where on both sides we mean the restriction to Sq D, which is unambiguous by 2 the first assertion. In this way the space Lq (0\ވ) is a closed subspace of the 2 q−1 2 Hilbert space L (S D). The induced Hilbert-space topology on Lq (0\ވ) is independent of the choices of S and D, although the inner product is not. The 2 action of the group 0(1) on Lq (0\ވ) is continuous, but not unitary unless q = 1. 2 q−1 Proof. We have to show that any f ∈ Lq = Lq (0\ވ) that vanishes on S D is zero. We use induction on q. The case q = 1 is clear. Take q ≥ 2 and write Lq = Lq /Lq−1. Consider the order-lowering operator ∼ 3 : Lq → Hom(0, Lq−1) = Hom(0, ރ) ⊗ Lq−1, LEWIS–ZAGIER CORRESPONDENCE FOR HIGHER-ORDER FORMS 17 given by 3( f )(γ ) = (γ − 1) f. q−1 The kernel of 3 is Lq−1. Assume f (S D) = 0. Then, for every s ∈ S, we have (s − 1) f (Sq−2 D) = 0, and hence by the induction hypothesis we conclude that (s − 1) f = 0. However, since S generates 0, this means that 3( f ) = 0 and so f ∈ Lq−1, so again by the induction hypothesis, we get f = 0. We next show that
2 q−1 2 q−1+ j Fq ∩ L (S D) = Fq ∩ L (S D) for every j ≥ 0.
The inclusion “⊃” is clear. We show the other inclusion by induction on q and j. For q = 1 or j = 0, there is no problem. So, assume the claim proved for q. Let 2 q+ j f ∈ Fq+1 ∩ L (S D) and s ∈ S. Then f (sz) = f (z)+ f (sz)− f (z), the function 2 q+ j 2 q+ j−1 f (z) is in L (S D), and the function f (sz) − f (z) is in Fq ∩ L (S D) = L2(Sq+ j D) by the induction hypothesis. It follows that f ∈ L2(s−1 Sq+ j D), and since this holds for every s, we get f ∈ L2(Sq+ j+1 D) as claimed. We now come to 2 q−1 2 Fq ∩ L (S D) = Lq (0\ވ). 2 q−1 Let f ∈ Fq ∩ L (S D). For every compact subset K of ވ0, there exists j ≥ 0 such that K ⊂ Sq−1+ j D. Therefore f is in L2(K ) for every compact subset K 2 q = of H0. Since the latter space is locally compact, f is in Lloc(ވ0). Since I0 f 0, 2 2 q−1 we get f ∈ Lq (0\ވ). For the other inclusion, let f ∈ Lq (0\ވ). Since S D is 2 q−1 relatively compact in ވ0, it follows that f ∈ L (S D) as claimed. We next prove the independence of the topology of S. Let S0 be another set of generators. There exists l ∈ ގ such that S0 ⊂ Sl . Hence, it suffices to show that for 2 2 q−1 every j ≥ 0, the topology from the inclusion Lq (0\ވ) ⊂ L (S D) coincides 2 2 q+ j with the topology from the inclusion Lq (0\ވ) ⊂ L (S D). If a sequence tends to zero in the latter topology, it clearly tends to zero in the first as well. The other way around is proved by an induction on j similar to the one above. In particular, the continuity of the 0(1)-action follows. Finally, we prove the independence of D. Let D0 be another closed fundamen- tal domain with finitely many geodesic sides. Then there exists l ∈ ގ such that 0 l D ⊂ S D, and the claim follows along the same lines as before.
We define the space ᏹν,q = ᏹν,q (0) of Maaß wave forms of order q to be the 2 space of all u ∈ Lq (0\ވ) that are twice continuously differentiable and satisfy = 1 − 2 1u ( 4 ν )u.
Fix a finite-dimensional representation (η, Vη) of 0(1) that is 0par-trivial and that becomes a unipotent length-q representation on restriction to 0. 18 ANTON DEITMAR
0(1) ˜ ˜ We set ᏹν,q,η equal to (Vη ⊗ ᏹν,q ) . Likewise, we define ᏹν,q (0) = ᏹν,q as the space of all u ∈ Fq (0) that are twice continuously differentiable and satisfy = 1 − 2 ˜ = ⊗ ˜ 0(1) 1u ( 4 ν )u, and we set ᏹν,q,η (Vη ᏹν,q ) . 0 = 1 − 2 Lemma 2.2. If Ᏸν is the space of all distributions u on ވ with 1u ( 4 ν )u, then ˜ ˜ 0(1) 0 0(1) ᏹν,q,η = (Vη ⊗ ᏹν,q ) = (Vη ⊗ Ᏸν) and 0(1) 0 2 0(1) ᏹν,q,η = (Vη ⊗ ᏹν,q ) = (Vη ⊗ (Ᏸν ∩ Lloc(ވ0))) . Proof. The inclusion “⊂” is obvious in both cases. We show “⊃”. In the first case, the space on the left can be described as the space of all smooth functions : → = 1 − 2 = = u ވ Vη satisfying 1u ( 4 ν )u, as well as Jq+1u 0 and u(γ z) η(γ )u(z) 0 0(1) for every γ ∈ 0(1). Let u ∈ (Vη ⊗ Ᏸν) . As u satisfies an elliptic differential = 1 − 2 equation with smooth coefficients, u is a smooth function with 1u ( 4 ν )u. The condition u(γ z) = η(γ )u(z) is obvious. Finally, the condition Jq+1u = 0 follows from the fact that η|0 satisfies η(Jq+1) = 0 since it is 0par-trivial and unipotent of length q. Hence, the first claim is proven. The second is similar.
As in the holomorphic case, every Maaß form f ∈ ᏹν,q (0) has a Fourier ex- pansion ∞ X 2πi(n/Nc)x f (σcz) = ac,n(y) e n=0 at each cusp c, with smooth functions ac,n(y). We define the space ν,q of Maaß cusp forms to be the space of all f ∈ ᏹν,q 0(1) with ac,0(y) = 0 for every cusp c. We also set ν,q,η = (Vη ⊗ ν,q ) . 0(1) Note that since η is unipotent of length q on 0, we have ν,q,η = (Vη ⊗ν,q0 ) for every q0 ≥ q.
3. Setting up the transform
It is the aim of this note to extend the Lewis correspondence [Deitmar and Hilgert 2007; Lewis 1997; Lewis and Zagier 1997; Lewis and Zagier 2001] to the case of higher-order forms. We will first explain our approach in the case of cusp forms. Throughout, (η, Vη) will be a finite-dimensional representation of 0(1) that be- comes 0par-trivial and unipotent of length q when restricted to 0. For the canonical generators of 0(1), we fix the notation
0 1 1 1 S = ± and T = ± . −1 0 0 1
The, S2 = 1 = (ST )3 and T is of infinite order. Note that since 0(1)/ 0 is a finite group, there exists N ∈ ގ such that T N ∈ 0; let N be minimal with this property. LEWIS–ZAGIER CORRESPONDENCE FOR HIGHER-ORDER FORMS 19
N N Then, N = N∞ is the width of the cusp ∞ of 0. We have η(T ) = η(T ) = 1 since η is trivial on the parabolic elements of 0. Let 9ν,η be the space of all holomorphic functions ψ : ރ \ (−∞, 0] → Vη satisfying the Lewis equation z (1) η(T ) ψ(z) = ψ(z + 1) + (z + 1)−2ν−1 η(ST −1) ψ , z+1 and the asymptotic formula
+ − − −1 (2) 0 = e πiν lim ψ(z) + z 2ν 1 η(S)ψ Im(z)→∞ z − − − −1 + e πiν lim ψ(z) + z 2ν 1 η(S)ψ , Im(z)→−∞ z where both limits are assumed to exist. Let A denote the subgroup of G consisting of diagonal matrices, and let N be the subgroup of upper-triangular matrices with ±1 on the diagonal. As a manifold, the group G is a direct product G = ANK . For ν ∈ ރ and a = ± diag(t, t−1) ∈ A with t > 0, let aν = t2ν. (We insert the factor 2 for compatibility reasons.)
Let (πν, Vπν ) denote the principal series representation of G with parameter ν. : → The representation space Vπν is the Hilbert space of all functions ϕ G ރ with = ν+1/2 ∈ ∈ ∈ R | |2 ∞ ϕ(anx) a ϕ(x) for a A, n N, x G, and K ϕ(k) dk < modulo nullfunctions. The representation is πν(x)ϕ(y) = ϕ(yx). There is a special vector = ν+1/2 ϕ0 in Vπν given by ϕ0(ank) a . This vector is called the basic spherical function with parameter ν. For a continuous G-representation (π, Vπ ) on a topological vector space Vπ , ω let π denote the subrepresentation on the space of analytic vectors; that is, Vπ ω consists of all vectors v in Vπ such that for every continuous linear map α : Vπ → ރ, the map g 7→ α(π(g)v) is real analytic on G. This space comes with a natural −ω topology. Let π be its topological dual. In the case of π = πν, it is known that ω −ω πν and πν are in perfect duality; that is, they are each other’s topological duals. −ω The vectors in πν are called hyperfunction vectors of the representation πν. As a crucial tool, we will use the space −ω −ω 0(1) 0 −ω Aν,η = (πν ⊗ η) = H (0(1), πν ⊗ η) and call it the space of η-automorphic hyperfunctions. −ω For an automorphic hyperfunction α ∈ Aν,η , we consider the function u : G → Vη given by u(g) = hπ−ν(g) ϕ0, αi . ω −ω Here, h · , · i is the canonical pairing π−ν × π−ν ⊗ η → Vη. Then, u is right K - ˜ invariant, and hence can be viewed as a function on ވ. As such, it lies in ᏹν,η since α is 0-equivariant, and the Casimir operator on G (which induces 1) is scalar on πν 20 ANTON DEITMAR
1 − 2 : 7→ with eigenvalue 4 ν . The transform P α u is called the Poisson transform. It follows from [Schlichtkrull 1984, Theorem 5.4.3] that the Poisson transform −ω ˜ P : Aν,η → ᏹν,η 6∈ 1 + is an isomorphism for ν 2 ޚ. −ω For α ∈ Aν,η , set − − −1 ψ (z) = f (z) − z 2ν 1 η(S) f , α α α z 7→ + 2 ν+1/2 | with fα such that the function z (1 z ) fα(z) represents the restriction α ޒ. −ω Then, the Bruggeman transform B : α 7→ ψα maps Aν,η to 9ν,η. It is a bijection ∈ 1 + if ν / 2 ޚ, as can be seen in a manner similar to [Deitmar and Hilgert 2007, Proposition 2.2]. 6∈ 1 + : → When ν 2 ޚ, we finally define the Lewis transform as the map L ᏹν,η 9ν,η given by L = B ◦ P−1. Theorem 3.1 (Lewis transform; see [Lewis and Zagier 2001, Theorem 1.1]). When 6∈ 1 + < − 1 ν 2 ޚ and (ν) > 2 , the Lewis transform is a bijective linear map from the o space of Maaß cusp forms ν,q,η to the space 9ν,η of period functions. Proof. The proof runs, with small obvious changes, along the lines of the corre- sponding result [Deitmar and Hilgert 2007, Theorem 3.3].
References
[Borel and Serre 1973] A. Borel and J.-P. Serre, “Corners and arithmetic groups”, Comment. Math. Helv. 48 (1973), 436–491. MR 52 #8337 Zbl 0274.22011 [Bruggeman 1997] R. W. Bruggeman, “Automorphic forms, hyperfunction cohomology, and period functions”, J. Reine Angew. Math. 492 (1997), 1–39. MR 98i:11035 Zbl 0914.11023 [Chinta et al. 2002] G. Chinta, N. Diamantis, and C. O’Sullivan, “Second order modular forms”, Acta Arith. 103:3 (2002), 209–223. MR 2003b:11037 Zbl 1020.11025 [Deitmar 2009] A. Deitmar, “Higher order group cohomology and the Eichler–Shimura map”, J. Reine Angew. Math. 629 (2009), 221–235. MR 2527419 Zbl 05551467 [Deitmar and Diamantis 2009] A. Deitmar and N. Diamantis, “Automorphic forms of higher order”, J. Lond. Math. Soc. (2) 80:1 (2009), 18–34. MR 2010m:11055 Zbl 05588911 [Deitmar and Hilgert 2007] A. Deitmar and J. Hilgert, “A Lewis correspondence for submodular groups”, Forum Math. 19:6 (2007), 1075–1099. MR 2008j:11058 Zbl 05237815 [Diamantis and O’Sullivan 2008] N. Diamantis and C. O’Sullivan, “The dimensions of spaces of holomorphic second-order automorphic forms and their cohomology”, Trans. Amer. Math. Soc. 360:11 (2008), 5629–5666. MR 2009h:11067 Zbl 1158.11021 [Diamantis and Sim 2008] N. Diamantis and D. Sim, “The classification of higher-order cusp forms”, J. Reine Angew. Math. 622 (2008), 121–153. MR 2010a:11067 Zbl 05344066 [Diamantis and Sreekantan 2006] N. Diamantis and R. Sreekantan, “Iterated integrals and higher order automorphic forms”, Commentarii Math. Helv. 81:2 (2006), 481–494. MR 2007b:11050 Zbl 1156.11019 LEWIS–ZAGIER CORRESPONDENCE FOR HIGHER-ORDER FORMS 21
[Diamantis et al. 2006] N. Diamantis, M. Knopp, G. Mason, and C. O’Sullivan, “L-functions of second-order cusp forms”, Ramanujan J. 12:3 (2006), 327–347. MR 2008c:11073 Zbl 05141552 [Jorgenson and O’Sullivan 2008] J. Jorgenson and C. O’Sullivan, “Unipotent vector bundles and higher-order non-holomorphic Eisenstein series”, J. Théor. Nombres Bordeaux 20:1 (2008), 131– 163. MR 2010g:11089 Zbl 05543194 [Lewis 1997] J. B. Lewis, “Spaces of holomorphic functions equivalent to the even Maass cusp forms”, Invent. Math. 127:2 (1997), 271–306. MR 98f:11036 Zbl 0922.11043 [Lewis and Zagier 1997] J. Lewis and D. Zagier, “Period functions and the Selberg zeta function for the modular group”, pp. 83–97 in The mathematical beauty of physics (Saclay, 1996), edited by J. M. Drouffe and J. B. Zuber, Adv. Ser. Math. Phys. 24, World Sci. Publ., River Edge, NJ, 1997. MR 99c:11108 Zbl 1058.11544 [Lewis and Zagier 2001] J. Lewis and D. Zagier, “Period functions for Maass wave forms. I”, Ann. of Math. (2) 153:1 (2001), 191–258. MR 2003d:11068 Zbl 1061.11021 [Schlichtkrull 1984] H. Schlichtkrull, Hyperfunctions and harmonic analysis on symmetric spaces, Progress in Mathematics 49, Birkhäuser, Boston, MA, 1984. MR 86g:22021 Zbl 0555.43002
Received September 29, 2009. Revised April 19, 2010.
ANTON DEITMAR UNIVERSITÄT TÜBINGEN MATHEMATISCHES INSTITUT AUFDER MORGENSTELLE 10 D-72076 TÜBINGEN GERMANY [email protected]
PACIFIC JOURNAL OF MATHEMATICS Vol. 249, No. 1, 2011
TOPOLOGY OF POSITIVELY CURVED 8-DIMENSIONAL MANIFOLDS WITH SYMMETRY
ANAND DESSAI
We show that a simply connected 8-dimensional manifold M of positive sec- tional curvature and symmetry rank ≥ 2 resembles a rank-one symmetric space in several ways. For example, the Euler characteristic of M is equal to the Euler characteristic of S8, ވP2 or ރP4. If M is rationally elliptic, then M is rationally isomorphic to a rank-one symmetric space. For torsion- free manifolds, we derive a much stronger classification. We also study the bordism type of 8-dimensional manifolds of positive sectional curvature and symmetry rank ≥ 2. As an illustration, we apply our results to various families of 8-manifolds.
1. Introduction
We study the topology of positively curved 8-dimensional manifolds with symme- try rank ≥ 2. A Riemannian manifold M is said to have positive curvature if the sectional curvature of all its tangent planes is positive. The symmetry rank of M is defined as the rank of its isometry group. Throughout this paper, all manifolds are assumed to be closed, that is, compact without boundary. At present only a few manifolds are known to admit a Riemannian metric of positive curvature. Besides the examples of Eschenburg and Bazaikin (which are biquotients of dimension 6, 7 or 13), all other simply connected positively curved examples1 are homogeneous, that is, they admit a metric of positive curvature with transitive isometry group (the latter were classified by Berger, Wallach, Aloff and Berard´ Bergery). In dimension greater than 24 all known examples are symmetric of rank one.
MSC2000: 53C20, 57R19, 57S25. Keywords: positive curvature, torus actions, Euler characteristic, classification of 8-manifolds. Research partially supported by the German Research Foundation (DFG-Schwerpunktprogramm 1154 “Globale Differentialgeometrie”) and the Swiss National Science Foundation (grant number 200021-117701). 1Recently, Petersen and Wilhelm [2008], Grove, Verdiani and Ziller [2008], and Dearricott all announced the discovery of new 7-dimensional examples with positive curvature.
23 24 ANAND DESSAI
Classifications of various strength have been obtained for positively curved manifolds with large symmetry; see the survey [Wilking 2007, Section 4]. Among the measures of “largeness”, we shall focus on the symmetry rank. Grove and Searle [1994] showed that the symmetry rank of a positively curved simply connected n-dimensional manifold M is ≤ [(n + 1)/2], and that equality occurs if and only if M is diffeomorphic to a sphere or a complex projective space. Wilking [2003] proved that, if the symmetry rank of M is ≥ n/4+1 and if n ≥ 10, then either M is homeomorphic to a sphere or a quaternionic projective space, or M is homotopically equivalent to a complex projective space (it follows from [Dessai and Wilking 2004] that “homotopically equivalent” can be strengthened to “tangentially equivalent” in this classification). Building on [Wilking 2003], Fang and Rong [2005] showed that, if the symmetry rank is no less than [(n −1)/2] and if n ≥ 8, then M is homeomorphic to a sphere, a quaternionic projective space, or a complex projective space. In dimension eight, the rank-one symmetric spaces S8, ވP2 and ރP4 are the only known simply connected positively curved examples. In this dimension, the aforementioned work of Grove and Searle and of Fang and Rong says that a pos- itively curved simply connected manifold M is diffeomorphic to S8 or ރP4 if the symmetry rank of M is ≥ 4, and homeomorphic to S8, ވP2 or ރP4 if the symmetry rank is ≥ 3. The main purpose of this paper is to give some information on the topology of positively curved 8-dimensional manifolds with symmetry rank ≥ 2. Our first result concerns the Euler characteristic: Theorem 1.1. Let M be a simply connected 8-dimensional manifold. If M admits a metric of positive curvature and symmetry rank ≥ 2, then the Euler characteristic of M is equal to the Euler characteristic of S8, ވP2 or ރP4; that is, χ(M) = 2, 3 or 5. This information on the Euler characteristic leads to a rather strong classification if one assumes in addition that the manifold is rationally elliptic. Recall that a closed simply connected manifold M is rationally elliptic if its rational homotopy π∗(M) ⊗ ޑ is of finite rank. A conjecture attributed to Bott asserts that any non- negatively curved manifold is rationally elliptic; see [Grove and Halperin 1982, page 172]. Theorem 1.2. Let M be a simply connected positively curved 8-dimensional man- ifold of symmetry rank ≥ 2. (1) If M is rationally elliptic, M has the rational cohomology ring and rational homotopy type of a rank-one symmetric space, that is, of S8, ވP2 or ރP4. (2) If M is rationally elliptic and H ∗(M; ޚ) is torsion-free, M is homeomorphic to S8, diffeomorphic to ވP2, or tangentially equivalent to ރP4. TOPOLOGY OF POSITIVELY CURVED 8-MANIFOLDS WITH SYMMETRY 25
If one drops the assumption on rational ellipticity and weakens the assumption on the symmetry rank, one can still prove a bound on the Euler characteristic: Theorem 1.3. Suppoer M is a simply connected positively curved manifold of even dimension ≤ 8. Assume S1 acts smoothly on M. If some σ ∈ S1 acts isometrically and nontrivially on M, then χ(M) ≥ 2. This fits well with the Hopf conjecture on the positivity of the Euler character- istic of even-dimensional positively curved manifolds. To put our results in perspective, we briefly recall what is known about positively curved manifolds in low dimensions. Next to surfaces, manifolds of positive curva- ture are only classified in dimension 3; see [Hamilton 1982] and [Perelman 2002; 2003b; 2003a]. In higher dimensions, the only known obstructions to positive curvature for simply connected manifolds are given by the Betti number theorem of [Gromov 1981] and obstructions to positive scalar curvature (for example, the α- invariant of Lichnerowicz and Hitchin, and the obstructions in dimension 4 coming from Seiberg–Witten theory). In particular, the Hopf problem that asks whether S2 × S2 admits a metric of positive curvature is still open. The study of low-dimensional positively curved manifolds with positive sym- metry rank began with Hsiang and Kleiner [1989] on 4-dimensional manifolds. Their main result says that the Euler characteristic of a simply connected positively curved 4-dimensional manifold M with positive symmetry rank is ≤ 3. Using [Freedman 1982], they conclude that M is homeomorphic2 to S4 or ރP2. Rong [2002] showed that a simply connected positively curved 5-dimensional manifold with symmetry rank 2 is diffeomorphic to S5. In dimension 6 and 7 there are examples with symmetry rank 2 and 3, respectively, that are not homotopically equivalent to a rank-one symmetric space [Aloff and Wallach 1975; Eschenburg 1982]. This indicates that, in these dimensions, a classification below the maximal symmetry rank is more complicated. Theorems 1.1 and 1.3 imply that, for many nonnegatively curved manifolds, any metric of positive curvature must be quite nonsymmetric. For example, if M is of even dimension ≤ 8 and has Euler characteristic < 2 (for example, if M is a product of two simply connected odd-dimensional spheres, or M is a simply connected Lie group), then it follows from Theorem 1.3 that, for any positively curved metric g on M, the only isometry of (M, g) sitting in a compact connected Lie subgroup of the diffeomorphism group is the identity. As a further illustration of our results, we consider the following classes of manifolds:
Product manifolds. Let M = N1 × N2 be a simply connected product manifold of dimension 8 (with dim Ni > 0). It is straightforward to see that the Euler characteristic of M is 6= 2, 3 or 5. By Theorem 1.1, M does not admit a metric of
2According to the recent preprint [Kim 2008], M is diffeomorphic to S4 or ރP2. 26 ANAND DESSAI positive curvature with symmetry rank ≥ 2. In particular, the product of two simply 4 4 connected nonnegatively curved manifolds N1 and N2 (for example, S × S ) does not admit a metric of positive curvature and symmetry rank ≥ 2. It is interesting to compare this with [Hsiang and Kleiner 1989], which implies that S2 × S2 does not admit a metric of positive curvature and symmetry rank ≥ 1. Connected sum of rank-one symmetric spaces. Cheeger [1973] has shown that ރP4 ] ±ރP4, ރP4 ] ±ވP2 and ވP2 ] ±ވP2 admit a metric of nonnegative curvature. The Euler characteristic of these manifolds is 8, 6 and 4, respectively. By Theorem 1.1, none of them admits a metric of positive curvature and symmetry rank ≥ 2. Cohomogeneity-one manifolds. Grove and Ziller [2000] constructed invariant met- rics of nonnegative curvature on cohomogeneity-one manifolds with codimension- two singular orbits. Using this construction, they exhibited metrics of nonnegative curvature on certain infinite families of simply connected manifolds that fiber over S4, ރP2, S2 × S2 or ރP2 ] ±ރP2 [Grove and Ziller 2000; 2008]; see also the survey [Ziller 2007]. In dimension 8, the Euler characteristic of all these manifolds turns out to be 6= 2, 3, 5. Again, by Theorem 1.1, none of them admits a metric of positive curvature and symmetry rank ≥ 2. Biquotients. Another interesting class of manifolds known to admit metrics of non- negative curvature are biquotients. A biquotient of a compact Lie group G is the quotient of a homogeneous space G/H by a free action of a subgroup K of G, where the K-action is induced from the left G-action on G/H. Note that any homogeneous space can be described as a biquotient by taking one of the factors to be trivial. If G is equipped with a biinvariant metric, the biquotient M = K \G/H inherits a metric of nonnegative curvature, a consequence of O’Neill’s formula for Riemannian submersions. As pointed out by Eschenburg [1992], a manifold M is a biquotient if and only if M is the quotient of a compact Lie group G by a free action of a compact Lie group L, where the action of L on G is given by a homomorphism L → G × G together with the two-sided action of G × G on G := · · −1 given by (g1, g2)(g) g1 g g2 . The topology of biquotients has been investigated in [Eschenburg 1992; Singhof 1993; Kapovitch 2002; Kapovitch and Ziller 2004; Totaro 2002]. Kapovitch and Ziller [2004] have classified biquotients with singly generated rational cohomol- ogy. Combining their classification with the first part of Theorem 1.2 gives this: Corollary 1.4. A simply connected 8-dimensional biquotient of positive curvature 8 4 2 and symmetry rank ≥ 2 is diffeomorphic to S , ރP , ވP or G2/SO(4). In view of Theorems 1.1 and 1.3, the examples above contain plenty of examples of simply connected nonnegatively curved manifolds with positive Ricci curvature TOPOLOGY OF POSITIVELY CURVED 8-MANIFOLDS WITH SYMMETRY 27 for which the metric cannot be deformed to a metric of positive curvature via a symmetry-preserving process such as the Ricci flow. The paper is structured as follows: In Section 2, we recall basic geometric and topological properties of positively curved manifolds with symmetry. In Section 3, we prove the statements on the Euler characteristic. In Section 4, we prove our classification theorem 1.2 for rationally elliptic manifolds and the corollary 1.4 for biquotients. In the final Section 5, we study the bordism type of positively curved 8-dimensional manifolds with symmetry.
2. Tools from geometry and topology
On the topological side, the proofs rely on arguments from equivariant index theory (Theorem 2.4) and the cohomological structure of fixed point sets of smooth actions on cohomology spheres and cohomology projective spaces (Theorem 2.5). On the geometric side, the proofs rely on the work of Hsiang and Kleiner on positively curved 4-dimensional manifolds with symmetry (Theorem 2.3), the fixed point theorems of Berger, Synge and Weinstein for isometries [Kobayashi 1972, Chapter II, Corollary 5.7; Synge 1936; Weinstein 1968], and the following two properties of totally geodesic submanifolds, which we state for further reference: Intersection theorem [Frankel 1961]. Let M be a connected positively curved manifold of dimension n, and let N1 and N2 be totally geodesic submanifolds of dimension n1 and n2, respectively. If n1 + n2 ≥ n, then N1 and N2 intersect. Here, the dimension of a manifold is defined to be the maximal number occur- ring as the dimension of a connected component of it. Similarly, the codimension of a submanifold N of a connected manifold M is defined to be the minimal number occurring as the codimension of a connected component of N in M. Building on the intersection theorem, Frankel [1966, page 71] observed that the inclusion of a connected totally geodesic submanifold N is 1-connected if the codimension of N in M is at most half of the dimension of M. Using a Morse theory argument, Wilking proved the following far-reaching generalization: Connectivity theorem [Wilking 2003]. Let M be a connected positively curved manifold, and let N1 and N2 be connected totally geodesic submanifolds of codi- mension k1 and k2, respectively.
(1) Then the inclusion Ni ,→ M is (n−2ki +1)-connected.
(2) If k1 + k2 ≤ n and k1 ≤ k2, then the intersection N1 ∩ N2 is a totally geodesic submanifold, and the inclusion of N1 ∩ N2 in N2 is (n−(k1 +k2))-connected. The connectivity theorem leads to strong restrictions on the topology of posi- tively curved manifolds with large symmetry. Wilking [2003] used this property to classify positively curved manifolds of dimension n ≥ 10 (respectively, n ≥ 6000) 28 ANAND DESSAI with symmetry rank ≥ n/4+1 (respectively, ≥ n/6+1). For further reference, we point out the following rather elementary consequences: Corollary 2.1. Let M be a simply connected positively curved manifold of even dimension n = 2m ≥ 6. (1) If M admits a totally geodesic connected submanifold N of codimension 2, then N is simply connected. Moreover, the integral cohomology of M and N is concentrated in even degrees and satisfies H 2i (M; ޚ) =∼ H 2 j (N; ޚ) for all 0 < 2i < n and 0 < 2 j < n − 2.
(2) If M admits two different totally geodesic connected submanifolds N1 and N2 of codimension 2, then M is homeomorphic to Sn or homotopy equivalent to ރPm. Proof. Part (1) follows directly from the connectivity theorem; see [Wilking 2003]. For the convenience of the reader, we recall the argument. We begin with a more general discussion: i Let M be an oriented n-dimensional connected manifold, and N,→M an ori- ented connected submanifold of codimension k. Let u ∈ H k(M; ޚ) be the Poincare´ dual of the fundamental class of N in M. Then, the cup product with u is given by the composition
∗ ∼ ∼ i i i = i∗ = i+k H (M; ޚ) −→ H (N; ޚ) −→ Hn−k−i (N; ޚ) −→ Hn−k−i (M; ޚ) −→ H (M; ޚ) of maps, where the second and fourth map are the Poincare´ isomorphism maps of N and M, respectively; see for example [Milnor and Stasheff 1974, page 137]. Now, assume that the inclusion i : N ,→ M is (n−k −l)-connected. Then it is straightforward to check that the homomorphism
∪u : H i (M; ޚ) → H i+k(M; ޚ), x 7→ x ∪ u, is surjective for l ≤ i < n − k − l, and injective for l < i ≤ n − k − l (for all this, see [Wilking 2003, Lemma 2.2]). In the first part of the Corollary 2.1, we have k = 2. By the connectivity theorem, the inclusion N ,→ M is (n−3)-connected, that is, l = 1. Hence, the map ∪u is surjective for 1 ≤ i < n − 3, and injective for 1 < i ≤ n − 3. Since M is simply connected and N ,→ M is at least 3-connected, the first part follows. Next, assume N1 and N2 are different totally geodesic connected submanifolds of codimension 2. The second part of the connectivity theorem implies that N := N1 ∩ N2 ,→ N1 is a totally geodesic submanifold, and that the inclusion N := N1 ∩ N2 ,→ N1 is at least 2-connected. 0 2 If the codimension of N in N1 is 2, the map H (N1; ޚ) → H (N1; ޚ) (given by multiplication with the Poincare´ dual of N in N1 for some fixed orientation of N) is TOPOLOGY OF POSITIVELY CURVED 8-MANIFOLDS WITH SYMMETRY 29 surjective by the connectivity theorem. Hence, b2(M) = b2(N1) ≤ 1. Using the first part of the Corollary 2.1, we conclude that M is an integral-cohomology sphere if m b2(M) = 0, or an integral-cohomology ރP if b2(M) = 1. If b2(M) = 0, then M n is actually homeomorphic to S by the work of [Smale 1961]; if b2(M) = 1, then M is homotopy equivalent to ރPm since M is simply connected. Next, assume the codimension of N in N1 is 1. Using the connectivity theorem, we see that the inclusion N ,→ N1 is (n−3)-connected. Arguing along the lines above, it follows that M is homeomorphic to Sn. This completes the proof of the second part. Remark 2.2. For 8-dimensional manifolds, one can show that, under the assump- tions of Corollary 2.1(2), M is homeomorphic to S8 or homeomorphic to ރP4. This follows from the Sullivan’s classification of homotopy complex projective spaces [1996]; see the argument in [Fang and Rong 2005, page 85].
Another important geometric ingredient in our proofs is the classification (due to Hsiang and Kleiner) up to homeomorphism of positively curved 4-dimensional manifolds with positive symmetry rank.
Theorem 2.3 [Hsiang and Kleiner 1989]. If M is a positively curved simply con- nected 4-dimensional manifold with positive symmetry rank, the Euler character- istic of M is 2 or 3, and hence M is homeomorphic to S4 or ރP2 by Freedman’s work.
In particular, S2 × S2 does not admit a metric of positive curvature and positive symmetry rank. Note that Theorem 1.1 gives analogous restrictions for the Euler characteristic in dimension 8. Among the topological tools used in the proofs are the classical Lefschetz fixed point formula for the Euler characteristic, the rigidity of the signature on oriented manifolds with S1-action, and its applications to involutions [Hirzebruch 1968], as well as the Aˆ-vanishing theorem of Atiyah and Hirzebruch [1970] for S1-actions on Spin-manifolds.
Theorem 2.4. Let M be an oriented manifold with a smooth nontrivial S1-action, and σ ∈ S1 be the element of order 2. If M S1 and Mσ denote the fixed point manifolds with respect to the S1-action and the σ -action, respectively, then
(1) χ(M) = χ(M S1 ); 1 (2) the equivariant signature signS1 (M) is constant as a character of S ; (3) sign(M) = sign(M S1 ), where the orientation of each component of the fixed point manifold M S1 is chosen to be compatible with the complex structure of its normal bundle (induced by the S1-action) and the orientation of M; and 30 ANAND DESSAI
(4) the signature of M is equal to the signature of a transversal self-intersection Mσ ◦ Mσ . If , in addition, M is a Spin-manifold, then (5) the A-genusˆ vanishes and (6) the connected components of Mσ are either all of codimension ≡ 0 mod 4 (even case), or are all of codimension ≡ 2 mod 4 (odd case). Proof. Part (1) is just a version of the classical Lefschetz fixed point theorem; see for example [Kobayashi 1972, Theorem 5.5]. We give here a simple argument: For any prime p, choose a triangulation of M that is equivariant with respect to the action of ޚ/pޚ ⊂ S1 on M. Then a counting argument shows that χ(M) ≡ χ(Mޚ/pޚ) mod p. For p large enough, this implies that χ(M) = χ(M S1 ) (note that the proof also applies to nonorientable manifolds). Part (2) follows directly from the homotopy invariance of cohomology, or from the Lefschetz fixed point formula of Atiyah, Bott, Segal and Singer (see [Atiyah and Singer 1968, Theorem 6.12, page 582]), as explained for example in [Bott and Taubes 1989, page 142]. For part (3), we consider as a function in λ ∈ ރ the S1-equivariant signature 1 ∼ −1 signS1 (M) ∈ R(S ) = ޚ[λ, λ ], and compute the limit λ → ∞ using the Lefschetz fixed point formula; details can be found in [Hirzebruch et al. 1992, page 68]. Part (4) is a result of Hirzebruch; see [Hirzebruch 1968; Atiyah and Singer 1968, Proposition 6.15, page 583]. Hirzebruch shows that the signature of a transversal σ σ self-intersection M ◦ M is the equivariant signature signS1 (M) evaluated at σ . The claim follows from the rigidity of the signature; see part (2). Part (5) is the celebrated Aˆ-vanishing theorem of Atiyah and Hirzebruch [1970]. Using the Lefschetz fixed point formula, they show that the S1-equivariant Aˆ-genus extends to a holomorphic function on ރ that vanishes at infinity. By a classical result of Liouville, this function has to vanish identically. For a proof part (6), see [Atiyah and Bott 1968, Proposition 8.46, page 487]. We also point out certain properties of smooth actions on cohomology spheres and cohomology projective spaces: Theorem 2.5. (1) If M is a ޚ/2ޚ-cohomology sphere with a ޚ/2ޚ-action, the ޚ/2ޚ-fixed point manifold is again a ޚ/2ޚ-cohomology sphere, or is empty. (2) If M is an integral-cohomology sphere with an S1-action, the S1-fixed point manifold is again an integral-cohomology sphere, or is empty. (3) If M is a ޚ/2ޚ-cohomology complex projective space with a ޚ/2ޚ-action such that the ޚ/2ޚ-action extends to an S1-action, then each component of the ޚ/2ޚ-fixed point manifold is again a ޚ/2ޚ-cohomology complex projective space. TOPOLOGY OF POSITIVELY CURVED 8-MANIFOLDS WITH SYMMETRY 31
(4) The action of an involution on a ޚ/2ޚ-cohomology ރP2 cannot have only isolated fixed points. Proof. The first two statements are well-known applications of Smith theory; see [Bredon 1972, Chapter III, Theorems 5.1 and 10.2]. The last two statements follow directly from the general theory on fixed point sets of actions on projective spaces; see [Bredon 1972, Chapter VII, Theorems 3.1 and 3.3].
3. Euler characteristic
Here we prove the statements on the Euler characteristic given in Section 1. Theorem 1.3. Let M be a simply connected positively curved manifold of even dimension ≤ 8. Assume S1 acts smoothly on M. If some σ ∈ S1 acts isometrically and nontrivially on M, then χ(M) ≥ 2. Proof. Since σ ∈ S1 acts nontrivially, the dimension of M is positive; that is, dim M = 2, 4, 6 or 8. In dimension ≤ 4, the theorem is true for purely topological reasons (Poincare´ duality). So, assume the dimension of M is 6 or 8. Note that Mσ is nonempty [Weinstein 1968] and the connected components of the fixed point manifold Mσ are totally geodesic submanifolds. Each is of even codimension, since σ preserves orientation. If Mσ contains a connected component of codimension 2, then, as pointed out in Corollary 2.1, the connectivity theorem implies that all odd Betti numbers of M vanish. Hence, χ(M) ≥ 2 by Poincare´ duality. So, assume codim Mσ > 2. Note that any connected component F ⊂ Mσ is an S1-invariant totally geodesic submanifold of even dimension ≤ 4. If F is not a point, then F inherits positive curvature from M. In this case, F or a twofold cover of F is simply connected by [Synge 1936]. Hence the Euler characteristic of any connected component of Mσ is positive. From the Lefschetz fixed point formula for the Euler characteristic (see Theorem 2.4(1)), we get 1 1 X χ(M) = χ(M S ) = χ (Mσ )S = χ(Mσ ) = χ(F) ≥ 1. F⊂Mσ Here, equality holds if and only if Mσ is connected and χ(Mσ ) = 1. If so, Mσ must have the ޚ/2ޚ-cohomology of a point, of ޒP2, or of ޒP4. Note that the connected components of M S1 = (Mσ )S1 are orientable submanifolds of even dimension ≤ 4. This implies that the case χ(M) = 1 can only happen if M S1 is a point; see [Bredon 1972, Chapter VII, Theorem 3.1]. However, a smooth S1-action on a closed orientable manifold M cannot have exactly one fixed point. To show this, consider the Lefschetz fixed point formula 1 [Atiyah and Singer 1968] for the S -equivariant signature signS1 (M). The local 1 contribution for signS1 (M) at an isolated S -fixed point extends to a meromorphic 32 ANAND DESSAI function on ރ, which has at least one pole on the unit circle; see for example [Bott 1 and Taubes 1989, page 142]. Since signS1 (M), being a character of S , has no poles on the unit circle, the S1-action cannot have exactly one fixed point (more generally, this is true for any diffeomorphism of order pl , with p an odd prime, as shown by [Atiyah and Bott 1968, Theorem 7.1]). Hence, χ(M) ≥ 2. We remark that the proof simplifies drastically if M has positive symmetry rank; see for example [Puttmann¨ and Searle 2002, Theorem 2]. Note that, by the result above, any metric of positive curvature on S3× S3, S2× S3× S3, S3× S5 or SU(3) must be very nonsymmetric. In the remaining part of this section, we restrict to positively curved simply con- nected 8-dimensional manifolds with symmetry rank ≥ 2, and prove the statement on the Euler characteristic given in Theorem 1.1. Let T be a two-dimensional torus that acts isometrically and effectively on M, ∼ let T2 = ޚ/2ޚ × ޚ/2ޚ denote the 2-torus in T, and let σ ∈ T be a nontrivial involution, that is, σ ∈ T2 with σ 6= id. By the fixed point theorem of [Weinstein 1968], the fixed point manifold Mσ is nonempty. Each connected component F of Mσ is a totally geodesic T-invariant submanifold of M. Since σ preserves orientation, F is of even codimension. By Berger’s fixed point theorem (see [Kobayashi 1972, Chapter II, Corollary 5.7]), the torus T acts with fixed point on F. Lemma 3.1. F is orientable. If dim F 6= 6, then F is homeomorphic to S4, ރP2, S2 or a point. Proof. If dim F = 6, then F is simply connected by the connectivity theorem, and hence orientable. Next, suppose that dim F = 4 and T acts trivially on F. In this case, we can choose an S1 subgroup of T such that M S1 contains a 6-dimensional connected component Y , and F is a T -fixed point component of Y . In this case, by [Grove and Searle 1994, Theorem 1.2] M, Y and F are diffeomorphic to spheres or complex projective spaces, Suppose that dim F = 4 and T acts nontrivially on F. In this case, we can find a subgroup S1 ⊂ T and a connected component Y of M S1 such that F ∩ Y has positive dimension. If dim Y = 6, then M is diffeomorphic to S8 or ރP4; see [Grove and Searle 1994, Theorem 1.2], and F is a ޚ/2ޚ-cohomology sphere or a ޚ/2ޚ-cohomology complex projective space; see Theorem 2.5. Since the universal cover of F is homeomorphic to S4 or ރP2 (see Theorem 2.3), we conclude that F is simply connected and homeomorphic to S4 or ރP2. If dim Y = 4, then Y is homeomorphic to S4 or ރP2 by Theorem 2.3. It follows from Theorem 2.5 that any connected component of Y ∩ F is a ޚ/2ޚ-cohomology sphere or a ޚ/2ޚ- cohomology complex projective space. Since F ∩ Y has positive dimension, we TOPOLOGY OF POSITIVELY CURVED 8-MANIFOLDS WITH SYMMETRY 33 have χ(F)≥2. Applying Theorem 2.3 again, we conclude that F is homeomorphic to S4 or ރP2. Finally, assume that dim F = 2. We choose an S1 subgroup of T that fixes F pointwise. Let Y be the connected component of M S1 that contains F. If Y is 2-dimensional, then F = Y is orientable of positive curvature and hence diffeomorphic to S2. If Y is 6-dimensional, then M is diffeomorphic to S8 or ރP4 [Grove and Searle 1994, Theorem 1.2], which implies that F =∼ S2. If Y is 4-dimensional, then we may assume that T acts nontrivially on Y (otherwise, we can replace Y by a 6-dimensional connected component for some other S1 sub- group). By Theorem 2.3, Y is homeomorphic to S4 or ރP2. Using Theorem 2.5, 2 we conclude that F is diffeomorphic to S . In the proof of Theorem 1.1, we will use the concept of the “type” of an involu- tion at a fixed point component of the T2-action. This concept is defined as follows: T For each nontrivial involution σ ∈ T2 and each connected component X of M 2 , we consider the dimension of the connected component F of Mσ containing X. For fixed X, this gives an unordered triple of dimensions, which we call the type of X. Note that F is orientable by Lemma 3.1. Since the action of T is orien- tation-preserving on F, any connected component X of M T2 is a totally geodesic T-invariant submanifold of even dimension. By Berger’s fixed point theorem (see [Kobayashi 1972, Chapter II, Corollary 5.7]), X T is nonempty. We will use the following information on type, which can be easily verified by considering the isotropy representation at a T-fixed point in X.
Lemma 3.2. (1) The type of X is (6, 6, 4), (6, 4, 2), (6, 2, 0), (4, 4, 4), (4, 4, 0) or (4, 2, 2).
(2) X is an isolated T2-fixed point if and only if X is of type (6, 2, 0), (4, 4, 0) or (4, 2, 2).
Example 3.3. Let M be the quaternionic plane
2 ވP = {[q0, q1, q2] | qi ∈ ވ,(q0, q1, q2) 6= 0}, where [q0, q1, q2] denotes the orbit of (q0, q1, q2) with respect to the diagonal action of nonzero quaternions on ވ3 from the right. Consider the action of T = S1 × S1 = {(λ, µ) | λ, µ ∈ S1} ⊂ ރ × ރ on M via √ √ √ (λ, µ)([q0, q1, q2]) := [λ · µ · q0, µ · q1, µ · q2]. √ Note that although the square root · is only well-defined up to sign, the action is independent of this choice. Let σ1 and σ2 be the involutions in the first and second 1 S factor of T, and let σ3 := σ1 ·σ2 denote the third nontrivial involution. Then, we 34 ANAND DESSAI have the following fixed point manifolds:
σ1 ∼ 4 M = {[1, 0, 0]} ∪ {[0, q1, q2] | qi ∈ ވ,(q1, q2) 6= 0} = pt ∪ S ,
σ2 ∼ 2 M = {[q0, q1, q2] | qi ∈ ރ,(q0, q1, q2) 6= 0} = ރP ,
σ3 ∼ 2 M = {[ j · q0, q1, q2] | qi ∈ ރ,(q0, q1, q2) 6= 0} = ރP ,
T2 ∼ 2 M = {[1, 0, 0]} ∪ {[0, q1, q2] | qi ∈ ރ,(q1, q2) 6= 0} = pt ∪ S Hence, the type of X = pt is (4, 4, 0), and the type of X = S2 is (4, 4, 4). The proof of Theorem 1.1 is based on the next three lemmas. Lemma 3.4. If dim Mσ =6 for some involution σ ∈ T, then the Euler characteristic of M is 2 or 5. Proof. Let N ⊂ Mσ be the connected component of dimension 6. Note that all other connected components are isolated σ -fixed points, by the intersection theorem. In view of Corollary 2.1, the odd Betti numbers of M and N vanish, and the even Betti numbers satisfy b2(M) = b4(M) = b6(M) = b2(N) = b4(N). In particular, we have χ(M) − χ(N) = b2(M). By the Lefschetz fixed point formula for the Euler characteristic (see Theorem 2.4(1)), this difference is equal to the number of isolated σ -fixed points. Suppose isolated σ -fixed points do occur (otherwise, b2(M) = 0 and χ(M) = 2). Using Lemma 3.2(2), we see that an isolated σ -fixed point is an isolated T2- fixed point, of type (6, 2, 0) or (4, 4, 0). If some isolated σ -fixed point is of type (6, 2, 0), then M contains a 6-dimensional fixed point manifold different from N. In this case, M is homeomorphic to S8 or homotopy equivalent to ރP4; see Corollary 2.1(2). In particular, χ(M) = 2 or 5. We now consider the remaining case. Suppose all isolated σ -fixed points are of type (4, 4, 0). We fix a nontrivial involution σ1 ∈ T different from σ, and denote by σ F1 the 4-dimensional connected component of M 1 (note that F1 is unique and has nonempty intersection with N, by the intersection theorem). Each isolated σ -fixed point, being of type (4, 4, 0), is contained in F1, and hence the number d of isolated σ -fixed points is equal to χ(F1) − χ(F1 ∩ N). Since T acts nontrivially on F1, Theorem 2.3 tells us that χ(F1) ≤ 3. Using Lemma 3.2, we see that the connected T components of (F1∩N) 2 are necessarily 2-dimensional of type (6, 4, 2). It follows T from Lemma 3.1 that at least one of the connected components of (F1 ∩ N) 2 is 2 diffeomorphic to S . Hence, b2(M) = d = χ(F1) − χ(F1 ∩ N) ≤ 1, which in turn implies χ(M) = 2 or 5. Remark 3.5. Under the assumptions of Lemma 3.4, M is homeomorphic to S8 or ރP4. This follows from the proof above, together with the work of Smale [1961] on the high-dimensional Poincare´ conjecture, and Sullivan’s classification [1996] of homotopy complex projective spaces. TOPOLOGY OF POSITIVELY CURVED 8-MANIFOLDS WITH SYMMETRY 35
Lemma 3.6. If dim Mσ = 2 for some involution σ ∈ T, then χ(M) = 2. Proof. We first note that the assumption on dim Mσ implies that the signature of M vanishes, by Theorem 2.4(4). Since χ(M) ≡ sign(M) mod 2, the Euler characteristic χ(M) is even. By Lemma 3.4, we may assume that the dimension of the fixed point manifold Mτ is ≤ 4 for every nontrivial involution τ of T . Using Lemma 3.2, we see that every T2-fixed point component is an isolated fixed point of type (4, 4, 0) or (4, 2, 2). Let σ1 and σ2 denote the nontrivial involutions distinct from σ. Without loss σ of generality, we may assume that dim M 1 = 4. Let F1 denote the 4-dimensional σ connected component of M 1 . Since T acts nontrivially on F1, the universal cover 4 2 of F1 is homeomorphic to S or ރP by Theorem 2.3. Since all T2-fixed points are isolated, the involution σ acts on F1 with isolated fixed points. By Theorem 2.5, 2 F1 cannot be a cohomology ރP . Hence, χ(F1) ≤ 2. σ If dim M 2 < 4, then any T2-fixed point component is contained in F1 and hence σ χ(M) = χ(F1) = 2 by Theorem 1.3. So assume M 2 contains a 4-dimensional connected component F2. Arguing as above, we see that χ(F2) ≤ 2. Note that F1 and F2 intersect by the intersection theorem, and F1 ∩ F2 consists of isolated σ -fixed points. Hence, χ(M) = χ(F1) + χ(F2) − χ(F1 ∩ F2) ≤ 3. Since χ(M) is even (as pointed out above) and no less than 2 (by Theorem 1.3), the lemma follows. Lemma 3.7. If dim Mσ = 0 for some involution σ ∈ T, then χ(M) = 2. Proof. The proof is very similar to that of Lemma 3.6. By Theorem 2.4(4), the signature of M vanishes. In particular, χ(M) is even. Applying Lemma 3.2, we see that a connected component of M T2 is of type (6, 2, 0) or (4, 4, 0). If some component has type (6, 2, 0), then, since χ(M) is even, the Euler characteristic of M is equal to 2 by Lemma 3.4. T So, assume all components of M 2 are of type (4, 4, 0). Let σ1 ∈ T be a nontrivial involution distinct from σ , and let F1 denote the unique 4-dimensional connected σ T component of M 1 . Note that M 2 ⊂ F1. By Theorem 2.3, χ(F1) ≤ 3. Since T χ(M) is even, we get χ(M) = χ(M 2 ) = χ(F1) ≤ 2. Now, the lemma follows from Theorem 1.3. Proof of Theorem 1.1. Using the lemmas above, we may assume that dim Mσ = 4 for every nontrivial involution σ ∈ T. In view of Lemma 3.2, every connected T2- fixed point component X is of type (4, 4, 0), (4, 2, 2) or (4, 4, 4). In the first two cases, X is an isolated fixed point, whereas in the third case an inspection of the isotropy representation shows that X is of dimension two. Let σi ∈ T for i = 1, 2, 3 denote the nontrivial involutions, and let Fi denote the unique 4-dimensional connected component of Mσi . By the intersection theorem, 36 ANAND DESSAI any two of the Fi intersect. Since T acts nontrivially on Fi , we have χ(Fi ) ≤ 3 by 2 Theorem 2.3. If χ(Fi ) = 3 for some i, that is, if Fi is homeomorphic to ރP , then Fi contains a T2-fixed point component of positive dimension (see Theorem 2.5), which is necessarily of type (4, 4, 4). Hence, if none of the T2-fixed point compo- nents is of type (4, 4, 4), then χ(Fi ) ≤ 2 for all i, and X X χ(M) = χ(Fi ) − χ(Fi ∩ Fj ) ≤ 3 · 2 − 3 = 3. i i< j Since χ(M) ≥ 2 by Theorem 1.3, we are done in this case. In the other case, the intersection of the Fi contains a 2-dimensional T2-fixed point component X of type (4, 4, 4). It follows from Lemma 3.1 and Theorem 2.5 that X is diffeomorphic to ރP1. Hence χ(M) ≤ 3 · 3 − 2 · 2 = 5 with equality 2 holding if and only if each Fi is homeomorphic to ރP . Moreover, in the equality case, the T2-fixed point components distinct from X are all of type (4, 2, 2), and σ for each σi the fixed point manifold M i is the union of Fi and a 2-dimensional sphere. We claim that χ(M) 6= 4. Suppose to the contrary that χ(M) = 4. Then we may assume that at least one of the Fi (say, F1) has Euler characteristic equal to 3. σ Now, χ(M) = 4 implies that the fixed point manifold M 1 is the union of F1 and an isolated fixed point q (in fact, arguing as for X, we see that any σ1-fixed point 1 component of positive dimension distinct from F1 would be diffeomorphic to ރP , implying that χ(M) > 4). Note that q, being an isolated σ1-fixed point, must be of type (4, 4, 0). Hence, q belongs to F2 and F3. This implies that χ(F2)=χ(F3)=3. T2 0 On the other hand, F1 is the union of X and a point q , distinct from q, which is 0 of type (4, 4, 0) or (4, 2, 2). If q has type (4, 4, 0), then χ(F2) ≥ 4 or χ(F3) ≥ 4, 0 σ which contradicts χ(F2) = χ(F3) = 3. If q has type (4, 2, 2), then χ(M 2 ) ≥ 5 and χ(Mσ3 ) ≥ 5, which contradicts χ(M) = 4. Hence, χ(M) 6= 4. Since χ(M) ≤ 5 and χ(M) ≥ 2 (by Theorem 1.3), we get χ(M) = 2, 3, 5. Recall that, for an nonorientable even-dimensional manifold of positive curva- ture, a two-fold cover (the orientation cover) is simply connected [Synge 1936]. Hence, Theorem 1.1 implies this: Corollary 3.8. Let M be an nonorientable 8-dimensional manifold. If M admits a metric of positive curvature and symmetry rank ≥ 2, then χ(M) = 1.
4. Rationally elliptic manifolds
In this section, we apply Theorem 1.1 to rationally elliptic manifolds. Recall that a closed simply connected n-dimensional manifold M is rationally elliptic if its rational homotopy π∗(M)⊗ ޑ is of finite rank. Rational ellipticity imposes strong TOPOLOGY OF POSITIVELY CURVED 8-MANIFOLDS WITH SYMMETRY 37 topological constraints. For example, Halperin has shown that the Euler character- istic of a rationally elliptic manifold is nonnegative, and that all odd Betti numbers vanish if the Euler characteristic is positive; see [1977, Theorem 10, page 175]. By work of [Friedlander and Halperin 1979, Corollary 1.3], the sum of degrees of L generators of π2∗(M) ⊗ ޑ := i π2i (M) ⊗ ޑ is ≤ n, On the other hand, the class of rationally elliptic manifolds contains some in- teresting families, for example, Lie groups, homogeneous spaces, biquotients and manifolds of cohomogeneity one. Also, all simply connected manifolds presently known to admit a metric of nonnegative curvature are rationally elliptic. Using the information on the Euler characteristic given in Theorem 1.1, we obtain the following classification result for rationally elliptic manifolds. I thank Mikiya Masuda for explaining to me the properties of ޚ/2ޚ-cohomology ރP4’s with T-action that are used in the proof. Theorem 1.2. Suppose M is a simply connected positively curved 8-dimensional manifold of symmetry rank ≥ 2. (1) If M is rationally elliptic, M has the rational cohomology ring and the ratio- nal homotopy type of a rank-one symmetric space, that is, of S8, ވP2 or ރP4. (2) If M is rationally elliptic and H ∗(M; ޚ) is torsion-free, then M is homeo- morphic to S8, diffeomorphic to ވP2, or tangentially equivalent to ރP4. Proof. (1) We will show that M has the rational cohomology ring of S8, ވP2 or ރP4. From this, one easily deduces that M is formal. Hence, M has the same rational homotopy type as S8, ވP2 or ރP4. By Theorem 1.1, the Euler characteristic of M is 2, 3 or 5. Since M is rationally elliptic, the rational cohomology ring of M is concentrated in even degrees; see [Halperin 1977, Theorem 10, page 175]. If χ(M) = 2 or χ(M) = 3, then M has the rational cohomology ring of S8 or ވP2, respectively; this follows directly from Poincare´ duality. If χ(M) = 5, then the rational cohomology ring of M belongs to one of the following three cases:
(1) b2(M) = 0 and b4(M) = 3; 2 2 (2) b2(M) = b4(M) = 1, and x = 0 for a generator x of H (M; ޑ); 2 2 (3) b2(M) = b4(M) = 1, and x 6= 0 for a generator x of H (M; ޑ). According to [Friedlander and Halperin 1979, Corollary 1.3], the sum of degrees of generators of π2∗(M) ⊗ ޑ is ≤ 8. This excludes the first two cases. In fact, in the first case the minimal model of M must have three generators of degree 4, and in the second case the minimal model of M must have generators of degree 2, 4 2 and 6. So, only the third case can occur; that is, b2(M) = b4(M) = 1 and x 6= 0 for a generator x of H 2(M; ޑ). By Poincare´ duality, M has the rational cohomology ring of ރP4. 38 ANAND DESSAI
(2) Now assume that M is rationally elliptic and H ∗(M; ޚ) is torsion-free. If χ(M) = 2, then M is rationally a sphere by (1). Since H ∗(M; ޚ) is torsion-free, in this case M is an integral cohomology S8. Being simply connected, M is a homotopy sphere and hence homeomorphic to S8 by [Smale 1961]. If χ(M) = 3, then M is an integral-cohomology ވP2 by Poincare´ duality. We choose the orientation of M for which the signature of M is one. Note that M is 3-connected, and hence M is a Spin manifold. By the Atiyah–Hirzebruch vanish- ing theorem (see Theorem 2.4(5)), the Aˆ-genus of M vanishes (this follows also from the result of Lichnerowicz [1963] on the vanishing of the Aˆ-genus for Spin manifolds with positive scalar curvature). Since in dimension eight the space of Pontryagin numbers is spanned by the Aˆ-genus and the signature, the manifolds M and ވP2 have the same Pontryagin numbers. From [Smale 1962, Theorem 6.3], it follows that M admits a Morse function with three critical points. The classification results of Eells and Kuiper [1962, theorem on page 216] for these manifolds imply that the diffeomorphism type of M is determined by its Pontryagin numbers, up to connected sums with homo- topy spheres. In particular, M and ވP2 are homeomorphic and diffeomorphic, up to connected sums, with a homotopy sphere. Recently, Kramer and Stolz used Kreck’s surgery theory to show that the action of the group of homotopy spheres on ވP2 via connected sum is trivial; see [2007, Theorem A]. Hence, M and ވP2 are diffeomorphic. Finally, we consider the case when χ(M) = 5. From (1), we know already that M is a rational cohomology ރP4. Below, we will show that M is in fact an integral cohomology ރP4. Assuming this for the moment, we now prove that M is tangentially equivalent to ރP4; that is, there exists a homotopy equivalence f : M → ރP4 such that f ∗(T ރP4) and TM are stably isomorphic. We first note that M and ރP4 are homotopy equivalent since M is an integral cohomology ރP4 and simply connected. In the early 1970s, Petrie conjectured that a smooth S1-manifold N that is homotopy equivalent to ރPn has the same Pontryagin classes as ރPn; that is, the total Pontryagin class p(ރPn) is mapped to p(N) under a homotopy equivalence N → ރPn. Petrie’s conjecture holds for n = 4 [James 1985]. Hence, the homotopy equivalence f : M → ރP4 maps the Pontryagin classes of ރP4 to the Pontryagin classes of M. In this situation M and ރP4 are tangentially equivalent [Petrie 1973, page 140]. We sketch the argument: Since H ∗(M; ޚ) is torsion-free, the condition on the Pontryagin classes implies that the complexified vector bundles TM ⊗ރ and f ∗(T ރP4)⊗ރ agree in complex K-theory. When M is a homotopy complex projective space of complex dimension 6≡ 1 mod 4, the complexification map KO(M) → K(M) is injective. Hence, the real vector bundles TM and f (T ރP4) are stably isomorphic (in fact, they are isomorphic, since they have up to sign the same Euler class). TOPOLOGY OF POSITIVELY CURVED 8-MANIFOLDS WITH SYMMETRY 39
To complete the proof, we need to show that M is an integral cohomology ރP4. We choose the orientation of M for which the signature of M is 1. Since H ∗(M; ޚ) is torsion-free, it follows from Poincare´ duality that M is a twisted ރP4; that is, 2i there are generators x2i ∈ H (M; ޚ) for i = 1, 2, 3, 4, and an integer m > 0, such that x8 is the preferred generator with respect to the chosen orientation, and
2 2 x2 · x6 = x4 = x8, x2 = m · x4, x2 · x4 = m · x6.
Let T denote the 2-dimensional torus that acts isometrically and effectively ∼ on M, let T2 = ޚ/2ޚ × ޚ/2ޚ denote the 2-torus in T, and let σ ∈ T2 be a non- trivial involution. By Theorem 2.4(4), the codimension of Mσ is 2 or 4. If the codimension of Mσ is 2, then M is an integral cohomology ރP4; that is, m = 1. This follows directly from the proof of Corollary 2.1. So, we are left with the case when dim Mσ = 4 for every nontrivial involution σ ∈ T. Let σi ∈ T for i = 1, 2, 3 denote the nontrivial involutions. From the discussion in the previous section (see the proof of Theorem 1.1), we recall the σ following facts: For each σi , the fixed point manifold M i is the union of a 4- 2 dimensional connected component Fi and a 2-dimensional sphere Si . Moreover, 2 Fi is homeomorphic to ރP , the three Fi intersect in a 2-dimensional T2-fixed point component X of type (4, 4, 4), and X is diffeomorphic to ރP1. We choose the orientation of Fi for which the signature of Fi is 1. Therefore the normal bundle of X in M is isomorphic as a real vector bundle to three copies of the Hopf bundle. In particular, the normal bundle is not spin and the restriction of the second Stiefel–Whitney class of M to X is nonzero. This shows ∗ 2 2 that the restriction homomorphism fi : H (M; ޚ) → H (Fi ; ޚ) induced by the 2 ∼ inclusion fi : Fi ,→ M maps x2 to an odd multiple of a generator x of H (Fi ; ޚ) = 2 2 ∗ H (ރP ; ޚ); that is, fi (x2) = a · x with a odd. It follows from the Lefschetz fixed point formula for the equivariant signature (see [Atiyah and Singer 1968]) and Theorem 2.4(4) that the Euler class e(νi ) of the normal bundle νi of Fi ,→ M 2 4 ∗ 2 is equal to the preferred generator x ∈ H (Fi ; ޚ). Hence, fi (x4) = e(νi ) = x . 2 = · = 2 By restricting the identity x2 m x4 to Fi , we see that m a is an odd square. In particular, M is a ޚ/2ޚ-cohomology ރP4. Next, we recall from the proof of Theorem 1.1 that M T2 is the union of X and 2 three points pi for i = 1, 2, 3, with pi ∈ Fi . We fix a lift ξ ∈ HT (M; ޚ) of x2 and denote by wi the restriction of ξ to pi . By the structure theorem for rational cohomology complex projective spaces [Hsiang 1975, Theorem VI.I, page 106], ∗ ∗ the kernel of the restriction homomorphism HT (M; ޑ) → HT (pi ; ޑ) is generated by (ξ − wi ). The following argument, due to Masuda, shows that m is equal to 1. Let fi ! : ∗ ∗+4 HT (Fi ; ޚ) → HT (M; ޚ) denote the equivariant Gysin map (or push-forward) 40 ANAND DESSAI induced by fi : Fi ,→ M. For properties of the Gysin map, see for example [Masuda 1981, pages 132–133]. 2 Claim 1: fi !(1) = (1/a ) (ξ − w j ) · (ξ − wk), where {i, j, k} = {1, 2, 3}.
Proof. Since p j and pk are not in Fi , the restriction of fi !(1) to each of these points must vanish. Hence, fi !(1) is divisible by (ξ − w j ) · (ξ − wk). Comparing degrees, we find that fi !(1) = c·(ξ −w j )·(ξ −wk) for some rational constant c. By = · 2 restricting this identity to ordinary cohomology, we obtain x4 c x2 , and hence 2 c = 1/m = 1/a . X
2 2 Claim 2: wi − w j is divisible by a in H (BT ; ޚ). Proof. From the first claim, we deduce that 1 f (1) − f (1) = (w − w ) · ξ − (w − w ) · w . i ! j ! a2 i j i j k ∗ ∗ Since (1, ξ) is part of a basis for the free H (BT ; ޚ)-module HT (M; ޚ), it follows 2 that (wi − w j ) is divisible by a . X
Recall that any two T-fixed points pi and p j with i 6= j are contained in a 2 T-invariant 2-dimensional sphere Sk that is fixed pointwise by the involution σk 2 2 (where {i, j, k} = {1, 2, 3}). Consider the T-action on Sk , and let mi j ∈ H (BT ; ޚ) denote the weight of the tangential T-representation at pi . Note that mi j is only defined up to sign and that mi j = ±m ji (here and in the following the notation α = ±β is a shortcut for α = β or α = −β).
Claim 3: ±a · mi j = wi − w j , and mi j is divisible by a.
Proof. First, note that the normal bundle of Fi in M restricted to pi has weights ±mi j and ±mik, where {i, j, k} = {1, 2, 3}. Hence, by restricting the identity given in the first claim to the pi , we obtain the following identities in the polynomial ring ∗ ; H (BT ޚ): 2 ±a · m12 · m13 = (w1 − w2) · (w1 − w3), 2 ±a · m23 · m21 = (w2 − w3) · (w2 − w1), 2 ±a · m31 · m32 = (w3 − w1) · (w3 − w2).
Since mi j and m ji agree up to sign, ±a · mi j = wi − w j . Using Claim 2, mi j is divisible by a. X T 1 Suppose X ⊂ M . We can choose a subgroup S of T such that F1 is fixed pointwise by S1. By Claim 3, the subgroup ޚ/a ޚ of S1 acts trivially on M. Since the T-action is effective, we get a = ±1. T T 0 If X 6⊂ M , then M consists of five isolated points {p, p, p1, p2, p3}, where 0 2 p, p ∈ X and pi ∈ Fi . Recall that Fi is homeomorphic to ރP . In particular, there is a unique T-invariant 2-dimensional sphere in Fi that contains p and pi . TOPOLOGY OF POSITIVELY CURVED 8-MANIFOLDS WITH SYMMETRY 41
2 Consider the T-action on this sphere and let mi ∈ H (BT ; ޚ) denote the weight 0 2 of the tangential T-representation at pi . Similarly, let mi ∈ H (BT ; ޚ) denote the 0 weight of the tangential T-representation that corresponds to p and pi . Note that 0 mi and mi are only defined up to sign. Let w and w0 denote the restriction of ξ to p and p0, respectively. Since any 2 torus action on a homotopy ރP is of linear type and x2 restricted to Fi is equal 2 to a times a generator of H (Fi ; ޚ), we get 0 0 (1) ±a · mi = wi − w and ± a · mi = wi − w. Now consider the circle subgroup S ,→ T defined by w = w0. Since T acts linearly S on Fi , the fixed point set Fi is the union of X and pi . For u ∈ H ∗(BT ; ޚ), let u¯ denote the restriction of u ∈ H ∗(BT ; ޚ) to H ∗(BS; ޚ). 0 0 Since w = w , it follows from equations (1) that mi and mi agree up to sign. Since T acts effectively on M and the weights mi j are divisible by a (see Claim 3), mi and 0 mi are both coprime to a. Suppose m = a2 is not equal to 1. Consider the action of ޚ/a ޚ ⊂ S. Since 0 mi j is divisible by a, and mi and mi are both coprime to a, the connected ޚ/a ޚ- fixed point component Z that contains p1 contains both p2 and p3 but does not ∗ ∗+4 contain X. Hence, the S-equivariant Gysin map f! : HS (Z; ޚ) → HS (M; ޚ) induced by the inclusion f : Z ,→ M vanishes after restricting to X. Applying the structure theorem for rational cohomology complex projective spaces [Hsiang 1975, Theorem VI.I, page 106] to M and Z, we find that f!(1) is divisible by (ξ¯ − w)2. Comparing degrees, we see that there is a rational constant C such that ¯ 2 f!(1) = C · (ξ − w) . By restricting this identity to the T-fixed point pi , we obtain 0 2 2 2 ¯ 2 ±mi ·mi = C ·(wi −w) . Using (1), we get C = ±1/a . Hence (1/a )·(ξ −w) ∈ 4 2 ¯ ¯ 4 HS (M; ޚ). Recall from Claim 1 that (1/a )(ξ −w1)·(ξ −w2) is also in HS (M; ޚ). Taking the difference of these two elements, we obtain 1 (w − w + 2 · (w − w)) · ξ¯ + (w2 − w · w ) ∈ H 4(M; ޚ). a2 2 1 1 1 2 S ¯ ∗ ∗ Since (1, ξ) is part of a basis of the free H (BS; ޚ)-module HS (M; ޚ), it follows 2 2 that (w2 − w1 + 2 · (w1 − w)) is divisible by a . Now (w2 − w1) is divisible by a 2 by Claim 3, and a is odd. Hence (w1 −w) is divisible by a . Using (1), we deduce 2 2 that a divides mi . This contradicts a 6= 1 since mi is coprime to a. Hence m = a is equal to 1. We close this section with an application to biquotients. Recall that any biquo- tient of a compact connected Lie group G is rationally elliptic and comes with a metric of nonnegative curvature induced from a biinvariant metric on G. Corollary 4.1. A simply connected 8-dimensional biquotient of positive curvature 8 4 2 and symmetry rank ≥ 2 is diffeomorphic to S , ރP , ވP or G2/ SO(4). 42 ANAND DESSAI
Proof. According to Theorem 1.2, a simply connected positively curved 8-dimen- sional biquotient with symmetry rank ≥ 2 is rationally singly generated. Rationally singly generated biquotients where classified by Kapovitch and Ziller in [2004, Theorem A]. In dimension 8, these are the homogeneous spaces given. Remark 4.2. From the classification of homogeneous positively curved manifolds, it follows that G2/ SO(4) does not admit a homogeneous metric of positive curva- ture. We do not know whether G2/ SO(4) admits a positively curved metric with symmetry rank two.
5. Bordism type
In this section, we consider the bordism type of closed simply connected Riemann- ian 8-manifolds with positive curvature. We determine the Spin-bordism type and comment on the oriented bordism type for manifolds with symmetry rank ≥ 2. Spin ⊕ In dimension eight, the Spin-bordism group 8 is isomorphic to ޚ ޚ, and the Spin-bordism type is detected by Pontryagin numbers; see [Milnor 1963, page 201]. Since in this dimension the Pontryagin numbers are uniquely deter- mined by the Aˆ-genus and the signature, it suffices to compute these numerical invariants. Proposition 5.1. Let M be an 8-dimensional Spin-manifold. If M admits a metric of positive curvature and symmetry rank ≥ 2, then χ(M) = 2 or 3, and M is Spin- bordant to S8 or ±ވP2. Proof. By the Atiyah–Hirzebruch vanishing theorem (see Theorem 2.4(5)) or al- ternatively by the theorem of Lichnerowicz [1963], the Aˆ-genus of M vanishes. Hence, it suffices to show that the signature of M is equal to the signature of S8 or ±ވP2; that is, we want to show that |sign(M)| ≤ 1. If some isometry in T acts with a fixed point component of codimension 2, this follows directly from Corollary 2.1 and Theorem 1.1 (in fact M is bordant to S8 since an integral-cohomology ރP4 is never spin). So assume that for any τ ∈ T the fixed point manifold
(∗) Mτ has no fixed point component of codimension 2.
Recall from Theorem 1.1 that χ(M) = 2, 3 or 5. If χ(M) = 2, sign(M) = 0. To see this consider a subgroup S1 ⊂ T of positive fixed point dimension (that is, dim M S1> 0). By condition (∗), any connected component of M S1 is of dimension no more than 4. It follows from Theorem 2.4(1) that M S1 is S2 or an integral coho- mology S4. Since the signature of M is the sum of the signatures of the connected components of M S1, the signature of M vanishes; see Theorem 2.4(3). If χ(M) = 3, then |sign(M)| = 1. The reasoning is similar to the one above. Choose an S1 subgroup of T such that the fixed point manifold M S1 has a connected TOPOLOGY OF POSITIVELY CURVED 8-MANIFOLDS WITH SYMMETRY 43 component F of dimension 2 or 4. Any such F is simply connected by [Synge 1936] and satisfies |sign(F)| ≤ χ(F) − 2. Since χ(M) = χ(M S1 ) = 3 and the signature of M is the sum of the signatures of the connected components of M S1 (taken with the appropriate orientation), we get |sign(M)| = 1. Finally, we claim that the case χ(M)=5 cannot occur. First note that in this case the signature of M is odd since sign(M) ≡ χ(M) mod 2. Let σi for i ∈ {1, 2, 3} denote the three nontrivial involutions in T. It follows from condition (∗) and σ Theorem 2.4(4) that M i contains a 4-dimensional connected component Fi (which 4 is unique by the intersection theorem). By Lemma 3.1, Fi is homeomorphic to S 2 or ރP . Since M is spin, the action of σi must be even; see Theorem 2.4(6). Hence σ M i is the union of Fi and isolated σi -fixed points. Using Lemma 3.2, we see that each connected component of M T2 has type (4, 4, 4) or (4, 4, 0). In particular, any T2-fixed point component is contained in some Fi . To derive a contradiction, we will compute the Euler characteristic. Consider the case when for one of the Fi , say F1, the Euler characteristic is equal to 3 2 and hence Fi is homeomorphic to ރP . Since σ2 acts nontrivially on F1, we get σ σ 2 = 3 = 2 ∪{ } 2 T2 F1 F1 S pt , where S and pt are connected components of M of type (4, 4, 4) and (4, 4, 0), respectively. Hence, one of the other Fi , say F2, contains S2 ∪ {pt}. This leads to the contradiction
T2 5 = χ(M) = χ(M ) = χ(F2) + χ(F3) − χ(F2 ∩ F3) ≤ 3 + 3 − 2 = 4. T So, assume χ(Fi ) = 2 for all i. Note that M 2 cannot contain a connected compo- nent of type (4, 4, 4) since otherwise χ(M) = 2 by a computation similar to the one above. Hence, each connected component of M T2 is of type (4, 4, 0). In particular, the Fi intersect pairwise in different points, which gives the contradiction X X 5 = χ(M) = χ(Fi ) − χ(Fi ∩ Fj ) + χ(F1 ∩ F2 ∩ F3) ≤ 6 − 3 = 3. i i< j In conclusion, we have shown that χ(M) 6= 5, which completes the proof of the theorem. A more natural and apparently more difficult problem is to understand the ori- ented bordism type of an 8-dimensional positively curved manifold M with sym- metry rank ≥ 2. SO Wall [1960] has shown that the only torsion in the oriented bordism ring ∗ is 2-torsion, and that the oriented bordism type of a manifold is determined by Pon- SO tryagin and Stiefel–Whitney numbers. In dimension eight, 8 is isomorphic to ޚ⊕ޚ. Hence, in this dimension the oriented bordism type of an oriented manifold is determined by its Pontryagin numbers. In contrast to the case of Spin-manifolds, the Aˆ-genus does not have to vanish on positively curved 8-dimensional oriented manifolds with symmetry (consider for 44 ANAND DESSAI example ރP4). This makes the problem of determining the oriented bordism type more difficult. One way to attack this problem is to prove the stronger statement that for some orientation of M and some S1 ⊂ T , the S1-action has locally the same S1-geometry as a suitable chosen S1-action on one of the symmetric spaces S8, ވP2 or ރP4 (that two S1-manifolds have the same local S1-geometry just means that there exists an equivariant orientation-preserving diffeomorphism between the normal bundles of the S1-fixed point manifolds). Once this has been accomplished, one can glue the complements of the normal bundles together to get a new manifold W, with fixed point free S1-action, that is bordant to the difference of M and the symmetric space in question. As observed by Bott [1967], all Pontryagin numbers of a manifold with fixed point-free S1-action vanish and hence W is rationally zero- bordant. Since the oriented bordism ring has no torsion in degree 8, the manifold M is bordant to the symmetric space in question. This line of attack can be applied successfully at least if χ(M) 6= 5. Details will appear elsewhere. It is interesting to compare the results above with [Dessai and Tuschmann 2007], in which it is shown that there exists an infinite sequence of closed simply con- nected Riemannian 8-manifolds with nonnegative curvature and mutually distinct oriented bordism type.
Acknowledgments
Part of this work was carried out during a stay at the University of Pennsylvania, and I thank its mathematics department for its hospitality. I also thank Burkhard Wilking and Wolfgang Ziller for helpful discussions. A particular step in the proof of Theorem 1.2 relies on a result about ޚ/2ޚ- cohomology ރP4’s. I am grateful to Mikiya Masuda for sharing this insight with me.
References
[Aloff and Wallach 1975] S. Aloff and N. R. Wallach, “An infinite family of distinct 7-manifolds ad- mitting positively curved Riemannian structures”, Bull. Amer. Math. Soc. 81 (1975), 93–97. MR 51 #6851 Zbl 0362.53033 [Atiyah and Bott 1968] M. F. Atiyah and R. Bott, “A Lefschetz fixed point formula for elliptic complexes, II: Applications”, Ann. of Math. (2) 88 (1968), 451–491. MR 38 #731 [Atiyah and Hirzebruch 1970] M. Atiyah and F. Hirzebruch, “Spin-manifolds and group actions”, pp. 18–28 in Essays on Topology and Related Topics (Mémoires dédiés à Georges de Rham), edited by A. Haefliger and R. Narasimhan, Springer, New York, 1970. MR 43 #4064 Zbl 0193.52401 [Atiyah and Singer 1968] M. F. Atiyah and I. M. Singer, “The index of elliptic operators, III”, Ann. of Math. (2) 87 (1968), 546–604. MR 38 #5245 Zbl 0164.24301 [Bott 1967] R. Bott, “Vector fields and characteristic numbers”, Michigan Math. J. 14 (1967), 231– 244. MR 35 #2297 Zbl 0145.43801 TOPOLOGY OF POSITIVELY CURVED 8-MANIFOLDS WITH SYMMETRY 45
[Bott and Taubes 1989] R. Bott and C. Taubes, “On the rigidity theorems of Witten”, J. Amer. Math. Soc. 2:1 (1989), 137–186. MR 89k:58270 [Bredon 1972] G. E. Bredon, Introduction to compact transformation groups, Pure and Applied Mathematics 46, Academic Press, New York, 1972. MR 54 #1265 Zbl 0246.57017 [Cheeger 1973] J. Cheeger, “Some examples of manifolds of nonnegative curvature”, J. Differential Geometry 8 (1973), 623–628. MR 49 #6085 Zbl 0281.53040 [Dessai and Tuschmann 2007] A. Dessai and W. Tuschmann, “Nonnegative curvature and cobordism type”, Math. Z. 257:1 (2007), 7–12. MR 2008d:53037 Zbl 1127.53031 [Dessai and Wilking 2004] A. Dessai and B. Wilking, “Torus actions on homotopy complex projec- tive spaces”, Math. Z. 247:3 (2004), 505–511. MR 2006c:57033 Zbl 1068.57034 [Eells and Kuiper 1962] J. Eells, Jr. and N. H. Kuiper, “Manifolds which are like projective planes”, Inst. Hautes Études Sci. Publ. Math. 14 (1962), 5–46. MR 26 #3075 Zbl 0109.15701 [Eschenburg 1982] J.-H. Eschenburg, “New examples of manifolds with strictly positive curvature”, Invent. Math. 66:3 (1982), 469–480. MR 83i:53061 Zbl 0484.53031 [Eschenburg 1992] J.-H. Eschenburg, “Cohomology of biquotients”, Manuscr. Math. 75:2 (1992), 151–166. MR 93e:57070 Zbl 0769.53029 [Fang and Rong 2005] F. Fang and X. Rong, “Homeomorphism classification of positively curved manifolds with almost maximal symmetry rank”, Math. Ann. 332:1 (2005), 81–101. MR 2005m: 53054 Zbl 1068.53022 [Frankel 1961] T. Frankel, “Manifolds with positive curvature”, Pacific J. Math. 11 (1961), 165–174. MR 23 #A600 Zbl 0107.39002 [Frankel 1966] T. Frankel, “On the fundamental group of a compact minimal submanifold”, Ann. of Math. (2) 83 (1966), 68–73. MR 32 #4637 [Freedman 1982] M. H. Freedman, “The topology of four-dimensional manifolds”, J. Differential Geom. 17:3 (1982), 357–453. MR 84b:57006 Zbl 0528.57011 [Friedlander and Halperin 1979] J. B. Friedlander and S. Halperin, “An arithmetic characteriza- tion of the rational homotopy groups of certain spaces”, Invent. Math. 53:2 (1979), 117–133. MR 81f:55006b Zbl 0396.55010 [Gromov 1981] M. Gromov, “Curvature, diameter and Betti numbers”, Comment. Math. Helv. 56:2 (1981), 179–195. MR 82k:53062 Zbl 0467.53021 [Grove and Halperin 1982] K. Grove and S. Halperin, “Contributions of rational homotopy theory to global problems in geometry”, Inst. Hautes Études Sci. Publ. Math. 56 (1982), 171–177 (1983). MR 84b:58030 Zbl 0508.55013 [Grove and Searle 1994] K. Grove and C. Searle, “Positively curved manifolds with maximal sym- metry-rank”, J. Pure Appl. Algebra 91:1-3 (1994), 137–142. MR 95i:53040 Zbl 0793.53040 [Grove and Ziller 2000] K. Grove and W. Ziller, “Curvature and symmetry of Milnor spheres”, Ann. of Math. (2) 152:1 (2000), 331–367. MR 2001i:53047 Zbl 0991.53016 [Grove and Ziller 2008] K. Grove and W. Ziller, “Lifting group actions and nonnegative curvature”, preprint, 2008. arXiv 0801.0767 [Grove et al. 2008] K. Grove, L. Verdiani, and W. Ziller, “A positively curved manifold homeomor- 4 phic to T1S ”, preprint, version 2, 2008. arXiv 0809.2304v2 [Halperin 1977] S. Halperin, “Finiteness in the minimal models of Sullivan”, Trans. Amer. Math. Soc. 230 (1977), 173–199. MR 57 #1493 Zbl 0364.55014 [Hamilton 1982] R. S. Hamilton, “Three-manifolds with positive Ricci curvature”, J. Differential Geom. 17:2 (1982), 255–306. MR 84a:53050 Zbl 0504.53034 46 ANAND DESSAI
[Hirzebruch 1968] F. Hirzebruch, “Involutionen auf Mannigfaltigkeiten”, pp. 148–166 in Proc. Conf. on Transformation Groups (New Orleans, LA, 1967), edited by P. S. Mostert, Springer, New York, 1968. MR 40 #3578 Zbl 0177.26401 [Hirzebruch et al. 1992] F. Hirzebruch, T. Berger, and R. Jung, Manifolds and modular forms, As- pects of Mathematics E20, Friedr. Vieweg, Braunschweig, 1992. MR 94d:57001 Zbl 0767.57014 [Hsiang 1975] W.-Y. Hsiang, Cohomology theory of topological transformation groups, Ergebnisse der Mathematik und ihrer Grenzgebiete 85, Springer, New York, 1975. MR 54 #11363 Zbl 0429. 57011 [Hsiang and Kleiner 1989] W.-Y. Hsiang and B. Kleiner, “On the topology of positively curved 4- manifolds with symmetry”, J. Differential Geom. 29:3 (1989), 615–621. MR 90e:53053 Zbl 0674. 53047 [James 1985] D. M. James, “Smooth S1 actions on homotopy CP4’s”, Michigan Math. J. 32:3 (1985), 259–266. MR 87c:57031 Zbl 0602.57026 [Kapovitch 2002] V. Kapovitch, “A note on rational homotopy of biquotients”, preprint, 2002, Avail- able at http://www.math.toronto.edu/vtk/biquotient.pdf. [Kapovitch and Ziller 2004] V. Kapovitch and W. Ziller, “Biquotients with singly generated rational cohomology”, Geom. Dedicata 104 (2004), 149–160. MR 2005e:22014 Zbl 1063.53055 [Kim 2008] J. H. Kim, “On positively curved 4-manifolds with S1-symmetry”, preprint, version 1, 2008. arXiv 0810.1232v1 [Kobayashi 1972] S. Kobayashi, Transformation groups in differential geometry, Ergebnisse der Mathematik und ihrer Grenzgebiete 70, Springer, New York, 1972. MR 50 #8360 Zbl 0246.53031 [Kramer and Stolz 2007] L. Kramer and S. Stolz, “A diffeomorphism classification of manifolds which are like projective planes”, J. Differential Geom. 77:2 (2007), 177–188. MR 2008g:57032 Zbl 1133.57017 [Lichnerowicz 1963] A. Lichnerowicz, “Spineurs harmoniques”, C. R. Acad. Sci. Paris 257 (1963), 7–9. MR 27 #6218 Zbl 0136.18401 [Masuda 1981] M. Masuda, “On smooth S1-actions on cohomology complex projective spaces: The case where the fixed point set consists of four connected components”, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 28:1 (1981), 127–167. MR 82i:57031 Zbl 0462.57019 [Milnor 1963] J. Milnor, “Spin structures on manifolds”, Enseignement Math. (2) 9 (1963), 198– 203. MR 28 #622 Zbl 0116.40403 [Milnor and Stasheff 1974] J. W. Milnor and J. D. Stasheff, Characteristic classes, Annals of Math- ematics Studies 76, Princeton University Press, 1974. MR 55 #13428 Zbl 0298.57008 [Perelman 2002] G. Perelman, “The entropy formula for the Ricci flow and its geometric applica- tions”, preprint, 2002. Zbl 1130.53001 arXiv math.DG/0211159 [Perelman 2003a] G. Perelman, “Finite extinction time for the solutions to the Ricci flow on certain three-manifolds”, preprint, 2003. Zbl 1130.53003 arXiv math.DG/0307245 [Perelman 2003b] G. Perelman, “Ricci flow with surgery on three-manifolds”, preprint, 2003. Zbl 1130.53002 arXiv math.DG/0303109 [Petersen and Wilhelm 2008] P. Petersen and F. Wilhelm, “An exotic sphere with positive sectional curvature”, preprint, 2008. arXiv 0805.0812 [Petrie 1973] T. Petrie, “Torus actions on homotopy complex projective spaces”, Invent. Math. 20 (1973), 139–146. MR 48 #1254 Zbl 0262.57021 [Püttmann and Searle 2002] T. Püttmann and C. Searle, “The Hopf conjecture for manifolds with low cohomogeneity or high symmetry rank”, Proc. Amer. Math. Soc. 130:1 (2002), 163–166. MR 2002e:53044 TOPOLOGY OF POSITIVELY CURVED 8-MANIFOLDS WITH SYMMETRY 47
[Rong 2002] X. Rong, “Positively curved manifolds with almost maximal symmetry rank”, Geom. Dedicata 95 (2002), 157–182. MR 2003m:53058 Zbl 1032.53025 [Singhof 1993] W. Singhof, “On the topology of double coset manifolds”, Math. Ann. 297:1 (1993), 133–146. MR 94k:57054 Zbl 0793.57019 [Smale 1961] S. Smale, “Generalized Poincaré’s conjecture in dimensions greater than four”, Ann. of Math. (2) 74 (1961), 391–406. MR 25 #580 Zbl 0099.39202 [Smale 1962] S. Smale, “On the structure of manifolds”, Amer. J. Math. 84 (1962), 387–399. MR 27 #2991 Zbl 0109.41103 [Sullivan 1996] D. P. Sullivan, “Triangulating and smoothing homotopy equivalences and homeo- morphisms”, pp. 69–103 in The Hauptvermutung book, edited by A. A. Ranicki, K -Monogr. Math. 1, Kluwer, Dordrecht, 1996. MR 98c:57027 Zbl 0871.57021 [Synge 1936] J. Synge, “On the connectivity of spaces of positive curvature.”, Q. J. Math., Oxf. Ser. 7 (1936), 316–320. Zbl 0015.41601 [Totaro 2002] B. Totaro, “Cheeger manifolds and the classification of biquotients”, J. Differential Geom. 61:3 (2002), 397–451. MR 2004b:53075 Zbl 1071.53529 [Wall 1960] C. T. C. Wall, “Determination of the cobordism ring”, Ann. of Math. (2) 72 (1960), 292–311. MR 22 #11403 Zbl 0097.38801 [Weinstein 1968] A. Weinstein, “A fixed point theorem for positively curved manifolds”, J. Math. Mech. 18 (1968), 149–153. MR 37 #3478 Zbl 0159.51401 [Wilking 2003] B. Wilking, “Torus actions on manifolds of positive sectional curvature”, Acta Math. 191:2 (2003), 259–297. MR 2005g:53063 Zbl 1062.53029 [Wilking 2007] B. Wilking, “Nonnegatively and positively curved manifolds”, pp. 25–62 in Metric and Comparison Geometry, edited by J. Cheeger and K. Grove, Surv. Differ. Geom. 11, Int. Press, Somerville, MA, 2007. MR 2009e:53048 Zbl 1162.53026 [Ziller 2007] W. Ziller, “Examples of Riemannian manifolds with non-negative sectional curvature”, pp. 63–102 in Metric and Comparison Geometry, edited by J. Cheeger and K. Grove, Surv. Differ. Geom. 11, Int. Press, Somerville, MA, 2007. MR 2009h:53080 Zbl 1153.53033
Received September 18, 2009. Revised February 10, 2010.
ANAND DESSAI DÉPARTEMENT DE MATHÉMATIQUES CHEMINDU MUSÉE 23 FACULTÉ DES SCIENCES UNIVERSITÉDE FRIBOURG,PÉROLLES 1700 FRIBOURG SWITZERLAND [email protected] http://homeweb1.unifr.ch/dessaia/pub/
PACIFIC JOURNAL OF MATHEMATICS Vol. 249, No. 1, 2011
STRONG KÄHLER WITH TORSION STRUCTURES FROM ALMOST CONTACT MANIFOLDS
MARISA FERNÁNDEZ,ANNA FINO, LUIS UGARTE AND RAQUEL VILLACAMPA
For an almost contact metric manifold N, we find conditions under which either the total space of an S1-bundle over N or the Riemannian cone over N admit a strong Kähler with torsion (SKT) structure. In so doing, we construct new 6-dimensional SKT manifolds. Moreover, we study the geo- metric structure induced on a hypersurface of an SKT manifold and use it to construct new SKT manifolds via appropriate evolution equations. We also study hyper-Kähler with torsion (HKT) structures on the total space of an S1-bundle over manifolds with three almost contact structures.
1. Introduction
On any Hermitian manifold (M2n, J, h) there exists a unique Hermitian connection ∇ B with totally skew-symmetric torsion, which is called the Bismut connection after [Bismut 1989]. The torsion 3-form h(X, T B(Y, Z)) of ∇ B can be identified with the 3-form −J dF( · , · , · ) = −dF(J · , J · , J · ), where F( · , · ) = h( · , J · ) is the fundamental 2-form associated to the Hermitian structure (J, h). Hermitian structures with closed J dF are called strong Kähler with torsion (in ¯ 1 short, SKT) or pluriclosed [Egidi 2001]. Since ∂∂ acts as 2 d J d on forms of bidegree (1, 1), the latter condition is equivalent to ∂∂¯ F = 0. SKT structures have been recently studied by many authors, and they also have applications in type II string theory and in 2-dimensional supersymmetric σ -models [Gates et al. 1984; Strominger 1986; Ivanov and Papadopoulos 2001]. The class of SKT metrics includes of course the Kahler¨ metrics, but as in [Fino et al. 2004], we are interested on non-Kahler¨ geometry, so by an SKT metric we
MSC2000: primary 53C55; secondary 53C26, 22E25, 53C15. Keywords: Hermitian metric, hypercomplex structure, torsion, almost contact structure, Riemannian cone. Partially supported through Project MICINN (Spain) MTM2008-06540-C02-01/02, Project MIUR “Riemannian Metrics and Differentiable Manifolds” and by GNSAGA of INdAM.
49 50 MARISA FERNÁNDEZ, ANNA FINO, LUIS UGARTE AND RAQUEL VILLACAMPA will mean a Hermitian metric h whose fundamental 2-form F is ∂∂¯-closed but not d-closed. Gauduchon [1984] showed that on a compact complex surface, an SKT metric can be found in the conformal class of any given Hermitian metric, but in higher dimensions the situation is more complicated. SKT structures on 6-dimensional nilmanifolds, that is, on compact quotients of nilpotent Lie groups by discrete subgroups, were classified in [Fino et al. 2004; Ugarte 2007]. Simply connected examples of 6-dimensional SKT manifolds have been found in [Grantcharov et al. 2008] by using torus bundles, and recently Swann [2010] has reproduced them via the twist construction, by extending them to higher dimensions and finding new compact simply connected SKT manifolds. Moreover, Fino and Tomassini [2009] showed that the SKT condition is preserved by the blow-up construction. The odd-dimensional analogue of a Hermitian structure is given by a normal almost contact metric structure. Indeed, on the product N 2n+1× ޒ of a (2n+1)- dimensional almost contact metric manifold N 2n+1 by the real line ޒ, it is possible to define a natural almost complex structure, which is integrable if and only if the almost contact metric structure on N 2n+1 is normal [Sasaki and Hatakeyama 1961]. More generally, it is possible to construct Hermitian manifolds starting from an almost contact metric manifold N 2n+1 by considering a principal fiber bundle P with base space N 2n+1 and structural group S1, that is, an S1-bundle over N 2n+1; see [Ogawa 1963]. Indeed, by using the almost contact metric structure on N 2n+1 and the connection 1-form θ, Ogawa constructed an almost Hermitian structure (J, h) on P and found conditions under which J is integrable and (J, h) is Kahler.¨ In Section 2, we determine in Theorem 2.3 general conditions under which an S1-bundle over an almost contact metric (2n+1)-dimensional manifold N 2n+1 is SKT. We study the particular case when N 2n+1 is quasi-Sasakian, that is, when it has an almost contact metric structure for which the fundamental form is closed (Corollary 2.4). In this way, we are able to construct some new 6-dimensional SKT examples, starting from 5-dimensional quasi-Sasakian Lie algebras, and also from Sasakian ones. A Sasakian structure can be also seen as the analogue, in odd dimensions, of a Kahler¨ structure. Indeed, by [Boyer and Galicki 1999], a Riemannian manifold (N 2n+1, g) of odd dimension 2n+1 admits a compatible Sasakian structure if and only if the Riemannian cone N 2n+1 × ޒ+ is Kahler.¨ In Section 3, Theorem 3.1 gives the conditions that must be satisfied by the compatible almost contact metric structure on a Riemannian manifold (N 2n+1, g) in order that the Riemannian cone N 2n+1 × ޒ+ be SKT. We provide an example of an SKT manifold constructed as a Riemannian cone, and in Section 4 we consider the case when the Riemannian cone is 6-dimensional. This case is interesting since one can impose that the SKT STRONGKÄHLERWITHTORSIONSTRUCTURES 51 structure is in addition an SKT SU(3)-structure, and one can find relations with the SU(2)-structures studied by Conti and Salamon [2007]. In Section 5, we study the geometric structure induced naturally on any oriented hypersurface N 2n+1 of a (2n+2)-dimensional manifold M2n+2 carrying an SKT structure, and in Section 6, we use such structures in Theorem 6.4 to construct new SKT manifolds via appropriate evolution equations [Hitchin 2001; Conti and Salamon 2007] starting from a 5-dimensional manifold endowed with an SU(2)- structure. A good quaternionic analogue of Kahler¨ geometry is given by hyper-Kähler with torsion (in short, HKT) geometry. An HKT manifold is a hyper-Hermitian 4n manifold (M , J1, J2, J3, h) admitting a hyper-Hermitian connection with totally skew-symmetric torsion, that is, one in which the three Bismut connections asso- ciated with the three Hermitian structures (Jr , h) coincide for r = 1, 2, 3. This geometry was introduced by Howe and Papadopoulos [1996] and later studied in [Grantcharov and Poon 2000; Fino and Grantcharov 2004; Barberis et al. 2009; Barberis and Fino 2008; Swann 2010]. In the interesting special case in which the torsion 3-form of such a hyper- Hermitian connection is closed, the HKT manifold is called strong. In Section 7, Theorem 7.1 gives conditions under which an S1-bundle over a (4n+3)-dimensional manifold endowed with three almost contact metric struc- tures is HKT and in particular when it is strong HKT.
2. SKT structures arising from S1-bundles
Consider a (2n+1)-manifold N 2n+1 endowed with an almost contact metric struc- ture (I, ξ, η, g); that is, I is a tensor field of type (1, 1), ξ is a vector field, η is a 1-form, and g is a Riemannian metric on N 2n+1, satisfying together the conditions I 2 = − Id +η ⊗ ξ, η(ξ) = 1, g(IU, IV ) = g(U, V ) − η(U)η(V ) for any vector fields U and V on N 2n+1. Denote by ω the fundamental 2-form of (I, ξ, η, g); that is, ω is the 2-form on N 2n+1 given by ω( · , · ) = g( · , I · ). Given the tensor field I , consider its Nijenhuis torsion [I, I ], defined by (1) [I, I ](X, Y ) = I 2[X, Y ] + [IX, IY ] − I [IX, Y ] − I [X, IY ]. On the product N 2n+1 × ޒ, one can define a natural almost complex structure d d J X, f = IX + f ξ, −η(X) , dt dt where f is a Ꮿ∞-function on N 2n+1 × ޒ and t is the coordinate on ޒ. 52 MARISA FERNÁNDEZ, ANNA FINO, LUIS UGARTE AND RAQUEL VILLACAMPA
Definition 2.1 [Sasaki and Hatakeyama 1961]. We call an almost contact met- ric structure (I, ξ, η, g) on N 2n+1 normal if the almost complex structure J on N 2n+1 × ޒ is integrable, or equivalently if [I, I ](X, Y ) + 2dη(X, Y )ξ = 0 for any vector fields X, Y on N 2n+1.
By [Blair 1967, Lemma 2.1], one has iξ dη = 0 for a normal almost contact metric structure (I, ξ, η, g). Remark 2.2. The normality of the almost contact structure implies as well that I dη = dη. Indeed, d(η − i dt) = dη has no (0, 2)-part and therefore has no (2, 0)- part since dη is real. Thus, J dη = dη, but Jdη = I dη as well since iξ dη = 0. We recall that a Hermitian manifold (M, J, h) is SKT if and only if the 3-form J dF is closed, where F is the fundamental 2-form of (J, h). We will use the convention that J acts on r-forms β by
(Jβ)(X1,..., Xr ) = β(JX1,..., JXr ) for any vector fields X1,..., Xr . We now show general conditions under which an S1-bundle over an almost contact metric (2n+1)-dimensional manifold is SKT. Let (N 2n+1, I, ξ, η) be a (2n+1)-dimensional almost contact manifold, and let be a closed 2-form on N 2n+1 that represents an integral cohomology class on N 2n+1. From the well-known result of Kobayashi [1956], we can consider the circle bundle S1 ,→ P → N 2n+1 and the connection 1-form θ on P whose curvature form is dθ = π ∗(), where π : P → N 2n+1 is the projection. By using the almost contact structure (I, ξ, η) and the connection 1-form θ, one can define an almost complex structure J on P as follows [Ogawa 1963]. For any right-invariant vector field X on P, the vector field JX is given by ∗ (2) θ(JX) = −π (η(π∗ X)) and π∗(JX) = I (π∗ X) + θ(˜ X)ξ, where θ(˜ X) is the unique function on N 2n+1 such that (3) π ∗θ(˜ X) = θ(X). This definition can be extended to an arbitrary vector field X on P since X can P be written in the form X = j f j X j , with f j smooth functions on P, and X j P right-invariant vector fields. Then JX = j f j JX j . Ogawa [1963] showed that when (N 2n+1, I, ξ, η) is normal, the almost complex structure J on P defined by (2) is integrable if and only if dθ is J-invariant, that is, if J(dθ) = dθ or equivalently dθ(JX, Y )+dθ(X, JY ) = 0 for any vector fields X and Y on P. That is, dθ is a complex 2-form on P having bidegree (1, 1) with respect to J. STRONGKÄHLERWITHTORSIONSTRUCTURES 53
In terms of the 2-form , whose lift to P is the curvature of the circle bundle S1 ,→ P → N 2n+1, the previous condition means that is I -invariant, that is, I () = . Therefore iξ = 0. If {e1,..., e2n, η} is an adapted coframe on a neighborhood U on N 2n+1, that is, I e2 j−1 = −e2 j and I e2 j = e2 j−1 for 1 ≤ j ≤ n, then we can take {π ∗e1, . . . , π ∗e2n, π ∗η, θ} as a coframe in π −1(U). By using the coframe {π ∗e1, . . . , π ∗e2n}, we may write dθ = π ∗α + π ∗β ∧ π ∗η, where α is a 2-form in V2he1,..., e2ni, and β ∈ V1he1,..., e2ni. Suppose that N 2n+1 has a normal almost contact metric structure (I, ξ, η, g). We consider a principal S1-bundle P with base space N 2n+1 and connection 1-form θ, and endow P with the almost complex structure J (associated to θ) defined by (2). Since N 2n+1 has a Riemannian metric g, a Riemannian metric h on P compatible with J (see [Ogawa 1963]) is given by ∗ (4) h(X, Y ) = π g(π∗ X, π∗Y ) + θ(X) θ(Y ) for any right-invariant vector fields X and Y . This definition can be extended to any vector field on P. Theorem 2.3. Consider a (2n+1)-dimensional almost contact metric manifold (N 2n+1, I, ξ, η, g), and let be a closed 2-form on N 2n+1 that represents an integral cohomology class. Consider the circle bundle S1 ,→ P → N 2n+1 with connection 1-form θ, whose curvature form is dθ = π ∗() for the projection π : P → N 2n+1. The almost Hermitian structure (J, h) on P defined by (2) and (4) is SKT if and only if (I, ξ, η, g) is normal, dθ is J-invariant, and ∗ d(π (I (iξ dω))) = 0, (5) ∗ ∗ ∗ ∗ d(π (I (dω) − dη ∧ η)) = (−π (I (iξ dω)) + π ) ∧ π , where ω is the fundamental form of the almost contact metric structure (I, ξ, η, g). Proof. As we mentioned, a result of Ogawa [1963] asserts that the almost complex structure J is integrable if and only if (I, ξ, η, g) is normal and J(dθ) = dθ. Thus, (J, h) is SKT if and only if the 3-form J dF is closed. Using the first equality in (2), we find that the fundamental 2-form F on P is F(X, Y ) = h(X, JY ) ∗ = π g(π∗ X, π∗ JY ) + θ(X) θ(JY ) ∗ ∗ = π g(π∗ X, π∗ JY ) − θ(X) π η(π∗Y ). 54 MARISA FERNÁNDEZ, ANNA FINO, LUIS UGARTE AND RAQUEL VILLACAMPA
Therefore, taking into account that we are working with a circle bundle (whose fiber is thus 1-dimensional), we have F = π ∗ω + π ∗η ∧ θ, d F = π ∗(dω) + π ∗(dη) ∧ θ − π ∗η ∧ dθ, (6) J dF = J(π ∗(dω)) − J(π ∗(dη)) ∧ π ∗η − θ ∧ dθ since J(π ∗η) = θ and J is integrable, and so J(dθ) = dθ. Moreover, ∗ ∗ ∗ (7) J(π (dω)) = π (I (dω)) + π (I (iξ dω)) ∧ θ. Indeed, locally and in terms of the adapted basis {e1,..., e2n+1} with I e2 j−1 = −e2 j for 1 ≤ j ≤ n, I e2n+1 = 0, and η = e2n+1, we can write dω = α + β ∧ η, where the local forms α ∈ V3he1,..., e2ni and β ∈ V2he1,..., e2ni are generated only by e1,..., e2n. Furthermore, we have I α = I (dω) and β = iξ dω. Thus ∗ ∗ ∗ J(π (dω)) = J(π (α)) + J(π (iξ dω)) ∧ θ. ∗ ∗ ∗ Now, by using (2) and (3), we see that J(π (α)) = π (I α) and J(π (iξ dω)) = ∗ π (I (iξ dω)), which proves (7). As a consequence of Remark 2.2, ∗ ∗ ∗ ∗ (8) J(π (dη)) = π (I (dη)) − π (I (iξ dη)) ∧ θ = π (dη) since iξ dη = 0 and I dη = dη. Using (7) and (8), we get ∗ ∗ ∗ ∗ (9) J dF = π (I (dω)) + π (I (iξ dω)) ∧ θ − π (dη) ∧ π η − θ ∧ dθ. Therefore, ∗ ∗ ∗ d(J dF) = d(π (I (dω))) + d(π (I (iξ dω))) ∧ θ + π (I (iξ dω)) ∧ dθ − d(π ∗(dη)) ∧ π ∗η − π ∗(dη) ∧ dπ ∗η − dθ ∧ dθ. Consequently, d(J dF) = 0 if and only if ∗ d(π (I (iξ dω))) = 0, ∗ ∗ d(π (I (dω) − dη ∧ η)) = (π (−I (iξ dω)) + dθ) ∧ dθ. An almost contact metric manifold (N 2n+1, I, ξ, η, g) is quasi-Sasakian if it is normal and its fundamental form ω is closed. In particular, if dη = α ω, then the almost contact metric structure is called α-Sasakian. When α = −2, the structure is said to be Sasakian. By [Friedrich and Ivanov 2002, Theorem 8.2], an almost contact metric manifold (N 2n+1, I, ξ, η, g) admits a connection ∇c that preserves the almost contact metric STRONGKÄHLERWITHTORSIONSTRUCTURES 55 structure and has totally skew-symmetric torsion tensor if and only if the Nijenhuis tensor of I , given by (1), is skew-symmetric and ξ is a Killing vector field. This connection is unique. In particular, on any quasi-Sasakian manifold (N 2n+1, I, ξ, η, g) there exists a unique connection ∇c with totally skew-symmetric torsion, such that
∇c I = 0, ∇cg = 0, ∇cη = 0.
Such a connection ∇c is uniquely determined by ∇c = ∇g + 1 ∧ (10) g( X Y, Z) g( X Y, Z) 2 (dη η)(X, Y, Z), ∇g 1 ∧ ∇c where is the Levi-Civita connection and 2 (dη η) is the torsion 3-form of . Corollary 2.4. Let (N 2n+1, I, ξ, η, g) be a quasi-Sasakian (2n+1)-manifold, and let be a closed 2-form on N 2n+1 that represents an integral cohomology class. Consider the circle bundle S1 ,→ P → N 2n+1 with connection 1-form θ whose curvature form is dθ = π ∗() for the projection π : P → N 2n+1. The almost Hermitian structure (J, h) on P defined by (2) and (4) is SKT if and only if is I -invariant, iξ = 0, and (11) dη ∧ dη = − ∧ .
The Bismut connection ∇ B of (J, h) on P and the connection ∇c on N given by (10) are related by ∇ B = ∗ ∇c (12) h( X Y, Z) π g( π∗ X π∗Y, π∗ Z) for any vector fields X, Y, Z ∈ Ker θ. Proof. Since dω = 0, if we impose the SKT condition, then we get by using the previous theorem the equation (11). The Bismut connection ∇ B associated to the Hermitian structure (J, h) on P is ∇ B = ∇h − 1 (13) h( X Y, Z) h( X Y, Z) 2 dF(JX, JY, JZ) for any vector fields X, Y, Z on P, where ∇h is the Levi-Civita connection asso- ciated to h. Then, for any X, Y, Z in the kernel of θ, we have ∇ B = ∗ ∇h + 1 ∗ ∧ ∗ h( X Y, Z) π g( X Y, Z) 2 (π (dη) π η)(X, Y, Z). By [Ogawa 1963, Lemma 3] and the definition of ∇c, we get h(∇ BY, Z) = π ∗g(∇g π Y, π Z) + 1 (π ∗(dη) ∧ π ∗η)(X, Y, Z) X π∗ X ∗ ∗ 2 = ∗ ∇c π g( π∗ X π∗Y, π∗ Z) for any X, Y, Z in the kernel of θ. 56 MARISA FERNÁNDEZ, ANNA FINO, LUIS UGARTE AND RAQUEL VILLACAMPA
Remark 2.5. If the structure (I, ξ, η, g) is α-Sasakian, equation (11) reads ∧ = −α2 ω ∧ ω.
In the case of a trivial S1-bundle, that is, if we consider the natural almost Hermitian structure on the product N 2n+1 × ޒ, we get this: Corollary 2.6. Let (N 2n+1, I, ξ, η, g) be a (2n+1)-dimensional almost contact metric manifold. Impose on the product N 2n+1 ×ޒ the almost complex structure J given by d JX = I X for X ∈ Ker η and Jξ = − , dt and the metric h given by h = g + (dt)2. The Hermitian structure (J, h) is SKT if and only if (I, ξ, η, g) is normal, d(I (dω)) = d(dη ∧ η) and d(I (iξ dω)) = 0, where ω denotes the fundamental 2-form of the almost contact metric structure (g, I, ξ, η). Corollary 2.7. Let (N 2n+1, I, ξ, η, g) be a (2n+1)-dimensional quasi-Sasakian manifold with dη ∧ dη = 0. The Hermitian structure (J, h) on N 2n+1× ޒ is SKT. Moreover, its Bismut connection ∇ B coincides with the unique connection ∇c on N 2n+1 given by (10). Proof. In this case, since dω = 0 we get d(J dF) = −d(dη ∧ η). By using (12), B c 2n+1 we get h(∇X Y, Z) = g(∇X Y, Z) for any vector fields X, Y, Z on N . 2.1. Examples. We will present three examples of quasi-Sasakian Lie algebras satisfying the condition dη ∧ dη = 0. By applying Corollary 2.7, one gets an SKT structure on the product of the corresponding simply connected Lie group by ޒ. Example 2.8. Let s be the 5-dimensional Lie algebra with structure equations de1 = e13 + e23 + e25 − e34 + e35, de2 = 2e12 − 2e13 + e14 − e15 − e24 + e34 + e45, de3 = −e12 + e13 + e14 − e15 + 2e24 − 2e34 + e45, de4 = −e12 − e23 + e24 − e25 − e35, de5 = e12 − e13 − e24 + e34, where ei j = ei ∧ e j . On s, take the quasi-Sasakian structure (I, ξ, η, g) given by
5 1 2 3 4 12 34 P5 j 2 (14) η = e , I e = −e , I e = −e , ω = −e − e , g = j=1(e ) . This quasi-Sasakian structure satisfies the condition d(dη ∧ η) = 0. The Lie algebra s is 2-step solvable since the commutator
1 s = [s, s] = ޒhe1 − e4, e2 + e3, e1 − e2 + 2e3 − e5i STRONGKÄHLERWITHTORSIONSTRUCTURES 57
1 5 is abelian, where {e1,..., e5} denotes the dual basis of {e ,..., e }. Moreover, s − has trivial center, is irreducible and nonunimodular, since the trace of ade1 is 3.
Example 2.9. Consider the family of 2-step solvable Lie algebras sa for a ∈ޒ−{0}, given by de1 = a e23 + 3e25, de3 = a e34, de2 = −a e13 − 3e15, de4 = 0, 5 = − 1 2 34 de 3 a e . The almost contact metric structure (I, ξ, η, g) defined in (14) is quasi-Sasakian and satisfies the condition dη ∧ dη = 0. The second cohomology group of sa is generated by e12 and e45. Example 2.10. Another family of quasi-Sasakian Lie algebras that satisfies the condition dη ∧ dη = 0 is gb for b ∈ ޒ − {0}, with structure equations de1 = b(e13 + e14 − e23 + e24) + e25, de3 = 2e45, de2 = b(−e13 + e14 − e23 − e24) − e15, de4 = −2e35, de5 = −4b2e34, and endowed with the quasi-Sasakian structure given by (14). The second coho- 12 mology group of gb is generated by e . The Lie algebras gb are not solvable since the commutators are [gb, gb] = gb. The Lie groups underlying Examples 2.9 and 2.10 also satisfy the conditions of Corollary 2.4 with ∧ = 0, by just taking as connection 1-form the 1-form e6 such that de6 = λe12. Then, = λe12. With this expression of de6, we have d2e6 = 0, J(de6) = de6, and de6 ∧ de6 = 0. Therefore, equation (11) is satisfied. Observe that λ = 0 provides examples of trivial S1-bundles. The next example allows us to recover one of the 6-dimensional nilmanifolds found in [Fino et al. 2004]: Example 2.11. Consider the 5-dimensional nilpotent Lie algebra with structure equations de j = 0 for j = 1,..., 4, de5 = e12 + e34, and endowed with the quasi-Sasakian structure given by (14). If we consider the closed 2-form = e13 + e24 and apply Corollary 2.4, we see that there exists a nontrivial S1-bundle over the corresponding 5-dimensional nilmanifold. Since de5 ∧ de5 = − ∧ 6= 0, the total space of this S1-bundle is an SKT nilmanifold. More precisely, according to the classification given in [Fino et al. 2004] (see also 58 MARISA FERNÁNDEZ, ANNA FINO, LUIS UGARTE AND RAQUEL VILLACAMPA
[Ugarte 2007]), the nilmanifold is the one with underlying Lie algebra isomorphic to h3 ⊕ h3, where by h3 we denote the real 3-dimensional Heisenberg Lie algebra. Since the starting Lie algebra from Example 2.11 is Sasakian, it is natural to start with other 5-dimensional Sasakian Lie algebras to construct new SKT structures in dimension 6. A classification of 5-dimensional Sasakian Lie algebras was obtained in [Andrada et al. 2009].
Example 2.12. Consider the 5-dimensional Lie algebra k3 with structure equations de1 = 0, de4 = 0, de2 = −e13, de5 = λe14 + µe23, de3 = e12, where λ, µ<0. By [Andrada et al. 2009], this algebra admits the Sasakian structure given by
I e1 = e4, I e2 = e3, η = e5, = − 1 2 − 1 2 − 1 2 − 1 2 + 2 g 2 λ(e1) 2 λ(e2) 2 µ(e3) 2 µ(e4) (e5) , and is isomorphic to ޒ n (h3 × ޒ); moreover, the corresponding solvable simply connected Lie group admits a compact quotient by a discrete subgroup. 14 23 Consider on k3 the closed 2-form =λe −µe . The form is I -invariant and satisfies ∧=−2λµe1234. Since e5 is the contact form and de5∧de5 =2λµe1234, we get again by Corollary 2.4 an SKT structure on a nontrivial S1-bundle over the 5-dimensional solvmanifold. We denote by e6 the connection 1-form. The orthonormal basis {α1 = e1, α2 = e4, α3 = e2, α4 = e3, α5 = e5, α6 = θ} for the SKT metric satisfies the equations
dα1 = dα2 = 0, dα3 = −α14, dα4 = α13, dα5 = λα12 + µα34, dα6 = λα12 − µα34, and the complex structure is given by J(X1) = X2, J(X3) = X4 and J(X5) = X6, { }6 { i }6 where Xi i=1 denotes the basis dual to α i=1. Since the fundamental 2-form is F = α12 + α34 + α56, the 3-form torsion T of the SKT structure is
T = λα12(α5 + α6) + µα34(α5 − α6).
Moreover, ∗T = λα12(α5 + α6) − µα34(α5 − α6), where ∗ denotes the metric’s Hodge operator; this implies that the torsion form is also coclosed. B i B The only nonzero curvature forms ( )j of the Bismut connection ∇ are
B 1 2 12 B 3 2 34 ( )2 = −2λ α and ( )4 = −2µ α . STRONGKÄHLERWITHTORSIONSTRUCTURES 59
A direct calculation shows that the 1-forms α5 and α6 and the 2-forms α12 and α34 are parallel with respect to the Bismut connection, which implies that ∇ B T = 0. Finally, Hol(∇ B) = U(1) × U(1) ⊂ U(3) since ∇ Bαi 6= 0 for i = 1, 2, 3, 4.
3. SKT structures arising from Riemannian cones
Let N 2n+1 be a (2n+1)-dimensional manifold endowed with an almost contact metric structure (I, ξ, η, g), and denote by ω its fundamental 2-form. The Riemannian cone of N 2n+1 is defined as the manifold N 2n+1 ×ޒ+ equipped with the cone metric (15) h = t2g + (dt)2.
The cone N 2n+1× ޒ+ has a natural almost Hermitian structure defined by (16) F = t2ω + tη ∧ dt.
The almost complex structure J on N 2n+1 × ޒ+ defined by (F, h) is given by d JX = IX for X ∈ Ker η and Jξ = −t . dt In terms of a local orthonormal adapted coframe {e1,..., e2n} for g with n X (17) ω = − e2 j−1 ∧ e2 j , j=1 we have Je2 j−1 = −e2 j , Je2 j = e2 j−1 for j = 1,..., n, (18) J(te2n+1) = dt, J(dt) = −te2n+1.
The almost Hermitian structure (J, h) on N 2n+1× ޒ+ is Kahler¨ if and only if the almost contact metric structure (I, ξ, η, g) on N 2n+1 is Sasakian, that is, a normal contact metric structure. If we impose that the almost Hermitian structure (J, h) on N 2n+1 × ޒ+ is SKT, we can prove the following: Theorem 3.1. Consider a (2n+1)-dimensional almost contact metric manifold (N 2n+1, I, ξ, η, g). The almost Hermitian structure (J, h) given by (15) and (16) on the Riemannian cone (N 2n+1 ×ޒ+, h) is SKT if and only if (I, ξ, η, g) is normal and
(19) −4η ∧ ω + 2 I (dω) − 2dη ∧ η = d(I (iξ dω)), where ω denotes the fundamental 2-form of the almost contact metric structure (I, ξ, η, g). 60 MARISA FERNÁNDEZ, ANNA FINO, LUIS UGARTE AND RAQUEL VILLACAMPA
Proof. J is integrable if and only if the almost contact metric structure is normal. We compute J dF. We have
d F = 2tdt ∧ ω + t2dω + t dη ∧ dt, and so JdF = −2t2η ∧ ω + t2 J(dω) − t2dη ∧ η since Jω = ω, J(dt) = −tη and J dη = dη. Moreover, with respect to an adapted basis {e1,..., e2n+1} we can get, in a way similar to the proof of Theorem 2.3, that
(20) J dω = I (dω) + I (iξ dω) ∧ Jη.
2 2 2 As a consequence, we get J dF = −2t η∧ω+t I (dω)+t dt ∧ I (iξ dω)−t dη∧η. Therefore, by imposing that d(J dF) = 0, we obtain
−4η ∧ ω + 2I (dω) − 2dη ∧ η − d(I (iξ dω)) = 0, −2d(η ∧ ω) + d(I (dω)) − d(dη ∧ η) = 0.
Since the second equation is a consequence of the first, the Hermitian structure (F, h) on the Riemannian cone N 2n+1 × ޒ+ is SKT if and only if the almost 2n+1 contact metric structure (I, η, ξ, g, ω) on N satisfies equation (19). Remark 3.2. As a consequence of previous theorem, when n = 1, equation (19) is satisfied if and only if the 3-dimensional manifold N is Sasakian. On the other hand, if n > 1 and the almost contact metric structure on N 2n+1 is quasi-Sasakian (that is, dω = 0), then the structure has to be Sasakian, that is, dη = −2ω.
Example 3.3. Consider the 5-dimensional Lie algebras ga,b,c with structure equa- tions b3 b de1 = a e23 + 2e25 + − 1 ab + + 2 e34 + be45, 2 2a a 2 = − 13 − 15 − 1 34 − 35 de a e 2e 2 bce be , 4 b2 de3 = − − e34, a a de4 = ce34, de5 = 2e12 + be14 − be23 + (2 + b2)e34, where a, b, c ∈ ޒ and a 6= 0. They are endowed with the normal almost contact metric structure (I, ξ, η, g, ω) with
I e1 = −e2, I e3 = −e4, η = e5, ω = −e12 − e34.
This structure satisfies (19), and therefore the Riemannian cones over the corre- sponding simply connected Lie groups are SKT. STRONGKÄHLERWITHTORSIONSTRUCTURES 61
4. SKT SU(3)-structures
Let (M6, J, h) be a 6-dimensional almost Hermitian manifold. An SU(3)-structure 6 on M is determined by the choice of a (3, 0)-form 9 = 9++ i9− of unit norm. If 9 is closed, then the underlying almost complex structure J is integrable and the manifold is Hermitian. We will denote the SU(3)-structure (J, h, 9) simply by (F, 9), where F is the fundamental 2-form, since from F and 9 we can reconstruct the almost Hermitian structure. Definition 4.1. We say that an SU(3)-structure (F, 9) on M6 is SKT if (21) d9 = 0 and d(J dF) = 0, where J is the associated complex structure. We will see the relation between SKT SU(3)-structures in dimension 6 and SU(2)-structures in dimension 5. First, we recall some facts about SU(2)-structures on a 5-dimensional mani- fold. An SU(2)-structure on a 5-dimensional manifold N 5 is an SU(2)-reduction of the principal bundle of linear frames on N 5. By [Conti and Salamon 2007, Proposition 1], these structures are in one-to-one correspondence with quadru- 5 plets (η, ω1, ω2, ω3), where η is a 1-form and ωi are 2-forms on N satisfying ωi ∧ω j = δi j v and v ∧η 6= 0 for some 4-form v, and ω2(X, Y ) ≥ 0 if iX ω3 = iY ω1, 5 where iX denotes the contraction by X. Equivalently, an SU(2)-structure on N can be viewed as the datum of (η, ω1, 8), where η is a 1-form, ω1 is a 2-form, and 8 = ω2 + i ω3 is a complex 2-form such that
η ∧ ω1 ∧ ω1 6= 0, 8 ∧ 8 = 0, ω1 ∧ 8 = 0, 8 ∧ 8 = 2ω1 ∧ ω1, and 8 is of type (2, 0) with respect to ω1. Conti and Salamon [2007] locally characterize an SU(2)-structure as follows. If 5 (η, ω1, ω2, ω3) is an SU(2)-structure on a 5-manifold N , then locally there exists an orthonormal basis of 1-forms {e1,..., e5} such that 12 34 13 24 14 23 5 ω1 = e + e , ω2 = e − e , ω3 = e + e , η = e . We can also consider the local tensor field I given by I e1 = −e2, I e2 = e1, I e3 = −e4, I e4 = e3, I e5 = 0. This tensor gives rise to a global tensor field of type (1, 1) on the manifold N 5, 5 defined by ω1(X, Y ) = g(X, IY ) for any vector fields X and Y on N , where g is the Riemannian metric on N 5 underlying the SU(2)-structure. The tensor field I satisfies I 2 = − Id +η ⊗ ξ, where ξ is the vector field on N 5 dual to the 1-form η. Therefore, given an SU(2)-structure (η, ω1, ω2, ω3) we also have an almost con- tact metric structure (I, ξ, η, g) on the manifold, where ω1 is its fundamental form. 62 MARISA FERNÁNDEZ, ANNA FINO, LUIS UGARTE AND RAQUEL VILLACAMPA
Remark 4.2. Notice that we have two more almost contact metric structures when we consider ω2 and ω3 as fundamental forms. 5 5 If N has an SU(2)-structure (η, ω1, ω2, ω3), the product N × ޒ has a natural SU(3)-structure given by
(22) F = ω1 + η ∧ dt and 9 = (ω2 + iω3) ∧ (η − i dt). By Corollary 2.6, the previous SU(3)-structure is SKT if and only if
d(I (dω1)) = d(dη ∧ η), dω2 = −3ω3 ∧ η, (23) d(I (iξ dω1)) = 0, dω3 = 3ω2 ∧ η, proving this: Theorem 4.3. Suppose N 5 is a 5-dimensional manifold endowed with an SU(2)- structure (η, ω1, ω2, ω3). The SU(3)-structure (F, 9) given by (22) on the product N 5× ޒ is SKT if and only if the equations (23) are satisfied. Example 4.4. On the 5-dimensional Lie algebras introduced in Examples 2.8, 2.9 and 2.10, consider the SU(2)-structure given by
12 34 13 24 14 23 ω = ω1 = e + e , ω2 = e − e , ω3 = e + e . For Example 2.8, we have
124 134 123 234 dω2 = −2ω3 ∧ η − 4(e − e ) and dω3 = 2ω2 ∧ η + 4(e + e ).
For Examples 2.9 and 2.10, we get dω2 = −3ω3 ∧ η and dω3 = 3 ω2 ∧ η. Therefore one gets an SKT SU(3)-structure on the product of the corresponding simply connected Lie groups by ޒ. We will study the existence of SKT SU(3)-structures on a Riemannian cone over 5 a 5-dimensional manifold N endowed with an SU(2)-structure (η, ω1, ω2, ω3). 5 Then N has an induced almost contact metric structure (I, ξ, η, g), and ω1 is its fundamental form. The Riemannian cone (N 5 × ޒ+, h) of (N 5, g) has a natural SU(3)-structure defined by
2 2 F = t ω1 + tη ∧ dt and 9 = t (ω2 + iω3) ∧ (tη − idt). In terms of a local orthonormal coframe {e1,..., e5} for g such that
12 34 13 24 14 23 5 ω1 = −e − e , ω2 = −e + e , ω3 = −e − e , η = e , we have Je1 = −e2, Je2 = e1, Je3 = −e4, Je4 = e3, J(te5) = dt, J(dt) = −te5. STRONGKÄHLERWITHTORSIONSTRUCTURES 63
We recall that the SU(3)-structure (F, 9) on N 5× ޒ+ is integrable if and only 5 if the SU(2)-structure (η, ω1, ω2, ω3) on N is Sasaki–Einstein, or equivalently if and only if
dη = −2ω1, dω2 = −3ω3 ∧ η, dω3 = 3ω2 ∧ η.
For the Riemannian cones, we can prove the following
Corollary 4.5. Let N 5 be a 5-dimensional manifold endowed with an SU(2)- structure (η, ω1, ω2, ω3). The SU(3)-structure (F, 9) on the Riemannian cone (N 5× ޒ+, h) is SKT if and only if
−4η ∧ ω1 + 2I (dω1) − 2dη ∧ η = d(I (iξ dω1)),
(24) dω2 = 3ω3 ∧ η,
dω3 = −3ω2 ∧ η.
Proof. By imposing that d9 = 0, we get the conditions dω2 = −3 ω3 ∧ η and dω3 = 3 ω2 ∧η. By imposing d(J dF) = 0, we get, as in the proof of Theorem 3.1, equation (19) for ω = ω1.
5. Almost contact metric structure induced on a hypersurface
We study the almost contact metric structure induced naturally on any oriented hypersurface N 2n+1 of a (2n+2)-manifold M2n+2 equipped with an SKT structure. Let f : N 2n+1 → M2n+2 be an oriented hypersurface of a (2n+2)-dimensional manifold M2n+2 endowed with an SKT structure (J, h, F), and denote by ޕ the unitary normal vector field. It is well known that N 2n+1 inherits an almost contact metric structure (I, ξ, η, g) such that η and the fundamental 2-form ω are given by
∗ ∗ (25) η = − f (iޕ F) and ω = f F, where F is the fundamental 2-form of the almost Hermitian structure; see, for instance, [Blair 2002].
Proposition 5.1. Suppose f : N 2n+1 → M2n+2 is an immersion of an oriented (2n+1)-dimensional manifold into a (2n+2)-dimensional Hermitian manifold. If the Hermitian structure (J, h) on M2n+2 is SKT, then the induced almost contact metric structure (I, ξ, η, g) on N 2n+1, with η and ω given by (25), satisfies
∗ (26) d(I dω − I ( f (iޕ d F)) ∧ η) = 0.
Proof. Locally we can choose an adapted coframe {e1,..., e2n+2} for the Hermit- ian structure so that the unitary normal vector field ޕ is dual to e2n+2. Since the 64 MARISA FERNÁNDEZ, ANNA FINO, LUIS UGARTE AND RAQUEL VILLACAMPA almost complex structure J is given in this adapted basis by Je2 j−1 = −e2 j , Je2 j = e2 j−1 for j= 1,..., n, Je2n+1 = e2n+2, Je2n+2 = −e2n+1, it follows that the tensor field I on N 2n+1 has I f ∗ei = f ∗ Jei for i = 1,..., 2n+1. That is,
I f ∗e2 j−1 = − f ∗e2 j , I f ∗e2 j = f ∗e2 j−1 for j = 1,..., n, I f ∗e2n+1 = 0.
However, I f ∗e2n+2 = 0 6= f ∗e2n+1 = − f ∗ Je2n+2. We compute f ∗ J dF. First, we decompose (locally and in terms of the adapted basis) the differential of F as
dF = α + β ∧ e2n+1 + γ ∧ e2n+2 + µ ∧ e2n+1 ∧ e2n+2, where the local forms
α ∈ V3he1,..., e2ni, β, γ ∈ V2he1,..., e2ni, µ ∈ V1he1,..., e2ni are generated only by e1,..., e2n. Then,
J dF = Jα + Jβ ∧ e2n+2 − Jγ ∧ e2n+1 + Jµ ∧ e2n+1 ∧ e2n+2.
Since f ∗e2n+2 = 0 and f ∗e2n+1 = η, we have f ∗ J dF = f ∗ Jα − ( f ∗ Jγ ) ∧ η. ∗ ∗ ∗ However, f (iޕ dF) = f γ + f µ ∧ η, which implies that ∗ ∗ ∗ I ( f (iޕ dF)) = I f γ = f Jγ. On the other hand, I dω = I d f ∗ F = I f ∗dF = I f ∗α = f ∗ Jα. We conclude that ∗ ∗ ∗ ∗ f J dF = f Jα − ( f Jγ ) ∧ η = I dω − I ( f (iޕ d F)) ∧ η. Now, if the Hermitian structure is SKT, then JdF is closed and the induced struc- ture satisfies (26).
Remark 5.2. Notice that, using iޕ d F = ᏸޕ F − diޕ F, we can write (26) as ∗ d(I dω − I ( f (ᏸޕ F) + dη) ∧ η) = 0. ∗ Therefore, if f (ᏸޕ F) = 0, then the induced almost contact metric structure has to satisfy the equation d(I dω− I (dη)∧η) = 0. In the case of the product N 2n+1×ޒ, ∗ the condition f (ᏸޕ F) = 0 is satisfied. In the case of the Riemannian cone, we = + ∧ ∗ = have ᏸd/dt F 2tω dt η and therefore f (ᏸd/dt F) 2ω. In this way, we recover some of the equations obtained in Corollary 2.6 and Theorem 3.1. Now we study the structure that is induced naturally on any oriented hypersur- face N 5 of a 6-manifold M6 equipped with an SKT SU(3)-structure. STRONGKÄHLERWITHTORSIONSTRUCTURES 65
Let f : N 5 → M6 be an oriented hypersurface of a 6-manifold M6 endowed with an SU(3)-structure (F, 9 = 9+ +i 9−), and denote by ޕ the unitary normal 5 vector field. Then N inherits an SU(2)-structure (η, ω1, ω2, ω3) given by ∗ ∗ ∗ ∗ (27) η = − f (iޕ F), ω1 = f F, ω2 = − f (iޕ9−), ω3 = f (iޕ9+). Corollary 5.3. Let f : N 5 → M6 be an immersion of an oriented 5-dimensional manifold into a 6-dimensional manifold with an SU(3)-structure. If the SU(3)- structure is SKT, then the induced SU(2)-structure on N 5 given by (27) satisfies ∗ (28) d(I dω1 − I f (iޕ d F) ∧ η) = 0,
(29) d(ω2 ∧ η) = 0 and d(ω3 ∧ η) = 0.
Proof. Equation (28) follows from Proposition 5.1 by taking ω = ω1. Locally, we can choose an adapted coframe {e1,..., e5, e6} for the SU(3)-structure such that the unitary normal vector field ޕ is dual to e6. From (27), it follows that ∗ ∗ ω2 ∧η = f 9+ and ω3 ∧η = f 9−. If 9 = 9+ +i 9− is closed, then the induced structure satisfies (29). 5.1. A simple example. Consider the 6-dimensional nilmanifold M6 whose un- derlying nilpotent Lie algebra has structure equations de j = 0 for j = 1, 2, 3, 6, de4= e12, de5 = e14, and is endowed with the SU(3)-structure given by F = −e14 − e26 − e53 and 9 = (e1 − ie4) ∧ (e2 − ie6) ∧ (e5 − ie3). The oriented hypersurface with normal vector field dual to e2 is a 5-dimensional nilmanifold N 5 that by [Conti and Salamon 2007] has no invariant hypo structures. However, the SU(2)-structure on N 5, namely,
2 14 53 15 34 13 45 (30) η = e , ω1 = −e − e , ω2 = −e − e , ω3 = −e − e , satisfies (28) and (29). In Section 6, we will show that by using this SU(2)-structure and appropriate evolution equations, we can construct an SKT SU(3)-structure on the product of N 5 with an open interval.
6. SKT evolution equations
The goal here is to construct SKT SU(3)-structures by using appropriate evolution equations, starting from a suitable SU(2)-structure on a 5-dimensional manifold. We follow ideas of [Hitchin 2001] and [Conti and Salamon 2007].
Lemma 6.1. Let (η(t), ω1(t), ω2(t), ω3(t)) be a family of SU(2)-structures on a 5-dimensional manifold N 5 for t ∈ (a, b). The SU(3)-structure on M6 = N 5×(a, b) 66 MARISA FERNÁNDEZ, ANNA FINO, LUIS UGARTE AND RAQUEL VILLACAMPA