ScalingStacks

Definition 2 [029K]

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

Definition 2

Let π’₯βŠ‚π’ͺX{\cal J}\subset{\cal O}_{X} be a coherent ideal sheaf over a compact complex manifold.
A) A modification of XX is a bimeromorphic morphism ΞΌ:X~β†’X\mu:\tilde{X}\rightarrow X of compact complex manifolds with connected fibers.
B) A log resolution of the sheaf π’₯{\cal J} is a modification ΞΌ:X~β†’X\mu:\tilde{X}\rightarrow X such that ΞΌβˆ—β€‹π’₯=π’ͺ⁑(βˆ’D)\mu^{*}{\cal J}={\cal O}(-D), with DD an effective divisor with normal crossing and such that the restriction X~βˆ–|D|β†’Xβˆ–V⁑(π’₯)\tilde{X}\smallsetminus|D|\rightarrow X\smallsetminus V({\cal J}) is a biholomorphism.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.