On the divisorial contractions to curves of threefolds

Hsin-Ku Chen; Jheng-Jie Chen; Jungkai A. Chen

REVIEW 3 major objections 5 minor 19 references

On the divisorial contractions to curves of threefolds

T0 review · 3 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Every divisorial contraction to a curve in a terminal threefold is a weighted blow-up.

desk verdict A genuinely new approach to classifying threefold divisorial contractions to curves, but the non-Gorenstein case of the main theorem currently rests on a Q-factoriality hypothesis that is neither stated nor shown. read the letter →

arxiv 2411.16146 v1 pith:4V566WQR submitted 2024-11-25 math.AG

Hsin-Ku Chen , Jheng-Jie Chen , Jungkai A. Chen This is my paper · ORCID

classification math.AG MSC 14E3014J3014E05

keywords divisorialcontractionsthreefoldsweightedblow-upsterminalsingularitiesminimalmodelprogramtiltingalgorithmgeneralelephantconjecturecanonicalcovers

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper aims to show that divisorial contractions to curves between terminal threefolds are not exotic: each one is, after choosing a suitable embedding of the target into an affine space or a cyclic quotient of one, simply the weighted blow-up of that embedding. The first main theorem states this for contractions to a smooth curve near a terminal singularity of Cartier index $r \ge 1$, with the weighted blow-up taken in $A^N/\mu_r$. The second theorem classifies all such weighted blow-ups when the curve is smooth, listing them in tables by the normal form of the defining equation. The authors also prove the general elephant conjecture for these contractions: a surface through the contracted curve with at worst Du Val singularities exists. The motivation is explicit understanding of the minimal model program in dimension three, where contractions to points were already classified.

What carries the argument

The machinery is the tilting algorithm for valuations. Starting from an embedding $X \subset A^4$ (or its cyclic quotient), the authors assign weights by the valuations of coordinate functions with respect to the exceptional divisor $E$, and compare the induced orthogonal valuation with $\mu_E$ restricted to $X$. Whenever the two disagree, they add a new ambient variable $y_i$ and a new weight, replacing some coordinate by a section $y_i - \kappa_i$, a process called tilting; the valuation is unchanged on the subvariety while the filtration gets strictly closer to the target. Finite generation of the relevant graded algebra (Proposition 3.4) guarantees termination after finitely many tilts. A $v$-basis of the ideal of $X$ makes the exceptional divisor computable: its irreducible components are cut out by the lowest-weight homogeneous parts of the basis, and irreducibility of this set is equivalent to the restricted valuation being an actual valuation. For the non-Gorenstein case, the canonical cover reduces the problem to a $G$-equivariant version of the same construction.

What would settle it

Exhibit a divisorial contraction to a smooth curve whose target is a terminal non-Gorenstein threefold that is not Q-factorial and check whether its exceptional valuation can be realized by the tilting construction; if no embedding and weights exist, Theorem 1.1 as stated is false. Alternatively, check any row of the classification tables by computing the weighted blow-up and testing whether the proper transform has only terminal singularities, since a single non-terminal row would break the classification.

Watch

Extended reading notes

Core claim

At the paper's core is the claim that the exceptional divisor valuation of any divisorial contraction to a curve can be reproduced by an orthogonal valuation coming from a weighted blow-up, after enlarging the ambient space. For a contraction $\varphi: Y \to X$ to a smooth curve $C$ through a terminal singularity $P$ of Cartier index $r$, the authors construct an embedding $X \subset A^N/\mu_r$ and weights $w$ such that $Y$ is isomorphic to the proper transform of $X$ under the weighted blow-up with weights $w$ (Theorem 1.1). When $C$ is smooth and $X$ is Gorenstein terminal, or when the preimage of $C$ in the canonical cover is irreducible in the non-Gorenstein case, the weighted blow-up is one of a finite list given in the tables, with ambient dimension at most 5 (Theorem 1.2). As a corollary they obtain a surface through $C$ with Du Val singularities, proving the general elephant conjecture under these hypotheses (Theorem 1.3). The proof is constructive: the tilting algorithm produces the embedding and weights by repeatedly changing coordinates and adding variables until the induced valuation matches the given one.

Load-bearing premise

The non-Gorenstein part of the main theorem is proved through a proposition that assumes the two threefolds are Q-factorial, while the theorem itself does not state this condition; if Q-factoriality is not automatically present in these contractions, the theorem as stated needs an extra assumption.

Editorial extensions

If this is right

The tables give an explicit finite list of normal forms for divisorial contractions to smooth curves in terminal threefolds, so checking terminality of the proper transform is reduced to checking algebraic conditions on the defining equation.
Every weighted blow-up in the list has ambient dimension at most 5 and an exceptional divisor whose non-Gorenstein loci are explicitly described as cyclic quotient or cA, cD, cE singularities.
The general elephant conjecture holds for all contractions covered by Theorem 1.2: some surface through the curve has at worst Du Val singularities.
Because the construction is stepwise and algebraic, it supplies a blueprint for extending the classification to singular contracted curves, a case the authors leave to later work.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The Q-factoriality assumption in Proposition 3.19 is load-bearing for the non-Gorenstein part of Theorem 1.1 but is not stated in Theorem 1.1; if Q-factoriality is not automatic for such contractions, the theorem needs an extra hypothesis or a modified proof.
The tilting algorithm suggests a computational strategy: for a given defining equation $f$, the termination step and the resulting weights can be computed symbolically, which could turn the classification into an automated check for new examples.
The same valuation-matching technique may transfer to divisorial contractions in higher dimensions or to flips, where the exceptional divisor is replaced by a birational transform; nothing in the paper claims this, but the machinery is not threefold-specific.
For singular contracted curves, irreducibility of the exceptional set fails in the current setup, so a different $v$-basis or further tilts will be needed; the paper says the algorithm does not work verbatim in that case.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Dear colleague,

Here is my read of the paper. The core is new: the tilting algorithm, which modifies embeddings and weights until the exceptional divisor of a divisorial contraction is realized as a weighted blowup, is a promising technique that goes beyond the special cases of Mori, Cutkosky, Tziolas, and Ducat. The Gorenstein case (Theorem 3.6) and the explicit algorithm in Section 5 are real work, and the classification tables are a substantial amount of computation. If the classification is right, it settles a central open problem in the explicit MMP.

The soft spot the referee will hit immediately is the gap between Theorem 1.1 and its proof. Theorem 1.1 is stated for a terminal singularity of Cartier index r≥1, without Q-factoriality. The non-Gorenstein case is dispatched in one line: “By Theorem 3.6 and Proposition 3.19.” But Proposition 3.19 assumes that Y→X is a divisorial contraction between Q-factorial terminal threefolds and that the preimage of C in the canonical cover is irreducible. Neither assumption is in Theorem 1.1, and the authors do not argue that either follows. Terminal threefold singularities are not automatically Q-factorial – the ordinary double point is the standard example – and while that example is Gorenstein, the paper itself treats analytic Q-factoriality as a nontrivial condition around the general elephant conjecture. Lemma 3.18, which produces the cover contraction, uses [Ke92, Thm 17.10] and tie-breaking, both formulated in the Q-factorial setting. So the non-Gorenstein part of Theorem 1.1 is not proved as stated. The same gap affects the non-Gorenstein rows of Theorem 1.2 and, through them, the elephant corollary.

The other soft spot is Section 6. It is full of “computation shows” statements with almost no expansion. For a classification paper that is a much heavier referee burden, but it is not by itself a fatal flaw.

The authors do state limitations in the text – they only classify smooth curves, and for non-Gorenstein points they only treat the case where the preimage of the curve in the canonical cover is irreducible (and in practice smooth). So the abstract is a bit stronger than what is actually proved.

Who is this for? Birational geometers working on the explicit MMP, especially anyone studying divisorial extractions from threefold terminal singularities. It deserves a serious referee, not a desk reject. My recommendation: send it to review, and require the authors to either prove that the contraction is automatically Q-factorial at the point or weaken Theorem 1.1 accordingly. The tilting method is likely to be useful even if the non-Gorenstein step needs an extra hypothesis.

Referee Report

3 major / 5 minor

Summary. The paper develops a valuation-theoretic 'tilting' procedure to realize divisorial contractions to curves on terminal threefolds as weighted blowups in suitable affine or quotient-ambient embeddings. Theorem 1.1 asserts such a realization for every divisorial contraction to a smooth curve near a terminal singularity of Cartier index r, with the non-Gorenstein case handled through the canonical cover. The Gorenstein case is approached via embedded orthogonal valuations, v-bases, and a finite-generation argument (Theorem 3.6), while the non-Gorenstein case is delegated to Proposition 3.19. The second half of the paper runs an explicit algorithm on cDV equations and lists normal forms in Tables 1-4, leading to Theorems 1.2 and 1.3. The main structural ideas are original and the Gorenstein realization argument has substantial content, but the non-Gorenstein branch of Theorem 1.1 currently rests on hypotheses that are not stated in the theorem, and the classification section relies heavily on unexpanded computations.

Significance. If the results hold, this is a substantial contribution to the explicit birational geometry of threefolds: it would unify and extend work of Mori, Cutkosky, Tziolas, and Ducat by showing that divisorial contractions to smooth curves are weighted blowups under suitable embeddings, and it would provide a classification table. The paper's framework of orthogonal valuations, v-bases, and tilting with finite termination is a genuinely useful technical contribution, and Proposition 3.4 on finite generation of the associated graded algebra is a real input that deserves attention in its own right. The proof in the Gorenstein case is supported by a coherent argument, and no circularity is apparent: the valuation mu_E is external data and the approximation argument is grounded in finite generation. However, the non-Gorenstein part of Theorem 1.1 is not proven as stated, and Theorem 1.2's classification is not verifiable in the current text because the decisive terminality and group-action checks are mostly asserted. The paper's ambitions are appropriate for a leading journal, but the version under review overstates what has been demonstrated.

major comments (3)

[Section 3, Proposition 3.19 and proof of Theorem 1.1] Theorem 1.1 is stated for a contraction Y -> X near a terminal singularity P in X of Cartier index r, with no Q-factoriality hypothesis and no condition on the preimage of C in the canonical cover. The proof is the one-line reference 'By Theorem 3.6 and Proposition 3.19.' Proposition 3.19, however, explicitly assumes that Y -> X is a divisorial contraction to a curve between Q-factorial terminal threefolds, and it also assumes that the preimage of C on the canonical cover is irreducible. Neither hypothesis is shown to follow from the assumptions of Theorem 1.1; in particular, terminal threefold singularities are not automatically Q-factorial, and the paper itself treats Q-factoriality as a nontrivial condition in Lemma 3.18. Therefore the non-Gorenstein case of Theorem 1.1 is not established as stated. The authors should either add the missing hypotheses to Theorem 1.1 or supply a proof that they are automatic for contractions to a smooth curve.
[Section 6, proof of Theorem 1.2] Theorem 1.2 is a classification statement, but its proof consists only of the sentence 'The classifications of divisorial contractions are summarized in the following Tables.' The case analysis preceding it repeatedly invokes assertions of the form 'Computation shows...' (for example in Cases VI-3, VI-4, VIII, IX-2 through X-4) to decide whether the constructed threefolds are terminal and whether a non-trivial group action is admissible. These checks are load-bearing: they determine which table rows correspond to genuine divisorial contractions and which are excluded. Since no computations, algorithms, or reproducible scripts are provided, a reader cannot verify the completeness or correctness of the classification. Please provide the missing computations or a verifiable supplement.
[Section 6, non-Gorenstein cases and Table 4] For Cartier index r > 1, the text says that after taking the canonical cover one 'can examine the G-compatibility of the classification of Gorenstein case' and then lists the quotient cases Q1-Q4 after 'similar computation.' This step requires checking that the defining equation is semi-invariant under the chosen cyclic action and that the quotient singularities are terminal. These checks are not carried out; moreover, the text itself illustrates the subtlety in Case VI-3, where it notes that y is invariant while x is not, so the displayed f cannot be semi-invariant. The passage from the Gorenstein table to the quotient table is therefore not demonstrated. Since Theorem 1.2's non-Gorenstein statement depends exactly on this passage, it needs a full argument rather than an appeal to 'similar computation.'

minor comments (5)

[Section 2.1, Theorem 2.2(5)] The cD/3 case is printed as a quotient by 1/2(0,1,2,2); since the case is labelled index 3, this appears to be a typo for 1/3.
[Section 2.2, Lemma 2.4] The notation 'v != e_i (resp. v != e_j^i for j = 1,2)' in Lemma 2.4 is unclear; please state explicitly which vectors are excluded.
[Section 4, Corollary 4.2] The displayed equation 'f = s3 delta s3 - p3(s1,s2)' appears garbled; clarify whether the first term should be delta * s3 or s3 * delta s3.
[Section 4, proof of Proposition 4.1] In the inductive step the text defines both r_{k+1} and q_{k+1} as r(r_k); the second definition should presumably be q(r_k).
[Throughout] There are several typos and formatting issues, e.g., 'Cur ves' in the title, 'term inal' in the abstract, and 'whcih' in Section 5; please proofread the final version.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the valuation-based realization argument is a legitimate construction; the noted Q-factoriality mismatch is a proof gap, not a circular step.

full rationale

The paper's central claim is that a given divisorial contraction Y→X to a curve can be exhibited as a weighted blowup. The proof does not assume the conclusion: the ambient embedding and weights are constructed from the exceptional valuation μ_E (Theorem 3.6 and Proposition 3.19), and the isomorphism Y ≅ weighted blowup is inferred from equality of the induced valuation with μ_E together with the tilting/finite-generation machinery. Finite generation is proved from Kawamata-Viehweg vanishing and the base-point-free theorem (Proposition 3.4), and the classification of terminal threefold singularities (Theorems 2.1 and 2.2) plus the MMP extraction [Ke92, Thm 17.10] are used as external inputs rather than the target results. No fitted parameter is renamed as a prediction, and there is no load-bearing self-citation: the cited prior classification work is by Kawamata, Hayakawa, Kawakita, Cutkosky, Tziolas, and others, not by the present authors. The one substantive concern is a hypothesis mismatch: Proposition 3.19, invoked for the non-Gorenstein case of Theorem 1.1, assumes that Y→X is a divisorial contraction between Q-factorial terminal threefolds and that the preimage of C in the canonical cover is irreducible, while Theorem 1.1 states neither hypothesis; the one-line proof 'By Theorem 3.6 and Proposition 3.19' does not justify that these hypotheses hold for all contractions covered by Theorem 1.1. This is an omitted argument or a potential overclaim, not a circular reduction, so it does not raise the circularity score.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

No free parameters are fitted to data; the weights and indices (m, k, k', α) in the classification are structural indices determined by the defining equation or by the exceptional valuation, not ad hoc numbers introduced to force a conclusion. The main external inputs are standard theorems from the MMP and the Reid-Mori classification of terminal singularities. The paper introduces no new entities such as particles or forces; its new objects ('tilting', 'v-basis') are definitions used in the proof, not postulated entities.

assumptions (7)

standard math Reid-Mori classification of threefold terminal singularities: index 1 are isolated cDV hypersurface singularities; index r>1 are quotients of cA, cAx, cD, cE hypersurfaces (Theorem 2.2).
Used throughout Section 6 to enumerate all possible local defining equations f of the germ X. This is a deep external theorem, not proven here.
standard math Kawamata-Viehweg vanishing theorem (R^1 φ_* O_Y(-(m+1)E)=0 in Prop 3.4).
Used to identify φ_* O_E(-mE) with the quotient of φ_* O_Y(-mE).
standard math Base-point-free theorem (D = -E + φ^*H is ample and base-point-free for m large).
Used in Prop 3.4 to choose coprime n, n' such that -nE|E and -n'E|E are very ample.
standard math [DL15, Proposition 2.14] on discrepancies and finite covers, used in Lemma 3.17.
Gives the formula a(\tilde F, \tilde X, \tilde \Delta)+1 = r(a(F,X,\Delta)+1) for finite morphisms. Cited without proof.
standard math [KM98, Proposition 5.20] construction that an exceptional divisor over X induces an exceptional divisor over the canonical cover with same discrepancy when the center is not in the ramification locus.
Used in Lemma 3.17 and Lemma 3.18 to produce \tilde E and compare valuations.
standard math Existence of log resolutions and the MMP for threefolds (used to construct \tilde Y by running (K_V + c A_V + \epsilon F)-MMP in Lemma 3.18).
Standard tools in birational geometry; invoked without proof.
domain assumption If C is a smooth curve in the smooth fourfold W, then the ideal I_{C/W} = ⟨s1,s2,s3⟩ is prime and R/⟨s1,s2,s3⟩ is a UFD.
Used in Theorem 5.5 and Proposition 5.2 to guarantee the tilting algorithm's generated ideals are prime. This is a standard local algebra fact for smooth curves.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On the divisorial contractions to curves of threefolds." pith.science (2026). https://pith.science/paper/4V566WQR

@misc{pith2026241116146,
  author       = {Pith},
  title        = {Pith review of: On the divisorial contractions to curves of threefolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4V566WQR}},
  note         = {Machine review of arXiv:2411.16146}
}

read the original abstract

We prove that each divisorial contraction to a curve between terminal threefolds is a weighted blow-up under a suitable embedding. Moreover, we give a classification of the weighted blow-ups assuming that the curve is smooth.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

[1]

Steven Cutkosky, Elementary contractions of G orenstein threefolds , Math. Ann. 280 (1988), no. 3, 521--525. 936328

work page 1988
[2]

Tobias Dorsch and Vladimir Lazi\'c, A note on the abundance conjecture, Algebr. Geom. 2 (2015), no. 4, 476--488. 3403237

work page 2015
[3]

Tom Ducat, Divisorial extractions from singular curves in smooth 3-folds, Internat. J. Math. 27 (2016), no. 1, 1650005, 23. 3454683

work page 2016
[4]

Gunning and Hugo Rossi, Analytic functions of several complex variables, AMS Chelsea Publishing, Providence, RI, 2009, Reprint of the 1965 original

Robert C. Gunning and Hugo Rossi, Analytic functions of several complex variables, AMS Chelsea Publishing, Providence, RI, 2009, Reprint of the 1965 original. 2568219

work page 2009
[5]

Takayuki Hayakawa, Blowing ups of 3 -dimensional terminal singularities , Publ. Res. Inst. Math. Sci. 35 (1999), no. 3, 515--570. 1710753

work page 1999
[6]

II , Publ

, Blowing ups of 3-dimensional terminal singularities. II , Publ. Res. Inst. Math. Sci. 36 (2000), no. 3, 423--456. 1781436

work page 2000
[7]

241--246

Yujiro Kawamata, Divisorial contractions to 3 -dimensional terminal quotient singularities , Higher-dimensional complex varieties ( T rento, 1994), de Gruyter, Berlin, 1996, pp. 241--246. 1463182

work page 1994
[8]

133 (2002), no

Masayuki Kawakita, Divisorial contractions in dimension three which contract divisors to compound A_1 points , Compositio Math. 133 (2002), no. 1, 95--116. 1918291

work page 2002

Show all 19 references

[9]

, Three-fold divisorial contractions to singularities of higher indices, Duke Math. J. 130 (2005), no. 1, 57--126. 2176548

2005
[10]

Yujiro Kawamata, Flops connect minimal models, Publ. Res. Inst. Math. Sci. 44 (2008), no. 2, 419--423. 2426353

2008
[11]

211 (1992)

J\'anos Koll\'ar (ed), Flips and abundance for algebraic threefolds, Soci\'et\'e Math\'ematique de France, Paris, 1992, Papers from the Second Summer Seminar on Algebraic Geometry held at the University of Utah, Salt Lake City, Utah, August 1991, Ast\'erisque No. 211 (1992). 1225842

1992
[12]

Koll\' a r and S

J. Koll\' a r and S. Mori, Classification of three-dimensional flips, J. Amer, Math. Soc. 5 (1992), 533--703

1992
[13]

134, Cambridge University Press, Cambridge, 1998, With the collaboration of C

J\'anos Koll\'ar and Shigefumi Mori, Birational geometry of algebraic varieties, Cambridge Tracts in Mathematics, vol. 134, Cambridge University Press, Cambridge, 1998, With the collaboration of C. H. Clemens and A. Corti, Translated from the 1998 Japanese original. 1658959

1998
[14]

Shigefumi Mori, Threefolds whose canonical bundles are not numerically effective, Ann. of Math. (2) 116 (1982), no. 1, 133--176. 662120

1982
[15]

I , Compositio Math

Nikolaos Tziolas, Terminal 3-fold divisorial contractions of a surface to a curve. I , Compositio Math. 139 (2003), no. 3, 239--261. 2041612

2003
[16]

London Math

, Families of D -minimal models and applications to 3-fold divisorial contractions , Proc. London Math. Soc. (3) 90 (2005), no. 2, 345--370. 2142131

2005
[17]

, Three dimensional divisorial extremal neighborhoods, Math. Ann. 333 (2005), no. 2, 315--354. 2195118

2005
[18]

, Three-fold divisorial extremal neighborhoods over cE_7 and cE_6 compound D u V al singularities , Internat. J. Math. 21 (2010), no. 1, 1--23. 2642984

2010
[19]

Yuki Yamamoto, Divisorial contractions to cDV points with discrepancy greater than 1 , Kyoto J. Math. 58 (2018), no. 3, 529--567. 3843389

2018

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.

[1] [1]

Steven Cutkosky, Elementary contractions of G orenstein threefolds , Math. Ann. 280 (1988), no. 3, 521--525. 936328

work page 1988

[2] [2]

Tobias Dorsch and Vladimir Lazi\'c, A note on the abundance conjecture, Algebr. Geom. 2 (2015), no. 4, 476--488. 3403237

work page 2015

[3] [3]

Tom Ducat, Divisorial extractions from singular curves in smooth 3-folds, Internat. J. Math. 27 (2016), no. 1, 1650005, 23. 3454683

work page 2016

[4] [4]

Gunning and Hugo Rossi, Analytic functions of several complex variables, AMS Chelsea Publishing, Providence, RI, 2009, Reprint of the 1965 original

Robert C. Gunning and Hugo Rossi, Analytic functions of several complex variables, AMS Chelsea Publishing, Providence, RI, 2009, Reprint of the 1965 original. 2568219

work page 2009

[5] [5]

Takayuki Hayakawa, Blowing ups of 3 -dimensional terminal singularities , Publ. Res. Inst. Math. Sci. 35 (1999), no. 3, 515--570. 1710753

work page 1999

[6] [6]

II , Publ

, Blowing ups of 3-dimensional terminal singularities. II , Publ. Res. Inst. Math. Sci. 36 (2000), no. 3, 423--456. 1781436

work page 2000

[7] [7]

241--246

Yujiro Kawamata, Divisorial contractions to 3 -dimensional terminal quotient singularities , Higher-dimensional complex varieties ( T rento, 1994), de Gruyter, Berlin, 1996, pp. 241--246. 1463182

work page 1994

[8] [8]

133 (2002), no

Masayuki Kawakita, Divisorial contractions in dimension three which contract divisors to compound A_1 points , Compositio Math. 133 (2002), no. 1, 95--116. 1918291

work page 2002