Applying [MN13, 3.1.7] to the proper morphism , we see that
is contained in . Moreover, it follows from
Lemma 3.2.3 that for every point of , the reduction
must be contained in
.
Now let be any point in such that lies in .
We must show that if and only if lies in , or, equivalently, is equal to its projection
|
|
|
to the skeleton of . Let be a local generator of at .
It induces a rational section of the canonical bundle
by base change.
By
[MN13, 4.4.5], we know that if and only if
|
|
|
Since
the divisor of is zero in a neighbourhood of
, we have
|
|
|
On the other hand, computing on the model we get
|
|
|
Thus we see that .
โ