Lifting weighted blow-ups (Q1725567)

The paper under review considers the problem of lifting a weighted blow-up from a divisor to the ambient space. Here we always consider \(f:X\to Z\) is a projective birational morphism between \(\mathbb{Q}\)-factorial normal varieties where \(Z\) is affine such that \(f\) contracts exactly one prime divisor to a point \(P\). The main theorem says that if \(\dim X\geq 4\) and there exists an \(f\)-ample Cartier divisor \(Y\) on \(X\) such that \(f|_Y\) is a weighted blow-up, then \(f\) is also a weighted blow-up, where the weights can be determined by those of \(f|_Y\) and the ratio of \(Y\) to the exceptional divisor under \(f\)-linear equivalence. As a corollary, if \(X\) has terminal singularities and \(\dim X=n\geq 3\), assuming that there exists an \(f\)-ample Cartier divisor \(L\) on \(X\) such that \(-(K_X+(n-3)L)\) is \(f\)-ample, then \(P\) has a hyperquotient singularity. Moreover, if assuming that all divisorial contractions to a point for MMP in dimension 3 are weighted blow-ups, then \(f\) is a weighted blow-up.