simplicial presheaves
Recently Published Documents


TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Author(s):  
Christian Haesemeyer ◽  
Charles A. Weibel

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.


2019 ◽  
Vol 31 (3) ◽  
pp. 661-684 ◽  
Author(s):  
Giovanni Caviglia ◽  
Javier J. Gutiérrez

Abstract 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.


2015 ◽  
Vol 152 (3) ◽  
pp. 489-555 ◽  
Author(s):  
Anthony Blanc

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.


2014 ◽  
Vol 25 (5) ◽  
pp. 1100-1115 ◽  
Author(s):  
BENNO VAN DEN BERG ◽  
IEKE MOERDIJK

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.


2013 ◽  
Vol 13 (4) ◽  
pp. 1967-2000 ◽  
Author(s):  
George Raptis

Author(s):  
J.F. Jardine

AbstractThis 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.


2010 ◽  
Vol 107 (1) ◽  
pp. 30 ◽  
Author(s):  
Sigurd Seteklev ◽  
Paul Arne Østvær

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.


Sign in / Sign up

Export Citation Format

Share Document