Related papers: Profinite mapping class groups
For any finite abelian group G, we study the moduli space of abelian $G$-covers of elliptic curves, in particular identifying the irreducible components of the moduli space. We prove that, in the totally ramified case, the moduli space has…
For each finite subgroup $G$ of $PGL_2(\mathbb{Q})$, and for each integer $n$ coprime to $6$, we construct explicitly infinitely many Galois extensions of $\mathbb{Q}$ with group $G$ and whose ideal class group has $n$-rank at least…
In previous articles, we showed that the category of profinite $L$-algebras (where $L$ is a normal modal logic with the finite model property) is monadic over $\textbf{Set}$. Then, we developed sequent calculi for extensions of the language…
A finitely generated residually finite group $G$ is an $\widehat{OE}$-group if any action of its profinite completion $\widehat G$ on a profinite tree with finite edge stabilizers admits a global fixed point. In this paper, we study the…
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…
A soluble pro-p group of finite rank is finitely axiomatizable in the class of all profinite groups if and only if for each open subgroup H, the image of Z(H) in the abelianization of H is finite, subject to some suitable hypothesis of…
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 derive necessary and sufficient homological and cohomological conditions for profinite groups and modules to be of type $\operatorname{FP}_n$ over a profinite ring $R$, analogous to the Bieri-Eckmann criteria for abstract…
Let $\Gamma$ be a non-elementary Kleinian group and $H<\Gamma$ a finitely generated, proper subgroup. We prove that if $\Gamma$ has finite co-volume, then the profinite completions of $H$ and $\Gamma$ are not isomorphic. If $H$ has finite…
We construct Grothendieck pairs witnessing that the following are not profinite invariants: stable commutator length, quasimorphisms (answering a question of Echtler and Kammeyer), property NL (which obstructs actions on hyperbolic spaces),…
We prove that finitely generated free metabelian groups $\Psi_n$ are profinitely rigid in the absolute sense: they are distinguished by their finite quotients among all finitely generated residually finite groups. The proof is based on a…
Just infinite groups play a significant role in profinite group theory. For each $c \geq 0$, we consider more generally JNN$_c$F profinite (or, in places, discrete) groups that are Fitting-free; these are the groups $G$ such that every…
Craw and Ishii proved that for a finite abelian group G in SL_3(C) every (projective) relative minimal model of C^3/G is isomorphic to the fine moduli space of \theta-stable G-constellations for some GIT parameter \theta. In this article,…
The article deals with profinite groups in which the centralizers are pronilpotent (CN-groups). It is shown that such groups are virtually pronilpotent. More precisely, let G be a profinite CN-group, and let F be the maximal normal…
We prove some new results on the arithmetic of abelian varieties over function fields of one variable over finitely generated (infinite) fields. Among other things, we introduce certain new natural objects `discrete Selmer groups' and…
We construct a correspondence between the cohomology groups of a group $G$ relative to a family of subgroups $\famS$ and the classes of `relative extensions' of $G$ by abelian groups, modulo a certain equivalence relation. We establish this…
Let $K$ be a 2-dimensional global field of characteristic $\neq 2$, and let $V$ be a divisorial set of places of $K$. We show that for a given $n \geqslant 5$, the set of $K$-isomorphism classes of spinor groups $G = \mathrm{Spin}_n(q)$ of…
We prove that any compact, orientable 3-manifold with empty or toral boundary is profinitely almost rigid among all compact, orientable 3-manifolds. In other words, the profinite completion of its fundamental group determines its…
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 this ongoing work, we extend to a class of well-behaved pre-special hyperfields the work of J. Min\'a\v c and Spira (\cite{minac1996witt}) that describes a (pro-2)-group of a field extension that encodes the quadratic form theory of a…