Algorithmic resolution via weighted blowings up

Abstract

In this paper we describe a computer implementation of Abramovich, Temkin, and Wlodarczyk's algorithm for resolving singularities in characteristic zero. Their "weighted resolution" algorithm proceeds by repeatedly blowing up along centers that are independent of the history of the past blowing ups, distinguishing weighted resolution from previous resolution algorithms, which all rely on history. We compare our implementation of weighted resolution with that of Villamayor's resolution algorithm, experimentally verifying that weighted resolution is remarkably efficient.

Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.