Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userPolynomial monads and delooping of mapping spaces
146
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We extend some classical results - such as Quillens Theorem A, the Grothendieck construction, Thomasons Theorem and the characterisation of homotopically cofinal functors - from the homotopy theory of small categories to polynomial monads and their algebras. As an application we give a categorical proof of the Dwyer-Hess and Turchin results concerning the explicit double delooping of spaces of long knots.
rate research
Read More
From a map of operads $eta : Orightarrow O$, we introduce a cofibrant replacement of the operad $O$ in the category of bimodules over itself such that the corresponding model of the derived mapping space of bimodules $Bimod_{O}^{h}(O;O)$ is an algebra over the one dimensional little cubes operad $mathcal{C}_{1}$. In the present work, we also build an explicit weak equivalence of $mathcal{C}_{1}$-algebras from the loop space $Omega Operad^{h}(O;O)$ to $Bimod_{O}^{h}(O;O)$.
It is known that the bimodule derived mapping spaces between two operads have a delooping in terms of the operadic mapping space. We show a relative version of that statement. The result has applications to the spaces of disc embeddings fixed near the boundary and framed disc embeddings.
We denote the $n$-th projective space of a topological monoid $G$ by $B_nG$ and the classifying space by $BG$. Let $G$ be a well-pointed topological monoid of the homotopy type of a CW complex and $G$ a well-pointed grouplike topological monoid. We prove the weak equivalence between the pointed mapping space $mathrm{Map}_0(B_nG,BG)$ and the space of all $A_n$-maps from $G$ to $G$. This fact has several applications. As the first application, we show that the connecting map $Grightarrowmathrm{Map}_0(B_nG,BG)$ of the evaluation fiber sequence $mathrm{Map}_0(B_nG,BG)rightarrowmathrm{Map}(B_nG,BG)rightarrow BG$ is delooped. As other applications, we consider higher homotopy commutativity, $A_n$-types of gauge groups, $T_k^f$-spaces by Iwase--Mimura--Oda--Yoon and homotopy pullback of $A_n$-maps. In particular, we show that the $T_k^f$-space and the $C_k^f$-space are exactly the same concept and give some new examples of $T_k^f$-spaces.
Hepworth, Willerton, Leinster and Shulman introduced the magnitude homology groups for enriched categories, in particular, for metric spaces. The purpose of this paper is to describe the magnitude homology group of a metric space in terms of order complexes of posets. In a metric space, an interval (the set of points between two chosen points) has a natural poset structure, which is called the interval poset. Under additional assumptions on sizes of $4$-cuts, we show that the magnitude chain complex can be constructed using tensor products, direct sums and degree shifts from order complexes of interval posets. We give several applications. First, we show the vanishing of higher magnitude homology groups for convex subsets of the Euclidean space. Second, magnitude homology groups carry the information about the diameter of a hole. Third, we construct a finite graph whose $3$rd magnitude homology group has torsion.
We compare the homological support and tensor triangular support for `big objects in a rigidly-compactly generated tensor triangulated category. We prove that the comparison map from the homological spectrum to the tensor triangular spectrum is a bijection and that the two notions of support coincide whenever the category is stratified, extending work of Balmer. Moreover, we clarify the relations between salient properties of support functions and exhibit counter-examples highlighting the differences between homological and tensor triangular support.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
