Noncommutative resolution of $SU_C(2)$

TL;DR

This paper investigates a noncommutative resolution of the singular moduli space of rank 2 vector bundles with trivial determinant on a curve, revealing a semiorthogonal decomposition linked to symmetric powers of the curve.

Contribution

It constructs a semiorthogonal decomposition of the noncommutative resolution into derived categories of symmetric powers, extending previous work to the case of trivial determinant.

Findings

Decomposition into symmetric powers $Sym^{2k}C$ for $2k\, extleq g-1$.

In even genus, each component appears four times.

In odd genus, the top symmetric power appears twice.

Abstract

We study the derived category of the moduli space $SU_C(2)$ of rank $2$ vector bundles on a smooth projective curve $C$ of genus $g\ge 2$ with trivial determinant. This generalizes the recent work by Tevelev and Torres on the case with fixed odd determinant. Since $SU_C(2)$ is singular, we work with its resolution of singularities, specifically with the noncommutative resolution constructed by P\u{a}durariu and \v{S}penko--Van den Bergh (in the more general setting of symmetric stacks). We show that this noncommutative resolution admits a semiorthogonal decomposition into derived categories of symmetric powers $Sym^{2k}C$ for $2k\le g-1$. In the case of even genus, each block appears four times. This is also true in the case of odd genus, except that the top symmetric power $Sym^{g-1}C$ appears twice. In the case of even genus, the noncommutative resolution is strongly crepant in the sense of Kuznetsov and categorifies the intersection cohomology of $SU_C(2)$. Since all of its components are "geometric," our semiorthogonal decomposition provides evidence for the expectation, which dates back to the work of Newstead and Tyurin, that $SU_C(2)$ is a rational variety. Finally, we study mutations of semiorthogonal decompositions on the Hecke correspondence, answering a question of P\u{a}durariu and Toda.