UBC Theses and Dissertations

UBC Theses Logo

UBC Theses and Dissertations

Equivariant bordism and G-bundles Grguric, Izak 2008

Your browser doesn't seem to have a PDF viewer, please download the PDF to view this item.

Notice for Google Chrome users:
If you are having trouble viewing or searching the PDF with Google Chrome, please download it here instead.

Item Metadata

Download

Media
24-ubc_2009_spring_grguric_izak.pdf [ 1.19MB ]
Metadata
JSON: 24-1.0067181.json
JSON-LD: 24-1.0067181-ld.json
RDF/XML (Pretty): 24-1.0067181-rdf.xml
RDF/JSON: 24-1.0067181-rdf.json
Turtle: 24-1.0067181-turtle.txt
N-Triples: 24-1.0067181-rdf-ntriples.txt
Original Record: 24-1.0067181-source.json
Full Text
24-1.0067181-fulltext.txt
Citation
24-1.0067181.ris

Full Text

Equivariant Bordism and C-bundles by Izak Grguric B.Sc., The University of British Columbia, 2000 M.Sc., The University of British Columbia, 2002 A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY in The Faculty of Graduate Studies (Mathematics) THE UNIVERSITY OF BRITISH COLUMBIA (Vancouver) December, 2008 © Izak Grguric 2008 Abstract Let G be the cyclic group of 4 elements and H the subgroup of G of order 2. We study the actions of G on manifolds modulo the equivariant bordism relation by studying the equivariant bordism relation on G-vector bundles; specifically, we focus on G-vector bundles such that G action is free away from the zero section, and the isotropy group of each point in the base is equal to H. We obtain a complete set of characteristic numbers that deter mines when such a G-vector bundle is nulibordant. Using this result, we obtain a geometric splitting of the bordism classes of these bundles into ge ometrically simpler components. Furthermore, we determine a complete set of characteristic numbers for the bordism ring of G-manifolds. Finally, we generalize our results to a larger family of finite groups G. 11 Table of Contents Abstract Table of Contents List of Figures II 111 V Acknowledgements vi Dedication 1 Introduction Vu 1 2 Background 2.1 Singular G-bordism 2.1.1 Isotropy Restrictions 2.1.2 Free G-bordism 2.1.3 Bordism homology theory 2.2 G-vector bundles 2.2.1 Cyclic groups 2.2.2 Classifying spaces 2.3 G-bundle bordism 2.3.1 (Zr;_i)-bundle bordism 559 10 10 10 13 1415 17 3 Characteristic Numbers 3.1 Motivation 3.2 (Z4;2)-bundle bordism 4 An 4.1 4.2 4.3 26 26 27 33 3.3 Characteristic numbers for (Z4;2)-bundle bordism 3.4 Characteristic numbers for -bordism Application: Splitting Motivation Smith homomorphism, extensions, and restrictions The bundle splitting results 19 19 20 22 24 ‘U Table of Contents 5 More General Groups 37 5.1 Characteristic numbers for more general groups 37 5.2 Smith constructions, extensions, restrictions for G = Z2 . . 40 5.3 The bundle splitting for C = Z2r 43 6 Proofs of Bundle Results 47 6.1 Characteristic numbers 47 6.1.1 The proof of Theorem 3.1 47 6.1.2 The proof of Theorem 3.3 52 6.2 Splitting 53 6.2.1 The proof of Proposition 4.15 53 Bibliography 59 iv List of Figures 2.1 A bordism equivalence 7 2.2 Bordism is an equivalence relation 7 4.1 Surgery along U 32 V Acknowledgements The creation of this thesis would not have happened without the support, friendship, and infinite patience of my supervisor Laura Scull. She was my guide through the world of equivariant algebraic topology; Laura has never failed to rescue me from each and every quick-sand pit I have stumbled into. I also wish to thank Kee Yuen Lam - for showing me the true heart of the subject of global geometry. vi Dedication To my parents, Tihomir and Ksenija Grguric. They have always been there for me. Hvala yam puno! vii Chapter 1 Introduction This thesis is concerned with G-manifolds and their boundaries, where C is a finite group. The boundary information of equivariant manifolds is encoded in the bordism ring .A/ of closed, unoriented C-manifolds. More precisely, our thesis is concerned with the module structure of this ring over the classical bordism ring of non-equivariant, closed, unoriented manifolds. This module structure depends greatly on the answer to the following question: given a C-manifold M, how does the G-bordism type of this manifold depend on its fixed-point sets MK and their normal bundles in M for various subgroups K of C? Focusing our attention to the fixed-point sets of the action and the associated normal bundles will produce a passage from JV to the non-equivariant .M4-homology. Working in the latter setting has an advantage: there are numerous computational tools designed for dealing with .,V-homology. For example, the set of characteristic numbers determining the non-equivariant bordism type is well known by the classical work of Thom [25], and these results have been extended to f-homo1ogy by Conner and Floyd in [8]. In the same paper one also finds extensions to f-homology of a number of standard computational homological tools, such as the Künneth formula, certain spectral sequences, and various types of exact sequences. To look at the fixed-point and normal bundle information of a given equiv ariant manifold, we will define the fixed-point homomorphism F. But first let us set some notation. Let K be a subgroup of C, then AK is the family of all subgroups of C conjugate to subgroups of K, and PK is the family of subgroups conjugate to proper subgroups of K. Let .A/(AK,PK) be the 1 Chapter 1. Introduction bordism ring of all K-manifolds with boundary, such that the isotropies of the boundary points belong to PK. Now let FK be the homomorphism of jV-modu1es FK :jV .‘ AçK(Aj-, PK) defined as taking [M] E S/ to the class represented by the tubular neighbor hood of the fixed-point set MK in M. We collect the fixed-point information extracted by FK for various subgroups K of G into a single homomorphism, called the fixed-point homomorphism: F= eFK. K<G Note that although in general the bordism rings JV(AK, PK) are equiv ariant, their .M-module structure is much simpler than that of the original J and is in fact computable since one can show that it can be expressed in terms of the .N-homo1ogy of certain classifying spaces (see [21]). Hence, given [M] € JV we have a way of computing if F([M]) = 0, but now the question becomes: to what extent does F determine the G-bordism type of M? The answer depends on the group G and on the type of actions considered. The simplest type of actions with fixed points that we can consider are the semi-free actions: actions with every isotropy subgroup being either the entire group or the trivial subgroup. Suppose that G admits an orthogonal representation such that the action of G is fixed-point free on the sphere of that representation. Then it is known that for such a group G, the fixed- point homomorphism F completely determines the semi-free G-bordism. For a discussion of this result and examples of finite and infinite groups which satisfy this property, we refer the reader to [23]. 2 Chapter 1. Introduction On the other hand, if we make no restrictions with respect to the type of actions, the list of groups for which F completely determines the G-bordism narrows down to G = (Z2)‘, where r is finite (see [7]). Naturally, we might be curious as to what happens outside of this list of groups; the simplest possible case, that of G = Z4, was already considered by torn Dieck and Bix in [7], as well as Stong in [22], but in both papers no complete set of characteristic numbers was found. Our motivating problems will therefore be: Ml. Given [M] e such that F([M]) = 0, what extra information is needed to determine if M is aZ4-boundary? M2. What is the geometric significance of F([M]) = 0? An answer to these two problems was given by Beem and Rowlett in [5]. The proofs in this paper are based on the results found in [2]; specifically, the proofs are based on a sequence of algebraic results about the ring structure of and the action of the bordism ring of free 7Z2-manifolds on JV2. Algebraic arguments, some of them using cohomology spectral sequences, are then utilized to obtain the desired result for Z4. Although induction can extend the base case to G = Z2r for r > 2, the overall algebraic method of proof is not applicable to any other family of groups. This leads us to the main question which we address in our thesis: Question: Is there a geometric way of answering Ml and M2, preferably one that is generalizable to a wider class of groups G? We will find an affirmative answer, but first we need to slightly modify Ml; we observe that if [M] E .N and F4([M]) 0, then M isZ4-bordant to some M’ such that (M)z4 = 0 (see Lemma 3.5). Therefore the motivating problem Ml now becomes: Ml’. What information is needed to determine if M’ is aZ4-boundary? 3 Chapter 1. Introduction And the second motivating problem consequently becomes: M2’. ‘What is the geometric significance of F4([M]) = 0? For each component of the fixed-point set of Z2 in M’, the normal bundle v is a Z4-equivariant vector bundle; more specifically, z-’ is aZ4-bundle with the property that every isotropy subgroup of the base is Z2, while the action of Z4 is free on S(v), the sphere bundle of v. We call such a bundle a (Z4;2)-bundle, and define an equivariant bordism relation of these bundles in Section 2.3. We collect the bordism classes into an .N-module Bk(Z4; Z2), where k denotes the rank of the representatives. Let 1k denote the disjoint union of all rank k normal bundles to the fixed-point set of Z2 in M’. We show in Section 3.4 that if for all k, [vk] = 0 as a class in Bk(Z4;Z2), then M’ (and hence M) is aZ4-boundary. Therefore the “information” needed to solve the motivating problem Ml’ is contained in a complete set of characteristic numbers for B(Z4;Z2). We give such a set in Proposition 3.4. We combine this result with the geometric properties of the Smith construc tion of Section 4.2, to obtain an answer to M2’, the modification of the second motivating problem; the answer is stated in Theorem 4.14. Finally, we should mention that the methods we developed and used in answering the motivating problems are almost exclusively geometric: equiv ariant bundle theory, the use of the bundle-orientation class, and equivari ant surgery theory combined with the use of Smith construction, all play a prominent role, and allow us to circumvent the algebraic arguments of [2], [5], and [6]. Moreover, as we show in Chapter 5, these methods allow for a generalization to a wider class of groups than the one handled by previous theories. 4 Chapter 2 Background 2.1 Singular G-bordism Let G be a finite group. Fix a G-space X. A singular n-dimensional G-manifold in X, is a pair (M, f) where M is a compact, unoriented n dimensional G-manifold, and f : M —* X is a C-map. A singular C-manifold is closed if t9M = 0. The map f M —* X is called a reference map for M. Two such pairs (M1,fi) and (M2,f2) are equivalent if there is a C- diffeo morphism ç: M1 —* M2 such that M1 commutes. To indicate the equivalence, we write (M1,fi) (M2,f2). We will keep an implicit assumption that all of our manifolds and maps are taken up to a G-diffeomorphism equivalence. We will mention the equivalence explicitly only where it plays an important role. Two closed singular n-dimensional C-manifolds (M, f) and (M’, f’) are said to be C-bordant, if there is a compact (n + 1)-dimensional C-manifold W, and a C-map F: W —f X, such that (öW,FIôw) (MIIM’,fllf’). (2.1) 5 2.1. Singular G-bordism Now suppose that we are given two singular G manifolds (Mi, fi) and (M2,f2) such that (M1,fi) = (M2,f2) through some G-diffeomorphism M1 —* M2. Form (Mi x I, fi) and (M2 x I, h) with the G-action being trivial on I, and the maps f being defined by fj(m,t) = f(m). Next, glue M x I U M2 x I by identifying M1 x {1} and M2 x {O} by — M2. Denote the resulting manifold by V. Likewise, glue fi U f by and denote the resulting map by Fv. Then by construction we have that O(V,Fv) = (Mi,fi)ll(M2,). Therefore, if (2.1) holds, there must exists some singular G-manifold (H/, F) such that a) OW=MIIM,’ l__\ I;’ — U) M=J,M!—J. We can use the conditions a) and b) as the definition of G-bordant man ifolds and we can, if we wish, disregard the G-diffeomorphism equivalence altogether. We denote the G-bordism relation by (M, f) (M’, f’), and the resulting G-bordism equivalence class by [M, f]. If we wish to explicitly mention the bounded manifold, we write (M, f) (M’, f’) In the case where (SW, FI8W) = (M, f), we write (M, f) ‘- 0 and [M, f] = 0. Note that by the observation above, if (Mi, fi) = (M2,f2) then [M1,fi] = [M2,f2]; the converse however, might not hold: see Figure 2.1 (where q5 i. and denote the G-diffeomorphisms.) That the G-bordism relation is an equivalence relation is not trivial: one needs some equivariant differential topology to prove this fact - most notably an equivariant version of the boundary-collar theorem. See [8] and [21] for details. Figure 2.2 depicts (on the level of G-manifolds, without mentioning the reference maps) the reflexive, symmetric, and transitive nature of the bordism relation: 6 2.1. Singular G-bordism Mi° M2 0\F/ Figure 2.1: A bordism equivalence. (R) MMIM, (S) ifM1M2then M2’M1, (T) if M1 M2 and M2 M3, then M1”M3where W = WUWfl. Where the gluing of Wa and W is along M2 (via an equivariant boundary- collar). MO]M 12MM TiM M3 1M3 Figure 2.2: Bordism is an equivalence relation. 7 2.1. Singular G-bordism The collection of G-bordism classes of singular n-dimensional G-manifolds in X is denoted by .N (X). This collection carries the structure of an Abelian group: the group operation is defined by the disjoint union of representa tives: [M1,f’j + [M2, f2] = [M1 II M2, fi LI f2]. Notice that (MIIM,fllf) ‘- 0, s 2[M,fj = 0 for any [M,fj e giving .N(X) the structure of aZ2-module. We write fG(X) = and impose a ring structure on .M.(X) by letting the Cartesian product define our multiplication: [M1,f’] . [M2, f21 = [Mj x M2, fi x f21. One can check, by repeatedly applying the definition of the G-bordism re lation, that + and are well-defined. Let .Nf, stand for .Me} (*). This is the classical bordism ring of unoriented manifolds; the reference maps are superfluous since their codomain is a point space (the group acting is trivial, hence also superfluous). Notice that the Cartesian product operation makes .Af(X) into an A/-module: for any [P] e .N and [M, f] e p4(X) we define [P] .[M, f] as [P x M, f’J e .iV(X) where f’(p, m) = f(m) for (p, n) e P x M. Usually the .Af-module structure of .N(X) is easier to determine than the ring structure, and allows for a more unified approach of computation by families: see [21] for a description of the method of computation by families, and [12] for a survey of some introductory results of this sort on the bordism of Abelian groups. The structure of the ring f’(X) is very much dependent on the choice of C and X; for example, for G = {e} and X connected, the ring has an identity 8 2.1. Singular G-bordism element, given by [*, i] where i : * —* X is an inclusion. On the other hand, if C and X are non-trivial, the ring might not have an identity. The structure of these bordism rings can be very difficult to compute: even such basic question as, for example, the existence of zero-divisors, are generally hard to answer. For results in this direction, see [3], [4], [11], [20], [27], and [18]. 2.1.1 Isotropy Restrictions Sometimes it is desirable to restrict the type of manifolds occurring in the definition of the singular G-bordism to those with their isotropy groups belonging to a family of subgroups of G. A family F in G, is defined to be a collection of subgroups of G such that: a) ifHEFandKcH,thenKeF,and b) ifHeFandgeG,thengHg1eF. Given a family F in G, a compact manifold M is F-free (or an F-manifold) if for every z e M, the isotropy group G belongs to F. (Note that the part b) of the definition of F is chosen in a minimal way that is consistent with the orbit structure of a G-manifold.) Fix a family F in G. Repeat the definition of singular G-bordism as before, but now let all manifolds in sight be F-free. We thus obtain the singular F-free bordism, denoted JJ(X) (F). Let K C. We will mostly focus on four families of subgroups in G: (i) FG = {{e}}, the free family, (ii) PG = {H G and H G}, the proper family, (iii) AG = {H G}, the family of all subgroups of C, and (iv) AK = {H K}. We denote f(X)(FG) by iQ(X), and evidently N(X)(AG) J°(x). The inclusion FG c AG induces a forgetful ring homomorphism k :f?(X) JVG(X). If X is a free C-space, k is an isomorphism. 9 2.2. G-vector bundles 2.1.2 Free G-bordism Let G be a finite group. The correspondence between the principal G bundles and free G-manifolds induces the isomorphism of Nt-modules JIG f(BG) where EG —* BG is the universal principal G-bundle. Given a class [M] in JG M is a free G-manifold and the quotient M —+ M/C is a principal G-bundle. We classify this bundle by f : M/G —* BG, then [M/G, f] is the class in f(BG) corresponding to [M} under the isomorphism. The inverse isomorphism is obtained by the construction of the induced bundle. 2.1.3 Bordism homology theory We only mention that AIK ( ) is a generalized homology theory (satisfying all of the Eilenberg-Steenrod axioms but the dimension axiom). We will use the fact that for nice spaces X and Y, the Künneth isomorphism holds x Y) N(X)®(Y) (see [8] for a proof). Note that although for nontrivial C, .N( ) too is a gen eralized (equivariant) homology theory, the Künneth isomorphism might not hold (however, according to [9] there will be a Kftnneth spectral sequence). 2.2 C-vector bundles We mention some standard facts about C-vector bundles. Let C be a finite group and p: E — M a smooth, locally trivial, real vector bundle such that M and E are C-manifolds, and p is a smooth C-map. If for each g e C, the left multiplication map L9 : p (x) —* p (gx) is a linear isomorphism, then p: E —* M is called a smooth C-vector bundle. We will sometimes denote a vector bundle by the 3-tuple (E, p, M). All our 10 2.2. G-vector bundles G-bundles will be real, smooth, locally trivial, and of a finite rank. We will be using two types of morphisms of G-vector bundles: G-bundle maps, and G-isomorphisms. We define these here for the sake of clarity. Given two C-vector bundles = (E,p, M) and ‘ = (E’,p’, M’), a bundle map (f, f) consisting of C-maps, is called (i) a C-bundle map, if fIE : E —* E() is a linear isomorphism for each x e M, (ii) a C-isomorphism, if it is a C-bundle map, and if M’ = M, f = idM. Sometimes we refer to f itself as the bundle map covering f. We signify isomorphic C-bundles by or simply by e ‘ if the equivariance is clear from the context. We will also be using the usual constructions such as Whitney sum, tensor product, or exterior power. These constructions are functorial, therefore when applied to C-vector bundles, they again yield C-vector bundles. The functoriality also yields the usual isomorphisms such as and and if we let A denote the determinant bundle of (meaning, A = A k where k equals the rank of ) and A a C-line bundle, then for odd-rank bundles and A (®) A®Ai, and A (®A) A®AA A®A. Let the base of be M, and define the equivariant trivial bundle of rank m by = M >< R”, where 9 E C acts by g(m,v) = (gm,v) on (m,v) eM Note that a rank m bundle over M could be geometrically trivial (i.e. non equivariantly isomorphic to the trivial bundle), yet not C-isomorphic to a”2. 11 2.2. C-vector bundles If A is a C-line bundle, then A®A C Note that A and ® commute with pulibacks: suppose we have C-bundles = (Ej,p, M) where i = 1,2, and and a C-map f :M’ —* M. Then f*(®) f*(e)Øf*() and f*(A) It is worth mentioning here that the C-action on the induced bundle f*() is given by the inclusion f*(j) C M’ x E. We will also occasionally need to make use of the C-bundle gluing (or clutch ing) construction, which we outline here for convenience. Let X=X1U2 and A=X1flX2, where all the spaces are compact C-spaces. Suppose that we are given C- bundles A) for i = 1,2, and a G-isomorphism :E1 —* E2. We define a new C-bundle P21 U P22 by gluing E1 to E2 via . We will need the following proposition, the proof of which can be found in [1]. Proposition 2.1. If M is a free C-manifold, C-vector bundles over M correspond bijectively to vector bundles over M/G by the quotient P2 —* P2/C. REMARK: If M is a free C-space, then necessarily P2 is a free C-space since the projection map p: B —* M is equivariant. If r : M — M/G denotes the quotient map, then Proposition 2.1 gives that any C-vector bundle = (E,p, M) corresponds to some 7r*(j) where = (F, q, M/C) is a non equivariant vector bundle. Conversely, every vector bundle i = (F, q, M/G) is the quotient /C of some C-vector bundle = (B, p, M). Also note that by functoriality of the quotient (and the pullback), ‘ if and only if ‘/C. For details and more facts about C-bundles, the reader is 12 2.2. G-vector bundles referred to [1] and [17]. 2.2.1 Cyclic groups Note that for any g e G, the left multiplication Lg : E —÷ E is a G-bundle map covering L9IM p o Lg 0 S (where o denotes the zero section.) In the case when G = Zm, a cyclic group, we might wish to be explicit about the bundle map defining the action: we denote the G-vector bundle by = (E, &,p, M, a) or (E, , M, a) (omitting the projection map). Here (a, a) is the bundle map E UE M >M, which defines the action of G on : in other words, Lg & (where g is the generator of C = 7Zm). Note that in this case (sm,atm) = (idE, idM). We will mostly be interested in the case of cyclic groups of order 2. Definition 2.2. A (Zr;_i)-bundle is a 4-tuple (E,&,M,a) such that p : E —* M is a YZ2r-vector bundle, and the generator of Z2r acts on p: E — M by the bundle map (&, a). Let o : M —* E denote the zero section. We require that for every x e M the isotropy G = Z Z2r, while for every x e E — so(M) the isotropy is G {e}. REMARK: Note that since the action is given by bundle maps, so is equiv ariant, and so(M) isZ2r-invariant in E. The equivariance of o and p gives G = G30() = Z2. Consider a (Z4;2)-bundle (E, a, M, a). By Definition 2.2, a is an involution (a2 = idM), and denoting the fiber above x by E, we get a linear map â2:E >E 13 2.2. G-vector bundles which (after selecting someZ4-invariant Riemmanian metric on the bundle) takes (x,v) to (x,—v) for all (x,v) E E. We will indicate this by saying that locally &2 Definition 2.3. A (Z2r_i ; Z2r-i )-bundle is a 4-tuple (E, 9, M, 9) such that p:E —* M is a7Zr-i-vector bundle, and the action on the base M, given by 9, isZ2r—i-free. REMARK: By Proposition 2.1, there is a one-to-one correspondence between (Z2._i;2_i)-bund1es over M and non-equivariant bundles over M/Z2r_i = M/9. 2.2.2 Classifying spaces Let Vect (M) denote the equivalence classes of G-vector bundles over M under the G-isomorphism relation. For a finite group G, we can always construct the universal real k-plane G-bundle, denoted EOk(G) J,’fk(G) BOk(G). This bundle is “universal” in the usual sense: any rank k C-vector bundle over M is C-bundle isomorphic to f*(7k(G)) for some C-map f : M —f BOk (C). In fact, a stronger conclusion holds Vect(M) [M,BOk(C)]G where [ , ]c stands for C-homotopy classes of maps. The space BOk(G) is called the classifying space for C-vector bundles of rank k. For more facts on the universal G-vector bundle, as well as for the proof of universality, the reader is referred to [28]. 14 2.3. G-bundle bordism Let T = e’2r_1 be the generator of Z2. Then Z2r acts on C by complex multiplication. Definition 2.4. Let BOk(C°°) be the Grassmannian of real k-planes in C°°. Let r : BOk(C°°) —* BO(C°°) denote the map giving the Z2r-i action on this space induced from the complex multiplication by T on C°°. REMARK: The map r is aZ2r_i action since T2’1 = —1; the multiplication by T takes a k-plane in C°° to itself. Over BOk(C°°) we have the universal k-plane bundle EOk(C’°) which consist of pairs (p, v), where p is a k-plane in C, and v is a vector in p. The group Z2r acts on EOk(C°°) by : (p,v) —* (r(p),T . v). We denote the bundle EOk(C°°) — BOk(C°°) by 7k(C°°). Proposition 2.5. BOk(C°°) is the classifying space for (Z2r;2r_i)-bundles of rank k. PROOF. See [22j. We have the following Lemma 2.6. BOk(C°°) is a freeZ2-space if k is odd. PROOF. Again, see [22]. 2.3 G-bundle bordism Given a smooth G-bundle of finite rank, over the base W which is a smooth compact manifold, we will denote O() Iaw. Definition 2.7. Two G-bundles and ‘ of rank k are called G-bordant if there exists a G-bundle e also of rank k, such that 15 2.3. G-bundle bordism REMARK: We indicate the G-bordant bundles by Note Lemma 2.8. If e ‘ then PROOF. Let M be the G-isomorphism, and let I denote the unit interval with the trivial G-action. Glue x I and ‘ x I (both of which are now bundles over the baseMxI)byidentifyingMx{1}cxIwithMx{O}c’xI. Now use b to clutch IMx{1} to We obtain a C-bundle such that REMARK: We can also use C-bundle clutching to show that the relation ‘ is transitive. (Reflexivity and symmetry follows from the use of disjoint union II in Definition 2.7.) We have the following Lemma 2.9. Suppose : M’ — M is a G-diffeomorphism, and let be a G-bundle over M. Then PROOF. The proof is similar to the proof of Lemma 2.8, except now we glue x I and *() x I by identifying M x {1} with M’ x {O} by q. But then by the definition of induced bundle, the clutching isomorphism over the glued ends is an identity. I Definition 2.10. Let B denote the collection of G-bordism equivalence classes of C-bundles of rank k. 16 2.3. G-bundle bordism REMARK: L3 is an Abelian group under LI. Given [] € L3 where explicitly = (E,M), and given some [F] E .Af define [P] [] = [E x P,M x P]. The action on [E x F, M x P] is defined as follows: if (e, p) e E x F, then for any g E G we have g(e,p) = (ge,p). This product gives an f-module structure to B. There is a fairly obvious connection between L3, and the singular G-bordism of manifolds with reference maps into BOk(G). Let [M, f] e .N(BOk(G)) and consider f*(7k(G)), which is G-bundle of rank k over the base M. Suppose [M1,fi] [M2, f2]. Therefore, there is some [W, F] such that 8W = M1 H M2 and FIM = f. But this implies that F*Qyk(G))IM = f(7k(G)) or = f(’yk(G)) HfQyk(G)). (2.2) Comparing (2.2) and Definition 2.7, we get Lemma 2.11. 13° G(Bok(G)) as -modules. As in the case of singular bordism, we could restrict our attention to bundles with base or fiber isotropies belonging to a specific family of subgroups of C. 2.3.1 (Z2r;2r_i)-bundle bordism Definition 2.12. Suppose we have two (Z2r;2r_i)-bundles and ‘. We will say that they are (Z2r;2r_i)-bordant if there is a (Z2r;2r_i)-bundle such that 8= H ‘, and denote this by (Z2r;Z2r_i) We have the following Definition 2.13. Let Bk(Z2r;Z2r_i) denote the J-module of (Z2r;Z2r_i) bordism classes of (Z2r;Z2,._1)-bundles. 17 2.3. G-bundle bordism REMARK: Notice that the bundle of Definition 2.12 must be a (Z2r;Z2r_i)- bundle, and not only aZ2r-bundle. The symbol ““ on k(Z2r;Zr_1) is there to remind us of this fact. This condition on amounts to an isotropy restriction on the bundles. Combining Proposition 2.5 and Lemma 2.11 we get Lemma 2.14. Bk(Z2r;Z2r1) fZ2r(BO(coo)) as .N, -modules. REMARK: Given a (Z2; {e})-bundle i of rank k, by Definition 2.2 the Z2- action on the base of is trivial. Taking someZ2-equivariant Riemannian metric, we see that the action on the fibers must be by multiplication by (—1), hence canonical. Therefore the classifying space for (Z2; {e})-bundles of rank k can be taken to be the ordinary (non-equivariant) classifying space BOk. Therefore we obtain Lemma 2.15. 13k(Z2;{e}) N(BOk) as M -modules. 18 Chapter 3 Characteristic Numbers 3.1 Motivation We refer to a set of characteristic numbers as “complete” for a particu lar bordism theory B, if they are able to distinguish between non-bordant representatives of bordism classes in B. For example, the Stiefel-Whitney characteristic numbers are a complete set of characteristic numbers for the unoriented bordism iV. The objective of this chapter is to find a complete set of equivariant char acteristic numbers for the representatives of theZ4-bordism classes in This problem has been studied before from the perspective of equivariant homotopy bordism by Bix and torn Dieck [7] (also see [26]), and the geo metric point of view by Stong [22]. In each case however, the characteristic numbers obtained were not sufficiently fine to distinguish allZ4-bordism types. A complete set of such numbers was obtained by Beem and Rowlett in a more general setting of the group 7Z2r (see [5]). Unfortunately, their arguments are not generalizable to other (for example, non-abelian) groups. It was the search for a generalization that has led us to the results presented in this chapter. We obtain a complete set of characteristic numbers for 7Z4-bordism; the geometric and equivariant significance of these numbers differs from that of the numbers found in [5]. The procedure involved in the calculation of the new numbers shows (what we feel to be) a very pretty interaction between 19 3.2. (Z4;2)-bundle bordism the local geometry of the manifold around the fixed point set, and the group action. These numbers complement those of Beem and Rowlett, potentially allowing for an easier computation of theZ4-bordism type. We find these new numbers to be of a better theoretical use in describing the geometric structure of elements of And perhaps more significantly, we find our approach to apply to a more general family of finite groups G. 3.2 (Z4;2)-bundle bordism Suppose we are given a (Z4;2)-bundle = (E, &, M, o) and a (Z4;Z2)-line bundle A = (L,âL,Mu). Observe that ®A is a (Z2;)-bundle: taking some Z4-invariant Riemannian metric, we see that locally (&oaL)2 = (—1)®(—1) = 101, showing that the bundle map J®UL covering u, is an involution. But now using the properties of tensor products of G-bundles, as summarized in Section 2.2, we get that (®A)®A as (Z4;2)-bundles. Hence we obtain a construction which allows us to move from the setting of (Z4;2)-bundles to that of (Z2;2)-bundles and back, without loosing any equivariant or geometric information (as long as we keep track of the line bundle A). This construction is well-defined on (Z4;Z2)-isomorphism classes of bundles. Once we are in the setting of (Z2;2)-bundles, we can use the conclusion of Proposition 2.1: we quotient by the action to obtain (®A)/Z2,which due to the fact that theZ2-action is free, is again a real vector bundle. We call this quotient bundle r. Notice that pulling back along r : M —* M/a gives the original (Z4;2)-bundle back: K*() = ®A by definition of the quotient. Now, provided we have kept track of A, we can form 7r*()®A to retrieve the original (Z4;2)-bundle . 20 3.2. (Z4;7Z2)-buiidle bordism The question arises whether this process is well-defined on the (Z4;Z2)- bordism classes. The answer is not immediately obvious since, for example, (Z4;2)-bundle isomorphism relation is a finer equivalence relation than that of (Z4;2)-bordism: “ ‘ certainly does not imply that as (Z4;2) (Z4;2)-bundles. Furthermore, there is the question of the line bundle A: given a (Z4;2)-bundle = (E, , M, u), is there a canonical way to select a (Z4;Z2)-line bundle A over (M, o), such that this process of selection is well-defined on the (Z4;2)-bordism classes? In the case where rank() = k is odd, the orientation bundle A provides such a canonical (Z4;Z2)-line bundle, and the process we have outlined induces the isomorphism 4 of the following theorem: Theorem 3.1. :Bk(Z4;Z2) A’(BSOk X BZ4) is an isomorphism of J.f,-modules for all odd k. REMARK: We postpone the proof until Section 6.1. Given a (Z4;2)-bundle = (E, , M, o), we will denote its orientation (determinant) bundle by A = (AE, A, M, o), omitting the rank of the bundle from the notation of the exterior product (i.e. A stands for A, where k = rank()). Note that locally (A)2xi A ... A Xk) =â2(x1) A ... Aâ2(xk) = (—xi) A ... A (—xk) = (_l)kxi A ... A Xk, giving that A is a (Z4;2)-bundle if k is odd; however A is a (Z2;Z2)- bundle if k is even. Therefore in the case of a (Z4;2)-bundle of an even rank, we can not use the orientation bundle to send to a (Z2;2)-bundle, 21 3.3. Characteristic numbers for (Z4;7Z2)-bundle bordism since ®A would again be a (Z4;2)-bundle (hence Proposition 2.1 does not apply - the quotient of ®A by the action would not be a vector bundle). Given a (Z4;7Z2)-bundle = (E, &, M, a), we will say that the base of supports a (Z4;7Z2)-line bundle if there exists some (Z4;Z2)-line bundle over (M,u). Let £(Z4;Z2)be a collection of(4;2)-isomorphism classes of bundles given by Definition 3.2. e £(Z4;Z2) if there exists ‘ such that [] = [a’] as (Z4;2)-bordism classes, and the base of ‘ supports a (Z4;Z2)-line bundle. REMARK: Therefore if e £(Z4;Z2), we can pick some ‘ such that [] = [a’] and the base of ‘ supports some (Z4;Z2)-line bundle A. We form ‘®A and proceed as in the case of odd k (but now utilizing A instead of At). Then we can state Theorem 3.3. Suppose [] e 5,(Z; Z2) and e £(Z4;Z2), then we can assign a class x e d(BO2k x BZ4) to [j, such that if x = 0 then [j = 0. REMARK: The proof will be given in Section 6.1. The choice of the line bundle A is not canonical, hence the class x depends on this choice, and unlike in the case of odd k, we do not get a well-defined homomorphism B2k(Z4; Z2) —* .Af(BO2kx BZ4). However, x (together with 4 of Theo rem 3.1) still allows us to obtain a complete set of characteristic numbers for (Z4;2). 3.3 Characteristic numbers for (Z4;2)-bundle bordism Let = (E, &, M, a), then we have the following Proposition 3.4. Let [] E Bk(Z4;Z2) be such that e £(Z4;Z2). A set of characteristic numbers which completely determines the bordism type of [] is given by the products of the following classes in H*(M/a;Z2): (1) w(T(M/a)) - the Stiefel- Whitney classes of the tangent bundle of M/u, 22 3.3. Characteristic numbers for (Z4;7Z2)-bundle bordism (2) w3 (j) - the Stiefel- Whitney classes of the (orientable) bundle i, and (3) and /3 - the characteristic classes of the principal 7Z4-bundle S(A) — M/a, where i = (®A)/Z2,and A is as described in the remark preceding Theo rem 3.3. REMARK: The products are formed as is usual for characteristic numbers (see for example [8]), and then evaluated on the fundamentalZ2-homology class of M/a. PROOF. By Theorem 17.3 of [8], the characteristic numbers of the singular bordism class [M, Ii] e V(X) are given by products of w(TM) and h*(x), for all x é H*(X; Z2). In our situation, the Kiinneth isomorphism gives .N(BSOk x BZ4) AI*(BSOk) ® .N(BZ4) The isomorphism is given by ir U ir, where ‘ri :BSOk x BZ4 —* BSOk and ir :BSOk x BZ4 —f BZ4 are the projections. Taking [M/o,f x g] = we get (f x 9)*(* U ir) = f*R* U g*1r = f* U g* (the same conclusion holds if we were to replace BSOk by BOk, except instead of using ( [c]) we would use the class x given by Theorem 3.3). But f classifies i in BSOk if k is odd (or in BOk if k is even), while g classifies the principalZ4-bundle S(A) —+ M/o if k is odd (or the principal Z4-bundle S(A) —* M/u if k is even)’. Now H*(BZ4;Z2)Z2[,/3]/(a = 1), 23 3.4. Characteristic numbers for7Z4-bordism where Ic = 1 and II = 2 (see for example [11]). So = g*(), and = g*()• Likewise H*(BSOk;Z2) Z[il2,. . . ,w], and f*() = w(ij) by the definition of f and the universal Stiefel-Whitney classes (if k is even, the universal classes are coming from H*(BOk;Z2) Z2[wi,... ,wk].) • 3.4 Characteristic numbers forZ4-bordism Given [M] E we have the fixed point homomorphism F4 :jV —* .M._k(BO(Z4)) of [21], which sends [MI to the bordism class determined by the normal bundles of Mz4 in M. The characteristic numbers giving the bordism type in the image of F4 are determined by the equivariant splitting of the normal bundles. For details on the computation of these characteristic numbers see for example [14]. Lemma 3.5. If[M] e .AJ is such thatF4([M]) = 0, then M isZ4-bordant to some M’, such that for every x E M’, G Z2 <Z4. PROOF. Standard - by an equivariant surgery on the normal bundles of the fixed point sets. See [21]. • But now note that the normal bundles of the Z2 fixed-point sets are (Z4;Z2)- bundles. We show that it is these bundles that now determine the Z4- bordism type of M’. Without loss of generality, suppose (M/)Z2 = F where dimF = dimM’ — k >0. Let v be the normal (Z4;2)-bundle ofF in M’. Now suppose i’ = äi for someZ4-bundle . We can then glue M’ x I and D(1) by identifying D(v) x {1} and D(01). This produces a 7Z4-bordism between M’ and M”, where M” is a freeZ4-manifold. But then [M”] = 0 in .iV?. (To see this, form M” — M”/7Z2, and let A be the associated (Z4;Z2)-line bundle. Then S(A) M”, but ÔD(A) = S(A).) Therefore the 7Z4-bordism type of M’ is completely determined by the image of [ii] in fZ2 (BOk (C°°)) 24 3.4. Characteristic numbers forZ4-bordism Let k : k(Z4;Z2) jV2(Bok(C00)) —* J..f*Z2(Bok(coO)) be the forgetful homomorphism. We have Lemma 3.6. If [] E 13k(Z4;Z2) and £(Z4;Z2)then [] E kerk. PROOF. In [3] it is shown that ekJVk(BOk(C°°)) splits as a non-direct sum of rings K and L, where K is generated by e and r,te exten sions from ekJV_k(BOk) ekBk(Z2;{e}). But as we show in the proof of Theorem 4.14, these extensions must support (Z4;Z2)-line bundles. By Lemma 2.1 of [4], we know that Z,, is in the kernel of k. • REMARK: Therefore it is the combination of the characteristic numbers of .M(BO(Z4))and the characteristic numbers given by Proposition 3.4 that gives a complete set of characteristic numbers for TheZ4-characteristic numbers found by Beem and Rowlett in [5] are given by the following Proposition 3.7. F([M]) 0 and F([81 x M]) = 0 if [M] = 0 in z2 REMARK: Here F denotes the fixed-point homomorphism defined in the Introduction. PROOF. See [5]. • REMARK: The characteristic numbers which can be obtained through Propo sition 3.7 are different from those that we have obtained. For example, the geometric data coming from the fixed-point sets and normal bundles of the S1-twisting construction on a given manifold M, is different from the data obtained by the bundle constructions of the Proposition 3.4 on the normal bundles of the fixed-point sets of MZ2. 25 Chapter 4 An Application: Splitting 4.1 Motivation In [5] we can find the following Proposition 4.1. Every [M] E .A/4 (PZ) is equal to [Z4 x M1] + [S1 x M2] + [K], z2 for some [Mi] and [M2] in .N2 and the class [K] is in the kernel of the forgetful homomorphism (PZ4) — PROOF. This is Proposition 3.3 of [5]. I REMARK: This result oddly resembles the conclusion of the remark follow ing Proposition 4 of [15], where a similar splitting is obtained on free Z manifolds. However, the proof of this latter result is purely geometric, while the proof of the former result relies heavily on algebraic structure of the bordism algebra of involutions (as described in [24] and [10]), and the action of this algebra on N2 (as described in [2]). Even more discomforting is the fact that certain key steps of the argument come from a preprint by Stong that was actually never published. The argument also relies on [6]. It was our desire to find a simpler, purely geometric proof of Proposition 4.1 that has led us to the results described in this chapter. We demonstrate that the splitting is given by a surgery along the submanifold given by the Smith construction. 26 4.2. Smith homomorphism, extensions, and restrictions 4.2 Smith homomorphism, extensions, and restrictions The following construction can be found in [20]. Let X be a 7Z-space, and let x e Ji? (X) be represented by a singular Z2-manifold (M, o, f), where ci denotes the action on M and f : M —* X is an equivariant reference map. The quotient M —* M/ci is classified by some class in H1 (M/a; Z2), which under Poincaré duality corresponds to a submanifold N C M/ci of codimension 1. Let N — N be the induced double cover. Since by the definition of an induced cover we can take N to be a 7Z2-invariant submanifold of N x M, we get an induced involution ci’ on N, given by 1 x ci. Let i : N —* M be the equivariant inclusion obtained by projecting N C N x M onto M. Definition 4.2. The above construction defines a homomorphism off modules LS2(X) >NZ2(X) of degree —1, which sends [M, ci, f] to [N, a’, f o i]. REMARK: That L is a well-defined homomorphism is shown in [20]. This construction is usually called the Smith construction, and the homomor phism the Smith homomorphism. We will sometimes abuse the nota tion slightly and denote theZ2-invariant submanifold i(N) C M by (M). Therefore in this notation [N, ci’, f oi] = [(M), I(M) fI(M)1. There is another, equivalent way of defining (M), given in [8]. Let R denote theZ2-representation (R, (—1)) and let SN = S(R’) for N >> dim M. Then since both M and SN are fixed-point free, we can find some equivariant map f : M —* SN which is transverse regular to the equa tor 5N1 c SN: for example, we descend to the quotients, take a non equivariant map J: M/ci —+ SN/Z2 = RpN which is transverse regular to pN_l c R.PN and then lift to obtain f. 27 4.2. Smith homomorphism, extensions, and restrictions Then by the usual results on transverse regularity, f_i (SN—i) is a submani fold of codimension 1 in M, and by the equivariance of f it is aZ2-invariant submanifold. As observed in Section 24 of [8], the Poincaré dual of the homology class [f_1(sN_i)/z2]E H_i(M/a;Z), where n = dim(M), classifies the double cover M — M/u, and therefore by Definition 4.2, we can take (M) to be f_i (SN_i). This definition is easier to use in certain situations. Again, let (M, a) be a smooth, fixed-point free involution. We use the second definition of L to prove the following Lemma 4.3. The normal bundle of(M) in M is equivariantly isomorphic to /(M) x R_. Furthermore, there exists a compact, regular submanifold M0 c M, such that M0 U a(Mo) = M and M0 fl a(Mo) = (3M0 = PROOF. Let vs be the normal bundle of 5Ni Then equivariantly 5N_1 x R_. But by definition, f is transverse regular so the nor mal bundle of f_i(SN_) in M is equivariantly isomorphic to f*(vs) f*(SN—1 x IR_) = f_i (SN_i ) x R_ = (M) x IR Now, let U be some open,Z2-invariant tubular neighborhood of i(M) in M. Then by definition of an equivariant tubular neighborhood, U is Z2- diffeomorphic to (M) xD(R_). But ImfIM_u c SN_SN_i which consists of two components such that the action on 5N takes one into the other. By the equivariance of f, we conclude that M — U = Ma II M where = M and the two manifolds are disjoint in M. But using U to form an equivariant isotopy, we see that Ma is equivariantly isotopic to some such that OM = (M). Therefore, we can take M0 = The conclusion now follows. • Lemma 4.4. The of Definition 4.2 induces a well-defined homomorphism of .N. -modules :L3k(Z4;Z2) > B(Z4;Z2) 28 4.2. Smith homomorphism, extensions, and restrictions which sends [] = [E,&,M,] to [I(M)l = [EI(M),&I(M),(M),J[(M)]. PROOF. Let [M, o, f] correspond to [] under the identification Bk(Z4;Z2) =A2(BOk(C0O)). (4.1) By definition of this identification, f*(7k(Coo)) = equivariantly. Apply the homomorphism of Definition 4.2 to [M, r, f] to get But under (4.1) this latter class identifies to (fI(M))*(yk) = f*Qy)() = REMARK: We will sometimes denote the choice of the bundle I(M) by Therefore, the bordism class ([j) is represented by a (Z4;2)-bundle Given a (Z4;2)-bundle = (E,&,M,u), let rz2() be the (Z2; {e})-bundle obtained by letting Z2 act on through the inclusion Z2 7Lj. Therefore 2 acts trivially on the base of , and via a multiplication by 2 = (—1) on the fibers. We denote this explicitly by rz2(e) = (E,(—1),M). Note that rz2 commutes with the operation of taking of the boundary, and therefore takes (Z4;2)-bordant bundles to (Z2; {e})-bordant bundles. Definition 4.5. Let rz2:Bk(Z4;Z2) > 13(7Z;{e}) be the restriction homomorphism of .Af-modu1es which sends [] = [E, , M, u] to [rz2()] = {E,u2,Mj. Lemma 4.6. Im C kerrz2. PRooF. Let [] e Bk(Z4; Z2) and let = (E, &, M, o’). By Lemma 4.3, fOr any choice of .(M) there is a submanifold M0 C M such that 29 4.2. Smith homomorphism, extensions, and restrictions M0 U u(Mo) = M and M0 fl a(Mo) = (M). Let o denote the restriction of to M0. Then &2(o) = o since 2 = idM and & covers a. Also non-equivariantly, Oeo = oIaMo = I(M) = Therefore a(rz2(o)) = r()).• Let Z4 be represented by the powers of the complex root of unity i; i.e. = {1,i,—1,—i}. Given a (Z2;{e})-bundle i = (F,(—1),P) of rank k, define the freeZ4-bundle x Z by (F x Z4, (—1) x i, P x Z4, 1 x i). The quotient ( xZ4)/((—1) x (—1)) is again a vector bundle of rank k since x Z4 is a free -bundle. Let Z4 act on the quotient by 1 x i. An argument on the representatives of the orbits shows that the Z4 action by 1 x i is free away from the base, and hasZ2-isotropy on the base. Therefore the quotient is a (Z4;2)-bundle and we denote it by e(i). The base of is the free2-manifold (P x Z2, 1 x (—1)). Therefore e(ij) = ((F xZ4)/((—1) x (—1)),1 x i,P x Z2,1 x (—1)). Since taking of the quotient by a free action preserves boundaries, e is well defined on the bordism classes of (Z2; {e})-bundles. Therefore, we obtain the following Definition 4.7. The above construction defines the extension homomor phism of ..M-modules e:Bk(Z2;{e}) k(Z4;Z2) which sends [] = [(F, (—1),P] to [e(?7)]. Lemma 4.8. Ime C ker rz2. PROOF. By construction of e(), we have rz2(e(?7)) Hi (notice that the action of Z2 Z4 on the base is given by (1 x (_1))2 = 1 x 1). Therefore oe([7]]) = rz2([e(11)]) = [rz2(e())] = {iHi] = 2 [j = 0. • 30 4.2. Smith homomorphism, extensions, and restrictions We have the following Lemma 4.9. ker Z = Ime. PROOF. We first show that Ime C ker . Let [ii] e L3k(Z2; {e}) and consider e (n). By definition of e (j), the basis of this bundle is (M x Z2, 1 x (—1)) for some non-equivariant manifold M. Let x e = S(IR’) and define an equivariant map f :Mx7Z2 — 8N by f(m, 1) = x and f(m, —1) = —x. The points x and —z being antipodal implies that there exists some SN c 5N such that (Imf)flSN_l = 0. Therefore (MxZ2)= 0 and the definition of the homomorphism gives (e([i])) = 0. Now we show that ker C Ime. Let = (E, , M, o) be a (Z4;2)-bundle and suppose that z([]) = 0. Therefore, there is some (Z4;)-bundle such that 9 = Let W be the base of , so OW = (M). Let U (M) x D(R_) be the equivariant tubular neighborhood of (M) in M. We glue x I (as a bundle over M x I) to x D(R) (as a bundle over W x D(]L)) by identifying )u x {1.} and O x D(W.). See Figure 4.1 for a depiction of how this surgery is performed on the bases of x D (R) and x I. The restriction of the resulting bundle to the boundary of the base is equal to II ‘ and we will show that e’ = e() for some (Z2; {e})-bundle Ti. First note that Lemma 4.3 implies that M — U = M0 H o-(Mo) for some non-equivariant manifold M0 (except now M0 fl u(Mo) = 0). Let o = elM0 then ‘o = CoH&(Co). But ‘ is equal to o U(Cx D(R))lwz2by the gluing. Let ‘ be the bundle map giving the Z4-action on C’. Then if we denote Co U (x D(R))Iw{l}, we get that C’ = H u’(). But aWx {i} (Cs’ &12) is a (Z2; {e})-bundle which we denote by Ti By definition of e we have that C’ = e(Ti). • 31 4.2. Smith homomorphism, extensions, and restrictions Figure 4.1: Surgery along U. Similar to the bundle case, we can define the extension and the restriction homomorphism for the bordism of free manifolds. These are also denoted by e and rz2, and whether we are talking about the bundle variant or the manifold variant of each homomorphism will be clear from the context. Given a free 7Z2-manifold (M, u), note that the construction ((M x x (—1)), 1 x i) gives a freeZ4-manifold. We denote this con struction by e (M, o), or simply by e (M) when it is clear from the context that M is a freeZ2-manifold and we wish to avoid mentioning the action. Definition 4.10. Let be the extension homomorphism of JV-modules which sends [M, o] to [e(M, o)}. REMARK: The construction preserves boundaries, therefore this homomor phism is well defined on bordism classes. MxI W x D(k) M ____ M M’ M n M’ J e :J(BZ2) N(BZ4) 32 4.3. The bundle splitting results Similarly, we have the following Definition 4.11. Let rz2 :.N(BZ4) .M(BZ2) be the restriction homomorphism of jV-modules which sends [N, 9] to [N, 92]. Then we can obtain the following Lemma 4.12. If [M,cr] eAI(BZ2)then rz2 oe([M,o]) = 0. PROOF. By definition, e(M,u) = ((MxZ4)/(o x (—1)), 1 x i). Therefore rz2(e (M, u)) = ((M x Z4)/(a x (—1)), 1 x (—1)) (M, a) II (M, o). Hence rz2 oe([M,u]) = 2 [M,a] = 0. • 4.3 The bundle splitting results Given S21 = S(C’), let T denote the Z4 action by multiplication by i. Let a denote the antipodal action on S2. Then we have the following Proposition 4.13. (Katsube) .NK (BZ4) is a free A/1,-module with basis {[S21,T],e([S’’,a]) In 0}. PROOF. The proof of the proposition can be found in [11]. We spend the rest of this section showing that this .,V-module structure, combined with the geometry of the Smith construction z, induces a geomet ric splitting of the representatives of (Z4;2)-bordism classes. Theorems 3.1 and 3.3 are instrumental in our proofs. Furthermore, we show a connection between z and £(Z4;Z2). 33 4.3. The bundle splitting results Theorem 4.14. If [] e (Z4;Z2) is such that z([]) 0 and E £(Z4;Z2), then (Z;Z) e (ji) + re’ (772) where i, ‘72 are (Z2; {e})-bundles. Furthermore, this bordism can be obtained by an ezplicit geometric surgery on We will need the following Proposition 4.15. If {] B(Z4;Z2) is such that /.([]) 0 and E(Z4;Z2),then = [eQ)j for some (Z2;{e})-bundle . REMARK: The proof is given in Section 6.2. We now present the proof of Theorem 4.14. PROOF. Let [] e (Z4;2)be such that ([]) 0 and e (Z4;2). Denote (E, &, M, o). By Proposition 4.15, = [e(ii)} (4.2) where rn is some (Z2; {e})-bundle. Let U be a closed equivariant tubular neighborhood of (M) in M. By the definition of z, U ((M) x D(R_),uI(M) X (—1)). We begin by constructing a (Z4;2)-bundle , such that O= H ‘, where ‘ is a bundle with the property that (‘) = e(’71). By (4.2), there is a (Z4;2)-bundle ç such that 0c = () He(i). (4.3) Denote ç = (F,O,W,O). 34 4.3. The bundle splitting results We glue xl (as a bundle with base Mx I) and ( x D(R_),6 x (—1)) (as a bundle over base(C) x D(R_)) by identifying elu x {1} and (I(M) x D(R), OL(M) x (—1)). Denote the resulting (Z4;2)-bundle by , then = II ‘, and by construction = e(1). (4.4) Next we need to find Denote ‘ = (E’, a’, M’, a’), and let E = re(1)= ((S1 x )/((—1) x (—1)),i x 1) where we take 1 = 5(C). Let N be the base of E. By construction of E, = e(i). (4.5) Now, let UE be the equivariant tubular neighborhood of (N) in N, and UM’ be a similarly defined neighborhood in M’. Denote N = N — U and M’ = M’ — UM’. The bases of E and each consist of two equivariantly diffeomorphic components, and in each case, the bundles over these components are interchanged by the action of Z4. Therefore, gluing one end of ‘ x I to an end of E x I along EIu = (which are equal by (4.4) and (4.5)) produces a bordism between ‘ and E II 1’ where T = T0 H T1 is a (Z4;7Z2)-bundle such that the action of Z4 interchanges the bundles T0 and T1. Let be the bundle map inducing the (Z4;2)-action on T. Then (To, IT0) is a (Z2; {e})-bundle (omitting the base from the notation), which we denote ‘72 But T = e(2) as desired. • We obtain an immediate corollary which demonstrates the relationship be tween (Z4;2)bundles in £(Z4;Z2) and the Smith construction . Corollary 4.16. Suppose [] e (Z4;2)and ([]) 0. Then 2([]) = 0 if and only if E (Z4;2). 35 4.3. The bundle splitting results PROOF. Let [] e B(Z4;Z2). (=) Suppose 2([e]) = 0, and assume 0. Since by Lemma 4.9 ker = Ime, we get that ([j) e([(i]) = [e()] for some (Z2; {e}) bundle . Let S = o e (ci). Then ([S]) = [s(S)] = [e ()] = e ([c’]) by the definition of L. Therefore ([J + [5]) = ([]) + i([S]) = e([1]) + e([cij) =0. But this shows that [] + [5] = e([C2j), or [] = e([c2]) + o e([ci)) for some (Z2; {e})-bundle Let N1 be the base of , and N2 be the base of Take A=e(Ni xR_,1 x (—1))llroe(N xR_,1 x (—1)), which is a (Z4;Z2)-line bundle, showing that £(Z4;Z2). () Suppose e £(Z4;Z2). Then by Proposition 4.15, ([]) = [e((j] for some (Z2; {e})-bundle c’. But 2([]) = L([e(C’)]) = [(eQj)j = [O]=0. I 36 Chapter 5 More General Groups 5.1 Characteristic numbers for more general groups Consider a finite group G such that (Gi) there is a K G such that K Z2, and (G2) foreachgeG,ifg=2thengeK. REMARK: For example, Z2r for r 1 satisfies the above conditions. Also 1*, the binary icosahedral group, satisfies the conditions. (Note that 1* is a non-abelian group.) Now, suppose = (E, M) is a C-bundle such that (a) if x e M then G = K, and (b) ifvEEandvO,thenG={e}. Call such a bundle a (G;G/Z2)-bundle. By the property (G2) above, K is the subgroup of order two in G, so we denote it Z2 without a chance of confusion. Lemma 5.1. If g e C is of odd order, then (g), the cyclic group generated by g, must act freely on PROOF. Suppose g E C and II = 2n + 1 where n> 1, is such that g acts trivially. But this contradicts (a) since I (g) I > 2. Therefore elements of odd order can not act trivially. But every element of (g) is of odd order, therefore (g) acts freely. • 37 5.1. Characteristic numbers for more general groups Let = (E’, M) and 2 = (E2,M) be two (C;G/Z2).-bundles over the same base. Let g E G and let : —* be the bundle map induced by the left multiplication by g. If = 2n, then locally on the fibers we have that (L’)®L2) = (L))Th®(L2)) = (—1)®(-1) = 1®1 since gfl = 2 and for x e M, gx = x. (Note: as always we can take some G-equivariant Riemannian metric, so that locally (L) can be taken to be an element of 0(k), where k stands for the rank of the bundle .) Therefore ® is a (G/7Z2;G/Z2)-bundle (i.e. a free G/Z2-bundle, or equivalently, a G-bundle in which the isotropy at every point is K = Z2). Let Bk(G; G/Z2)denote the bordism ring of (G/Z2;G/Z2)-bundles, then we have the following Theorem 5.2. There is an isomorphism of Jf-modules :Bk(G;G/Z2) f*(BSOk >< BG) for all odd k. PROOF. The proof is conceptually similar to that of Theorem 3.1. We only verify certain key points. Let be a (G;G/Z2)-bundle of odd rank k. Then A is a (C;G/Z2)-bundle, and as in the proof of Theorem 3.1, the action on can be verified to be orientation preserving. Classify (®A)/(G/Z2)into BSOk, and classify S(Ae) — S(A)/G into BG. We obtain a class in .iV(BSOk x BG) and a homomorphism 4:13k(G;G/Z2) >f(BSOk xBG) 38 5.1. Characteristic numbers for more general groups which can be checked to be well-defined (by an argument similar to the one found in the proof of Theorem 3.1). Conversely, if ij is a (G/Z2;G/Z2)-bundle and A is a (G; G/Z2)-line bun dle, ®A is a (C;G/Z)-bundle, and by the general properties of C-vector bundles, we obtain (in the case when = ®A) (®A)®A C C Given a classifying map g : M — BG, let M = g*(EC). M is a free G manifold, and we can associate a (C; C/Z2)-line bundle A to the principal Z2-bundle 7t : M —* M/Z2. It is not hard to see that if M = S(Ae)/C and g classifies S(A), we get that S(A) S(Ae) (which is an isomorphism of principal C-bundles). Given f : M —* BSOk, form = f*(k), and let 7 = 1r*(q) which is a (C/Z2;C/Z2)-bundle. Form [‘®A], a class in Bk(C; G/7Z2). Call the homo morphism induced by this construction :JV(BSOk x BG) 13k(C;C/Z2). As in the proof of Theorem 3.1, we can check that IJ is well defined, and that=1.• Let £(C; G/Z2) be defined as follows: let be a (G;G/Z2)-bundle, then is in £(C; C/Z2) if there exists a (C; C/7Z2)-bundle ‘ such that ‘ is(C; C/Z2)- bundle bordant to e and ‘ supports a (G; C/Z2)-line bundle. Then we obtain Theorem 5.3. suppose [] E B2k(C; C/Z2), and £(C; C/Z2), then we can assign a class x E .N(BO2k x BG) to [a], such that if x = 0 then [] = 0. PROOF. The proof is conceptually identical to that of Theorem 3.3, and the generalizations involved are completely analogous to those of the proof of 39 5.2. Smith constructions, extensions, restrictions for G = Z2r Theorem 5.2. • REMARK: The characteristic numbers for [] E Bk(G; G/Z2) are similar to those of Proposition 3.4, except that the characteristic classes involved in the classification of the quotient of the base of the bundle now come from the generators of H*(G;Z2). 5.2 Smith constructions, extensions, restrictions for G=Z2 As always, let G be a finite group acting smoothly on a compact manifold M. Let V be an orthogonal, real representation of G of dimension k. We say that a submanifold N C M is dual to V if (1) N is C-invariant in M, and (2) the normal bundle v of N in M is C-isomorphic to N x V. For arbitrary M and V such a submanifold might not exist. Given K C, let AK denote the family of all subgroups of K. Then we have the following Proposition 5.4. (Rowlett) Let G be nilpotent, K G, and for every x E M let G K, and let K ker V. Then there is a C-invariant submanifold N C M dual to V. Furthermore, there is an JV-module homomorphism i:iV(AK) > NG(AK) of degree —k, such that ([M]) is represented by a submanifold dual to V. PROOF. The proof can be found in [15]. • REMARKS: Note that the statement of the proposition implies that any two submanifolds dual to V in M are bordant as AK-manifolds. We will abuse the notation slightly and denote any particular choice of such a submanifold by (M). Therefore, the bordism class ([M]) is represented by a manifold or equivalently ([M]) = [(M)]. The homomorphism L is usually referred to in the literature as the generalized Smith homomorphism. 40 5.2. Smith constructions, extensions, restrictions for G = Z2r Since we intend to generalize Proposition 5.4 to G-bordism of bundles, we will outline the key parts of the proof. Given a class [M] E the proof constructs a G-space U and shows that one can always select an equivariant map f : M —* U x V which is transverse regular to U in U x V. The manifold (M) is then defined to be f’(U). That this operation is well-defined with respect to bordism classes is demon strated as follows: suppose f:M —* U x V give (M) f1(U) for i = 0 and 1. Also suppose W is such that W = M011M. Then according to [15], we can find some equivariant F: W —* U x V such that F is transverse reg ular to U, and furthermore FIM is isotopic to fj. Let G1 :M x I — U x V denote these isotopies. Now glue M0 x I U W U M1 x I and denote the resulting manifold by W’. Also glue the maps Go U F U G1 and denote the resulting equivariant map by F’. Therefore F’ : W’ — U x V and = f’(U) Ufj’(U) = (Mo) 1I(M by the construction of W’ and F’. Therefore Z is well defined on bordism classes. Now given a (Z2r;Z2r-i )-bundle , observe that the base M is a Z2r manifold such that for every x E M, G = Z2. Therefore [M] e .N (AZ2). Take V = L (i.e V R and the generator of Z2r acts on R by multiplication by (—1)) and define = (5.1) where (M) is the submanifold of M dual to R_. We show that this construction is well defined on the bordism classes of (Z2r;-i)-bundles. Let ebe a(Z2r;_i)-bundle over W such that and the base of each 4j is M. Extend the gluing M0 x IUWUM1xl to the equivariant clutching o x I U U i x I and denote the resulting (Z2r;2_i)-bundle by ‘. Define F’ as before, and using the definition of 41 5.2. Smith constructions, extensions, restrictions for G = Z2r we have = = = (o) T.1 Therefore (5.1) gives a well-defined homomorphism. Definition 5.5. Let :*(Z2r;-i) *(Z2r;-i) be the homomorphism of .Af-modu1es which takes [] to where M is the base manifold of . As in the (Z4;2)-bundle case, we define the extension and the restriction homomorphisms. Let T = e/’2r_1 be the generator of Z2r. Then given a (Z2; {e})-bundle , let e (ii) be defined as e() = ( xZ2r)/((—1) x T’) and let the action on e () be given by 1 x T. Definition 5.6. The above construction defines a homomorphism of f modules e” :(Z2;{e}) *(Z2r;—i) which takes {i] to [e (n)]. REMARK: Note that T2’1 = —1. In a completely analogous way to the Z4 case (see Definition 4.10), we get Definition 5.7. Let e’ :.M.(BZ2) .N(BZ2r) be the extension homomorphism of.Af-modules which sends a free involution [Iv!, uj to [(M xZ2r)/((—1) x (—1)), 1 x T]. 42 5.3. The bundle splitting for C = Z2r Restricting the action from Z2r to Z2, induces a homomorphism *(Z2r;_i) —* *(Z2;{e}) and a homomorphism M(BZ2r)—*jV*(Z, both of which will be denoted by rz2. Finally note the following Lemma 5.8. If [j e B*(Z2r;Z_i) then rz2 a = 0. PROOF. The proof is essentially the same as that of Lemma 4.6, since by definition z) = and the tubular neighborhood U of (M) in M isZ2r-diffeomorphic to (M) x R_. Therefore M — U again consists of two parts exchanged under the action of the generator of Z2r, and the rest of the proof follows as before. • 5.3 The bundle splitting for G = Let T = e”2r_1 be the generator of Z2r. Then Z2r acts on C by the complex multiplication. Let K = (T2’) Z2, then G = Z2r with K as defined satisfies (Gi) and (G2). Also G/K Z2r-i. Similarly to the freeZ4-bordism case, we have Proposition 5.9. (Katsube) .A/ (BZ2r) is a free JV. -module with basis {[S2”1,Tj, e([S2,a]) In 0}. PROOF. The proof of the proposition can be found in [11]. • 43 5.3. The bundle splitting for C Z2r As a consequence we obtain the following Proposition 5.10. If[A] E i(Z2;_i) and zS[A]) 0, then = [e()] for some (Z2; {e})-line bundle . PROOF. The proof is similar to that of Lemma 6.1. By Lemma 2.6, BOk(C°°) is a free Z2r-i space for odd k. Let EZ2r = S(C), and ob serve that = BOi(C°°) by definition of BOi(C°°). As in the proof of Lemma 6.1, B01(C°°) x EZ2r-i is homotopy equivalent Z2r_i to BOi(C)/Z2r-i= (EZ2r/)_i = BZ2r. Therefore, 1(Z2’;Z2r_i) jZr (BO1(C°°)) BZ2). Denote this isomorphism by . Then as in the proof of Lemma 6.1, l is given by the sphere-bundle construction ([A]) = [S(A)], where [A] E i(Z2;Z2r—l). The inverse, is again given by the construction of the associated line bundle. Now suppose ([A]) 0. By Lemma 5.8, rz2 0 i([A]) = 0, (5.2) 44 5.3. The bundle splitting for G = Z2r and therefore = [F]e” ({S2,a]) + >[Q3][S21’,T] for [Q] and [F,] in N. This expansion is given on the free-Ark-module basis of M(BZ2r) described by Proposition 5.9. Taking (5.2) and using OS( ) = S(( )), we get that rz2 o l(([A]) = 0, and therefore that [Q3] = 0 for all j. Specifically, we have used here that (1) rz2([S1,T]) [S21,a] 0 in .AI(BZ2), and (2) rZeD([S2i,a]) = Z2r/Z [S2,a] = 2r_1 [S2,a] = 0. We can proceed to use Q to obtain ([AJ) = [e (j)] for some (Z2; {e}) line bundle ‘i. • This proposition, in combination with Theorems 5.2 and 5.3, allows us to generalize Proposition 4.15 to Z2r. First we must define the collection £(Z2r;Z2r_i). Definition 5.11. Let e .(Z2r;_i) if there exists some (Z2r;—i)- bundle ‘ such that , and the base of ‘ supports a (Z2r;Z2r-l )-(Z2r;Z2r_i) line bundle. Proposition 5.12. If [] e Bk(Z2r;Z2r-1) is such that z([]) 0 and £(Z2r;Z_i), then = [e(C)] for some (Z2; {e})-bundle c. PROOF. We only need to make a few key group-specific observations. The reader is referred to the proof of Proposition 4.15 for notation and the general idea of the argument. 45 5.3. The bundle splitting for G = Z2r We first argue for bundles of odd rank. Given [] e B2k+1(Z2r;Z2_1), by Theorem 5.2 K o ([]) is in W*(BSO2k+l) ® .M(BZr). Pulling back as before (except using EZ2r instead of EZ4), we get a (Z2r—i;2r_i)-bundle and a (Z2r;Z2r_i)-line bundle A, such that [‘®)] = [c]. But an analysis of the Kftnneth isomorphism again verifies that 7®A = ii x A’, where i is a (non-equivariant) orientable bundle, and A’ is some (Z2;Z2r_i)-line bundle. Therefore (®A) = x (A’), and an application of the Proposition 5.10 gives the generalization. As is the case of (Z4;2)-bordism, if k is even, we let the class x of Theo rem 5.3 play the role of ( [c]), and the rest of the argument is completely analogous to the odd-case argument. • 46 Chapter 6 Proofs of Bundle Results 6.1 Characteristic numbers 6.1.1 The proof of Theorem 3.1 We need to construct an isomorphism :Bk(Z4;Z2) Af(BSOk X BZ4) for all odd k. PROOF. Given a rank k, (Z4;2)-bundle (E, &, M, u), where k is odd, form A = (AE, A, M, ) which is a (Z4;2)-bundle since locally, on each fiber, (Aa)2A...Aa=(_1)A...A(_)=(_1)k.1A...A1=_1. Here we have used the fact that we can take someZ4-invariant Riemannian metric on ., giving that &2IEX e 0(k), where E is the fiber above some x e M. Now form ®A = (E®AE,®M,M,a) and this is a (Z2;)- bundle since A is a (Z4;2)-bundle: explicitly, (6®A3)2 =â2®(A&) = (1)0 (_i)k = 101 on the fibers. Note that ® A is orientable since A(®A) E4 non-equivariantly. We show that the action of 60A& is orientation preserving. We can take UIE to be the length-preserving linear transformation from the fiber E to Denote L = E, V = E, and V’ = E(). Then L: V —* V’. Pick a 47 6.1. Characteristic numbers basis for V, say {Vi,. . . ,v}. Then Vi®(vlA . .. A vk) = Wi Vk®(V1A...AVk)Wk is a basis of V®AV. Suppose we pick a basis with a different orientation {v1,... ,—Vi,.. . ,Vj}. Then note that vi®(vi A... A(—v)A... AVk) = —Wi —v®(vi A ...A(—v)A... AVk) =w Vk®(V1A ... A (—vi) A . .. A Vk) = —Wk. But then (—Wi) A .. . A w A ... A (—wk) = w1 A ... A wk since k is odd. Therefore V®AV has a canonical choice of orientation, and likewise V’®AV’ has a canonical choice of orientation. But L(vi ),. . . , L(Vk) is a basis of V”, and the same argument as above applied to this basis shows that L ® AL takes the canonical orientation of V® AV to the canonical orientation of V”®AV’. Therefore, â®A is orientation preserving. Therefore = ®/&®Ad is orientable, and we let f : M/ —* BSOk be the classifying map. Now take S(A) = {v E A lvi = 1} (again, with respect to some Z4- invariant Riemannian metric), and note that 0 = (A&) I S(A) gives a free Z4-action on the closed manifold S(A). By construction, S(A)/92 is 7Z2- diffeomorphic to (M, a) (the action on the quotient is induced by 0, which 48 6.1. Characteristic numbers covers o-), and S(A)/8 M/a. Let g : M/a —* BZ4 classify the principal Z4-bundle S(A) — M/a. Given [] e B(Z4;Z2), define the homomorphism :l3j(Z; Z2) > .N(BSOk X BZi) by ([]) = [M/u,f x g]. We first show that 4 is well-defined. We need to show that if ã = o U j, then ([o]) = ([]). This is fairly obvious: we simply apply the construction which defines , on , and note that 8A=A9, (6.1) = D®AO (6.2) and that the Z2 action on ®A preserves the boundary. Using this property, and applying (6.1) and (6.2), we get ØA/) = ®A)/ = (o®Ao),/z H(1®1)/z2. And similarly aS(A) = S(ö A ) = S(AO) = S(Ao) U S(A1) where 8S(A) stands for S(Ae)Iow with W being the base of . The last step to do is the classification of these bundles into BSOk x BZ4. We obtain = ([]) + ([]). Next we show that is an isomorphism by producing a homomorphism I’:JV(BSOk x BZ4) —* Bk(Z4;Z2) such that 4oP=id and ‘11o4=id. 49 6.1. Characteristic numbers Let 7t BSOk x BZ4 —* BSOk and 7r2 : BSOk x BZ4 — BZ4 be the projection maps. Also, let k denote the universal bundle over BSOk. Given [N, h] E .N(BSOk xB7Z4), let iS = (lr2oh)*(EZ4and = (7r1oh)*(k). By definition then, N is a principalZ4-bundle over N, and we let denote the free Z4- action on N. If we quotient N by 2, we obtain the principalZ2-bundle N —* N/q2, and we let q5 denote the action induced by q on the quotient We form the associated line bundle A, specifically let A = (N x x (—1)). This is a (Z4;Z2)-line bundle with the action given by q5 = x 1, covering the action c5q on the base (the twisting, induced by the (—1) action on R_, ensures that Now let it: N/2 ; (jct/çj2)/q = N denote the quotient map onto N. Let = ir*(), and note that ir*() C x i (by definition of the pull-back) has aZ2-action induced by bq x 1. Denote this action by q. Clearly, ‘ is a (Z2;)-bundle (with action given by (, q)). Form 7®A, which is a (Z4;2)-bundle since, locally (q®q)2 = (q5)2®(’A) = 1®(—1) = —1®1. Define ‘([N,h]) = [®A]. To show that ‘I’ is well defined, we can proceed as in the case of , and apply the construction to a manifold with boundary. We only need to observe that the operation of taking of boundary commutes with pulibacks: in symbols, thi*( )it*O( ). Now we show that 4 o I1 = id. Take ‘ and A to be as in the definition of , and form ®A. Note that, in what is to follow, all bundle isomorphisms are considered equivariant. Also, we remind the reader that Em denote the trivial, rank m, equivariant bundle (i.e. Em over some (M, a) is defined as (M x R, , x 1, M, a)). 50 6.1. Characteristic numbers We have, A(®A) A®AA A®A. Note that A = A7r*() by definition, and A1r*(i) .*(A). But i is by definition orientable, therefore A implying *(El) = E1. Therefore A’ = A(®A) A, and so = (7®A)®A(7®A) (®A)®A As observed in Section 2.3, this suffices to show that [‘] = [fl]. But for the sake of clarity, we will show this explicitly. Note that 7’, A’, 7, and A are all over the same base: \C7 and therefore we can glue f x I to ‘ x I along 37’ x {1} 37 x {O} by at1 equivariant clutching (once the restrictions of 37’ x {1 } and 37 x {O} to the base are glued by an identity diffeomorphism). Therefore 37’ 37, and similarly A’ A, and both bordisms are(Z4;2) (Z4;2) over the same base N/2 x I. Applying S( ) to the latter bordism gives S(A’) ‘- 8(A). Therefore o ‘([N, h]) = ([37®A]) = [N, h]. (7Z4;Z2) We finally show that ‘I’ o = id. We use the notation as in the definition of . Let r : M —+ M/o denote the principalZ2-bundle of the quotient. Then by the definition of ØA/&®A, the pullback along ir gives The line bundle A associated to S(A) —* M/o is by definition A, therefore = (®A)®A as (Z4;2)-bundles. As before, this shows ‘ “. (Z4;2) and we have ‘I’ o 4([]) = [a’] = [c]. • 51 6.1. Characteristic numbers 6.1.2 The proof of Theorem 3.3 We need to show that if [] eB2k(Z4;7Z2) and E £(Z4;Z2), then we can assign a class x e .N(B02k x BZ4) to [c], such that if x = 0 then [j = 0. PROOF. take [] E B2k(Z4; Z2) such that E £(Z4;Z2); in other words, there exists a (Z4;2)-bundle ‘ such that e’ , and the base of ‘ supports(Z4;Z2) some (Z4;Z2)-line bundle, which we denote by A. Let ‘ = (E’, &‘, M’, u’) and A = (L, L, M’, u’). As in the proof of Theorem 3.1, ‘®A is now a (Z2;2)-bundle: the action is given by the bundle map a’®dL. This action, however, is not necessarily orientation preserving (neither is ‘® A necessarily orientable). Let f : M’/’ —* BO classify the quotient (‘ØA)/(6’®L), and let g: M’/r’ —* BZ4 classify the principal 7Z4-bundle S(A) —* M’/cr’. Combine these maps to obtain the class [M’/a’, f x g] in .M(BO2k x BZ4), which we denote by x. This construction is not well-defined with respect to the (Z4;2)-bordism relation (see the Remark after the proof). Moreover, the choice of A is not canonical, therefore the assignment of the class x is not canonical either: Specifically, A2 could be another (Z4;Z2)-line bundle over the base of ‘, but possibly4e’®A2 ‘®A thereby producing a different x• However, if x = 0 in d(BO2k x BZ4) then {] = 0. To see this, suppose (W, F) is such that O(W, F) = (M’/’, fxg). Using a re verse construction similar to the one defining “Ti in the proof of Theorem 3.1, we pull back this bordism, to obtain a (Z4;2)-bundle bordism. Let ir be the quotient map of the principalZ2-bundle SA)/Z2 —* W, ir1 the projection onto B02k, 7r2 is the projection onto B7Z4, and 72k the universal bundle over B02k. We obtain a(Z4;2)-bundle ØA, where = lr*((iri OF)*Qy2k)), and A is the line bundle such that S(A) (7r2 o F)*(EZ4. 52 6.2. Splitting But now a(’® A) OA (‘ 0 A) 0 A ‘, showing that [c’] = 0 in B2k(Z4; Z2). Therefore [] = [] = 0. I REMARK: Here is an example showing why the assignment of x does not produce a well-defined homomorphism. Let be a (Z4;2)-bundle such that = II ‘, and let (W, 0) denote the base of . Then, as it is clear from obstruction theory, it is not necessarily true that A extends over (W, 0): for example, if H1 (W; Z2) = 0. For a specific example, take the non-trivial line bundle 1 over RP’ and let Z2 act by multiplication by (—1) on the fibers. Form 12 = (7Z4x1)/((—1) x (—1)) which is a (Z4;2)-bundle, the action being induced by i x 1. Note that [121 is not 0 in i(Z4;Z2). The base however is RP1 x Z2, which is a boundary of a free2-manifold: a(D2 x Z2) = x Z2. (To see that [12] 0, note that 1 does not extend over D2, but also (IRP1 x I, id x (—1)) is not a freeZ2-manifold.) 6.2 Splitting 6.2.1 The proof of Proposition 4.15 We will need the following Lemma 6.1. If[A] e i(Z4;2)and z([A]) 0, then ([A1) = [e()] for some (Z2; {e})-line bundle r. PRooF. Let S°° (S(C°°), i), here Z4 acts on C by multiplication by the complex number i. Then BO1(C°°) = S00/i2 by definition of BOk(C°°) (as applied to the case k = 1). More carefully, S0 = U S(C’’) giving S°°/i2 = Uk(S(C)/i) by the topology of a union. Each S(Cc)/i2 is diffeomorphic to the space of lines in C’s’. Therefore S00/i2 = BO1(C°°) by the definition of the latter, and the freeZ2-action is induced by i; we denote this action by r. 53 6.2. Splitting The quotient B01(C°°) BOi(C°°)/r is therefore a principal 7Z2-bundle. Let EZ2 = (5(R°°), (—1)) be the top space of the universal principal Z2- bundle. The projection map K of the fibration (BOi (C°°) x EZ2),//( >< (—1)) BOl(C°°)/, is a homotopy equivalence, since the typical fiber EZ2 is contractible. But by definition S = EZ4 giving that BOi(C°°)/r = BZ4. Therefore we can conclude i(Z4;2) i’f(BOi(C°°) )< EZ2) f(BO1(C°°)/Z2) .Ar(BZ). Therefore, the bordism of (Z4;2)-bundles of rank 1 is isomorphic to the principalZ4bordism. Denote the isomorphism by h1(Z4;2) .Af(BZ4). We are only interested here in the .A14-module structure, so for us the iso- morphism is an .N-modu1e isomorphism. Let {).] e i(Z4;Z2), and if we denote A = (L, L, M, o) then 1 is given explicitly by [S(A),âLIs(,)=us]. The inverse is given by the construction of the line bundle associated to the principalZ2-bundle S(A) —* S(A)/6. By Lemma 4.6, rz2 o = 0; i.e. there exists a (Z2; {e})-bundle such 54 6.2. Splitting that OE =rz2(z(A)). But then rz2 (z([?L])) = 0 (6.3) by the definition of , since S(E) = S(AQj). By Proposition 4.13, the N-modu1e basis of V(BZ4) is given by the ele ments e([S2Th,a]), where a denotes the antipodal action, and [S2’,T], where 21 = S(C°°) and T is induced by the multiplication by i on C. Therefore = [P] e ([52z, a]) + [Q] .[5t2+1, T] for [Pt] and [Q] in J. But by (6.3), 0 =rz2((z([A]))) = rz2 oe([S,a]) + [Q] r2 o [S2’,T] = [Qj]. [S21,a]. The last equality follows since rz2 o e([52i, a]) = 2 [S2’, a] = 0 in .M1(BZ2) by Lemma 4.12, and since rz2o[S2’,T] = [S2i+l, a] by the definition ofT. Note that [S2i+1,a] are non-trivial in .N(BZ2)(see [27]), therefore [Q3] = 0 for allj. Hence, 1(([A])) = e([N]) for some [N] e .M(BZ2), and by constructing the line bundle associated to the principalZ2-bundle e(N) we get z ([A]) = (e ([N])) = [e (n)], where is the (Z2; {e})-line bundle associated to the principalZ2-bundle N —* N/7Z2. U 55 6.2. Splitting Finally, we use Lemma 6.1 to prove Proposition 4.15. We need to show that if [] e 13*(Z4;Z2) is such that ([j) 0 and e E £(Z4;Z2), then = [eQ)} for some (Z2; {e})-bundle C. PROOF. First we consider the case of bundles of odd rank. Pick [] e B2k+1(Z4; Z2) such that ({j) 0 and the base of is of dimension n. (Since the rank of the bundle is odd, A is a (Z4;2)-bundle, so is automatically in £(Z4;Z2).) Then ([]) e ffl(BSO2k+1 x BZ4), where 4 is as defined in Theorem 3.1. By the Künneth isomorphism K on the .A/-homology functor, Ko([])= [Q,f]®[M3,g i+j=Th for some {Q,f] in A/(BSO2k+l) and some [M3,g] in .A/(BZ4). We can argue on each term of the sum separately (for the sake of clarity, we omit the indices). We have o K([Q, f]®[M,g]) = x M, f x g]) by the definition of K = [y®1, where, by the definition of the bundle ‘ is a (Z2;2)-bundle, while .A is a (Z4;Z2)-lme bundle, and [®l = [1 2k+1(Z4; Z2). Let lrl,1r2, and ‘Y2k+1 be as in the proof of Theorem 3.1. Then the line bundle ). is determined by the property that S) (7r2 o (f x g))*(Ez4= Q x g*cEz4)= Q x Specifically, A is the line bundle associated to the principalZ2-bundle 56 6.2. Splitting M —* M/Z2, where we let M denote the free Z4 manifold g*(EZ4). If we denote the (Z4;Z2)-line bundle associated to M —* M/2 by A’, we then have A=QxA’. Let , = (r o (f x = f*(2k+1) x M, then 7 is given by the pullback of the following diagram (note that the action on Q is trivial by definition): = f*() x M S(AzQxM,, QxM, where ir is the principalZ2-bundle defined by the quotient M/Z4 = M. This gives *() = f*() x M. But then = f*() x A’. (6.4) The base of ®A is Q x M/Z2,and so x M/Z2) = Q x (M/Z2), (6.5) since the action on Q is trivial. Therefore by (6.4), = f*() x i(A’). (6.6) 57 6.2. Splitting Now note that z([]) = [()} = [(®A)]. However, [(7®)j {f*() x (A’)] by (6.6) = [(A’)] by the definition of the product [f*(2k+1)1 e([A]) by Lemma 6.1, for some (Z2; {e})-line bundle A. Now take = x A, and the conclusion of the theorem follows. Now suppose that the rank of is even, and that e C(Z4;Z2). Then by Theorem 3.3, we can assign a class x in .Af*(B02k x BZ4) to . The even-rank argument is analogous to the odd-rank case: the only difference is that we let x play the role of ( [a]), and the reverse construction discussed in the proof of Theorem 3.3 is used in place of • 58 Bibliography [1] M.F. Atiyah, K-theory, Lecture notes by D. W. Anderson, W. A. Ben jamin, Inc., New York-Amsterdam, 1967. [2] R.P. Beem, The action of free G-bordism on G-bordism, Duke Math. J. 42 (1975), 297—305. [3] , On the bordism of almost free Z2k actions, Trans. Amer. Math. Soc. 225 (1977), 83—105. [4] , The structure of 7Z4 bordism, Indiana Univ. Math. J. 27 (1978), no. 6, 1039—1047. [5] R.P. Beem and R.J. Rowlett, The fixed point homomorphism for maps of period 2k, Indiana Univ. Math. J. 30 (1981), no. 4, 489—500. [6] R.P. Beem and E.R. Wheeler, The image of unitary bordism in unori ented bordism - the equivariant case, Proc. Amer. Math. Soc. 45 (1974), 445—449. [7] M. Bix and T. torn Dieck, Characteristic numbers of G manifolds and multiplicative induction, Trans. Amer. Math. Soc. 235 (1978), 331—343. [8] P.E. Conner and E.E. Floyd, Differentiable periodic maps, Second ed., Lecture Notes in Mathematics, no. 738, Springer, Berlin, 1979. [9] A.D. Elmendorf, I. Kriz, M.A. Mandell, and J.P. May, Rings, mod ules, and algebras in stable homotopy theory, Mathematical Surveys and Monographs, no. 47, American Mathematical Society, Providence, R.I., 1997. 59 Chapter 6. Bibliography [10] C.S. Hoo, Remarks on the bordism algebra of involutions, Proc. Amer. Math. Soc. 17 (1966), 1083—1086. [11] Y. Katsube, Principal oriented bordism algebra c,(Z2r), Hiroshima Math J. 4 (1974), 265—277. [12] C. Kosniowksi, Actions of finite abelian groups, Research Notes in Mathematics, no. 18, Pitman, Boston, Mass.-London, 1978. [13] R.K. Lashof J.P. May, and G.B. Segal, Equivariant bundles with abelian group structure, Proceedings of the Northwestern Homotopy Theory Conference (Evanston, Iii., 1982), vol. 19, Amer. Math. Soc., 1983, pp. 167—176. [14] C.N. Lee and A.G. Wasserman, Equivariant characteristic num bers, Proceedings of the Second Conference on Compact Transforma tion Groups (Univ. Massachusetts, Amherst, Mass., 1971), vol. 298, Springer, Berlin, 1972, pp. 191—216. [15] R.J. Rowlett, Torsion in the bordism of oriented involutions, Trans. Amer. Math. Soc. 231 (1977), no. 2, 541—548. [16] , The fixed-point construction in equivariant bordism, Trans. Amer. Math. Soc. 246 (1978), 473—481. [17] G. Segal, Equivariant K-theory, Inst. Hautes tudes Sci. Pubi. Math. (1968), no. 34, 129—151. [18] D. Sinha, Real equivariant bordism and stable transversality obstruc tions for Z2, Proc. Amer. Math. Soc. 130 (2002), 271—281. [19] R.E. Stong, Complex and oriented equivariant bordism, 1970 Topol ogy of Manifolds (Proc. Inst., Univ of Georgia, Athens, Ga., 1969), Markham, Chicago, Ill., pp. 291—316. [20] , Bordism and involutions, Ann. of Math. 90 (1969), 47—74. 60 Chapter 6. Bibliography [21] , Unoriented bordism and actions of finite groups, Memoirs of the American Mathematical Society, no. 103, American Mathematical Society, Providence, R.I., 1970. [22] , Equivariant bordism and Smith theory. IV, Trans. Amer. Math. Soc. 215 (1976), 313—321. [23] , Semi-free group actions, illinois J. Math. 23 (1979), no. 4, 666—680. [24] J.C. Su, A note on the bordism algebra of involutions, Michigan Math. 12 (1965), 25—31. [25] R. Thom, Quelques proprieté’s globales des varits differentiables, Comm. Math. Helv. 28 (1954), 17—86. [26] T. torn Dieck, Characteristic numbers of C manifolds. I, Invent. Math 13 (1971), 213—224. [27] F. Uchida, Bordism algebra of involutions, Proc. Japan Acad. 46 (1970), no. 7, 615—619. [28] A.G. Wasserman, Equivariant differential topology, Topology 8 (1969), 127—150. 61

Cite

Citation Scheme:

        

Citations by CSL (citeproc-js)

Usage Statistics

Share

Embed

Customize your widget with the following options, then copy and paste the code below into the HTML of your page to embed this item in your website.
                        
                            <div id="ubcOpenCollectionsWidgetDisplay">
                            <script id="ubcOpenCollectionsWidget"
                            src="{[{embed.src}]}"
                            data-item="{[{embed.item}]}"
                            data-collection="{[{embed.collection}]}"
                            data-metadata="{[{embed.showMetadata}]}"
                            data-width="{[{embed.width}]}"
                            data-media="{[{embed.selectedMedia}]}"
                            async >
                            </script>
                            </div>
                        
                    
IIIF logo Our image viewer uses the IIIF 2.0 standard. To load this item in other compatible viewers, use this url:
https://iiif.library.ubc.ca/presentation/dsp.24.1-0067181/manifest

Comment

Related Items