Related papers: Homotopy self-equivalences of 4-manifolds

Unpublished results of S Straus and W Browder state that two notions of homotopy equivalence for manifolds with smooth group actions - isovariant and equivariant - often coincide under a condition called the Gap Hypothesis; the proofs use…

We algorithmically compute integral Eilenberg-MacLane homology of all semigroups of order at most $8$ and present some particular semigroups with notable classifying spaces, refuting conjectures of Nico. Along the way, we give an…

Let $M$ be a closed 4-manifold with $\pi_2(M)\cong{Z}$. Then $M$ is homotopy equivalent to either $CP^2$, or the total space of an orbifold bundle with general fibre $S^2$ over a 2-orbifold $B$, or the total space of an $RP^2$-bundle over…

The goal of this thesis is to prove that $\pi_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ in homotopy type theory. In particular it is a constructive and purely homotopy-theoretic proof. We first recall the basic concepts of homotopy type theory,…

Exact sequences are a well known notion in homological algebra. We investigate here the more vague properties of 'homotopical exactness', appearing for instance in the fibre or cofibre sequence of a map. Such notions of exactness can be…

In this paper we prove that every finite group $G$ can be realized as the group of self-homotopy equivalences of infinitely many elliptic spaces $X$. Moreover, $X$ can be chosen to be the rationalization of an inflexible compact simply…

For Hamiltonian circle actions on compact, connected, four-dimensional manifolds, we give a generators and relations description for the even part of the equivariant cohomology, as an algebra over the equivariant cohomology of a point. This…

We solve the isomorphism problem for braid groups on trees with $n = 4$ or 5 strands. We do so in three main steps, each of which is interesting in its own right. First, we establish some tools and terminology for dealing with computations…

Closed oriented 4-manifolds with the same geometrically 2-dimensional fundamental group (satisfying certain properties) are classified up to $s$-cobordism by their $w_2$-type, equivariant intersection form and the Kirby-Siebenmann…

We construct membrane homology groups $\h(M)$ associated with each compact connected oriented smooth manifold, and show that $\h(M)$ is matrix graded algebra.

Both the gauge groups and $5$-manifolds are important in physics and mathematics. In this paper, we combine them together to study the homotopy aspects of gauge groups over $5$-manifolds. For principal bundles over non-simply connected…

This paper constructs numerous examples of highly connected Poincar\'{e} complexes, each homotopy equivalent to a topological manifold yet not homotopy equivalent to any smooth manifold. Furthermore, we determine the homotopy type of any…

In this paper we construct an infinite family of homotopically rigid spaces. These examples are then used as building blocks to forge highly connected rational spaces with prescribed finite group of self-homotopy equivalences. They are also…

We study the homotopy groups of the geometric fixed points of the real topological cyclic homology of $\mathbb{Z}/4$. We relate these groups to the values of the non-abelian derived functors of the functor $M \mapsto (M…

We introduce a nested sequence of monoids related to self-homotopy equivalences of fibrewise pointed spaces, such that the limit is the group of homotopy classes of fibrewise pointed self-equivalences. We explore this monoid for the fibred…

We classify, up to homeomorphism, all closed manifolds having the homotopy type of a connected sum of two copies of real projective n-space.

We show that for any finitely presented group $G$, there is a simply connected closed 4-manifold containing an infinite family of topologically isotopic but smoothly inequivalent 2-links whose 2-link group is $G$. We also show that, if $G$…

We study in this paper three natural notions of convergence of homogeneous manifolds, namely infinitesimal, local and pointed, and their relationship with a fourth one, which only takes into account the underlying algebraic structure of the…

We study closed, oriented 4-manifolds whose fundamental group is that of a closed, oriented, aspherical 3-manifold. We show that two such 4-manifolds are stably diffeomorphic if and only if they have the same w_2-type and their equivariant…

Using geometric arguments, we compute the group of homotopy classes of maps from a closed $(n+1)$-dimensional manifold to the $n$-sphere for $n \geq 3$. Our work extends results from Kirby, Melvin and Teichner for closed oriented…