{"id":"arxiv/2609.15691","url":"https://arxiv.org/abs/2609.15691","tags":["math.AG","math.AC"],"score":0,"title":"A blowup criterion for regularity","domain":"math.AG","source":"arxiv","authors":["Pat Lank"],"reviews":0,"subject":"math.AG","summary":"We prove that a Noetherian integral domain is regular if, and only if, the derived pushforward of the structure sheaf along every blowup is a perfect complex. For suitable local rings, we give a construction which realizes a shift of the residue field as a direct summand of the derived pushforward of the structure sheaf along an explicit blowup.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-14","reactions":{}}