Related papers: Homotopy Types of Small Semigroups

Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…

In this paper we study the semigroup $\mathscr{I}_{\infty}^{\nearrow}(\mathbb{N})$ of partial cofinal monotone bijective transformations of the set of positive integers $\mathbb{N}$. We show that the semigroup…

It is a Theorem of W.~ W. Comfort and K.~ A. Ross that if $G$ is a subgroup of a compact Abelian group, and $S$ denotes those continuous homomorphisms from $G$ to the one-dimensional torus, then the topology on $G$ is the initial topology…

We construct a zig-zag from the once delooped space of pseudoisotopies of a closed $2n$-disc to the once looped algebraic $K$-theory space of the integers and show that the maps involved are $p$-locally $(2n-4)$-connected for $n>3$ and…

We study the rational homotopy types of classifying spaces of automorphism groups of smooth simply connected manifolds of dimension at least five. We give dg Lie algebra models for the homotopy automorphisms and the block diffeomorphisms of…

We obtain a classification of elliptic operators modulo stable homotopy on manifolds with edges (this is in some sense the simplest class of manifolds with nonisolated singularities). We show that the operators are classified by the…

Let $M$ be a topological monoid with homotopy group completion $\Omega BM$. Under a strong homotopy commutativity hypothesis on $M$, we show that $\pi_k (\Omega BM)$ is the quotient of the monoid of free homotopy classes $[S^k, M]$ by its…

From any poset isomorphic to the poset of gaps of a numerical semigroup $S$ with the order induced by $S$, one can recover $S$. As an application, we prove that two different numerical semigroups cannot have isomorphic posets (with respect…

We investigate closed subsets (subsemigroups, resp.) of compact-like topological spaces (semigroups, resp.). We prove that each Hausdorff topological space can be embedded as a closed subspace into an H-closed topological space. However,…

We characterise simply-connected biquotients which potentially admit metrics of holonomy G_2. We prove that there are at most three real homotopy types of rationally elliptic such manifolds---all of them being formal. In the course of this…

We give an efficient algorithm for the enumeration up to isomorphism of the inverse semigroups of order n, and we count the number S(n) of inverse semigroups of order n<=15. This improves considerably on the previous highest-known value…

A new method is given for computing generators of the homology groups with integer coefficients for any finite $T_0$-space. An important role in this method is played by irreducible cycles which are defined here and give rise to continuous…

The aim of this paper is to show that the most elementary homotopy theory of $\mathbf{G}$-spaces is equivalent to a homotopy theory of simplicial sets over $\mathbf{BG}$, where $\mathbf{G}$ is a fixed group. Both homotopy theories are…

Let ${\cal O}$ be a quantizable coadjoint orbit of a semisimple Lie group $G$. Under certain hypotheses we prove that $#(\pi_1(\text{Ham}({\cal O})))\geq #(Z(G))$, where $\text{Ham}({\cal O})$ is the group of Hamiltonian symplectomorphisms…

In this paper we consider a semitopological $\alpha$-bicyclic monoid $\mathcal{B}_{\alpha}$ and prove that it is algebraically isomorphic to a semigroup of all order isomorphisms between the principal upper sets of the ordinal…

Any finite simplicial complex K and a partition of the vertex set of K determines a canonical quotient space of the moment-angle complex of K. We prove that the cohomology groups of such a space can be computed via some Hochster's type…

Let $A$ be a separable $C^*$-algebra and let $B$ be a stable $C^*$-algebra with a strictly positive element. We consider the (semi)group $\Ext^{as}(A,B)$ (resp. $\Ext(A,B)$) of homotopy classes of asymptotic (resp. of genuine) homomorphisms…

In this paper we present several algorithms related with the computation of the homology of groups, from a geometric perspective (that is to say, carrying out the calculations by means of simplicial sets and using techniques of Algebraic…

The homotopy groups of a space are endowed with homotopy operations which define the \Pi-algebra of the space. An Eilenberg-MacLane space is the realization of a \Pi-algebra concentrated in one degree. In this paper, we provide necessary…

We work over an o-minimal expansion of a real closed field. The o-minimal homotopy groups of a definable set are defined naturally using definable continuous maps. We prove that any two semialgebraic maps which are definably homotopic are…