M. Brightwell, P. Turner
We introduce the homotopy surface category of a space which generalizes the 1+1-dimensional cobordism category of circles and surfaces to the situation where one introduces a background space. We explain how for a simply connected background space, monoidal functors from this category to vector spaces can be interpreted in terms of Frobenius algebras with additional structure.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We determine the number of distinct fibre homotopy types for the gauge groups of principal $Sp(2)$-bundles over a closed, simply-connected four-manifold.
We propose a generalization of Sullivan's de Rham homotopy theory to non-simply connected spaces. The formulation is such that the real homotopy type of a manifold should be the closed tensor dg-category of flat bundles on it much the same as the real homotopy type of a simply connected manifold is the de Rham algebra in original Sullivan's theory. We prove the existence of a model category structure on the category of small closed tensor dg-categories and as a most simple case, confirm an equivalence between the homotopy category of spaces whose fundamental groups are finite and whose higher …
This is an expository paper providing an overview of the unstable motivic homotopy category using the theory of $(\infty,1)$-categories. In this paper, we examine two constructions in the literature and discuss their equivalence.
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…
In this article we study thick ideals defined by periodic self maps in the stable motivic homotopy category over $\mathbb{C}$. In addition, we extend some results of Ruth Joachimi about the relation between thick ideals defined by motivic Morava K-theories and the preimages of the thick ideals in the stable homotopy category under Betti realization.
Let $G$ be a simply-connected simple compact Lie group and let $M$ be an orientable smooth closed 4-manifold. In this paper we calculate the homotopy type of the suspension of $M$ and the homotopy types of the gauge groups of principal $G$-bundles over $M$ when $π_1(M)$ is: (1)~$\mathbb{Z}^{*m}$, (2)~$\mathbb{Z}/p^r\mathbb{Z}$, or (3)~$\mathbb{Z}^{*m}*(*^n_{j=1}\mathbb{Z}/p_j^{r_j}\mathbb{Z})$, where $p$ and the $p_j$'s are odd primes.
Both the gauge groups and $5$-manifolds are important in physics and mathematics. In this paper, we combine them together to study the homotopy aspects of gauge groups over $5$-manifolds. For principal bundles over non-simply connected oriented closed $5$-manifolds of certain type, we prove various homotopy decompositions of their gauge groups according to different geometric structures on the manifolds, and give partial solution to the classification of the gauge groups. As applications, we estimate the homotopy exponents of their gauge groups, and show periodicity results of the homotopy gro…
Let $R$ be a ring and Ch($R$) the category of chain complexes of $R$-modules. We put an abelian model structure on Ch($R$) whose homotopy category is equivalent to $K(Proj)$, the homotopy category of all complexes of projectives. However, the cofibrant objects are not complexes of projectives, but rather all complexes of flat modules. The trivial objects are what Positselski calls contraacyclic complexes and so the homotopy category coincides with his contraderived category. We in fact construct this model on the category of chain complexes of quasi-coherent sheaves on any scheme $X$ admitting…
We construct models for the motivic homotopy category based on simplicial functors from smooth schemes over a field to simplicial sets. These spaces are homotopy invariant and therefore one does not have to invert the affine line in order to get a model for the motivic homotopy category.
In this paper we study the global structure of the stable homotopy theory of spectra. We establish criteria for when the homotopy theory associated to a given stable model category agrees with the classical stable homotopy theory of spectra. One sufficient condition is that the associated homotopy category is equivalent to the stable homotopy category as a triangulated category with an action of the ring of stable homotopy groups of spheres. In other words, the classical stable homotopy theory, with all of its higher order information, is determined by the homotopy category as a triangulated c…
We investigate a new case of rigidity in stable homotopy theory which is the rigidity of the $K(1)$-local stable homotopy category $\mathrm{Ho}(L_{K(1)}\mathrm{Sp})$ at $p=2$. In other words, we show that recovering higher homotopy information by just looking at the triangulated structure of $\mathrm{Ho}(L_{K(1)}\mathrm{Sp})$ is possible, which is a property that only few interesting stable model categories are known to possess.
In this paper we recover Bousfield's computation of $ν_1$-periodic homotopy groups of simply connected, finite $H$-spaces from \cite{Bou99} using the techniques of Goodwillie calculus. This is done through first computing André-Quillen cohomology over the monad $\mathbb{T}$ that encodes the power operations of complex $K$-theory. Then lifting this computation to computing $K$-theory of topological André-Quillen cohomology, and then using results of Behrens and Rezk relating it back to the Bousfield-Kuhn functor. The fact that we recovers the result of Bousfield allows us to conclude $ν_1$-peri…
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 …
We define a homotopy relation between arrows of a category with weak equivalences, and give a condition under which the quotient by the homotopy relation yields the homotopy category. In the case of the fibrant-cofibrant objects of a model category this condition holds, and we show that our notion of homotopy coincides with the classical one. We also show that Quillen's construction of the homotopy category of a model category, in which the arrows are homotopical classes of a single arrow between fibrant-cofibrant objects, can be made as well for categories with weak equivalences using this no…
Homotopy Representations and the Picard Group of the Equivariant Stable Homotopy Category
本文证明了当$G$是分量群满足特定条件的紧Lie群时，其同伦表示与广义同伦表示的Grothendieck群同构，解决了Fausk、Lewis和May的猜想，并更好地刻画了$G$-谱同伦范畴的Picard群。
Algebraic topological methods have been used successfully in concurrency theory, the domain of theoretical computer science that deals with distributed computing. L. Fajstrup, E. Goubault, and M. Raussen have introduced partially ordered spaces (pospaces) as a model for concurrent systems. In this paper it is shown that the category of pospaces under a fixed pospace is both a fibration and a cofibration category in the sense of H. Baues. The homotopy notion in this fibration and cofibration category is relative directed homotopy. It is also shown that the category of pospaces is a closed model…
This work was intended as an attempt to investigate a model of irreversible process and natural phenomena. For this, we introduce the notion of irreversible path (that for brevity we write ir-path), ir-homotopy, ir-contractible space, and Lusternik-Schnirelmann ir-category by equipping the $I=[0,1]$ with left order topology. We will restrict the irreversibility of definitions to $T_0$ Spaces, such that for $T_1$ spaces, the ir-paths are constant. After providing some theorems and properties of these notions, eventually, we prove that Lusternik-Schnirelmann ir-category is an invariant of ir-hom…
Algebraic topological methods have been used successfully in concurrency theory, the domain of theoretical computer science that deals with parallel computing. L. Fajstrup, E. Goubault, and M. Raussen have introduced partially ordered spaces (pospaces) as a model for concurrent systems. In this paper it is shown that the category of pospaces under a fixed pospace is both a fibration and a cofibration category in the sense of H. Baues. The homotopy notion in this fibration and cofibration category is relative directed homotopy. It is also shown that the category of pospaces is a closed model ca…
We prove, under mild assumptions, that a Quillen equivalence between symmetric monoidal model categories gives rise to a Quillen equivalence between their model categories of (non-symmetric) operads, and also between model categories of algebras over operads. We also show left properness results on model categories of operads and algebras over operads. As an application, we prove homotopy invariance for (unital) associative operads.
Let $R$ be any ring with identity. We show that the homotopy category of all acyclic chain complexes of pure-projective $R$-modules is a compactly generated triangulated category. We do this by constructing abelian model structures that put this homotopy category into a recollement with two other compactly generated triangulated categories: The usual derived category of $R$ and the pure derived category of $R$. This also gives a new model for the derived category.
In this paper, we study the homotopy groups of a shrinking wedge $X$ of a sequence $\{X_j\}$ of non-simply connected CW-complexes. Using a combination of generalized covering space theory and shape theory, we construct a canonical homomorphism $$Θ:π_n(X)\to\prod_{j\in\mathbb{N}}\bigoplus_{π_1(X)/π_1(X_j)}π_n(X_j),$$ characterize its image, and prove that $Θ$ is injective whenever each universal cover $\widetilde{X}_j$ is $(n-1)$-connected. These results (1) provide a characterization of the $n$-th homotopy group of the shrinking wedge of copies of $\mathbb{RP}^n$, (2) provide a characterizatio…
The Homotopy Types of Suspended Simply-connected $6$-manifolds
本文在 Adem 运算平凡条件下，确定了含 2-挠的单连通闭 6 流形的三重悬垂同伦型。
Withdrawn paper because the results are published in math.AT/0308054 and math.AT/0308063.
We determine loop space decompositions of simply-connected four-manifolds, $(n-1)$-connected $2n$-dimensional manifolds provided $n\notin\{4,8\}$, and connected sums of products of two spheres. These are obtained as special cases of a more general loop space decomposition of certain torsion-free $CW$-complexes with well-behaved skeleta and some Poincaré duality features.
The embedded cobordism category under study in this paper generalizes the category of conformal surfaces, introduced by G. Segal in order to formalize the concept of field theories. Our main result identifies the homotopy type of the classifying space of the embedded d-dimensional cobordism category for all d. For d=2, our results lead to a new proof of the generalized Mumford conjecture, somewhat different in spirit from the original one.
In this paper we describe two ways on which cofibred categories give rise to bisimplicial sets. The "fibred nerve" is a natural extension of Segal's classical nerve of a category, and it constitutes an alternative simplicial description of the homotopy type of the total category. If the fibration is splitting, then one can construct the "cleaved nerve", a smaller variant which emerges from a distinguished closed cleavage. We interpret some classical theorems by Thomason and Quillen in terms of our constructions, and use the fibred and cleaved nerve to establish new results on homotopy and homo…
The classical homotopy category is cartesian closed
该研究证明所有拓扑空间与映射同伦类构成的经典同伦范畴是笛卡尔闭的，还指出其对应的(∞,1)-范畴局部化后也满足该性质，通过特定拓扑空间建模指数对象并以弱同伦等价验证泛性质。
We define a simplicial enrichment on the category of differential graded Hopf cooperads (the category of dg Hopf cooperads for short). We prove that our simplicial enrichment satisfies, in part, the axioms of a simplicial model category structure on the category of dg Hopf cooperads. We use this simplicial model structure to define a model of mapping spaces in the category of dg Hopf cooperads and to upgrade results of the literature about the homotopy automorphism spaces of dg Hopf cooperads by dealing with simplicial monoid structures. The rational homotopy theory of operads implies that the…
We study $p$-localizations, where $p$ is an odd prime, of the full subcategories $S^n$ of stable homotopy category consisting of CW-complexes having cells in $n$ successive dimensions. Using the technique of triangulated categories and matrix problems we classify atoms (indecomposable objects) in $S_p^n$ for $n\le 4(p-1)$ and show that for $n>4(p-1)$ such classification is wild in the sense of the representation theory.
This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The method consists in using the operadic calculus to endow the category of coalgebras over the Koszul dual cooperad or the bar construction with a new type of model category structure, Quillen equivalent to that of algebras. We provide an explicit homotopy equivalence for infinity-morphisms, which gives a simple description of the homotopy category, and we endo…
We construct a cofibrantly generated model structure on the category of flows such that any flow is fibrant and such that two cofibrant flows are homotopy equivalent for this model structure if and only if they are S-homotopy equivalent. This result provides an interpretation of the notion of S-homotopy equivalence in the framework of model categories.
Log homotopy types are homotopy types with modulus
该研究证明对数同伦型范畴属于带模同伦型范畴的满子范畴，明确了二者的范畴包含关系。
This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the respective Lipschitz and uniform settings. Cubical sets and uniform spaces admit the additional compatible structures of categories of (co)fibrant objects. A categorical equivalence between classical homotopy categories of cubical sets and spaces lifts to a full and faithful embedding from an associated Lipschitz homotopy category of cubical sets into an associa…
Motivated by rational homotopy theory, we study a representable presheaf of groups $\mathbf{\mathfrak{P}}$ on the homotopy category of cocommutative differential graded coalgebras, its Lie algebraic counterpart and its linear representations. We prove a Tannaka type reconstruction theorem that $\mathbf{\mathfrak{P}}$ can be recovered from the dg-category of its linear representations along with the forgetful dg-functor to the underlying dg-category of chain complexes.
Pointed integral coalgebras and R-local homotopy theory
论文研究了R局部空间的同调范畴如何嵌入到指针平坦余代数的同调范畴中，揭示了积分余代数在同调理论中的作用。
We look at strict $n$-groupoids and show that if $\Re$ is any realization functor from the category of strict $n$-groupoids to the category of spaces satisfying a minimal property of compatibility with homotopy groups, then there is no strict $n$-groupoid $G$ such that $\Re (G)$ is the $n$-type of $S^2$ (for $n\geq 3$). At the end we speculate on how one might fix this problem by introducing a notion of ``snucategory'', a strictly associative $n$-category with only weak units.
This paper is a generalization of arXiv:0810.0808. We develop the de Rham homotopy theory of not necessarily nilpotent spaces, using closed dg-categories and equivariant dg-algebras. We see these two algebraic objects correspond in a certain way. We prove an equivalence between the homotopy category of schematic homotopy types and a homotopy category of closed dg-categories. We give a description of homotopy invariants of spaces in terms of minimal models. The minimal model in this context behaves much like the Sullivan's minimal model. We also provide some examples. We prove an equivalence be…
We introduce a rational homotopy invariant P of a topological space, which is a quintic tensor on the cohomology. For n > 1, formality of a closed (n-1)-connected manifold of dimension up to 5n-2 is equivalent to vanishing of P and the Bianchi-Massey tensor introduced by Crowley and the second author arXiv:1505.04184. We show also that elements of the group of closed simply-connected spin 8-manifolds with the cohomology of an r-fold connected sum of S^2 x S^6 are determined up to torsion by the value of P.
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.
For a Hopf DG-algebra corresponding to a derived algebraic group, we compute the homotopy limit of the associated cosimplicial system of DG-algebras given by the classifying space construction. The homotopy limit is taken in the model category of DG-categories. The objects of the resulting DG-category are Maurer-Cartan elements of $\operatorname{Cobar}(A)$, or 1-dimensional $A_\infty$-comodules over $A$. These can be viewed as characters up to homotopy of the corresponding derived group. Their tensor product is interpreted in terms of Kadeishvili's multibraces. We also study the coderived cate…
Simply connected compact Kähler manifolds of dimension up to three with elliptic homotopy type are characterized in terms of their Hodge diamonds. This is applied to classify the simply connected Kähler surfaces and Fano threefolds with elliptic homotopy type.
For any finite group G, we show that the 2-local G-equivariant stable homotopy category, indexed on a complete G-universe, has a unique equivariant model in the sense of Quillen model categories. This means that the suspension functor, homotopy cofiber sequences and the stable Burnside category determine all "higher order structure" of the 2-local G-equivariant stable homotopy category, such as the equivariant homotopy types of function G-spaces. The theorem can be seen as an equivariant version of Schwede's rigidity theorem at the prime 2.
Rational Homotopy Equivalence
本文提出算法构建Sullivan极小模型，用于判断两个连通空间是否具有相同的有理同调类型。
The finite stable homotopy category S_0 has been suggested as a candidate for a category of perfect complexes over the monoid scheme Spec F_1. We apply a reconstruction theorem from algebraic geometry to S_0, and show that one recovers the one point topological space. We also classify filtering subsets of the set of principal thick subcategories of S_0, and of its p-local versions. This is motivated by a result saying that the analogous classification for the category of perfect complexes over an affine scheme provides topological information.
We show that the classifying space functor $B: Mon \to Top*$ from the category of topological monoids to the category of based spaces is left adjoint to the Moore loop space functor $Ω': Top*\to Mon$ after we have localized $Mon$ with respect to all homomorphisms whose underlying maps are homotopy equivalences and $Top*$ with respect to all based maps which are (not necessarily based) homotopy equivalences. It is well-known that this localization of $Top*$ exists, and we show that the localization of $Mon$ is the category of monoids and homotopy classes of homotopy homomorphisms. To make this …
The classifying space of the embedded cobordism category has been identified in by Galatius, Tillmann, Madsen, and Weiss as the infinite loop space of a certain Thom spectrum. This identifies the set of path components with the classical cobordism group. In this paper, we give a geometric interpretation of the higher homotopy groups as certain cobordism groups where all manifolds are now equipped with a set of orthonormal sections in the tangent bundle. We also give a description of the fundamental group as a free group with a set of geometrically intuitive relations.
Kuranishi spaces in a category of fibrant objects and their homotopy fiber products
本文研究范畴$\boldsymbol{Kur}$的基本性质，定义其纤射与弱等价以证明同伦纤维积存在，给出Weinstein范畴定义，证明$\boldsymbol{Kur}$是纤射对象范畴并讨论其同伦范畴。
Homotopy of Simply Connected Complexes with a Spherical Pair
研究了具有球对的连通复形中循环空间分解及其对同调理论的影响，揭示了不同惰性层次之间的差异及高维中同伦等价的多样性。
The homotopy decomposition of the suspension of a non-simply-connected $5$-manifold
本文确定了特定连通可定向闭光滑$5$-流形的约化同纬空间同伦型，并应用计算了约化$K$-群，证明了特定上同伦集间的同纬映射为双射。
We show that the categories PsTop and Lim of pseudotopological spaces and limit spaces, respectively, admit cofibration category structures, and that PsTop admits a model category structure, giving several ways to simultaneously study the homotopy theory of classical topological spaces, combinatorial spaces such as graphs and matroids, and metric spaces endowed with a privileged scale, in addition to spaces of maps between them. In the process, we give a sufficient condition for a topological construct which contains compactly generated Hausdorff spaces as a subcategory to admit an $I$-categor…
Let $M$ be a simply connected closed manifold of dimension $n$. We study the rational homotopy type of the configuration space of 2 points in $M$, $F(M,2)$. When $M$ is even dimensional, we prove that the rational homotopy type of $F(M,2)$ depends only on the rational homotopy type of $M$. When the dimension of $M$ is odd, for every $x\in H^{n-2} (M, \mathbb{Q})$, we construct a commutative differential graded algebra $C(x)$. We prove that for some $x \in H^{n-2} (M; \mathbb{Q})$, $C(x)$ encodes completely the rational homotopy type of $F(M,2)$. For some class of manifolds, we show that we can…
Given a topological group G, its orbit category Orb_G has the transitive G-spaces G/H as objects and the G-equivariant maps between them as morphisms. A well known theorem of Elmendorf then states that the category of G-spaces and the category of contravariant functors Func(Orb_G,Spaces) have equivalent homotopy theories. We extend this result to the context of orbispaces, with the role of Orb_G now played by a category whose objects are topological groups and whose morphisms are given by Hom(H,G) = Mono(H,G) x_G EG. On our way, we endow the category of topological groupoids with notions of we…
Greenlees defined an abelian category A whose derived category is equivalent to the rational S^1-equivariant stable homotopy category whose objects represent rational S^1-equivariant cohomology theories. We show that in fact the model category of differential graded objects in A (dgA) models the whole rational S^1-equivariant stable homotopy theory. That is, we show that there is a Quillen equivalence between dgA and the model category of rational S^1-equivariant spectra, before the quasi-isomorphisms or stable equivalences have been inverted. This implies that all of the higher order structur…
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.
This very speculative sketch suggests that a theory of fundamental groupoids for tensor triangulated categories could be used to describe the ring of integers as the singular fiber in a family of ring-spectra parametrized by a structure space for the stable homotopy category, and that Bousfield localization might be part of a theory of `nearby' cycles for stacks or orbifolds.
Finite type nilpotent spaces are weakly equivalent if and only if their singular cochains are quasi-isomorphic as E-infinity algebras. The cochain functor from the homotopy category of finite type nilpotent spaces to the homotopy category of E-infinity algebras is faithful but not full.
We call product generator of an additive category a fixed object satisfying the property that every other object is a direct factor of a product of copies of it. In this paper we start with an additive category with products and images, e.g. a module category, and we are concerned with the homotopy category of complexes with entries in that additive category. We prove that Brown representability theorem is valid for the dual of the homotopy category if and only if the initial additive category has a product generator.
The settings for homotopical algebra---categories such as simplicial groups, simplicial rings, $A_\infty$ spaces, $E_\infty$ ring spectra, etc.---are often equivalent to categories of algebras over some monad or triple $T$. In such cases, $T$ is acting on a nice simplicial model category in such a way that $T$ descends to a monad on the homotopy category and defines a category of homotopy $T$-algebras. In this setting there is a forgetful functor from the homotopy category of $T$-algebras to the category of homotopy $T$-algebras. Under suitable hypotheses we provide an obstruction theory, in t…
Crossed modules are known to be a model of pointed connected homotopy 2-types; formally, the homotopy category of crossed modules is equivalent to the category of pointed connected homotopy 2-types. In forming the homotopy category of crossed modules, one must resort to computing derived morphisms using non-constructive topological methods, but Behrang Noohi was able to find an algebraic model of these derived morphisms called butterflies. The result is a completely algebraic model of pointed connected homotopy 2-types. Reduced crossed complexes are a generalization of crossed modules and mode…
This paper is part of a series of papers about homotopy theory of strict $n$-categories. In the first paper of this series, we gave conditions that guarantee the existence of a Thomason model category structure on the category of strict $n$-categories. The main goal of our paper is to show one of these conditions. To do so, we associate to any simplicial complex a strict $\infty$-category generated by a computad. We conjecture that this $\infty$-category has the same homotopy type as the corresponding simplicial complex and we prove this conjecture when the simplicial complex comes from a pose…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。