PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 3, March 1997, Pages 907–915 S 0002-9939(97)03683-6
POSITIVE SCALAR CURVATURE AND ODD ORDER ABELIAN FUNDAMENTAL GROUPS REINHARD SCHULTZ (Communicated by Thomas Goodwillie)
Abstract. If a smooth manifold has a Riemannian metric with positive scalar curvature, it follows immediately that the universal covering also has such a metric. The paper establishes a converse if the manifold in question is closed of dimension at least 5 and the fundamental group is an elementary abelian p-group of rank 2, where p is an odd prime.
A conjecture of J. Rosenberg [Rs3] states that a closed smooth manifold with odd order fundamental group and dimension ≥ 5 admits a Riemannian metric with positive scalar curvature if and only if its universal covering admits such a metric. Standard considerations involving transfers (cf. [KS1]) reduce the conjecture to the special case of p-groups (where p is an odd prime). Results of Rosenberg [Rs1]– [Rs3] and S. Kwasik and the author [KS1] prove the conjecture if the fundamental group G is a cyclic p-group. In this work we study the conjecture when G is a finite abelian p-group. The following interim conclusion reflects many of the basic ideas and disposes of the first examples not covered by [KS1], [Rs1]–[Rs3]. Theorem. Let p be an odd prime, and let M n be a closed smooth manifold of dimension n ≥ 5 with fundamental group Zp × Zp . Then M admits a Riemannian f does. metric with positive scalar curvature if and only if its universal covering M In [RsS] J. Rosenberg and S. Stolz prove a stable result that yields a weaker conclusion for G ∼ = Zp × Zp but applies to all finite groups. In particular, if G is a finite group of odd order and M is a closed smooth manifold with fundamental f has a Riemannian metric group G, their result states that the universal covering M with positive scalar curvature if and only if some product M × X × · · · × X does, b where X is an 8-dimensional Bott manifold; i.e., it is a spin manifold whose A-genus is equal to 1. Although the methods should yield quantitative information on the number of factors of X that are needed, it is not clear how precise such estimates would be. Our result implies that if G ≈ Zp × Zp , then no copies of X are needed if n ≥ 5 and at most one copy of X is needed if n < 5. A more geometric proof of this result in dimensions ≤ 2p − 2 was obtained independently by Stolz (unpublished). It seems likely that the methods of this paper can be combined with the multiple K¨ unneth formula decomposition of [Hn] and finite induction to prove at least a semistable version of Rosenberg’s conjecture for all elementary abelian p-groups Received by the editors February 13, 1995 and, in revised form, September 13, 1995. 1991 Mathematics Subject Classification. Primary 53C21, 55N15, 57R75; Secondary 53C20, 57R85. c
1997 American Mathematical Society
907
License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use
908
REINHARD SCHULTZ
(where p is odd). We hope to study this problem in a subsequent paper. On the other hand, the computations become substantially more complicated even if one considers a fundamental group of the form Zp2 × Zp (as usual, p is assumed to be odd). 1. Preliminary observations The proof of the theorem is a combination of formal considerations along the lines of [RsS] and [KS1] and a detailed analysis of the real connective K-theory of B(Zp × Zp ). We shall begin with the formal considerations. Reduction to questions involving connective K-theory. As in [Rs1]–[Rs3] and [KS1], it suffices to show that all classes in e Spin Ω (B(Zp × Zp )) = Kernel(ΩSpin (B(Zp × Zp )) → ΩSpin (pt.)) ∗ ∗ ∗ ∼ (= corresponding kernel with SO replacing Spin) of dimension ≥ 5 have representatives that support Riemannian metrics with positive scalar curvature. In other words, if Posn (B(Zp × Zp )) is the subset of (B(Zp × Zp )) with representatives of this type, then it suffices to show that ΩSpin n e Spin Posn (B(Zp × Zp )) contains Ω (B(Zp × Zp )); since Posn (B(Zp × Zp )) is in fact n a subgroup, the use of algebraic methods in this connection should seem promising. Furthermore, if D : ΩSpin → bo∗ is the transformation from Spin bordism to ∗ connective real K-theory given by the Dirac operator (equivalently by the Clifford orientation of a spin bundle), then results of R. Jung [J] and the standard algebraic formalism for bordism theories (e.g., [B] and [L1]) show that Posn (B(Zp × Zp )) contains the kernel of D∗ . Therefore, if we define Posko n (B(Zp × Zp )) to be the image of Posn (B(Zp × Zp )) under D∗ , then it suffices to show that Posko n (B(Zp × Zp )) g contains the reduced homology group bon (B(Zp × Zp )). Stable splittings of classifying spaces. A result of R. Holzsager [Ho] states that the suspension ΣBZp splits into a wedge of p − 1 summands, say Y1 ∨ · · · ∨ Yp−1 , such that ( Zp if s ≡ 2j mod 2(p − 1), fs (Yj , Z) ∼ H = 0 otherwise. Since B(Zp × Zp ) is homotopy equivalent to BZp × BZp , it follows that Σ2 (B(Zp × Zp )) is homotopy equivalent to a wedge of two copies of Σ2 BZp and one copy of ΣBZp ∧ ΣBZp . Holzsager’s result yields a corresponding stable splitting of B(Zp × Zp ) (i.e., in a suitable category of spectra) into a wedge of p2 − 1 summands ! ! ! p−1 p−1 p−1 _ _ _ Xr,0 ∨ X0,s ∨ Xu,v r=1
s=1
u,v=1 −1
where Xr,0 and X0,s are equivalent to Σ Yr and Σ−1 Ys respectively, and Xu,v is equivalent to Σ−2 Yu ∧ Yv . This splitting is a refinement of the decomposition in [MP]. Splittings of positively curved classes in connective K-theory. The splitting of the previous paragraph and formal properties of generalized homology theories yield an associated splitting of ΩSO ∗ (B(Zp × Zp )), and results from [KS1, Prop. 1.7, p. 276] yield a corresponding splitting of Posko n (B(Zp × Zp )); in other words, if α lies in Q the latter group and α = αj is the direct sum decomposition, then each αj also
License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use
POSITIVE SCALAR CURVATURE
909
lies in Posko n (B(Zp × Zp )). More generally, if G is an arbitrary finite group and we are given a stable splitting of BG as a wedge W1 ∨ W2 , then Posko n (Wi ) will denote the projection of Posko n (BG) into bon (Wi ) for i = 1, 2. In this notation the splitting principle of this paragraph can be restated as the formula ko ko Posko n (BG) ≈ Posn (W1 ) ⊕ Posn (W2 ).
2. Computations Our analysis of bo∗ (B(Zp × Zp )) is based upon the Atiyah-Hirzebruch spectral sequence Hs (B(Zp × Zp ); bot ({pt.})) V bos+t (B(Zp × Zp )). r We shall denote the terms of this spectral sequence by Es,t (B(Zp × Zp )). The stable splitting of B(Zp × Zp ) in the previous section yields an algebraic splitting of this spectral sequence into the Atiyah-Hirzebruch spectral sequences for the spectra Xu,v for 0 ≤ u, v ≤ p − 1 (with the convention that X0,0 is a point). We shall r denote these summands by Es,t (Xu,v ). Similarly, if we are given an arbitrary stable splitting of BG (where G is a finite group) as a wedge W1 ∨ W2 , then we obtain a r r splitting of Es,t (BG) into two spectral sequences that we shall call Es,t (W1 ) and r Es,t (W2 ). We shall first prove the main theorem for even dimensional manifolds; the argument in these cases is extremely simple.
Proposition 1. The conclusion of the theorem holds if n is even. Proof. Since p is odd the E 2 terms of the Atiyah-Hirzebruch spectral sequence r {Es,t (B(Zp × Zp ))} vanish for s > 0 unless t ≡ 0 mod 4, and if t = 4t0 (where 0 2 t ≥ 0) then Es,t is isomorphic to Hs (Zp × Zp ; Z). Since the integral homology of Zp has one copy of Zp in each odd positive dimension and nothing in even positive dimensions, the K¨ unneth formula implies that M Hs (Zp × Zp ; Z) ∼ Hi (Zp ; Z) ⊗ Hs−i (Zp ; Z) = i
provided s is even. If we combine this with the multiplicative properties of the Atiyah-Hirzebruch spectral sequence and collapsing of the corresponding spectral sequence Hs (BZp ; bot ({pt.})) V bos+t (BZp ) 2 we see that all classes in Es,t (B(Zp × Zp )) survive to E ∞ if s + t is even. The multiplicativity of the projection from Spin bordism to connective real K-theory implies that the product map in the latter is compatible with the obvious geometric g product map in Spin bordism. Since Posko n (B(Zp )) = bon (Zp ) if n ≥ 3 by [Rs1] and the product of two manifolds with metric of positive scalar curvature also has such a metric, these observations combine to show that every class in bon (B(Zp × Zp )) lies in Posko n (B(Zp × Zp )) if n is even. r Corollary 2. If s + t is odd, then the differentials into Es,t (B(Zp × Zp )) are all ∞ 2 zero and Es,t (B(Zp × Zp )) is (isomorphic to) a subgroup of Es,t (B(Zp × Zp )).
This follows immediately because all terms in even degrees are permanent cycles.
License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use
910
REINHARD SCHULTZ
Remarks. (1) It is well known that the Atiyah-Hirzebruch spectral sequence for the unitary bordism homology groups ΩU ∗ (B(Zp ×Zp )) does not collapse (e.g., see [L2]). By Proposition 1 the nontriviality of this spectral sequence implies the existence of nontrivial differentials from terms of odd total degree to terms of even total degree in the Atiyah-Hirzebruch spectral sequence for bo∗ (B(Zp × Zp )). (2) In contrast to the preceding result, the Atiyah-Hirzebruch spectral sequences Hs (BZp ; ht (BZp )) V hs+t (B(Zp × Zp )) associated to the usual product fibration of the space BZp × BZp ≈ B(Zp × Zp ) do SO collapse for h∗ = ΩU ∗ or bo∗ (cf. [Rw, Prop. 6, p. 888] for the case h∗ = Ω∗ ). The odd dimensional case. We shall first introduce some more notation. If h∗ is a connective homology theory, m is a nonnegative integer and X is a CW complex or connective spectrum, then F m (hn (X)) will denote the subgroup of elements in hn (X) that have filtration ≤ m in the Atiyah-Hirzebruch spectral sequence Hs (X; ht ({pt.})) V hs+t (X). ko ∞ If G is a finite group, then Posko ∗ Es,t (BG) will denote the subquotient of Poss+t (BG) given by s s−1 F s−1 (bos+t (BG)) + Posko (bos+t (BG)) s+t (BG) ∩ F (bos+t (BG))/F ko s s−1 ≈ Posko (bos+t (BG)) s+t (BG) ∩ F (bos+t (BG))/ Poss+t (BG) ∩ F ∞ and if we are given a stable splitting of BG as a wedge W1 ∨W2 , then Posko ∗ Es,t (W1 ) ko ∞ and Pos∗ Es,t (W2 ) are defined similarly (no parentheses are needed in the express sion F s−1 + Posko ∗ ∩F because the lattice of subgroups of an abelian group is modular). ∞ The following result provides the basic lower estimate for Posko ∗ Es,t (B(Zp × Zp )) when s, or equivalently s + t, is odd; the equivalence of the latter two conditions 2 follows because Es,t = 0 unless t ≡ 0 mod 4.
Proposition 3. In the setting above assume that s is odd, 0 ≤ t ≡ 0 mod 4, and ∞ s+t ≥ 3. Then Posko ∗ Es,t (B(Zp ×Zp )) is a Zp vector space that contains a subspace s+3 of dimension 2 or p + 1 depending on whether s ≤ 2p − 1 or s ≥ 2p + 1. Proof. The vector space assertion follows because the K¨ unneth formula implies that 2 Es,t (B(Zp × Zp )) is a Zp vector space if s > 0. If i1 , i2 : Zp → Zp are the injections onto the first and second summands, then ko naturality properties of [KS1] imply that Posko n (B(Zp ×Zp )) contains i1∗ Posn (BZp ) ko ko g and i2∗ Posn (BZp ). Since Posn (BZp ) = bon (BZp ) by [Rs1] it follows that g g Posko n (B(Zp × Zp )) ⊃ i1∗ bon (BZp ) + i2∗ bon (BZp ). By the K¨ unneth formula we have F 1 (bon (B(Zp × Zp ))) = i1∗ F 1 (bon (BZp )) + i2∗ F 1 (bon (BZp )), and if s = 1 the proposition follows from this and the results of [Rs1]. Now assume s > 1 is odd, and write s = 2m − 1 for some m ≥ 2. Let L2m−1 be the standard lens space, and consider the element ∆m in bo2m−1 (B(Zp ×Zp )) arising from the bordism class of the map L2m−1 → BZp → B(Zp × Zp ) where L → BZp is 2-connected and d# : BZp → B(Zp × Zp ) is induced by the diagonal map d : Zp → Zp × Zp . Since the lens space has a Riemannian metric with constant positive
License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use
POSITIVE SCALAR CURVATURE
911
sectional curvature, it follows immediately that ∆m lies in Posko 2m−1 (B(Zp × Zp )). If U : bo∗ → H∗ (−; Z) is the transformation that detects the generator of bo0 ({pt.}), then U (∆m ) is nontrivial and therefore ∆m defines a nontrivial element of ∞ 2 Es,0 (B(Zp × Zp )) ⊂ Es,0 (B(Zp × Zp )) ≈ Hs (Zp × Zp ; Z)
(where s = 2m − 1 as before). Specifically, if we consider the K¨ unneth formula splitting H2m−1 (Zp × Zp ; Z) ∼ = (H2m−1 (Zp ) ⊗ Z) ⊕ (Z ⊗ H2m−1 (Zp )) M Tor(H2i−1 (Zp ; Z), H2j−1 (Zp ; Z)), ⊕ i+j=m
then the cup product structure of H ∗ (L; Zp ) implies that the projection of ∆m onto each of these summands is nontrivial. The next step in the proof is to show that the projections of ∆m into the groups Hs (Xu,v ; Z) span a Zp vector space whose dimension is given as in the statement of the proposition. This is an immediate consequence of the last sentence in the previous paragraph and the following elementary observation: Proposition 4. With respect to the K¨ unneth formula decomposition above and the stable splitting of B(Zp × Zp ), all nontrivial maps from the K¨ unneth formula summands to the stable homotopy summands are given as follows: (1) H2m−1 (Zp )⊗Z maps nontrivially to H2m−1 (XM,0 ), where m ≡ M mod p−1. (2) Z⊗H2m−1 (Zp ) maps nontrivially to H2m−1 (X0,M ), where m ≡ M mod p−1. (3) Tor(H2i−1 (Zp ; Z), H2j−1 (Zp ; Z)) maps nontrivially to H2m−1 (XI,J ), where i ≡ I mod p − 1 and j ≡ J mod p − 1. The proof is elementary and left to the reader. If s ≤ 2p − 1, then Proposition 4 implies that the individual K¨ unneth formula summands belong to distinct stable summands of B(Zp × Zp ), and this means that ∞ dim Posko ∗ Es,0 (B(Zp × Zp )) ≥
s+3 = dim Hs (Zp × Zp ; Z). 2
∞ The reverse inequality also holds because Posko ∗ Es,0 (B(Zp × Zp )) is a subgroup 2 of Es,0 (B(Zp × Zp )) and the latter is isomorphic to dim Hs (Zp × Zp ; Z). On the other hand, if s ≥ 2p + 1, then it follows that the projections of ∆m onto the ko ∞ ko ∞ ∞ p+1 groups Posko ∗ Es,0 (X0,M ), Pos∗ Es,0 (XM,0 ), and Pos∗ Es,0 (XM,0 ) are linearly independent, where M is defined as in the statement of Proposition 4 and for each i satisfying 1 ≤ i ≤ p − 1 the integer l(i) is uniquely specified by the conditions 2 1 ≤ l(i) ≤ p − 1 and i + l(i) ≡ m mod p − 1. If we take Ws,0 to be (i) all of Es,0 if s ≤ 2p − 1 and Ws,0 , (ii) the span of the p + 1 projections of ∆m if s ≥ 2p + 1, then the preceding discussion proves Proposition 3 when t = 0. We shall prove the corresponding result for t > 0 using the periodicity properties of connective real K-theory. First, recall that bo∗ has a multiplicative structure arising from the tensor product of vector bundles and this structure is well behaved with respect to the Atiyah-Hirzebruch spectral sequence. Next, recall that 2 Es,t (B(Zp × Zp )) 6= 0 for s > 0 only if t = 4l for some l > 0. In fact, if v gener2 2 ates bo4 ({pt.}), then multiplication by v induces isomorphism Es,t ≈ Es,t+4 for all ∞ ∞ s > 0 and t ≥ 0. Also, if s is odd, then multiplication by v sends Es,t into Es,t+4 .
License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use
912
REINHARD SCHULTZ
Combining the observations of this paragraph with the previous work we see that ∞ ∞ vl Posko ∗ Es,0 ⊂ Es,4l
for all s, l > 0. Since (i) multiplication by v is realized geometrically by taking products with the Kummer surface, (ii) the set of manifolds with metrics of positive scalar curvature is closed under taking products with arbitrary manifolds, it follows ko ∞ ∞ that vl Posko ∗ Es,0 is in fact contained in Pos∗ E2,4l . Furthermore, since multiplication by v is injective on E 2 and all differentials in the Atiyah-Hirzebruch spectral sequence for bo∗ (B(Zp × Zp )) go from odd total degrees to even total degrees (by Corollary 2), it also follows that multiplication by v is injective on E ∞ . Therefore the conclusion of Proposition 3 follows in these cases by taking Ws,4l = vl Ws,0 . Corollary 5 (independently due to Stolz). In the setting of Proposition 3 we have ∞ ∞ 2 Posko ∗ Es,t = Es,t = Es,t for s ≤ 2p − 1. The following refinement of Proposition 3 is useful for our purposes. Proposition 6. In the setting of Proposition 3 if s and n are odd such that n ≥ s ≥ 2p − 1, then Wn,s,2p−1 = F s (bon (B(Zp × Zp )))/F s−2p−2 (bon (B(Zp × Zp ))) is a Zp vector space, and it contains a subspace of dimension ≥ every element lifts to a class in Posko n (B(Zp × Zp )).
p2 −1 2
for which
Sketch of proof. By construction the nonzero integral homology of the stable summand Xu,v of B(Zp × Zp ) only appears in dimensions congruent to 2(u + v) − 1 or 2(u + v) − 2 mod 2p − 2. In particular, this means that the entire spectral r sequence splits into p − 1 pieces such that Es,t of the ith spectral sequence is trivial unless s ≡ 2i − ε mod 2p − 2, where ε = 1 or 2. In particular, this implies that F s /F s−2p+2 is isomorphic to a direct sum p−1 M
F s−i /F s−i−1
i=0
(these filtrations all refer to bon (B(Zp × Zp )); we have suppressed this term for the sake of conciseness). The proposition follows by combining the observations in the preceding sentences with Proposition 3. The next order of business is to find an upper bound for the quotient appearing in the statement of Proposition 6: Proposition 7. The dimension of the Zp vector space Wn,s,2p−1 = F s (bon (B(Zp × Zp )))/F s−2p−2 (bon (B(Zp × Zp ))) is at most
p2 −1 2 .
Since every subgroup of an abelian group with ≤ q generators is also generated by ≤ q elements, Proposition 7 will be an immediate consequence of the following more general statement. Proposition 8. If n is odd, then g bon (B(Zp × Zp )) is generated by at most elements.
License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use
p2 −1 2
POSITIVE SCALAR CURVATURE
913
Notational convention. If h∗ is a generalized homology theory we shall denote its localization away from 2 by h∗ [ 12 ]. g Proof. Consider first the analogous question for bo n (BZp ) where n is odd. We p−1 claim that the latter is generated by at most 2 elements. There are many proofs of this; for the sake of completeness here is an elementary argument: Let LN be a lens space of dimension N > n; then it suffices to show that the torsion subgroup elements. Since the Atiyah-Hirzebruch of g bon (LN ) is generated by at most p−1 2 spectral sequence for connective real K-theory and the periodic localized theory KO∗ [ 12 ] both collapse, it follows that the composite g bon (LN ) → KOn (LN ) → KOn [ 12 ](LN ) is injective, and thus it suffices to verify the statement about generators for the ]n [ 1 ](LN ). Since KO∗ [ 1 ] is a direct summand of K∗ [ 1 ] it torsion subgroup of KO 2 2 2 follows that every weakly almost complex manifold is orientable with respect to KO∗ [ 12 ], and therefore KOn [ 12 ](LN ) is isomorphic to KON −n [ 12 ](LN ) by Poincar´e duality. Since N and n are both odd and g bon (LN ) is odd torsion, it suffices to ^ N −n (LN ) is generated by at most p−1 elements. This know that the torsion in KO 2 follows immediately from the standard description of the complex K-theory of lens spaces (cf. [A, p. 103]), the identification of KO[ 12 ] with the self-conjugate elements of K[ 12 ], and Bott periodicity. We shall derive Proposition 8 by combining the ideas of the preceding paragraph with the K¨ unneth formula for complex K-theory [A, Cor. 2.7.15, pp. 113–114] and the standard identification of KO∗ [ 12 ] as the self-conjugate part of K∗ [ 12 ] (i.e., the direct summand inclusion mentioned above). Clearly it suffices to prove the proposition for the product L × L instead of B(Zp × Zp ) because the canonical map L × L → B(Zp × Zp ) is N -connected. The same reasoning as in the proof of Proposition 1 shows that all differentials in the Atiyah-Hirzebruch spectral sequences for e ∗ [ 1 ](L × L) and KO ]∗ [ 1 ](L × L) are trivial in terms of even total degree, and bo 2 2 f∗ [ 1 ](L × L) to KO ]∗ [ 1 ](L × L) therefore it follows that the canonical map from bo 2 2 is injective. This in turn reduces the proof of Proposition 8 to verifying the upper ]∗ [ 1 ](L × L). bound for the torsion subgroup of KO 2 Since L × L is orientable with respect to complex K-theory (and hence also ]n [ 1 ](L × L) is isomorphic to KO∗ [ 12 ]), it follows by Poincar´e duality that KO 2 1 ^ 2N −n KO [ ](L × L) which is the self-conjugate part of 2
f1 [ 1 ](L × L) 2N −n [ 1 ](L × L) ≈ K K^ 2 2 because n is odd. By the K¨ unneth formula for complex K-theory and Poincar´e duality the torsion subgroup of the latter is isomorphic to f0 [ 1 ](L) ⊗ K f1 [ 1 ](L) ⊕ K f1 [ 1 ](L) ⊗ K f0 [ 1 ](L) ⊕ Tor K f0 [ 1 ](L), K f0 [ 1 ](L) K 2 2 2 2 2 2 with the usual restricted naturality properties. Now K 1 (L) = Z and conjugation acts as ±1 depending upon the class of N mod 4. Therefore each of the first two f0 [ 1 ](L) ≈ summands is given by either the self-conjugate or skew elements of K 2 f0 (L) depending upon N mod 4. It is well known that each of these summands is K
License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use
914
REINHARD SCHULTZ
generated by at most p−1 2 elements. On the other hand, the self-conjugate part of the Tor term is the direct sum g g g g 0 [ 1 ](L), K 0 [ 1 ](L) ⊕ Tor K 0 [ 1 ](L), K 0 [ 1 ](L) Tor K + 2
+ 2
− 2
− 2
where K± [ 12 ] denotes the self-conjugate or skew portion of K[ 12 ] depending upon the subscript. If A and B are finite abelian groups, it is elementary to check that the minimum number of generators for Tor(A, B) is at most the product of the minimum numbers of generators for A and B respectively, and therefore it follows 2 that each summand is generated by at most (p−1) elements. If we combine all 4 these upper estimates with the K¨ unneth formula decomposition we see that the 2 torsion subgroups in question have generating sets with at most p 2−1 elements. 3. Proof of the main theorem By Proposition 1 the theorem is true if n is even, so it suffices to consider the case where n ≥ 5 is odd. We shall prove by induction on s that Posko n (B(Zp × Zp )) s g contains F (bon (B(Zp × Zp ))) for all s satisfying 1 ≤ s ≤ n. If s = 1 this follows from Corollary 5 and the identity e n (B(Zp × Zp ))) = E ∞ (B(Zp × Zp )). F 1 (bo 1,n−1 Assume that the result holds for s−1 where s ≥ 2; if F s−1 = F s , then of course there is nothing to prove, so it suffices to consider the cases where the filtration inclusion is proper. Since this only happens if s is odd, we shall assume this henceforth. Suppose first that s ≤ 2p − 1. In this case Corollary 5 implies that ko s−1 g g F s (bo (bon (B(Zp × Zp ))), n (B(Zp × Zp ))) ⊂ Posn (B(Zp × Zp )) + F s−1 g and since Posko (bon (B(Zp ×Zp ))) by induction, it follows n (B(Zp ×Zp )) contains F that the former also contains F s (same). Suppose next that s ≥ 2p + 1. Let Wn,s,2p−2 be the subquotient appearing in + the statements of Propositions 6 and 7, and let Wn,s,2p−2 be the subspace s s−2p+2 F s−2p+2 (bon (BG)) + Posko (bon (BG)) n (BG) ∩ F (bon (BG))/F
where we write G = Zp × Zp in order to save space. Proposition 6 implies that 2 Wn,s,2p−2 is a Zp vector space, and by Proposition 7 its dimension is at most p 2−1 .
+ ≥ p 2−1 , and On the other hand, Proposition 6 also implies that dim Wn,s,2p−2 + therefore we must have Wn,s,2p−2 = Wn,s,2p−2 . By the definitions of these vector spaces it follows that 2
s−2p+2 g g F s (bo (bon (B(Zp × Zp ))) + Posko n (B(Zp × Zp ))) ⊂ F n (B(Zp × Zp )). ko g Since F s−2p+2 (bo n (B(Zp × Zp ))) is contained in Posn (B(Zp × Zp )) by induction, ko g we therefore have F s (bo n (B(Zp × Zp ))) ⊂ Posn (B(Zp × Zp )) as required.
Acknowledgments This paper is an outgrowth of earlier joint work with Slawomir Kwasik [KS1, KS2]. I am grateful to him for many suggestions and insights regarding this subject. I am also grateful to Jonathan Rosenberg and Stephan Stolz for providing preprints and verbal accounts of their work, and to the Max-Planck-Institut f¨ ur Mathematik
License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use
POSITIVE SCALAR CURVATURE
915
and Tulane University for their hospitality and support during portions of the work on this paper. References [A] [B] [BeS] [Ho] [Hn] [J] [KS1] [KS2] [L1] [L2] [MP] [Rs1] [Rs2]
[Rs3] [RsS] [Rw]
M. Atiyah, K-theory (notes by D. W. Anderson), Addison-Wesley, Reading, Mass., 1989. MR 90m:18011 N. Baas, On the bordism theory of manifolds with singularities, Math. Scand. 33 (1973), 279–302. MR 49:11547b J. C. Becker and R. E. Schultz, Equivariant function spaces and stable homotopy theory, Comment. Math. Helv. 49 (1974), 1–34. MR 49:3994 R. Holzsager, Stable splitting of K(G, 1), Proc. Amer. Math. Soc. 31 (1972), 305–306. MR 44:4744 T. Hungerford, Multiple K¨ unneth formulas for abelian groups, Trans. Amer. Math. Soc. 118 (1965), 257–275. MR 31:229 R. Jung, Ph. D. Thesis, Univ. Mainz, in preparation. S. Kwasik and R. Schultz, Positive scalar curvature and periodic fundamental groups, Comment. Math. Helv. 65 (1990), 271–286. MR 91k:57027 , Fake spherical spaceforms with constant positive scalar curvature, Comment. Math. Helv. 71 (1996), 1–40. CMP 96:07 P. Landweber, K¨ unneth formulas for bordism theories, Trans. Amer. Math. Soc. 121 (1966), 242–256. MR 33:728 , Complex bordism of classifying spaces, Proc. Amer. Math. Soc. 27 (1971), 175–179. MR 42:3782 S. Mitchell and S. Priddy, Stable splittings derived from the Steinberg module, Topology 22 (1983), 285–298. MR 85f:55005 J. Rosenberg, C ∗ -algebras, positive scalar curvature, and the Novikov Conjecture, Publ. Math. I. H. E. S. 58 (1983), 197–212. MR 85g:58083 , C ∗ -algebras, positive scalar curvature, and the Novikov Conjecture–II, Geometric Methods in Operator Algebras (Kyoto, 1983), Pitman Res. Notes Math. Ser. 123, Longman Sci. Tech., Harlow, U. K., pp. 341–374. MR 88f:58140 , C ∗ -algebras, positive scalar curvature, and the Novikov Conjecture–III, Topology 25 (1986), 319–336. MR 88f:58141 J. Rosenberg and S. Stolz, A “stable” version of the Gromov-Lawson conjecture, Contemp. Math., vol. 181, Amer. Math. Soc., Providence, RI, 1995, pp. 405–418. CMP 95:09 R. Rowlett, Free actions of a p-group on two generators, Indiana Univ. Math. J. 26 (1977), 885–889. MR 56:16656
Department of Mathematics, Purdue University, West Lafayette, Indiana 47907 Current address: Department of Mathematics, University of California, Riverside, California 92521 E-mail address:
[email protected]
License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use