Related papers: Tykhyy's Conjecture on finite mapping class group …

We study finite orbits for non-elementary groups of automorphisms of compact projective surfaces. In particular we prove that if the surface and the group are defined over a number field k and the group contains parabolic elements, then the…

In this revised version (August 2025), we add a survey of \infty-categorical (co)limits and a replacement lemma for higher functoriality (Lem. 1.4.5), a framework for explicit models of punctured tubular neighborhoods ({\S}3.4), and a new…

In this paper, generalising the idea of the Rokhlin property, we explore the concept of the twisted Rokhlin property of topological groups. A topological group is said to exhibit the twisted Rokhlin property if, for each automorphism $\phi$…

Let G be a group of permutations of a denumerable set E. The profile of G is the function phi which counts, for each n, the number phi(n) of orbits of G acting on the n-subsets of E. Counting functions arising this way, and their associated…

Let $\Bbbk$ be an algebraically closed field, $Q$ a finite quiver, and denote by $\mathop{\mathrm{rep}}_Q^{\mathbf{d}}$ the affine $\Bbbk$-scheme of representations of $Q$ with a fixed dimension vector ${\mathbf{d}}$. Given a representation…

Let G be a Lie groupoid over M such that the target-source map from G to M x M is proper. We show that, if O is an orbit of finite type (i.e. which admits a proper function with finitely many critical points), then the restriction G|U of G…

We construct Zariski-dense surface subgroups in infinitely many commensurability classes of uniform lattices of the split real Lie groups $\operatorname{SL}(n,\mathbb{R})$, $\operatorname{Sp}(2n,\mathbb{R})$, $\operatorname{SO}(k+1,k)$, and…

The central extension of mapping class groups of punctured surfaces of finite type that arises in Chekhov-Fock quantization is 12 times of the Meyer class plus the Euler classes of the punctures, which agree with the one arising in the…

We use quantum invariants to define an analytic family of representations for the mapping class group of a punctured surface. The representations depend on a complex number A with |A| <= 1 and act on an infinite-dimensional Hilbert space.…

We study dismantling properties of the arc, disc and sphere graphs. We prove that any finite subgroup H of the mapping class group of a surface with punctures, the handlebody group, or Out(F_n) fixes a filling (resp. simple) clique in the…

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…

We calculate the virtually-cyclic dimension of the mapping class group of a sphere with at most six punctures. As an immediate consequence, we obtain the virtually-cyclic dimension of the mapping class group of the twice-holed torus and of…

We prove that for the torus with one hole and p greater than or equal to 1 punctures and the sphere with four holes there is a family of quantum trace functions in the quantum Teichm\"uller space, analog to the non-quantum trace functions…

We show that the Nichols algebra of a simple Yetter-Drinfeld module over a projective special linear group over a finite field whose support is a semisimple orbit has infinite dimension, provided that the elements of the orbit are…

Recently Abouzaid, Auroux, Efimov, Katzarkov and Orlov showed that the wrapped Fukaya Categories of punctured spheres and finite unbranched covers of punctured spheres are derived equivalent to the categories of singularities of a…

We prove the existence of infinitely many periodic orbits of symplectomorphisms isotopic to the identity if they admit at least one hyperbolic periodic orbit and satisfy some condition on the flux. Our result is proved for a certain class…

For $\textrm{SL}(n,\mathbb{R})$ ($n\geq3$), $\textrm{SO}(n+1,n)$ ($n\geq2$), $\textrm{Sp}(2n,\mathbb{R})$ ($n\geq2$) and for the adjoint real split form of the exceptional group $\textrm{G}_2$, we exhibit non-uniform lattices in which we…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

Let $S$ be an orientable, connected surface with infinitely-generated fundamental group. The main theorem states that if the genus of $S$ is finite and at least 4, then the isomorphism type of the pure mapping class group associated to $S$,…

We prove a theorem describing the limiting fine-scale statistics of orbits of a point in hyperbolic space under the action of a discrete subgroup. Similar results have been proved only in the lattice case, with two recent infinite-volume…