An introduction to real oriented blowups in toric, toroidal and logarithmic geometries

TL;DR

This paper introduces the concept of real oriented blowups in toric, toroidal, and logarithmic geometries, highlighting their applications in singularity theory and providing foundational explanations of related structures.

Contribution

It presents a comprehensive introduction to real oriented blowups and their applications in singularity theory, including new insights into their functorial properties and local triviality results.

Findings

Canonical representatives of links of singularities are obtained.

Real oriented blowups produce topological manifolds with boundary.

The local triviality of certain log morphisms is established.

Abstract

This text is an introduction to the applications of rounding of complex log spaces (also known as Kato-Nakayama or Betti realization) to singularity theory. Log spaces in the sense of Fontaine and Illusie were first described in print by Kato, in a 1988 paper. Rounding of complex log spaces was introduced in a 1999 paper by Kato and Nakayama and is a functorial generalization of A'Campo's 1975 notion of a real oriented blowup. It allows to cut canonically any complex toroidal variety $X$ along its toroidal boundary $\partial X$, producing a topological manifold-with-boundary, whose boundary is a canonical representative of the boundary of any tubular neighborhood of $\partial X$ in $X$. In singularity theory, roundings may be used to get canonical representatives of links of isolated complex analytic singularities and of Milnor fibers of smoothings of complex singularities, once toroidal resolutions of the singularity or of the smoothing are chosen. The text starts with introductions to not necessarily normal toric varieties, it passes then to toroidal varieties and to their real oriented blowups. It continues with introductions to log spaces and to rounding of complex log spaces. It concludes with an important theorem of Nakayama and Ogus about the local triviality of the rounding of special types of log morphisms. The notions of affine toric variety, real oriented blowup, log structure and rounding are introduced by means of the classical passage to polar coordinates.