Date: Fri, 19 Jul 2024 | Total: 5

In this paper we study actions of finite groups on closed connected aspherical manifolds. Under some assumptions on the outer automorphism group of the fundamental group of a closed connected aspherical manifold $M$, we prove that the homeomorphism group of $M$ is Jordan, we bound the discrete degree of symmetry of $M$ and obtain a rigidity result, and we study the number of stabilizers of finite group actions on $M$. Thereafter, we show that closed connected aspherical locally homogeneous spaces $H\setminus G/\Gamma$ satisfy the necessary hypothesis on the outer automorphism group of the fundamental group.

Given $f: M \to N$ a homotopy equivalence of compact manifolds with boundary, we use a construction of Geoghegan and Nicas to define its Reidemeister trace $[T] \in \pi_1^{st}(\mathcal{L} N, N)$. We realize the Goresky-Hingston coproduct as a map of spectra, and show that the failure of $f$ to entwine the spectral coproducts can be characterized by Chas-Sullivan multiplication with $[T]$. In particular, when $f$ is a simple homotopy equivalence, the spectral coproducts of $M$ and $N$ agree.

Given a weighted, undirected graph $G$ cellularly embedded on a topological surface $S$, we describe algorithms to compute the second shortest and third shortest closed walks of $G$ that are homotopically non-trivial in $S$. Our algorithms run in $O(n^2\log n)$ time for the second shortest walk and in $O(n^3)$ time for the third shortest walk. We also show how to reduce the running time for the second shortest homotopically non-trivial closed walk to $O(n\log n)$ when both the genus and the number of boundaries are fixed. Our algorithms rely on a careful analysis of the configurations of the first three shortest homotopically non-trivial curves in $S$. As an intermediate step, we also describe how to compute a shortest essential arc between \emph{one} pair of vertices or between \emph{all} pairs of vertices of a given boundary component of $S$ in $O(n^2)$ time or $O(n^3)$ time, respectively.

Given a connected, locally finite, quasi-transitive graph $X$ which is quasi-isometric to a planar graph $\Gamma$, we remark that one can upgrade $\Gamma$ to be a planar Cayley graph, answering a question raised by Esperet--Giocanti and Hamann.

We consider the random right-angled Coxeter group whose presentation graph is an Erdos-Renyi random graph on n vertices with edge probability p=p(n). We establish that p=1/\sqrt{n} is a threshold for relative hyperbolicity of the random right-angled Coxeter group . As a key step in the proof, we determine the minimal number of pairs of generators that must commute in a right-angled Coxeter group which is not relatively hyperbolic, a result which is of independent interest.