arXiv research

Generalizes Collins' theorem to products of locally indicable groups.

We study the Chabauty compactification of two families of closed subgroups of $SL(n,\mathbb{Q}_p)$. The first family is the set of all parahoric subgroups of $SL(n,\mathbb{Q}_p)$. Although the Chabauty compactification of parahoric subgroups is well studied, we give a different and more geometric proof using various Le…

Each Abelian subgroup of the fundamental group of a compact and locally simply connected $d$-dimensional length space with no conjugate points is isomorphic to $\mathbb{Z}^k$ for some $0 \leq k \leq d$. It follows from this and previously known results that each solvable subgroup of the fundamental group is a Bieberbac…

Let $g\geq3$ and $n\geq0$, and let ${\mathcal{M}}_{g,n}$ be the mapping class group of a surface of genus $g$ with $n$ boundary components. We prove that ${\mathcal{M}}_{g,n}$ contains a unique subgroup of index $2^{g-1}(2^{g}-1)$ up to conjugation, a unique subgroup of index $2^{g-1}(2^{g}+1)$ up to conjugation, and t…

The study defines fields of definition for triangle groups as Fuchsian groups.

The paper disproves a conjecture about isomorphic subgroups in finite groups.

Proves cosets of certain subgroups in hyperbolic 3-manifold groups are conjugacy distinguished.

The study restricts normal subgroups of Kähler groups, proving specific cases and general restrictions.

A limit group is the limit of a sequence of conjugates of the diagonal Cartan subgroup, C, of SL(3,R). We show C has 5 possible limit groups, up to conjugacy. Each limit group is determined by an equivalence class of nonstandard triangle, and we give a criterion for a sequence of conjugates of C to converge to each of …

In this paper we describe the local limits under conjugation of all closed connected subgroups of $SL_3(\mathbb{R})$ in the Chabauty topology.

We show that finite index subgroups of the handlebody group are rigid in their ambient mapping class group: any injective map of a finite index subgroup of the genus $g$ handlebody group into the genus $g$ mapping class group is conjugation by a mapping class group element. On the other hand, we construct an injection …

Let $M(N_{h,n})$ denote the mapping class group of a compact nonorientable surface of genus $h\ge 7$ and $n\le 1$ boundary components, and let $T(N_{h,n})$ be the subgroup of $M(N_{h,n})$ generated by all Dehn twists. It is known that $T(N_{h,n})$ is the unique subgroup of $M(N_{h,n})$ of index $2$. We prove that $T(N_…

In this paper, we present a simple proof of the fact that any compact subgroup of homeomorphisms of the 2-sphere is topologically conjugate to a closed subgroup of the orthogonal group O(3).

We show that a finite collection of stable subgroups of a finitely generated group has finite height, finite width and bounded packing. We then use knowledge about intersections of conjugates to characterize finite families of quasimorphisms on hyperbolically embedded subgroups that can be to simultaneously extended to…

Let Gamma < PSL_2(C) be discrete, cofinite volume, and noncocompact. We prove that for all K > 1, there is a subgroup H < Gamma that is K-quasiconformally conjugate to a discrete cocompact subgroup of PSL_2(R). Along with previous work of Kahn and Markovic, this proves that every finite covolume Kleinian group has a ne…

The study examines conditions for symmetric and alternating subgroups in mapping class groups of surfaces.

The paper controls the geometry of surface subgroups in specific Kleinian groups.

We show that if $Γ$ is an irreducible subgroup of ${\rm SU}(2,1)$, then $Γ$ contains a loxodromic element $A$. If $A$ has eigenvalues $λ_1 = λe^{i\varphi},$ $λ_2 = e^{-2i\varphi}$, $λ_3 = λ^{-1}e^{i\varphi}$, we prove that $Γ$ is conjugate in ${\rm SU}(2,1)$ to a subgroup of ${\rm SU}(2,1,\mathbb{Q}(Γ,λ)),$ where $\mat…

In this paper, we show that for every abelian subgroup $H$ of a Garside group, some conjugate $g^{-1}Hg$ consists of ultra summit elements and the centralizer of $H$ is a finite index subgroup of the normalizer of $H$. Combining with the results on translation numbers in Garside groups, we obtain an easy proof of the a…

Let $G$ be a group hyperbolic relative to a finite collection of subgroups $\mathcal P$. Let $\mathcal F$ be the family of subgroups consisting of all the conjugates of subgroups in $\mathcal P$, all their subgroups, and all finite subgroups. Then there is a cocompact model for $E_{\mathcal F} G$. This result was known…

New subgroups of mapping class groups constructed for infinite-type surfaces.

Probabilistic proof shows separability in free groups.

Let $G$ be a non-elementary discrete subgroup of $\mathrm{Sp}(2,1)$. We show that if the sum of diagonal entries of each element of $G$ is a complex number, then $G$ is conjugate to a subgroup of $\mathrm{U}(2,1)$.

Study on homeomorphism groups of telescoping 2-manifolds showing strong distortion.

We prove that every topological conjugation between two germs of singular holomorphic curves in the complex plane is homotopic to another conjugation which extends homeomorphically to the exceptional divisors of their minimal desingularizations. As an application we give an explicit presentation of a finite index subgr…

The geometry of conjugation is mapped within Euclidean isometry groups.

In this paper, we give a proof of the result of Brandenbursky and Kȩdra which says that the commutator subgroup of the infinite braid group admits stably unbounded norms. Moreover, we observe the norms which we constructed are equivalent to the biinvariant word norm studied by Brandenbursky and Kȩdra.

The proof of the Tits alternative for $Out(F_n)$ is completed. The main tool is a Kolchin type theorem, proved in this paper. It states that a finitely generated subgroup of $Out(F_n)$ consisting of unipotent automorphisms can be conjugated into an upper-triangular subgroup (this is interpreted via train-tracks).

The paper characterizes finite metacyclic subgroups in mapping class groups of surfaces.

Regular subgroups of SL3(R) are identified and ruled out.

Let H be a closed, noncompact subgroup of a simple Lie group G, such that G/H admits an invariant Lorentz metric. We show that if G = SO(2,n), with n > 2, then the identity component of H is conjugate to the identity component of SO(1,n). Also, if G = SO(1,n), with n > 2, then the identity component of H is conjugate t…

We consider orientation-preserving actions of a finite group G on the 3-sphere S^3 (and also on Euclidean space R^3). By the geometrization of finite group actions on 3-manifolds, if such an action is smooth then it is conjugate to an orthogonal action, and in particular G is isomorphic to a subgroup of the orthogonal …

The study examines subgroups of RACGs and RAAGs, focusing on their RAAG properties.

We study polar orbitopes, i.e. convex hulls of orbits of a polar representation of a compact Lie group. The face structure is studied by means of the gradient momentum map and it is shown that every face is exposed and is again a polar orbitope. Up to conjugation the faces are completely determined by the momentum poly…

Power quandles improve group invariants and allow group presentations.

For a given $ε>0$, we show that there exist two finite index subgroups of $PSL_2(\mathbb{Z})$ which are $(1+ε)$-quasisymmetrically conjugated and the conjugation homeomorphism is not conformal. This implies that for any $ε>0$ there are two finite regular covers of the Modular once punctured torus $T_0$ (or just the Mod…

We study the isometry group of a globally hyperbolic spatially compact Lorentz surface. Such a group acts on the circle, and we show that when the isometry group acts non properly, the subgroups of $\mathrm{Diff}(\mathbb{S}^1)$ obtained are semi conjugate to subgroups of finite covers of $\mathrm{PSL}(2,\mathbb{R})$ by…

Let $N$ be at least 4. We prove that every injective homomorphism from the Torelli subgroup into $Out(F_N)$ differs from the inclusion by a conjugation in $Out(F_N)$. This applies more generally to the following subgroups: every finite-index subgroup of $Out(F_N)$ (recovering a theorem of Farb and Handel); every subgro…

Let $Γ$ be a nonelementary discrete subgroup of SU(n,1) or Sp(n,1). We show that if the trace field of $Γ$ is contained in $\mathbb R$, $Γ$ preserves a totally geodesic submanifold of constant negative sectional curvature. Furthermore if $Γ$ is irreducible, $Γ$ is a Zariski dense irreducible discrete subgroup of SO(n,1…

New space of currents defined for nonabelian free groups and malnormal subgroups.

The authors find geodesics, shortest arcs, diameter, cut locus, and conjugate sets for left-invariant sub-Riemannian metric on the Lie group SO(3), under condition that the metric is right-invariant relative to the Lie subgroup $SO(2)\subset SO(3)$.

In this note we prove the following three algebraic facts which have applications in the theory of holonomy groups and homogeneous spaces: Any irreducibly acting connected subgroup $G \subset Gl(n,\rr)$ is closed. Moreover, if $G$ admits an invariant bilinear form of Lorentzian signature, $G$ is maximal, i.e. it is con…

Characterizes isolated compact subgroups in Lie groups.

The paper examines boundedness of diffeomorphism groups of manifold pairs, focusing on the circle case.

A left-invariant sub-Riemannian metric $d$ on the shortened Lorentz group $SO_0(2,1)$ under the condition that $d$ is right-invariant relative to the orthogonal Lie subgroup $1\otimes SO(2)$ is studied. The distance between arbitrary two elements, the cut locus (as the union of the subgroup $1\otimes SO(2)$ with the an…

A quasitoric manifold $M$ is a $2n$-dimensional manifold which admits an action of an $n$-dimensional torus which has some nice properties. We determine the isomorphism type of a maximal compact connected Lie-subgroup $G$ of $\text{Homeo}(M)$ which contains the torus. Moreover, we show that this group is unique up to c…

The paper solves the Dirichlet problem at infinity and defines Poisson boundaries for certain manifolds.

The author finds geodesics, shortest arcs, cut locus, and conjugate sets for left-invariant sub-Riemannian metric on the Lie group $SO_0(2,1)$ under the condition that the metric is right-invariant relative to the Lie subgroup $SO(2)\subset SO_0(2,1)$.