arXiv research

We show that a finite group which admits a faithful, smooth, orientation-preserving action on a homology 4-sphere, and in particular on the 4-sphere, is isomorphic to a subgroup of the orthogonal group SO(5), by explicitly determining the various groups which can occur (up to an indetermination of index two in the case…

Finite groups act on 3-sphere, revealing A_5 as the only nonabelian simple group.

Consider a relatively hyperbolic group G. We prove that if G is finitely presented, so are its parabolic subgroups. Moreover, a presentation of the parabolic subgroups can be found algorithmically from a presentation of G, a solution of its word problem, and generating sets of the parabolic subgroups. We also give an a…

Finite groups related to SO(3) have a D2 property, and complexes with specific conditions are simple homotopy equivalent to finite 2-complexes.

Let G be any locally compact, unimodular, metrizable group. The main result of this paper, roughly stated, is that if F<G is any finitely generated free group and Γ< G any lattice, then up to a small perturbation and passing to a finite index subgroup, F is a subgroup of Γ. If G/Γis noncompact then we require additiona…

In early 1930s Seifert and Threlfall classified up to conjugacy the finite subgroups of $\mathrm{SO}(4)$, this gives an algebraic classification of orientable spherical 3-orbifolds. For the most part, spherical 3-orbifolds are Seifert fibered. The underlying topological space and singular set of non-fibered spherical 3…

Formula for subgroup growth in mapping class groups.

New thin subgroups found in special linear groups via bending techniques.

Study spherical 3-orbifolds' isometry groups and their mapping class groups.

Groups can be embedded in larger, simpler groups with special properties.

New corks constructed for infinite nonabelian groups, answering a question.

The paper defines Dirichlet domains for Anosov subgroups in Lie groups.

Let G=SO(n,1) and Gamma a geometrically finite Zariski dense subgroup of G which is contained in an arithmetic subgroup of G. Denoting by Gamma(q) the principal congruence subgroup of Gamma of level q, and fixing a positive number λ_0 strictly smaller than (n-1)^2/4, we show that, as q tends to infinity along primes, t…

We classify Freund-Rubin backgrounds of eleven-dimensional supergravity of the form AdS_4 x X^7 which are at least half BPS; equivalently, smooth quotients of the round 7-sphere by finite subgroups of SO(8) which admit an (N>3)-dimensional subspace of Killing spinors. The classification is given in terms of pairs consi…

We provide examples of finitely generated infinite covolume subgroups of $PSL(2,R)^r$ with a "big" limit set, e.g. that contains an open subset of the geometric boundary. They are given by the so called semi-arithmetic Fuchsian groups admitting modular embeddings.

Smooth Freund-Rubin backgrounds of eleven-dimensional supergravity of the form AdS_4 x X^7 and preserving at least half of the supersymmetry have been recently classified. Requiring that amount of supersymmetry forces X to be a spherical space form, whence isometric to the quotient of the round 7-sphere by a freely-act…

We consider sequences of finitely generated discrete subgroups Gamma_i=rho_i(Gamma) of a rank 1 Lie group G, where the representations rho_i are not necessarily faithful. We show that, for algebraically convergent sequences (Gamma_i), unless Gamma_i's are (eventually) elementary or contain normal finite subgroups of ar…

Homotopy classification for certain 4-manifolds with dihedral fundamental groups.

The paper classifies topological holonomy groups in $SO(3)$.

New insights into profinite rigidity of Kleinian groups and their subgroups.

Up to a finite cover, closed anti-de Sitter $3$-manifolds are quotients of $\mathrm{SO}_0(2,1)$ by a discrete subgroup of $\mathrm{SO}_0(2,1) \times \mathrm{SO}_0(2,1)$ of the form \[j\times ρ(Γ)~,\] where $Γ$ is the fundamental group of a closed oriented surface, $j$ a Fuchsian representation and $ρ$ another represent…

Let G be the identity component of SO(n,1), acting linearly on a finite dimensional real vector space V. Consider a vector w_0 in V such that the stabilizer of w_0 is a symmetric subgroup of G or the stabilizer of the line Rw_0 is a parabolic subgroup of G. For any non-elementary discrete subgroup Gamma of G with w_0Ga…

A homogeneous space G/H is said to have a compact Clifford-Klein form if there exists a discrete subgroup D of G that acts properly discontinuously on G/H, such that the quotient space D\G/H is compact. When n is even, we find every closed, connected subgroup H of G = SO(2,n), such that G/H has a compact Clifford-Klein…

Constructs ball quotient compactifications and studies lattices in PU(2,1).

We consider finite groups which admit a faithful, smooth action on an acyclic manifold of dimension three, four or five (e.g. euclidean space). Our first main result states that a finite group acting on an acyclic 3- or 4-manifold is isomorphic to a subgroup of the orthogonal group O(3) or O(4), respectively. The analo…

The paper studies groups with specific actions on hyperbolic spaces and finds that subgroups are either amenable or contain a free group.

Study shows $L^2$-temperedness and absence of positive eigenfunctions in certain groups.

Let N be a simply connected, connected real nilpotent Lie group of finite dimension n. We study subgroups $Γ$ in $\Aff (N)=N\rtimes \Aut (N)$ acting properly discontinuously and cocompactly on N. This situation is a natural generalization of the so-called affine crystallographic groups. We prove that for all dimensions…

The paper consists of two parts. In the first one we show that a relatively hyperbolic group $G$ splits as a star graph of groups whose central vertex group is finitely generated and the other vertex groups are maximal parabolic subgroups. As a corollary we obtain that every group which admits 3-discontinuous and 2-coc…

Groups of homotopy equivalences of graphs help realize compact subgroups.

There are three main components to this article: (i) A formula for the eta invariant of the signature complex for any finite subgroup of ${\rm{SO}}(4)$ acting freely on $S^3$ is given. An application of this is a non-existence result for Ricci-flat ALE metrics on certain spaces. (ii) A formula for the orbifold correcti…

Geometric limits of cyclic subgroups in specific groups studied.

Study of symmetries of sphere divisions induced by functions with isolated critical points.

This paper discusses topological and locally linear actions of finite groups on $S^4$. Local linearity of the orientation preserving actions on $S^4$ forces the group to be a subgroup of $SO(5)$. On the other hand, orientation reversing topological actions of "exotic" groups $G$ (i.e. $G\not\subset O(5)$) on $S^4$ are …

New conditions ensure surface group extensions are non-positively curved.

The paper explores geometric finiteness in mapping class groups and constructs new examples of these subgroups.

Paper explores hyperbolic groups with unique subgroup properties.

Study shows intersections of stable subgroups have finite properties.

Cylindrical contact homology computed for links of simple singularities.

We solve Dehn's isomorphism problem for virtually torsion-free relatively hyperbolic groups with nilpotent parabolic subgroups. We do so by reducing the isomorphism problem to three algorithmic problems in the parabolic subgroups, namely the isomorphism problem, separation of torsion (in their outer automorphism groups…

We prove that every finitely generated Kleinian group that contains a finite, non-cyclic subgroup either is finite or virtually free or contains a surface subgroup. Hence, every arithmetic Kleinian group contains a surface subgroup.

The study finds that certain hyperbolic manifolds contain subgroups isomorphic to surface groups.

The paper disproves the existence of certain subgroups with nontrivial rational abelianization.

The study characterizes subgroups of braid groups and their finite quotients.

The Martin boundary of certain groups is stable under specific conditions.

New proof using Heegaard Floer theory for non-extendable twists.

To every $Q$-irreducible representation $r$ of a finite group $H$, there corresponds a simple factor $A$ of $Q[H]$ with an involution $τ$. To this pair $(A,τ)$, we associate an arithmetic group $Ω$ consisting of all $(2g-2)\times (2g-2)$ matrices over a natural order of $A^{op}$ which preserve a natural skew-Hermitian …

Proves a limit on hyperplanes in complex manifolds.