Related papers: Some remarks on profinite completion of spaces

We construct and study the moduli of continuous representations of a profinite group with integral $p$-adic coefficients. We present this moduli space over the moduli space of continuous pseudorepresentations and show that this morphism is…

A scale of the Frechet spaces of exponential type entire functions of one complex variable is considered. Certain special properties of subsets of these spaces consisting of Laguerre entire functions, which are obtained as uniform limits on…

Profinite congruences on profinite algebras determining profinite quotients are difficult to describe. In particular, no constructive description is known of the least profinite congruence containing a given binary relation on the algebra.…

We give sufficient conditions which ensure that a functor of finite length from an additive category to finite-dimensional vector spaces has a projective resolution whose terms are finitely generated. For polynomial functors, we study also…

Let $G= N\rtimes H$ be a locally compact group which is a semi-direct product of a closed normal subgroup $N$ and a closed subgroup $H.$ The Bohr compactification ${\rm Bohr}(G)$ and the profinite completion ${\rm Prof}(G)$ of $G$ are,…

The class of multi-EGS groups is a generalisation of the well-known Grigorchuk-Gupta-Sidki (GGS-)groups. Here we classify branch multi-EGS groups with the congruence subgroup property and determine the profinite completion of all branch…

Profinite equations are an indispensable tool for the algebraic classification of formal languages. Reiterman's theorem states that they precisely specify pseudovarieties, i.e.~classes of finite algebras closed under finite products,…

Compact connected abelian groups, or protori, have intrinsic structural characteristics that present for the entire category. In the case of finite-dimensional torus-free protori, The Resolution Theorem for Compact Abelian Groups sets the…

The Lannes-Quillen theorem relates the mod-$p$ cohomology of a finite group $G$ with the mod-$p$ cohomology of centralizers of abelian elementary $p$-subgroups of $G$, for $p>0$ a prime number. This theorem was extended to profinite groups…

We show that the class of profinite duality groups is closed under group extensions provided that the kernel satisfies some finiteness condition. This extends earlier results of Pletch and of Wingberg.

For $2g-2+n>0$, the Teichm\"uller modular group $\Gamma_{g,n}$ of a compact Riemann surface of genus $g$ with $n$ points removed $S_{g,n}$ is the group of homotopy classes of diffeomorphisms of $S_{g,n}$ which preserve the orientation of…

Kodaira fibred surfaces are a remarkable example of projective classifying spaces, and there are still many intriguing open questions concerning them, especially the slope question. The topological characterization of Kodaira fibrations is…

We prove that if a Cartesian product of alternating groups is topologically finitely generated, then it is the profinite completion of a finitely generated residually finite group. The same holds for Cartesian producs of other simple groups…

We introduce the category of finite \'etale covers of an arbitrary schematic finite space $X$ and show that, equipped with an appropriate natural fiber functor, it is a Galois Category. This allows us to define the \'etale fundamental group…

We study moduli spaces of (possibly non-nodal) curves (C,p_1,\ldots,p_n) of arithmetic genus g with n smooth marked points, equipped with nonzero tangent vectors, such that ${\mathcal O}_C(p_1+\ldots+p_n)$ is ample and $H^1({\mathcal…

Building on previous works by Bilu, Chambert-Loir and Loeser, we study the asymptotic behaviour of the moduli space of sections of a given family over a smooth projective curve, assuming that the generic fiber is an equivariant…

Hyperelliptic mapping class groups are defined either as the centralizers of hyperelliptic involutions inside mapping class groups of oriented surfaces of finite type or as the inverse images of these centralizers by the natural…

Stone duality establishes a contravariant equivalence between the category of Boolean algebras and the category of compact, Hausdorff, totally disconnected topological spaces (Stone spaces). These spaces are precisely the profinite spaces…

Given an S-arithmetic group, we ask how much information on the ambient algebraic group, number field of definition, and set of places S is encoded in the commensurability class of the profinite completion. As a first step, we show that the…

In this paper, we present a constructive generalization of metric and uniform spaces by introducing a new class of spaces, called cover spaces. These spaces form a topological concrete category with a full reflective subcategory of complete…