Related papers: Extending Harvey's Surface Kernel Maps
Let $S_n$ denote the symmetric group of degree $n$ with $n\geq 3$. Set $S=\{c_n=(1\ 2\ldots \ n),c_n^{-1},(1\ 2)\}$. Let $\Gamma_n=\mathrm{Cay}(S_n,S)$ be the Cayley graph on $S_n$ with respect to $S$. In this paper, we show that $\Gamma_n$…
Given a surface $S$ and a finite group $G$ of automorphisms of $S$, consider the birational maps $S\dashrightarrow S'$ that commute with the action of $G$. This leads to the notion of a $G$-minimal variety. A natural question arises: for a…
It has long been known that a vertex-transitive graph $\Gamma$ is isomorphic to a double coset graph $\text{Cos}(G,H,S)$ of a transitive group $G\le\text{Aut}(\Gamma)$, a vertex stabilizer $H\le G$, and some subset $S\subseteq G$. We show…
For a locally finite graph $\Gamma$, we consider its mapping class group $\text{Map}(\Gamma)$ as defined by Algom-Kfir-Bestvina. For these groups, we prove a generalization of the results of Laudenbach and Brendle-Broaddus-Putman, producing…
Let $X/S$ be a smooth family of smooth projective varieties, where $S$ is a smooth affine curve over a field $k$ of characteristic $0.$ We relate the differential fundamental groupoid scheme of $X/k$ with the differential fundamental…
Let $S$ be a compact Riemann surface and let $H$ be a finite group. It is known that if $H$ acts on $S$ then there is a $H$-equivariant isogeny decomposition of the Jacobian variety $JS$ of $S,$ called the group algebra decomposition of…
Herein we prove that if $M$ is a compact oriented Riemann surface of genus $g$, and $M^{[n]}$ is the classifying space of $n$ distinct, unordered points on $M$, then the kernel of the map $\pi_1(M^{[n]})\to H_1(M)$ is generated by…
We initiate the study of holomorphically convex groups: groups that can be realized as fundamental groups of smooth complex projective varieties with holomorphically convex universal covers. If $G$ is a holomorphically convex group of…
Given a finite simple graph $\Gamma$ on $n$ vertices its complementary prism is the graph $\Gamma\bar{\Gamma}$ that is obtained from $\Gamma$ and its complement $\bar{\Gamma}$ by adding a perfect matching, where each its edge connects two…
We prove that if $\Sigma$ is a closed surface of genus at least 3 and $G$ is a split real semisimple Lie group of rank at least $3$ acting faithfully by isometries on a symmetric space $N$, then there exists a Hitchin representation…
We consider a compact Riemann surface $R$ of arbitrary genus, with a finite number of non-overlapping quasicircles, which separate $R$ into two subsets: a connected Riemann surface $\Sigma$, and the union $\mathcal{O}$ of a finite…
We prove that for each sufficiently complicated orientable surface $S$, there exists an infinite image linear representation $\rho$ of $\pi_1(S)$ such that if $\gamma\in\pi_1(S)$ is freely homotopic to a simple closed curve on $S$, then…
The group of automorphisms of the free group on two generators is known to act geometrically, in an essentially unique way, on a 2-dimensional CAT(0) space X. We prove that X contains precisely two Hamiltonian surfaces. By this we mean a…
Every compact oriented Riemann surface with a finite group of self homeomorphisms can be embedded conformally in Euclidean three space so that the image group acts conformally. Here we establish necessary and sufficient conditions on the…
We determine all factorisations $X=AB$, where $X$ is a finite almost simple group and $A,B$ are core-free subgroups such that $A\cap B$ is cyclic or dihedral. As a main application, we classify the graphs $\Gamma$ admitting an almost simple…
We classify the regular maps $\mathcal M$ which have automorphism groups $G$ acting faithfully and primitively on their vertices. As a permutation group $G$ must be of almost simple or affine type, with dihedral point stabilisers. We show…
We consider the action of a finite subgroup of the mapping class group $Mod(S)$ of an oriented compact surface $S$ of genus $g \geq 2$ on the moduli space $\mathcal{R}(S,G)$ of representations of $\pi_1(S)$ in a connected semisimple real…
A normal subgroup of the (extended) mapping class group of a surface is said to be geometric if its automorphism group is the mapping class group. We prove that in the case of the Cantor tree surface, every normal subgroup is geometric. We…
A conjecture of Broaddus is proven, giving a simple characterisation of a representative of the unique orbit of the action of the mapping class group on the homology of Harvey's complex of curves for any genus surface. As an application,…
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…