scholarly journals Homotopy theory of Moore flows (I)

2021 ◽  
Vol 3 ◽  
pp. 3
Author(s):  
Philippe Gaucher
Keyword(s):  
Tensor Product ◽  
Commutative Semigroup ◽  
Homotopy Theory ◽  
Model Category ◽  
Model Structure ◽  
Q Model ◽  
Quillen Equivalent

A reparametrization category is a small topologically enriched symmetric semimonoidal category such that the semimonoidal structure induces a structure of a commutative semigroup on objects, such that all spaces of maps are contractible and such that each map can be decomposed (not necessarily in a unique way) as a tensor product of two maps. A Moore flow is a small semicategory enriched over the closed semimonoidal category of enriched presheaves over a reparametrization category. We construct the q-model category of Moore flows. It is proved that it is Quillen equivalent to the q-model category of flows. This result is the first step to establish a zig-zag of Quillen equivalences between the q-model structure of multipointed d-spaces and the q-model structure of flows.

scholarly journals Homotopy theory of well-generated algebraic triangulated categories

2008 ◽  
Vol 3 (1) ◽  
pp. 53-75 ◽  
Author(s):  
Gonçalo Tabuada
Keyword(s):  
Regular Cardinal ◽  
Homotopy Theory ◽  
Model Category ◽  
Triangulated Categories ◽  
Model Structure ◽  
Quillen Model Category ◽  
Quillen Model

AbstractFor every regular cardinal α, we construct a cofibrantly generated Quillen model structure on a category whose objects are essentially dg categories which are stable under suspensions, cosuspensions, cones and α-small sums.Using results of Porta, we show that the category of well-generated (algebraic) triangulated categories in the sense of Neeman is naturally enhanced by our Quillen model category.

scholarly journals Homotopy theory of Moore flows (II)

2021 ◽  
Vol 36 (2) ◽  
pp. 157-239
Author(s):  
Philippe Gaucher
Keyword(s):  
Internal Structure ◽  
Homotopy Theory ◽  
Left Adjoint ◽  
Main Step ◽  
Derived Functor ◽  
Category Equivalence ◽  
Q Model ◽  
Quillen Equivalent ◽  
Model Structures

This paper proves that the q-model structures of Moore flows and of multipointed d-spaces are Quillen equivalent. The main step is the proof that the counit and unit maps of the Quillen adjunction are isomorphisms on the q-cofibrant objects (all objects are q-fibrant). As an application, we provide a new proof of the fact that the categorization functor from multipointed d-spaces to flows has a total left derived functor which induces a category equivalence between the homotopy categories. The new proof sheds light on the internal structure of the categorization functor which is neither a left adjoint nor a right adjoint. It is even possible to write an inverse up to homotopy of this functor using Moore flows.

scholarly journals Arrow categories of monoidal model categories

2019 ◽  
Vol 125 (2) ◽  
pp. 185-198
Author(s):  
David White ◽  
Donald Yau
Keyword(s):  
Homotopy Theory ◽  
Model Category ◽  
Topological Spaces ◽  
Model Structure ◽  
Model Categories ◽  
Projective Model ◽  
Monoidal Structure ◽  
Chain Complexes

We prove that the arrow category of a monoidal model category, equipped with the pushout product monoidal structure and the projective model structure, is a monoidal model category. This answers a question posed by Mark Hovey, in the course of his work on Smith ideals. As a corollary, we prove that the projective model structure in cubical homotopy theory is a monoidal model structure. As illustrations we include numerous examples of non-cofibrantly generated monoidal model categories, including chain complexes, small categories, pro-categories, and topological spaces.

scholarly journals SYMMETRIC OPERADS IN ABSTRACT SYMMETRIC SPECTRA

2018 ◽  
Vol 18 (4) ◽  
pp. 707-758 ◽  
Author(s):  
Dmitri Pavlov ◽  
Jakob Scholbach
Keyword(s):  
Algebraic Geometry ◽  
Commutative Ring ◽  
Model Category ◽  
Obstruction Theory ◽  
Model Structure ◽  
Simplicial Sets ◽  
Ring Spectra ◽  
Symmetric Spectra ◽  
Derived Algebraic Geometry ◽  
Quillen Equivalent

This paper sets up the foundations for derived algebraic geometry, Goerss–Hopkins obstruction theory, and the construction of commutative ring spectra in the abstract setting of operadic algebras in symmetric spectra in an (essentially) arbitrary model category. We show that one can do derived algebraic geometry a la Toën–Vezzosi in an abstract category of spectra. We also answer in the affirmative a question of Goerss and Hopkins by showing that the obstruction theory for operadic algebras in spectra can be done in the generality of spectra in an (essentially) arbitrary model category. We construct strictly commutative simplicial ring spectra representing a given cohomology theory and illustrate this with a strictly commutative motivic ring spectrum representing higher order products on Deligne cohomology. These results are obtained by first establishing Smith’s stable positive model structure for abstract spectra and then showing that this category of spectra possesses excellent model-theoretic properties: we show that all colored symmetric operads in symmetric spectra valued in a symmetric monoidal model category are admissible, i.e., algebras over such operads carry a model structure. This generalizes the known model structures on commutative ring spectra and $\text{E}_{\infty }$-ring spectra in simplicial sets or motivic spaces. We also show that any weak equivalence of operads in spectra gives rise to a Quillen equivalence of their categories of algebras. For example, this extends the familiar strictification of $\text{E}_{\infty }$-rings to commutative rings in a broad class of spectra, including motivic spectra. We finally show that operadic algebras in Quillen equivalent categories of spectra are again Quillen equivalent. This paper is also available at arXiv:1410.5699v2.

scholarly journals AC-GORENSTEIN RINGS AND THEIR STABLE MODULE CATEGORIES

2018 ◽  
Vol 107 (02) ◽  
pp. 181-198
Author(s):  
JAMES GILLESPIE
Keyword(s):  
The Other ◽  
Homotopy Category ◽  
Gorenstein Ring ◽  
Model Structure ◽  
Projective Modules ◽  
Stable Module Category ◽  
Stable Module ◽  
Coherent Rings ◽  
Quillen Equivalent ◽  
Compactly Generated

We introduce what is meant by an AC-Gorenstein ring. It is a generalized notion of Gorenstein ring that is compatible with the Gorenstein AC-injective and Gorenstein AC-projective modules of Bravo–Gillespie–Hovey. It is also compatible with the notion of $n$ -coherent rings introduced by Bravo–Perez. So a $0$ -coherent AC-Gorenstein ring is precisely a usual Gorenstein ring in the sense of Iwanaga, while a $1$ -coherent AC-Gorenstein ring is precisely a Ding–Chen ring. We show that any AC-Gorenstein ring admits a stable module category that is compactly generated and is the homotopy category of two Quillen equivalent abelian model category structures. One is projective with cofibrant objects that are Gorenstein AC-projective modules while the other is an injective model structure with fibrant objects that are Gorenstein AC-injectives.

scholarly journals On some new model category structures from old, on the same underlying category

2015 ◽  
Vol 27 (3) ◽  
Author(s):  
Alexandru E. Stanculescu
Keyword(s):  
Homotopy Theory ◽  
Existence Result ◽  
Model Category ◽  
New Model

AbstractWe make a study of ℓℓ-extensions of model category structures. We prove an existence result of ℓℓ-extensions, present some specific and some rather formal results about them and give an application of the existence result to the homotopy theory of categories enriched over a monoidal model category.

scholarly journals Quillen model structures for relative homological algebra

2002 ◽  
Vol 133 (2) ◽  
pp. 261-293 ◽  
Author(s):  
J. DANIEL CHRISTENSEN ◽  
MARK HOVEY
Keyword(s):  
Homotopy Theory ◽  
Homological Algebra ◽  
Abelian Category ◽  
Derived Categories ◽  
Derived Category ◽  
Category Structure ◽  
Model Category ◽  
Projective Class ◽  
Chain Complexes ◽  
Model Structures

An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is encompassed by Quillen's homotopical algebra. The goal of this paper is to show that more general forms of homological algebra also fit into Quillen's framework. Specifically, a projective class on a complete and cocomplete abelian category [Ascr ] is exactly the information needed to do homological algebra in [Ascr ]. The main result is that, under weak hypotheses, the category of chain complexes of objects of [Ascr ] has a model category structure that reflects the homological algebra of the projective class in the sense that it encodes the Ext groups and more general derived functors. Examples include the ‘pure derived category’ of a ring R, and derived categories capturing relative situations, including the projective class for Hochschild homology and co-homology. We characterize the model structures that are cofibrantly generated, and show that this fails for many interesting examples. Finally, we explain how the category of simplicial objects in a possibly non-abelian category can be equipped with a model category structure reflecting a given projective class, and give examples that include equivariant homotopy theory and bounded below derived categories.

scholarly journals Props in model categories and homotopy invariance of structures

2010 ◽  
Vol 17 (1) ◽  
pp. 79-160
Author(s):  
Benoit Fresse
Keyword(s):  
General Setting ◽  
Model Category ◽  
Topological Spaces ◽  
Algebra Structure ◽  
Model Structure ◽  
Homotopy Invariance ◽  
Model Categories ◽  
Arbitrary Ring ◽  
General Argument ◽  
Simplicial Sets

Abstract We prove that any category of props in a symmetric monoidal model category inherits a model structure. We devote an appendix, about half the size of the paper, to the proof of the model category axioms in a general setting. We need the general argument to address the case of props in topological spaces and dg-modules over an arbitrary ring, but we give a less technical proof which applies to the category of props in simplicial sets, simplicial modules, and dg-modules over a ring of characteristic 0. We apply the model structure of props to the homotopical study of algebras over a prop. Our goal is to prove that an object 𝑋 homotopy equivalent to an algebra 𝐴 over a cofibrant prop P inherits a P-algebra structure so that 𝑋 defines a model of 𝐴 in the homotopy category of P-algebras. In the differential graded context, this result leads to a generalization of Kadeishvili's minimal model of 𝐴∞-algebras.

The Homological Functors of Some Abelian Groups of Prime Power Order

2014 ◽  
Vol 71 (5) ◽  
Author(s):  
Rosita Zainal ◽  
Nor Muhainiah Mohd Ali ◽  
Nor Haniza Sarmin ◽  
Samad Rashid
Keyword(s):  
Tensor Product ◽  
Prime Power ◽  
Homotopy Theory ◽  
Abelian Groups ◽  
Prime Power Order ◽  
Schur Multiplier ◽  
Integer Coefficients ◽  
Nonabelian Tensor ◽  
Tensor Square ◽  
Special Case

The homological functors of a group were first introduced in homotopy theory. Some of the homological functors including the nonabelian tensor square and the Schur multiplier of abelian groups of prime power order are determined in this paper. The nonabelian tensor square of a group G introduced by Brown and Loday in 1987 is a special case of the nonabelian tensor product. Meanwhile, the Schur multiplier of G is the second cohomology with integer coefficients is named after Issai Schur. The aims of this paper are to determine the nonabelian tensor square and the Schur multiplier of abelian groups of order p5, where p is an odd prime

scholarly journals Dwyer–Kan homotopy theory for cyclic operads

2021 ◽  
pp. 1-30
Author(s):  
Gabriel C. Drummond-Cole ◽  
Philip Hackney
Keyword(s):  
Homotopy Theory ◽  
Forgetful Functor ◽  
General Definition ◽  
Model Structure ◽  
Simplicial Sets ◽  
Explicit Formulae

Abstract We introduce a general definition for coloured cyclic operads over a symmetric monoidal ground category, which has several appealing features. The forgetful functor from coloured cyclic operads to coloured operads has both adjoints, each of which is relatively simple. Explicit formulae for these adjoints allow us to lift the Cisinski–Moerdijk model structure on the category of coloured operads enriched in simplicial sets to the category of coloured cyclic operads enriched in simplicial sets.

Sign in / Sign up

Export Citation Format

Share Document