arXiv research

New proof shows smallest non-cyclic automorphism group quotients are linear 2-groups.

Study improves Simpson's estimate for cyclic harmonic bundles.

Automorphisms of free groups yield invariant posets of lamination orbits.

Study connects group invariants through outer automorphisms and polynomial relations.

We prove that any isometry of the graph of cyclic splittings of a finitely generated free group $F_N$ of rank $N\ge 3$ is induced by an outer automorphism of $F_N$. The same statement also applies to the graphs of maximally-cyclic splittings, and of very small splittings.

Automorphism groups of infinitely-ended groups are acylindrically hyperbolic.

Proves conjecture for hyperbolic-by-cyclic groups using geometric methods.

We determine explicitly the structure of the automorphism group of a parabolic Inoue surface. We also describe the quotients of the surface by typical cyclic subgroups of the automorphism group.

Macbeath gave a formula for the number of fixed points for each non-identity element of a cyclic group of automorphisms of a compact Riemann surface in terms of the universal covering transformation group of the cyclic group. We observe that this formula generalizes to determine the fixed-point set of each non-identity…

We discuss the possibility of lifting finite subgroups, and in particular finite cyclic subgroups, with respect to the canonical projections between automorphism and outer automorphism groups of free groups, surface groups and their abelianizations.

Let $φ\in \mbox{Out}(F_n)$ be a free group outer automorphism that can be represented by an expanding, irreducible train-track map. The automorphism $φ$ determines a free-by-cyclic group $Γ=F_n \rtimes_φ\mathbb Z,$ and a homomorphism $α\in H^1(Γ; \mathbb Z)$. By work of Neumann, Bieri-Neumann-Strebel and Dowdall-Kapovi…

We define a new complex on which $Out(F_n)$ acts by simplicial automorphisms, the cyclic splitting complex of $F_n$, and show that it is hyperbolic using a method developed by Kapovich and Rafi.

The paper expands Dunwoody's classification of graphs to include all graphs satisfying the first five conditions.

Outer automorphism groups of Coxeter groups are trivial except for small ranks.

We let $\varphi$ be an ageometric fully irreducible outer automorphism so that its Handel-Mosher axis bundle consists of a single unique axis. We show that the centralizer $Cen(\langle\varphi\rangle)$ of the cyclic subgroup generated by $\varphi$ equals the stabilizer $\text{Stab}(Λ^+_\varphi)$ of the attracting lamina…

A nonpolycyclic nilpotent-by-cyclic group Gamma can be expressed as the HNN extension of a finitely-generated nilpotent group N. The first main result is that quasi-isometric nilpotent-by-cyclic groups are HNN extensions of quasi-isometric nilpotent groups. The nonsurjective injection defining such an extension induces…

Study on Hausdorff dimension of lamination endpoints for fully irreducible automorphisms.

We consider a family of 2-step nilpotent Lie algebras associated to uniform complete graphs on odd number of vertices. We prove that the symmetry group of such a graph is the holomorph of the additive cyclic group $\Z_n$. Moreover, we prove that the (Lie) automorphism group of the corresponding nilpotent Lie algebra co…

We borrow a classical construction from the study of rational billiards in dynamical systems known as the "unfolding construction" and show that it can be used to study the automorphism group of a Platonic surface. More precisely, the monodromy group, or deck group in this case, associated to the cover of a regular pol…

We find polynomial-time solutions to the word problem for free-by-cyclic groups, the word problem for automorphism groups of free groups, and the membership problem for the handlebody subgroup of the mapping class group. All of these results follow from observing that automorphisms of the free group strongly resemble s…

Outer automorphisms of free products are represented by CTs.

We define an integer-valued invariant of special cube complexes called the genus, and prove that having genus one characterizes special cube complexes with abelian fundamental group. Using the genus, we obtain a new proof that the fundamental group of a special cube complex is either free abelian or surjects onto a non…

We study automorphisms of a relatively hyperbolic group G. When G is one-ended, we describe Out(G) using a preferred JSJ tree over subgroups that are virtually cyclic or parabolic. In particular, when G is toral relatively hyperbolic, Out(G) is virtually built out of mapping class groups and subgroups of GL_n(Z) fixing…

In combinatorial topology we aim to triangulate manifolds such that their topological properties are reflected in the combinatorial structure of their description. Here, we give a combinatorial criterion on when exactly triangulations of 3-manifolds with transitive cyclic symmetry can be generalised to an infinite fami…

Cyclohedra are a well-known infinite familiy of finite-dimensional polytopes that can be constructed from centrally symmetric triangulations of even-sided polygons. In this article we introduce an infinite-dimensional analogue and prove that the group of symmetries of our construction is a semidirect product of a degre…

The paper calculates cohomology of complex manifolds with cyclic group actions.

Study the boundary of Riemann surfaces with abelian automorphisms.

The study enumerates virtual quandles up to isomorphism.

We prove that all atoroidal automorphisms of $Out(F_N)$ act on the space of projectivized geodesic currents with generalized north-south dynamics. As an application, we produce new examples of non virtually cyclic, free and purely atoroidal subgroups of $Out(F_N)$ such that the corresponding free group extension is hyp…

We prove that Whitehead's algorithm for solving the automorphism problem in a fixed free group $F_k$ has strongly linear time generic-case complexity. This is done by showing that the ``hard'' part of the algorithm terminates in linear time on an exponentially generic set of input pairs. We then apply these results to …

Consider a group G and a family $\mathcal{A}$ of subgroups of G. We say that vertex finiteness holds for splittings of G over $\mathcal{A}$ if, up to isomorphism, there are only finitely many possibilities for vertex stabilizers of minimal G-trees with edge stabilizers in $\mathcal{A}$. We show vertex finiteness when G…

Let $φ$ be an atoroidal outer automorphism of the free group $F_n$. We study the Gromov boundary of the hyperbolic group $G_φ = F_n \rtimes_φ \mathbb{Z}$. We explicitly describe a family of embeddings of the complete bipartite graph $K_{3,3}$ into $\partial G_φ$. To do so, we define the directional Whitehead graph and …

The study explores automorphisms and centralizers in free group outer automorphisms.

We describe a construction of Schottky type subgroups of automorphism groups of partially cyclically ordered sets. We apply this construction to the Shilov boundary of a Hermitian symmetric space and show that in this setting Schottky subgroups correspond to maximal representations of fundamental groups of surfaces wit…

Study shows non-cyclic groups of diffeomorphisms can't act on certain 3-manifolds.

Let X be a closed oriented Riemann surface of genus > 1 of constant negative curvature -1. A surface containing a disk of maximal radius is an optimal surface. This paper gives exact formulae for the number of optimal surfaces of genus > 3 up to orientation-preserving isometry. We show that the automorphism group of su…

Free group automorphisms group rigidity proven.

Consider the moduli space $\mathcal{M}_{g}$ of Riemann surfaces of genus $g\geq 2$ and its Deligne-Munford compactification $\bar{\mathcal{M}_{g}}$. We are interested in the branch locus ${\mathcal{B}_{g}}$ for $g>2$, i.e., the subset of $\mathcal{M}_{g}$ consisting of surfaces with automorphisms. It is well-known that…

We consider a smooth groupoid of the form Σ\rtimesΓwhere Σis a Riemann surface and Γa discrete pseudogroup acting on Σby local conformal diffeomorphisms. After defining a K-cycle on the crossed product C_0(Σ)\rtimesΓgeneralising the classical Dolbeault complex, we compute its Chern character in cyclic cohomology, using…

The paper studies the action of automorphisms on train tracks and finds that the set of minimally displaced points is co-compact.

This paper uses Brin and Thickstun's theory of end reductions of non-compact 3-manifolds to study groups of covering translations of irreducible contractible open 3-manifolds W which are not homeomorphic to R^3. We associate to W an object S(W) called the simplicial complex of minimal R^2-irreducible end reductions of …

Let $\text{Mod}(S_g)$ denote the mapping class group of the closed orientable surface $S_g$ of genus $g\geq 2$, and let $f\in \text{Mod}(S_g)$ be of finite order. We give an inductive procedure to construct an explicit hyperbolic structure on $S_g$ that realizes $f$ as an isometry. In other words, this procedure yield…

The article explores symmetric maps on surfaces, focusing on semi-equivelar maps.

Fatgraphs are multigraphs enriched with a cyclic order of the edges incident to a vertex. This paper presents algorithms to: (1) generate the set of all fatgraphs having a given genus and number of boundary cycles; (2) compute automorphisms of any given fatgraph; (3) compute the homology of the fatgraph complex. The al…

Gordon and Wilton recently proved that the double D of a free group F amalgamated along a cyclic subgroup C of F contains a surface group if a generator w of C satisfies a certain 3-manifold theoretic condition, called virtually geometricity. Wilton and the author defined the polygonality of w which also guarantees the…

The paper classifies Toda equations for noncompact symmetric spaces and their solutions.

Let T be a tree with an action of a finitely generated group G. Given a suitable equivalence relation on the set of edge stabilizers of T (such as commensurability, co-elementarity in a relatively hyperbolic group, or commutation in a commutative transitive group), we define a tree of cylinders T_c. This tree only depe…

The paper studies holomorphic curves in a pseudo-Riemannian space and their moduli space.