Related papers: Are two finite $H$-spaces homotopy equivalent?

This paper defines homology in homotopy type theory, in the process stable homotopy groups are also defined. Previous research in synthetic homotopy theory is relied on, in particular the definition of cohomology. This work lays the…

To each simplicial set $X$ we naturally assign an \'etendue ${\'E X}$ whose internal logic captures information about the geometry of $X$. In particular, we show that, for 'non-singular' objects $X$ and $Y$, the \'etendues ${\'E X}$ and…

For positive integers $d,m,n\geq 1$ with $(m,n)\not= (1,1)$ and $\Bbb K=\Bbb R$ or $\Bbb C$, let $Q^{d,m}_{n}(\Bbb K)$ denote the space of $m$-tuples $(f_1(z),\cdots ,f_m(z))\in \Bbb K [z]^m$ of $\Bbb K$-coefficients monic polynomials of…

In this note we give an algorithm to determine the rational homotopy type of the free and pointed mapping spaces $ map(F(\mathbb R^m,k), S^n)$ and $ map^*(F(\mathbb R^m,k), S^n)$. An explicit description of these spaces is given for $k=3$.…

We describe a general method for algorithmic construction of G-equivariant chain homotopy equivalences from non-equivariant ones. As a consequence, we obtain an algorithm for computing equivariant (co)homology of Eilenberg-MacLane spaces…

Assume that all spaces and maps are localised at a fixed prime $p$. We study the possibility of generating a universal space $U(X)$ from a space $X$ which is universal in the category of homotopy associative, homotopy commutative H-spaces…

We study the homotopy type of the simplicial set of continuous semi-algebraic simplexes of an algebraic variety defined over a real closed field, which we will call the real homotopy type. We prove an analogue of the theorem of Artin-Mazur…

Testing the unimodular equivalence of two full-dimensional integral simplices can be reduced to testing unimodular permutation (UP) equivalence of two nonsingular matrices. We conduct a systematic study of UP-equivalence, which leads to the…

Let $X$ be a simply connected rational elliptic space of formal dimension $n$ and let $\E(X)$ denote the group of homotopy classes of self-equivalences of $X$. If $X^{[k]}$ denotes the $k^{\text{th}}$ Postikov section of $X$ and $X^{k}$…

We say that a space X admits a homology exponent if there exists an exponent for the torsion subgroup of the integral homology. Our main result states if an H-space of finite type admits a homology exponent, then either it is, up to…

We classify the metric spaces that can be approximated by finite homogeneous ones.

The symmetric homology of a unital algebra $A$ over a commutative ground ring $k$ is defined using derived functors and the symmetric bar construction of Fiedorowicz. For a group ring $A = k[\Gamma]$, the symmetric homology is related to…

This paper is devoted to the study the $m$-point homogeneity property and the point homogeneity degree for finite metric spaces. Since the vertex sets of regular polytopes, as well as of some their generalizations, are homogeneous, we pay…

We provide counterexamples to the stable equivalence problem in every dimension $d\geq2$. That means that we construct hypersurfaces $H_1, H_2\subset\mathbb{C}^{d+1}$ whose cylinders $H_1\times\mathbb{C}$ and $H_2\times\mathbb{C}$ are…

We express the rational homotopy type of the mapping spaces $\mathrm{Map}^h(\mathsf D_m,\mathsf D_n^{\mathbb Q})$ of the little discs operads in terms of graph complexes. Using known facts about the graph homology this allows us to compute…

We prove that any globular subdivision of multipointed $d$-spaces gives rise to a dihomotopy equivalence between the associated flows. As a straightforward application, the flows associated to two multipointed $d$-spaces related by a finite…

Given a closed, smooth, connected, orientable $4$-manifold $M$, whose integral homology groups can have $2$-torsion, we determine the homotopy decomposition of the double suspension $\Sigma^2M$ as wedge sums of some elementary…

We compare the structure of a mapping cone in the category Top^D of spaces under a space D with differentials in algebraic models like crossed complexes and quadratic complexes. Several subcategories of Top^D are identified with algebraic…

We consider pairs of maps from a discrete group to the unitary group. The deficiencies of these maps from being homomorphisms may be great, but if they are close to each other then we call such pairs balanced. We show that balanced pairs…

We construct and identify star representations canonically associated with holonomy reducible simple symplectic symmetric spaces. This leads the a non-commutative geometric realization of the correspondence between causal symmetric spaces…