棱柱上的小覆盖的等变配边分类.pdfVIP

第37卷第5期 数 学 进 展 VO1．37．No．5 2oos~io月 ADVANCESINMATHEMATICS 0ct．．2008 CllaaSsSslifi11ccationofSmallCovers OverPrismsup toEquivariantCobordism w u Chenyan (Department Mathematics，ColumbiaUniversity，NewYork，NY10027，USA) Abstract：Forasmallcoveroverapolytope，itsequivariantcobordism classisdetermined by thetangentialrepresentationset．Byreducingthetangentialrepresentation setofsmall coversoverprismstoaprimeform，thisarticledeterminestheclassification ofsmalIcovers overprismsuptoequivariantcobordism． Keywords：cobordism；tangentialrepresentation；smallcover：prism MR(2000、subjectclassification：57R85；05C10／CLCnumber：O152；O189 Documentcode：A ArticleID：1000—0917(2008)05—0584-07 Thenaturalactionoffz2)”on iscalledthestandardrepresentation．Theorbitspaceis ． Supposethat(Z2)actsonaclosedn-manifoldM．Ifthe(z2)-actionislocallyisomorphic tothestandardrepresentationandtheresultingorbitspaceishomeomorphictoann-dimensional simpleconvexpolytopeP ，M iscalledasmallcover．Let beak-faceofP and7r：M P theprojectionmap．Foranyx∈7r一(int( ))，theisotropygroupatxisindependentofthe choiceofx．Thuswecandefinetheisotropygroupforaface．Forthefacets(codimension-one faces)ofP ，theisotropygroupisarank—onesubgroup．Thusitcanberepresentedbyaprimitive vectorv∈(Z2)．Henceweobtainacharacteristicfunction ： (P)— (z2)，where (P”) isthesetoffacetsofP ．LetP beavertexofP anddenotethesetoffacetsmeetingatP a8 (p)．Itisobviousthatthevectorsof{A(F)IF∈ (p))areZ2一linearlyindependent，thatis， theyofrmabasisof(z2)”．Theseresultsappearedin[1]． LetG=(z2)andP0thetrivialelementinHom(G，z2)．TheirreduciblerealG—representa- tionsareallone—dimensionalandcorrespondtoallelementsinHom(G，z2)．From [2Jjweknow thatforasmallcover，(M，)，theG—representationat