Related papers: The fundamental groupoid as a terminal costack

We study the unipotent completion $\Pi^{DR}_{un}(x_0, x_1, X_K)$ of the de Rham fundamental groupoid [De] of a smooth algebraic variety over a local non-archimedean field K of characteristic 0. We show that the vector space…

We show that the topological full group of a Hausdorff ample groupoid with compact unit space coincides with the group of homotopy classes of invertible isometries in pseudofunction algebras associated with the groupoid. Moreover, if the…

Suppose that a finite group $G$ acts on a smooth complex variety $X$. Then this action lifts to the Chiral de Rham Complex of $X$ and to its cohomology by automorphisms of the vertex algebra structure. We define twisted sectors for the…

Let $\mathrm{Diff}_{\partial}(D^{n})$ be the topological group of diffeomorphisms of $D^{n}$ which agree with the identity near the boundary. In this short note, we compute the fundamental groups $\pi_1 \mathrm{Diff}_{\partial}(D^{4k})$ for…

Extending a theorem of Shelah we prove that fundamental groups of Peano continua (locally connected and connected metric compact spaces) are finitely presented if they are countable. The proof uses ideas from geometric group theory.

Topos properties of the category of covering groupoids over a fixed groupoid are discussed. A classification result for connected covering groupoids over a fixed groupoid analogous to the fundamental theorem of Galois theory is given.

Let M be a 4-manifold with residually finite fundamental group G having b_1(G) > 0. Assume that M carries a symplectic structure with trivial canonical class K = 0 in H^2(M). Using a theorem of Bauer and Li, together with some classical…

Let $X$ be a compact toric variety. Let $Hol$ denote the space of based holomorphic maps from $CP^1$ to $X$ which lie in a fixed homotopy class. Let $Map$ denote the corresponding space of continuous maps. We show that $Hol$ has the same…

We show that the fundamental group of every enumeratively rationally connected closed symplectic manifold is finite. In other words, if a closed symplectic manifold has a non-zero Gromov-Witten invariant with two point insertions, then it…

We define the notion of fundamental group of an algebraic stack, prove a comparison theorem between the fundamental group of a stack over the complex numbers and that of the associated analytic orbifold, show that this notion coincides with…

A groupoid is a small category in which each morphism has an inverse. A topological groupoid is a groupoid in which both sets of objects and morphisms have topologies such that all groupoid structure maps are continuous. The notion of…

The main result is that the fundamental groupoid of the orbit space of a discontinuous action of a discrete group on a Hausdorff space which admits a universal cover is the orbit groupoid of the fundamental groupoid of the space. We also…

For $X$ a connected finite simplicial complex we consider $\Delta^d(X,n)$ the space of configurations of $n$ ordered points of $X$ such that no $d+1$ of them are equal, and $B^d(X,n)$ the analogous space of configurations of unordered…

Soit X un espace homog\`ene d'un groupe alg\'ebrique lin\'eaire connexe G sur C. Soit x un C-point de X. On d\'esigne par H le stabilisateur de x dans G. On montre qu'on peut d\'efinir alg\'ebriquement le groupe fondamental topologique…

We summarize several results about the regular coverings and the fundamental groupoids of Alexandroff spaces. In particular, we show that the fundamental groupoid of an Alexandroff space $X$ is naturally isomorphic to the localization, at…

Let $X$ be a perfectoid space with tilt $X^\flat$. We construct a canonical map $\theta:\operatorname{Pic} X^\flat\to\lim\operatorname{Pic} X$ where the (inverse) limit is taken over the $p$-power map, and show that $\theta$ is an…

The purpose of this note is to observe that a homomorphism of discrete groups $f:\Gamma\to G$ arises as the induced map $\pi_0(\mathfrak{M})\to \pi_0(\mathfrak{X})$ on path components of some closed normal inclusion of topological groups…

We describe an algebraic proof of the well-known topological fact that $\pi_1(SO(n)) \cong Z/2Z$. The fundamental group of $SO(n)$ appears in our approach as the center of a certain finite group defined by generators and relations. The…

We give a criterion on a group $\pi$ and a homomorphism $w \colon \pi \to C_2$ under which closed $4$-manifolds with fundamental group $\pi$ and orientation character $w$ are classified up to homotopy equivalence by their quadratic…

We define an analog in characteristic $p>0$ of the proalgebraic completion of the topological fundamental group of a complex manifold.