arXiv math/06070762006-07-04math.KT

Simplicial homotopy in semi-abelian categories

Tim Van der Linden

备注：: 12 pages
发表信息：: J. K-Theory 4 (2009), no. 2, 379-390
DOI：: 10.1017/is008008022jkt070

英文摘要：

We study Quillen's model category structure for homotopy of simplicial objects in the context of Janelidze, Marki and Tholen's semi-abelian categories. This model structure exists as soon as the base category A is regular Mal'tsev and has enough regular projectives; then the fibrations are the Kan fibrations of simplicial objects in A. When, moreover, A is semi-abelian, weak equivalences and homology isomorphisms coincide.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Homotopy types of reduced 2-nilpotent simplicial groups

We classify the homotopy types of reduced 2-nilpotent simplicial groups in terms of the homology an d boundary invariants $b,β$. This contains as special cases results of J.H.C. Whitehead on 1-connected 4-dimensional complexes and of Quillen on reduced 2-nilpotent rational simplicial groups. Moreover it yields for 1-nilpotent (or abelian) simplicial groups a classification due to Dold-Kan. Our result describes a new natural structure of the integral homology of any simply connected space. We also classify the homotopy types of connective spectra in the category of 2-nilpotent simplicial groups…

2008-04-12math.KT

The functors Wbar and Diag o Nerve are simplicially homotopy equivalent

Given a simplicial group G, there are two known classifying simplicial set constructions, the Kan classifying simplicial set Wbar G and Diag N G, where N denotes the dimensionwise nerve. They are known to be weakly homotopy equivalent. We will show that Wbar G is a strong simplicial deformation retract of Diag N G. In particular, Wbar G and Diag N G are simplicially homotopy equivalent.

2008-04-07math.ATmath.KT

Totalization of simplicial homotopy types

We identify the obstructions for the functoriality and the uniqueness of the totalization functor, (partially) defined on the category of simplicial objects in the homotopy category of a stable model category, and we use a result from the cyclic homology of group algebras to show they can be non-zero.

2013-02-13math.ATmath.KT

The homotopy groups of the simplicial mapping space between algebras

Let $\ell$ be a commutative ring with unit. To every pair of $\ell$-algebras $A$ and $B$ one can associate a simplicial set $\hom(A,B^Δ)$ so that $π_0\hom(A,B^Δ)$ equals the set of polynomial homotopy classes of morphisms from $A$ to $B$. We prove that $π_n\hom(A,B^Δ)$ is the set of homotopy classes of morphisms from $A$ to $B^{S_n}$, where $B^{S_n}$ is the ind-algebra of polynomials on the $n$-dimensional cube with coefficients in $B$ vanishing at the boundary of the cube. This is a generalization to arbitrary dimensions of a theorem of Cortiñas-Thom, which addresses the cases $n\leq 1$. As a…

2018-03-21math.ATmath.KT

Etale realization on the A^1-homotopy theory of schemes

We compare Friedlander's definition of the etale topological type for simplicial schemes to another definition involving realizations of pro-simplicial sets. This can be expressed as a notion of hypercover descent for etale homotopy. We use this result to construct a homotopy invariant functor from the category of simplicial presheaves on the etale site of schemes over S to the category of pro-spaces. After completing away from the characteristics of the residue fields of S, we get a functor from the Morel-Voevodsky A^1-homotopy category of schemes to the homotopy category of pro-spaces.

2003-02-10math.ATmath.KT

The simplicial suspension sequence in A^1-homotopy

We study a version of the James model for the loop space of a suspension in unstable ${\mathbb A}^1$-homotopy theory. We use this model to establish an analog of G.W. Whitehead's classical refinement of the Freudenthal suspension theorem in ${\mathbb A}^1$-homotopy theory: our result refines F. Morel's ${\mathbb A}^1$-simplicial suspension theorem. We then describe some $E_1$-differentials in the EHP sequence in ${\mathbb A}^1$-homotopy theory. These results are analogous to classical results of G.W. Whitehead's. Using these tools, we deduce some new results about unstable ${\mathbb A}^1$-homo…

2016-08-20math.AGmath.ATmath.KT

更多相关论文收起更多论文

The tensor functor from the category of $A_\infty$-algebras into the category of differential modules with $\infty$-simplicial faces

The tensor functor from the category of $A_\infty$-algebras into the category of differential modules with $\infty$-simplicial faces is constructed. Further, it is showed that this functor sends homotopy equivalent $A_\infty$-algebras into homotopy equivalent differential modules with $\infty$-simplicial faces.

2019-03-03math.ATmath.KT

Differential graded versus Simplicial categories

We construct a zig-zag of Quillen adjunctions between the homotopy theories of differential graded and simplicial categories. In an intermediate step we generalize Shipley-Schwede's work on connective DG algebras by extending the Dold-Kan correspondence to a Quillen equivalence between categories enriched over positive graded chain complexes and simplicial k-modules. As an application we obtain a conceptual explanation of Simpson's homotopy fiber construction.

2007-11-24math.ATmath.KT

DG-category and simplicial bar complex

In this paper, we prove that the DG category of DG complex of DG category of a differential graded algebra A is homotopy equivalent to that of comodules over the simplicial bar complex of A. Under the assuption of connectedness of A, we show the homotopy category of A-connection is equivalent to comodules on the homology of bar complex. As an application, we construct coalgebras classifying nilpotent variation of mixed Tate Hodge structures on algebraic varieties.

2009-05-01math.AGmath.KT

Simplicial Waldhausen categories and topological $K$-theory

Utilizing simplicial Waldhausen theory, we prove that the geometric realization of the topologized category of bounded chain complexes over complex numbers (resp. real numbers) is an infinite loop space that represents connective complex (resp. real) topological K-theory. The key ingredient in our proof is a generalized Waldhausen comparison theorem.

2020-06-02math.ATmath.KT

Fibred sites and stack cohomology

The usual notion of a site fibred over a stack is expanded to a definition of a site C/A fibred over a presheaf of categories A. Presheaves of simplicial sets on the site fibred over a presheaf of categories A are contravariant enriched diagrams defined on A, taking values in simplicial sets. The standard model structure for presheaves of simplicial sets induces a coarse equivariant structure for enriched contravariant A-diagrams. If the presheaf of categories is a presheaf of groupoids G, then the associated homotopy theory is Quillen equivalent to the homotopy theory of simplicial presheaves…

2004-06-23math.AGmath.ATmath.KT

Homotopy theory of Spectral categories

We construct a Quillen model structure on the category of spectral categories, where the weak equivalences are the symmetric spectra analogue of the notion of equivalence of categories.

2009-02-23math.ATmath.KT

Grothendieck's Homotopy Hypothesis

We construct a "diagonal" cofibrantly generated model structre on the category of simplicial objects in the category of topological categories sCat_{Top}, which is the category of diagrams [Δ^{op}, Cat_{Top}]. Moreover, we prove that the diagonal model structures is left proper and cellular. We also prove that the category of \infty-groupoids (the full subcategory of topological categories) has a cofibrantly generated model structure and is Quillen equivalent to the model category of simplicial sets, which proves the Grothendieck's homotopy hypothesis.

2011-12-06math.ATmath.CTmath.KT

Noncommutative correspondence categories, simplicial sets and pro $C^*$-algebras

We show that a $KK$-equivalence between two unital $C^*$-algebras produces a correspondence between their DG categories of finitely generated projective modules which is a $\mathbf{K}_*$-equivalence, where $\mathbf{K}_*$ is Waldhausen's $K$-theory. We discuss some connections with strong deformations of $C^*$-algebras and homological dualities. Motivated by a construction of Cuntz we associate a pro $C^*$-algebra to any simplicial set. We show that this construction is functorial with respect to proper maps of simplicial sets, that we define, and also respects proper homotopy equivalences. We …

2009-07-04math.KTmath.OA

Multifunctorial $K$-Theory is an Equivalence of Homotopy Theories

We show that each of the three $K$-theory multifunctors from small permutative categories to $\mathcal{G}_*$-categories, $\mathcal{G}_*$-simplicial sets, and connective spectra, is an equivalence of homotopy theories. For each of these $K$-theory multifunctors, we describe an explicit homotopy inverse functor. As a separate application of our general results about pointed diagram categories, we observe that the right-induced homotopy theory of Bohmann-Osorno $\mathcal{E}_*$-categories is equivalent to the homotopy theory of pointed simplicial categories.

2022-10-04math.ATmath.CTmath.KT

Homotopy invariants of singularity categories

We present a method for computing $\mathbb{A}^1$-homotopy invariants of singularity categories of rings admitting suitable gradings. Using this we describe any such invariant, e.g. homotopy K-theory, for the stable categories of self-injective algebras admitting a connected grading. A remark is also made concerning the vanishing of all such invariants for cluster categories of type $A_{2n}$ quivers.

2020-05-17math.AGmath.KTmath.RT

Homotopy theory with *categories

We construct model category structures on various types of (marked) *-categories. These structures are used to present the infinity categories of (marked) *-categories obtained by inverting (marked) unitary equivalences. We use this presentation to explicitly calculate the \infty-categorical G-fixed points and G-orbits for G-equivariant (marked) *-categories.

2019-09-13math.ATmath.KTmath.OA