Related papers: Subgroups of profinite surface groups

In this short note we prove a version of Bertini's theorem for unipotent rigid fundamental groups, stating that for every smooth, projective, geometrically connected variety $X$ over an infinite perfect field $k$ of characteristic $p>0$,…

We introduce an extension of the (tame) polynomial automorphism group over finite fields: the profinite (tame) polynomial automorphism group, which is obtained by putting a natural topology on the automorphism group. We show that most known…

Although $S_\infty$ (the group of all permutations of $\mathbb{N}$) is size continuum, both it and its closed subgroups can be presented as the set of paths through a countable tree. The subgroups of $S_\infty$ that can be presented this…

An approach to identify the normal subgroups determined by ideals in free group rings with the help of the derived functors of non-additive functors is explored. A similar approach, i.e., via derived functors, for computing limits of…

In this paper, we prove that the algebra of an \'etale groupoid with totally disconnected unit space has a simple algebra over a field if and only if the groupoid is minimal and effective and the only function of the algebra that vanishes…

Let R be any ring (with 1), \Gamma a group and R\Gamma the corresponding group ring. Let H be a subgroup of \Gamma of finite index. Let M be an R\Gamma -module, whose restriction to RH is projective. Moore's conjecture: Assume for every…

We describe all finite subsemigroups of a free left regular band of infinite rank. Moreover, we show applications of this result in algebraic geometry and model theory.

Let \pi(G) denote the set of prime divisors of the order of a finite group G. The prime graph of G is the graph with vertex set \pi(G) with edges {p,q} if and only if there exists an element of order pq in G. In this paper, we prove that a…

v2: A few typos corrected, a few formulations improved. On $X$ projective smooth over an algebraically closed field of characteristic $p>0$, we show that irreducible stratified bundles have rank 1 if and only if the commutator $[\pi_1^{{\rm…

The goal of this paper is to obtain restrictions on the prime to p quotient of the \'etale fundamental group of a smooth projective variety in characteristic $p\ge 0$. The results are analogues some theorems in the study of K\"ahler groups.…

We will investigate quasi-randomness for profinite groups. We will obtain bounds for the mininal degree of non-trivial representations of $\mathrm{SL}_k(\mathbb{Z}/(p^n\mathbb{Z}))$ and $\mathrm{Sp}_{2k}(\mathbb{Z}/(p^n\mathbb{Z}))$. Our…

In this paper we will define a qc fundamental group for an arithmetic scheme by quasi-galois closed covers. Then we will give a computation for such a group and will prove that the etale fundamental group of an arithmetic scheme is a normal…

Anabelian geometry suggests that, for suitably geometric objects, their \'etale fundamental groups determine the geometric objects up to isomorphism. From a group-theoretic viewpoint, this philosophy requires rigidity properties, which…

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…

We prove that, given a torsion-free relatively hyperbolic group G with non-relatively-hyperbolic peripherals, isomorphic finite index subgroups of G have the same index. This applies for instance to fundamental groups of finite-volume…

We show that the identity component of the group of diffeomorphisms of a closed oriented surface of positive genus admits many unbounded quasi-morphisms. As a corollary, we also deduce that this group is not uniformly perfect and its…

Let M be an irreducible smooth projective variety defined over \bar{{\mathbb F}_p}. Let \pi(M, x_0) be the fundamental group scheme of M with respect to a base point x_0. Let G be a connected semisimple linear algebraic group over…

We discuss the applications of fundamental groups (of complements of curves) computations (and possibly the computations of the second homotopy group as a model over it) to the classification of algebraic surface. We prove that the…

In this note we make progress toward a conjecture of Durham--Fanoni--Vlamis, showing that every infinite-type surface with finite-invariance index 1 and no nondisplaceable compact subsurfaces fails to have a good curve graph, that is, a…

Let $k$ be a field of characteristic $0$. We consider principal bundles over a $k$-scheme with reductive structure group (not necessarily of finite type). It is showm in particular that for $k$ algebraically closed there exists on any…