Related papers: On Snake cones, Alternating cones and related cons…

Kreck's modified surgery gives an approach to classifying smooth $2n$-manifolds up to stable diffeomorphism, i.e. up to connected sum with copies of $S^n \times S^n$. In dimension 4, we use a combination of modified and classical surgery to…

The rational homology of unordered configuration spaces of points on any surface was studied by Drummond-Cole and Knudsen. We compute the rational cohomology of configuration spaces on a closed orientable surface, keeping track of the mixed…

Using the topological technique of diagrams of spaces, we calculate the homology of the union and the complement of finite arrangements of subspaces of the form $D + SP^{n-d}(X)$ in symmetric products $SP^n(X)$ where $D\in SP^d(X)$. As an…

For $X$ a connected finite simplicial complex we consider $\Delta^d(X,n)$ the space of configurations of $n$ ordered points of $X$ such that no $d+1$ of them are equal, and $B^d(X,n)$ the analogous space of configurations of unordered…

We generalize our previous work on categorification of Kauffman bracket skein module of surfaces, by extending our homology to tangles in cylinders over surfaces, F x [0,1]. Our homology of 0-tangles and 1-tangles in D^3 coincides (up to…

For a fixed integer $d\geq 1$, we show that two quasitoric manifolds over a product of $d$-simplices are homotopy equivalent after appropriate localization, provided that their integral cohomology rings are isomorphic.

Suppose that $N_1$ and $N_2$ are closed smooth manifolds of dimension $n$ that are homeomorphic. We prove that the spaces of smooth knots $Emb(S^1, N_1)$ and $Emb(S^1, N_2)$ have the same homotopy $(2n-7)$-type. In the 4-dimensional case…

We prove that strongly homotopy algebras (such as $A_\infty$, $C_\infty$, sh Lie, $B_\infty$, $G_\infty$,...) are homotopically invariant in the category of chain complexes. An important consequence is a rigorous proof that `strongly…

Given a stratified topological space, we answer the question whether the functor from the derived category of constructible sheaves to the derived category of sheaves with constructible cohomology is an equivalence. We also establish basic…

We prove that the homotopy type of a map from a Peano continuum into a planar or one-dimensional space is determined by the induced homomorphism of fundamental groups. This provides a new proof that planar sets are aspherical and is used to…

We demonstrate that categories of continuous actions of topological monoids on discrete spaces are Grothendieck toposes. We exhibit properties of these toposes, giving a solution to the corresponding Morita-equivalence problem. We…

This is a survey article with the goal to advertise spectrum valued versions of $K$- and $KK$- theory for $C^{*}$-algebras via a (stable and symmetric monoidal) $\infty$-categorical enhancement of Kasparov's classical $KK$-theory. The main…

We construct a discrete model of the homotopy theory of $S^1$-spaces. We define a category $\sP$ with objects composed of a simplicial set and a cyclic set along with suitable compatibility data. $\sP$ inherits a model structure from the…

We investigate a special kind of contraction of symmetric spaces (respectively, of Lie triple systems), called homotopy. In this first part of a series of two papers we construct such contractions for classical symmetric spaces in an…

Let $A$ be a separable $C^*$-algebra. We prove that its stabilized second suspension $S^2A\otimes \mathcal K$ and the $C^*$-algebra $qA\otimes \mathcal K$ constructed by Cuntz in the framework of his picture of KK-theory are asymptotically…

Given a space X, we study the homotopy type of ${\mathcal B}_n(X)$ the space obtained as "the union of all (n-1)-simplexes spanned by points in X". This is a space encountered in non-linear analysis under the name of "space of barycenters"…

We show if $A$ is a finite CW-complex such that algebraic theories detect mapping spaces out of $A$, then $A$ has the homology type of a wedge of spheres of the same dimension. Furthermore, if $A$ is simply connected then $A$ has the…

Let $X$ be a $4$-dimensional toric orbifold. If $H^3(X)$ has a non-trivial odd primary torsion, then we show that $X$ is homotopy equivalent to the wedge of a Moore space and a CW-complex. As a corollary, given two 4-dimensional toric…

In a previous paper, we defined a space-level version X(L) of Khovanov homology. This induces an action of the Steenrod algebra on Khovanov homology. In this paper, we describe the first interesting operation, Sq^2:Kh^{i,j}(L) ->…

The paper examines machines of the type of the $\Gamma$-spaces of Segal which describe homotopy structures on topological spaces. The main result of the paper shows that for any such machine one can find an algebraic theory characterizing…