Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Let be an snc model,
a non-empty subset and
a smooth irreducible variety
of dimension less or equal than . Let us assume that
intersects transversally (in )
all subvarieties of
(for ),
and that all intersections are
either empty or irreducible.
It is obvious that the blow-up of
with the center at is again a snc model.
Definition 22
For a pair of snc models as above
we say that is obtained from
by a simple blow-up.
If we say that we have a
simple blow-up of the first type.
Otherwise (when ),
we have a simple blow-up of the second type.
Let us describe the behavior of under simple blow-ups.
To the set of vertices we add a
new vertex corresponding to the divisor
obtained from :
The degree of the new divisor is
(for both the first and the second type)
For blow-ups of the first type
we have automatically .
Here is the list of faces of :
1) for ;
2) for ;
3) the vertex .
For blow-ups of the second type the list of faces
of is
1) for ;
2) for ;
3) the vertex .
On can deduce from results [AKMW] the following
Theorem 9
(Weak factorization) Assume that .
Then for any two snc models
there exists a finite
alternating sequence
of simple blow-ups
Corollary 3
Simple homotopy type of
does not depend on the choice of a snc
model .