arxiv:math/ v1 [math.at] 30 Aug 1999

Transcription

1 arxiv:math/ v1 [math.at] 30 Aug 1999 ON THE COBORDISM CLASSIFICATION OF MANIFOLDS WITH Z/p-ACTION TARAS E. PANOV Abstract. We refer to a actio of the group Z/p p here is a odd prime) o a stably complex maifold as simple if all its fixed submaifolds have the trivial ormal budle. The importat particular case of a simple actio is a actio with oly isolated fixed poits. The problem of cobordism classificatio of maifolds with simple actio of Z/p was posed by V.M. Buchstaber ad S. P. Noviov i The aalogous questio of cobordism classificatio with stricter coditios o Z/p-actio was aswered by Coer ad Floyd. Namely, Coer ad Floyd solved the problem i the case of simple actios with idetical sets of weights eigevalues of the differetial of the map correspodig to the geerator of Z/p) for all fixed submaifolds of same dimesio. However, the geeral settig of the problem remaied usolved ad is the subject of our preset paper. We have obtaied the descriptio of the set of cobordism classes of stably complex maifolds with simple Z/p-actio both i terms of the coefficiets of uiversal formal group law ad i terms of the characteristic umbers, which gives the complete solutio to the above problem. I particular, this gives a purely cohomological obstructio to the existece of a simple Z/p-actio or a actio with isolated fixed poits) o a maifold. We also review coectios with the Coer Floyd results ad with the well-ow Stog Hattori theorem. 1. Itroductio By a stably or wealy almost) complex maifold we mea a orietable differetiable maifold with complex structure i its stable taget budle the mai object of study i the complex cobordism theory. The fixed poit set of a smooth actio of Z/p o a differetiable maifold M i.e. the fixed poit set of a diffeomorphism of a odd prime period) is decomposed ito the sum of coected fixed submaifolds of eve codimesios cf. [CF1]). The actio of Z/p iduces a represetatio of Z/p i the taget space T q M at each fixed poit q M. This represetatio is decomposed ito the sum of o-trivial oe-dimesioal complex represetatios of Z/p ad the trivial represetatio i the taget subspace to the fixed submaifold cotaiig q. This decompositio is same for all fixed poits withi the same coected fixed submaifold. Each o-trivial oe-dimesioal represetatio of Z/p is determied by a elemet x Z/p), x 0 mod p the geerator of Z/p acts by multiplicatio by e 2πix /p ). We refer to x 1,...,x m as the weights of the Z/p-actio o M correspodig to the fixed submaifold here m equals half the codimesio of the fixed submaifold i M). Defiitio 1.1. We refer to a actio of Z/p o a stably complex maifold M as simple if all the fixed submaifolds have trivial ormal budle. A simple actio is called strictly simple, if the sets of weights for the actio are idetical for all fixed submaifolds of the same dimesio. The good example of a simple actio is a actio with oly isolated fixed poits. I the preset article we obtai the full classificatio of complex cobordism classes σ Ω U cotaiig a maifold with simple actio of Z/p. The descriptio is give Partially supported by Russia Foudatio of Fudametal Research grat o

2 2 TARAS E. PANOV both i terms of the coefficiets of uiversal formal group law of geometric cobordisms theorem 3.1) ad i terms of the characteristic umbers theorem 4.2, corollary 4.3). Our corollary 4.3 ca be also viewed as a cohomological obstructio to the existece of a simple Z/p-actio or a actio with isolated fixed poits) o a maifold. The classificatio problem for strictly simple actios of Z/p was completely solved by Coer ad Floyd i [CF1]. A strictly simple actio from defiitio 1.1 was called i [CF1] just a actio of Z/p with fixed poit set havig the trivial ormal budle.) Note, that eve i the special case of a actio with fiite umber of isolated fixed poits the otios of simple ad strictly simple actio differ see examples below). The Coer Floyd results follow from the results of our paper. At the same time, it seems to us that the approach used i [CF1] does ot allow to obtai our more geeral result. The applicatios of the formal group law theory to Z/p-actios were firstly discussed i the pioeer article [N1]. The formal group law theory itself arises i topology due to so-called formal group law of geometric cobordisms. The problem solved i our article was firstly formulated i [BN]. There was obtaied the formula expressig the mod p cobordism class of a maifold M with a simple actio of Z/p i terms of the cobordism classes of fixed submaifolds ad the weights of the actio see formula 9)). Actually, the first results o the problem were obtaied eve earlier, i [K]. Particularly, there was proved the statemet metioed i our article as corollary 4.4. I [K], as well as i our wor, the set of cobordism classes of maifoldswith asimple Z/p-actioishadled asthe Ω U -modulespaedbycertai coefficiets of the power system determied by the formal group law of geometric cobordisms. Here Ω U is the complex cobordism rig of poit, which is isomorphic to the polyomial rig Z[a 1,a 2,...], dega i = 2i, as it was show by Milor ad Noviov.) However, our ew choice of geerators for the above Ω U -module allowed us to preset the aswer for the classificatio problem i terms of the characteristic umbers, which of course is much more explicit. 2. The rig U Z/p) of equivariat cobordisms with free Z/p-actio ad the Coer Floyd equatios Now, let us start with a stably complex maifold M with a simple actio of Z/p. Let the fixed submaifolds represet the cobordism classes λ j Ω U ad have weights x j) ) i their trivial) ormal budles. Here 2m j + dimλ j = dimm, x j) ) Z/p), = 1,...,m j. These data defie the cobordism class of M i Ω U up to elemets from pω U cf. [BN]). This follows from the fact that the cobordism class of a maifold with free Z/p-actio i.e. without fixed poits) belogs to pω U, ad vice versa, ay cobordism class from pω U ca be represeted by a maifold with free actio of Z/p. Let BZ/p deote the classifyig space for the group Z/pthe ifiite-dimesioal les space). To each fixed submaifold of the cobordism class λ j Ω U with weights x j) ), 2m j +dimλ j = dimm, oe ca associate a elemet α 2mj 1x j) ) U 2mj 1BZ/p) called the Coer Floyd ivariat cf. [N1]). To defie it we metio that the bordism group U BZ/p) is isomorphic to the group of free Z/p-equivariat bordisms cf. [CF1]). This isomorphism taes a equivariat bordism class represeted by a maifold N with free actio of Z/p to the bordism class i U BZ/p) determied by the classifyig map N/Z/p) BZ/p. The α 2mj 1x j) ) is defied as the equivariat bordism class of the uit sphere i the fibre of trivial) ormal

3 COBORDISM CLASSIFICATION OF MANIFOLDS WITH Z/p-ACTION 3 budle to λ j. If we write this uit sphere as { z1,...,z mj ) C mj : z z mj 2 = 1 }, the the geerator of Z/p acts o it as z 1,...,z mj ) e 2πixj) 1 /p z 1,...,e 2πixj) m j /p zmj ). The complex cobordism rig of CP is Ω U [[v]], where v = c U 1 ζ) is the first cobordism Cher class of the uiversal lie budle ζ over CP this follows i the stadard way from the Atiyah Hirzebruch spectral sequece i cobordisms). There is a caoical budle f : BZ/p CP with fibre S 1. The complex cobordism rig of BZ/p is U BZ/p) = Ω U [[u]]/[u] p = 0) cf. [BN]), where u = f v) ad [u] p = pu+... is the p-th power i the uiversal) formal group law of geometric cobordisms a series with coefficiets i Ω U ). We have D α i 1,...,1) ) = u i, where D is the Poicaré Atiyah duality operator from U L 2 1 p ) to U L 2 1 p ) here L 2 1 p is the stadard 2 1)-dimesioal les space). It follows that the Ω U -module Ũ BZ/p) is geerated by the elemets α 2i 1 1,...,1) with the followig relatios: 0 = [u] p 1) u α 2i 11,...,1). Here deotes the cobordism -product, ad 2) It was show i [N2] that u α 2i 1 1,...,1) = α 2i ) 1 1,...,1). u ) α 2 1 x 1,...,x ) = α 2 1 1,...,1). [u] xj j=1 Here ad below [u] deotes the -th power i the formal group law of geometric cobordisms. Addig the elemets α 2 1 x 1,...,x ), x j 1 mod p, to the set of geerators for the module Ũ BZ/p) ad addig relatios 2) to relatios 1) we obtai the Ω U Z p) -free resolutio of the module Ũ BZ/p) here Z p) is a rig of ratioal umbers whose deomiators are relatively prime with p, i.e. the rig of iteger p-adics): 0 F 1 F 0 Ũ BZ/p) 0. Here F 0 is the free Ω U Z p) -module spaed by α 2 1 x 1,...,x ), ad F 1 is the free Ω U Z p) -module spaed by the elemets u ) ax 1,...,x ) = α 2 1 x 1,...,x ) α 2 1 1,...,1), [u] xj a = [u] p u α 2 11,...,1), see formulae 1) ad 2)). Hece, a simple actio of Z/p o M gives rise to a certai relatio betwee the elemets α 2 1 x 1,...,x ) i Ũ BZ/p). Sice ay elemet from Ũ BZ/p) correspods to a bordism class of maifold with free Z/p-actio, the coverse is also true: ay relatio i Ũ BZ/p) of the form λ j α 2mj 1x j) 1,...xj) m j ) = 0, λ j Ω U, 2m j +dimλ j = dimm, j is realized o a certai maifold M with a simple actio of Z/p whose cobordism class i Ω U is uiquely determied up to elemets from pω U. This maifold M ca be costructed as follows. The relatio i Ũ BZ/p) gives us a maifold with free j=1

4 4 TARAS E. PANOV Z/p-actiowhose boudaryis the uio ofmaifolds ofthe form λ j S 2mj 1. The we glue covers of the form λ j D 2mj to the boudary to get the closed maifold M, which realizes the above relatio. Therefore, oe ca defie the realizatio homomorphism 3) Φ : F 1 Ω U /pω U = Ω U Z/p. It taes a relatio betwee the elemets α 2 1 x 1,...,x ) Ũ BZ/p) to the mod p cobordism class of the maifold that realizes this relatio as described above. The Coer Floyd results cf. [CF1], see also [K]) give us the followig values of Φ o the basis relatios from F 1 : Φ ax 1,...,x ) ) u = mod p Ω U /pω U, [u] i=1 xi [u]p Φa ) = mod p Ω U /pω U, u where stads for the coefficiet of u. Followig [BN], let us cosider the coefficietrigλ1) Ω U ofthe powersystem[u] i.e.the subrigofω U geerated by the coefficiets of the series [u] for all > 0), ad its positive part Λ + 1), cosistig of elemets of o-zero degree i Ω U. It follows that ImΦ = Λ1) Z/p, where Λ1) = Λ + 1) Ω U is the Ω U -module spaed by Λ + 1). The homomorphism Φ lifts to the homomorphism F 1 Λ1) Z p), or to the homomorphism F 1 Λ p 1) Z p), where Λ p 1) is the Ω U -module spaed by Λ + 1) ad p. Both these homomorphisms will be deoted by the same letter Φ. Thus, the problem of descriptio of cobordism classes of maifolds with a simple Z/p-actio is equivalet to the problem of descriptio of Ω U Z/p-module Λ1) Z/p, or Ω U Z p) -modules Λ1) Z p), Λ p 1) Z p). These modules are ideals i Ω U Z/p ad Ω U Z p) correspodigly. 3. The geerator sets for Ω U Z/p-module Λ1) Z/p ad Ω U Z p -modules Λ1) Z p, Λ p 1) Z p. Let us write [u] = u+ 1 α ) u +1, i.e. α ) Ω 2 U are the coefficiets of the power system. The module Λ1) Z p) is therefore geerated by α ), > 1, 1, over Ω U Z p). The followig theorem shows that the geerator set ca be tae i such a way that there is oly oe geerator i each dimesio. Theorem 3.1. Oe ca tae the followig coefficiets α Ω 2 U as geerators of the Ω U Z p) -module Λ1) Z p) : { α p 1), if is ot divisible by p 1, 4) α = α p), if is divisible by p 1, = 1,2,..., Here p 1 is ay prime geerator of the cyclic group Z/p). Remar. It follows from the Dirichlet theorem that oe ca choose a prime geerator p 1 of the cyclic group Z/p).

5 COBORDISM CLASSIFICATION OF MANIFOLDS WITH Z/p-ACTION 5 Proof of theorem 3.1. First, let us cosider the coefficiets α r) for o-prime r. So, let r = p 1 q with prime p 1. Sice [x] r = [[x] p1 ] q, we have: rx+ α r) x+1 = q[x] p1 + = p 1 qx+q α q) [x] p 1 ) +1 x +1 + α q) p 1 x+ m m x m+1) +1. Taig the coefficiet of x r+1 i both sides of the above idetity, we get α r) = Pαp1) 1,...,,αq) 1,...,αq) ), where P is a polyomial with iteger coefficiets ad zero costat term). Hece, we ca write α r) = λ λ α p1) +µ 1 α q) µ α q), λ i,µ i Ω U. Therefore, the coefficiets α r), r = p 1 q ca be excluded from the set of geerators for the Ω U Z p) -module Λ1) Z p). Now, if q is still ot prime, we repeat the above procedure util we arrive at a set of geerators cosistig oly of coefficiets with prime p 1. Now, what we eed to show is that this set of geerators ca still be reduced to the set 4). Note, that for ay prime) geerator p 1 of the cyclic group Z/p) oe ca tae the coefficiet 1 as a geerator of Λ1) Z p) i the dimesio 2 i.e. i Ω 2 U ). Ideed, let p 2 be ay prime. The [[x] p2 ] p1 = [[x] p1 ] p2. Hece, 5) p 1 p 2 x+p 1 α p2) x+1 + = p 2 p 1 x+p 2 x+1 + p 2 x+ ) +1 α m p2) xm+1 m α p2) p 1 x+ m m xm+1 ) +1. Taig the coefficiet of x 2 i both sides of the above idetity, we get p 1 α p2) 1 + p = p p 2 1α p2) 1. Hece, p 1 p 2 1)α p2) 1 = p 2 p 2 2) 1. Sice p 1 is a geerator of Z/p), the elemet p 1 p 2 1 is ivertible i Z p). So, α p2) 1 = λ 1 with λ Z p) Ω U Z p). Thus, for ay prime p 2 p 1 the coefficiet α p2) 1 is a multiple of 1, ad that is why it ca be excluded from the set of geerators for Λ1) Z p). Now, cosider the coefficiet system α 1,...,α,... itroduced i the theorem. That is, α i is the coefficiet of x i+1 i the series [x] p1 if i is ot divisible by p 1, ad is the coefficiet of x i+1 i the series [x] p if i is divisible by p 1.) By iductio, we may suppose that this coefficiet system is a set of geerators for Λ1) Z p) i all dimesios up to 2 1). Hece, for ay q ad 1 oe has 6) α q) = λ q) 1 α λ q) α with λ q) i Ω U Z p). We are goig to prove that α q) ca be also decomposed i such a way. It follows from the above argumet that we ca cosider oly prime q. First, suppose that is ot divisible by p 1. Hece, α = α p1), where p 1 is a geerator of Z/p). Let p 2 be ay prime. Taig the coefficiet of x +1 i both sides of 5), we obtai p 1 α p2) +p +1 2 α p1) +µ 1 α µ 1 α 1 = p 2 α p1) +p +1 1 α p2) +ν 1 α ν 1 α 1

6 6 TARAS E. PANOV Here we expressed coefficiets, α p2), <, as a liear combiatios of geerators α 1,...,α 1, i.e. µ i,ν i Ω U Z p). Therefore, 7) p 1 1 p 1)α p2) = p 2 p +1 2 ) +ν 1 µ 1 )α ν 1 µ 1 )α 1. Sice p 1 is a geerator of Z/p) ad is ot divisible by p 1, we deduce that p 1 1 p 1) is ivertible i Z p). Thus, it follows from 7) that α p2) is a liear combiatio of α 1,...,α 1 ad α = α p1) with coefficiets from Ω U Z p). Now, suppose that is divisible by p 1, i.e. α = α p). Before we proceed further, let us mae some prelimiary remars. It is well ow Milor, Noviov), that the complex cobordism coefficiet rig Ω U is a polyomial rig: Ω U = Z[a 1,a 2,...,a,...], a Ω 2 U. The rig Ω U is the coefficiet rig of the uiversal) formal group law of geometric cobordisms cf. [Q], [BN]). This formal group law has a logarithm series with coefficiets i Ω U Q, amely gu) = u + CP +1 u+1, cf. [N1]. Hece, the coefficiet rig of the logarithm is Ω U Z) := Z[b 1,b 2,...,b,...], where b = CP +1. It is well ow that this rig is the maximal subrig of Ω U Q o which all cohomological characteristic umbers tae iteger values. Oe ca choose geerator sets {a i }, {b i } for the rigs Ω U, Ω U Z) such that the iclusio ι 0 : Ω U Ω U Z) is as follows: { p b ι 0 a i ) = i, if i = p 1 for some > 0, b i otherwise. Let B + be the set of elemets of degree 0 i the rig B := Ω U Z). The B + ) 2 cosists of elemets i Ω U Z) that are decomposable ito the product of two otrivial factors. The map ι 0 : Ω U Ω U Z) taes the coefficiets α p) of the series [x] p to the elemet of the form p p +1 )b +B + ) 2 ) cf. [B2, p. 22]). Therefore, the coefficiets α p) p 1 ca be tae as multiplicative geerators of Ω U Z p) i dimesios p 1. I other dimesios l p 1 we have α p) l pω U, i.e. α p) l is divisible by p i Ω U. Now, let us retur to the proof of theorem 3.1. Let us rewrite the idetity 5) substitutig p for p 1 : pp 2 x+p m α p2) m x m+1 + m = p 2 px+p 2 m ) m+1 α p) m p 2 x+α p2) 1 x 2 +α p2) 2 x α p) m xm+1 + m Taig the coefficiet of x +1 i both sides, we get m+1. α p2) m px+α p) 1 x2 +α p) ) x3 pα p2) +p +1 2 α p) + α p) m p 2x+α p2) 1 x 2 +α p2) 2 x ) m+1 m< = p 2 α p) +p +1 α p2) + m< +1 α p2) m px+α p) 1 x2 +α p) 2 x3 +...) m+1 where +1 deotes the coefficiet ofx +1. Let us write agaithe coefficiets α p2) m for m < as liear combiatios of geerators α 1,...,α m. Sice α p) m pω U for +1,

7 COBORDISM CLASSIFICATION OF MANIFOLDS WITH Z/p-ACTION 7 m p 1, the last idetity ca be rewritte as 8) p1 p )α p2) = p 2 1 p 2)α p) +pµ 1 α µ 1 α 1 ) ) p α p) p p 1 2 x+α p2) 1 x 2 +α p2) 2 x :p 1< m< +1 ) m+1 α m p2) α p) p 1 xp +α p) p 2 1 xp α p) p 1 xp +... for some µ i Ω U Z p). The last two summads i the above formula ca be rewritte as α p) p 1 ν 1 +α p) p 2 1 ν α p) p 1 ν, where = [log p +1)], ν i Ω U. The coefficiets α p) p i 1 are multiplicative geerators of Ω U Z p) i the dimesios p i 1. Sice Ω U Z p) is a polyomial rig, oe has ν i pω U Z p), i.e. ν i is divisible by p i Ω U Z p). Let ν i = pκ i with κ i Ω U Z p). The 8) gives p1 p )α p2) = p 2 1 p 2 )αp) +pµ 1α µ 1 α 1 ) +1 +pα p) p 1 κ 1 +α p) p 2 1 κ α p) p 1 κ ), where = [log p +1)], µ i,κ i Ω U Z p). Sice is divisible by p 1, it follows that 1 p 2 is divisible by p for p 2 p). Hece, the whole above idetity is divisible by p. Dividig it by p ad metioig that 1 p is ivertible i Ω U Z p), we obtai that α p2) is decomposable as α p2) = p 21 p 2) p1 p ) αp) +λ 1 α λ 1 α 1 with λ i Ω U Z p). Thus, settig λ = p 21 p 2 ) p1 p ) Ω U Z p), we get a decompositio of type 6) for α p2) the proof of theorem 3.1. ote that α = α p) ), which completes Corollary 3.2. Let p 1 be a prime geerator of the cyclic group Z/p). There is the followig set of geerators for the Ω U Z p) -module Λ p 1) Z p) : p, if = 0, α = α p1), if is ot divisible by p 1, α p) p 1, if = p 1, = 1,2,... The Ω U Z/p-module Λ1) Z/p has the followig geerator set: { α p 1), if is ot divisible by p 1, α = α p) p 1, if = p 1, = 1,2,... Remar. I both cases there o geerators i the dimesios divisible by p 1 other tha p 1. Proof. Cosider the set of geerators for Λ1) Z p) costructed i theorem 3.1. If is divisible by p 1 ad p 1, the elemets α are divisible by p, i.e. lie i pω U. All other α do ot belog to pω U.

8 8 TARAS E. PANOV 4. Cohomological descriptio of the set of cobordism classes of maifolds with a simple actio of Z/p ad some corollaries I this sectio we use the previously obtaied descriptio of the Ω U Z p) - module Λ p 1) Z p) to prove the result aalogous to the well-ow Stog-Hattori theorem [CF2]. Namely, we will describe the set of cobordism classes of maifolds with a simple Z/p-actio i terms of the characteristic umbers. As it was show i [BN], the homomorphism Φ : F 1 Λ p 1) Z p) see 3) ad followig discussio) ca be exteded to a homomorphism γ p : F 0 Ω U Z) Z p) such that γ p α2 1 x 1,x 2,...,x ) ) u ) pu =, [u] j=1 xj [u] p where α 2 1 x 1,x 2,...,x ) F 0 is the Coer Floyd ivariat see 2)). I particular, γ p α2 1 1,...,1) ) pu =. [u] p Hece, for ay simple actio of Z/p o M 2 the mod p cobordism class of M 2 ca be expressed i terms of the cobordism classes λ j Ω U of fixed submaifolds ad the weights x j) Z/p) i the correspodig trivial) ormal budles as follows: 9) [M 2 ] j λ j γ p x j) ) mod pω U. Now, the followig questio arises: which elemets of the form λ j γ p x j) ) Ω U Z) Z p) j are cobordism classes of maifolds with a simple Z/p-actio? This questio was firstly posed i [BN] ad is aalogous to the Milor Hirzebruch problem of describig the set of elemets i Ω U Z) that are cobordism classes of stably complex) maifolds. While the Milor Hirzebruch problem is solved by the Stog Hattori theorem, the aswer to the above questio is give i our theorem 4.2. We will eed the followig defiitio. Defiitio 4.1. Let ω = l i=1 i i), i, i Z, i > 0, i 0, be a partitio of = ω = i i i i.e. is decomposed ito the sum of positive itegers, ad the umber i eters this sum i times). We say that the partitio ω is divisible by p 1, if all i such that i 0 are divisible by p 1 i.e. all the summads are divisible by p 1; obviously, such partitios exist oly for those divisible by p 1). We say that the partitio ω is o p-adic, if for ay j > 0 oe has p j 1 = 0 i.e. there o summads of the form p j 1). For each partitio ω = l i=1 ii) let us put ω = i i i ad ω = i i i.e. ω is a partitio of ω with umber of summads equals ω ). A partitio ω defies a characteristic class s ω as follows. Let us cosider the smallest symmetric polyomial i x 1,...,x ω cotaiig the moomial x 1 x 1 )x x ) x l ω l +1 xl ω ). This polyomial defies a characteristic class i a usual way cf. [S]); i order to expressititermsofthechercharacteristicclassesoeshouldwriteitasapolyomial i the elemetary symmetric fuctios σ i, ad the substitute c i for σ i. Give a 2-dimesioal stably complex maifold M 2, oe ca defie the cohomological characteristic umbers s ω M 2 ) := s ω TM 2 )[M 2 ] Z for all partitios ω such that ω =. The K-theory characteristic umbers s ω M 2 ) Z cf. [CF2]) are

9 COBORDISM CLASSIFICATION OF MANIFOLDS WITH Z/p-ACTION 9 defied for all partitios ω such that ω ; they coicide with the cohomological umbers for ω =, while for ω = 0 the correspodig K-theory characteristic umber is the Todd geus. Theorem 4.2. A elemet σ Ω U Z) 2 Z p) belogs to the Ω U Z p) -module Λ p 1) Z p) ad therefore, is the cobordism class of a maifold with a simple Z/pactio, if ad oly if all its K-theory characteristic umbers s ω σ), ω = i i i), ω = i i i, lie i Z p), ad for all partitios ω divisible by p 1 the cohomological characteristic umbers s ω σ), ω =, are zero modulo p. Proof. a) Necessity. Let σ Λ p 1) Z p). Note that the set of geerators for the Ω U Z p) -module Λ p 1) Z p) describedicorollary3.2hasthefollowigproperty:eachofitselemets α i Λ p 1) Z p) is a multiplicative geerator of Ω U Z p) i dimesio 2i. However, this set of geerators for Λ p 1) Z p) has o elemets i dimesios 2i such that i is divisible by p 1 ad i p 1. So, we add ay geeratorsα i i these missig dimesios to get the whole set of multiplicative geerators for Ω U Z p). Now we have Ω U Z p) = Z p) [α 1,α 2,...]. Sice σ Λ p 1) Z p) Ω U Z p), it follows from the Stog Hattori theorem that all the K-characteristic umbers s ω σ), ω, lie i Z p). If is ot divisible by p 1, the there are o partitios ω divisible by p 1. Now, let = mp 1). Oe ca write σ as a homogeeous polyomial of degree 2mp 1) i α i : 10) σ = r ω α ω = r mp 1) α mp 1) +..., ω =mp 1) where α ω = α 1 1 α2 2 α l l for ω = i i i). It follows from the descriptio of Λ p 1) Z p) give i corollary3.2that σ Λ p 1) Z p) if ad oly if the coefficiets r ω i the decompositio 10) are zero modulo p for all o p-adic ad divisible by p 1 partitios ω. Cosider the Cher Dold character ch U : U ) H ;Ω U Q) i cobordisms [B1]: ch U v) = t+ i 1β i t i+1. Here v = c U 1 ζ) U2 CP ) is the first cobordism Cher class of the uiversal lie budle, t = c H 1 ζ) H 2 CP ) is the same Cher class i cohomologies, ad the coefficiets β i are from Ω U Z). The for ay σ Ω 2 U holds 11) σ = s ω σ)β ω, ω = where β ω = β 1 1 β2 2 β l l for ω = i i i). The coefficiet rig Z[β 1,β 2,...] of the Cher Dold character coicides with B = Ω U Z) cf. [B1]). Hece, { ei β i +B + ) 2 ) if i p 1, α i = pe i β i +pb + ) 2 ) if i = p 1 with ivertible e i Z p). Now, let us write σ as a homogeeous polyomial i β i. Sice all β i Ω U Z) have iteger cohomological characteristic umbers, to prove the ecessity of the theorem it suffices to show that the coefficiet of β ω i the decompositio of σ is zero modulo p if the partitio ω = i i i) is divisible by p 1. This coefficiet is the homological characteristic umber s ω σ) see 11)),

10 10 TARAS E. PANOV which ca be decomposed as follows see 10)): 12) s ω σ) = r ω s ω α ω ), ω :ω ω where ω ω meas that ω refies ω. This coefficiet is divisible by p. Ideed, if the partitio ω = i i i) is divisible by p 1 ad o p-adic, the r ω is zero modulo p, sice σ Λ p 1) Z p) see above). If there are some summads of the form p 1 i the partitio ω, the α ω pω U Z) Z p), i.e. s ω α ω ) is divisible by p. Ayway, the whole sum i 12) is divisible by p. The ecessity of the theorem is proved. b) Sufficiecy. Sice all the K-characteristic umbers of σ are i Z p), it follows from the Stog Hattori theorem [CF2] that σ Ω U Z p). Besides, suppose that the characteristic umbers s ω σ) are zero modulo p for all divisible by p 1 partitios ω = i i i), ω =. Cosider agai the costructed above geerator set α 1,α 2,... for Ω U Z p). I order to prove that σ Λ p 1) Z p) oe eeds to show that for every divisible by p 1ad o p-adicpartitio ω = i i i) the coefficiet r ω i decompositio 10) is zero modulo p. Let ω be such a partitio. We ca rewrite idetity 12) as follows: 13) s ω σ) = r ω s ω α ω )+ r ω s ω α ω ). ω ω,ω ω Oe ca assume by iductio that if a partitio ω such that ω ω, ω ω, ω = mp 1), is o p-adic, the the coefficiet r ω is divisible by p. If the partitio ω = i i i) is ot o p-adic i.e. there some summads of the form p 1), the s ω α ω ) is divisible by p. Ayway, the secod summad i the right had side of 13) is zero modulo p. The left had side of 13) is zero modulo p by assumptio. Sice ω is o p-adic, we have α ω = e β ω +... with ivertible e Z p). So, s ω α ω ) is ot divisible by p. Thus, it follows from 13) that r ω is zero modulo p. Corollary 4.3. A elemet σ Ω U is the cobordism class of a maifold with Z/p-actio whose fixed poit set has the trivial ormal budle if ad oly if the cohomological characteristic umbers s ω σ), ω =, are zero modulo p for all divisible by p 1 partitios ω. Corollary 4.4. Each cobordism class of dimesio 4p 6 cotais a maifold M with a simple actio of Z/p. This result was firstly proved i [K]. I dimesio = 4p 4 there exist a maifold e.g. CP 2p 2 ) whose cobordism class does ot cotai a maifold with a simple actio of Z/p. I Coer ad Floyd s boo [CF1] it was show by the methods ot ivolvig the formal group theory, that a cobordism class σ Ω U cotais a maifold with a strictly simple actio of Z/p see defiitio 1.1) if ad oly if all the characteristic umbers σ ω σ) are zero modulo p. More precisely, it was show there that the set of cobordism classes of maifolds with a strictly simple Z/p-actio coicides with the Ω U -module spaed by the set Y 0 = p,y 1,Y 2,..., where Y i Ω pi 1 U are the so-called Milor maifolds. These maifolds Y i are uiquely determied by the followig coditios: s p i 1)Y i ) = p, ad s ω Y i ) is divisible by p for ay ω. For our purposes we may cosider Ω U Z p) -modules istead of Ω U -modules. Hece, oe could taethe elemets α p) p i 1 from corollary3.2 asrepresetativesofthe cobordism classesofy i.now,weseethattheω U Z p) -moduleω U [p,y 1,Y 2,...] Z p) studied

11 COBORDISM CLASSIFICATION OF MANIFOLDS WITH Z/p-ACTION 11 by Coer ad Floyd is icluded ito our Ω U Z p) -module Λ p 1) Z p), ad the set of geerators for the former module is a subset of the geeratorset for the latter oe. Fially,weotethatifacertaicobordismclassσ Ω U cotaisarepresetative M with astrictlysimpleactioofz/p,theitisotecessarilytruethataysimple actio of Z/p o M is strictly simple. Ideed, let us cosider two simple actios, first o M 1 = CP p 1 with geerator ρ Z/p actig as ρz 1 :... : z p ) = z 1 : ρz 2 :... : ρ p 1 z p ) this simple actio with p fixed poits is strictly simple as well), ad secod o M 2 = CP 1, ρz 1 : z 2 ) = z 1 : ρz 2 ) this simple actio with 2 fixed poits is ot strictly simple). The oe has two simple Z/p-actios o M = M 1 M 2 : ρa,b) = ρa,b) ad ρa,b) = a,ρb), a CP p 1, b CP 1. The first oe is strictly simple, while the secod oe is ot. The author is grateful to Prof. V. M. Buchstaber for useful recommedatios, stimulatig discussios ad attetio to the research. Refereces [B1] V. M. Buhshtaber, The Cher Dold character i cobordisms. I, Mat. Sbori ), o. 4, ; Eglish trasl. i Math. USSR, Sbori ), [B2] V. M. Buhshtaber, Characteristic classes i cobordisms ad topological applicatios of oe-valued ad two-valued formal group law theories, Sovremeye Problemy Matematii ), i Russia). [BN] V. M. Buhshtaber ad S. P.Noviov, Formal groups, power systems ad Adams operators, Mat. Sbori ), o. 1, ; Eglish trasl. i Math. USSR, Sbori ), [CF1] P. E. Coer ad E. E. Floyd, Differetiable periodic maps, Spriger-Verlag, Berli, [CF2] P. E. Coer ad E. E. Floyd, The relatio of cobordism to K-theories, Lecture Notes i Math., Spriger-Verlag, Berli-Heidelberg-New Yor, [K] G. G. Kasparov, Ivariats of classical les maifolds i cobordism theory, Izvestiya Aad. Nau SSSR Ser. Mat ), o. 4, ; Eglish trasl. i Math. USSR, Izvestiya ), [N1] S. P. Noviov, The methods of algebraic topology from the viewpoit of cobordism theory, Izvestiya Aad. Nau SSSR Ser. Mat ), o. 4, ; Eglish trasl. i Math. USSR, Izvestiya ), [N2] S. P. Noviov, Adams operators ad fixed poits, Izvestiya Aad. Nau SSSR Ser. Mat ), o. 6, ; Eglish trasl. i Math. USSR, Izvestiya ), [Q] D. Quille, O the formal group laws of uorieted ad complex cobordism theory, Bull. Amer. Math. Soc ), o. 6, [S] R. E. Stog, Notes o cobordism theory, Priceto Uiv. Press, Priceto, NJ, Departmet of Mathematics ad Mechaics, Moscow State Uiversity, Moscow, Russia address: tpaov@mech.math.msu.su