{"id":"arxiv/2604.16277","url":"https://arxiv.org/abs/2604.16277","tags":["math.AG"],"score":0,"title":"All Quiet on the Exceptional Locus","domain":"math.AG","source":"arxiv","authors":["Ari Krishna"],"reviews":0,"subject":"math.AG","summary":"We study admissible subcategories of the bounded derived category of a smooth projective surface that are supported on the exceptional locus of a birational morphism. We prove that if $f:X\\to Y$ is a birational morphism of smooth projective surfaces, then every admissible subcategory of $D^b(X)$ supported on $\\operatorname{Exc}(f)$ is generated by a finite exceptional collection. Moreover, if $K_Y$ is nef, then the same conclusion holds for every admissible subcategory of $D^b(X)$ supported on a proper closed subset of $X$. As a consequence, no nonzero phantom or quasi-phantom subcategory on…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-17","reactions":{}}