We prove M\"uhlherr's Twist Conjecture: any two angle-compatible Coxeter generating sets of a Coxeter group differ by a finite sequence of elementary twists and a conjugation. Combined with earlier work of Howlett-M\"uhlherr and Marquis-M\"uhlherr, this completes the resolution of the Isomorphism Problem for Coxeter groups. A further consequence is that ${\rm Aut}(W)$ is finitely generated for every Coxeter group $W$, and there is an algorithm producing a finite set of generators for ${\rm Aut}(W)$ starting from any Coxeter matrix. Of the vast literature on the Twist Conjecture, we utilise only two results in an essential way: strong rigidity of $2$--spherical Coxeter systems, due to Caprace and M\"uhlherr, and the framework of markings and hierarchies developed by Caprace and Przytycki for the twist-rigid case. We also exploit in a fundamental way some soft ideas from JSJ theory and an observation of Mihalik-Tschantz on splittings of Coxeter groups. No form of AI was used in the writing of this manuscript, nor in the research that it presents.
Let $G$ be a torsion-free one-ended hyperbolic group and let $\phi\in\operatorname{Aut} (G)$. We prove that the mapping torus, or suspension, $$ M:=G_{\phi}=G\rtimes_\phi \mathbb{Z} $$ has solvable conjugacy problem. This builds on the pioneering work of Pr\'eaux who solved the conjugacy problem for all (geometrisable)...
Let \(A\) be a finite-dimensional quantum complete intersection over an arbitrary field. We prove that a finite-dimensional left \(A\)-module \(M\) is projective whenever \(\Ext_A^1(M,M)=\Ext_A^2(M,M)=0\), with no restriction on the multiplicative orders of the commutation parameters. Consequently, \(A\) satisfies the...
We unify two matching theories, one for finite subsets of groups and the other for finite-dimensional subspaces in a field extension. To achieve this, we study groups equipped with a compatible finitary matroid structure, termed here independence groups. Applying Rado's independent transversal theorem, we derive necess...
Let $G$ be a simple, simply connected algebraic group scheme defined over $\mathbb{F}_{p}$, and let $G_{r}$ be the $r$th Frobenius kernel. Donkin's famous Tilting Module Conjecture purports that a given indecomposable injective $G_{r}$-module can be realized as the restriction of a specific tilting module. The conjectu...
C. Bendel, Daniel K. Nakano, C. Pillen et al.· 0 citations
In this paper, we address the following question: if a flat torus $\mathbb{T}^n$ is isometrically and minimally embedded into a sphere $\mathbb{S}^N$, must its translation group extend to the isometry group of the ambient sphere? As shown by Robert Bryant, for $n=2$ the answer is positive. Furthermore, while Ying Lu, P...
We introduce the tame \'etale fundamental group $\pi_1^t(X/K)$ of a rigid space X over a non-archimedean field K. We show that if X is qcqs and K has topologically finitely generated tame Galois group (e.g. algebraically closed or a local field), then $\pi_1^t(X/K)$ is topologically finitely generated. If X is moreover...
Piotr Achinger, Katharina Hübner, Marcin Lara et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
