Topological Logarithmic Structures
|
|
- Earl Manning
- 5 years ago
- Views:
Transcription
1 Department of Mathematics University of Oslo 25th Nordic and 1st British Nordic Congress of Mathematicians Oslo, June 2009
2 Outline 1 2 3
3 Outline Pre-log rings Pre-log S-algebras Repleteness 1 2 3
4 Pre-log rings Pre-log rings Pre-log S-algebras Repleteness Definition A pre-log ring is a commutative ring A and a commutative monoid M, with a ring homomorphism Z[M] A from the monoid ring of M to A. This is the affine form of a notion for schemes introduced by Fontaine, Illusie, Kato. Log geometry is useful to relate the special and generic fibers for schemes over e.g. Spec(Z p ).
5 Mild localization Pre-log rings Pre-log S-algebras Repleteness The pre-log ring (A, M) may be viewed as a less drastic localization of A than A[M 1 ], giving a geometric object intermediate between Spec(A) and Spec(A[M 1 ]): Spec(A[M 1 ]) Spec(A, M) Spec(A) Guiding Question: When does the first map induce an equivalence in de Rham cohomology, algebraic K -theory or other functors?
6 E ring spectra and E spaces Pre-log rings Pre-log S-algebras Repleteness For the topological theory, we replace commutative rings by some form of E ring spectra, and commutative monoids by some form of E spaces. In this talk, we model E ring spectra by commutative symmetric ring spectra [Hovey Shipley Smith]. We model E spaces by commutative I-space monoids [Bökstedt, Schlichtkrull]. For brevity, we often say S-algebra for symmetric ring spectrum.
7 Pre-log rings Pre-log S-algebras Repleteness Symmetric spectra and I-spaces A symmetric spectrum E in Sp Σ is a sequence of based Σ n -spaces E n for n 0, with structure maps σ: E n S 1 E n+1, such that σ m is Σ n Σ m -equivariant for all n, m 0. The category I has objects the finite sets n = {1,...,n} for n 0, and morphisms the injective functions. An I-space X in S I is a functor from I to spaces. There is an adjunction S[ ]: S I Sp Σ : Ω where S[X] = {n X(n) + S n }, and Ω (E): n Ω n E n.
8 Commutative monoids Pre-log rings Pre-log S-algebras Repleteness A commutative S-algebra A in CSp Σ is a commutative monoid S η µ A A A with respect to the smash product of symmetric spectra. A commutative I-space monoid M in CS I is a commutative monoid η µ 1 M M M with respect to the (convolution) product of I-spaces. (NB: Suppressing a comparison M M M M.) There is still an adjunction S[ ]: CS I CSp Σ : Ω
9 Pre-log S-algebras Pre-log rings Pre-log S-algebras Repleteness Definition A pre-log S-algebra (A, M) is a commutative S-algebra A and a commutative I-space monoid M, with an S-algebra map S[M] A from the spherical monoid ring of M to A. When M = 1 we get the trivial pre-log S-algebra (A, 1). When A = S[M], we get the canonical pre-log S-algebra (S[M], M). A map (A, M) (B, N) consists of an S-algebra map A B and an I-space monoid map M N, so that the two composite maps S[M] B agree.
10 Two building blocks Pre-log rings Pre-log S-algebras Repleteness Any pre-log S-algebra (A, M) is a pushout of trivial and canonical pre-log S-algebras: (S[M], 1) (S[M], M) (A, 1) (A, M) In this sense any pre-log scheme is locally a fiber product of ordinary schemes like Spec(A) and canonical pre-log schemes like Spec(S[M], M).
11 Integral, saturated, Kummer Pre-log rings Pre-log S-algebras Repleteness In deformation theory of pre-log schemes, one works with commutative monoids M satisfying the following conditions: M is finitely generated. The group completion map γ : M M gp is injective. If x M gp and x n M for some n 1 then x M. In the theory of log-étale descent, one works with injective monoid homomorphisms M N with a constant k such that x k M for all x N. These properties have no clear topological analog.
12 Replete homomorphisms Pre-log rings Pre-log S-algebras Repleteness Their main use is to ensure that certain homomorphisms ǫ: N M are replete, in the sense that ǫ gp : N gp M gp is surjective, and N γ N gp is a pullback square. ǫ M ǫ gp γ M gp In other words, N M is virtually surjective and exact. We propose to emphasize these properties instead.
13 Group completion and units Pre-log rings Pre-log S-algebras Repleteness The full embedding (CS I ) gp CS I of grouplike objects among all commutative I-space monoids has a left adjoint (group completion) Γ = ( ) gp : CS I (CS I ) gp and a right adjoint (homotopy units) F = ( ) : CS I (CS I ) gp.
14 Replete maps Pre-log rings Pre-log S-algebras Repleteness Definition Let ǫ: N M be a map of commutative I-space monoids. We say that N is replete over the base M if π 0 (Γǫ): π 0 (N) gp π 0 (M) gp is surjective, and the square is a homotopy pullback. N γ ΓN ǫ Γǫ M γ ΓM The surjectivity condition is automatic if ǫ has a section η: M N, so that N is an object under and over M.
15 Pre-log rings Pre-log S-algebras Repleteness Repletion of commutative I-space monoids Definition For a given ǫ: N M with π 0 (Γǫ) surjective, the repletion N rep of N over M is defined by the right hand homotopy pullback square: N ΓN Lemma N rep is replete over M. ǫ N rep M = M γ ΓM One proof uses the Bousfield Friedlander theorem. Γǫ
16 The shear map Pre-log rings Pre-log S-algebras Repleteness Let M be a base commutative I-space monoid, and consider M η M M µ M as an object under and over M, where µ(x, y) = xy is the multiplication map, and η(x) = (x, 1) is the left unit. Lemma The repletion of µ: M M M is pr 1 : M ΓM M, via the shear map sh: M M M ΓM with sh(x, y) = (xy, γ(y)).
17 Proof Pre-log rings Pre-log S-algebras Repleteness M M sh µ M ΓM γ ΓM ΓM ΓM ΓM µ (x, y) (xy, y) so M pr 1 = γ M pr 1 ΓM (M M) rep = M ΓM. xy
18 Repletion of pre-log S-algebras Pre-log rings Pre-log S-algebras Repleteness Definition Let (B, N) (A, M) be a map of pre-log S-algebras. We say that (B, N) is replete over the base (A, M) if N is replete over M. For a given map (B, N) (A, M) with π 0 (N) gp π 0 (M) gp surjective, the repletion of (B, N) over the base (A, M) is (B, N) rep = (B rep, N rep ), where B rep = B S[N] S[N rep ]. The surjectivity condition is automatic if (B, N) is an object under and over (A, M).
19 Outline Subcategories of replete objects Log topological Hochschild homology Log topological cyclic homology 1 2 3
20 Reflective subcategories Subcategories of replete objects Log topological Hochschild homology Log topological cyclic homology The full subcategories of replete objects (M/CS I /M) rep (M/CS I /M) ((A, M)/PreLog/(A, M)) rep (A, M)/PreLog/(A, M) in commutative I-space monoids under and over M M η N ǫ M, resp. in pre-log S-algebras under and over (A, M) (A, M) η (B, N) ǫ (A, M), are reflective, meaning that repletion ( ) rep is left adjoint to the forgetful functor.
21 Topological log geometry Subcategories of replete objects Log topological Hochschild homology Log topological cyclic homology To do topological log geometry relative to a base (pre-)log S-algebra (A, M), we propose to work in the category ((A, M)/PreLog/(A, M)) rep of replete pre-log S-algebras (B, N) under and over (A, M). Limits are formed as for pre-log S-algebras over (A, M). Colimits are formed by applying repletion to the colimit for pre-log S-algebras under (A, M). This category is pointed at (A, M).
22 Tensored structure Subcategories of replete objects Log topological Hochschild homology Log topological cyclic homology For (B, N) in (A, M)/PreLog/(A, M) and Y a pointed set, Here Y (A,M) (B, N) = (Y A B, Y M N) Y A B = A B (B A A B) Y M N = M N (N M M N) with one copy of B, resp. N, for each element of Y. For Y a pointed simplicial set, Y (A,M) (B, N) is the realization of [q] Y q (A,M) (B, N).
23 Cyclic bar construction, THH Subcategories of replete objects Log topological Hochschild homology Log topological cyclic homology Lemma The suspension of M M in (M/CS I /M) is the cyclic bar construction B cy (M) = S 1 M (M M). It equals the unreduced tensor S 1 M in CS I. Lemma The suspension of A A in (A/CSp Σ /A) is the topological Hochschild homology THH(A) = S 1 A (A A). It equals the unreduced tensor S 1 A in CSp Σ.
24 Replete bar construction Subcategories of replete objects Log topological Hochschild homology Log topological cyclic homology We are interested in the replete versions. Definition The replete bar construction is the repletion B rep (M) = (B cy (M)) rep over M of the cyclic bar construction. It equals the suspension B rep (M) = S 1 M (M ΓM) of (M ΓM, pr 1 ) in (M/CS I /M) rep.
25 The suspended shear map Subcategories of replete objects Log topological Hochschild homology Log topological cyclic homology Lemma B rep (M) = M B(ΓM) where B(N) = S 1 1 N is the usual bar construction. The repletion map B cy M B rep (M) is the suspended shear map S 1 M sh. It factors as B cy (M) B cy (M) B cy (M) ǫ π M B(M) id γ M B(ΓM)
26 Log THH Subcategories of replete objects Log topological Hochschild homology Log topological cyclic homology Definition The log topological Hochschild homology is the repletion over (A, M). (THH(A, M), B rep (M)) = (THH(A), B cy (M)) rep It equals the suspension (S 1 (A,M) (A A, M M)) rep of (A A, M M) in ((A, M)/PreLog/(A, M)) rep, and the unreduced tensor (S 1 (A, M)) rep of (A, M) in (PreLog/(A, M)) rep.
27 A pushout square Subcategories of replete objects Log topological Hochschild homology Log topological cyclic homology Theorem There is a homotopy pushout square S[B cy (M)] ψ S[B rep (M)] of commutative S-algebras. φ THH(A) THH(A, M) Here φ is induced by S[M] A, and ψ is induced by the suspension of the shear map.
28 A rewritten pushout square Subcategories of replete objects Log topological Hochschild homology Log topological cyclic homology Corollary There is a homotopy pushout square THH(S[M]) ψ THH(S[M], M) of commutative S-algebras. φ THH(A) THH(A, M) Hence log THH is determined by ordinary THH and its value THH(S[M], M) = S[B rep (M)] on canonical pre-log S-algebras.
29 Subcategories of replete objects Log topological Hochschild homology Log topological cyclic homology The Hesselholt Madsen construction Let K by a local field of characteristic 0, with perfect residue field k of characteristic p 2, valuation ring A, and uniformizer π A. Let M = {π j j 0}, with the obvious map S[M] HA to the Eilenberg Mac Lane spectrum. In this case, Hesselholt Madsen define a cyclotomic spectrum THH(A K) with a homotopy cofiber sequence THH(k) i THH(A) j THH(A K) such that e.g. π 1 THH(A K) = Ω 1 (A,M) is the A-module of log Kähler differentials.
30 A comparison result Subcategories of replete objects Log topological Hochschild homology Log topological cyclic homology Theorem Suppose that K is wildly ramified, so that the ramification index e of (π) over (p) is divisible by p. Then there is an isomorphism of Z/p-algebras. Conjecturally, π (THH(A K); Z/p) = π (THH(HA, M); Z/p) THH(A K) THH(A, M) also in the unramified and tamely ramified cases.
31 Cyclic structure Subcategories of replete objects Log topological Hochschild homology Log topological cyclic homology The replete bar construction inherits a cyclic structure [Connes] from the pullback square in CS I B rep (M) M γ B cy (ΓM) ǫ ΓM Log THH gets a cyclic structure from the pushout square S[B cy (M)] ψ S[B rep (M)] φ THH(A) THH(A, M) in CSp Σ.
32 Subcategories of replete objects Log topological Hochschild homology Log topological cyclic homology Cyclotomic structure (work in progress) If for each r N the square M γ ΓM x is homotopy cartesian, then ( ) r ( ) r M γ ΓM x r B rep (M) Cr = B rep (M) and THH(S[M], M) = S[B rep (M)] is a cyclotomic spectrum [Hesselholt Madsen].
33 Log topological cyclic homology Subcategories of replete objects Log topological Hochschild homology Log topological cyclic homology Assuming this, the log topological cyclic homology TC(S[M], M) is defined. The cyclotomic structures on THH(A), THH(S[M]) = S[B cy (M)] and THH(S[M], M) = S[B rep (M)] determine a cyclotomic structure on THH(A, M) = THH(A) S[B cy (M)] S[B rep (M)]. This gives a general definition of TC(A, M). When is it close to K(A[M 1 ])?
34 An example for log THH Subcategories of replete objects Log topological Hochschild homology Log topological cyclic homology Lemma Let M = {x j j 0}. We have (finite in) S 1 -equivariant equivalences B cy (M) j 1 B rep (M) j 0 S 1 (j) L >0 S 1 S 1 (j) L 0 S 1 B cy (ΓM) j Z S 1 (j) LS 1.
35 An example for log TC Subcategories of replete objects Log topological Hochschild homology Log topological cyclic homology Theorem Let M = {x j j 0}. There is a homotopy pullback square TC(S[M], M) α ΣS[L 0 S 1 S 1 ES 1 ] β S[L 0 S 1 ] trf S 1 1 p S[L 0 S 1 ] after p-adic completion. Same proof as in [Bökstedt Hsiang Madsen].
36 Localization sequences Subcategories of replete objects Log topological Hochschild homology Log topological cyclic homology Corollary Let M = {x j j 0}. There are homotopy cofiber sequences and THH(S) TC(S) i THH(S[M]) i TC(S[M]) j THH(S[M], M) j TC(S[M], M). Should be compared with the fundamental theorem for A-theory [Hüttemann Klein Vogell Waldhausen Williams].
37 Outline Log topological André Quillen homology Log modules Non-connective extensions 1 2 3
38 Log topological André Quillen homology Log modules Non-connective extensions Stable commutative augmented A-algebras Suspension B E(B) = S 1 A B defines an endofunctor on A/CSp Σ /A. By an E-spectrum in A/CSp Σ /A we mean a sequence {n B n } of commutative augmented A-algebras, with structure maps σ: E(B n ) B n+1. The category of E-spectra in A/CSp Σ /A is equivalent to the category of A-modules, taking {n B n } to hocolim n Σ n (B n /A). [Basterra Mandell]
39 Log topological André Quillen homology Log modules Non-connective extensions Topological André Quillen homology Definition The topological André Quillen homology of A is the A-module TAQ(A) that corresponds to the suspension spectrum of A A in A/CSp Σ /A. E (A A) = {n S n A (A A)}
40 Stable repletion Log topological André Quillen homology Log modules Non-connective extensions The n-fold suspension of the shear map S n M sh: S n M (M M, µ) S n M (M ΓM, pr 1 ) = M B n (ΓM) expresses the repletion of S n M (M M) as M B n (ΓM). The sequence B M = {n B n (ΓM)} is the connective spectrum associated to the commutative I-space monoid M, or equivalently, to ΓM.
41 Log TAQ Log topological André Quillen homology Log modules Non-connective extensions Definition The log topological André Quillen homology of (A, M) is the A-module TAQ(A, M) that corresponds to the levelwise repletion {n (S n (A,M) (A A, M M)) rep } of the suspension spectrum of (A A, M M) in (A, M)/PreLog/(A, M). In other words, this is the suspension spectrum of (A A, M M) in ((A, M)/PreLog/(A, M)) rep.
42 A pushout square Log topological André Quillen homology Log modules Non-connective extensions Theorem There is a homotopy pushout square A S[M] TAQ(S[M]) ψ A B M φ TAQ(A) TAQ(A, M) of A-modules. Here φ is induced by S[M] A, and ψ is induced from the infinite suspension of the shear map.
43 Log derivations Log topological André Quillen homology Log modules Non-connective extensions Lemma For each A-module K there is an equivalence (A Mod)(TAQ(A, M), K) Der((A, M), K) between the space of A-module maps TAQ(A, M) K and the space of log derivations of (A, M) with values in K. In other words, TAQ(A, M) properly plays the role of log Kähler differentials.
44 Log modules Log topological André Quillen homology Log modules Non-connective extensions There does not appear to be a classical notion of modules over a pre-log ring. We propose: Definition Let the category (A, M) Mod = Sp(((A, M)/PreLog/(A, M)) rep, E) of log modules over (A, M) be the stable category of E-spectra in replete pre-log S-algebras under and over (A, M). Then TAQ(A, M) is a natural example of a log module.
45 Log K -theory (work in progress) Log topological André Quillen homology Log modules Non-connective extensions Definition Let the log K -theory of (A, M) be the algebraic K -theory K(A, M) = K((A, M) Perf) of the category of perfect (= compact) objects in (A, M) Mod. There is a natural localization map K(A, M) K(A[M 1 ]). When is it an equivalence? There seems to be a natural trace map tr : K(A, M) THH(A, M). Does it lift through TC(A, M)?
46 Log topological André Quillen homology Log modules Non-connective extensions Non-connective E spaces (work in progress) For connective M, the structure map S[M] A only touches the connective cover of A. There is a category J = Σ 1 Σ, extending I, so that commutative J-space monoids have underlying commutative I-spaces monoids [Sagave Schlichtkrull]. Just as grouplike commutative I-space monoids are equivalent to connective spectra Sp 0 (CS I ) gp CS I, it appears that a full subcategory of commutative J-space monoids is equivalent to all spectra Sp (CS J ) gp CS J.
47 Direct image structures Log topological André Quillen homology Log modules Non-connective extensions In the Hesselholt Madsen example i : A K, the appropriate log structure on A is M = i GL 1 (K), the direct image of the trivial log structure on K. With this log structure they prove that K(K) TC(A K) is a p-adic equivalence except in low degrees. For a periodic spectrum E with connective cover i : e E, the appropriate (pre-)log structure on e may be M = i GL J 1 (E), where GLJ 1 (E) is constructed as a grouplike commutative J-space monoid. When will K(E) TC(e, M) be a p-adic equivalence with this structure? For example, we may consider E = KU p and e = ku p.
arxiv: 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 informationArbeitsgemeinschaft mit aktuellem Thema: Topological Cyclic Homology Mathematisches Forschungsinstitut Oberwolfach
Arbeitsgemeinschaft mit aktuellem Thema: Topological Cyclic Homology Mathematisches Forschungsinstitut Oberwolfach 1. 7. April 2018 Organizers: Lars Hesselholt Peter Scholze Department of Mathematical
More informationTOPOLOGICAL HOCHSCHILD AND CYCLIC HOMOLOGY AND ALGEBRAIC K-THEORY
TOPOLOGICAL HOCHSCHILD AND CYCLIC HOMOLOGY AND ALGEBRAIC K-THEORY J. P. MAY I would like to try to explain very roughly what topological cyclic homology is and what it is good for. This is not work of
More informationAndré Quillen spectral sequence for THH
Topology and its Applications 29 (2003) 273 280 www.elsevier.com/locate/topol André Quillen spectral sequence for THH Vahagn Minasian University of Illinois at Urbana-Champaign, 409 W. Green St, Urbana,
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 informationo ALGEBRAIC K-THEORY AND HIGHER CATEGORIES ANDREW J. BLUMBERG Abstract. The outline of the talk. 1. Setup Goal: Explain algebraic K-theory as a functor from the homotopical category of homotopical categories
More informationALGEBRAIC K-THEORY OF FINITELY PRESENTED RING SPECTRA. John Rognes. September 29, 2000
ALGEBRAIC K-THEORY OF FINITELY PRESENTED RING SPECTRA John Rognes September 29, 2000 1. Galois extensions Let S be the sphere spectrum. An S-algebra A is a monoid (A,µ: A A A,η: S A) in a good symmetric
More informationPostnikov extensions of ring spectra
1785 1829 1785 arxiv version: fonts, pagination and layout may vary from AGT published version Postnikov extensions of ring spectra DANIEL DUGGER BROOKE SHIPLEY We give a functorial construction of k invariants
More informationPOSTNIKOV TOWERS OF COMMUTATIVE S-ALGEBRAS
POSTNIKOV TOWERS OF COMMUTATIVE S-ALGEBRAS DANIEL HESS Contents 1. Introduction 1 2. Classical André-Quillen Homology & Cohomology 2 2.1. Motivation: Homology in Model Categories 2 2.2. Abelianization
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 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 informationON TOPOLOGICAL CYCLIC HOMOLOGY
ON TOPOLOGICAL CYCLIC HOMOLOGY THOMAS NIKOLAUS AND PETER SCHOLZE Abstract. Topological cyclic homology is a refinement of Connes cyclic homology which was introduced by Bökstedt Hsiang Madsen in 1993 as
More informationarxiv:math/ v3 [math.nt] 5 Jan 2005
arxiv:math/0409122v3 [math.nt] 5 Jan 2005 Bi-relative algebraic K-theory and topological cyclic homology Thomas Geisser and Lars Hesselholt Introduction It is well-known that algebraic K-theory preserves
More informationarxiv:math/ v1 [math.at] 16 Jun 2003
HKR Theorem for Smooth S-algebras arxiv:math/0306243v1 [math.at] 16 Jun 2003 Randy McCarthy and Vahagn Minasian Abstract We derive an étale descent formula for topological Hochschild homology and prove
More informationWaldhausen Additivity and Approximation in Quasicategorical K-Theory
Waldhausen Additivity and Approximation in Quasicategorical K-Theory Thomas M. Fiore partly joint with Wolfgang Lück, http://www-personal.umd.umich.edu/~tmfiore/ http://www.him.uni-bonn.de/lueck/ Motivation
More informationIdentification of the graded pieces Kęstutis Česnavičius
Identification of the graded pieces Kęstutis Česnavičius 1. TP for quasiregular semiperfect algebras We fix a prime number p, recall that an F p -algebra R is perfect if its absolute Frobenius endomorphism
More informationTowards THH of the algebraic K-theory spectrum of a
Towards THH of the algebraic K-theory spectrum of a finite field Gabe Angelini-Knoll Wayne State University Graduate Student Topology and Geometry Conference March 29, 2015 Gabe Angelini-Knoll (WSU) Towards
More informationBERTRAND 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 informationCommutative ring objects in pro-categories and generalized Moore spectra
Commutative ring objects in pro-categories and generalized Moore spectra Daniel G. Davis, Tyler Lawson June 30, 2013 Abstract We develop a rigidity criterion to show that in simplicial model categories
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 informationTopological logarithmic structures
Geometry & Topology Monographs 16 (2009) 401 544 401 Topological logarithmic structures JOHN ROGNES We develop a theory of logarithmic structures on structured ring spectra, including constructions of
More informationThe absolute de Rham-Witt complex
The absolute de Rham-Witt complex Lars Hesselholt Introduction This note is a brief survey of the absolute de Rham-Witt complex. We explain the structure of this complex for a smooth scheme over a complete
More informationDerivatives of the identity functor and operads
University of Oregon Manifolds, K-theory, and Related Topics Dubrovnik, Croatia 23 June 2014 Motivation We are interested in finding examples of categories in which the Goodwillie derivatives of the identity
More informationSymmetric Spectra and Topological Hochschild Homology
K-Theory 19: 155 183, 2000. c 2000 Kluwer Academic Publishers. Printed in the Netherlands. 155 Symmetric Spectra and Topological Hochschild Homology BROOKE SHIPLEY Department of Mathematics, Purdue University,
More informationBi-relative algebraic K-theory and topological cyclic homology
Bi-relative algebraic K-theory and topological cyclic homology Thomas Geisser and Lars Hesselholt Introduction It is well-known that algebraic K-theory preserves products of rings. However, in general,
More informationLECTURE X: KOSZUL DUALITY
LECTURE X: KOSZUL DUALITY Fix a prime number p and an integer n > 0, and let S vn denote the -category of v n -periodic spaces. Last semester, we proved the following theorem of Heuts: Theorem 1. The Bousfield-Kuhn
More informationarxiv: v1 [math.kt] 24 Jan 2019
ON THE K-THEORY OF COORDINATE AXES IN AFFINE SPACE arxiv:1901.08550v1 [math.kt] 24 Jan 2019 MARTIN SPEIRS 1. Introduction Let k be a perfect field of characteristic p > 0 and let A d denote the k- algebra
More informationSmooth morphisms. Peter Bruin 21 February 2007
Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,
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 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 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 informationMODEL CATEGORIES OF DIAGRAM SPECTRA
MODEL CATEGORIES OF DIAGRAM SPECTRA M. A. MANDELL, J. P. MAY, S. SCHWEDE, AND B. SHIPLEY Abstract. Working in the category T of based spaces, we give the basic theory of diagram spaces and diagram spectra.
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 informationMORITA THEORY IN STABLE HOMOTOPY THEORY
MORITA THEORY IN STABLE HOMOTOPY THEORY BROOKE SHIPLEY Abstract. We discuss an analogue of Morita theory for ring spectra, a thickening of the category of rings inspired by stable homotopy theory. This
More informationAlgebraic K-theory of strict ring spectra
Algebraic K-theory of strict ring spectra John Rognes Abstract. We view strict ring spectra as generalized rings. The study of their algebraic K-theory is motivated by its applications to the automorphism
More informationFINITE SPECTRA CARY MALKIEWICH
FINITE SPECTRA CARY MALKIEWICH These notes were written in 2014-2015 to help me understand how the different notions of finiteness for spectra are related. I am usually surprised that the basics are not
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 informationPeriodic Localization, Tate Cohomology, and Infinite Loopspaces Talk 1
Periodic Localization, Tate Cohomology, and Infinite Loopspaces Talk 1 Nicholas J. Kuhn University of Virginia University of Georgia, May, 2010 University of Georgia, May, 2010 1 / Three talks Introduction
More informationGraph stable equivalences and operadic constructions in equivariant spectra
Graph stable equivalences and operadic constructions in equivariant spectra Markus Hausmann, Luís A. Pereira October 23, 2015 Abstract One of the key insights of the work of Blumberg and Hill in [2] is
More informationAn Algebraic Model for Mod 2 Topological Cyclic Homology
Part II An Algebraic Model for Mod 2 Topological Cyclic Homology Kathryn Hess Preface Bökstedt, Hsiang and Madsen introduced topological cyclic homology (TC) as a topological version of Connes cyclic homology
More informationTHE STRONG KÜNNETH THEOREM FOR TOPOLOGICAL PERIODIC CYCLIC HOMOLOGY
THE STRONG KÜNNETH THEOREM FOR TOPOLOGICAL PERIODIC CYCLIC HOMOLOGY ANDREW J. BLUMBERG AND MICHAEL A. MANDELL Abstract. Topological periodic cyclic homology (i.e., T-Tate of T HH) has the structure of
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 informationBRAVE NEW WORLDS IN STABLE HOMOTOPY THEORY
BRAVE NEW WORLDS IN STABLE HOMOTOPY THEORY J. P. MAY I will give a broad survey of the general area of structured ring spectra in modern constructions of the stable homotopy category. I will give some
More informationSpectra and G spectra
September 23, 2015 http://math.harvard.edu/ ecp/latex/talks/intro-to-spectra.pdf Cell structures Definition A cell structure on a pointed space X is an inductive presentation by iteratively attaching n
More informationObservations on the Sphere Spectrum. HORIUCHI Ryo
Observations on the Sphere Spectrum HORIUCHI Ryo 1 Contents 1 Introduction 3 1.1 Acknowledgements........................ 9 2 Modules and algebras over S 11 2.1 The sphere spectrum and smash product............
More informationFormal groups and stable homotopy of commutative rings
ISSN 1364-0380 (on line) 1465-3060 (printed) 335 Geometry & Topology Volume 8 (2004) 335 412 Published: 14 February 2004 Formal groups and stable homotopy of commutative rings Stefan Schwede Mathematisches
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 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 informationMorava K-theory of BG: the good, the bad and the MacKey
Morava K-theory of BG: the good, the bad and the MacKey Ruhr-Universität Bochum 15th May 2012 Recollections on Galois extensions of commutative rings Let R, S be commutative rings with a ring monomorphism
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 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 informationPART II.1. IND-COHERENT SHEAVES ON SCHEMES
PART II.1. IND-COHERENT SHEAVES ON SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on a scheme 2 1.1. Definition of the category 2 1.2. t-structure 3 2. The direct image functor 4 2.1. Direct image
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 informationHOMOTOPY THEORY OF S-BIMODULES, NAIVE RING SPECTRA AND STABLE MODEL CATEGORIES
HOMOTOPY THEORY OF S-BIMODULES, NAIVE RING SPECTRA AND STABLE MODEL CATEGORIES Dissertation zur Erlangung des Doktorgrades (Dr. rer. nat.) der Mathematisch-Naturwissenschaftlichen Fakultät der Rheinischen
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 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 information1 Categorical Background
1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,
More informationOn log flat descent. Luc Illusie, Chikara Nakayama, and Takeshi Tsuji
On log flat descent Luc Illusie, Chikara Nakayama, and Takeshi Tsuji Abstract We prove the log flat descent of log étaleness, log smoothness, and log flatness for log schemes. Contents 1. Review of log
More informationDerived Morita theory and Hochschild Homology and Cohomology of DG Categories
Derived Morita theory and Hochschild Homology and Cohomology of DG Categories German Stefanich In this talk we will explore the idea that an algebra A over a field (ring, spectrum) k can be thought of
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 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 informationON RELATIVE AND BI-RELATIVE ALGEBRAIC K-THEORY OF RINGS OF FINITE CHARACTERISTIC
JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 24, Number 1, January 2011, Pages 29 49 S 0894-0347(2010)00682-0 Article electronically published on September 15, 2010 ON RELATIVE AND BI-RELATIVE ALGEBRAIC
More informationFor the Ausoni-Rognes conjecture at n = 1, p > 3: a strongly convergent descent spectral sequence
For the Ausoni-Rognes conjecture at n = 1, p > 3: a strongly convergent descent spectral sequence Daniel G. Davis University of Louisiana at Lafayette June 2nd, 2015 n 1 p, a prime E n is the Lubin-Tate
More informationT -spectra. Rick Jardine. March 2, University of Western Ontario
University of Western Ontario March 2, 2015 T = is a pointed simplicial presheaf on a site C. A T -spectrum X consists of pointed simplicial presheaves X n, n 0 and bonding maps σ : T X n X n+1, n 0. A
More informationSPEAKER: JOHN BERGDALL
November 24, 2014 HODGE TATE AND DE RHAM REPRESENTATIONS SPEAKER: JOHN BERGDALL My goal today is to just go over some results regarding Hodge-Tate and de Rham representations. We always let K/Q p be a
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 informationON A LOCALIZATION FORMULA OF EPSILON FACTORS VIA MICROLOCAL GEOMETRY
ON A LOCALIZATION FORMULA OF EPSILON FACTORS VIA MICROLOCAL GEOMETRY TOMOYUKI ABE AND DEEPAM PATEL Abstract. Given a lisse l-adic sheaf G on a smooth proper variety X and a lisse sheaf F on an open dense
More informationALGEBRAIC K-THEORY: DEFINITIONS & PROPERTIES (TALK NOTES)
ALGEBRAIC K-THEORY: DEFINITIONS & PROPERTIES (TALK NOTES) JUN HOU FUNG 1. Brief history of the lower K-groups Reference: Grayson, Quillen s Work in Algebraic K-Theory 1.1. The Grothendieck group. Grothendieck
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 informationDerived Algebraic Geometry Over E n -Rings. John Francis
Derived Algebraic Geometry Over E n -Rings John Francis Contents Chapter 1. Introduction 5 Chapter 2. Operad Algebras in -Categories 9 1. Operads 9 2. Algebras over an Operad 10 3. Operadic -Categories
More informationGrothendieck duality for affine M 0 -schemes.
Grothendieck duality for affine M 0 -schemes. A. Salch March 2011 Outline Classical Grothendieck duality. M 0 -schemes. Derived categories without an abelian category of modules. Computing Lf and Rf and
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 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 informationFUNCTOR CALCULUS FOR UNDER CATEGORIES AND THE DE RHAM COMPLEX
FUNCTOR CALCULUS FOR UNDER CATEGORIES AND THE DE RHAM COMPLEX K. BAUER, R. ELDRED, B. JOHNSON, AND R. MCCARTHY Abstract. Goodwillie s calculus of homotopy functors associates a tower of polynomial approximations,
More informationHOMOTOPY THEORY OF MODULES OVER OPERADS AND NON-Σ OPERADS IN MONOIDAL MODEL CATEGORIES
HOMOTOPY THEORY OF MODULES OVER OPERADS AND NON-Σ OPERADS IN MONOIDAL MODEL CATEGORIES JOHN E. HARPER Abstract. We establish model category structures on algebras and modules over operads and non-σ operads
More informationDiagram spaces, diagram spectra and spectra of units
msp Algebraic & Geometric Topology 13 (2013) 1857 1935 Diagram spaces, diagram spectra and spectra of units JOHN ALIND This article compares the infinite loop spaces associated to symmetric spectra, orthogonal
More informationON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES
ON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES CLEMENS BERGER AND IEKE MOERDIJK Abstract. We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given
More informationApplications of geometry to modular representation theory. Julia Pevtsova University of Washington, Seattle
Applications of geometry to modular representation theory Julia Pevtsova University of Washington, Seattle October 25, 2014 G - finite group, k - field. Study Representation theory of G over the field
More informationDerived Algebraic Geometry XIV: Representability Theorems
Derived Algebraic Geometry XIV: Representability Theorems March 14, 2012 Contents 1 The Cotangent Complex 6 1.1 The Cotangent Complex of a Spectrally Ringed -Topos.................... 7 1.2 The Cotangent
More informationOn the K-theory of the coordinate axes in the plane
On the K-theory of the coordinate axes in the plane Lars Hesselholt Introduction The algebraic K-groups of an algebraic variety encode deep arithmetic information about the variety. To wit, for non-singular
More informationCommutative ring objects in pro-categories and generalized Moore spectra
1 Commutative ring objects in pro-categories and generalized Moore spectra DANIEL G DAVIS TYLER LAWSON We develop a rigidity criterion to show that in simplicial model categories with a compatible symmetric
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 informationsset(x, Y ) n = sset(x [n], Y ).
1. Symmetric monoidal categories and enriched categories In practice, categories come in nature with more structure than just sets of morphisms. This extra structure is central to all of category theory,
More informationIwasawa algebras and duality
Iwasawa algebras and duality Romyar Sharifi University of Arizona March 6, 2013 Idea of the main result Goal of Talk (joint with Meng Fai Lim) Provide an analogue of Poitou-Tate duality which 1 takes place
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 informationarxiv: v1 [math.kt] 5 Aug 2016
ALGEBAIC K-THEOY OF FINITELY GENEATED POJECTIVE MODULES ON E -INGS MAIKO OHAA 1. Introduction arxiv:1608.01770v1 [math.kt] 5 Aug 2016 In this paper, we study the K-theory on higher modules in spectral
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 informationAPPENDIX TO [BFN]: MORITA EQUIVALENCE FOR CONVOLUTION CATEGORIES
APPENDIX TO [BFN]: MORITA EQUIVALENCE FOR CONVOLUTION CATEGORIES DAVID BEN-ZVI, JOHN FRANCIS, AND DAVID NADLER Abstract. In this brief postscript to [BFN], we describe a Morita equivalence for derived,
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 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 informationSTABLE TOPOLOGICAL CYCLIC HOMOLOGY IS TOPOLOGICAL HOCHSCHILD HOMOLOGY. By Lars Hesselholt
STABLE TOPOLOGICAL CYCLIC HOMOLOGY IS TOPOLOGICAL HOCHSCHILD HOMOLOGY By Lars Hesselholt 1.Introduction 1.1. Topological cyclic homology is the codomain of the cyclotomic trace from algebraic K-theory
More informationHOMOTOPY INVARIANCE OF CONVOLUTION PRODUCTS
HOMOTOPY INVARIANCE OF CONVOLUTION PRODUCTS STEFAN SCHWEDE Introduction The purpose of this note is to establish the homotopy invariance of two particular kinds of convolution products, the operadic product
More informationGalois Extensions of Structured Ring Spectra
Galois Extensions of Structured Ring Spectra John Rognes Author address: Department of Mathematics, University of Oslo, Norway E-mail address: rognes@math.uio.no Abstract We introduce the notion of a Galois
More informationNoncommutative motives and their applications
MSRI 2013 The classical theory of pure motives (Grothendieck) V k category of smooth projective varieties over a field k; morphisms of varieties (Pure) Motives over k: linearization and idempotent completion
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 informationLecture 21: Crystalline cohomology and the de Rham-Witt complex
Lecture 21: Crystalline cohomology and the de Rham-Witt complex Paul VanKoughnett November 12, 2014 As we ve been saying, to understand K3 surfaces in characteristic p, and in particular to rediscover
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 informationPeter Scholze Notes by Tony Feng. This is proved by real analysis, and the main step is to represent de Rham cohomology classes by harmonic forms.
p-adic Hodge Theory Peter Scholze Notes by Tony Feng 1 Classical Hodge Theory Let X be a compact complex manifold. We discuss three properties of classical Hodge theory. Hodge decomposition. Hodge s theorem
More informationThom Thom Spectra and Other New Brave Algebras. J.P. May
Thom Thom Spectra and Other New Brave Algebras J.P. May November 5, 2007 The Thom spectrum MU was the motivating example that led to the definition of an E ring spectrum in 1972 [MQR]. The definition proceeded
More informationModuli Problems for Structured Ring Spectra
Moduli Problems for Structured Ring Spectra P. G. Goerss and M. J. Hopkins 1 1 The authors were partially supported by the National Science Foundation (USA). In this document we make good on all the assertions
More information