Proof. [04W2]
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
Proof.
As we mentioned above, this result is essentially contained in [KK10, Ko11]. Using the terminology there, properties (1)-(3) of a pseudo-manifold all follow from the fact that two minimal log canonical centers of a log crepant structure are -linked in the sense of Definition 9 in [Ko11]. We will now explain this in more detail. We denote by the relative dimension of over .
By Theorem 2.2.6(1), there exists a a good minimal -model of over . By Theorem 3.3.4, we have . As a triangulation on , we take the first barycentric subdivision of the simplicial structure on . This barycentric subdivision is necessary to guarantee that the intersection of two faces is a codimension one face of both, rather than a union of faces (think of a type degeneration of elliptic curves, whose skeleton consists of two vertices joined by two edges).
We choose an integer such that . Since the divisor is semi-ample over and trivial over , we see that must be a multiple of and thus trivial over . Thus we can apply Theorem 10 in [Ko11] to the -pair over . It states that every two minimal log canonical centers and of are -linked. This means, in particular, that they have the same dimension, say , and that there exist a sequence of -dimensional log canonical centers and a sequence of -dimensional log canonical centers such that for . In this way, we obtain properties (1) and (3) of a pseudo-manifold with boundary.
If we have two minimal log canonical centers of , contained in an -dimensional log canonical center , and if we write
for some , then is again a -pair [Ko13, 4.19]. Moreover, cannot intersect or because the intersection would be a union of log canonical centers of , which contradicts the minimality of . Thus we are in the situation of the second part of the proof of Theorem 10 in [Ko11]. That proof shows that and are the only log canonical centers of . Property (2) follows. โ