Indexed metadata

A blowup criterion for regularity

Pat Lank

Source record

Source: arXiv

Published: Sep 14, 2026

arXiv: 2609.15691

Open original source ↗

Source abstract

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.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.