Grothendieck duality for affine M 0 -schemes.
|
|
- Hortense French
- 5 years ago
- Views:
Transcription
1 Grothendieck duality for affine M 0 -schemes. A. Salch March 2011
2 Outline Classical Grothendieck duality. M 0 -schemes. Derived categories without an abelian category of modules. Computing Lf and Rf and f! for the map from Spec Z to Spec M 0. The homology of the dualizing complex.
3 Duality for finite-dimensional vector spaces. Let s begin with a stupid observation: given a field k, let fdvect(k) be the category of finite-dimensional k-vector spaces. Then there is an equivalence of categories fdvect(k) fdvect(k) op given by sending a vector space V to its k-linear dual.
4 Duality for finite-dimensional vector spaces. Let s begin with a stupid observation: given a field k, let fdvect(k) be the category of finite-dimensional k-vector spaces. Then there is an equivalence of categories fdvect(k) fdvect(k) op given by sending a vector space V to its k-linear dual. One wants to know if there is a similar kind of duality for modules over an arbitrary commutative ring, or even more generally, quasicoherent modules over a scheme (or over the structure ring sheaf of an algebraic stack, locally ringed topos,...).
5 Duality for finite-dimensional vector spaces. Let s begin with a stupid observation: given a field k, let fdvect(k) be the category of finite-dimensional k-vector spaces. Then there is an equivalence of categories fdvect(k) fdvect(k) op given by sending a vector space V to its k-linear dual. One wants to know if there is a similar kind of duality for modules over an arbitrary commutative ring, or even more generally, quasicoherent modules over a scheme (or over the structure ring sheaf of an algebraic stack, locally ringed topos,...). The answer is yes, if one is willing to accept a duality which isn t defined on the modules themselves, but rather on the derived categories.
6 If X f Spec k is a scheme of finite type, then one has functors on the derived categories D + (X ) D + (X ) D + (X ) Lf Rf f! D + (k) D + (k) D + (k) and adjunctions Lf Rf f!.
7 If X f Spec k is a scheme of finite type, then one has functors on the derived categories D + (X ) D + (X ) D + (X ) Lf Rf f! D + (k) D + (k) D + (k) and adjunctions Lf Rf f!. One defines the dualizing complex associated to f as the (quasi-isomorphism class of the) chain complex of O X -modules f! (k[0]). On a sufficiently restricted category of O X -modules M, the functor hom D + (X )(M[0], f! (k[0])) is a nice duality functor.
8 If X f Spec k is a scheme of finite type, then one has functors on the derived categories D + (X ) D + (X ) D + (X ) Lf Rf f! D + (k) D + (k) D + (k) and adjunctions Lf Rf f!. One defines the dualizing complex associated to f as the (quasi-isomorphism class of the) chain complex of O X -modules f! (k[0]). On a sufficiently restricted category of O X -modules M, the functor hom D + (X )(M[0], f! (k[0])) is a nice duality functor. So we re pulling back, in a very particular way, the dualizing object (k) for k-vector spaces to a dualizing object (f! (k[0])) in D + (X ).
9 The meaning of the adjunction Rf f! is the following isomorphism: Rf R hom OX (C, f! C ) = R hom k (Rf C, C ).
10 The meaning of the adjunction Rf f! is the following isomorphism: Rf R hom OX (C, f! C ) = R hom k (Rf C, C ). Let s try to construct a Grothendieck duality of this kind for the morphism Spec Z Spec M 0.
11 Outline Classical Grothendieck duality. M 0 -schemes. Derived categories without an abelian category of modules. Computing Lf and Rf and f! for the map from Spec Z to Spec M 0. The homology of the dualizing complex.
12 By M 0 we mean the initial object {0, 1} in the category of commutative monoids with zero element.
13 By M 0 we mean the initial object {0, 1} in the category of commutative monoids with zero element. Modules over M 0 are simply pointed sets. There is a natural tensor product of modules over M 0 given by M N = (M N)/(M N), the Cartesian product with the one-point union collapsed to a basepoint.
14 By M 0 we mean the initial object {0, 1} in the category of commutative monoids with zero element. Modules over M 0 are simply pointed sets. There is a natural tensor product of modules over M 0 given by M N = (M N)/(M N), the Cartesian product with the one-point union collapsed to a basepoint. If N is some commutative monoid with zero, i.e., some commutative M 0 -algebra, then a N -module M is simply a pointed set equipped with a unital, associative action map N M M. There is a relative tensor product M N N defined by the same coequalizer sequence as the relative tensor product for modules over rings.
15 One can base-change a M 0 -module M to a Z-module: Z[M]/( = 0). Similarly, one can base change commutative M 0 -algebras to commutative Z-algebras in a way that respects the module categories, etc.; and given a Z-module, one can forget the addition to get a M 0 -module, and similarly for commutative algebras. These operations define functors: Mod(Z) Mod(Z) f Mod(M 0 ) f Mod(M0 ) and an adjunction f f.
16 One can base-change a M 0 -module M to a Z-module: Z[M]/( = 0). Similarly, one can base change commutative M 0 -algebras to commutative Z-algebras in a way that respects the module categories, etc.; and given a Z-module, one can forget the addition to get a M 0 -module, and similarly for commutative algebras. These operations define functors: Mod(Z) Mod(Z) f Mod(M 0 ) f Mod(M0 ) and an adjunction f f. We will take seriously Grothendieck s philosophy that one should work with module categories instead of with rings, schemes, etc., and we will treat this adjunction as defining a map Spec Z Spec M 0.
17 The object M 0 is sometimes taken as a model for F 1, that is, the geometry of topological spaces equipped with structure sheaves which look Zariski-locally like commutative monoids with zero is believed to be a good model for the geometry of F 1 -schemes. We will study M 0, its derived category, and Grothendieck duality for the morphism Spec Z Spec M 0, with the understanding that whatever we learn in this case will probably shed some light on any other model one chooses for F 1 -geometry.
18 The object M 0 is sometimes taken as a model for F 1, that is, the geometry of topological spaces equipped with structure sheaves which look Zariski-locally like commutative monoids with zero is believed to be a good model for the geometry of F 1 -schemes. We will study M 0, its derived category, and Grothendieck duality for the morphism Spec Z Spec M 0, with the understanding that whatever we learn in this case will probably shed some light on any other model one chooses for F 1 -geometry. So what is D + (M 0 )? The category of M 0 -modules isn t abelian, so one can t form chain complexes of M 0 -modules.
19 The object M 0 is sometimes taken as a model for F 1, that is, the geometry of topological spaces equipped with structure sheaves which look Zariski-locally like commutative monoids with zero is believed to be a good model for the geometry of F 1 -schemes. We will study M 0, its derived category, and Grothendieck duality for the morphism Spec Z Spec M 0, with the understanding that whatever we learn in this case will probably shed some light on any other model one chooses for F 1 -geometry. So what is D + (M 0 )? The category of M 0 -modules isn t abelian, so one can t form chain complexes of M 0 -modules. We need a description of the bounded-below derived category of a ring R which does not rely on the category of R-modules being abelian.
20 Outline Classical Grothendieck duality. M 0 -schemes. Derived categories without an abelian category of modules. Computing Lf and Rf and f! for the map from Spec Z to Spec M 0. The homology of the dualizing complex.
21 Let R be a commutative ring. Here is a natural (to a topologist s view, at least) description of D + (R): begin with the category smod(r) of simplicial R-modules.
22 Let R be a commutative ring. Here is a natural (to a topologist s view, at least) description of D + (R): begin with the category smod(r) of simplicial R-modules. By the Dold-Kan theorem, the category smod(r) is equivalent to the category of chain complexes of R-modules concentrated in nonnegative degrees. A morphism of chain complexes is a quasi-isomorphism if and only if the equivalent morphism of simplicial R-modules is a weak equivalence in the projective model structure on smod(r); so Ho(sMod(R)) is the semi-triangulated derived category of chain complexes of R-modules concentrated in nonnegative degrees.
23 Let R be a commutative ring. Here is a natural (to a topologist s view, at least) description of D + (R): begin with the category smod(r) of simplicial R-modules. By the Dold-Kan theorem, the category smod(r) is equivalent to the category of chain complexes of R-modules concentrated in nonnegative degrees. A morphism of chain complexes is a quasi-isomorphism if and only if the equivalent morphism of simplicial R-modules is a weak equivalence in the projective model structure on smod(r); so Ho(sMod(R)) is the semi-triangulated derived category of chain complexes of R-modules concentrated in nonnegative degrees. What s the projective model structure on smod(r)? A morphism of simplicial R-modules is a fibration (resp. cofibration, weak equivalence) iff the underlying morphism of simplicial sets is a fibration (resp. cofibration, weak equivalence).
24 Now to get D + (R) we need to allow desuspensions of object in Ho(sMod(R)). We will do this by formally adjoining desuspensions of objects in smod(r): a bounded-below spectrum object in smod(r) consists of a functor Z Z F smod(r) which preserves finite homotopy limits and such that F (m, n) is contractible if m n and such that F (n, n) is contractible if n << 0.
25 Now to get D + (R) we need to allow desuspensions of object in Ho(sMod(R)). We will do this by formally adjoining desuspensions of objects in smod(r): a bounded-below spectrum object in smod(r) consists of a functor Z Z F smod(r) which preserves finite homotopy limits and such that F (m, n) is contractible if m n and such that F (n, n) is contractible if n << 0. In practical terms: we have a bunch of diagrams F (n, n) 0 0 F (n + 1, n + 1) which are homotopy pullback squares, i.e., F (n, n) 0 F (n + 1, n + 1) is an exact triangle in the semitriangulated category of connective chain complexes of R-modules; so F (n + 1, n + 1) F (n, n)[1].
26 Write S + (smod(r)) for the category of bounded-below spectrum objects in smod(r). Passing from smod(r) to S + (smod(r)) formally inverts suspension, and Ho(S + (smod(r))) D + (R).
27 Write S + (smod(r)) for the category of bounded-below spectrum objects in smod(r). Passing from smod(r) to S + (smod(r)) formally inverts suspension, and Ho(S + (smod(r))) D + (R). What if we do this with R = M 0?
28 Write S + (smod(r)) for the category of bounded-below spectrum objects in smod(r). Passing from smod(r) to S + (smod(r)) formally inverts suspension, and Ho(S + (smod(r))) D + (R). What if we do this with R = M 0? Then smod(m 0 ) = spsets pssets, the category of pointed simplicial sets, which is Quillen-equivalent (has the same homotopy category) as the category of CW-complexes and CW maps.
29 Write S + (smod(r)) for the category of bounded-below spectrum objects in smod(r). Passing from smod(r) to S + (smod(r)) formally inverts suspension, and Ho(S + (smod(r))) D + (R). What if we do this with R = M 0? Then smod(m 0 ) = spsets pssets, the category of pointed simplicial sets, which is Quillen-equivalent (has the same homotopy category) as the category of CW-complexes and CW maps. And when we invert suspension: S + (smod(m 0 )) is the category of bounded-below spectra.
30 Write S + (smod(r)) for the category of bounded-below spectrum objects in smod(r). Passing from smod(r) to S + (smod(r)) formally inverts suspension, and Ho(S + (smod(r))) D + (R). What if we do this with R = M 0? Then smod(m 0 ) = spsets pssets, the category of pointed simplicial sets, which is Quillen-equivalent (has the same homotopy category) as the category of CW-complexes and CW maps. And when we invert suspension: S + (smod(m 0 )) is the category of bounded-below spectra. So D + (M 0 ) is triangulated-equivalent to the homotopy category of bounded-below spectra.
31 Write S + (smod(r)) for the category of bounded-below spectrum objects in smod(r). Passing from smod(r) to S + (smod(r)) formally inverts suspension, and Ho(S + (smod(r))) D + (R). What if we do this with R = M 0? Then smod(m 0 ) = spsets pssets, the category of pointed simplicial sets, which is Quillen-equivalent (has the same homotopy category) as the category of CW-complexes and CW maps. And when we invert suspension: S + (smod(m 0 )) is the category of bounded-below spectra. So D + (M 0 ) is triangulated-equivalent to the homotopy category of bounded-below spectra. So homological algebra over commutative monoids with zero is simply stable homotopy, i.e., Ext groups over M 0 are stable homotopy groups.
32 Outline Classical Grothendieck duality. M 0 -schemes. Derived categories without an abelian category of modules. Computing Lf and Rf and f! for the map from Spec Z to Spec M 0. The homology of the dualizing complex.
33 We have maps Mod(Z) Mod(Z) f Mod(M 0 ) f Mod(M0 ) defined earlier in this talk; what functors do they induce on the derived categories?
34 We have maps Mod(Z) Mod(Z) f Mod(M 0 ) f Mod(M0 ) defined earlier in this talk; what functors do they induce on the derived categories? D + (Z) D + (Z) Lf D + (M 0 ) Rf D + (M 0 ) Lf sends a spectrum to its singular chain complex, while Rf sends a chain complex C of abelian groups to the generalized Eilenberg-Maclane spectrum HC ; this has the property that π i (HC ) = H i (C ).
35 There exists a functor D + (Z) f! D + (M 0 ) which is a derived right adjoint to Rf ; its existence can be shown formally by methods of Neeman, or it can be explicitly constructed before passing to the homotopy category (f! (X ) is the function spectrum F (HZ, X ), by EKMM).
36 There exists a functor D + (Z) f! D + (M 0 ) which is a derived right adjoint to Rf ; its existence can be shown formally by methods of Neeman, or it can be explicitly constructed before passing to the homotopy category (f! (X ) is the function spectrum F (HZ, X ), by EKMM). Let s use the derived adjunction R hom Z (C [i], f! X ) = [Σ i Rf C, X ] to compute the homology groups of the dualizing complex f! M 0 = f! S.
37 There exists a functor D + (Z) f! D + (M 0 ) which is a derived right adjoint to Rf ; its existence can be shown formally by methods of Neeman, or it can be explicitly constructed before passing to the homotopy category (f! (X ) is the function spectrum F (HZ, X ), by EKMM). Let s use the derived adjunction R hom Z (C [i], f! X ) = [Σ i Rf C, X ] to compute the homology groups of the dualizing complex f! M 0 = f! S. This is the Grothendieck duality one gets by pulling back (via f! ) the dualizing object for Spanier-Whitehead duality of spectra to some kind of dualizing complex of abelian groups.
38 Let C = Z[0]. Then the spectral sequence Ext s Z (Z, H tf! X ) R hom s t Z (C, f! X ) collapses, at E 2, on to the s = 0 line.
39 Let C = Z[0]. Then the spectral sequence Ext s Z (Z, H tf! X ) R hom s t Z (C, f! X ) collapses, at E 2, on to the s = 0 line. So: H t (f! X ) = Ext s Z (Z, H t f! X ) = [Σ t HZ, X ]. So the homology of the dualizing complex coming from a spectrum X is given by homotopy classes of maps from suspensions of HZ into X.
40 Outline Classical Grothendieck duality. M 0 -schemes. Derived categories without an abelian category of modules. Computing Lf and Rf and f! for the map from Spec Z to Spec M 0. The homology of the dualizing complex.
41 H t (f! X ) = [Σ t HZ, X ]. A theorem of T.Y. Lin: if X is a finite CW-complex, then [Σ i HZ, X ] = Ext 1 Z (Q, H 1+i(X )).
42 H t (f! X ) = [Σ t HZ, X ]. A theorem of T.Y. Lin: if X is a finite CW-complex, then [Σ i HZ, X ] = Ext 1 Z (Q, H 1+i(X )). If X S, this formula reads: { H i (f! Ext 1 S) = Z (Q, Z) if i = 1 0 if i 1.
43 H t (f! X ) = [Σ t HZ, X ]. A theorem of T.Y. Lin: if X is a finite CW-complex, then [Σ i HZ, X ] = Ext 1 Z (Q, H 1+i(X )). If X S, this formula reads: { H i (f! Ext 1 S) = Z (Q, Z) if i = 1 0 if i 1. g If we let g be the morphism Spec F p Spec M 0, then H (g! S) = 0, so the dualizing complex becomes trivial when pulled back to any closed point of Spec Z.
44 An adelic description. Let NF be the category of number fields, and let Ab be the category of abelian groups. These two functors NF Ab are naturally equivalent: K/Q H 1 (f! (MO K )) K/Q G(A K )\G(A K )/G(K), where G is the additive group scheme.
45 An adelic description. Let NF be the category of number fields, and let Ab be the category of abelian groups. These two functors NF Ab are naturally equivalent: K/Q H 1 (f! (MO K )) K/Q G(A K )\G(A K )/G(K), where G is the additive group scheme. Here MO K is the Moore spectrum of O K, a ring spectrum satisfying H (MO K ) = O K concentrated in degree 0. If K = Q this is the sphere spectrum.
46 Phantom maps. Notice that π (Σ 1 HZ) is concentrated in degree 1, while π 1 (S) = 0; so the non-nulhomotopic maps Σ 1 HZ S which are responsible for the homology of f! S, these maps are necessarily zero on applying stable homotopy groups.
47 Phantom maps. Notice that π (Σ 1 HZ) is concentrated in degree 1, while π 1 (S) = 0; so the non-nulhomotopic maps Σ 1 HZ S which are responsible for the homology of f! S, these maps are necessarily zero on applying stable homotopy groups. Hence they are phantom maps, non-nulhomotopic maps between spectra which are not detected by stable homotopy groups.
48 Phantom maps. Notice that π (Σ 1 HZ) is concentrated in degree 1, while π 1 (S) = 0; so the non-nulhomotopic maps Σ 1 HZ S which are responsible for the homology of f! S, these maps are necessarily zero on applying stable homotopy groups. Hence they are phantom maps, non-nulhomotopic maps between spectra which are not detected by stable homotopy groups. These are important objects, and Freyd s generating hypothesis, one of the most important open conjectures in algebraic topology, is the statement that there are no phantom maps between finite CW-complexes. The fact that the homology of the Grothendieck dualizing complex for the morphism Spec Z Spec M 0 is isomorphic to a group of phantom maps, and in turn an adelic double quotient, is rather remarkable.
BERTRAND GUILLOU. s G q+r
STABLE A 1 -HOMOTOPY THEORY BERTRAND GUILLOU 1. Introduction Recall from the previous talk that we have our category pointed A 1 -homotopy category Ho A 1, (k) over a field k. We will often refer to an
More informationOVERVIEW OF SPECTRA. Contents
OVERVIEW OF SPECTRA Contents 1. Motivation 1 2. Some recollections about Top 3 3. Spanier Whitehead category 4 4. Properties of the Stable Homotopy Category HoSpectra 5 5. Topics 7 1. Motivation There
More informationGK-SEMINAR SS2015: SHEAF COHOMOLOGY
GK-SEMINAR SS2015: SHEAF COHOMOLOGY FLORIAN BECK, JENS EBERHARDT, NATALIE PETERNELL Contents 1. Introduction 1 2. Talks 1 2.1. Introduction: Jordan curve theorem 1 2.2. Derived categories 2 2.3. Derived
More informationALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0.
ALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0. ANDREW SALCH During the last lecture, we found that it is natural (even just for doing undergraduatelevel complex analysis!)
More informationSpectra and the Stable Homotopy Category
Peter Bonventre Graduate Seminar Talk - September 26, 2014 Abstract: An introduction to the history and application of (topological) spectra, the stable homotopy category, and their relation. 1 Introduction
More informationGraduate algebraic K-theory seminar
Seminar notes Graduate algebraic K-theory seminar notes taken by JL University of Illinois at Chicago February 1, 2017 Contents 1 Model categories 2 1.1 Definitions...............................................
More informationAlgebraic Models for Homotopy Types III Algebraic Models in p-adic Homotopy Theory
Algebraic Models for Homotopy Types III Algebraic Models in p-adic Homotopy Theory Michael A. Mandell Indiana University Young Topologists Meeting 2013 July 11, 2013 M.A.Mandell (IU) Models in p-adic Homotopy
More informationAn Introduction to Model Categories
An Introduction to Model Categories Brooke Shipley (UIC) Young Topologists Meeting, Stockholm July 4, 2017 Examples of Model Categories (C, W ) Topological Spaces with weak equivalences f : X Y if π (X
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 informationIntroduction and preliminaries Wouter Zomervrucht, Februari 26, 2014
Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally
More informationAn introduction to derived and triangulated categories. Jon Woolf
An introduction to derived and triangulated categories Jon Woolf PSSL, Glasgow, 6 7th May 2006 Abelian categories and complexes Derived categories and functors arise because 1. we want to work with complexes
More informationThe Ordinary RO(C 2 )-graded Cohomology of a Point
The Ordinary RO(C 2 )-graded Cohomology of a Point Tiago uerreiro May 27, 2015 Abstract This paper consists of an extended abstract of the Master Thesis of the author. Here, we outline the most important
More informationarxiv:math/ v1 [math.at] 6 Oct 2004
arxiv:math/0410162v1 [math.at] 6 Oct 2004 EQUIVARIANT UNIVERSAL COEFFICIENT AND KÜNNETH SPECTRAL SEQUENCES L. GAUNCE LEWIS, JR. AND MICHAEL A. MANDELL Abstract. We construct hyper-homology spectral sequences
More informationIndCoh Seminar: Ind-coherent sheaves I
IndCoh Seminar: Ind-coherent sheaves I Justin Campbell March 11, 2016 1 Finiteness conditions 1.1 Fix a cocomplete category C (as usual category means -category ). This section contains a discussion of
More informationJUVITOP OCTOBER 22, 2016: THE HOPKINS-MILLER THEOREM
JUVITOP OCTOBER 22, 2016: THE HOPKINS-MILLER THEOREM XIAOLIN (DANNY) SHI Outline: (1) Introduction: Statement of Theorem (2) Obstruction: The Bousfield Kan Spectral Sequence (3) Computations Reference:
More informationDerived Algebraic Geometry I: Stable -Categories
Derived Algebraic Geometry I: Stable -Categories October 8, 2009 Contents 1 Introduction 2 2 Stable -Categories 3 3 The Homotopy Category of a Stable -Category 6 4 Properties of Stable -Categories 12 5
More informationINTRODUCTION TO PART V: CATEGORIES OF CORRESPONDENCES
INTRODUCTION TO PART V: CATEGORIES OF CORRESPONDENCES 1. Why correspondences? This part introduces one of the two main innovations in this book the (, 2)-category of correspondences as a way to encode
More informationOn Obstructions to Realizing Diagrams of Π-algebras
On Obstructions to Realizing Diagrams of Π-algebras Mark W. Johnson mwj3@psu.edu March 16, 2008. On Obstructions to Realizing Diagrams of Π-algebras 1/13 Overview Collaboration with David Blanc and Jim
More informationDERIVED CATEGORIES OF STACKS. Contents 1. Introduction 1 2. Conventions, notation, and abuse of language The lisse-étale and the flat-fppf sites
DERIVED CATEGORIES OF STACKS Contents 1. Introduction 1 2. Conventions, notation, and abuse of language 1 3. The lisse-étale and the flat-fppf sites 1 4. Derived categories of quasi-coherent modules 5
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset
More informationLOCALIZATION, UNIVERSAL PROPERTIES, AND HOMOTOPY THEORY
LOCLIZTION, UNIVERSL PROPERTIES, ND HOMOTOPY THEORY DVID WHITE Localization in lgebra Localization in Category Theory ousfield localization 1. The right way to think about localization in algebra Localization
More informationDuality, Residues, Fundamental class
Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class
More informationTwo results from Morita theory of stable model categories
Two results from Morita theory of stable model categories Dissertation zur Erlangung des Doktorgrades (Dr. rer. nat.) der Mathematisch-Naturwissenschaftlichen Fakultät der Rheinischen Friedrich-Wilhelms-Universität
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 informationAXIOMS FOR GENERALIZED FARRELL-TATE COHOMOLOGY
AXIOMS FOR GENERALIZED FARRELL-TATE COHOMOLOGY JOHN R. KLEIN Abstract. In [Kl] we defined a variant of Farrell-Tate cohomology for a topological group G and any naive G-spectrum E by taking the homotopy
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationNon characteristic finiteness theorems in crystalline cohomology
Non characteristic finiteness theorems in crystalline cohomology 1 Non characteristic finiteness theorems in crystalline cohomology Pierre Berthelot Université de Rennes 1 I.H.É.S., September 23, 2015
More informationIterated Bar Complexes of E-infinity Algebras and Homology Theories
Iterated Bar Complexes of E-infinity Algebras and Homology Theories BENOIT FRESSE We proved in a previous article that the bar complex of an E -algebra inherits a natural E -algebra structure. As a consequence,
More information1. THE CONSTRUCTIBLE DERIVED CATEGORY
1. THE ONSTRUTIBLE DERIVED ATEGORY DONU ARAPURA Given a family of varieties, we want to be able to describe the cohomology in a suitably flexible way. We describe with the basic homological framework.
More information6. Lecture cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not
6. Lecture 6 6.1. cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not only motivic cohomology, but also to Morel-Voevodsky
More informationBasic results on Grothendieck Duality
Basic results on Grothendieck Duality Joseph Lipman 1 Purdue University Department of Mathematics lipman@math.purdue.edu http://www.math.purdue.edu/ lipman November 2007 1 Supported in part by NSA Grant
More informationThe positive complete model structure and why we need it
The positive complete model structure and why we need it Hood Chatham Alan told us in his talk about what information we can get about the homotopical structure of S G directly. In particular, he built
More informationCellularity, composition, and morphisms of algebraic weak factorization systems
Cellularity, composition, and morphisms of algebraic weak factorization systems Emily Riehl University of Chicago http://www.math.uchicago.edu/~eriehl 19 July, 2011 International Category Theory Conference
More informationAFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES
AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are C-linear. 1.
More information0.1 Spec of a monoid
These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.
More informationRTG Mini-Course Perspectives in Geometry Series
RTG Mini-Course Perspectives in Geometry Series Jacob Lurie Lecture IV: Applications and Examples (1/29/2009) Let Σ be a Riemann surface of genus g, then we can consider BDiff(Σ), the classifying space
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 informationKathryn Hess. Conference on Algebraic Topology, Group Theory and Representation Theory Isle of Skye 9 June 2009
Institute of Geometry, lgebra and Topology Ecole Polytechnique Fédérale de Lausanne Conference on lgebraic Topology, Group Theory and Representation Theory Isle of Skye 9 June 2009 Outline 1 2 3 4 of rings:
More informationHomotopy types of algebraic varieties
Homotopy types of algebraic varieties Bertrand Toën These are the notes of my talk given at the conference Theory of motives, homotopy theory of varieties, and dessins d enfants, Palo Alto, April 23-26,
More informationarxiv:math/ v1 [math.at] 8 Sep 2003
arxiv:math/0309145v1 [math.at] 8 Sep 2003 Brave New Algebraic Geometry and global derived moduli spaces of ring spectra Bertrand Toën Laboratoire Emile Picard UMR CNRS 5580 Université Paul Sabatier, Toulouse
More informationIND-COHERENT SHEAVES AND SERRE DUALITY II. 1. Introduction
IND-COHERENT SHEAVES AND SERRE DUALITY II 1. Introduction Let X be a smooth projective variety over a field k of dimension n. Let V be a vector bundle on X. In this case, we have an isomorphism H i (X,
More informationStable Homotopy Theory A gateway to modern mathematics.
Stable Homotopy Theory A gateway to modern mathematics. Sunil Chebolu Department of Mathematics University of Western Ontario http://www.math.uwo.ca/ schebolu 1 Plan of the talk 1. Introduction to stable
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 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 informationMODULAR REPRESENTATION THEORY AND PHANTOM MAPS
MODULAR REPRESENTATION THEORY AND PHANTOM MAPS RICHARD WONG Abstract. In this talk, I will introduce and motivate the main objects of study in modular representation theory, which leads one to consider
More informationDerived Algebraic Geometry III: Commutative Algebra
Derived Algebraic Geometry III: Commutative Algebra May 1, 2009 Contents 1 -Operads 4 1.1 Basic Definitions........................................... 5 1.2 Fibrations of -Operads.......................................
More informationSPECTRAL ENRICHMENTS OF MODEL CATEGORIES
SPECTRAL ENRICHMENTS OF MODEL CATEGORIES DANIEL DUGGER Abstract. We prove that every stable, presentable model category can be enriched in a natural way over symmetric spectra. As a consequence of the
More informationQUILLEN MODEL STRUCTURES FOR RELATIVE HOMOLOGICAL ALGEBRA
QUILLEN MODEL STRUCTURES FOR RELATIVE HOMOLOGICAL ALGEBRA J. DANIEL CHRISTENSEN AND MARK HOVEY Abstract. An important example of a model category is the category of unbounded chain complexes of R-modules,
More informationTHE EILENBERG-WATTS THEOREM IN HOMOTOPICAL ALGEBRA
THE EILENBERG-WATTS THEOREM IN HOMOTOPICAL ALGEBRA MARK HOVEY Abstract. The object of this paper is to prove that the standard categories in which homotopy theory is done, such as topological spaces, simplicial
More informationA LOOPING DELOOPING ADJUNCTION FOR TOPOLOGICAL SPACES
Homology, Homotopy and Applications, vol. 19(1), 2017, pp.37 57 A LOOPING DELOOPING ADJUNCTION FOR TOPOLOGICAL SPACES MARTINA ROVELLI (communicated by Brooke Shipley) Abstract Every principal G-bundle
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 informationPART II.2. THE!-PULLBACK AND BASE CHANGE
PART II.2. THE!-PULLBACK AND BASE CHANGE Contents Introduction 1 1. Factorizations of morphisms of DG schemes 2 1.1. Colimits of closed embeddings 2 1.2. The closure 4 1.3. Transitivity of closure 5 2.
More informationDUALITY IN ALGEBRA AND TOPOLOGY
DUALITY IN ALGEBRA AND TOPOLOGY W. G. DWYER, J. P. C. GREENLEES, AND S. IYENGAR Dedicated to Clarence W. Wilkerson, on the occasion of his sixtieth birthday Contents 1. Introduction 1 2. Spectra, S-algebras,
More informationMotivic integration on Artin n-stacks
Motivic integration on Artin n-stacks Chetan Balwe Nov 13,2009 1 / 48 Prestacks (This treatment of stacks is due to B. Toën and G. Vezzosi.) Let S be a fixed base scheme. Let (Aff /S) be the category of
More informationHigher Categories, Homotopy Theory, and Applications
Higher Categories, Homotopy Theory, and Applications Thomas M. Fiore http://www.math.uchicago.edu/~fiore/ Why Homotopy Theory and Higher Categories? Homotopy Theory solves topological and geometric problems
More informationUniversität Regensburg Mathematik
Universität Regensburg Mathematik Motivic Landweber exactness Niko Naumann, Markus Spitzweck and Paul Arne Østvær Preprint Nr. 15/2008 Motivic Landweber exactness Niko Naumann, Markus Spitzweck, Paul Arne
More informationLecture 9: Sheaves. February 11, 2018
Lecture 9: Sheaves February 11, 2018 Recall that a category X is a topos if there exists an equivalence X Shv(C), where C is a small category (which can be assumed to admit finite limits) equipped with
More informationAN ALGEBRAIC MODEL FOR RATIONAL TORUS-EQUIVARIANT SPECTRA. Contents. Part 1. Overview Introduction Outline of the argument.
AN ALGEBRAIC MODEL FOR RATIONAL TORUS-EQUIVARIANT SPECTRA J. P. C. GREENLEES AND B. SHIPLEY Abstract. We show that the category of rational G-spectra for a torus G is Quillen equivalent to an explicit
More informationarxiv: v1 [math.at] 17 Apr 2008
DG CATEGORIES AS EILENBERG-MAC LANE SPECTRAL ALGEBRA arxiv:0804.2791v1 [math.at] 17 Apr 2008 GONÇALO TABUADA Abstract. We construct a zig-zag of Quillen equivalences between the homotopy theories of differential
More informationRESEARCH STATEMENT RUIAN CHEN
RESEARCH STATEMENT RUIAN CHEN 1. Overview Chen is currently working on a large-scale program that aims to unify the theories of generalized cohomology and of perverse sheaves. This program is a major development
More informationMath Homotopy Theory Hurewicz theorem
Math 527 - Homotopy Theory Hurewicz theorem Martin Frankland March 25, 2013 1 Background material Proposition 1.1. For all n 1, we have π n (S n ) = Z, generated by the class of the identity map id: S
More informationHomology and Cohomology of Stacks (Lecture 7)
Homology and Cohomology of Stacks (Lecture 7) February 19, 2014 In this course, we will need to discuss the l-adic homology and cohomology of algebro-geometric objects of a more general nature than algebraic
More informationBernhard Keller. University Paris 7 and Jussieu Mathematics Institute. On differential graded categories. Bernhard Keller
graded graded University Paris 7 and Jussieu Mathematics Institute graded Philosophy graded Question: What is a non commutative (=NC) scheme? Grothendieck, Manin,... : NC scheme = abelian category classical
More informationTopological Field Theories
Topological Field Theories RTG Graduate Summer School Geometry of Quantum Fields and Strings University of Pennsylvania, Philadelphia June 15-19, 2009 Lectures by John Francis Notes by Alberto Garcia-Raboso
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 informationarxiv: v2 [math.at] 18 Sep 2008
TOPOLOGICAL HOCHSCHILD AND CYCLIC HOMOLOGY FOR DIFFERENTIAL GRADED CATEGORIES arxiv:0804.2791v2 [math.at] 18 Sep 2008 GONÇALO TABUADA Abstract. We define a topological Hochschild (THH) and cyclic (TC)
More informationManifolds, Higher Categories and Topological Field Theories
Manifolds, Higher Categories and Topological Field Theories Nick Rozenblyum (w/ David Ayala) Northwestern University January 7, 2012 Nick Rozenblyum (w/ David Ayala) Manifolds, Higher Categories and Topological
More informationarxiv:math/ v1 [math.at] 21 Aug 2001
CLASSIFICATION OF STABLE MODEL CATEGORIES arxiv:math/0108143v1 [math.at] 21 Aug 2001 STEFAN SCHWEDE AND BROOKE SHIPLEY Abstract: A stable model category is a setting for homotopy theory where the suspension
More informationTHE CELLULARIZATION PRINCIPLE FOR QUILLEN ADJUNCTIONS
THE CELLULARIZATION PRINCIPLE FOR QUILLEN ADJUNCTIONS J. P. C. GREENLEES AND B. SHIPLEY Abstract. The Cellularization Principle states that under rather weak conditions, a Quillen adjunction of stable
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 informationKOSZUL DUALITY COMPLEXES FOR THE COHOMOLOGY OF ITERATED LOOP SPACES OF SPHERES. Benoit Fresse
KOSZUL DUALITY COMPLEXES FOR THE COHOMOLOGY OF ITERATED LOOP SPACES OF SPHERES by Benoit Fresse Abstract. The goal of this article is to make explicit a structured complex computing the cohomology of a
More informationDerived Algebraic Geometry IX: Closed Immersions
Derived Algebraic Geometry I: Closed Immersions November 5, 2011 Contents 1 Unramified Pregeometries and Closed Immersions 4 2 Resolutions of T-Structures 7 3 The Proof of Proposition 1.0.10 14 4 Closed
More informationHochschild homology and Grothendieck Duality
Hochschild homology and Grothendieck Duality Leovigildo Alonso Tarrío Universidade de Santiago de Compostela Purdue University July, 1, 2009 Leo Alonso (USC.es) Hochschild theory and Grothendieck Duality
More informationD-MODULES: AN INTRODUCTION
D-MODULES: AN INTRODUCTION ANNA ROMANOVA 1. overview D-modules are a useful tool in both representation theory and algebraic geometry. In this talk, I will motivate the study of D-modules by describing
More informationGroupoids and Orbifold Cohomology, Part 2
Groupoids and Orbifold Cohomology, Part 2 Dorette Pronk (with Laura Scull) Dalhousie University (and Fort Lewis College) Groupoidfest 2011, University of Nevada Reno, January 22, 2012 Motivation Orbifolds:
More informationDERIVED ALGEBRAIC GEOMETRY
DERIVED ALGEBRAIC GEOMETRY 1. Introduction 1.1. Bezout s Theorem. Let C, C P 2 be two smooth algebraic curves of degrees n and m in the complex projective plane P 2. If C and C meet transversely, then
More informationAbstracting away from cell complexes
Abstracting away from cell complexes Michael Shulman 1 Peter LeFanu Lumsdaine 2 1 University of San Diego 2 Stockholm University March 12, 2016 Replacing big messy cell complexes with smaller and simpler
More informationPOSTNIKOV EXTENSIONS OF RING SPECTRA
POSTNIKOV EXTENSIONS OF RING SPECTRA DANIEL DUGGER AND BROOKE SHIPLEY Abstract. We give a functorial construction of k-invariants for ring spectra, and use these to classify extensions in the Postnikov
More informationModules over Motivic Cohomology
Noname manuscript No. will be inserted by the editor) Oliver Röndigs, Paul Arne Østvær Modules over Motivic Cohomology Oblatum date & date Abstract For fields of characteristic zero, we show the homotopy
More informationTopological K-theory, Lecture 3
Topological K-theory, Lecture 3 Matan Prasma March 2, 2015 1 Applications of the classification theorem continued Let us see how the classification theorem can further be used. Example 1. The bundle γ
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 informationin path component sheaves, and the diagrams
Cocycle categories Cocycles J.F. Jardine I will be using the injective model structure on the category s Pre(C) of simplicial presheaves on a small Grothendieck site C. You can think in terms of simplicial
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 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 information1 Replete topoi. X = Shv proét (X) X is locally weakly contractible (next lecture) X is replete. D(X ) is left complete. K D(X ) we have R lim
Reference: [BS] Bhatt, Scholze, The pro-étale topology for schemes In this lecture we consider replete topoi This is a nice class of topoi that include the pro-étale topos, and whose derived categories
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 informationMODERN FOUNDATIONS FOR STABLE HOMOTOPY THEORY. Contents
MODERN FOUNDATIONS FOR STABLE HOMOTOPY THEORY A.D. ELMENDORF, I. KRIZ, M. A. MANDELL, AND J. P.MAY Contents Introduction 1 1. Spectra and the stable homotopy category 6 2. Smash products and twisted half-smash
More informationMinisymposium on Categorical Algebra, Homotopy Theory, and Applications
CSASC 2011 Minisymposium on Categorical Algebra, Homotopy Theory, and Applications This minisymposium encompasses a broad area where algebraic and category-theoretical methods are combined, aiming at applications
More informationA UNIQUENESS THEOREM FOR STABLE HOMOTOPY THEORY
A UNIQUENESS THEOREM FOR STABLE HOMOTOPY THEORY STEFAN SCHWEDE AND BROOKE SHIPLEY 1. Introduction Roughly speaking, the stable homotopy category of algebraic topology is obtained from the homotopy category
More informationCW-complexes. Stephen A. Mitchell. November 1997
CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,
More informationQuillen cohomology and Hochschild cohomology
Quillen cohomology and Hochschild cohomology Haynes Miller June, 2003 1 Introduction In their initial work ([?], [?], [?]), Michel André and Daniel Quillen described a cohomology theory applicable in very
More informationAlgebraic models for higher categories
Algebraic models for higher categories Thomas Nikolaus Fachbereich Mathematik, Universität Hamburg Schwerpunkt Algebra und Zahlentheorie Bundesstraße 55, D 20 146 Hamburg Abstract We introduce the notion
More informationAlgebraic models for higher categories
Algebraic models for higher categories Thomas Nikolaus Organisationseinheit Mathematik, Universität Hamburg Schwerpunkt Algebra und Zahlentheorie Bundesstraße 55, D 20 146 Hamburg Abstract We establish
More informationStabilization as a CW approximation
Journal of Pure and Applied Algebra 140 (1999) 23 32 Stabilization as a CW approximation A.D. Elmendorf Department of Mathematics, Purdue University Calumet, Hammond, IN 46323, USA Communicated by E.M.
More informationLecture 2: Spectra and localization
Lecture 2: Spectra and localization Paul VanKoughnett February 15, 2013 1 Spectra (Throughout, spaces means pointed topological spaces or simplicial sets we ll be clear where we need one version or the
More informationNOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY
NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc
More informationIntroduction to Chiral Algebras
Introduction to Chiral Algebras Nick Rozenblyum Our goal will be to prove the fact that the algebra End(V ac) is commutative. The proof itself will be very easy - a version of the Eckmann Hilton argument
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 informationSM CATEGORIES AND THEIR REPRESENTATIONS
SM CATEGORIES AND THEIR REPRESENTATIONS Abstract. Lectures at the TQFT seminar, Jerusalem, Fall 5770 1. Introduction A monoidal category C is a category with a bifunctor : C C C endowed with an associativity
More informationDeformation theory of representable morphisms of algebraic stacks
Deformation theory of representable morphisms of algebraic stacks Martin C. Olsson School of Mathematics, Institute for Advanced Study, 1 Einstein Drive, Princeton, NJ 08540, molsson@math.ias.edu Received:
More information