4.2 Local resolution [04Q4]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context Β· Original author HTML
4.2 Local resolution
We consider a point in ; the singular points in the other strata curves can be treated analogously. Γtale locally around such a point, is isomorphic to the toric variety , where
are the components of the special fiber in . We still denote these by and ; they form the toric boundary of together with
The pair is log canonical by [CLS11, Proposition 11.4.24].
We denote the strata surfaces of the special fiber by , for and , and the stratum curve by . The singular locus consists of the torus invariant curves
which intersect each other at the torus invariant point .
Special fiber of and a slice of the fan of the toric variety
The toric blow-up along resolves the singularities along and except at the point . The exceptional locus of consists of two surfaces and intersecting each other along a curve: these surfaces are mapped by to the respective singular curves, are contained in the strict transform of , and correspond to two new edges in the slice of the fan of . The intersection of and corresponds to a new -dimensional face in the slice of the fan. With a slight abuse of notation we keep the same notation for the strict transforms in .
A resolution of is given by the composition of and the toric blow-up along ; the latter indeed resolves the singularities along . The exceptional locus of is a surface , which is mapped by to and is contained in the strict transform of . The morphism induces a new -dimensional face in the slice of the fan of , and a new edge corresponding to the surface . In particular, after the blow-up , the strict transforms of the surface and of the divisor have empty intersection.
Slices of the fan of , and
The small resolution of induces an isomorphism on the strict transform of and of , while its restriction to the strict transform of is the blow-up of along a general point. These facts can be checked computing the charts of the blow-ups and . Alternatively, they can be verified looking at the fans of the strata surfaces in the slice of the fans of , and ; indeed, the fan of is induced by the intersection of the slice with a normal plane to the edge corresponding to .