Julia E. Bergner
Given an appropriate diagram of left Quillen functors between model categories, one can define a notion of homotopy fiber product, but one might ask if it is really the correct one. Here, we show that this homotopy pullback is well-behaved with respect to translating it into the setting of more general homotopy theories, given by complete Segal spaces, where we have well-defined homotopy pullbacks.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Small Bénabou's bicategories and, in particular, Mac Lane's monoidal categories, have well-understood classifying spaces, which give geometric meaning to their cells. This paper contains some contributions to the study of the relationship between bicategories and the homotopy types of their classifying spaces. Mainly, generalizations are given of Quillen's Theorems A and B to lax functors between bicategories.
Generalizing a definition of homotopy fiber products of model categories, we give a definition of the homotopy limit of a diagram of left Quillen functors between model categories. As has been previously shown for homotopy fiber products, we prove that such a homotopy limit does in fact correspond to the usual homotopy limit, when we work in a more general model for homotopy theories in which they can be regarded as objects of a model category.
A short elementary proof of Beben and Theriault's theorem on homotopy fibers
本研究针对已有应用的Beben和Theriault关于映射锥附着扩张同伦纤维的定理，给出了一个简短的初等证明，简化了该定理的论证过程。
We prove that the homotopy theory of cofibration categories is equivalent to the homotopy theory of cocomplete quasicategories. This is achieved by presenting both homotopy theories as fibration categories and constructing an explicit equivalence between them.
Identifying the homotopy fiber of a map of semi-Segal spaces
本文针对半Segel空间映射证明了Quillen定理版本，构造了双半单纯分解，并将该映射的同伦纤维表示为特定半单纯空间的几何实现。
These notes are from a series of lectures given at the Workshop on the Homotopy Theory of Homotopy Theories which took place in Caesarea, Israel, in May 2010. The workshop was organized by David Blanc, Emmanuel Farjoun, and David Kazhdan, and talks not indicated otherwise were given by the author.
We propose a simplified definition of Quillen's fibration sequences in a pointed model category that fully captures the theory, although it is completely independent of the concept of action. This advantage arises from the understanding that the homotopy theory of the model category's arrow category contains all homotopical information about its long fibration sequences.
Homotopy minimal periods for fiber maps on circle bundles over circle
研究纤维丛上纤维映射的同伦极小周期，给出了基和纤维均为$S^{1}$的纤维丛上同伦极小周期的完整描述。
We lift Charles Rezk's complete Segal space model structure on the category of simplicial spaces to a Quillen equivalent one on the category of relative categories.
Mapping fiber, loop and suspension graphs in naive discrete homotopy theory
本文通过定义并研究映射纤维图及其性质，在技术性条件下构造出朴素离散同伦论中的 Puppe 序列类比，以揭示 A-同伦论与普通同伦论的异同。
Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the "homotopy theory" of the model category. There is a model category structure on the category of simplicial categories, so taking its simplicial localization yields a "homotopy theory of homotopy theories." In this paper we show that there are two different categories of diagrams of simplicial sets, each equipped with an appropriate definition of weak equivalence, such that the resulting homotopy theories are each equivalent to …
Deformations of homotopy theories via algebraic theories
本文提出代数理论的同伦变体，作为生成同伦理论形变的工具，并据此构建了从纯代数数据计算同伦数据的阻碍理论与谱序列框架。
Given a small category C, we show that there is a universal way of expanding C into a model category, essentially by formally adjoining homotopy colimits. The technique of localization becomes a method for imposing `relations' into these universal gadgets. The paper develops this formalism and discusses various applications, for instance to the study of homotopy colimits, the Dwyer-Kan theory of framings, and to the homotopy theory of schemes.
Working in homotopy type theory, we introduce the notion of $n$-exactness for a short sequence $F\to E\to B$ of pointed types, and show that any fiber sequence $F\hookrightarrow E \twoheadrightarrow B$ of arbitrary types induces a short sequence $\|F\|_{n-1} \to \|E\|_{n-1} \to \|B\|_{n-1}$ that is $n$-exact at $\|E\|_{n-1}$. We explain how the indexing makes sense when interpreted in terms of $n$-groups, and we compare our definition to the existing definitions of an exact sequence of $n$-groups for $n=1,2$. As the main application, we obtain the long $n$-exact sequence of homotopy $n$-groups…
Let F denote the homotopy fiber of a map f:K-->L of 2-reduced simplicial sets. Using as input data the strongly homotopy coalgebra structure of the chain complexes of K and L, we construct a small, explicit chain algebra, the homology of which is isomorphic as a graded algebra to the homology of GF, the simplicial (Kan) loop group on F. To construct this model, we develop machinery for modeling the homotopy fiber of a morphism of chain Hopf algebras. Essential to our construction is a generalization of the operadic description of the category DCSH of chain coalgebras and of strongly homotopy c…
On the equivalence of two approaches to multiplicative homotopy theories
本文探讨了两种乘法同调理论框架的等价性，解决了Pavlov猜想并解答了Hovey第十问题的特殊情况，同时证明了多个主定理的变体。
The purpose of this paper is to give some solutions for the classification problem in fibration theory by using the homotopy sequences of fibrations (sequences of $n$-th homotopy groups $ π_{n}(S,s_{o}) $ of total spaces of fibrations). In particular, to show the role of homotopy sequence of $n$-th homotopy to get the required fiber map in Fadell-Dold theorem such that the restriction of this fiber map on some fiber spaces is a homotopy equivalence.
We show that a derivator is stable if and only if homotopy finite limits and homotopy finite colimits commute, if and only if homotopy finite limit functors have right adjoints, and if and only if homotopy finite colimit functors have left adjoints. These characterizations generalize to an abstract notion of "stability relative to a class of functors", which includes in particular pointedness, semiadditivity, and ordinary stability. To prove them, we develop the theory of derivators enriched over monoidal left derivators and weighted homotopy limits and colimits therein.
Levels of algebraicity in stable homotopy theories
该研究探讨稳定同伦理论中多种代数性概念的蕴含关系，揭示其关联的微妙性，并以 chromatic homotopy theory 的实例加以阐释。
Kuranishi spaces in a category of fibrant objects and their homotopy fiber products
本文研究范畴$\boldsymbol{Kur}$的基本性质，定义其纤射与弱等价以证明同伦纤维积存在，给出Weinstein范畴定义，证明$\boldsymbol{Kur}$是纤射对象范畴并讨论其同伦范畴。
In the present paper we consider a special class of locally trivial bundles with fiber a matrix algebra. On the set of such bundles over a finite $CW$-complex we define a relevant equivalence relation. The obtained stable theory gives us a geometric description of the H-space structure $\BSU_\otimes$ on $\BSU$ related to the tensor product of virtual $\SU$-bundles of virtual dimension 1.
Given Poincare spaces M and X, we study the possibility of compressing embeddings of M x I in X x I down to embeddings of M in X. This results in a new approach to embedding in the metastable range both in the smooth and Poincare duality categories.
We describe a category, the objects of which may be viewed as models for homotopy theories. We show that for such models, ``functors between two homotopy theories form a homotopy theory'', or more precisely that the category of such models has a well-behaved internal hom-object.
We introduce, for every positive integer n, the notion of an n-relative category and show that the category of the small n-relative categories is a model for the homotopy theory of n-fold homotopy theories, i.e. homotopy theories of ... of homotopy theories.
Constructions of spectra from symmetric monoidal categories are typically functorial with respect to strict structure-preserving maps, but often the maps of interest are merely lax monoidal. We describe conditions under which one can transport the weak equivalences from one category to another with the same objects and a broader class of maps. Under mild hypotheses this process produces an equivalence of homotopy theories. We describe examples including algebras over an operad, such as symmetric monoidal categories and $n$-fold monoidal categories; and diagram categories, such as $Γ$-categorie…
Let p be a fibration over a finite simplicial complex, whose fibers have the homotopy type of finite simplicial complexes. Then p is equivalent to an approximate fibration whose total space is a compact ENR. The proof uses homotopy coherent diagrams and their homotopy colimits. We also comment on the simple homotopy type of the total space and give an application to the fibering of Hilbert cube manifolds.
We extend the Quillen Theorem Bn for homotopy fibers of Dwyer, et al. to similar results for homotopy pullbacks and note that these results imply similar results for zigzags in the categories of relative categories and k-relative categories, not only with respect to their Reedy structures but also their Rezk structure, which turns them into models for the theories of (infinity, 1)- and (infinity, k)-categories, respectively.
In this paper we extend Toën's derived Hall algebra construction, in which he obtains unital associative algebras from certain stable model categories, to one in which such algebras are obtained from more general stable homotopy theories, in particular stable complete Segal spaces satisfying appropriate finiteness assumptions.
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.
In previous work, the first author defined homotopy theories for stratified spaces from a simplicial and a topological perspective. In both frameworks stratified weak-equivalences are detected by suitable generalizations of homotopy links. These two frameworks are connected through a stratified version of the classical adjunction between the realization and the functor of singular simplices. Using a modified version of this adjunction, the first author showed that over a fixed poset of strata the two homotopy theories were equivalent. Building on this result we now show that the unmodified adj…
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.
We study the spaces of embeddings $S^m\hookrightarrow R^n$ and those of long embeddings $R^m\hookrightarrow R^n$, i.e. embeddings of a fixed behavior outside a compact set. More precisely we look at the homotopy fiber of the inclusion of these spaces to the spaces of immersions. We find a natural fiber sequence relating these spaces. We also compare the $L_\infty$-algebras of diagrams that encode their rational homotopy type, when the codimension $n-m\geq 3$.
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…
Several possible presentations for the homotopy theory of (non-hypercomplete) $\infty$-stacks on a classical site S are discussed. In particular, it is shown that an elegant combinatorial description in terms of diagrams in S exists, similar to Cisinski's presentation, based on work of Quillen, Thomason and Grothendieck, of usual homotopy theory by small categories and their smallest (basic) localizer. As an application it is shown that any (local) fibered (a.k.a. algebraic) derivator over S with stable fibers extends to $\infty$-stacks in a well-defined way under mild assumptions.
In this paper we establish new characterizations of stable derivators, thereby obtaining additional interpretations of the passage from (pointed) topological spaces to spectra and, more generally, of the stabilization. We show that a derivator is stable if and only if homotopy finite limits and homotopy finite colimits commute, and there are variants for sufficiently finite Kan extensions. As an additional reformulation, a derivator is stable if and only if it admits a zero object and if partial cone and partial fiber morphisms commute on squares.
We define Homotopy quantum field theories (HQFT) as Topological quantum field theories (TQFT) for manifolds endowed with extra structure in the form of a map into some background space X. We also build the category of homotopy cobordisms HCobord(n,X) such that an HQFT is a functor from this category into a category of linear spaces. We then derive some very general properties of HCobord}(n,X), including the fact that it only depends on the (n+1)-homotopy type of X. We also prove that an HQFT with target space X and in dimension n+1 implies the existence of geometrical structures in X; in parti…
We describe a new relation between the topology of hypersurface complements, Milnor fibers and degree of gradient mappings. In particular we show that any projective hypersurface has affine parts which are bouquets of spheres. The main tools are the polar curves and the affine Lefschetz theory developped by H. Hamm, D.T. Lê and A. Némethi. In the special case of the hyperplane arrangements, we strengthen some results due to Orlik and Terao (see Math. Ann. 301(1995)) and obtain the minimality of hyperplane arrangements (see Randell math.AT/0011101 for another proof of this result). This is then…
Let $k$ be a field with separable closure $\bar{k}\supset k$, and let $X$ be a qcqs $k$-scheme. We use the theory of profinite Galois categories developed by Barwick-Glasman-Haine to provide a quick conceptual proof that the sequences \begin{equation*} Π_{<\infty}^{\mathrm{\acute{e}t}}(X_{\bar{k}}) \to Π_{<\infty}^{\mathrm{\acute{e}t}}(X) \to \mathrm{BGal}(\bar{k}/k) \qquad \text{and} \qquad \widehatΠ{}_{\infty}^{\mathrm{\acute{e}t}}(X_{\bar{k}}) \to \widehatΠ{}_{\infty}^{\mathrm{\acute{e}t}}(X) \to \mathrm{BGal}(\bar{k}/k) \end{equation*} of protruncated and profinite étale homotopy types are…
Given a fiber bundle, we construct a differential graded Lie algebra model for the classifying space of the monoid of homotopy equivalences of the base covered by a fiberwise isomorphism of the total space.
A stable framework for proper and exterior homotopy and cohomology theories
该研究构建了外同伦理论的稳定框架，将其应用于恰当同伦理论，建立了约化外上同调理论的Brown可表示性定理，为恰当同伦理论的稳定理论发展提供了关键基础。
Magnitude homology and homotopy type of metric fibrations
本文证明具有共同基空间和共同纤维的度量纤维化具有同构的幅度同调及相同的幅度同伦型，推广了 Leinster 的幅度乘积结果，并建立了幅度同伦型与 Hepworth-Willerton 带点单纯集几何实现的等价性。
In previous work, we showed that there are appropriate model category structures on the category of simplicial categories and on the category of Segal precategories, and that they are Quillen equivalent to one another and to Rezk's complete Segal space model structure on the category of simplicial spaces. Here, we show that these results still hold if we instead use groupoid or "invertible" cases. Namely, we show that model structures on the categories of simplicial groupoids, Segal pregroupoids, and invertible simplicial spaces are all Quillen equivalent to one another and to the standard mod…
Naive homotopy theories in cartesian closed categories
本文在笛卡尔闭范畴中利用保持有限积的自函子和满射自然变换构造朴素同伦范畴，并在预内聚2-值topos条件下用显式同伦给出其与经典同伦理论的联系。
Given a left Quillen presheaf of localized model structures, we study the homotopy limit model structure on the associated category of sections. We focus specifically on towers and fibered products (pullbacks) of model categories. As applications we consider Postnikov towers of model categories, chromatic towers of spectra and Bousfield arithmetic squares of spectra. For stable model categories, we show that the homotopy fiber of a stable left Bousfield localization is a stable right Bousfield localization.
We consider the topology for a class of hypersurfaces with highly nonisolated singularites which arise as exceptional orbit varieties of a special class of prehomogeneous vector spaces, which are representations of linear algebraic groups with open orbits. These hypersurface singularities include both determinantal hypersurfaces and linear free (and free*) divisors. Although these hypersurfaces have highly nonisolated singularities, we determine the topology of their Milnor fibers, complements and links. We do so by using the action of linear algebraic groups beginning with the complement, ins…
This paper contains two results on how homotopy limits of topological spaces interact with connectivity. The first is a formula for the connectivity of the homotopy limit of diagrams shaped over suitably finite categories, in terms of the connectivity of the spaces in the diagram. The second result shows that the homotopy fiber of the restriction map induced on homotopy limits by a functor of indexing categories is itself a homotopy limit, indexed over a Grothendieck construction.
In this short note we provide a review of some developments in the area of homotopy quantum field theories, loosely based on a talk given by the second author at the Xth Oporto Meeting on Geometry, Topology and Physics.
For smooth finite dimensional manifolds, we characterise gerbes with connection as functors on a certain surface cobordism category. This allows us to relate gerbes with connection to Turaev's 1+1-dimensional homotopy quantum field theories, and we show that flat gerbes are related to a specific class of rank one homotopy quantum field theories.
Homotopy theories via the magnitude-path spectral sequence
引入基于量级-路径谱序列的广义度量空间同伦理论族，定义r-拟同构并证明每页满足Eilenberg-Steenrod公理的度量类比，建立Brown范畴结构以计算同伦余极限。
Stable homotopy theory of higher categories
本文证明反转自同态范畴操作产生高阶范畴的稳定同伦理论，其中范畴谱表示同调理论，并建立范畴Brown表示定理及Hurewicz和Eilenberg-Zilber定理。
This survey offers an overview of an on-going project on uniform symmetries in abstract stable homotopy theories. This project has calculational, foundational, and representation-theoretic aspects, and key features of this emerging field on abstract representation theory include the following. First, generalizing the classical focus on representations over fields, it is concerned with the study of representations over rings, differential-graded algebras, ring spectra, and in more general abstract stable homotopy theories. Second, restricting attention to specific shapes, it offers an explanati…
This series explores a new notion of T-homotopy equivalence of flows. The new definition involves embeddings of finite bounded posets preserving the bottom and the top elements and the associated cofibrations of flows. In this third part, it is proved that the generalized T-homotopy equivalences preserve the branching and merging homology theories of a flow. These homology theories are of interest in computer science since they detect the non-deterministic branching and merging areas of execution paths in the time flow of a higher dimensional automaton. The proof is based on Reedy model catego…
The Borsuk-Ulam property for homotopy classes on bundles, parametrized braids groups and applications for surfaces bundles
该研究在纤维丛框架下推广Borsuk-Ulam性质，将其判定问题转化为涉及基本群、轨道空间与参数化辫子群的代数问题，并确定了一类S¹上2-环面丛满足该性质的自映射同伦类。
High-corank torsion in homotopy of unitary groups via topological modular forms and higher real $K$-theories
该研究利用Weiss的酉微积分将向量丛问题转化为稳定同伦计算，借助色与等变同伦理论中的广义上同调理论，推导出球面与复射影空间上非平凡稳定平凡向量丛的存在性。
Non-trivial higher homotopy of first-order theories
本文通过 Connes 循环范畴计算稠密循环序集合理论的模型空间分类空间，证明其同伦等价于无穷维复射影空间，从而得到非平凡的二阶同伦群，回答了先前工作中的一个问题。
Universal Homotopy Theories and Associated Homological Algebras
本文针对小范畴，将其万有同伦范畴与含幺交换环上的线性阿贝尔范畴相关联，从而在该范畴中开展相应的同调代数研究。
We construct cohomology classes in the space of knots by considering a bundle over this space and "integrating along the fiber" classes coming from the cohomology of configuration spaces using a Pontrjagin-Thom construction. The bundle we consider is essentially the one considered by Bott and Taubes, who integrated differential forms along the fiber to get knot invariants. By doing this "integration" homotopy-theoretically, we are able to produce integral cohomology classes. We then show how this integration is compatible with the homology operations on the space of long knots, as studied by B…
Big pictures of motivic and classical homotopy theories
本文通过与经典对应物比较，探讨motivic同伦理论的全景及其与Voevodsky motives的联系。
In the present paper we study bundles equipped with extra homotopy conditions, in particular so-called simplicial $n$-bundles. It is shown that (under some condition) the classifying space of 1-bundles is the double coset space of some finite dimensional Lie group. We also establish some relation between our bundles and C*-algebras.
We extend the homotopy theories based on point reduction for finite spaces and simplicial complexes to finite acyclic categories and $Δ$-complexes, respectively. The functors of classifying spaces and face posets are compatible with these homotopy theories. In contrast with the classical settings of finite spaces and simplicial complexes, the universality of morphisms and simplices plays a central role in this paper.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。