Model Structures for the 𝔸1-homotopy Category

This chapter provides the 𝔸1-local projective model structure on the categories of simplicial presheaves and simplicial presheaves with transfers. These model categories, written as Δ‎opPshv(Sm)𝔸1 and Δ‎op PST(Sm)𝔸1, are first defined. Their respective homotopy categories are Ho(Sm) and the full subcategory DM eff nis ≤0 of DM eff nis. Afterward, this chapter introduces the notions of radditive presheaves and ̅Δ‎-closed classes, and develops their basic properties. The theory of ̅Δ‎-closed classes is needed because the extension of symmetric power functors to simplicial radditive presheaves is not a left adjoint. This chapter uses many of the basic ideas of Quillen model categories, which is a category equipped with three classes of morphisms satisfying five axioms. In addition, much of the material in this chapter is based upon the technique of Bousfield localization.

Morita homotopy theory for (∞,1)-categories and ∞-operads

We prove the existence of Morita model structures on the categories of small simplicial categories, simplicial sets, simplicial operads and dendroidal sets, modelling the Morita homotopy theory of {(\infty,1)} -categories and {\infty} -operads. We give a characterization of the weak equivalences in terms of simplicial presheaves, simplicial algebras and slice categories. In the case of the Morita model structure for simplicial categories and simplicial operads, we also show that each of these model structures can be obtained as an explicit left Bousfield localization of the Bergner model structure on simplicial categories and the Cisinski–Moerdijk model structure on simplicial operads, respectively.

Topological K-theory of complex noncommutative spaces

The purpose of this work is to give a definition of a topological K-theory for dg-categories over$\mathbb{C}$and to prove that the Chern character map from algebraic K-theory to periodic cyclic homology descends naturally to this new invariant. This topological Chern map provides a natural candidate for the existence of a rational structure on the periodic cyclic homology of a smooth proper dg-algebra, within the theory of noncommutative Hodge structures. The definition of topological K-theory consists in two steps: taking the topological realization of algebraic K-theory and inverting the Bott element. The topological realization is the left Kan extension of the functor ‘space of complex points’ to all simplicial presheaves over complex algebraic varieties. Our first main result states that the topological K-theory of the unit dg-category is the spectrum$\mathbf{BU}$. For this we are led to prove a homotopical generalization of Deligne’s cohomological proper descent, using Lurie’s proper descent. The fact that the Chern character descends to topological K-theory is established by using Kassel’s Künneth formula for periodic cyclic homology and the proper descent. In the case of a dg-category of perfect complexes on a separated scheme of finite type, we show that we recover the usual topological K-theory of complex points. We show as well that the Chern map tensorized with$\mathbb{C}$is an equivalence in the case of a finite-dimensional associative algebra – providing a formula for the periodic homology groups in terms of the stack of finite-dimensional modules.

W-types in homotopy type theory

We will give a detailed account of why the simplicial sets model of the univalence axiom due to Voevodsky also models W-types. In addition, we will discuss W-types in categories of simplicial presheaves and an application to models of set theory.

Model structures for pro-simplicial presheaves

This paper displays model structures for the category of pro-objects in simplicial presheaves on an arbitrary small Grothendieck site. The first of these is an analogue of the Edwards-Hastings model structure for pro-simplicial sets, in which the cofibrations are monomorphisms and the weak equivalences are specified by comparisons of function complexes. Other model structures are built from the Edwards-Hastings structure by using Bousfield-Friedlander localization techniques. There is, in particular, an n-type structure for pro-simplicial presheaves, and also a model structure in which the map from a pro-object to its Postnikov tower is formally inverted.

Homotopy theory of cyclic presheaves

We generalize the homotopy theory of cyclic sets to cyclic presheaves on small Grothendieck sites. This is achieved by constructing pointwise and local model structures reminiscent of the homotopy theory of simplicial presheaves.