On Algebraic Models for Homotopy 3-Types
英文摘要：
We explore the relations among quadratic modules, 2-crossed modules, crossed squares and simplicial groups with Moore complex of length 2.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
通过代数理论实现同伦理论的形变
Deformations of homotopy theories via algebraic theories
本文提出代数理论的同伦变体，作为生成同伦理论形变的工具，并据此构建了从纯代数数据计算同伦数据的阻碍理论与谱序列框架。
math.ATmath.CT
Chromatic homotopy theory is asymptotically algebraic
Inspired by the Ax--Kochen isomorphism theorem, we develop a notion of categorical ultraproducts to capture the generic behavior of an infinite collection of mathematical objects. We employ this theory to give an asymptotic solution to the approximation problem in chromatic homotopy theory. More precisely, we show that the ultraproduct of the $E(n,p)$-local categories over any non-prinicipal ultrafilter on the set of prime numbers is equivalent to the ultraproduct of certain algebraic categories introduced by Franke. This shows that chromatic homotopy theory at a fixed height is asymptotically…
math.ATmath.CT
Homotopy colimits of 2-functors
Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical analogues that have been classically used in algebraic topology and algebraic K-theory, such as the Homotopy Invariance Theorem (by Bousfield and Kan), the Homotopy Colimit Theorem (Thomason), Theorems A and B (Quillen), or the Homotopy Cofinality Theorem (Hirschhorn).
math.ATmath.CT
Algebraic theories, span diagrams and commutative monoids in homotopy theory
We adapt the notion of an algebraic theory to work in the setting of quasicategories developed recently by Joyal and Lurie. We develop the general theory at some length. We study one extended example in detail: the theory of commutative monoids (which turns out to be essentially just a 2-category). This gives a straightforward, combinatorially explicit, and instructive notion of a commutative monoid. We prove that this definition is equivalent (in appropriate senses) both to the classical concept of an E-infinity monoid and to Lurie's concept of a commutative algebra object.
math.ATmath.CT
离散群下同调理性同调理论的代数模型
Algebraic models for equivariant rational homotopy theory for discrete groups
Universidad de Málaga（马拉加大学）；University of Warsaw（华沙大学）
本文提出一种框架，将空间同调理论的代数模型推广到真正的equivariant情况。讨论了交换微分格雷德代数模型和完备微分格雷德李代数模型在有理空间中的应用，并与其他模型类别进行比较。
math.ATmath.CT
Monochromatic homotopy theory is asymptotically algebraic
In previous work, we used an $\infty$-categorical version of ultraproducts to show that, for a fixed height $n$, the symmetric monoidal $\infty$-categories of $E_{n,p}$-local spectra are asymptotically algebraic in the prime $p$. In this paper, we prove the analogous result for the symmetric monoidal $\infty$-categories of $K_{p}(n)$-local spectra, where $K_{p}(n)$ is Morava $K$-theory at height $n$ and the prime $p$. This requires $\infty$-categorical tools suitable for working with compactly generated symmetric monoidal $\infty$-categories with non-compact unit. The equivalences that we prod…
math.ATmath.CT
更多相关论文收起更多论文
Algebraic models of homotopy types and the homotopy hypothesis
We introduce and study a notion of cylinder coherator similar to the notion of Grothendieck coherator which define more flexible notion of weak infinity groupoids. We show that each such cylinder coherator produces a combinatorial semi-model category of weak infinity groupoids, whose objects are all fibrant and which is in a precise sense "freely generated by an object". We show that all those semi model categories are Quillen equivalent together and Quillen to the model category of spaces. A general procedure is given to produce such coherator, and several explicit examples are presented: one…
math.ATmath.CT
Algebraic colimit calculations in homotopy theory using fibred and cofibred categories
Higher Homotopy van Kampen Theorems allow the computation as colimits of certain homotopical invariants of glued spaces. One corollary is to describe homotopical excision in critical dimensions in terms of induced modules and crossed modules over groupoids. This paper shows how fibred and cofibred categories give an overall context for discussing and computing such constructions, allowing one result to cover many cases. A useful general result is that the inclusion of a fibre of a fibred category preserves connected colimits. The main homotopical application are to pairs of spaces with several…
math.ATmath.CT
Homotopical Quantum Field Theory
Algebraic quantum field theory and prefactorization algebra are two mathematical approaches to quantum field theory. In this monograph, using a new coend definition of the Boardman-Vogt construction of a colored operad, we define homotopy algebraic quantum field theories and homotopy prefactorization algebras and investigate their homotopy coherent structures. Homotopy coherent diagrams, homotopy inverses, A-infinity-algebras, E-infinity-algebras, and E-infinity-modules arise naturally in this context. In particular, each homotopy algebraic quantum field theory has the structure of a homotopy …
math-phmath.ATmath.CT
Bicategorical homotopy pullbacks
The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between Bénabou's bicategories and the homotopy types of their classifying spaces. Mainly, we state and prove an extension of Quillen's Theorem B by showing, under reasonable necessary conditions, a bicategory-theoretical interpretation of the homotopy-fibre product of the continuous maps induced on classifying spaces by a diagram of bicategories $\mathcal{A}\to\mathcal{B}\leftarrow …
math.ATmath.CT
Every homotopy theory of simplicial algebras admits a proper model
We show that any closed model category of simplicial algebras over an algebraic theory is Quillen equivalent to a proper closed model category. By ``simplicial algebra'' we mean any category of algebras over a simplicial algebraic theory, which is allowed to be multi-sorted. The results have applications to the construction of localization model category structures.
math.ATmath.CT
Homotopy Equivalent Algebraic Structures in Multicategories and Permutative Categories
We show that the free construction from multicategories to permutative categories is a categorically-enriched non-symmetric multifunctor. Our main result then shows that the induced functor between categories of algebras is an equivalence of homotopy theories. We describe an application to ring categories.
math.ATmath.CTmath.KT
富化的同伦相干结构
Enriched homotopy-coherent structures
本文基于“代数模式”框架，为Segal条件描述的同伦相干代数结构引入一般性富化概念，恢复了已知的富化∞-范畴等实例，并提出了富化模∞-代数操作等新实例。
math.ATmath.CT
任意范畴中的同调与同伦
Homology and homotopy for arbitrary categories
本文通过公理化方法重新建立了任意范畴中同伦与同调的联系，并将凸性重新解释为外在属性。
math.ATmath.CT
Directed homotopy theory, I. The fundamental category
Directed Algebraic Topology is beginning to emerge from various applications. The basic structure we shall use for such a theory, a 'd-space', is a topological space equipped with a family of 'directed paths', closed under some operations. This allows for 'directed homotopies', generally non reversible, represented by a cylinder and cocylinder functors. The existence of 'pastings' (colimits) yields a geometric realisation of cubical sets as d-spaces, together with homotopy constructs which will be developed in a sequel. Here, the 'fundamental category' of a d-space is introduced and a 'Seifert…
math.ATmath.CT
无基点同伦范畴的代数 $K_0$
Algebraic $K_0$ for unpointed homotopy Categories
本文为无基点 Waldhausen 范畴和稳定 $\infty$-范畴引入 Grothendieck 堆概念，成功将代数 $K_0$ 研究扩展至无基点拓扑空间的同伦范畴。
math.CTmath.GRmath.KT
Simplicial presheaves of coalgebras
The category of simplicial R-coalgebras over a presheaf of commutative unital rings on a small Grothendieck site is endowed with a left proper, simplicial, cofibrantly generated model category structure where the weak equivalences are the local weak equivalences of the underlying simplicial presheaves. This model category is naturally linked to the R-local homotopy theory of simplicial presheaves and the homotopy theory of simplicial R-modules by Quillen adjunctions. We study the comparison with the R-local homotopy category of simplicial presheaves in the special case where R is a presheaf of…
math.ATmath.CT
Categorified algebra and equivariant homotopy theory
This dissertation comprises three collections of results, all united by a common theme. The theme is the study of categories via algebraic techniques, considering categories themselves as algebraic objects. This algebraic approach to category theory is central to noncommutative algebraic geometry, as realized by recent advances in the study of noncommutative motives. We have success proving algebraic results in the general setting of symmetric monoidal and semiring $\infty$-categories, which categorify abelian groups and rings, respectively. For example, we prove that modules over the semiring…
math.AGmath.ATmath.CT
On homotopy varieties
Given an algebraic theory $\ct$, a homotopy $\ct$-algebra is a simplicial set where all equations from $\ct$ hold up to homotopy. All homotopy $\ct$-algebras form a homotopy variety. We give a characterization of homotopy varieties analogous to the characterization of varieties. We will also study homotopy models of limit theories which leads to homotopy locally presentable categories. These were recently considered by Simpson, Lurie, Toën and Vezzosi.
math.ATmath.CT
From Simplicial Homotopy to Crossed Module Homotopy in Modified Categories of Interest
We address the (pointed) homotopy of crossed module morphisms in modified categories of interest; which generalizes the groups and various algebraic structures. We prove that, the homotopy relation gives rise to an equivalence relation; furthermore a groupoid structure, without any restriction on neither domain nor co-domain of the crossed module morphism. Additionally, we consider the particular cases such as associative algebras, Leibniz algebras, Lie algebras and dialgebras of crossed modules of this generalized homotopy definition. Then as the main part of the paper, we prove that the func…
math.ATmath.CT
Affine stacks (Champs affines)
This is an expended and revised version of the preprint "Schematization of homotopy types". The purpose of this work is to introduce a notion of \emph{affine stacks}, which is a homotopy version of the notion of affine schemes, and to give several applications in the context of algebraic topology and algebraic geometry. As a first application we show how affine stacks can be used in order to give a new point of view (and new proofs) on rational and $p$-adic homotopy theory. This gives a first solution to A. Grothendieck's \emph{schematization problem} described in \cite{gr}. We also use affine…
math.AGmath.ATmath.CT
大素数下的色谱同伦是幺半代数性的
Chromatic Homotopy is Monoidally Algebraic at Large Primes
本文利用 operad 版 Goerss-Hopkins 阻碍理论，证明大素数条件下 $L_h$-局部谱的同伦 $(k,1)$-范畴具有对称幺半代数性，并给出 Lubin-Tate、KU 与 KO 模范畴的相应判据。
math.ATmath.CTmath.KT
Multiplicative structures on algebraic K-theory
Algebraic K-theory is the stable homotopy theory of homotopy theories, and it interacts with algebraic structures accordingly. In particular, we prove the Deligne Conjecture for algebraic K-theory.
math.CTmath.KT
同调结构实现代数kk-理论
Homotopy structures realizing algebraic kk-theory
本文证明了代数kk-理论通过稳定纤维化对象范畴的结构，并展示了其作为同调范畴的性质。
math.CTmath.KT
The special fiber of the motivic deformation of the stable homotopy category is algebraic
For each prime $p$, we define a $t$-structure on the category $\widehat{S^{0,0}}/τ\text{-}\mathbf{Mod}_{harm}^b$ of harmonic $\mathbb{C}$-motivic left module spectra over $\widehat{S^{0,0}}/τ$, whose MGL-homology has bounded Chow-Novikov degree, such that its heart is equivalent to the abelian category of $p$-completed $BP_*BP$-comodules that are concentrated in even degrees. We prove that $\widehat{S^{0,0}}/τ\text{-}\mathbf{Mod}_{harm}^b$ is equivalent to $\mathcal{D}^b({{BP}_*{BP}\text{-}\mathbf{Comod}}^{ev})$ as stable $\infty$-categories equipped with $t$-structures. As an application, for…
math.AGmath.ATmath.CT
Spectral Mackey functors and equivariant algebraic K-theory (I)
Spectral Mackey functors are homotopy-coherent versions of ordinary Mackey functors as defined by Dress. We show that they can be described as excisive functors on a suitable infinity-category, and we use this to show that universal examples of these objects are given by algebraic K-theory. More importantly, we introduce the unfurling of certain families of Waldhausen infinity-categories bound together with suitable adjoint pairs of functors; this construction completely solves the homotopy coherence problem that arises when one wishes to study the algebraic K-theory of such objects as spectra…
math.ATmath.CTmath.KT
Exact completion of path categories and algebraic set theory -- Part I: Exact completion of path categories
We introduce the notion of a "category with path objects", as a slight strengthening of Kenneth Brown's classic notion of a "category of fibrant objects". We develop the basic properties of such a category and its associated homotopy category. Subsequently, we show how the exact completion of this homotopy category can be obtained as the homotopy category associated to a larger category with path objects, obtained by freely adjoining certain homotopy quotients. In a second part of this paper, we will present an application to models of constructive set theory. Although our work is partly motiv…
math.CTmath.LO
Nonstandard model categories and homotopy theory
In order to apply nonstandard methods to questions of algebraic geometry we continue our investigation from "Enlargements of categories" (Theory Appl. Categ. 14 (2005), No. 16, 357--398) and show how important homotopical constructions behave under enlargements.
math.CTmath.LO
Inductive types in homotopy type theory
Homotopy type theory is an interpretation of Martin-Löf's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for intensional systems of type theory as well as a computational approach to algebraic topology via type theory-based proof assistants such as Coq. The present work investigates inductive types in this setting. Modified rules for inductive types, including types of well-founded trees, or W-types, are presented, and the basic homotopical semantics of such types are determin…
cs.LOmath.CTmath.LO
