Lecture 8: More Characteristic Classes and the Thom Isomorphism We
Total Page:16
File Type:pdf, Size:1020Kb
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 . -
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. -
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............... -
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. -
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. -
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. -
The Decomposition Theorem, Perverse Sheaves and the Topology Of
The decomposition theorem, perverse sheaves and the topology of algebraic maps Mark Andrea A. de Cataldo and Luca Migliorini∗ Abstract We give a motivated introduction to the theory of perverse sheaves, culminating in the decomposition theorem of Beilinson, Bernstein, Deligne and Gabber. A goal of this survey is to show how the theory develops naturally from classical constructions used in the study of topological properties of algebraic varieties. While most proofs are omitted, we discuss several approaches to the decomposition theorem, indicate some important applications and examples. Contents 1 Overview 3 1.1 The topology of complex projective manifolds: Lefschetz and Hodge theorems 4 1.2 Families of smooth projective varieties . ........ 5 1.3 Singular algebraic varieties . ..... 7 1.4 Decomposition and hard Lefschetz in intersection cohomology . 8 1.5 Crash course on sheaves and derived categories . ........ 9 1.6 Decomposition, semisimplicity and relative hard Lefschetz theorems . 13 1.7 InvariantCycletheorems . 15 1.8 Afewexamples.................................. 16 1.9 The decomposition theorem and mixed Hodge structures . ......... 17 1.10 Historicalandotherremarks . 18 arXiv:0712.0349v2 [math.AG] 16 Apr 2009 2 Perverse sheaves 20 2.1 Intersection cohomology . 21 2.2 Examples of intersection cohomology . ...... 22 2.3 Definition and first properties of perverse sheaves . .......... 24 2.4 Theperversefiltration . .. .. .. .. .. .. .. 28 2.5 Perversecohomology .............................. 28 2.6 t-exactness and the Lefschetz hyperplane theorem . ...... 30 2.7 Intermediateextensions . 31 ∗Partially supported by GNSAGA and PRIN 2007 project “Spazi di moduli e teoria di Lie” 1 3 Three approaches to the decomposition theorem 33 3.1 The proof of Beilinson, Bernstein, Deligne and Gabber . -
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. -
Fundamental Theorems in Mathematics
SOME FUNDAMENTAL THEOREMS IN MATHEMATICS OLIVER KNILL Abstract. An expository hitchhikers guide to some theorems in mathematics. Criteria for the current list of 243 theorems are whether the result can be formulated elegantly, whether it is beautiful or useful and whether it could serve as a guide [6] without leading to panic. The order is not a ranking but ordered along a time-line when things were writ- ten down. Since [556] stated “a mathematical theorem only becomes beautiful if presented as a crown jewel within a context" we try sometimes to give some context. Of course, any such list of theorems is a matter of personal preferences, taste and limitations. The num- ber of theorems is arbitrary, the initial obvious goal was 42 but that number got eventually surpassed as it is hard to stop, once started. As a compensation, there are 42 “tweetable" theorems with included proofs. More comments on the choice of the theorems is included in an epilogue. For literature on general mathematics, see [193, 189, 29, 235, 254, 619, 412, 138], for history [217, 625, 376, 73, 46, 208, 379, 365, 690, 113, 618, 79, 259, 341], for popular, beautiful or elegant things [12, 529, 201, 182, 17, 672, 673, 44, 204, 190, 245, 446, 616, 303, 201, 2, 127, 146, 128, 502, 261, 172]. For comprehensive overviews in large parts of math- ematics, [74, 165, 166, 51, 593] or predictions on developments [47]. For reflections about mathematics in general [145, 455, 45, 306, 439, 99, 561]. Encyclopedic source examples are [188, 705, 670, 102, 192, 152, 221, 191, 111, 635]. -
The Cohomology Ring of the Real Locus of the Moduli Space of Stable Curves of Genus 0 with Marked Points
ANNALS OF MATHEMATICS The cohomology ring of the real locus of the moduli space of stable curves of genus 0 with marked points By Pavel Etingof, Andre´ Henriques, Joel Kamnitzer, and Eric M. Rains SECOND SERIES, VOL. 171, NO. 2 March, 2010 anmaah Annals of Mathematics, 171 (2010), 731–777 The cohomology ring of the real locus of the moduli space of stable curves of genus 0 with marked points By PAVEL ETINGOF, ANDRÉ HENRIQUES, JOEL KAMNITZER, and ERIC M. RAINS Abstract We compute the Poincaré polynomial and the cohomology algebra with rational coefficients of the manifold Mn of real points of the moduli space of algebraic curves of genus 0 with n labeled points. This cohomology is a quadratic algebra, and we conjecture that it is Koszul. We also compute the 2-local torsion in the cohomology of Mn. As was shown by the fourth author, the cohomology of Mn does not have odd torsion, so that the above determines the additive structure of the integral homology and cohomology. Further, we prove that the rational homology operad of Mn is the operad of 2-Gerstenhaber algebras, which is closely related to the Hanlon-Wachs operad of 2-Lie algebras (generated by a ternary bracket). Finally, using Drinfeld’s theory of quantization of coboundary Lie quasibialgebras, we show that a large series of representations of the quadratic dual Lie algebra Ln of H .Mn; Q/ (associated to such quasibialgebras) factors through the the natural projection of Ln to the associated graded Lie algebra of the prounipotent completion of the fundamental group of Mn. -
Thin Compactifications and Relative Fundamental Classes
THIN COMPACTIFICATIONS AND RELATIVE FUNDAMENTAL CLASSES ELENY-NICOLETA IONEL AND THOMAS H. PARKER Abstract. We define a notion of relative fundamental class that applies to moduli spaces in gauge theory and in symplectic Gromov{Witten theory. For universal moduli spaces over a parameter space, the relative fundamental class specifies an element of the Cechˇ homology of the compactification of each fiber; it is defined if the compactification is \thin" in the sense that the boundary of the generic fiber has homological codimension at least two. The moduli spaces that occur in gauge theories and in symplectic Gromov{Witten theory are often orbifolds that can be compactified by adding \boundary strata" of lower dimension. Often, it is straightforward to prove that each stratum is a manifold, but more difficult to prove \collar theorems" that describe how these strata fit together. The lack of collar theorems is an impediment to applying singular homology to the compactified moduli space, and in particular to defining its fundamental homology class. The purpose of this paper is to show that collar theorems are not needed to define a (relative) fundamental class as an element of Cechˇ homology for families of appropriately compactified manifolds. One can distinguish two types of homology theories. Type I theories, exemplified by singular homology, are based on finite chains and are functorial under continuous maps. Type II theories, exemplified by Borel-Moore singular homology, are based on locally finite (possibly infinite) chains, and are functorial under proper continuous maps. We will use two theories of the second type: (type II) Steenrod homology sH and (type II) Cechˇ homology Hˇ . -
Arxiv:2006.02805V2 [Math.AT] 14 Nov 2020 H Offiin Stering the Is Coefficient the Rbe Ndffrniltplg.W Ics H Rbe N Eae P Let Related Category
REALIZING A HOMOLOGY CLASS OF A COMPACT MANIFOLD BY A HOMOLOGY CLASS OF AN EXPLICIT CLOSED SUBMANIFOLD–A NEW APPROACH TO THOM’S WORKS ON HOMOLOGY CLASSES OF SUBMANIFOLDS– NAOKI KITAZAWA Abstract. It is a classical important problem of differential topology by Thom; for a homology class of a compact manifold, can we realize this by a closed (smooth) submanifold with no boundary? This is true if the degree of the class is smaller or equal to the half of the dimension of the outer man- ifold under the condition that the coefficient ring is Z/2Z and that the outer manifold is closed and smooth. If the degree of the class is smaller or equal to 6 or equal to k − 2 or k − 1 under the condition that the coefficient ring is Z where k is the dimension of the manifold and that the outer manifold is closed, orientable and smooth, then this is also true. As a specific study, for 4- dimensional closed manifolds, the topologies of closed and connected surfaces realizing given 2nd homology classes have been actively studied, for example. In the present paper, we consider the following similar problem; can we real- ize a homology class of a compact manifold by a homology class of an explicit closed manifold embedded in the (interior of the) given compact manifold? This problem is considered as a variant of previous problems. We present an affirmative answer via important theory in the singularity theory of differen- tiable maps: lifting a given smooth map to an embedding or obtaining an embedding such that the composition of this with the canonical projection is the given map.