Related papers: The fundamental groupoid as a terminal costack

We introduce the notion of fundamental heap for compact orientable surfaces with boundary embedded in $3$-space, which is an isotopy invariant of the embedding. It is a group, endowed with a ternary heap operation, defined using diagrams of…

In this paper we define a relative rigid fundamental group, which associates to a section $p$ of a smooth and proper morphism $f:X\rightarrow S$ in characteristic $p$, a Hopf algebra in the ind-category of overconvergent $F$-isocrystals on…

The cuspidalization conjecture, which is a consequence of Grothendieck's section conjecture, asserts that for any smooth hyperbolic curve $X$ over a finitely generated field $k$ of characteristic $0$ and any non empty Zariski open $U…

A sequence $(a_{n}) $ in an Abelian group is called a $T$-sequence if there exists a Hausdorff group topology on $G$ in which $(a_{n}) $ converges to $0$. For a $T$-sequence $(a_{n}) $, $\tau_{(a_{n}) } $ denotes the strongest group…

We classify all group topologies coarser than the topology of stabilizers of finite sets in the case of automorphism groups of countable free-homogeneous structures, Urysohn space and Urysohn sphere, among other related results.

We introduce a groupoid ${\mathbf{\Pi MG}}}$, called the fundamental modular groupoid, which is a variant of Penner's mapping class groupoid. We study how it relates to the surface mapping class groups and Thompson's group $\mathsf T$. We…

We exhibit a family of metrizable manifolds such that any finite group appears as the fundamental group of one of them. These spaces are especially interesting as they can be easily visualized, as opposed to classical examples of spaces…

Differential-geometric structures on the space of orbits of a finite Coxeter group, determined by Groth\'endieck residues, are calculated. This gives a construction of a 2D topological field theory for an arbitrary Coxeter group.

We provide a characterization of complex tori using holomorphic symmetric differentials. With the same method we show that compact complex manifolds of Kodaira dimension 0 having some symmetric power of the cotangent bundle globally…

In recent years a lot of attention has been paid to topological spaces which are a bit more general than smooth manifolds - orbifolds. Orbifolds are intuitively speaking manifolds with some singularities. The formal definition is also…

The kth finite subset space of a topological space X is the space exp_k X of non-empty finite subsets of X of size at most k, topologised as a quotient of X^k. The construction is a homotopy functor and may be regarded as a union of…

The tempered fundamental group of a p-adic analytic space classifies coverings that are dominated by a topological covering (for the Berkovich topology) of a finite etale covering of the space. Here we construct cospecialization…

In this paper we exhibit the notion of (uniformly) good sections of arithmetic fundamental groups. We introduce and investigate the problem of cuspidalisation of sections of arithmetic fundamental groups, its ultimate aim is to reduce the…

We develop a generalized covering space theory for a class of uniform spaces called coverable spaces. Coverable spaces include all geodesic metric spaces, connected and locally pathwise connected compact topological spaces, in particular…

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…

This paper studies the set of finite groups appearing as $\pi_1(M)/\pi_1(M)^{(n)}$, where $M$ is a closed, orientable 3-manifold and $\pi_1(M)^{(n)}$ denotes the $n$-th term of the derived series of $\pi_1(M)$. Our main result is that if…

Let $M$ be an irreducible smooth projective variety, defined over an algebraically closed field, equipped with an action of a connected reductive affine algebraic group $G$, and let ${\mathcal L}$ be a $G$--equivariant very ample line…

In topology, the notions of the fundamental group and the universal cover are closely intertwined. By importing usual notions from topology into the algebraic and arithmetic setting, we construct a fundamental group family from a universal…

We develop the notion of a geometric covering of a rigid space X, which yields a much larger class of covering spaces than that studied previously by de Jong. Geometric coverings of X are closed under disjoint unions and are \'etale local…

Main Theorem (3.3): Let $M$ be a compact four-dimensional manifold either with curvature, positive on complex isotropic two-planes, or self-dual of positive scalar curvature. If $\pi_1 (M)$ admits a nontrivial unitary representation, and…