DOCSLIB.ORG

A TASTE of SPECTRAL SEQUENCES 1. Exact Couples

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A TASTE of SPECTRAL SEQUENCES 1. Exact Couples A TASTE OF SPECTRAL SEQUENCES ANDREW BAKER 1. Exact couples Suppose that A is an abelian category; for simplicity, we assume that its objects are sets and its morphisms are functions, but this is not really necessary since everything we do with elements can be veri¯ed only using morphisms. An exact sequence of morphisms of the form i / (1.1) D `@ D @@ ~~ @@ ~~ @@ ~~ k @ ~~ j E is called an exact couple. Notice that d = jk is a di®erential, i.e., it satis¯es d2 = dd = jkjk = 0. Therefore we can form the homology H(E; d) = ker d= im d: Now consider the sequence 0 0 i / 0 (1.2) D B` D BB || BB || 0 BB || 0 k B ~|| j E0 where D0 = iD = ker j; E0 = H(E; d); and i0 = i ; j0 = j i¡1; k0 = k : jD0 jD jker d Here the notation ( ) indicates passage to cosets. To see what k0 really does, let z 2 H(E; d). Then jk(z) = 0, so k(z) = i(z0) for some z0 2 D. But if w 2 D, then k(j(w)) = 0, so this is well-de¯ned on H(E; d). Notice also that the new di®erential d0 works as follows: using the same notation, we have d(z0) = 0, so [j(z0)] 2 H(E; d) and d0([z]) = [j(z0)]. Then (1.2) is also exact and is called the derived exact couple of (1.1). Iterating this we obtain a sequence of such exact couples i(r) (1.3) (r) / (r) D bE D EE yy EE yy EE yy k(r) E y| y j(r) E(r) in which E(r+1) = H(E(r); d(r)). In examples it is common to have gradings on things. For example, we might have integer bigradings on D and E for which i: Dp;q ¡! Dp+1;q¡1; j : Dp;q ¡! Ep+1;q¡1; k : Ep;q ¡! Dp¡1;q; d: Ep;q ¡! Dp;q¡1: Date: 20/01/2005. 1 2 ANDREW BAKER Then if we set Dr = D(r¡1);Er = E(r¡1); ir = i(r¡1); jr = j(r¡1); kr = k(r¡1); dr = d(r¡1); we ¯nd that r r r r r r r r r r r r i : Dp;q ¡! Dp+1;q¡1; j : Dp;q ¡! Ep+1;q¡1; k : Ep;q ¡! Dp¡1;q d : Ep;q ¡! Ep¡r;q+r¡1: 2. Grothendieck spectral sequences Let A ; B; C be abelian categories and suppose that A ; B have enough projectives, so objects admit resolutions by projective objects. Suppose that we have right exact covariant functors ©: A à B; £: B à C : Then the left derived functors Ls© and Ls£ exist for s > 0. Suppose also that for every projective object P of A we have Ls£(©(P )) = 0 (s > 1): Theorem 2.1 (Grothendieck spectral sequences). For every A in A there is a spectral sequence 2 Ep;q = Lp£Lq©(A) =) Lp+q(£©)(A): Furthermore, this spectral sequence is functorial in A. 2 This is a ¯rst quadrant spectral sequence since Ep;q = 0 unless p; q > 0. Example 2.2 (Change of rings for Tor). Suppose that R ¡! S is a ring homomorphism, and let N be a right S-module. Consider the functors © = ( ) ­R S : ModR à ModS; £ = ( ) ­S N : ModS à AbGps Then for every left R-module M there is a spectral sequence 2 S R R Ep;q = Torp (Torq (M; S);N) =) Torp+q(M; N): There are two standard ways to indicate such a ¯rst quadrant spectral sequence graphically. r In one we put Ep;q at position (p; q) in the plane representing the r-th page of the spectral sequence, then the di®erentials go r steps to the left and up by (r ¡ 1) steps. Notice that for r r(p;q) each (p; q) there is a number r(p; q) for which Ep;q = Ep;q when r > r(p; q); we write 1 r(p;q) Ep;q = Ep;q : Then for each n > 0, there is a ¯ltration R 0 = F¡1;n ⊆ F0;n ⊆ F1;n ⊆ ¢ ¢ ¢ ⊆ Fn;n = Torn (M; N) for which » 1 Fk;n=Fk¡1;n = Ek;n¡k (0 6 k 6 n): R Thus each Torn (M; N) arises from terms in the ¯rst quadrant lying on the line p + q = n and the ¯ltration increases with the p-value. Here the edge homomorphism 2 R 1 =» inc R E0;n = Torn (M; S) ­S N ¡! E0;n ¡! F0;n ¡¡! Torn (M; N) is the obvious homomorphism induced from the associativity homomorphism =» =» (M ­R S) ­S N ¡! M ­R (S ­S N) ¡! M ­R N: There is also another edge homomorphism R =» 1 inc 2 S Torn (M; N) ¡! Fn;n=Fn¡1;n ¡! En;0 ¡¡! En;0 = Torn(M ­R S; N) agreeing with the obvious map. r An alternative is to plot points in the (s; t)-plane where we put Ep;q at position (p + q; p); then the non-trivial terms appear only in the region where s > t > 0. This time the di®erential r R d goes 1 to the left and down by r. Then Torn (M; N) arises from terms on the t = n column and the ¯ltration increases with the t-value. A TASTE OF SPECTRAL SEQUENCES 3 There are variations of the Grothendieck spectral sequence 2.1 involving left (or a mixture of right and left) exact functors. Example 2.3 (Change of rings for Ext). Suppose that R ¡! S is a ring homomorphism, and let L be a right S-module. Consider the functors © = HomR(S; ): ModR à ModS; £ = HomS(L; ): ModS à AbGps Then for every right R-module M there is a third quadrant spectral sequence 2 ¡p ¡q ¡p¡q Ep;q = ExtS (L; ExtR (S; M) =) ExtR (L; M): For each (p; q) there is an r(p; q) for which r r(p;q) 1 Ep;q = Ep;q = Ep;q: For each n > 0, there is a ¯ltration n 0;n 1;n n;n n+1;n ExtR(L; M) = F ¶ F ¶ ¢ ¢ ¢ ¶ F ¶ F = 0 for which k;n k+1;n » 1 F =F = E¡k;k¡n (n > k > 0): Example 2.4 (Change of rings for Ext). Suppose that R ¡! S is a ring homomorphism, and let N be a right S-module. Consider the functors © = ( ) ­R S : ModR à ModS; £ = HomS( ;N): ModS à AbGps Then for every right R-module M there is a third quadrant spectral sequence 2 ¡p R ¡p¡q Ep;q = ExtS (Tor¡q(M; S);N) =) ExtR (M; N): For each (p; q) there is an r(p; q) for which r r(p;q) 1 Ep;q = Ep;q = Ep;q: For each n > 0, there is a ¯ltration n 0;n 1;n n;n n+1;n ExtR(M; N) = F ¶ F ¶ ¢ ¢ ¢ ¶ F ¶ F = 0 for which k;n k+1;n » 1 F =F = E¡k;k¡n (n > k > 0): Remark 2.5. By switching signs, such a spectral sequencecan be regraded as a cohomological p;q p;q p+r;q¡r+1 spectral sequence (Er ; dr) with dr : Er ¡! Er . Example 2.6 (Lyndon-Hochschild-Serre spectral sequence). Let G be a ¯nite group and N/G. Consider the functors N G=N © = ( ) : ModZ[G] à ModZ[G=N]; £ = ( ) : ModZ[G=N] à AbGps Then for every Z[G]-module M there is a ¯rst quadrant cohomological spectral sequence p;q p q p+q E2 = H (G=N;H (N; M)) =) H (G; M): 3. A spectral sequence for Tor and Ext of a limit Recall that in the category of right R modules, for any small ¯ltered category, every functor F : Iop à Mod (often called an inverse system in Mod ) there is an inverse limit lim F . This R R á I de¯nes a left exact covariant functor op lim: ModI à Mod á R R I on the abelian category of inverse systems in ModR; this category has enough injectives. How- ever, there is a weaker kind of injective object, called flasque or flabby; this is an object J for which every short exact sequence 0 ! J ¡! A ¡! B ! 0 4 ANDREW BAKER gives rise to an short exact sequence 0 ! lim J ¡! lim A ¡! lim B ! 0: á á á I I I For every inverse system F there is a flabby resolution 0 ! F ¡! J ² which can be de¯ned as follows. For each s > 0, de¯ne J s by Y s J (i) = F (is); 6= 6= 6= is!is¡1¡!¢¢¢¡!i0¡!i where the product is taken over all diagrams in I where no arrow is the identity except perhaps 0 is ! is¡1. Then there is a map F ¡! J de¯ned from the product of all the maps induced by diagrams j ¡! i, Y F (i) ¡! J 0(i) = F (j): j!i 0 Notice that this map is injective and it cokernel is J de¯ned by 0 Y J (i) = F (j): 6= j¡!i Iterating this we obtain a flabby resolution 0 ! F ¡! J ². Then for s > 0 we have Rs lim F = limsF = Hs(lim J ²; ±); á á á I I I the cohomology of the resulting cochain complex 0 ! lim J 0 ¡!± lim J 1 ¡!¢± ¢ ¢ ¡!± lim J s ¡!¢± ¢ ¢ á á á I I I Theorem 3.1.
Load more

Recommended publications
  • The Leray-Serre Spectral Sequence
    THE LERAY-SERRE SPECTRAL SEQUENCE REUBEN STERN Abstract. Spectral sequences are a powerful bookkeeping tool, used to handle large amounts of information. As such, they have become nearly ubiquitous in algebraic topology and algebraic geometry. In this paper, we take a few results on faith (i.e., without proof, pointing to books in which proof may be found) in order to streamline and simplify the exposition. From the exact couple formulation of spectral sequences, we ∗ n introduce a special case of the Leray-Serre spectral sequence and use it to compute H (CP ; Z). Contents 1. Spectral Sequences 1 2. Fibrations and the Leray-Serre Spectral Sequence 4 3. The Gysin Sequence and the Cohomology Ring H∗(CPn; R) 6 References 8 1. Spectral Sequences The modus operandi of algebraic topology is that \algebra is easy; topology is hard." By associating to n a space X an algebraic invariant (the (co)homology groups Hn(X) or H (X), and the homotopy groups πn(X)), with which it is more straightforward to prove theorems and explore structure. For certain com- putations, often involving (co)homology, it is perhaps difficult to determine an invariant directly; one may side-step this computation by approximating it to increasing degrees of accuracy. This approximation is bundled into an object (or a series of objects) known as a spectral sequence. Although spectral sequences often appear formidable to the uninitiated, they provide an invaluable tool to the working topologist, and show their faces throughout algebraic geometry and beyond. ∗;∗ ∗;∗ Loosely speaking, a spectral sequence fEr ; drg is a collection of bigraded modules or vector spaces Er , equipped with a differential map dr (i.e., dr ◦ dr = 0), such that ∗;∗ ∗;∗ Er+1 = H(Er ; dr): That is, a bigraded module in the sequence comes from the previous one by taking homology.
    [Show full text]
  • Spectral Sequences: Friend Or Foe?
    SPECTRAL SEQUENCES: FRIEND OR FOE? RAVI VAKIL Spectral sequences are a powerful book-keeping tool for proving things involving com- plicated commutative diagrams. They were introduced by Leray in the 1940's at the same time as he introduced sheaves. They have a reputation for being abstruse and difficult. It has been suggested that the name `spectral' was given because, like spectres, spectral sequences are terrifying, evil, and dangerous. I have heard no one disagree with this interpretation, which is perhaps not surprising since I just made it up. Nonetheless, the goal of this note is to tell you enough that you can use spectral se- quences without hesitation or fear, and why you shouldn't be frightened when they come up in a seminar. What is different in this presentation is that we will use spectral sequence to prove things that you may have already seen, and that you can prove easily in other ways. This will allow you to get some hands-on experience for how to use them. We will also see them only in a “special case” of double complexes (which is the version by far the most often used in algebraic geometry), and not in the general form usually presented (filtered complexes, exact couples, etc.). See chapter 5 of Weibel's marvelous book for more detailed information if you wish. If you want to become comfortable with spectral sequences, you must try the exercises. For concreteness, we work in the category vector spaces over a given field. However, everything we say will apply in any abelian category, such as the category ModA of A- modules.
    [Show full text]
  • Some Extremely Brief Notes on the Leray Spectral Sequence Greg Friedman
    Some extremely brief notes on the Leray spectral sequence Greg Friedman Intro. As a motivating example, consider the long exact homology sequence. We know that if we have a short exact sequence of chain complexes 0 ! C∗ ! D∗ ! E∗ ! 0; then this gives rise to a long exact sequence of homology groups @∗ ! Hi(C∗) ! Hi(D∗) ! Hi(E∗) ! Hi−1(C∗) ! : While we may learn the proof of this, including the definition of the boundary map @∗ in beginning algebraic topology and while this may be useful to know from time to time, we are often happy just to know that there is an exact homology sequence. Also, in many cases the long exact sequence might not be very useful because the interactions from one group to the next might be fairly complicated. However, in especially nice circumstances, we will have reason to know that certain homology groups vanish, or we might be able to compute some of the maps here or there, and then we can derive some consequences. For example, if ∼ we have reason to know that H∗(D∗) = 0, then we learn that H∗(E∗) = H∗−1(C∗). Similarly, to preserve sanity, it is usually worth treating spectral sequences as \black boxes" without looking much under the hood. While the exact details do sometimes come in handy to specialists, spectral sequences can be remarkably useful even without knowing much about how they work. What spectral sequences look like. In long exact sequence above, we have homology groups Hi(C∗) (of course there are other ways to get exact sequences).
    [Show full text]
  • The Grothendieck Spectral Sequence (Minicourse on Spectral Sequences, UT Austin, May 2017)
    The Grothendieck Spectral Sequence (Minicourse on Spectral Sequences, UT Austin, May 2017) Richard Hughes May 12, 2017 1 Preliminaries on derived functors. 1.1 A computational definition of right derived functors. We begin by recalling that a functor between abelian categories F : A!B is called left exact if it takes short exact sequences (SES) in A 0 ! A ! B ! C ! 0 to exact sequences 0 ! FA ! FB ! FC in B. If in fact F takes SES in A to SES in B, we say that F is exact. Question. Can we measure the \failure of exactness" of a left exact functor? The answer to such an obviously leading question is, of course, yes: the right derived functors RpF , which we will define below, are in a precise sense the unique extension of F to an exact functor. Recall that an object I 2 A is called injective if the functor op HomA(−;I): A ! Ab is exact. An injective resolution of A 2 A is a quasi-isomorphism in Ch(A) A ! I• = (I0 ! I1 ! I2 !··· ) where all of the Ii are injective, and where we think of A as a complex concentrated in degree zero. If every A 2 A embeds into some injective object, we say that A has enough injectives { in this situation it is a theorem that every object admits an injective resolution. So, for A 2 A choose an injective resolution A ! I• and define the pth right derived functor of F applied to A by RpF (A) := Hp(F (I•)): Remark • You might worry about whether or not this depends upon our choice of injective resolution for A { it does not, up to canonical isomorphism.
    [Show full text]
  • Change of Rings Theorems
    CHANG E OF RINGS THEOREMS CHANGE OF RINGS THEOREMS By PHILIP MURRAY ROBINSON, B.SC. A Thesis Submitted to the School of Graduate Studies in Partial Fulfilment of the Requirements for the Degree Master of Science McMaster University (July) 1971 MASTER OF SCIENCE (1971) l'v1cHASTER UNIVERSITY {Mathematics) Hamilton, Ontario TITLE: Change of Rings Theorems AUTHOR: Philip Murray Robinson, B.Sc. (Carleton University) SUPERVISOR: Professor B.J.Mueller NUMBER OF PAGES: v, 38 SCOPE AND CONTENTS: The intention of this thesis is to gather together the results of various papers concerning the three change of rings theorems, generalizing them where possible, and to determine if the various results, although under different hypotheses, are in fact, distinct. {ii) PREFACE Classically, there exist three theorems which relate the two homological dimensions of a module over two rings. We deal with the first and last of these theorems. J. R. Strecker and L. W. Small have significantly generalized the "Third Change of Rings Theorem" and we have simply re­ organized their results as Chapter 2. J. M. Cohen and C. u. Jensen have generalized the "First Change of Rings Theorem", each with hypotheses seemingly distinct from the other. However, as Chapter 3 we show that by developing new proofs for their theorems we can, indeed, generalize their results and by so doing show that their hypotheses coincide. Some examples due to Small and Cohen make up Chapter 4 as a completion to the work. (iii) ACKNOW-EDGMENTS The author expresses his sincere appreciation to his supervisor, Dr. B. J. Mueller, whose guidance and helpful criticisms were of greatest value in the preparation of this thesis.
    [Show full text]
  • Topics in Module Theory
    Chapter 7 Topics in Module Theory This chapter will be concerned with collecting a number of results and construc- tions concerning modules over (primarily) noncommutative rings that will be needed to study group representation theory in Chapter 8. 7.1 Simple and Semisimple Rings and Modules In this section we investigate the question of decomposing modules into \simpler" modules. (1.1) De¯nition. If R is a ring (not necessarily commutative) and M 6= h0i is a nonzero R-module, then we say that M is a simple or irreducible R- module if h0i and M are the only submodules of M. (1.2) Proposition. If an R-module M is simple, then it is cyclic. Proof. Let x be a nonzero element of M and let N = hxi be the cyclic submodule generated by x. Since M is simple and N 6= h0i, it follows that M = N. ut (1.3) Proposition. If R is a ring, then a cyclic R-module M = hmi is simple if and only if Ann(m) is a maximal left ideal. Proof. By Proposition 3.2.15, M =» R= Ann(m), so the correspondence the- orem (Theorem 3.2.7) shows that M has no submodules other than M and h0i if and only if R has no submodules (i.e., left ideals) containing Ann(m) other than R and Ann(m). But this is precisely the condition for Ann(m) to be a maximal left ideal. ut (1.4) Examples. (1) An abelian group A is a simple Z-module if and only if A is a cyclic group of prime order.
    [Show full text]
  • A Users Guide to K-Theory Spectral Sequences
    A users guide to K-theory Spectral sequences Alexander Kahle [email protected] Mathematics Department, Ruhr-Universt¨at Bochum Bonn-Cologne Intensive Week: Tools of Topology for Quantum Matter, July 2014 A. Kahle A users guide to K-theory The Atiyah-Hirzebruch spectral sequence In the last lecture we have learnt that there is a wonderful connection between topology and analysis on manifolds: K-theory. This begs the question: how does one calculate the K-groups? A. Kahle A users guide to K-theory From CW-complexes to K-theory We saw that a CW-decomposition makes calculating cohomology easy(er). It's natural to wonder whether one can somehow use a CW-decomposition to help calculate K-theory. We begin with a simple observation. A simple observation Let X have a CW-decomposition: ? ⊆ Σ0 ⊆ Σ1 · · · ⊆ Σn = X : Define K • (X ) = ker i ∗ : K •(X ) ! K •(Σ ): ZPk k This gives a filtration of K •(X ): K •(X ) ⊇ K • (X ) ⊇ · · · ⊇ K • (X ) = 0: ZP0 ZPn A. Kahle A users guide to K-theory One might hope that one can calculate the K-theory of a space inductively, with each step moving up one stage in the filtration. This is what the Atiyah-Hirzebruch spectral sequence does: it computes the groups K • (X ): ZPq=q+1 What then remains is to solve the extension problem: given that one knows K • (X ) and K • (X ), one must ZPq=q+1 q+1 somehow determine K • (X ), which fits into ZPq 1 ! K • (X ) ! K • (X ) ! K • (X ) ! 1: ZPq=q+1 ZPq ZPq+1 A.
    [Show full text]
  • Finite Order Vinogradov's C-Spectral Sequence
    Finite order formulation of Vinogradov’s C-spectral sequence Raffaele Vitolo Dept. of Mathematics “E. De Giorgi”, University of Lecce via per Arnesano, 73100 Lecce, Italy and Diffiety Institute, Russia email: Raff[email protected] Abstract The C-spectral sequence was introduced by Vinogradov in the late Seventies as a fundamental tool for the study of algebro-geometric properties of jet spaces and differential equations. A spectral sequence arise from the contact filtration of the modules of forms on jet spaces of a fibring (or on a differential equation). In order to avoid serious technical difficulties, the order of the jet space is not fixed, i.e., computations are performed on spaces containing forms on jet spaces of any order. In this paper we show that there exists a formulation of Vinogradov’s C- spectral sequence in the case of finite order jet spaces of a fibred manifold. We compute all cohomology groups of the finite order C-spectral sequence. We obtain a finite order variational sequence which is shown to be naturally isomorphic with Krupka’s finite order variational sequence. Key words: Fibred manifold, jet space, variational bicomplex, variational se- quence, spectral sequence. 2000 MSC: 58A12, 58A20, 58E99, 58J10. Introduction arXiv:math/0111161v1 [math.DG] 13 Nov 2001 The framework of this paper is that of the algebro-geometric formalism for differential equations. This branch of mathematics started with early works by Ehresmann and Spencer (mainly inspired by Lie), and was carried out by several people. One funda- mental aspect is that a natural setting for dealing with global properties of differential equations (such as symmetries, integrability and calculus of variations) is that of jet spaces (see [17, 18, 21] for jets of fibrings and [13, 26, 27] for jets of submanifolds).
    [Show full text]
  • Gille Beamer Part 1
    Torsors over affine curves Philippe Gille Institut Camille Jordan, Lyon PCMI (Utah), July 12, 2021 This is the first part The Swan-Serre correspondence I This is the correspondence between projective finite modules of finite rank and vector bundles, it arises from the case of a paracompact topological space [37]. We explicit it in the setting of affine schemes following the book of G¨ortz-Wedhorn [18, ch. 11] up to slightly different conventions. I Vector group schemes. Let R be a ring (commutative, unital). (a) Let M be an R{module. We denote by V(M) the affine R{scheme defined by V(M) = SpecSym•(M) ; it is affine over R and represents the R{functor S 7! HomS−mod (M ⊗R S; S) = HomR−mod (M; S) [11, 9.4.9]. Vector group schemes • I V(M) = Spec Sym (M) ; I It is called the vector group scheme attached to M, this construction commutes with arbitrary base change of rings R ! R0. I Proposition [32, I.4.6.1] The functor M ! V(M) induces an antiequivalence of categories between the category of R{modules and that of vector group schemes over R. An inverse functor is G 7! G(R). Vector group schemes II I (b) We assume now that M is locally free of finite rank and denote by M_ its dual. In this case Sym•(M) is of finite presentation (ibid, 9.4.11). Also the R{functor S 7! M ⊗R S is representable by the affine R{scheme V(M_) which is also denoted by W(M) [32, I.4.6].
    [Show full text]
  • Arxiv:Math/0301347V1
    Contemporary Mathematics Morita Contexts, Idempotents, and Hochschild Cohomology — with Applications to Invariant Rings — Ragnar-Olaf Buchweitz Dedicated to the memory of Peter Slodowy Abstract. We investigate how to compare Hochschild cohomology of algebras related by a Morita context. Interpreting a Morita context as a ring with distinguished idempotent, the key ingredient for such a comparison is shown to be the grade of the Morita defect, the quotient of the ring modulo the ideal generated by the idempotent. Along the way, we show that the grade of the stable endomorphism ring as a module over the endomorphism ring controls vanishing of higher groups of selfextensions, and explain the relation to various forms of the Generalized Nakayama Conjecture for Noetherian algebras. As applications of our approach we explore to what extent Hochschild cohomology of an invariant ring coincides with the invariants of the Hochschild cohomology. Contents Introduction 1 1. Morita Contexts 3 2. The Grade of the Stable Endomorphism Ring 6 3. Equivalences to the Generalized Nakayama Conjecture 12 4. The Comparison Homomorphism for Hochschild Cohomology 14 5. Hochschild Cohomology of Auslander Contexts 17 6. Invariant Rings: The General Case 20 7. Invariant Rings: The Commutative Case 23 References 27 arXiv:math/0301347v1 [math.AC] 29 Jan 2003 Introduction One of the basic features of Hochschild (co-)homology is its invariance under derived equivalence, see [25], in particular, it is invariant under Morita equivalence, a result originally established by Dennis-Igusa [18], see also [26]. This raises the question how Hochschild cohomology compares in general for algebras that are just ingredients of a Morita context.
    [Show full text]
  • Galois Extensions of Structured Ring Spectra 3
    GALOIS EXTENSIONS OF STRUCTURED RING SPECTRA John Rognes August 31st 2005 Abstract. We introduce the notion of a Galois extension of commutative S-algebras (E∞ ring spectra), often localized with respect to a fixed homology theory. There are numerous examples, including some involving Eilenberg–MacLane spectra of commutative rings, real and complex topological K-theory, Lubin–Tate spectra and cochain S-algebras. We establish the main theorem of Galois theory in this general- ity. Its proof involves the notions of separable and ´etale extensions of commutative S-algebras, and the Goerss–Hopkins–Miller theory for E∞ mapping spaces. We show that the global sphere spectrum S is separably closed, using Minkowski’s discrimi- nant theorem, and we estimate the separable closure of its localization with respect to each of the Morava K-theories. We also define Hopf–Galois extensions of com- mutative S-algebras, and study the complex cobordism spectrum MU as a common integral model for all of the local Lubin–Tate Galois extensions. Contents 1. Introduction 2. Galois extensions in algebra 2.1. Galois extensions of fields 2.2. Regular covering spaces 2.3. Galois extensions of commutative rings 3. Closed categories of structured module spectra 3.1. Structured spectra arXiv:math/0502183v2 [math.AT] 6 Dec 2005 3.2. Localized categories 3.3. Dualizable spectra 3.4. Stably dualizable groups 3.5. The dualizing spectrum 3.6. The norm map 4. Galois extensions in topology 4.1. Galois extensions of E-local commutative S-algebras 4.2. The Eilenberg–Mac Lane embedding 4.3. Faithful extensions 5.
    [Show full text]
  • Complex Oriented Cohomology Theories and the Language of Stacks
    COMPLEX ORIENTED COHOMOLOGY THEORIES AND THE LANGUAGE OF STACKS COURSE NOTES FOR 18.917, TAUGHT BY MIKE HOPKINS Contents Introduction 1 1. Complex Oriented Cohomology Theories 2 2. Formal Group Laws 4 3. Proof of the Symmetric Cocycle Lemma 7 4. Complex Cobordism and MU 11 5. The Adams spectral sequence 14 6. The Hopf Algebroid (MU∗; MU∗MU) and formal groups 18 7. More on isomorphisms, strict isomorphisms, and π∗E ^ E: 22 8. STACKS 25 9. Stacks and Associated Stacks 29 10. More on Stacks and associated stacks 32 11. Sheaves on stacks 36 12. A calculation and the link to topology 37 13. Formal groups in prime characteristic 40 14. The automorphism group of the Lubin-Tate formal group laws 46 15. Formal Groups 48 16. Witt Vectors 50 17. Classifying Lifts | The Lubin-Tate Space 53 18. Cohomology of stacks, with applications 59 19. p-typical Formal Group Laws. 63 20. Stacks: what's up with that? 67 21. The Landweber exact functor theorem 71 References 74 Introduction This text contains the notes from a course taught at MIT in the spring of 1999, whose topics revolved around the use of stacks in studying complex oriented cohomology theories. The notes were compiled by the graduate students attending the class, and it should perhaps be acknowledged (with regret) that we recorded only the mathematics and not the frequent jokes and amusing sideshows which accompanied it. Please be wary of the fact that what you have in your hands is the `alpha- version' of the text, which is only slightly more than our direct transcription of the stream-of- consciousness lectures.
    [Show full text]