arXiv subjects
Publications and source records attributed to Dominik Francoeur.
We prove that the semigroup generated by a finite state Mealy automaton $\mathcal{A}=(Q,A,τ)$ is infinite if and only if there exists some right-infinite word in the alphabet $A$ with infinite orbit.
We show that every group in a large family of (not necessarily torsion) spinal groups acting on the ternary rooted tree is of subexponential growth.
We will discuss fundamental domains for actions of discrete groups on the 3-dimensional Einstein Universe. These will be bounded by crooked surfaces, which are conformal compactifications of surfaces that arise in the construction of Margulis spacetimes. We will show that there exist pairwise disjoint crooked surfaces in the 3-dimensional Einstein Universe. As an application, we can construct explicit examples of groups acting properly on an open subset of that space.