English

Mutations of noncommutative crepant resolutions in geometric invariant theory

Algebraic Geometry 2024-04-26 v2 Representation Theory

Abstract

Let XX be a generic quasi-symmetric representation of a connected reductive group GG. The GIT quotient stack X=[Xss()/G]\mathfrak{X}=[X^{\rm ss}(\ell)/G] with respect to a generic \ell is a (stacky) crepant resolution of the affine quotient X/GX/G, and it is derived equivalent to a noncommutative crepant resolution (=NCCR) of X/GX/G. Halpern-Leistner and Sam showed that the derived category Db(coh X)\mathrm{D}^b(\mathrm{coh}~\mathfrak{X}) is equivalent to certain subcategories of Db(coh [X/G])\mathrm{D}^b(\mathrm{coh}~[X/G]), 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 GG 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 π1(P1\{0,1,})\pi_1(\mathbb{P}^1 \backslash\{0,1,\infty\}) on the derived category of a Calabi-Yau complete intersection in a weighted projective space.

Keywords

Cite

@article{arxiv.2310.11057,
  title  = {Mutations of noncommutative crepant resolutions in geometric invariant theory},
  author = {Wahei Hara and Yuki Hirano},
  journal= {arXiv preprint arXiv:2310.11057},
  year   = {2024}
}

Comments

41 pages, 3 figures, to appear in Selecta Mathematica