Related papers: Automorphisms of profinite mapping class groups

Let $\textrm{UT}_n (K)$ be a unitriangular group over a field $K$ and $\Gamma_{n,k} := \textrm{UT}_n (K)/ \gamma_k(\textrm{UT}_n (K))$, where $\gamma_k (\mathrm{UT}_n(K))$ denotes the $k$-th term of the lower central series of…

The (directed) Bruhat graph $\hat{\Gamma}(u,v)$ has the elements of the Bruhat interval $[u,v]$ as vertices, with directed edges given by multiplication by a reflection. Famously, $\hat{\Gamma}(e,v)$ is regular if and only if the Schubert…

We consider smooth plane curves $\mathcal{X}$ of degree $d\geq4$, defined over an algebraically closed field of characteristic $0$, that possess a unique outer Galois point. This geometric condition forces the curve to be a cyclic covering…

We prove that the sign of the Euler characteristic of arithmetic groups with CSP is determined by the profinite completion. In contrast, we construct examples showing that this is not true for the Euler characteristic itself and that the…

We describe the action of the mapping class group $M(g,n)$ on the fundamental group of $T_{g,n}$, a compact orientable topological surface of positive genus $g$ with $n$ marked points. This is achieved by computing the image of the…

Let $G$ be a finite group and let $S$ be an inverse-closed subset of $G$ not containing the identity. The Cayley graph $\mathrm{Cay}(G,S)$ has vertex set $G$, where two vertices $x$ and $y$ are adjacent if and only if $x^{-1}y \in S$.…

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…

For a hyperbolic toral automorphism, we construct a profinite completion of an isomorphic copy of the homoclinic group of its right action using isomorphic copies of the periodic data of its left action. The resulting profinite group has a…

We determine the possible finite groups $G$ of symplectic automorphisms of hyperk\"ahler manifolds which are deformation equivalent to the second Hilbert scheme of a K3 surface. We prove that $G$ has such an action if, and only if, it is…

A group $H \cong {\mathbb Z}_{k}^{2g}$, where $g,k \geq 2$ are integers, of conformal automorphisms of a closed Riemann surface $S$ is called a $(g,k)$-Fermat group if it acts freely with quotient $S/H$ of genus $g$. We study some…

We prove that the outer automorphism group $\mathrm{Out}(N)$ of an infinitely generated free nilpotent group $N$ of class two is complete.

In this note, we embed the set of all Fricke characters of a free group F -- the set of all characters of representations of F into SL(2,C) -- as an irreducible affine variety V in complex affine space of dimension 2^n-1. Using the Horowitz…

In this paper, we prove that all finitely generated 3-manifold groups are Grothendieck rigid. More precisely, for any finitely generated 3-manifold group $G$ and any finitely generated proper subgroup $H<G$, we prove that the inclusion…

We introduce a class $\A$ of finitely generated residually finite accessible groups with some natural restriction on one-ended vertex groups in their JSJ-decompositions. We prove that the profinite completion of groups in $\A$ almost…

Let G be a semisimple Lie group with no compact factors, K a maximal compact subgroup of G, and $\Gamma$ a lattice in G. We study automorphic forms for $\Gamma$ if G is of real rank one with some additional assumptions, using dynamical…

Let $G=G_1 \ast \ldots \ast G_k \ast F_N$ be a free product of finitely presented groups, where $F_N$ is a free group of rank $N \in \mathbb{N}$. Let $\mathrm{Out}(G,\mathcal{G})$ be the subgroup of $\mathrm{Out}(G)$ preserving the set of…

We study the preservation of semisimplicity for holonomic D-modules with respect to the direct and inverse image of mainly finite maps $\pi : X \to Y$ of smooth varieties. A natural filtration of the direct image $\pi_+({\mathcal O}_X)$ is…

For any right-angled Artin group $A_{\Gamma}$, Charney--Stambaugh--Vogtmann showed that the subgroup $U^0(A_{\Gamma}) \leq\text{Out}(A_{\Gamma})$ generated by Whitehead automorphisms and inversions acts properly and cocompactly on a…

Let $n$ be a positive integer, $q$ be a prime power, and $V$ be a vector space of dimension $n$ over $\mathbb{F}_q$. Let $G := V \rtimes G_0$, where $G_0$ is an irreducible subgroup of ${\rm GL}(V)$ which is maximal by inclusion with…

The question of existence of outer automorphisms of a simple algebraic group $G$ arises naturally both when working with the Galois cohomology of $G$ and as an example of the algebro-geometric problem of determining which connected…