Related papers: The fundamental groupoid as a terminal costack
Permutation products and their various "fat diagonal" subspaces are studied from the topological and geometric point of view. We describe in detail the stabilizer and orbit stratifications related to the permutation action, producing a…
We construct a space $\mathbb{P}$ for which the canonical homomorphism $\pi_1(\mathbb{P},p) \rightarrow \check{\pi}_1(\mathbb{P},p)$ from the fundamental group to the first \v{C}ech homotopy group is not injective, although it has all of…
Let $X$ be a compact connected Riemann surface of genus at least two, and let ${G}$ be a connected semisimple affine algebraic group defined over $\mathbb C$. For any $\delta \in \pi_1({G})$, we prove that the moduli space of semistable…
We exhibit a map f between aspherical spaces X and Y such that f induces an isomorphism on homotopy groups but, with natural topologies, X and Y fail to have homeomorphic fundamental groups. Thus the topological fundamental group has the…
Let $X$ be a homogeneous space of a connected linear algebraic group $G$ defined over the field of complex numbers $\mathbb C$. Let $x\in X({\mathbb C})$ be a point. We denote by $H$ the stabilizer of $x$ in $G$. When $H$ is connected, we…
Let $\pi$ be a group satisfying the Farrell-Jones conjecture and assume that $B\pi$ is a 4-dimensional Poincar\'e duality space. We consider topological, closed, connected manifolds with fundamental group $\pi$ whose canonical map to $B\pi$…
We classify pointed spaces according to the first fundamental group of their reduced suspension. A pointed space is either of so-called totally path disconnected type or of horseshoe type. These two camps are defined topologically but a…
Let $(M, \omega)$ be a connected compact symplectic manifold equipped with a Hamiltonian SU(2) or SO(3) action. We prove that, as fundamental group of topological spaces, $\pi_1(M)=\pi_1(M_{red})$, where $M_{red}$ is the symplectic quotient…
Tree-graded spaces are a generalization of $\mathbb{R}$-trees and play an important role in describing the large-scale geometry of relatively hyperbolic groups. We consider a subclass of tree-graded spaces that we call "disjointly…
In this paper, we show that every topological group is a strong small loop transfer space at the identity element. This implies that the quasitopological fundamental group of a connected locally path connected topological group is a…
Binoid schemes generalise monoid schemes, which in turn enable us to generalise toric varieties. Let $X$ be a binoid scheme. The aim of this paper is to calculate the topological fundamental group of $KX$, where $K=\mathbb{C}$ or…
We introduce and analyse a general notion of fundamental group for noncommutative spaces, described by differential graded algebras. For this we consider connections on finitely generated projective bimodules over differential graded…
This very speculative sketch suggests that a theory of fundamental groupoids for tensor triangulated categories could be used to describe the ring of integers as the singular fiber in a family of ring-spectra parametrized by a structure…
I show that one can explicitly construct topologically/geometrically distinguishable data which provide isomorphic copies (i.e. \emph{isomorphs}) of the tempered fundamental group of a geometrically connected, smooth, quasi-projective…
For a smooth geometrically integral variety $X$ over a field $k$ of characteristic 0, we introduce and investigate the extended Picard complex $UPic(X)$. It is a certain complex of Galois modules of length 2, whose zeroth cohomology is…
We show that for every subset X of a closed surface M^2 and every basepoint x_0, the natural homomorphism from the fundamental group to the first shape homotopy group, is injective. In particular, if X is a proper compact subset of M^2,…
Sormani and Wei proved in 2004 that a compact geodesic space has a categorical universal cover if and only if its covering/critical spectrum is finite. We add to this several equivalent conditions pertaining to the geometry and topology of…
We investigate the local topological structure of non-metrizable topological groups through the lens of Tukey order and cofinal types. Motivated by recent advances in topological groups admitting an $\omega^\omega$-base, we introduce the…
We investigate sections of the arithmetic fundamental group pi_1(X) where X is either a smooth affinoid p-adic curve, or a formal germ of a p-adic curve, and prove that they can be lifted (unconditionally) to sections of cuspidally abelian…
Let $p$ be a prime number. Let $X/E$ be a geometrically connected, smooth, quasi-projective variety over a finite extension $E/\mathbb{Q}_p$. In this paper I demonstrate the existence of isomorphs of the tempered (and hence also \'etale)…