makeSmooth X
Every normal toric variety has a resolution of singularities given by another normal toric variety. Given a normal toric variety $X$ this method makes a new smooth toric variety $Y$ which has a proper birational map to $X$. The normal toric variety $Y$ is obtained from $X$ by repeatedly blowing up appropriate torus orbit closures (if necessary the makeSimplicial method is also used with the specified strategy). A minimal number of blow-ups are used.
As a simple example, we can resolve a simplicial affine singularity.
|
|
|
|
|
|
There is one additional rays, so only one toricBlowup was needed.
To resolve the singularities of this simplicial projective fourfold, we need eleven toricBlowups.
|
|
|
|
|
|
If the initial toric variety is smooth, then this method simply returns it.
|
|
|
|
In the next example, we resolve the singularities of a non-simplicial projective threefold.
|
|
|
|
|
We also demonstrate this method on a complete simplicial non-projective threefold.
|
|
|
|
|
|
We end with a degenerate example.
|
|
|
|
|
A singular normal toric variety almost never has a unique minimal resolution. This method returns only of one of the many minimal resolutions.