Hopf algebroids and the structure of MU (MU)
|
|
- Ethelbert Floyd
- 5 years ago
- Views:
Transcription
1 Hopf algebroids and the structure of MU (MU) Vitaly Lorman July 1, 2012 Note: These are my notes on sections B.3 and B.4 of Doug Ravenel s Orange Book (Nilpotence and Periodicity in Stable Homotopy Theory). If you have comments or notice any mistakes, please me. 1 Motivation: The dual Steenrod algebra We are going to motivate the definition of Hopf algebroids from the point of view of topology. Let s begin with some preliminaries about ring spectra. Definition: A ring spectrum E is a spectrum equipped with a map η : S 0 E, called the unit map. and m : E E E, called the multiplication map, such that some diagrams commute. The Hopf algebroids the we are going to be interested in are of the form (π (E), E E), where E is a ring spectrum with an extra property that we will discuss later. So to motivate this discussion, let s begin by analyzing the dual Steenrod algebra. It is a Hopf algebra, which means that it has the following structure maps: µ : A A A (product) η : Z/p A : A A A ɛ : A Z/p c : A A which fit into some commutative diagrams. (unit) (coproduct) (augmentation) (conjugation) We may identify Z/p with π (H), where H is the mod p Eilenberg-MacLane spectrum. Also, A = H H = π (H H). Since H H is a wedge of suspensions of H, we may also identify A A = H H π (H) H H with π (H H H) 1
2 In fact, the above homomorphisms on homotopy are induced by maps on spectra. H is a ring spectrum, and we let m : H H H denote the multiplication and η : S 0 H denote the unit map. 1 H m : H H H H H (product) η 1 H : H = S 0 H H H (unit) 1 H η 1 H : H H = H S 0 H H H H (coproduct) m : H H H T : H H H H (augmentation) (conjugation) Note that we could have also used the map η 1 H : S 0 H H H to induce a map Z/p A ; this would also be a plausible candidate for the unit, but it turns out that when our ring spectrum is H, the two maps are the same on homotopy. However, for an arbitrary ring spectrum E, the maps 1 E η and η 1 E will induce different maps, which we will denote by η L and η R, the left and right units respectively. We could also define a Hopf algebra over Z/p as a cogroup object in the category of Z/p-algebras. That is, for any Z/p-algebra, C, we have that Hom(A, C) is a group, with structure maps induced by the Hopf algebra structure maps in the following way. The coproduct induces the group multiplication: Hom(A, C) Hom(A, C) Hom(A A, C) Hom(A, C) where the map on the right is, i.e. precomposition with the coproduct. The augmentation ɛ picks out the identity morphism: A Z/p C where the map on the left is ɛ and the map on the right is the unit for C (since C is a Z/p-algebra. The conjugation c induces the map that sends each morphism f to its inverse: A A C where the map on the left is c and the map on the right is f. product maps are what give A the structure of a Z/p-algebra. Finally, the unit and 2 Hopf algebroids Now we will attempt to carry out the above constructions for an arbitrary ring spectrum E. We need one condition: Definition: A ring spectrum E is said to be flat if E E is a wedge of suspensions of E. Note that if E is flat, then E E = π (E E) is a flat π (E)-module. (The details of this need to be worked out) As we have seen, H is flat. Also, MU is flat. However, 2
3 the integral Eilenberg-MacLane spectrum is not flat. We use flatness for the following isomorphism: π (E E E) = E (E) π (E) E (E) (Ravenel sketches a proof of this in the Green Book. I will write this up later.) Because of the left and right units, E (E) will not be a Hopf algebra. It will be a generalization of this. Recall that we may think of a group as a category with one object in which all morphisms are isomorphisms. We think of the morphisms as elements of the group, and composition of morphisms gives us multiplication. We generalize as follows. Definition: A groupoid is a small category in which every morphism is an isomorphism. We have a set O of objects and a set M of morphisms. We can think of a groupoid as a map of sets (O, M) together with the following structure. There is a map O M which assigns to each object its identity morphism, a map M M which assigns to each morphism its inverse, and two maps M O assigning to a morphism its source and target. Composition is a map D M where D = {(m 1, m 2 ) M M : target(m 1 ) = source(m 2 )} These maps should satisfy the appropriate conditions. Definition: A Hopf algebroid over K is a pair (S, Σ) of graded commutative K-algebras with unit which is a cogroupoid object in the category of K-algebras. That is, given any K-algebra C, the pair of sets (Hom(S, C),Hom(Σ, C)) has a natural groupoid structure. More explicitly, we have : Σ Σ S Σ c : Σ Σ ɛ : Σ Σ η R : S Σ η L : S Σ (coproduct inducing composition) (conjugation inducing inverse) (augmentation inducing identity morphism) (right unit inducing target) (left unit inducing source) satisfying conditions corresponding to the groupoid structure. Using the left and right units, we may regard Σ as a left and right S-module, and in this way we define the tensor product Σ S Σ given above. Why is Σ S Σ the appropriate target for (and not just Σ k Σ?)? Well, induces composition of morphisms in the associted groupoids, and composition of morphisms is a map M M D M Notice that D is exactly the difference kernel between the two maps from M M to M O M, where the first map sends (m 1, m 2 ) to (m 1, target(m 1 ), m 2 ) and the second map sends (m 1, m 2 ) to (m 1, source(m 2 ), m 2 ). 3
4 The left unit η L induces the map that sends a morphism to its source (by precomposition with η L ). Similarly, the right unit η R induces the map that sends a morphism to its target. So if m 1 and m 2 are composable elements of Hom(Σ, C) Hom(Σ, C), the target of m 1 is the source of m 2 : that is, m 1 η R = m 2 η L Given such a pair of morphisms, we get an element of Hom(Σ, C) as follows. We have a map Hom(Σ, C) Hom(Σ, C) Hom(Σ Σ, C C) which we then compose with the multiplication µ C on C to get something in Hom(Σ Σ, C). We claim that this composition (*) Σ Σ C C C sends elements of the form σ 1 η R (s) σ 2 σ 1 η L (s)σ 2 to zero for all s S, σ 1, σ 2 Σ. Indeed, we have and m 1 m 2 (σ 1 η R (s) σ 2 = m 1 (σ 1 η R (s)) m 2 (σ 2 ) = m 1 (σ 1 )m 1 η R (s) m 2 (σ 2 ) = m 1 (σ 1 )m 2 η L (s) m 2 (σ 2 ) since m 1 η R = m 2 η L m 1 m 2 (σ 1 η L (s)σ 2 ) = m 1 (σ 1 ) m 2 η L (s)m 2 (σ 2 ) Applying µ C, both terms come out to be m 1 (σ 1 )m 2 η L (s)m 2 (σ 2 ) so their difference maps to zero. Thus, the above composition (*) factors through Σ Σ modulo the submodule generated by all such elements. But this quotient is exactly the tensor product Σ S Σ. Thus, we have map Σ S Σ C and so we define our coproduct to have Σ S Σ as its target to get the map Σ Σ S Σ C as the composition of the morphisms m 1 and m 2 and the product on the groupoid. As suggested above, the reason we are interested in Hopf algebroids is the following theorem. Theorem: If E is a flat homotopy commutative ring spectrum, then (π (E), E (E)) is a Hopf algebroid over Z. If E is p-local, then it is a Hopf algebroid over Z (p). Definition: A left comodule over a Hopf algebroid (S, Σ) is a left S-module M together with a left S-linear map ψ : M Σ S M 4
5 which is counitary and coassociative. (see Ravenel for the diagrams) A right comodule is defined similarly. Proposition: If E is as in the theorem above, then for any X, E (X) is a left comodule over (π (E), E (E)) with the homomorphism ψ induced by the map 1 E η 1 X : E X = E S 0 X E E X 3 The structure of MU (MU) Recall that L, the Lazard ring, is isomorphic to π (MU) is isomorphic to Z[x 1, x 2,...] where dim(x i ) = 2i. Also, as we proved sometime last year, H (MU) = Z[b 1, b 2,...] with dim(b i ) = 2i. Milnor and Novikov proved (Ravenel does this in the Green/Red Book) the following theorem. Theorem: The generators x i may be chosen in such a way that the Hurewicz map h : π (MU) H (MU) is given by h(x i ) = pb i +decomposables if i = p k 1 for some prime p, and h(x i ) = b i +decomposables otherwise. Landweber and Novikov originally computed the structure of MU (MU). Note that π (MU) Q = Z[m 1, m 2,..] with dim(m i ) = 2i. (actually, m i turns out to be the cobordism class of CP n divided by n) Theorem: As a ring, MU (MU) = MU [b 1, b 2,...] with dim(b i ) = 2. The coproduct is given by ( ) i+1 b i b j (b i ) = where b 0 = 1. (b n ) may be found be expanding the right hand side and finding the terms in dimension 2n, of which there are finitely many. The left unit η L is the standard inclusion MU MU (MU) = MU [b 1, b 2,...] The right unit on MU (MU) Q is given by η R (m i ) = ( m i c(b j ) ) i+1 where m 0 = 1 and c is the conjugation. The conjugation c is given by c(m n ) = η R (m n ) and ( ) i+1 c(b i ) b j = 1 Note that we have only defined the right unit on π (MU) Q. I guess that it induces the right unit on π (MU) via precomposition with the natural map π (MU) π (MU) Q. 5
6 Notice that the coproduct sends each b n to a polynomial in the b i b j with coefficients in Z rather than in π (MU). If we let B = Z[b 1, b 2,...], then this means that B is a Hopf algebra over Z. The right unit gives a B-comodule structure on π (MU) and it turns out that MU (MU) = π (MU) B. This is a general property for Hopf algebroids; we say that MU (MU) is split. It corresponds to the following property for groupoids: Definition: A groupoid is split if it is obtained in the following way. let X be a set acted on by a group G. Regard the elements of X as objects of a category C whose morphism set is G X. The sources and target of a morphism (g, x) are x and g(x), respectively. The composite of (g, x) and (g, g(x)) is (g g, x). Definition: A Hopf algebroid (S, Σ) over K is split if Σ = S B, where B is a Hopf algebra over which S is a comodule algebra. When (S, Σ) is split, we have Hom(Σ, C) = Hom(S B, C) = Hom(S, C) Hom(B, C) Since B is a Hopf algebra, Hom(B, C) is a group, and an action of Hom(B, C) on Hom(S, C) is a map Hom(S, C) Hom(B, C) = Hom(Σ, C) Hom(S, C) given by precomposing a morphism Σ C with the right unit map. In our situation, let R be a commutative ring. Then we can identify the set Hom(π (MU), R) with the set of formal group laws over R, which we will denote by FGL(R). We may regard the Hopf algebra B as a ring of integer valued functions on Γ: given γ = a i x i+1 think of b i as the function which assigns to γ the coefficient a i of x i+1 in its power series expansion. Proposition: Let B be the Hopf algebra Z[b 1, b 2,...] with the coproduct given above. Then for a commutative ring R, Hom(B, R) is the group Γ R of power series of the form x + b 1 x 2 + b 2 x with coefficients over R under functional composition. Proof: Given a morphism γ : B R, we send it to the element γ(b i )x i+1 in Γ R. It is not hard to see that this is one to one and onto. It remains to check that it is a group homomorphism. The group structure on B is induced by the coproduct. First, we claim that ( ) i+1 b i b j x j+1 (b i )x i+1 = 6
7 Indeed, notice that on the left and right hand sides, the degree of the coefficient of x N+1 is always 2N. If we set x = 1 in the left and right hand sides, the degree 2N term will be exactly the coefficient of x N+1, and indeed after we set x = 1, the left and right hand side are equal. Thus, (f g)( ( b i x i+1 )) = (f g)( (b i )x i+1 ) = (f g)( ( ) i+1 b i b j x j+1 = ( ) i+1 f(b i ) g(b j )x j+1 After applying the multiplication map R R R, we get ( ) i+1 f(b i ) g(b j )x j+1 Which is exactly the usual composition of the power series f(b i )x i+1 and g(b j )x j+1 which are the elements of Γ R associated to f and g. Thus, we have shown that the group Hom(B, R) is isomorphic to Γ R. It remains to show that Hom(B, R) acts on Hom(π (MU), R) in the same way that Γ R acts on formal group laws over R. That is, given a formal group law F over R represented by a map θ : π (MU) R and a map γ Hom(B, R) with associated power series f(x) = γ(b i)x i+1 Γ R, we act on F in one of two ways: 1) Apply the usual action of Γ R on F to get F f (x, y) = f(f (f 1 (x), f 1 (y))). 2) Apply the action of Hom(B, R) on Hom(π (MU), R) as described for any split Hopf algebroid above. That is, take the pair (θ, γ) Hom(π (MU), R) Hom(B, R) = Hom(π (MU) B, R) = Hom(MU (MU), R) and precompose with η R : π (MU) Hom(MU (MU)) to get a map (θ γ)(η R ) : π (MU) R and take the formal group law represented by this map. We claim that the formal group laws obtained in 1) and 2) are identical, which is exactly the statement that the action of Hom(B, R) on Hom(π (MU), R) is the same as the action of Γ R on the set of formal group laws over R. Recall that any formal group law over a Q-algebra has a unique logarithm. That is, if F is such a formal group law, there is a unique power series log F (x) = x +... such that log F (F (x, y)) = log F (x) + log F (y). 7
8 Note on the uniqueness of the logarithm: If φ and ψ are two logarithms for a formal group law F over a torsion-free ring R, that is, two isomorphisms between F and the additive formal group law, then ξ = ψ φ 1 will be a nontrivial automorphism of the additive formal group law. But this can t happen: if ξ(x) = a i x i+1 and then so that ξ(x + y) = ξ(x) + ξ(y) a i (x + y) i+1 = a i (x i+1 + y i+1 ) a i ((x + y) i+1 x i+1 y i+1 ) = 0 But since R is torsion-free, it is not possible for a i to kill the middle terms of the binomial expansion of (x+y) i+1, so for i 1, the a i must be zero, which means that ξ is the trivial automorphism and ψ = φ. Now, let s take our formal group laws over R and turn them into formal group laws over R Q. That is, given the two maps π (MU) R, turn them into maps π (MU) Q R Q. We claim that the two formal group laws defined by these maps have the same logarithms, and thus are the same. Why does this imply that the original formal group laws, before we rationalized, are the same??? Let s start by writing down the logarithm of the formal group law obtained in 1). We may rewrite the equation for F f as and we apply log F to get f 1 (F f (x, y)) = F (f 1 (x), f 1 (y)) log F (f 1 (F f (x, y))) = log F (F (f 1 (x), f 1 (y))) = log F (f 1 (x)) + log F (f 1 (y)) We also have We claim that This will imply that log F f (F f (x, y)) = log F f (x) + log F f (y) log F (f 1 (F f (x, y))) = log F f (F f (x, y)) log F f (x) = log F (f 1 (x)) which is a fact we need to proceed. So let s prove the claim. (Many thanks to Jeff for helping me with this.) 8
9 Check that log F f 1 and log F f are both power series whose linear term has coefficient 1. Notice that they are both isomorphisms between F f (x, y) and the additive formal group law. But the logarithm of F f is unique by the note above, so we must have that We conclude that log F (f 1 (F f (x, y))) = log F f (F f (x, y)) ( ) log F f (x) = log F (f 1 (x)) The logarithm for the universal formal group law is m ix i+1. Since θ is the map representing F, the logarithm for F will be θ(m i)x i+1. Recall that, the power series in Γ R corresponding to γ is f(x) = γ(b i )x i+1 Now, combining and from above, we have log F (x) = θ(m i )x i+1 log F f (x) = log F (f 1 (x)) ( ) log F f (x) = θ(m i )(f 1 (x)) i+1 We claim that f 1 (x) = θ(c(b j ))x j+1 To prove this, we compose f(f 1 (x)) = f( θ(c(b j ))x j+1 ) = ( ) i+1 γ(b i ) θ(c(b j ))x j+1 = (γ θ) ( ) i+1 b i c(b j )x j+1 Notice that the coefficient of x N+1 in the above power series has degree 2N so that we can read off the coefficient of x N+1 of the above power series by plugging in 1 and finding the degree 2N part of the resulting sum. But when we plug in x = 1, we get ( i+1 b i c(b j )) = 1 by the formula for the conjugation, c. Thus, we have ( ) i+1 b i c(b j )x j+1 = x 9
10 and (γ θ)(x) = x, so that the equality f 1 (x) = θ(c(b j ))x j+1 holds. Now we plug this into ( ) above: log F f (x) = θ(m i )( θ(c(b j ))x j+1 ) i+1 Now let s compute the logarithm of the formal group law that we got from 2). Recall that the formal group law given in 2) is represented by the map (θ γ)(η R ) : π (MU) R so if we apply this map to the coefficients of the logarithm of the universal formal group law, m i x i+1 we have (θ γ)(η R )( Now, compare this power series to the power series m i x i+1 ) = (θ γ)( η R (m i )x i+1 m i ( c(b j )x j+1 ) i+1 η R (m i )x i+1 ) Arguing as before, we see that in both power series the coefficient of x N+1 has degree 2N so that the two power series are the same if and only if they are the same when we plug in x = 1. But when we do this, we get η R (m i ) and m i ( c(b j ) ) i+1 which are equal by the formula for the right unit given above. Thus, (θ γ)(η R )( m i x i+1 ) = (θ γ)( η R (m i )x i+1 ) = (θ γ) ( m i ) i+1 c(b j )x j+1 = θ(m i )( θ(c(b j ))x j+1 ) i+1 10
11 which is exactly the logarithm we got for F f. Thus, the formal group laws in 1) and 2) have the same logarithms, so modulo some details they are the same. To conclude and rereiterate what has already been reiterated, the action of the group Γ R on the set of formal group laws over R is exactly the same as the action of the group Hom(B, R) on the set Hom(π (MU), R). 11
Formal group laws. November 25, 2012
Formal group laws November 25, 2012 The additive formal group G a plays a fundamental role in the theory. We will see in the first section that up to isomorphism this is the only formal group over a Q-algebra.
More informationLECTURE 2: THE THICK SUBCATEGORY THEOREM
LECTURE 2: THE THICK SUBCATEGORY THEOREM 1. Introduction Suppose we wanted to prove that all p-local finite spectra of type n were evil. In general, this might be extremely hard to show. The thick subcategory
More informationp-divisible Groups and the Chromatic Filtration
p-divisible Groups and the Chromatic Filtration January 20, 2010 1 Chromatic Homotopy Theory Some problems in homotopy theory involve studying the interaction between generalized cohomology theories. This
More informationAN ELEMENTARY GUIDE TO THE ADAMS-NOVIKOV EXT. The Adams-Novikov spectral sequence for the Brown-Peterson spectrum
AN ELEMENTARY GUIDE TO THE ADAMS-NOVIKOV EXT MICHA L ADAMASZEK The Adams-Novikov spectral sequence for the Brown-Peterson spectrum E s,t = Ext s,t BP BP (BP, BP ) = π S s t(s 0 ) (p) has been one of the
More informationTHE STRUCTURE OF THE CLASSIFYING RING OF FORMAL GROUPS WITH COMPLEX MULTIPLICATION.
THE STRUCTURE OF THE CLASSIFYING RING OF FORMAL GROUPS WITH COMPLEX MULTIPLICATION. ANDREW SALCH Abstract. If A is a commutative ring, there exists a classifying ring L A of formal groups with complex
More informationCategory Theory. Categories. Definition.
Category Theory Category theory is a general mathematical theory of structures, systems of structures and relationships between systems of structures. It provides a unifying and economic mathematical modeling
More informationThe Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016
The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016 January 3, 2017 This is an introductory lecture which should (very roughly) explain what we
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationNOTES IN COMMUTATIVE ALGEBRA: PART 2
NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they
More informationCohomology operations and the Steenrod algebra
Cohomology operations and the Steenrod algebra John H. Palmieri Department of Mathematics University of Washington WCATSS, 27 August 2011 Cohomology operations cohomology operations = NatTransf(H n ( ;
More informationA TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor
A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it
More informationFun with Dyer-Lashof operations
Nordic Topology Meeting, Stockholm (27th-28th August 2015) based on arxiv:1309.2323 last updated 27/08/2015 Power operations and coactions Recall the extended power construction for n 1: D n X = EΣ n Σn
More informationTOPOLOGICAL MODULAR FORMS - I. KU Ell(C/R) E n
TOPOLOGICAL MODULAR FORMS - I JOHN ROGNES 1. Complex cobordism and Elliptic cohomology MU KU Ell(C/R) E n 1.1. Formal group laws. Let G be 1-dimensional Lie group, and let x: U R be a coordinate chart
More informationSOME EXERCISES. By popular demand, I m putting up some fun problems to solve. These are meant to give intuition for messing around with spectra.
SOME EXERCISES By popular demand, I m putting up some fun problems to solve. These are meant to give intuition for messing around with spectra. 1. The algebraic thick subcategory theorem In Lecture 2,
More informationMATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA. This is the title page for the notes on tensor products and multilinear algebra.
MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA This is the title page for the notes on tensor products and multilinear algebra. Contents 1. Bilinear forms and quadratic forms 1 1.1.
More informationCategories and functors
Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called
More informationRealization problems in algebraic topology
Realization problems in algebraic topology Martin Frankland Universität Osnabrück Adam Mickiewicz University in Poznań Geometry and Topology Seminar June 2, 2017 Martin Frankland (Osnabrück) Realization
More informationTHE STEENROD ALGEBRA. The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things.
THE STEENROD ALGEBRA CARY MALKIEWICH The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things. 1. Brown Representability (as motivation) Let
More information48 CHAPTER 2. COMPUTATIONAL METHODS
48 CHAPTER 2. COMPUTATIONAL METHODS You get a much simpler result: Away from 2, even projective spaces look like points, and odd projective spaces look like spheres! I d like to generalize this process
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationE ring spectra and Hopf invariant one elements
University of Aberdeen Seminar 23rd February 2015 last updated 22/02/2015 Hopf invariant one elements Conventions: Everything will be 2-local. Homology and cohomology will usually be taken with F 2 coefficients,
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationHOPF ALGEBRAS AND LIE ALGEBRAS UCHICAGO PRO-SEMINAR - JANUARY 9, 2014
HOPF ALGEBRAS AND LIE ALGEBRAS UCHICAGO PRO-SEMINAR - JANUARY 9, 2014 Hopf Algebras Lie Algebras Restricted Lie Algebras Poincaré-Birkhoff-Witt Theorem Milnor-Moore Theorem Cohomology of Lie Algebras Remark
More informationAlgebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism
Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism UWO January 25, 2005 Marc Levine Prelude: From homotopy theory to A 1 -homotopy theory A basic object in homotopy theory is a generalized
More informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
More informationHOMEWORK SET 3. Local Class Field Theory - Fall For questions, remarks or mistakes write me at
HOMEWORK SET 3 Local Class Field Theory - Fall 2011 For questions, remarks or mistakes write me at sivieroa@math.leidneuniv.nl. Exercise 3.1. Suppose A is an abelian group which is torsion (every element
More informationRational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley
Rational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley Reference. Halperin-Stasheff Obstructions to homotopy equivalences Question. When can a given
More informationUnstable modules over the Steenrod algebra revisited
245 288 245 arxiv version: fonts, pagination and layout may vary from GTM published version Unstable modules over the Steenrod algebra revisited GEOREY M L POWELL A new and natural description of the category
More informationTHE MOTIVIC COHOMOLOGY OF CLASSICAL QUOTIENTS OF MGL
THE MOTIVIC COHOMOLOGY OF CLASSICAL QUOTIENTS OF MGL MARC HOYOIS Contents 1. The Hurewicz map for MGL 1 2. Complements on the motivic Steenrod algebra 3 3. Complements on H-modules 6 4. The motivic homology
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More informationChromatic unstable homotopy, plethories, and the Dieudonné correspondence
Chromatic unstable homotopy, plethories, and the Dieudonné correspondence Alpine Algebraic and Applied Topology Conference Tilman Bauer, KTH Stockholm August 18, 2016 Tilman Bauer, KTH Stockholm Unstable
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2 RAVI VAKIL CONTENTS 1. Where we were 1 2. Yoneda s lemma 2 3. Limits and colimits 6 4. Adjoints 8 First, some bureaucratic details. We will move to 380-F for Monday
More informationAlgebraic Geometry: MIDTERM SOLUTIONS
Algebraic Geometry: MIDTERM SOLUTIONS C.P. Anil Kumar Abstract. Algebraic Geometry: MIDTERM 6 th March 2013. We give terse solutions to this Midterm Exam. 1. Problem 1: Problem 1 (Geometry 1). When is
More information2 ANDREW BAKER b) As an E algebra, E (MSp) = E [Q E k : k > ]; and moreover the natural morphism of ring spectra j : MSp?! MU induces an embedding of
SOME CHROMATIC PHENOMENA IN THE HOMOTOPY OF MSp Andrew Baker Introduction. In this paper, we derive formul in Brown-Peterson homology at the prime 2 related to the family of elements ' n 2 MSp 8n?3 of
More informationDiscussion Session on p-divisible Groups
Discussion Session on p-divisible Groups Notes by Tony Feng April 7, 2016 These are notes from a discussion session of p-divisible groups. Some questions were posed by Dennis Gaitsgory, and then their
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
More informationExercises on characteristic classes
Exercises on characteristic classes April 24, 2016 1. a) Compute the Stiefel-Whitney classes of the tangent bundle of RP n. (Use the method from class for the tangent Chern classes of complex projectives
More informationAdjoints, naturality, exactness, small Yoneda lemma. 1. Hom(X, ) is left exact
(April 8, 2010) Adjoints, naturality, exactness, small Yoneda lemma Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ The best way to understand or remember left-exactness or right-exactness
More information58 CHAPTER 2. COMPUTATIONAL METHODS
58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study
More informationINJECTIVE COMODULES AND LANDWEBER EXACT HOMOLOGY THEORIES
INJECTIVE COMODULES AND LANDWEBER EXACT HOMOLOGY THEORIES MARK HOVEY Abstract. We classify the indecomposable injective E(n) E(n)-comodules, where E(n) is the Johnson-Wilson homology theory. They are suspensions
More informationLECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)
LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) IVAN LOSEV Introduction We proceed to studying the representation theory of algebraic groups and Lie algebras. Algebraic groups are the groups
More informationAN UNSTABLE CHANGE OF RINGS FOR MORAVA E-THEORY
AN UNSTABLE CHANGE OF RINGS FOR MORAVA E-THEORY ROBERT THOMPSON Abstract. The Bousfield-Kan (or unstable Adams) spectral sequence can be constructed for various homology theories such as Brown-Peterson
More informationL E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S
L A U R E N T I U M A X I M U N I V E R S I T Y O F W I S C O N S I N - M A D I S O N L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S i Contents 1 Basics of Homotopy
More informationBOUSFIELD LOCALIZATIONS OF CLASSIFYING SPACES OF NILPOTENT GROUPS
BOUSFIELD LOCALIZATIONS OF CLASSIFYING SPACES OF NILPOTENT GROUPS W. G. DWYER, E. DROR FARJOUN, AND D. C. RAVENEL 1. Introduction Let G be a finitely generated nilpotent group. The object of this paper
More informationTHE FIRST ADAMS-NOVIKOV DIFFERENTIAL FOR THE SPECTRUM T (m)
THE FIRST ADAMS-NOVIKOV DIFFERENTIAL FOR THE SPECTRUM T (m) DOUGLAS C. RAVENEL Abstract. There are p-local spectra T (m) with BP (T (m)) = BP [t,..., t m]. In this paper we determine the first nontrivial
More informationFINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =.
FINITE GROUP THEORY: SOLUTIONS TONY FENG These are hints/solutions/commentary on the problems. They are not a model for what to actually write on the quals. 1. 2010 FALL MORNING 5 (i) Note that G acts
More informationAlgebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0
1. Show that if B, C are flat and Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0 is exact, then A is flat as well. Show that the same holds for projectivity, but not for injectivity.
More informationEXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY
EXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY 1. Categories 1.1. Generalities. I ve tried to be as consistent as possible. In particular, throughout the text below, categories will be denoted by capital
More informationLecture 8: The Field B dr
Lecture 8: The Field B dr October 29, 2018 Throughout this lecture, we fix a perfectoid field C of characteristic p, with valuation ring O C. Fix an element π C with 0 < π C < 1, and let B denote the completion
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 6.4. Homotopy uniqueness of projective resolutions. Here I proved that the projective resolution of any R-module (or any object of an abelian category
More informationRealizing Families of Landweber Exact Theories
Realizing Families of Landweber Exact Theories Paul Goerss Department of Mathematics Northwestern University Summary The purpose of this talk is to give a precise statement of 1 The Hopkins-Miller Theorem
More informationPolynomial Hopf algebras in Algebra & Topology
Andrew Baker University of Glasgow/MSRI UC Santa Cruz Colloquium 6th May 2014 last updated 07/05/2014 Graded modules Given a commutative ring k, a graded k-module M = M or M = M means sequence of k-modules
More informationThe Steenrod algebra
The Steenrod algebra Paul VanKoughnett January 25, 2016 References are the first few chapters of Mosher and Tangora, and if you can read French, Serre s Cohomologie modulo 2 des complexes d Eilenberg-MacLane
More informationON BP 2 -COOPERATIONS
ON BP -COOPERATIONS D. CULVER Contents. Introduction Conventions Acknowledgements. The Adams spectral sequence for BP BP.. The (co)module structure of (A E()) 4.. An E()-module splitting of (A E()) 6..
More informationLecture Complex bordism theory Maximilien Péroux and Jānis Lazovskis WCATSS The University of Oregon
Lecture 1.3 - Complex bordism theory Maximilien Péroux and Jānis Lazovskis WCATSS 2016 - The University of Oregon Contents 1 Complex-orientable cohomology theories 1 1.1 Complex orientation.........................................
More informationUniversity of Rochester Topology Seminar. Doug Ravenel
Beyond elliptic cohomology and TMF: where number theory and stable homotopy theory meet in mortal combat. University of Rochester Topology Seminar Doug Ravenel March 10, 2006 1 2 1. Introduction This talk
More informationSTACKY HOMOTOPY THEORY
STACKY HOMOTOPY THEORY GABE ANGEINI-KNO AND EVA BEMONT 1. A stack by any other name... argely due to the influence of Mike Hopkins and collaborators, stable homotopy theory has become closely tied to moduli
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationAlgebraic Topology exam
Instituto Superior Técnico Departamento de Matemática Algebraic Topology exam June 12th 2017 1. Let X be a square with the edges cyclically identified: X = [0, 1] 2 / with (a) Compute π 1 (X). (x, 0) (1,
More informationp,q H (X), H (Y ) ), where the index p has the same meaning as the
There are two Eilenberg-Moore spectral sequences that we shall consider, one for homology and the other for cohomology. In contrast with the situation for the Serre spectral sequence, for the Eilenberg-Moore
More informationMATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA. This is the title page for the notes on tensor products and multilinear algebra.
MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA This is the title page for the notes on tensor products and multilinear algebra. Contents 1. Bilinear forms and quadratic forms 1 1.1.
More informationCATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)
CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.
More informationIn the index (pages ), reduce all page numbers by 2.
Errata or Nilpotence and periodicity in stable homotopy theory (Annals O Mathematics Study No. 28, Princeton University Press, 992) by Douglas C. Ravenel, July 2, 997, edition. Most o these were ound by
More informationSTEENROD OPERATIONS IN ALGEBRAIC GEOMETRY
STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY ALEXANDER MERKURJEV 1. Introduction Let p be a prime integer. For a pair of topological spaces A X we write H i (X, A; Z/pZ) for the i-th singular cohomology group
More informationDivision Algebras and Parallelizable Spheres, Part II
Division Algebras and Parallelizable Spheres, Part II Seminartalk by Jerome Wettstein April 5, 2018 1 A quick Recap of Part I We are working on proving the following Theorem: Theorem 1.1. The following
More informationFormal Modules. Elliptic Modules Learning Seminar. Andrew O Desky. October 6, 2017
Formal Modules Elliptic Modules Learning Seminar Andrew O Desky October 6, 2017 In short, a formal module is to a commutative formal group as a module is to its underlying abelian group. For the purpose
More informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More informationToward a representation theory of the group scheme represented by the dual Steenrod algebra. Atsushi Yamaguchi
Toward a representation theory of the group scheme represented by the dual Steenrod algebra Atsushi Yamaguchi Struggle over how to understand the theory of unstable modules over the Steenrod algebra from
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationTruncated Brown-Peterson spectra
Truncated Brown-Peterson spectra T. Lawson 1 N. Naumann 2 1 University of Minnesota 2 Universität Regensburg Special session on homotopy theory 2012 T. Lawson, N. Naumann (UMN and UR) Truncated Brown-Peterson
More informationABSTRACT NONSINGULAR CURVES
ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a
More informationSpring 2016, lecture notes by Maksym Fedorchuk 51
Spring 2016, lecture notes by Maksym Fedorchuk 51 10.2. Problem Set 2 Solution Problem. Prove the following statements. (1) The nilradical of a ring R is the intersection of all prime ideals of R. (2)
More informationMath 210B:Algebra, Homework 2
Math 210B:Algebra, Homework 2 Ian Coley January 21, 2014 Problem 1. Is f = 2X 5 6X + 6 irreducible in Z[X], (S 1 Z)[X], for S = {2 n, n 0}, Q[X], R[X], C[X]? To begin, note that 2 divides all coefficients
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationFrobenius Green functors
UC at Santa Cruz Algebra & Number Theory Seminar 30th April 2014 Topological Motivation: Morava K-theory and finite groups For each prime p and each natural number n there is a 2-periodic multiplicative
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationCOMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY
COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY VIVEK SHENDE A ring is a set R with two binary operations, an addition + and a multiplication. Always there should be an identity 0 for addition, an
More informationA CANONICAL LIFT OF FROBENIUS IN MORAVA E-THEORY. 1. Introduction
A CANONICAL LIFT OF FROBENIUS IN MORAVA E-THEORY NATHANIEL STAPLETON Abstract. We prove that the pth Hecke operator on the Morava E-cohomology of a space is congruent to the Frobenius mod p. This is a
More informationGeometry 9: Serre-Swan theorem
Geometry 9: Serre-Swan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have
More informationDerivations and differentials
Derivations and differentials Johan Commelin April 24, 2012 In the following text all rings are commutative with 1, unless otherwise specified. 1 Modules of derivations Let A be a ring, α : A B an A algebra,
More informationGraduate Preliminary Examination
Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.
More informationLecture 17: Invertible Topological Quantum Field Theories
Lecture 17: Invertible Topological Quantum Field Theories In this lecture we introduce the notion of an invertible TQFT. These arise in both topological and non-topological quantum field theory as anomaly
More informationON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS
ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS RYAN E GRADY 1. L SPACES An L space is a ringed space with a structure sheaf a sheaf L algebras, where an L algebra is the homotopical
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More informationSOME EXERCISES. This is not an assignment, though some exercises on this list might become part of an assignment. Class 2
SOME EXERCISES This is not an assignment, though some exercises on this list might become part of an assignment. Class 2 (1) Let C be a category and let X C. Prove that the assignment Y C(Y, X) is a functor
More informationProjective modules: Wedderburn rings
Projective modules: Wedderburn rings April 10, 2008 8 Wedderburn rings A Wedderburn ring is an artinian ring which has no nonzero nilpotent left ideals. Note that if R has no left ideals I such that I
More informationEILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY
EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY CHRIS KOTTKE 1. The Eilenberg-Zilber Theorem 1.1. Tensor products of chain complexes. Let C and D be chain complexes. We define
More informationTheorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.
5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field
More informationSome topological reflections of the work of Michel André. Lausanne, May 12, Haynes Miller
Some topological reflections of the work of Michel André Lausanne, May 12, 2011 Haynes Miller 1954: Albrecht Dold and Dieter Puppe: To form derived functors of non-additive functors, one can t use chain
More informationTHE GENERALIZED HOMOLOGY OF PRODUCTS
THE GENERALIZED HOMOLOGY OF PRODUCTS MARK HOVEY Abstract. We construct a spectral sequence that computes the generalized homology E ( Q X ) of a product of spectra. The E 2 -term of this spectral sequence
More informationSolutions to Assignment 4
1. Let G be a finite, abelian group written additively. Let x = g G g, and let G 2 be the subgroup of G defined by G 2 = {g G 2g = 0}. (a) Show that x = g G 2 g. (b) Show that x = 0 if G 2 = 2. If G 2
More informationLie Algebra Cohomology
Lie Algebra Cohomology Carsten Liese 1 Chain Complexes Definition 1.1. A chain complex (C, d) of R-modules is a family {C n } n Z of R-modules, together with R-modul maps d n : C n C n 1 such that d d
More informationSECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS
SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon
More informationA Classification of Formal Group Laws over Torsion-free Rings SPUR Final Paper, Summer 2015
A Classification of Formal Group Laws over Torsion-free Rings SPUR Final Paper, Summer 2015 Robert Burklund Mentor: Lyubo Panchev Project Suggested by Haynes Miller January 15, 2016 Abstract In this paper
More informationON THE CONJUGATION INVARIANT PROBLEM IN THE MOD p DUAL STEENROD ALGEBRA
italian journal of pure and applied mathematics n. 34 2015 (151 158) 151 ON THE CONJUGATION INVARIANT PROBLEM IN THE MOD p DUAL STEENROD ALGEBRA Neşet Deniz Turgay Bornova-Izmir 35050 Turkey e-mail: Deniz
More informationRational homotopy theory
Rational homotopy theory Alexander Berglund November 12, 2012 Abstract These are lecture notes for a course on rational homotopy theory given at the University of Copenhagen in the fall of 2012. Contents
More informationCOMPLEX COBORDISM THEORY FOR NUMBER THEORISTS. Douglas C. Ravenel Department of Mathematics University of Washington Seattle, WA 98195
COMPLEX COBORDISM THEORY FOR NUMBER THEORISTS Douglas C. Ravenel Department of Mathematics University of Washington Seattle, WA 98195 1. Elliptic cohomology theory The purpose of this paper is to give
More informationThe 3-primary Arf-Kervaire invariant problem University of Virginia
The 3-primary Arf-Kervaire invariant problem Mike Hill Mike Hopkins Doug Ravenel University of Virginia Harvard University University of Rochester Banff Workshop on Algebraic K-Theory and Equivariant Homotopy
More information