DOCSLIB.ORG

Realizing Cohomology Classes As Euler Classes

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Realizing Cohomology Classes As Euler Classes isibang/ms/2011/2 April 18th, 2011 http://www.isibang.ac.in/e statmath/eprints Realizing cohomology classes as Euler classes Aniruddha C Naolekar Indian Statistical Institute, Bangalore Centre 8th Mile Mysore Road, Bangalore, 560059 India REALIZING COHOMOLOGY CLASSES AS EULER CLASSES ANIRUDDHA C NAOLEKAR s ± Abstract. For a space X let Ek(X), Ek(X) and Ek (X) denote respectively the set of Euler classes of oriented k-plane bundles over X, the set of Euler classes of stably trivial k-plane bundles over X and the spherical classes in Hk(X; Z). We s ± prove some general facts about the set Ek(X), Ek(X) and Ek (X). We also compute these sets in the cases where X is a projective space, the Dold manifold P (m; 1) and obtain partial computations in the case that X is a product of spheres. 1. Introduction Given a topological space X, we address the question of which classes x 2 Hk(X; Z) can be realized as an Euler class e(») of an oriented k-plane bundle » over X. We also look at the question of which integral cohomology classes are spherical. It is convenient to make the following de¯nition. s De¯nition 1.1. For a space X and an integer k ¸ 1, the sets Ek(X), Ek(X) and ± Ek(X) are de¯ned to be k Ek(X) = fe(») 2 H (X; Z) j » is an oriented k-plane bundle over Xg s k Ek(X) = fe(») 2 H (X; Z) j » is a stably trivial k-plane bundle over Xg ± k k ¤ Ek(X) = fx 2 H (X; Z) j there exists f : S ¡! X with f (x) 6= 0g: s Note that we always have an inclusion Ek(X) ⊆ Ek(X) and the inclusion can be ± strict. The classes in Ek(X) are called spherical classes. Clearly, spherical classes are of in¯nite order and are indecomposable as elements of the integral cohomology ring. In recent times there has been some interest in understanding the sets Ek (see [5], [6], [13]). Besides being a natural question to study, a part of the motivation for studying ± the sets Ek and Ek comes from the following result. Theorem 1.2. ([5], Theorem 1.3, p. 378) Let » be an oriented k-plane bundle over a CW -complex X. If the Euler class e(») is spherical, then the holonomy group of any Riemannian connection on » acts transitively on the sphere bundle S(») of ». ¤ There are isolated results in the literature about the set Ek(X) (see [5], [6], [13]). The most general result about realizing cohomology classes as Euler classes seems to be the following theorem of Guijarro, Schick and Walschap [5]. Theorem 1.3. ([5], Theorem 1.6, p. 379) Given k; n 2 N with k even, there is an integer N(k; n) > 0 such that for every CW -complex X of dimension n and every 2000 Mathematics Subject Classi¯cation. 57R20, 19M20. Key words and phrases. Euler class, Spherical class. 1 2 ANIRUDDHA C NAOLEKAR cohomology class x 2 Hk(X; Z), there is an oriented k-plane bundle » over X with e(») = 2N(k; n) ¢ x. ¤ Thus, in our notation, under the hypothesis of the above theorem 2N(k; n)Hk(X; Z) ⊆ Ek(X). Note that, with the hypothesis as in the above theorem, we are guaranteed ± ± that (for k even) if Ek(X) 6= ;, then Ek(X) \ Ek(X) 6= ;. Thus the existence of a spherical class implies that some spherical class is also an Euler class of some ori- ented k-plane bundle. In this paper we shall show that the hypothesis that k is even is essential (see Theorem 1.5 below). ± s In this paper we shall compute the sets Ek(X), Ek(X) and Ek(X) for the cases when X is projective space, a product of spheres and the Dold manifold P (m; 1). The paper is organized as follows. ± s In Section 2 we discuss some general properties of the sets Ek, Ek and Ek. Section 3 contains the computational part of the paper. We ¯rst describe the sets ± s Ek(X), Ek(X) and Ek(X) when X is a projective space. The description of these sets when X is the real projective space is arrived at by looking at certain canonical bundles over X. The case when X is the complex projective space follows from a general result that we prove about spaces whose cohomology ring is generated by the second cohomology (see Proposition 3.2). ± s Section 3.3 deals with the computaion of the sets Ek(X), Ek(X) and Ek(X) when X = Sm £ Sn is a product of spheres. It is a classical result of Milnor [8] and n n n Atiyah-Hirzebruch [1] that if n 6= 2; 4; 8 is even, then En(S ) = 2H (S ) (see also [13] Theorem 1.2, for a geometric proof of this fact). In particular, in these cases a generator of Hn(Sn; Z) is never an Euler class. The main theorem of this section is the following. Theorem 1.4. Let X = Sm £ Sn. s (1) If m; n ´ 3 (mod 8), then Ek(X) = 0 for 1 · k < m + n and Em+n(X) = m+n Em+n(X) = 2H (X; Z). (2) If n is even, and n 6= m, then ½ 2Hn(X; Z) if n 6= 2; 4; 8 E (X) = n Hn(X; Z) if n = 2; 4; 8 s n+1 (3) If m = 1 and n ´ 5 (mod 8), then En+1(X) = En+1(X) = 2H (X; Z). ± s Finally, in Section 3.12 we discuss the computation of the sets Ek, Ek and Ek when X is the Dold manifold P (m; 1). The computations depend upon the existence of certain canonical bundles bundles over the Dold manifolds (see [11], [12]). It follows from the computations that the assumption that k is even in Theorem 1.3 is essential. The main theorem of this section is the following. ± Theorem 1.5. Let m > 1 be an odd integer. Then Em(P (m; 1)) 6= ;, Em(P (m; 1)) 6= ± 0 and Em(P (m; 1)) \ Em(P (m; 1)) = ;. COHOMOLOGY CLASSES AS EULER CLASSES 3 2. Generalities s ± In this section we prove some general facts about the sets Ek;Ek and Ek. Throughout, we follow the notations in [9]. Recall that if » is an oriented k-plane bundle over X, then its Euler class e(») is k k an element of H (X; Z). Let u» 2 H (E(»);E(»)0; Z) be the Thom class of » and k 2k ' : H (X; Z) ¡! H (E(»);E(»)0; Z) be the Thom isomorphism, then the Euler ¡1 class e(») of » is by de¯nition e(») := ' (u» ^ u»). If k is odd, then the (graded) commutativity of the cup product shows that 2e(») = 0. For an oriented k-plane bundle », the mod 2 reduction of the Euler class e(») equals the top Stiefel-Whitney class wk(») of ». s k Given a space X, we have inclusions Ek(X) ⊆ Ek(X) ⊆ H (X; Z) and in general all the inclusions can be strict. The set Ek(X) is inverse closed as changing the orientation changes the sign of the Euler class. Also, 0 2 Ek(X) and hence the set ± Ek(X) is non empty. On the other hand, as Ek(X) consists of spherical classes, ± 0 2= Ek(X). It is well known that a real line bundle is orientable if and only if it is trivial. Thus for any space X the set E1(X) is trivial (meaning E1(X) = f0g, which will simply be denoted by E1(X) = 0). n We ¯rst note what is known about the set Ek(S ). We begin by recalling the following result. Theorem 2.1. [1], [8], ([13], Theorem 1.2) If n 6= 2; 4; 8 is even, then the Euler class of any n-plane bundle over Sn is an even multiple of a generator of Hn(Sn; Z). ¤ In particular, the above theorem implies that if n is even and n 6= 2; 4; 8, then n n n n En(S ) ⊆ 2H (S ; Z). The set Ek(S ) for the spheres can now be described com- pletely. n Example 2.2. If n is odd then clearly En(S ) = 0. It is known that Euler classes (of the underlying real bundle) of the canonical (complex, quaternionic and octonionic) line bundles over S2 = CP1, S4 = HP1 and S8 = OP1 are generators of H2(S2; Z), H4(S4; Z), and H8(S8; Z) respectively. Since there are maps f : Sn ¡! Sn of arbi- n n n trary degrees and as the Euler class is natural, it follows that En(S ) = H (S ; Z) if n = 2; 4; 8. It is well known (see [9]) that if n is even, then the Euler class of the tangent bundle of Sn is twice a generator. Thus if n is even, then ev- ery element of 2Hn(Sn; Z) is the Euler class of some n-plane bundle over Sn. In n n n other words, 2H (S ; Z) ⊆ En(S ). Together with Theorem 2.1, this implies that n n n En(S ) = 2H (S ; Z) if n is even and n 6= 2; 4; 8. Thus, in this case, the generator of Hn(Sn; Z) does not occur as an Euler class of some bundle over Sn. We begin by making some easy observations.
Load more

Recommended publications
  • Realizing Cohomology Classes As Euler Classes 1
    Ó DOI: 10.2478/s12175-012-0057-2 Math. Slovaca 62 (2012), No. 5, 949–966 REALIZING COHOMOLOGY CLASSES AS EULER CLASSES Aniruddha C Naolekar (Communicated by J´ulius Korbaˇs ) s ◦ ABSTRACT. For a space X,letEk(X), Ek(X)andEk (X) denote respectively the set of Euler classes of oriented k-plane bundles over X, the set of Euler classes of stably trivial k-plane bundles over X and the spherical classes in Hk(X; Z). s ◦ We prove some general facts about the sets Ek(X), Ek(X)andEk (X). We also compute these sets in the cases where X is a projective space, the Dold manifold P (m, 1) and obtain partial computations in the case that X is a product of spheres. c 2012 Mathematical Institute Slovak Academy of Sciences 1. Introduction Given a topological space X, we address the question of which classes x ∈ Hk(X; Z) can be realized as the Euler class e(ξ)ofanorientedk-plane bundle ξ over X. We also look at the question of which integral cohomology classes are spherical. It is convenient to make the following definition. s º ≥ ÒØÓÒ 1.1 For a space X and an integer k 1, the sets Ek(X), Ek(X) ◦ and Ek (X) are defined to be k Ek(X)= e(ξ) ∈ H (X; Z) | ξ is an oriented k-plane bundle over X s k Ek(X)= e(ξ) ∈ H (X; Z) | ξ is a stably trivial k-plane bundle over X ◦ k k ∗ Ek (X)= x ∈ H (X; Z) | there exists f : S −→ X with f (x) =0 .
    [Show full text]
  • Notes on the Atiyah-Singer Index Theorem Liviu I. Nicolaescu
    Notes on the Atiyah-Singer Index Theorem Liviu I. Nicolaescu Notes for a topics in topology course, University of Notre Dame, Spring 2004, Spring 2013. Last revision: November 15, 2013 i The Atiyah-Singer Index Theorem This is arguably one of the deepest and most beautiful results in modern geometry, and in my view is a must know for any geometer/topologist. It has to do with elliptic partial differential opera- tors on a compact manifold, namely those operators P with the property that dim ker P; dim coker P < 1. In general these integers are very difficult to compute without some very precise information about P . Remarkably, their difference, called the index of P , is a “soft” quantity in the sense that its determination can be carried out relying only on topological tools. You should compare this with the following elementary situation. m n Suppose we are given a linear operator A : C ! C . From this information alone we cannot compute the dimension of its kernel or of its cokernel. We can however compute their difference which, according to the rank-nullity theorem for n×m matrices must be dim ker A−dim coker A = m − n. Michael Atiyah and Isadore Singer have shown in the 1960s that the index of an elliptic operator is determined by certain cohomology classes on the background manifold. These cohomology classes are in turn topological invariants of the vector bundles on which the differential operator acts and the homotopy class of the principal symbol of the operator. Moreover, they proved that in order to understand the index problem for an arbitrary elliptic operator it suffices to understand the index problem for a very special class of first order elliptic operators, namely the Dirac type elliptic operators.
    [Show full text]
  • K-Theoryand Characteristic Classes
    MATH 6530: K-THEORY AND CHARACTERISTIC CLASSES Taught by Inna Zakharevich Notes by David Mehrle [email protected] Cornell University Fall 2017 Last updated November 8, 2018. The latest version is online here. Contents 1 Vector bundles................................ 3 1.1 Grassmannians ............................ 8 1.2 Classification of Vector bundles.................... 11 2 Cohomology and Characteristic Classes................. 15 2.1 Cohomology of Grassmannians................... 18 2.2 Characteristic Classes......................... 22 2.3 Axioms for Stiefel-Whitney classes................. 26 2.4 Some computations.......................... 29 3 Cobordism.................................. 35 3.1 Stiefel-Whitney Numbers ...................... 35 3.2 Cobordism Groups.......................... 37 3.3 Geometry of Thom Spaces...................... 38 3.4 L-equivalence and Transversality.................. 42 3.5 Characteristic Numbers and Boundaries.............. 47 4 K-Theory................................... 49 4.1 Bott Periodicity ............................ 49 4.2 The K-theory spectrum........................ 56 4.3 Some properties of K-theory..................... 58 4.4 An example: K-theory of S2 ..................... 59 4.5 Power Operations............................ 61 4.6 When is the Hopf Invariant one?.................. 64 4.7 The Splitting Principle........................ 66 5 Where do we go from here?........................ 68 5.1 The J-homomorphism ........................ 70 5.2 The Chern Character and e invariant...............
    [Show full text]
  • Characteristic Classes and K-Theory Oscar Randal-Williams
    Characteristic classes and K-theory Oscar Randal-Williams https://www.dpmms.cam.ac.uk/∼or257/teaching/notes/Kthy.pdf 1 Vector bundles 1 1.1 Vector bundles . 1 1.2 Inner products . 5 1.3 Embedding into trivial bundles . 6 1.4 Classification and concordance . 7 1.5 Clutching . 8 2 Characteristic classes 10 2.1 Recollections on Thom and Euler classes . 10 2.2 The projective bundle formula . 12 2.3 Chern classes . 14 2.4 Stiefel–Whitney classes . 16 2.5 Pontrjagin classes . 17 2.6 The splitting principle . 17 2.7 The Euler class revisited . 18 2.8 Examples . 18 2.9 Some tangent bundles . 20 2.10 Nonimmersions . 21 3 K-theory 23 3.1 The functor K ................................. 23 3.2 The fundamental product theorem . 26 3.3 Bott periodicity and the cohomological structure of K-theory . 28 3.4 The Mayer–Vietoris sequence . 36 3.5 The Fundamental Product Theorem for K−1 . 36 3.6 K-theory and degree . 38 4 Further structure of K-theory 39 4.1 The yoga of symmetric polynomials . 39 4.2 The Chern character . 41 n 4.3 K-theory of CP and the projective bundle formula . 44 4.4 K-theory Chern classes and exterior powers . 46 4.5 The K-theory Thom isomorphism, Euler class, and Gysin sequence . 47 n 4.6 K-theory of RP ................................ 49 4.7 Adams operations . 51 4.8 The Hopf invariant . 53 4.9 Correction classes . 55 4.10 Gysin maps and topological Grothendieck–Riemann–Roch . 58 Last updated May 22, 2018.
    [Show full text]
  • The Atiyah-Singer Index Theorem*
    CHAPTER 5 The Atiyah-Singer Index Theorem* Peter B. Gilkey Mathematics Department, University of Oregon, Eugene, OR 97403, USA E-mail: gilkey@ math. uo regon, edu Contents 0. Introduction ................................................... 711 1. Clifford algebras and spin structures ..................................... 711 2. Spectral theory ................................................. 718 3. The classical elliptic complexes ........................................ 725 4. Characteristic classes of vector bundles .................................... 730 5. Characteristic classes of principal bundles .................................. 737 6. The index theorem ............................................... 739 References ..................................................... 745 *Research partially supported by the NSF (USA) and MPIM (Germany). HANDBOOK OF DIFFERENTIAL GEOMETRY, VOL. I Edited by EJ.E. Dillen and L.C.A. Verstraelen 2000 Elsevier Science B.V. All fights reserved 709 The Atiyah-Singer index theorem 711 O. Introduction Here is a brief outline to the paper. In Section 1, we review some basic facts concerning Clifford algebras and spin structures. In Section 2, we discuss the spectral theory of self- adjoint elliptic partial differential operators and give the Hodge decomposition theorem. In Section 3, we define the classical elliptic complexes: de Rham, signature, spin, spin c, Yang-Mills, and Dolbeault; these elliptic complexes are all of Dirac type. In Section 4, we define the various characteristic classes for vector bundles that we shall need: Chern forms, Pontrjagin forms, Chern character, Euler form, Hirzebruch L polynomial, A genus, and Todd polynomial. In Section 5, we discuss the characteristic classes for principal bundles. In Section 6, we give the Atiyah-Singer index theorem; the Chern-Gauss-Bonnet formula, the Hirzebruch signature formula, and the Riemann-Roch formula are special cases of the index theorem. We also discuss the equivariant index theorem and the index theorem for manifolds with boundary.
    [Show full text]
  • Commentary on Thurston's Work on Foliations
    COMMENTARY ON FOLIATIONS* Quoting Thurston's definition of foliation [F11]. \Given a large supply of some sort of fabric, what kinds of manifolds can be made from it, in a way that the patterns match up along the seams? This is a very general question, which has been studied by diverse means in differential topology and differential geometry. ... A foliation is a manifold made out of striped fabric - with infintely thin stripes, having no space between them. The complete stripes, or leaves, of the foliation are submanifolds; if the leaves have codimension k, the foliation is called a codimension k foliation. In order that a manifold admit a codimension- k foliation, it must have a plane field of dimension (n − k)." Such a foliation is called an (n − k)-dimensional foliation. The first definitive result in the subject, the so called Frobenius integrability theorem [Fr], concerns a necessary and sufficient condition for a plane field to be the tangent field of a foliation. See [Spi] Chapter 6 for a modern treatment. As Frobenius himself notes [Sa], a first proof was given by Deahna [De]. While this work was published in 1840, it took another hundred years before a geometric/topological theory of foliations was introduced. This was pioneered by Ehresmann and Reeb in a series of Comptes Rendus papers starting with [ER] that was quickly followed by Reeb's foundational 1948 thesis [Re1]. See Haefliger [Ha4] for a detailed account of developments in this period. Reeb [Re1] himself notes that the 1-dimensional theory had already undergone considerable development through the work of Poincare [P], Bendixson [Be], Kaplan [Ka] and others.
    [Show full text]
  • Bundles with Spherical Euler Class
    Pacific Journal of Mathematics BUNDLES WITH SPHERICAL EULER CLASS Luis Guijarro, Thomas Schick, and Gerard Walschap Volume 207 No. 2 December 2002 PACIFIC JOURNAL OF MATHEMATICS Vol. 207, No. 2, 2002 BUNDLES WITH SPHERICAL EULER CLASS Luis Guijarro, Thomas Schick, and Gerard Walschap In this note, we show that the holonomy group of a Rie- mannian connection on a k-dimensional Euclidean vector bun- dle is transitive on the unit sphere bundle whenever the Eu- ler class χ is spherical. We extract several consequences from this, among them that this is always the case as long as χ does not vanish, and the base of the bundle is simply connected and rationally (k + 1)/2-connected. 1. Introduction and statement of main results. Recall that every complete, noncompact Riemannian manifold M with non- negative sectional curvature contains a compact, totally geodesic (hence also nonnegatively curved) submanifold, called a soul. The soul theorem of Cheeger and Gromoll ([2]) states that M is then diffeomorphic to the normal bundle of the soul in M. When studying the converse, namely the question of whether a vector bundle over a closed nonnegatively curved manifold admits a complete met- ric which has also nonnegative sectional curvature, there appear to be con- straints on the topology of the bundle which imply that any such metric must be rigid. One such is the following: Definition 1.1. A Euclidean vector bundle with Riemannian connection is said to have transitive holonomy if the holonomy group associated to the connection acts transitively on (any fiber of) the corresponding sphere bundle.
    [Show full text]
  • Lecture 8: More Characteristic Classes and the Thom Isomorphism We
    Lecture 8: More characteristic classes and the Thom isomorphism We begin this lecture by carrying out a few of the exercises in Lecture 1. We take advantage of the fact that the Chern classes are stable characteristic classes, which you proved in Exercise 7.71 from the Whitney sum formula. We also give a few more computations. Then we turn to the Euler class, which is decidedly unstable. We approach it via the Thom class of an oriented real vector bundle. We introduce the Thom complex of a real vector bundle. This construction plays an important role in the course. In lecture I did not prove the existence of the Thom class of an oriented real vector bundle. Here I do so—and directly prove the basic Thom isomorphism theorem—when the base is a CW complex. It follows from Morse theory that a smooth manifold is a CW complex, something we may prove later in the course. I need to assume the theorem that a vector bundle over a contractible base (in this case a closed ball) is trivializable. For a smooth bundle this follows immediately from Proposition 7.3. The book [BT] is an excellent reference for this lecture, especially Chapter IV. Elementary computations with Chern classes (8.1) Stable tangent bundle of projective space. We begin with a stronger version of Proposi- tion 7.51. Recall the exact sequence (7.54) of vector bundles over CPn. Proposition 8.2. The tangent bundle of CPn is stably equivalent to (S∗)⊕(n+1). Proof. The exact sequence (7.54) shows that Q ⊕ S =∼ Cn+1.
    [Show full text]
  • CHERN CLASSES Juan Moreno
    CHERN CLASSES Juan Moreno §1. INTRODUCTION A characteristic class associates to a vector bundle ! (E,¼,B) a cohomology class ® H¤(B), which Æ ! 2 respects bundle maps, that is, if f : ! ´ is a bundle map, then f ¤® ® . Chern classes, denoted ! ´ Æ ! ck(!) for k N, are characteristic classes associated to complex vector bundles which satisfy the 2 following properties: 0 2k • c0(!) 1 H (B), ck(!) H (B), k N. Æ 2 2 8 2 n • Let C denote the trival rank n complex vector bundle. Then ck(E) 0, k 0. Æ 8 È • If rank(!) n then ck(!) 0 for all k n. Æ Æ È P • Let c(!) denote the formal sum i ci(!) called the total Chern class. Then we have the Whitney Product formula c(! ´) c(!)c(´). © Æ One can give an axiomatic definition of Chern classes, however, we will instead focus on definitions which are more tractible for computations, and give intuition as to what the Chern classes measure. We will give two different perspectives on Chern classes: the first is uses an auxilliary characteristic class, while the second uses the geometry of a connection. These notes do not present a full intro- duction to Chern classes. In particular, we do not provide any proofs of these important properties described above. The purpose of these notes is simply to give explicit constructions of Chern classes so that one can compute them at least for simple examples. For a detailed account of Chern classes and the theory of characteristic classes in general see [Sta74]. In order to construct characteristic classes we must fix a particular cohomology theory to work with.
    [Show full text]
  • Lecture 28: Vector Bundles and Fiber Bundles
    LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very \non-linear". However, there exist many smooth manifolds which admit very nice \partial linear structures". For example, given any smooth manifold M of dimension n, the tangent bundle TM = f(p; Xp) j p 2 M; Xp 2 TpMg is \linear in tangent variables". We have seen in PSet 2 Problem 9 that TM is a smooth manifold of dimension 2n so that the canonical projection π : TM ! M is a smooth submersion. A local chart of TM is given by −1 n T' = (π; d'): π (U) ! U × R ; where f'; U; V g is a local chart of M. Note that the local chart map T' \preserves" the −1 linear structure nicely: it maps the vector space π (p) = TpM isomorphically to the vector space fpg × Rn. As a result, if you choose another chart ('; ~ U;e Ve) containing p, −1 n n then the map T 'e◦T' : fpg ×R ! fpg ×R is a linear isomorphism which depends smoothly on p. In general, we define Definition 1.1. Let E; M be smooth manifolds, and π : E ! M a surjective smooth map. We say (π; E; M) is a vector bundle of rank r if for every p 2 M, there exits an open neighborhood Uα of p and a diffeomorphism (called the local trivialization) −1 r Φα : π (Uα) ! Uα × R so that −1 r (1) Ep = π (p) is a r dimensional vector space, and ΦαjEp : Ep ! fpg × R is a linear map.
    [Show full text]
  • The Topology of Fiber Bundles Lecture Notes Ralph L. Cohen
    The Topology of Fiber Bundles Lecture Notes Ralph L. Cohen Dept. of Mathematics Stanford University Contents Introduction v Chapter 1. Locally Trival Fibrations 1 1. Definitions and examples 1 1.1. Vector Bundles 3 1.2. Lie Groups and Principal Bundles 7 1.3. Clutching Functions and Structure Groups 15 2. Pull Backs and Bundle Algebra 21 2.1. Pull Backs 21 2.2. The tangent bundle of Projective Space 24 2.3. K - theory 25 2.4. Differential Forms 30 2.5. Connections and Curvature 33 2.6. The Levi - Civita Connection 39 Chapter 2. Classification of Bundles 45 1. The homotopy invariance of fiber bundles 45 2. Universal bundles and classifying spaces 50 3. Classifying Gauge Groups 60 4. Existence of universal bundles: the Milnor join construction and the simplicial classifying space 63 4.1. The join construction 63 4.2. Simplicial spaces and classifying spaces 66 5. Some Applications 72 5.1. Line bundles over projective spaces 73 5.2. Structures on bundles and homotopy liftings 74 5.3. Embedded bundles and K -theory 77 5.4. Representations and flat connections 78 Chapter 3. Characteristic Classes 81 1. Preliminaries 81 2. Chern Classes and Stiefel - Whitney Classes 85 iii iv CONTENTS 2.1. The Thom Isomorphism Theorem 88 2.2. The Gysin sequence 94 2.3. Proof of theorem 3.5 95 3. The product formula and the splitting principle 97 4. Applications 102 4.1. Characteristic classes of manifolds 102 4.2. Normal bundles and immersions 105 5. Pontrjagin Classes 108 5.1. Orientations and Complex Conjugates 109 5.2.
    [Show full text]
  • Index Theorems and Supersymmetry
    Uppsala University Department of Physics and Astronomy Division of Theoretical Physics Thesis for the Degree of Master of Science in Physics Index Theorems and Supersymmetry Supervisor: Prof. Maxim Zabzine Author: Subject Reader: Andreas Eriksson Prof. Joseph Minahan Examiner: Sr Lect. Dr Andreas Korn Uppsala, Sweden, July 1, 2014 Thesis Series: FYSAST Thesis Number: FYSMAS1019 urn:nbn:se:uu:diva-231033 (http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-231033) Abstract The Atiyah-Singer index theorem, the Euler number, and the Hirzebruch sig- nature are derived via the supersymmetric path integral. Concisely, the supersym- metric path integral is a combination of a bosonic and a femionic path integral. The action in the supersymmetric path integral includes here bosonic, fermionic- and isospin fields (background fields), where the cross terms in the Lagrangian are nicely eliminated due to scaling of the fields and using techniques from spontaneous breaking of supersymmetry (that give rise to a mechanism, analogous to the Higgs- mechanism, but here regarding the so called superparticles instead). Thus, the su- persymmetric path integral is a product of three path integrals over the three given fields, respectively, that can be evaluated exactly by means of Gaussian integrals. The closely related Witten index is a measure of the failure of spontaneous breaking of supersymmetry. In addition, the basic concepts of supersymmetry breaking are reviewed. CONTENTS CONTENTS Contents 1 Introduction 1 2 Index Theorems 3 2.1 Elliptic Operators . .3 2.2 Characteristic Classes . .5 2.2.1 The Chern Character . .5 2.2.2 The Todd Class . .6 2.2.3 The Euler Class .
    [Show full text]