Subsubsection [04UT]
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
(2.2.1) A -model of is a normal proper -model of such that is a -pair. This means that is log canonical and that each log canonical center of has non-empty intersection with . In particular, every proper -model of is a -model. An equivalent formulation of the definition is the following: is -Cartier, and for every log resolution of and every irreducible component of , the multiplicity of in the log pullback of to is at most . Moreover, if it is equal to , then must have non-empty intersection with . In practice, we will apply the property via Lemma 3.2.3 below.