Related papers: Translation Surfaces With Finite Veech Groups

For any subgroup of $\mathrm{SL}(3,\mathbb{R})\ltimes\mathbb{R}^3$ obtained by adding a translation part to a subgroup of $\mathrm{SL}(3,\mathbb{R})$ which is the fundamental group of a finite-volume convex projective surface, we first show…

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 make the subconvex exponent for $\mathrm{GL}_2$ cuspidal representation in the work of Michel \& Venkatesh explicit. The result depends on an effective dependence on the `fixed' $\mathrm{GL}_2$ representation in our former work on the…

In this note we study the finite groups whose subgroup lattices are dismantlable.

We investigate representations of mapping class groups of surfaces that arise from the untwisted Drinfeld double of a finite group G, focusing on surfaces without marked points or with one marked point. We obtain concrete descriptions of…

Groups associated to surfaces isogenous to a higher product of curves can be characterised by a purely group-theoretic condition, which is the existence of a so-called ramification structure. In this paper, we prove that infinitely many…

We prove that every finitely generated, residually finite group $G$ embeds into a finitely generated perfect branch group $\Gamma$ such that many properties of $G$ are preserved under this embedding. Among those are the properties of being…

We investigate specific examples of locally-defined real vector-fields on strata of translation surfaces. Integrating SL(2,R)-loci of Veech surfaces along these vector-fields yield interesting new examples of horocyle-invariant ergodic…

Suppose $f\in L^1(\mathbb{R}^d)$, $\Lambda\subset\mathbb{R}^d$ is a finite union of translated lattices such that $f+\Lambda$ tiles with a weight. We prove that there exists a lattice $L\subset{\mathbb{R}}^d$ such that $f+L$ also tiles,…

In this note we study a family of graphs of groups over arbitrary base graphs where all vertex groups are isomorphic to a fixed countable sofic group $G$, and all edge groups $H<G$ are such that the embeddings of $H$ into $G$ are identical…

Given a finite subgroup G of the mapping class group of a surface S, the Nielsen realization problem asks whether G can be realized as a finite group of homeomorphisms of S. In 1983, Kerckhoff showed that for S a finite-type surface, any…

In this paper, we determine the genus of the subgroup lattice of several families of abelian groups. In doing so, we classify all finite abelian groups whose subgroup lattices can be embedded into the torus.

Assuming that every hyperbolic group is residually finite, we prove the congruence subgroup property for mapping class groups of hyperbolic surfaces of finite type. Under the same assumption, it follows that profinitely equivalent…

We prove that certain Fuchsian triangle groups are profinitely rigid in the absolute sense, i.e. each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. We also develop a method…

We study two families of $g$-dimensional abelian varieties, induced by distinct rational maps defined on a common variety $\overline{\mathcal A}$ and mapping to two bases $\overline{S}_1$ and $\overline{S}_2$. Two non-torsion sections…

We determine the finite groups whose real irreducible representations have different degrees.

We prove that finite lamplighter groups $\{\mathbb{Z}_2\wr\mathbb{Z}_n\}_{n\ge 2}$ with a standard set of generators embed with uniformly bounded distortions into any non-superreflexive Banach space, and therefore form a set of test-spaces…

We prove that any finite set $F\subset {\mathbb{Z}^2}$ that tiles ${\mathbb{Z}^2}$ by translations also admits a periodic tiling. As a consequence, the problem whether a given finite set $F$ tiles ${\mathbb{Z}^2}$ is decidable.

For the special linear group $\mathrm{SL}_2(\mathbb{C})$ and for the singular quadratic Danielewski surface $x y = z^2$ we give explicitly a finite number of complete polynomial vector fields that generate the Lie algebra of all polynomial…

Let FL_s(K) be the finitary linear group of degree s over an associative ring K with unity. We prove that the torsion subgroups of FL_s(K) are locally finite for certain classes of rings K. A description of some f.g. solvable subgroups of…