I am asking this because i know that lerayhirsch theorem is a very particular case of leray spectral sequence which is valid for sheaf cohomology in general. Lecture notes in algebraic topology pdf 392p this note covers the following topics. We know that if we have a short exact sequence of chain complexes 0 c. By a spectral sequence in an abelian category a, we mean a collection of bi. This is the third course in the first year graduate algebraic topology sequence. This takes more work than is necessary and instead our approach will be to reduce to the affine case whose proof does in some sense use the spectral sequence. In order to apply the leray hirsch theorem, we must verify point 3. It can be thought of as a mild generalization of the kunneth formula, which computes the cohomology of a product space as a tensor product of the cohomologies of the direct factors.
Let e be a vector bundle of weight 1 and rank n c on x. In 1934 leray published an important paper that founded the study of weak solutions of the navierstokes equations. He was born in chantenaysurloire today part of nantes. We also prove a twisted lerayhirsch theorem, which we will make repeated use of in later sections. Some extremely brief notes on the leray spectral sequence. Lerayhirsch theorem and the contraction of curves on surfaces. These are two simple conditions that force the leray spectral sequence to converge. As an example of how this could be used, we point out that for any. Thakur assume that all endomorphisms of the holomorphic vector bundles e1 and e2 are scalar multiplications. Topological library series on knots and everything.
This particular statement is a corollary of the general lerayhirsch theorem about the degeneration of the serre spectral sequence and the vanishing of cn. So in a sense, the serre spectral sequence can be seen as measuring the obstruction to finding cohomology classes that restrict to generators of the fiber. The proof, which is premised on a few basic properties of the serre spectral sequence, is deferred to a later point in the course, at which we will discuss this tool in some detail. Pdf hosted at the radboud repository of the radboud. The lerayhirsch theorem and the action of the weyl group 126 5. For a proof of the existence of a spectral sequence under the conditions alluded to above, see grothendieck spectral sequence. Some extremely brief notes on the leray spectral sequence intro. Characteristic classes and the relations among them 5 6. The e2 page of the serre spectral sequence is what one would obtain by lerayhirsch. As an intermediate step, we obtain a stacky version of the very useful leray hirsch theorem. Peter kronheimer taught a course math 231br on algebraic topology and algebraic k theory at harvard in spring 2016. The leray hirsch theorem states sufficient fiberwise condition for the ordinary cohomology of the total space of a fiber bundle with coefficients in a commutative ring to be free module over the cohomology ring of the base space. In order to apply the lerayhirsch theorem, we must verify point 3.
Ag 25 jan 2002 degeneration of the leray spectral sequence for certain geometric quotients c. Generalizing the lerayhirsch theorem the proof of the lerayhirsch theorem as given in 9, p. Lecture notes on homotopy theory and applications math. For cohomology with rational coe cients, the same proof applies to a slightly more general situation. Pdf the heredity and bimeromorphic invariance of the.
As an intermediate step, we obtain a stacky version of the very useful lerayhirsch theorem. Splitting principle and the projective bundle formula there are two leftovers from the proof of the existence and uniqueness of stiefelwhitney classes. The lerayhirsch theorem states sufficient fiberwise condition for the ordinary cohomology of the total space of a fiber bundle with coefficients in a commutative ring to be free module over the cohomology ring of the base space. It is named after jean leray and guy hirsch, who independently proved it in the late 1940s. A nontrivial ghost kernel for the equivariant stable cohomotopy of projective spaces markus szymik abstract it is shown that the ghost kernel for certain equivariant stable cohomotopy groups of projective spaces is nontrivial. Cohomology of fibrations the serre spectral sequence 105 3. Spectral sequences and applications department of mathematics. Pdf degeneration of the leray spectral sequence for certain.
It is a very special case of the leray spectral sequence. This entry is a detailed introduction to stable homotopy theory, hence to the stable homotopy category and to its key computational tool, the adams spectral sequence. If uu i is an open cover of y, form the cech complex with respect to cover f. In these cases n2n is the dimension of the manifold. As a consequence, we will derive some homotopytheoretic applications. Cartanleray and lyndonhochschildserre spectral sequences, are. Free algebraic topology books download ebooks online textbooks. It is impossible to describe everything about spectral sequences in the duration of a single course, so we will focus on a special and important example. In the same year, he and juliusz schauder discovered a topological invariant, now called the lerayschauder. The goal is to give some examples of spectral sequences, and some example computations, in the context of algebra and algebraic geometry. The connection of brownkervaire invariants to the adams spectral sequence examined in 22 is only included for the sake of completeness. Free algebraic topology books download ebooks online. Pdf degeneration of the leray spectral sequence for. We specialize to the case of free loop spaces where the embedding is the diagonal embedding.
Use the cohomological lerayserre spectral sequence and the derivation property to compute d 3 explicitly, using the cohomology ring of cp1. Chain complexes, homology, and cohomology, homological algebra, products, fiber bundles, homology with local coefficient, fibrations, cofibrations and homotopy groups, obstruction theory and eilenbergmaclane spaces, bordism, spectra, and generalized homology and spectral sequences. Download fulltext pdf degeneration of the leray spectral sequence for certain geometric quotients article pdf available in moscow mathematical journal 23 january 2003 with 62 reads. In mathematics, the lerayhirsch theorem is a basic result on the algebraic topology of fiber bundles. Recently active spectralsequences questions page 3.
Since zp is the psylow subgroup of p, and since g is the normalizer of that in p, the cohomology of g is the cohomology of p, plocally. Altogether, these additional topics amount to nearly half the book, and they are included here both to make the book more comprehensive and to give the reader who takes the time to delve into them a more substantial sample of the true richness and beauty of the subject. Projective toric generators in the unitary cobordism ring. Cohomology of symmetric spaces of classical type 146 chapter 4. To that end we introduce the modern tools, such as model categories and highly structured ring spectra. A nontrivial ghost kernel for the equivariant stable. We will give an introduction to vector bundles, characteristic classes, and spectral sequences. The classical theorems of leray and hirsch and of borel and serre are. As a motivating example, consider the long exact homology sequence. Algebraic topology lectures by haynes miller notes based on livetexed record made by sanath devalapurkar images created by john ni march 4, 2018 i.
Use the lerayserre spectral sequence for the homotopy bration cp1. It can be thought of as a mild generalization of the kunneth formula, which computes the cohomology of a product space as a tensor product of the. In section 8, as an example, we consider the case when the embedding is the inclusion of complex projective spaces. Lecture notes in algebraic topology pdf 392p download book. Lerayhirsch theorem for dolbeault cohomology mathoverflow. Singular homology of fiber spaces topological library. We find some spectral sequences to compute the homology of x in terms of the homology of y and that of the fibers.
This is a grothendieck spectral sequence, by taking categories a abx, b aby and c abgp. Let hbe a cohomology theory and xbe a nite cw complex. S3 to calculate h s3h3i and use the result to show that. We will start with some general concepts and results about fiber bundles and vector bundles, then we will move to topics like topological ktheory, stiefelwhitney. So, if the leray spectral sequence degenerates at e2, knowing the cohomology of the source x is equivalent to knowing that of the target y. Explicit computations for the intersection of two complex quadrics are presented. The main idea is to make a spectral decomposition of am, e, i 1, 2 in terms of the behaviour of the eigenvalues of a as e 0. May 24, 2010 the e2 page of the serre spectral sequence is what one would obtain by leray hirsch. Introduction to the serre spectral sequence, with a number of applications, mostly fairly standard, the adams spectral sequence, eilenbergmoore spectral sequences.
In the accompanying seminar we consider applications to cobordism theory and complex oriented cohomology such as to converge in. One is the splitting principle, the other one is the lerayhirsch theorem. Each lecture gets its own chapter, and appears in the table of contents with the date. Homotopy theory, examples 3 oscar randalwilliams lent 2015 1.
The point of lerayhirsch is that it is sometimes free. The basic examples of manifolds with corners of codimension kfor 0 k nare open subsets of 0. The main idea is to make a spectral decomposition of am, e, i 1, 2 in. He studied at ecole normale superieure from 1926 to 1929. A users guide to spectral sequences, second edition mathematics. Lerayserre spectral sequence for quasifibrations 1 homotopy. Qis the same as the cohomology of a projective bundle. Spectral sequence of a differential group with increasing filtration. In fact, a similar sequence exists for a bration f. Lectures on perverse sheaves and decomposition theorem. This result agrees with what was previously known about the cohomology of m4. The hypercohomology groups of a boundedbelow complex generalize the ordinary cohomology groups on an object.
82 1384 122 974 399 1297 403 611 1460 1265 17 702 937 1367 285 991 1445 1530 417 1161 475 1536 829 1273 996 215 1191 336 750 1057 308 1345 797 5 370