Related papers: $K(Z,2)$ out of circular permutations
We study a naturally occurring $E_{\infty}$-subalgebra of the full $E_2$-Hochschild cochain complex arising from coherent cochains. For group rings and certain category algebras, these cochains detect $H^*(B {\cal{C}})$, the simplicial…
A simplicial set is said to be non-singular if its non-degenerate simplices are embedded. Let $sSet$ denote the category of simplicial sets. We prove that the full subcategory $nsSet$ whose objects are the non-singular simplicial sets…
Let $X,Y$ be $(n-1)$-connected finite pointed CW-complexes of dimension at most $n+2$, $n\geq 3$. In this paper we give elementary proofs of the abelian group structure of $[X,Y]$ of homotopy classes of based maps from $X$ to $Y$, which was…
We embed the category of complex manifolds into the simplicial category of prestacks on the simplicial site of Stein manifolds, a prestack being a contravariant simplicial functor from the site to the category of simplicial sets. The…
We present a new approach to simple homotopy theory of polyhedra using finite topological spaces. We define the concept of collapse of a finite space and prove that this new notion corresponds exactly to the concept of a simplicial…
Simplicial approximation provides a framework for constructing simplicial complexes that are homotopy equivalent to a given manifold, provided a CW structure is explicitly known. However, its conventional implementation quickly becomes…
A smooth affine hypersurface Z of complex dimension n is homotopy equivalent to an n-dimensional cell complex. Given a defining polynomial f for Z as well as a regular triangulation of its Newton polytope, we provide a purely combinatorial…
Let W be a compact simply connected triangulated manifold with boundary and $K \subset W$ be a subpolyhedron. We construct an algebraic model of the rational homotopy type of the complement $W \setminus K$ out of a model of the map of pairs…
A flag complex can be defined as a simplicial complex whose simplices correspond to complete subgraphs of its 1-skeleton taken as a graph. In this article, by introducing the notion of s-dismantlability, we shall define the s-homotopy type…
In this paper, we compute explicitly both the $K$-theory and integral cohomology rings of the space of commuting elements in $SU(2)$ via the $K$-theory of its desingularization. We also briefly discuss the different behavior of its…
Suppose $C_1,\ldots , C_k$ are generic conjugacy classes in $SL_2({\mathbb C})$. Consider the character variety of local systems on ${\mathbb P}^1-\{ y_1,\ldots , y_k\}$ whose monodromy transformations around the punctures $y_i$ are in the…
The symplectomorphism group of a 2-dimensional surface is homotopy equivalent to the orbit of a filling system of curves. We give a generalization of this statement to dimension 4. The filling system of curves is replaced by a decomposition…
Working in univalent foundations, we investigate the symmetries of spheres, i.e., the types of the form $\mathbb{S}^n = \mathbb{S}^n$. The case of the circle has a slick answer: the symmetries of the circle form two copies of the circle.…
This paper constitutes a first step in the author's program to investigate the question of when a homotopy of 2-cocycles $\omega = \{\omega_t\}_{t \in [0,1]}$ on a locally compact Hausdorff groupoid $\mathcal{G}$ induces an isomorphism of…
We revisit Spakula's uniform K-homology, construct the external product for it and use this to deduce homotopy invariance of uniform K-homology. We define uniform K-theory and on manifolds of bounded geometry we give an interpretation of it…
Let $K$ be a field of characteristic two, and let $\lambda$ be a two-part partition of some natural number $r$. Denote the permutation module corresponding to the (maximal) Young subgroup $\Sigma_\lambda$ in $\Sigma_r$ by $M^\lambda$. We…
We describe the homotopy classes of 2 by 2 periodic simple (=non-degenerate) matrices with various symmetries. This turns out to be an elementary exercise in the homotopy of closed curves in three dimensions. The matrices represent gapped…
Let A denote the smallest C*-subalgebra of the algebra of all bounded operators on L^2(R) containing: (i) all multiplications a(M) by functions a in C[-\infty,+\infty], (ii) all multiplications e^{ijM}, j in Z, and (iii) all operators of…
We formulate and prove a new variant of the Segal Conjecture describing the group of homotopy classes of stable maps from the p-completed classifying space of a finite group G to the classifying space of a compact Lie group K as the p-adic…
Kasparov $KK$-groups $KK(A,B)$ are represented as homotopy groups of the Pedersen-Weibel nonconnective algebraic $K$-theory spectrum of the additive category of Fredholm $(A,B)$-bimodules for $A$ and $B$, respectively, a separable and…