Results 1  10
of
52
Integral transforms and Drinfeld centers in derived algebraic geometry
"... Compact objects are as necessary to this subject as air to breathe. R.W. Thomason to A. Neeman, [N3] Abstract. We study natural algebraic operations on categories arising in algebraic geometry and its homotopytheoretic generalization, derived algebraic geometry. We work with a broad class of derive ..."
Abstract

Cited by 20 (4 self)
 Add to MetaCart
Compact objects are as necessary to this subject as air to breathe. R.W. Thomason to A. Neeman, [N3] Abstract. We study natural algebraic operations on categories arising in algebraic geometry and its homotopytheoretic generalization, derived algebraic geometry. We work with a broad class of derived stacks which we call stacks with air. The class of stacks with air includes in particular all quasicompact, separated derived schemes and (in characteristic zero) all quotients of quasiprojective or smooth derived schemes by affine algebraic groups, and is closed under derived fiber products. We show that the (enriched) derived categories of quasicoherent sheaves on stacks with air behave well under algebraic and geometric operations. Namely, we identify the derived category of a fiber product with the tensor product of the derived categories of the factors. We also identify functors between derived categories of sheaves with integral transforms (providing a generalization of a theorem of Toën [To1] for ordinary schemes over a ring). As a first application, for a stack Y with air, we calculate the Drinfeld center (or synonymously,
Quasicategories vs Segal spaces
 IN CATEGORIES IN ALGEBRA, GEOMETRY AND MATHEMATICAL
, 2006
"... We show that complete Segal spaces and Segal categories are Quillen equivalent to quasicategories. ..."
Abstract

Cited by 12 (0 self)
 Add to MetaCart
We show that complete Segal spaces and Segal categories are Quillen equivalent to quasicategories.
Operads and Chain Rules for the Calculus of Functors
"... Abstract. We study the structure possessed by the Goodwillie derivatives of a pointed homotopy functor of based topological spaces. These derivatives naturally form a bimodule over the operad consisting of the derivatives of the identity functor. We then use these bimodule structures to give a chain ..."
Abstract

Cited by 11 (0 self)
 Add to MetaCart
Abstract. We study the structure possessed by the Goodwillie derivatives of a pointed homotopy functor of based topological spaces. These derivatives naturally form a bimodule over the operad consisting of the derivatives of the identity functor. We then use these bimodule structures to give a chain rule for higher derivatives in the calculus of functors, extending that of Klein and Rognes. This chain rule expresses the derivatives of FG as a derived composition product of the derivatives of F and G over the derivatives of the identity. There are two main ingredients in our proofs. Firstly, we construct new models for the Goodwillie derivatives of functors of spectra. These models allow for natural composition maps that yield operad and module structures. Then, we use a cosimplicial cobar construction to transfer this structure to functors of topological spaces. A form of Koszul duality for operads of spectra plays a key role in this. In a landmark series of papers, [16], [17] and [18], Goodwillie outlines his ‘calculus of homotopy functors’. Let F: C → D (where C and D are each either Top ∗, the category of pointed topological spaces, or Spec, the category of spectra) be a pointed homotopy functor. One of the things that Goodwillie does is associate with F a sequence of spectra, which are called the derivatives of F.
Comparing composites of left and right derived functors
 In preparation
"... Abstract. We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double category whose vertical and horizontal arrows are left and rig ..."
Abstract

Cited by 9 (3 self)
 Add to MetaCart
Abstract. We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double category whose vertical and horizontal arrows are left and right Quillen functors, respectively, and that passage to derived functors is functorial at the level of this double category. The theory of conjunctions and mates in double categories, which generalizes the theory of adjunctions in 2categories, then gives us canonical ways to compare composites of left and right derived functors. Contents
On the Motivic Spectra Representing Algebraic Cobordism and Algebraic KTheory
 DOCUMENTA MATH.
, 2009
"... We show that the motivic spectrum representing algebraic Ktheory is a localization of the suspension spectrum of P∞, and similarly that the motivic spectrum representing periodic algebraic cobordism is a localization of the suspension spectrum of BGL. In particular, working over C and passing to sp ..."
Abstract

Cited by 9 (0 self)
 Add to MetaCart
We show that the motivic spectrum representing algebraic Ktheory is a localization of the suspension spectrum of P∞, and similarly that the motivic spectrum representing periodic algebraic cobordism is a localization of the suspension spectrum of BGL. In particular, working over C and passing to spaces of Cvalued points, we obtain new proofs of the topological versions of these theorems, originally due to the second author. We conclude with a couple of applications: first, we give a short proof of the motivic ConnerFloyd theorem, and second, we show that algebraic Ktheory and periodic algebraic cobordism are E∞ motivic spectra.
TYPE THEORY AND HOMOTOPY
"... The purpose of this informal survey article is to introduce the reader to a new and surprising connection between Geometry, Algebra, and Logic, which has recently come to light in the form of an interpretation of the constructive type theory of Per MartinLöf into homotopy ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
The purpose of this informal survey article is to introduce the reader to a new and surprising connection between Geometry, Algebra, and Logic, which has recently come to light in the form of an interpretation of the constructive type theory of Per MartinLöf into homotopy
Parametrized spaces model locally constant homotopy sheaves
 Topology Appl
, 2008
"... Abstract. We prove that the homotopy theory of parametrized spaces embeds fully and faithfully in the homotopy theory of simplicial presheaves, and that its essential image consists of the locally homotopically constant objects. This gives a homotopytheoretic version of the classical identification ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
Abstract. We prove that the homotopy theory of parametrized spaces embeds fully and faithfully in the homotopy theory of simplicial presheaves, and that its essential image consists of the locally homotopically constant objects. This gives a homotopytheoretic version of the classical identification of covering spaces with locally constant sheaves. We also prove a new version of the classical result that spaces parametrized over X are equivalent to spaces with an action of ΩX. This gives a homotopytheoretic version of the correspondence between covering spaces and π1sets. We then use these two equivalences to study base change functors for parametrized spaces. Contents
Units of ring spectra and Thom spectra
"... Abstract. We review and extend the theory of Thom spectra and the associated obstruction theory for orientations. Specifically, we show that for an E ∞ ring spectrum A, the classical construction of gl1A, the spectrum of units, is the right adjoint of the functor To a map of spectra Σ ∞ + Ω ∞ : ho(c ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
Abstract. We review and extend the theory of Thom spectra and the associated obstruction theory for orientations. Specifically, we show that for an E ∞ ring spectrum A, the classical construction of gl1A, the spectrum of units, is the right adjoint of the functor To a map of spectra Σ ∞ + Ω ∞ : ho(connective spectra) → ho(E ∞ ring spectra). f: b → bgl1A, we associate an E ∞ Aalgebra Thom spectrum Mf, which admits an E ∞ Aalgebra map to R if and only if the composition b → bgl1A → bgl1R is null; the classical case developed by [MQRT77] arises when A is the sphere spectrum. We develop the analogous theory for A ∞ ring spectra. If A is an A ∞ ring spectrum, then to a map of spaces f: B → BGL1A we associate an Amodule Thom spectrum Mf, which admits an Rorientation if and only if