Related papers: Generating the Goeritz group of $S^3$
We construct a family of finitely generated infinite periodic groups. The basic example is a 2-group, called the tetrahedron group. We generalize the construction by suggesting a family of infinite finitely generated dice groups. We provide…
We give a necessary and sufficient condition for the fundamental group of the space of Heegaard splittings of an irreducible $3$-manifold to be finitely generated. The condition is exactly the conclusion of the thick isotopy lemma proved by…
We prove that if the distance of a bridge decomposition of a link with respect to a Heegaard splitting of a $3$-manifold is at least $6$, then the Goeritz group is a finite group.
An n-dimensional Bieberbach group is the fundamental group of a closed flat $n$-dimensional manifold. K. Dekimpe and P. Penninckx conjectured that an n-dimensional Bieberbach group can be generated by n elements. In this paper, we show that…
The Heegaard genus g of an irreducible closed orientable 3-manifold puts a limit on the number and complexity of the pieces that arise in the Jaco-Shalen-Johannson decomposition of the manifold by its canonical tori. For example, if p of…
In the 1950s, H. S. M. Coxeter considered the quotients of braid groups given by adding the relation that all half Dehn twist generators have some fixed, finite order. He found a remarkable formula for the order of these groups in terms of…
A group is properly 3-realizable if it is the fundamental group of a compact polyhedron whose universal covering is proper homotopically equivalent to some 3-manifold. We prove that when such a group is also quasi-simply filtered then it…
A subset of a group invariably generates the group if it generates even when we replace the elements by any of their conjugates. In a 2016 paper, Pemantle, Peres and Rivin show that the probability that four randomly selected elements…
Let $G$ be a finite almost simple group. It is well known that $G$ can be generated by 3 elements, and in previous work we showed that 6 generators suffice for all maximal subgroups of $G$. In this paper we consider subgroups at the next…
For a bridge decomposition of a link in the $3$-sphere, we define the Goeritz group to be the group of isotopy classes of orientation-preserving homeomorphisms of the $3$-sphere that preserve each of the bridge sphere and link setwise.…
Moufang loops are one of the best-known generalizations of groups. There is only one countable family of nonassociative finite simple Moufang loops, arising from the split octonion algebras. We prove that every member of this family is…
Uhlenbeck proved that a set of simple elements generates the group of rational loops in GL(n,C) that satisfy the U(n)-reality condition. For an arbitrary complex reductive group, a choice of representation defines a notion of rationality…
We give a proof of the so-called generalized Waldhausen conjecture, which says that an orientable irreducible atoroidal 3-manifold has only finitely many Heegaard splittings in each genus, up to isotopy. Jaco and Rubinstein have announced a…
As defined by Guralnick and Saxl given a nonabelian simple group $S$ and its nonidentity automorphism $x$, a natural number $\alpha_S(x)$ does not exceed a natural number $m$ if some $m$ conjugates of $x$ in the group $\langle x,S\rangle$…
We extend the notion of proper elements to all Coxeter groups. For all infinite families of finite Coxeter groups we prove that the probability a random element is proper goes to zero in the limit. This proves a conjecture of the third…
In 1992 Thomas Bier presented a strikingly simple method to produce a huge number of simplicial (n-2)-spheres on 2n vertices as deleted joins of a simplicial complex on n vertices with its combinatorial Alexander dual. Here we interpret his…
We give an algorithmic proof of the theorem that a closed orientable irreducible and atoroidal 3-manifold has only finitely many Heegaard splittings in each genus, up to isotopy. The proof gives an algorithm to determine the Heegaard genus…
A nontrivial element in a group is a generalized torsion element if some nonempty finite product of its conjugates is the identity. We prove that any generalized torsion element in a free product of torsion-free groups is conjugate to a…
We describe all groups that can be generated by two twists along spherical sequences in an enhanced triangulated category. It will be shown that with one exception such a group is isomorphic to an abelian group generated by not more than…
In this paper, we count factorizations of Coxeter elements in well-generated complex reflection groups into products of reflections. We obtain a simple product formula for the exponential generating function of such factorizations, which is…