Mutations of noncommutative crepant resolutions in geometric invariant theory

Let X be a generic quasi-symmetric representation of a connected reductive group G. The GIT quotient stack X=[Xss(& ell;)/G]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {X}=[X<^>\text {ss}(\ell )/G]$$\end{document} with respect to a generic & ell;\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\ell $$\end{document} is a (stacky) crepant resolution of the affine quotient X/G, and it is derived equivalent to a noncommutative crepant resolution (=NCCR) of X/G. Halpern-Leistner and Sam showed that the derived category Db(cohX)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\textrm{D}}<^>{\textrm{b}}}({\text {coh}}\mathfrak {X})$$\end{document} is equivalent to certain subcategories of Db(coh[X/G])\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\textrm{D}}<^>{\textrm{b}}}({\text {coh}}[X/G])$$\end{document}, which are called magic windows. This paper studies equivalences between magic windows that correspond to wall-crossings in a hyperplane arrangement in terms of NCCRs. We show that those equivalences coincide with derived equivalences between NCCRs induced by tilting modules, and that those tilting modules are obtained by certain operations of modules, which is called exchanges of modules. When G is a torus, it turns out that the exchanges are nothing but iterated Iyama-Wemyss mutations. Although we mainly discuss resolutions of affine varieties, our theorems also yield a result for projective Calabi-Yau varieties. Using techniques from the theory of noncommutative matrix factorizations, we show that Iyama-Wemyss mutations induce a group action of the fundamental group pi 1(P1\{0,1,infinity})\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\pi _1(\mathbb {P}<^>1\,\backslash \{0,1,\infty \})$$\end{document} on the derived category of a Calabi-Yau complete intersection in a weighted projective space.