Conjugacy in Garside groups. II: Structure of the ultra summit set. (Q2475043): Difference between revisions

Summary: This paper is the second in a series in which the authors study the conjugacy decision problem (CDP) and the conjugacy search problem (CSP) in Garside groups. The ultra summit set \(\text{USS}(X)\) of an element \(X\) in a Garside group \(G\) is a finite set of elements in \(G\), which is a complete invariant of the conjugacy class of \(X\) in \(G\). A fundamental question, if one wishes to find bounds on the size of \(\text{USS}(X)\), is to understand its structure. In this paper we introduce two new operations on elements \(Y\in\text{USS}(X)\), called `partial cycling' and `partial twisted decycling', and prove that if \(Y,Z\in\text{USS}(X)\), then \(Y\) and \(Z\) are related by sequences of partial cyclings and partial twisted decyclings. These operations are a concrete way to understand the minimal simple elements whose existence follows from the convexity property of ultra summit sets. Using partial cycling and partial twisted decycling, we investigate the structure of a directed graph \(\Gamma_X\) determined by \(\text{USS}(X)\), and show that \(\Gamma_X\) can be decomposed into `black' and `grey' subgraphs. There are applications relating to the authors' program for finding a polynomial solution to the CDP/CSP in the case of braids, which is outlined in the first paper of this series [ibid. 1, No. 3, 221-279 (2007; Zbl 1160.20026)]. A different application is to give a new algorithm for solving the CDP/CSP in Garside groups which is faster than all other known algorithms, even though its theoretical complexity is the same as that of the established algorithm using ultra summit sets. There are also applications to the theory of reductive groups.