Related papers: Stable homotopy, 1-dimensional NCCW complexes, and…
We show that if a complex has free finitely generated reduced homology groups for two consecutive dimensions and trivial homology for all other dimensions, then it must have the homotopy type of a wedge of spheres of two consecutive…
We establish a loop space decomposition for certain $CW$-complexes with a single top cell in the presence of a spherical pair, thereby generalizing several known decompositions of Poincar\'{e} duality complexes in which a loop of a product…
Given two finite abstract simplicial complexes A and B, one can define a new simplicial complex on the set of simplicial maps from A to B. After adding two technicalities, we call this complex Homsc(A, B). We prove the following dichotomy:…
We prove that curves of constant curvature satisfy the parametric $C^1$-dense relative $h$-principle in the space of immersed curves with nonvanishing curvature in Euclidean space $R^{n\geq 3}$. It follows that two knots of constant…
We give a proof that the geometric K-homology theory for finite CW-complexes defined by Baum and Douglas is isomorphic to Kasparov's K-homology. The proof is a simplification of more elaborate arguments which deal with the geometric…
In this paper we prove that the homotopy class of non-homothety linear endomorphisms on $\mathbb{T}^2$ with determinant greater than 2 contains a $C^1$ open set of non-uniformly hyperbolic endomorphisms. Furthermore, we prove that the…
The main purpose of this paper is to introduce a new smooth version of a CW complex named a fat CW complex, and to show that it includes all closed manifolds, because existing smooth versions of CW complexes (e.g. [Iwa22]) do not have such…
For a countable group $G$ we construct a small, idempotent complete, symmetric monoidal, stable $\infty$-category $\mathrm{KK}^{G}_{\mathrm{sep}}$ whose homotopy category recovers the triangulated equivariant Kasparov category of separable…
We define a category of filtered topological spaces and explore some of its homotopy theoretic properties, including a filtered analogue of CW approximation. With this, we define and study a filtered (weighted) variant of the Euler…
We give a construction of classifiers for double negation stable h-propositions in a variety of cubical set models of homotopy type theory and cubical type theory. This is used to give some relative consistency results: classifiers for…
We show that every homomorphism from the infinite-dimensional unitary or orthogonal group to a separable group is continuous.
The fine curve complex of a surface is a simplicial complex whose vertices are essential simple closed curves and whose $k$-simplices are collections of $k+1$ disjoint curves. We prove that the fine curve complex is homotopy equivalent to…
We show that two simple, separable, nuclear and $\mathcal{Z}_0$-stable $\mathrm{C}^\ast$-algebras are isomorphic if they are trace-preservingly homotopy equivalent. This result does not assume the UCT and can be viewed as a tracial stably…
We introduce in this paper the notion of noncommutative Serre fibration (shortly, NCSF) and show that up to homotopy, every NCCW complex morphism is some noncommutative Serre fibration. We then deduce a six-term exact sequence for the…
In this paper we show that the cohomology of a connected CW complex is periodic if and only if it is the base space of an orientable spherical fibration with total space that is homotopically finite dimensional. As applications we…
We classify, up to homeomorphism, all closed manifolds having the homotopy type of a connected sum of two copies of real projective n-space.
In this article some noncommutative topological objects such as NC mapping cone and NC mapping cylinder are introduced. We will see that these objects are equipped with the NCCW complex structure of [PEDERSEN]. As a generalization we…
Let $G$ be a real linear algebraic group and $L$ a finitely generated cosimplicial group. We prove that the space of homomorphisms $Hom(L_n,G)$ has a homotopy stable decomposition for each $n\geq 1$. When $G$ is a compact Lie group, we show…
This is the second of a series of papers which are devoted to a comprehensive theory of maps between orbifolds. In this paper, we develop a basic machinery for studying homotopy classes of such maps. It contains two parts: (1) the…
We construct the stable (representable) homotopy category of finite orbispectra, whose objects are formal desuspensions of finite orbi-CW-pairs by vector bundles and whose morphisms are stable homotopy classes of (representable) relative…