Title:A Garside-theoretic approach to the reducibility problem in braid groups

Abstract: Let $D_n$ denote the $n$-punctured disk in the complex plane, where the punctures are on the real axis. An $n$-braid is said to be \emph{reducible} if $\alpha*\C=\C$ for some essential curve system $\C$ in $D_n$, called a \emph{reduction system} of $\alpha$, where $\alpha*\C$ denotes the action of the $n$-braid $\alpha$ on the curve system $\C$. We define a curve system $\C$ to be \emph{standard} if each of its components is isotopic to a round circle centered at the real axis. For an essential curve system $\C$ in $D_n$, we define the \emph{standardizer} of $\C$ as $\St(\C)=\{P\in B_n^+:P*\C\mbox{is standard}\}$. We first show that $\St(\C)$ is a sublattice of $B_n^+$ for any essential curve system $\C$. In particular, there exists a unique minimal element in $\St(\C)$. Exploiting standardizers together with canonical reduction systems of reducible braids and ultra summit sets of braid conjugacy classes, we show that for most reducible braids (including split braids), finding a reduction system is as easy as finding one element of the ultra summit set.