Related papers: Beauville surfaces and finite simple groups

We prove that if $G$ is a finite simple group which is the unit group of a ring, then $G$ is isomorphic to either (a) a cyclic group of order 2; (b) a cyclic group of prime order $2^k -1$ for some $k$; or (c) a projective special linear…

Let $A$ be an abelian surface and let $G$ be a finite group of automorphisms of $A$ fixing the origin. Assume that the analytic representation of $G$ is irreducible. We give a classification of the pairs $(A,G)$ such that the quotient $A/G$…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

We are concerned with a super-Liouville equation on compact surfaces with genus larger than one, obtaining the first non-trivial existence result for this class of problems via min-max methods. In particular we make use of a Nehari manifold…

If $\mathcal C$ is a class of complexes closed under taking full subcomplexes and covers and $\mathcal G$ is the class of groups admitting proper and cocompact actions on one-connected complexes in $\mathcal C$, then $\mathcal G$ is closed…

Given an oriented surface of positive genus with finitely many punctures, we classify the finite orbits of the mapping class group action on the moduli space of semisimple complex special linear two dimensional representations of the…

A simple surface amalgam is the union of a finite collection of surfaces with precisely one boundary component each and which have their boundary curves identified. We prove if two fundamental groups of simple surface amalgams act properly…

We study relatively minimal surfaces equipped with a strongly isotrivial elliptic fibration in positive characteristic by means of the notion of equivariantly normal curves introduced and developed recently by Brion. Such surfaces are…

We classify, up to conjugacy, the finite (constant) subgroups G of adjoint absolutely simple algebraic groups of type $A_1$ over an arbitrary field $k$ of characteristic not 2.

We discuss the Bohr compactification of a pseudofinite group, motivated by a question of Boris Zilber. Basically referring to results in the literature we point out (i) the Bohr compactification of an ultraproduct of finite simple groups is…

We prove that there is no algorithm that can determine whether or not a finitely presented group has a non-trivial finite quotient; indeed, this remains undecidable among the fundamental groups of compact, non-positively curved square…

This paper studies a family of surfaces of ${\bf C}^3$ which is a deformation of a simple singularity of type $E_7$. This family has six parameters which are regarded as basic invariants of the complex reflection group No.34 in the list of…

Let $\Bbbk$ be any field of characteristic zero, $X$ be a cubic surface in $\mathbb{P}^3_{\Bbbk}$ and $G$ be a group acting on $X$. We show that if $X(\Bbbk) \ne \varnothing$ and $G$ is not trivial and not a group of order $3$ acting in a…

In this paper we describe how to explicitly construct infinitely many finite simple groups as characteristic quotients of the rank 2 free group $F_2$. This shows that a "baby" version of the Wiegold conjecture fails for $F_2$, and provides…

We study the first homology group of the mapping class group and Torelli group with coefficients in the first rational homology group of the universal abelian cover of the surface. We prove two contrasting results: for surfaces with one…

Let $\C$ be a variety of finite groups. We use profinite Bass--Serre theory to show that if $u:H\hookrightarrow G$ is a map of finitely generated residually $\C$ groups such that the induced map $\hat{u}:\hat{H}\rightarrow\hat{G}$ is a…

We study abelian varieties and K3 surfaces with complex multiplication defined over number fields of fixed degree. We show that these varieties fall into finitely many isomorphism classes over an algebraic closure of the field of rational…

We prove that if $X$ is a compact, oriented, connected $4$-dimensional smooth manifold, possibly with boundary, satisfying $\chi(X)\neq 0$, then there exists an integer $C\geq 1$ such that any finite group $G$ acting smoothly and…

We prove finiteness results for sets of varieties over number fields with good reduction outside a given finite set of places using cyclic covers. We obtain a version of the Shafarevich conjecture for weighted projective surfaces, double…

Let $S$ be either a free group or the fundamental group of a closed hyperbolic surface. We show that if $G$ is a finitely generated residually-$p$ group with the same pro-$p$ completion as $S$, then two-generated subgroups of $G$ are free.…