Related papers: Some remarks on profinite completion of spaces

Geyer and Jarden proved several results for torsion points of elliptic curves defined over the fixed field by finitely many elements in the absolute Galois group of a finitely generated field over the prime field in its algebraic closure.…

We study a quantum version of the Kazhdan-Lusztig functor. Namely, we prove that there exists a fully faithfull exact tensor functor from the category of finite dimensional representations of the quantum affine algebra Uq(sl(n)) (with…

In this thesis we investigate a new formalism for supergeometry which focuses on the categorical properties of the theory. This approach is our main tool in the subsequent investigation of a global analytic approach to the construction of…

In these notes we will survey recent results on various finitary approximation properties of infinite groups. We will discuss various restrictions on groups that are approximated for example by finite solvable groups or finite-dimensional…

We show that hyperbolic four-punctured $S^2-$bundles over $S^1$ are distinguished by the finite quotients of their fundamental groups among all 3-manifold groups. To do this, we upgrade a result of Liu to show that the topological type of a…

In this note we show that various (geometric/homological) finiteness properties are not profinite properties. For example for every $1 \le k, \ell \le \bbn$, there exist two finitely generated residually finite groups $\Ga_1$ and $\Ga_2$…

We study completions of Archimedean vector lattices relative to any nonempty set of positively-homogeneous functions on finite-dimensional real vector spaces. Examples of such completions include square mean closed and geometric closed…

This short note presents a new relation between coherent spaces and finiteness spaces. This takes the form of a functor from COH to FIN commuting with the additive and multiplicative structure of linear logic. What makes this correspondence…

This paper shows that quantization of $\pi$-finite spaces, as a functor out of a higher category of spans, is equivariant in two ways: Symmetries of a given polarization/Lagrangian always induce coherent symmetries of the quantization. On…

Given a Lie groupoid, we can form its orbit space, which carries a natural diffeology. More generally, we have a quotient functor from the Hilsum-Skandalis category of Lie groupoids to the category of diffeological spaces. We introduce the…

We prove some finiteness theorems for the Picard functor of an algebraic stack, in the spirit of SGA 6, exp. XII and XIII. In particular, we give a stacky version of Raynaud's relative representability theorem, we give sufficient conditions…

In this paper we look at normed spaces of differentiable functions on compact plane sets, including the spaces of infinitely differentiable functions originally considered by Dales and Davie. For many compact plane sets the classical…

We consider approximation by functions with finite support and characterize its approximation spaces in terms of interpolation spaces and Lorentz spaces.

We completely describe the finitely generated pro-$p$ subgroups of the profinite completion of the fundamental group of an arbitrary $3$-manifold. We also prove a pro-$p$ analogue of the main theorem of Bass--Serre theory for finitely…

Let $F$ be a field of characteristic $0$ containing all roots of unity. We construct a functorial compact Hausdorff space $X_F$ whose profinite fundamental group agrees with the absolute Galois group of $F$, i.e. the category of finite…

In this paper we extend previous results concerning the behaviour of JSJ decompositions of closed 3-manifolds with respect to the profinite completion to the case of compact 3-manifolds with boundary. We also illustrate an alternative and…

Combining ideas coming from Stone duality and Reynolds parametricity, we formulate in a clean and principled way a notion of profinite lambda-term which, we show, generalizes at every type the traditional notion of profinite word coming…

We show that, if S is a finite semiring, then the free profinite S-semimodule on a Boolean Stone space X is isomorphic to the algebra of all S-valued measures on X, which are finitely additive maps from the Boolean algebra of clopens of X…

We demonstrate that any full and faithful $*$-functor between approximable categories of locally finite coarse spaces induces a coarse embedding between the underlying spaces. Furthermore, we establish a general characterisation of such…

Let $w$ be a group-word. Suppose that the set of all $w$-values in a profinite group $G$ is contained in a union of countably many subgroups. It is natural to ask in what way the structure of the verbal subgroup $w(G)$ depends on the…