DOCSLIB.ORG

Euler Class and Intersection Theory Seminar Bordism Theory

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Euler Class and Intersection Theory Seminar Bordism Theory Euler Class and Intersection Theory Seminar Bordism Theory Matthias Görg June 21st, 2018 1 Introduction In this talk we show further properties of the Euler Class e(E) 2 Hn(M) of an oriented rank n vector bundle E ! B. Recall that it is dened as the image of the Thom class n n n n u 2 H (E; E0) under the composition H (E; E0) ! H (E) ! H (B) i.e. −1∗ n e(E) := π (ujE) 2 H (B) n n where ·|E :H (E; E0) ! H (E) is the restriction map. Theorem 1.1. Let E ! M a smooth oriented rank n real vector bundle over a closed oriented manifold M. Let be a section which intersects the zero section transversely and let Z = (M) \ M where M is identied with the zero section of E. Then its Euler class is the Poincare Dual of the fundamental class of Z: ∗ n e(E) = [Z] 2 H (M; Z) Theorem 1.2. Let M be a compact oriented n-manifold. Then its Euler characteristic is χ(M) = he(M); [M]i To give proofs for these results we will make a quick digression into intersection theory. 2 Intersection Theory Let X a closed oriented smooth manifold of dimension n and A and B oriented smooth submanifolds of X of dimension n − i and n − j respectively. Assume that A and B intersect transversely so that for every p 2 X the map TpA ⊕ TpB ! TpX induced by the inclusions is surjective. Then A \ B is a submanifold of dimension n − (i + j). 1 We give an orientation of TpA \ B by the following convention: Choose an oriented basis u1; : : : ; un−i−j; v1; : : : ; vj; w1; : : : ; wi of TpX such that u1; : : : ; un−i−j; v1; : : : ; vj is an oriented basis of TpA and u1; : : : ; un−i−j; w1; : : : ; wi is an oriented basis of TpB. Then the orientation of TpA \ B is given by u1; : : : ; un−i−j. In particular, if i + j = n so that A \ B is a nite set of points, then p is positively oriented if the map TpA ⊕ TpB ! TpX preserves orientation. In these notes we denote this sign by I(A; B; p). i ∼ Recall that if M is compact and oriented then the Poincaré duality isomorphism H (M; Z) = ∗ Hn−i(M; Z) is given by α 7! [M] _ α with inverse β β. [ Theorem 2.1. The cup product is Poincaré dual to intersection: ∗ ∗ ∗ i+j [A] ^ [B] = [A \ B] 2 H (X; Z) Remark. Note that not all homology classes of a closed oriented manifold can be rep- resented as the fundamental class of an oriented submanifold. Denition 2.2. For a closed oriented manifold X of dimension n we dene the inter- section pairing ·:Hn−i(X) ⊗ Hn−j(X) ! Hn−i−j(X) α · β := [X] _ (α∗ ^ β∗) = α _ β∗: For cohomology classes of complementary dimension, i.e. i + j = n, we will often under- stand α · β 2 H0(X; Z) as an element of Z by replacing it with h1; α · βi. We require a lemma to prove the theorem. Let E ! B be a vector bundle with a bundle metric, let D be its unit disk bundle and @D its unit sphere bundle. Note H∗(D0; @D) = 0 ∼ so we have an isomorphism H∗(D; @D) = H∗(D; D0) and we can interpret the Thom class n ∼ n ∼ as an element u 2 H (D; @D) = H (D; D0) = H(E; E0) where the latter isomorphism is given by excision. Lemma 2.3. Let B be a closed oriented smooth k-manifold and let E be a rank n oriented real vector bundle over B with unit disk bundle D. Then D (iB )∗[B] = [D] _ u 2 Hk(D) where [B] 2 Hk(M) and [D] 2 Hn+k(D; @D) are the fundamental classes of the manifolds and D is the zero section of . iB D Here we give E any metric. The orientation of D is determined by the orientation of the ber and the base, in that order. Proof (Sketch). Let B connected, then we have isomorphisms ∗ 0 π (·)^u n [D]_· π∗ Z = H (B; Z) −−−−−! H (D; @D; Z) −−−−! Hk(D) −! Hk(B) = Z 2 0 The generator 1 2 H (B; Z) maps to [D] _ u 2 Hk(D) and to a generator of Hk(B) so we obtain D , however there might be a sign depending on or . [D] _ u = ±(iB )∗[B] n k We do not show explicitly how the sign can be nailed down. Using the dening property of the fundamental class [B] one can reduce to the case where B is trivial. Then the equation can be veried explicitly singular chains and cochains associated to oriented bases. Alternatively one can use real coecients and use de Rham cohomology, so the sign is easily understood in terms of the orientations. Now in the setting of the main theorem let X be a tubular neighborhood of , so NA = N A that the normal bundle of is isomorphic to X by a dieomorphism which maps the A NA i zero section to A. We can interpret the Thom class as an element uA 2 H (N; N n A; Z) and by the lemma, N . Consider the maps (iA )∗[A] = [N] _ uA i i i H (N; N n A; Z) ! H (X; X n A; Z) ! H (X; Z) where the rst map is given by excision and the second is given by restriction. Denote the image of by X i . uA uA 2 H (X; Z) Lemma 2.4. Ä X ä∗ X (iA )∗[A] = uA or equivalently X X (iA )∗[A] = [X] _ uA 2 Hn−1(X) Now we can prove the theorem Proof of 2.1. We are given an orientation of X, A, B and A \ B. Thus we can dene orientations of the normal bundles X X X and A according to the ber rst NA ;NB ;NA\B NA\B convention so that we can use Lemma 2.4 without any sign. Note there is a canonical isomorphism of vector bundles A X NA\B = (NB )jA\B which preserves orientations. Thus A X ∗ X uA\B = (iA ) uB By the lemma it suces to show that X X X or equivalently uA ^ uB = uA\B X Ä X X ä [X] _ uA\B = [X] _ uA ^ uB We compute Ä ä [X] _ uX = iX [A \ B] A\B A\B ∗ Ä ä Ä ä = iX iA [A \ B] A ∗ A\B ∗ 3 Ä ä Ä ä = iX [A] _ uA A ∗ A\B Ä ä Ä ä = iX [A] _ (iX )∗uX A ∗ A B ÄÄ ä ä = iX [A] _ uX A ∗ B Ä X ä X = [X] _ uA _ uB Ä X X ä = [X] _ uA ^ uB 3 The Euler Class Recall that the Euler Class e(E) of an oriented rank n vector bundle E is dened as Ä −1ä∗ n e(E) := π (ujE) 2 H (B) n n where ·|E :H (E; E0) ! H (E) is the restriction map. Proposition 3.1 (Properties of the Euler Class). Let E ! B; E1 ! B1;E2 ! B2 be oriented vector bundles. 1. If E admits a nonvanishing section, then e(E) = 0. 2. If f : B1 ! B2 is covered by a bundle map f~: E1 ! E2 which is berwise an orientation preserving isomorphism, then ∗ e(E1) = f e(E2) 3. For the product bundle E1 × E2 ! B1 × B2, e(E1 × E2) = e(E1) × e(E2) Let E1, E2 be two oriented vector bundles over B. Then e(E1 ⊕ E2) = e(E1) ^ e(E2) where the orientation of (E1)p ⊕(E2)p is given by an oriented basis of (E1)p followed by an oriented basis of (E2)p. 4. e(E−) = −e(E) where E− is E with reversed orientation. 5. If n is odd, then e(E) + e(E) = 0. Theorem 3.2. Let E ! M a smooth oriented rank n real vector bundle over a closed oriented manifold M. Let a section which intersects the zero section transversely and let Z = (M)\M where M is identied with the zero section of E. Then the Euler class of E is the Poincare dual of the fundamental class of Z: ∗ ∗ n e(E) = [Z] = [ (B) \ B] 2 H (B; Z) 4 Given a section which intersects the zero section transversely, the zero set Z = −1(0) is a submanifold of B and the derivative of along the zero section denes an isomorphism of vector bundles B ∼ (3.1) NZ = EjZ This gives us an orientation of B and thus an orientation of . NZ Z Proof. Let n the Thom class of . Identify the normal bundle B u 2 H (E; E n B; Z) E NZ n with an open tubular neighborhood N of Z in B. Let uZ 2 H (N; N n Z; Z) be the Thom class of B. The map is homotopic through maps NZ jN :(N; N n Z) ! (E; E n B) of pairs to the map (N; N n Z) ! (EjZ ;EjZ n Z) given by the isomorphism 3.1. Thus by naturality of the Thom class, ∗ n ( jN ) u = uZ 2 H (N; N n Z; Z) n n n We apply the composition H (N; N n Z; Z) ! H (B; B n Z; Z) ! H (B; Z) where the rst is an excision isomorphism.
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]
  • 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 .
    [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]
  • 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].
    [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]
  • 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.
    [Show full text]
  • 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ˇ .
    [Show full text]