Resolution of indeterminacy of rational maps to proper tame stacks

TL;DR

This paper proves the resolution of indeterminacy for rational maps from regular surfaces and higher-dimensional schemes to tame stacks, utilizing valuation criteria, resolution of singularities, and root stack constructions.

Contribution

It extends existing resolution results to higher dimensions and provides a Purity Lemma for tame stacks, generalizing prior work.

Findings

Resolution of indeterminacy for rational maps to tame stacks

Extension of results to higher-dimensional schemes over characteristic zero fields

Introduction of a Purity Lemma for higher-dimensional tame stacks

Abstract

We show the resolution of indeterminacy of rational maps from a regular surface to a tame stack locally of finite type over an excellent scheme. The proof uses the valuative criterion for proper tame morphisms, which was proved by Bresciani and Vistoli, together with the resolution of singularities for excellent surfaces and the root stack construction. Using Hironaka's results on the resolution of singularities over fields of characteristic zero, we extend the result to rational maps from a regular scheme of arbitrary dimension to a tame stack locally of finite type over a field of characteristic zero. We also provide a Purity Lemma for higher dimensional tame stacks, generalizing results of Abramovich, Olsson, and Vistoli, which also plays an essential role in the proof.