Related papers: Elements of higher homotopy groups undetectable by…

We introduce and investigate the notion of (strong) $K^n_G$-manifolds, where $G$ is an abelian group. One of the result related to that notion (Theorem 3.4) implies the following partial answer to the Bing-Borsuk problem \cite{bb}, whether…

Let $X$ be an $(n-2)$-connected $2n$-dimensional Poincar\'e complex with torsion-free homology, where $n\geq 4$. We prove that $X$ can be decomposed into a connected sum of two Poincar\'e complexes: one being $(n-1)$-connected, while the…

We show that the homotopy category of unpointed spaces admits no set of objects jointly reflecting isomorphisms by giving an explicit counterexample involving large symmetric groups. We also show that, in contrast, the spheres jointly…

We show that the Heisenberg type group $H_X=(\Bbb{Z}_2 \oplus V) \leftthreetimes V^{\ast}$, with the discrete Boolean group $V:=C(X,\Z_2)$, canonically defined by any Stone space $X$, is always minimal. That is, $H_X$ does not admit any…

For a simplicial complex X on {1,2, ..., n} we define enriched homology and cohomology modules. They are graded modules over k[x_1, ..., x_n] whose ranks are equal to the dimensions of the reduced homology and cohomology groups. We…

We investigate the representation of a symmetric group $S_n$ on the homology of its Quillen complex at a prime $p$. For homology groups in small codimension, we derive an explicit formula for this representation in terms of the…

For a finite group $G$, there is a map $RO(G) \to {\rm Pic}(Sp^G)$ from the real representation ring of $G$ to the Picard group of $G$-spectra. This map is not known to be surjective in general, but we prove that when $G$ is cyclic this map…

Let $\mathbb{S}_n$ denote the symmetric group on $[n]=\{1,\ldots,n\}$ with the uniform probability measure. For a permutation $\pi \in \mathbb{S}_n$ let $X_{\pi}$ denote the simplicial complex on the vertex set $[n]$ whose simplices are all…

The goal of this paper is to establish a topological version of the notion of an Eilenberg-Mac Lane space. If $X$ is a pointed topological space, $\pi_1(X)$ has a natural topology coming from the compact-open topology on the space of maps…

We investigate the concept of definable, or inner, automorphism in the logical setting of partial Horn theories. The central technical result extends a syntactical characterization of the group of such automorphisms (called the covariant…

We prove that a space whose topological complexity equals 1 is homotopy equivalent to some odd-dimensional sphere. We prove a similar result, although not in complete generality, for spaces X whose higher topological complexity TC_n(X) is…

We say that a topological space $X$ is selectively highly divergent (SHD) if for every sequence of non-empty open sets $\{U_n\mid n\in\omega \}$ of $X$, we can find $x_n\in U_n$ such that the sequence $(x_n)$ has no convergent subsequences.…

By studying the group of self homotopy equivalences of the localization (at a prime $p$ and/or zero) of some aspherical complexes, we show that, contrary to the case when the considered space is a nilpotent complex, $\mathcal{E}_{\#}^m…

In this paper, we define (reduced) homeology groups and (reduced) cohomeology groups on finite simpicial complexes and prove that these groups are PL homeomorphsm invariants of polyhedra, while they are not homotopy invariants. So these…

We show that the $p$-group complex of a finite group $G$ is homotopy equivalent to a wedge of spheres of dimension at most $n$ if $G$ contains a self-centralising normal subgroup $H$ which is isomorphic to a group of Lie type and Lie rank…

Suppose $G$ is a connected complex Lie group and $\Gamma$ is a discrete subgroup such that $X := G/\Gamma$ is K\"ahler and the codimension of the top non--vanishing homology group of $X$ with coefficients in $\mathbb Z_2$ is less than or…

This paper studies the homotopy and homeomorphism classifications of $4$-manifolds with boundary. Given $4$-manifolds $X_0$ and $X_1$ with fundamental group $\pi$, we consider the problem of extending a homotopy equivalence $h \colon…

This paper studies the rational homotopy groups of the group $\mathrm{Diff}(S^4)$ of self-diffeomorphisms of $S^4$ with the $C^\infty$-topology. We present a method to prove that there are many `exotic' non-trivial elements in…

We construct a CW decomposition $C_n$ of the $n$-dimensional half cube in a manner compatible with its structure as a polytope. For each $3 \leq k \leq n$, the complex $C_n$ has a subcomplex $C_{n, k}$, which coincides with the clique…

Using the Harpaz-Nuiten-Prasma interpretation of the Dwyer-Kan-Smith cohomology of a simplicial category $\mathcal{X}$, we obtain a cochain complex for the Andr\'{e}-Quillen cohomology groups in which the $k$-invariants for $\mathcal{X}$…