Related papers: Homotopy equivalences of localized aspherical comp…
Inspired by the Ax--Kochen isomorphism theorem, we develop a notion of categorical ultraproducts to capture the generic behavior of an infinite collection of mathematical objects. We employ this theory to give an asymptotic solution to the…
On arithmetic surfaces over local rings of integers we examine whether any geometric point has a basis of \'etale neighborhoods whose $\mathfrak{c}$-completed \'etale homotopy types are of type $K(\pi,1)$ for a given full…
Axiomatic Cohesion proposes that the contrast between cohesion and non-cohesion may be expressed by means of a geometric morphism $p :\mathcal{E} \to \mathcal {S}$ (between toposes) with certain special properties that allow to effectively…
Let X be a locally compact space, and let A and B be Co(X)-algebras. We define the notion of an asymptotic Co(X)-morphism from A to B and construct representable E-theory groups RE(X;A,B). These are the universal groups on the category of…
In this paper we describe explicit $L_\infty$ algebras modeling the rational homotopy type of any component of the spaces $\map(X,Y)$ and $\map^*(X,Y)$ of free and pointed maps between the finite nilpotent CW-complex $X$ and the finite type…
The notion of the \emph{homotopy type} of a topological stack has been around in the literature for some time. The basic idea is that an atlas $X \to \mathfrak{X}$ of a stack determines a topological groupoid $\mathbb{X}$ with object space…
Nilpotence in the homotopy of $\mathbb{E}_\infty$-ring spectra is detected by the classical $H\mathbb{Z}$-Hurewicz homomorphism. Inspired by questions of Mathew, Noel, and Naumann, we investigate the extent to which this criterion holds in…
Suppose M is a connected PL 2-manifold and X is a compact connected subpolyhedron of M (X \neq 1pt, a closed 2-manifold). Let E(X, M) denote the space of topological embeddings of X into M with the compact-open topology and let E(X, M)_0…
Let $p$ be an odd prime, and fix integers $m$ and $n$ such that $0<m<n\leq (p-1)(p-2)$. We give a $p$-local homotopy decomposition for the loop space of the complex Stiefel manifold $W_{n,m}$. Similar decompositions are given for the loop…
Let TC$_n$(X) denote the n-th topological complexity of a topological space X. It is known that TC$_n$(X) does not exceed n-1 for non-contractible X, and so it makes sense to describe spaces X with TC$_n$(X) =n-1. Grant--Lupton--Oprea…
Assume $G$ is a solvable group whose elementary abelian sections are all finite. Suppose, further, that $p$ is a prime such that $G$ fails to contain any subgroups isomorphic to $C_{p^\infty}$. We show that if $G$ is nilpotent, then the…
A simplicial complex is a set equipped with a down-closed family of distinguished finite subsets. This structure, usually viewed as codifying a triangulated space, is used here directly, to describe "spaces" whose geometric realisation can…
An orbifold is a topological space modeled on quotient spaces of a finite group actions. We can define the universal cover of an orbifold and the fundamental group as the deck transformation group. Let $G$ be a Lie group acting on a space…
For a rational elliptic space, this paper examines the relationship between its homotopy groups and its self-homotopy equivalence group. Moreover, we investigate how this group is embedded in general linear groups.
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…
Let G be a finite group. The unit sphere in a finite-dimensional orthogonal G-representation motivates the definition of homotopy representations, due to tom Dieck. We introduce an algebraic analogue, and establish its basic properties…
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…
Let $M$ be a closed, oriented, simply connected 6-manifold. After localization away from 2, we give a homotopy decomposition of $\Sigma M$ in terms of spheres, Moore spaces and other recognizable spaces. As applications we calculate…
Suppose that the inverse image of the zero vector by a continuous map $f:{\mathbb R}^n\to{\mathbb R}^q$ has an isolated point $P$. There is a local obstruction to removing this isolated zero by a small perturbation, generalizing the notion…
In this article we consider the homotopy theory of stratified spaces through a simplicial point of view. We first consider a model category of filtered simplicial sets over some fixed poset $P$, and show that it is a simplicial…