{"id":"ee92b58c-a1db-4580-af26-1e20e3fc85a2","arxiv_id":"2507.08826","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"New nefness criteria for canonical divisors under weighted blow-ups produce 79 families of minimal 3-folds of general type, infinite families with Kodaira dimension 2, and 16 families on or near the Noether lines.","lead":"Using weighted blow-ups of singular weighted complete intersections, the author builds many new minimal 3-dimensional algebraic varieties, including families with very small canonical volume and examples lying exactly on the Noether lines. The paper extends a previous hypersurface construction by Chen, Jiang and Li to complete intersections and to blowing up several singular points at once.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The 79-family claim rests on unverified table data: only four examples are checked in detail, and no code or per-row verification is provided, so one invalid row could break the headline counts.","rationale":"I read the proofs of Theorems 1.2, 1.3, and 3.2 as internally plausible, and the worked examples check out under the stated formulas. The most load-bearing weakness is not a specific step in those proofs but the transition from the criteria to the large tables: the paper says the tables were produced by a computer search and then manually verified, yet no code and no per-row verification are included. Since the paper's central claim is the existence of 79 families and several infinite families with specified invariants, the correctness of the tables is essential. This is precisely the reader's flagged weakest assumption, so I agree. I do not see an internal inconsistency in the main theorems that would force a stronger verdict, and the missing verification justifies keeping the reader's CONDITIONAL assessment rather than moving to ACCEPT or REJECT.","tokens_in":32941,"tokens_out":19613,"duration_ms":215095,"concrete_test":"Write an independent verifier that, for each row of Tables 1–5, (a) checks well-formedness of the ambient weighted projective space and the absence of codimension-c+1 singular strata; (b) checks quasi-smoothness by applying Proposition 2.8 to every relevant subset I (or by a reputable database for weighted complete intersections); (c) computes Sing(X) from the stated weights and degrees using Propositions 2.10–2.11; (d) verifies the listed B-weight(s) are the only non-canonical singularities and satisfy the relevant theorem hypotheses; and (e) for Table 5, tests the infinite families at several small admissible r, e.g., r = 13, 17, 23. If every row passes and each resulting variety has only canonical singularities (or falls in the Theorem 3.2 situation), the concern is resolved; the first failing row would require correcting or deleting that family.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central numerical claim—79 families of minimal 3-folds of general type, plus infinite series of Kodaira dimension 2—depends on every row of Tables 1–5 being a well-formed quasi-smooth weighted complete intersection with exactly the listed non-canonical singularities, and on each B-weight satisfying the hypotheses of Theorem 1.2, 1.3, or 3.2. The paper fully verifies only Examples 4.1, 4.2, 4.7, and 4.8. For the remainder it states in §4.2 that 'All examples in Table 1 and Table 2 have been manually verified' and in §4.3 that items in Tables 3–4 'can be manually verified similar to previous cases,' but it supplies neither the manual checks nor the search code used in Step 0 of Construction 4.1. The theorems themselves appear internally coherent; the soft spot is the wholesale verification of the enumerated output. Because the paper's headline is quantitative and includes extremal claims (smallest known volumes, examples on or near the Noether lines, Picard numbers distinguishing the examples from Iano-Fletcher), an unnoticed failure of quasi-smoothness, an extra non-canonical singularity, or a missed inequality in any listed row would invalidate that family and could change the advertised counts and extremal statements.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper generalizes the Chen–Jiang–Li construction of minimal varieties from quasi-smooth weighted hypersurfaces to quasi-smooth weighted complete intersections. It proves several nefness criteria for the canonical divisor after weighted blow-ups (Theorems 1.2, 1.3, and 3.2), covering higher codimension, several blown-up points, and a two-step weighted blow-up. It then presents 79 families of minimal 3-folds of general type (Tables 1 and 2), 16 examples near the Noether lines (Tables 3 and 4), and infinite families of minimal 3-folds of Kodaira dimension 2 (Table 5), with numerical invariants such as canonical volume, plurigenus P2, Euler characteristic, Picard number, and Reid basket. The proofs of the nefness criteria follow the strategy of Chen–Jiang–Li, and the four worked examples (Examples 4.1, 4.2, 4.7, and 4.8) check out in their stated computations.","tokens_in":33207,"tokens_out":18069,"duration_ms":194368,"significance":"If all table data are correct, the paper substantially enlarges the stock of explicit minimal 3-folds of general type, including examples with very small canonical volumes, examples on the first and second Noether lines, and infinite series of Kodaira dimension 2. It also extends a useful technique from hypersurfaces to complete intersections of arbitrary codimension and to multiple blow-ups. The paper makes concrete, falsifiable numerical claims (volumes, genera, baskets, Picard numbers) that can be independently checked, and the worked examples indicate that the underlying intersection-theoretic method is coherent. However, the quantitative significance rests on the correctness of every row of the tables, and most rows are not individually verified in the manuscript.","major_comments":[{"comment":"The headline claims of 79 families and 16 Noether-line examples depend on the correctness of every table row: each listed space must be well-formed and quasi-smooth, must have exactly the listed non-canonical singularities, and must satisfy the inequalities of Theorem 1.2, 1.3, or 3.2. Only Examples 4.1, 4.2, 4.7, and 4.8 are verified in detail. The statements in §4.2 that \"All examples in Table 1 and Table 2 have been manually verified\" and in §4.3 that all items \"can be manually verified similar to previous cases\" are not accompanied by per-row verification data or by the search code used in Step 0 of Construction 4.1. A single invalid row would invalidate that family and could change the advertised counts and extremal statements. Please provide either an ancillary file with machine-checkable verification for every row or a detailed description of the verification algorithm together with its complete output.","section":"§4.2, §4.3, Tables 1–4"},{"comment":"The proof of Theorem 1.2 requires that the particular curve ∩_{j=1}^{n-1} H_j on X be irreducible, since the argument identifies the support of ∩_{j=1}^{n-1} H'_j with the strict transform of this curve. However, condition (3) is stated for \"a general\" weighted complete intersection curve in the smaller weighted projective space. For a fixed general member X, the restriction of the defining equations to the coordinate subspace is not automatically a general member of the linear system on that subspace. This is a gap between the stated condition and what the proof uses. Please either replace condition (3) by the actual irreducibility hypothesis used, or prove that generality of X implies the required generality of the restricted curve; in the examples, the authors verify quasi-smoothness of the particular curve, which is a stronger check than the theorem as stated.","section":"Theorem 1.2, condition (3) and its proof"},{"comment":"The count of families is ambiguous. The abstract and introduction say the paper constructs \"79 families of minimal 3-folds of general type\" and also \"16 families of minimal 3-folds of general type on or near the Noether lines.\" Tables 1 and 2 alone contain 43 + 36 = 79 rows, while Tables 3 and 4 contain 12 + 4 = 16 further rows. If the Noether-line examples are additional, the total number of families is 95, not 79; if they are included in the 79, the phrase \"in Table 1, Table 2, Table 3, and Table 4\" in the introduction is confusing and the row count should be reconciled. Please clarify the intended counting and adjust the text accordingly.","section":"Abstract, §1, §4.2, Tables 1–4"},{"comment":"The equality h^0(\\hat X, mK_{\\hat X}) = h^0(X, mK_X) for m = 1, 2 is load-bearing for the listed values of P2 and χ, but the justification \"since 2(e1+e2+e3)>r\" is incomplete. The displayed chain h^0(\\tilde X, mK_{\\tilde X}) = h^0(\\tilde X, \\lfloor m f^* K_X \\rfloor) is not automatic: when the coefficient of the exceptional divisor in mK_{\\tilde X} lies in (0,1), the round-down is f^*mK_X - E, so the global sections are those of mK_X vanishing at the blown-up point. This vanishing holds in the worked examples, but it is not proved in general, and the table entries for P2 and χ depend on it. Please supply either a general proof of this vanishing under the stated hypotheses or a direct monomial check for every table row.","section":"§4.2, paragraph after the tables"}],"minor_comments":[{"comment":"The amplitude α is written as α = Σ d_l − Σ_{j=1}^{n+2} b_j in Theorem 1.2, and similarly in Theorem 1.3; for a codimension-c complete intersection in P(b_1,...,b_{n+c+1}) the upper limit should be n+c+1, matching Proposition 2.9(iii).","section":"Theorem 1.2, Theorem 1.3"},{"comment":"Step 0 says to check well-formedness and quasi-smoothness \"by Definition 2.6 and Theorem 2.7,\" but there is no Theorem 2.7 in the paper; the quasi-smoothness criterion is Proposition 2.8.","section":"Construction 4.1, Step 0"},{"comment":"In the displayed inequality of Case 2, the summation index is written as u = 1 to s, but the number of points in this case is denoted N. The summation should run from u = 1 to N.","section":"Theorem 1.3, Case 2, condition (2)"},{"comment":"In the singularity computation, the text says \"For P2 ... so P4 is a singularity of type 1/11(2,3,10)\"; this should refer to P2, not P4, and should be corrected for readability.","section":"Example 4.2"},{"comment":"The introduction claims that all examples are different from Iano-Fletcher's examples because they have Picard number at least 2, but Table 2 explicitly omits the Picard number for rows with non-isolated canonical singularities; the claim should be restricted to Table 1 or supported by a computation for Table 2.","section":"§1, Tables 1 and 2"}],"recommendation":"major_revision","confidential_remarks":"The main risk is not the structure of the proofs but the reproducibility and completeness of the table data. Given the paper's quantitative claims, I would strongly encourage the editor to ask for an ancillary verification file or a complete record of the computer search; without that, the 79-family and Noether-line claims remain conditional on the author's unpublished manual checks."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read this if you care about explicit minimal 3-folds. The paper does something real: it extends Chen–Jiang–Li's hypersurface nefness criterion to weighted complete intersections in arbitrary codimension and to multi-point weighted blow-ups, and then runs a search that produces concrete families, including examples on the first and second Noether lines and volume records. I checked the main arguments; Theorems 1.2, 1.3, and 3.2 are internally coherent, and the intersection-theoretic proofs check out. The worked examples (4.1, 4.2, 4.7, 4.8) have correct volume computations and plausible singularity lists. The Theorem 4.9 computation giving K^3=0 is clean.\n\nThe soft spots, in order. First, the 79-family claim rests on a verification gap. Only four examples are worked out in the text; for the rest we are told manual verification was done, with no code, no per-row checks, and no machine-readable tables. One bad row—an unnoticed non-canonical singularity or a failure of quasi-smoothness—would subtract a family and could break the extremal claims. That is not a flaw in the theorems, but it is a mismatch between the quantitative headline and the evidence supplied. Second, the assertion that all examples have Picard number at least 2 is only justified for Table 1; Table 2 omits rho precisely because non-isolated singularities make it harder, so the blanket statement about differing from Iano-Fletcher is not yet supported for those rows. Third, there are small typos in the theorem statements (e.g. \"hypersurface of multi-degrees\" in Theorem 1.3 and an index bound in the alpha term of Theorem 1.2), which are confusing but not damaging.\n\nThe citation pattern is fine: CJL24 is the direct predecessor and the paper says so; the two imported lemmas are standard. The literature on Noether lines and minimal volumes is cited appropriately.\n\nVerdict: the central construction is credible, and the four worked examples give real evidence that the search works. The paper is for specialists in explicit birational geometry and 3-fold geography. A serious referee should be able to verify the tables with moderate effort, and the claims are worth checking. I would not desk-reject. Send it to review, but ask the authors to supply verification data or at least the search script, and to soften the Picard-number claim for Table 2. If the tables survive that check, it is a solid contribution.","headline":"Genuine generalization of CJL24 with credible nefness criteria, but the 79-family headline outruns the supplied verification.","tokens_in":33741,"tokens_out":1903,"would_cite":true,"duration_ms":21143,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14J30","14E30","14M10","14B05"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves explicit numerical criteria for when a weighted blow-up of a weighted complete intersection has nef canonical divisor, and uses them to produce 79 families of minimal 3-folds of general type plus infinite families of…","keywords":["minimal models","weighted complete intersections","weighted blow-ups","nefness criteria","cyclic quotient singularities","minimal 3-folds of general type","Noether lines","Kodaira dimension 2"],"falsifier":"Recompute the quasi-smoothness test (Proposition 2.8) and the singularity calculations for every row of Tables 1–5; a single row that fails quasi-smoothness or carries a non-canonical singularity beyond the listed blow-up center would show that row is not a minimal threefold. For the infinite families, checking the first few $r$ in each congruence class of Table 5 and computing $K_Y^3=0$ and the singularity types at $Q=\\frac{1}{r}(a,b,1)$ would confirm or refute the Kodaira dimension 2 claim.","tokens_in":32742,"feed_emoji":"📐","tokens_out":17123,"duration_ms":157281,"temperature":0.7,"pith_summary":"The paper claims a general way to build minimal varieties: take a well-formed quasi-smooth weighted complete intersection with a cyclic quotient singularity, perform a weighted blow-up at that singularity, and check that a short list of inequalities holds, which then guarantees the canonical divisor of the blown-up variety is nef. The main nefness criterion (Theorem 1.2) reduces the whole nefness check to one intersection number once an auxiliary weighted complete intersection curve is irreducible, and Theorem 1.3 extends the same mechanism to blowing up several points in special positions. The payoff is concrete: 79 families of minimal 3-folds of general type with computed canonical volumes, plurigenera, basket data and Picard numbers, several on or near the Noether lines, along with infinite families of minimal 3-folds of Kodaira dimension 2. If every listed space really is well-formed and quasi-smooth with exactly the stated singularity set, these tables substantially enlarge the known landscape of minimal threefolds.","feed_headline":"Weighted blow-ups build 79 minimal threefolds","feed_subtitle":"Numerical inequalities turn singular weighted spaces into minimal 3-folds with listed volumes and genera.","key_machinery":"The engine of the construction is the weighted blow-up $\\pi:Y\\to X$ at a cyclic quotient singularity $Q$ of type $\\frac{1}{r}(e_1,\\ldots,e_n)$, with weights $(e_1,\\ldots,e_n)$. Its exceptional divisor is $E\\cong\\mathbb{P}(e_1,\\ldots,e_n)$, and the canonical bundle changes by $K_Y=\\pi^*K_X-\\frac{r-\\sum_i e_i}{r}E$, so the positive amplitude $\\alpha=\\sum d_\\ell-\\sum b_j$ and the defect $r-\\sum_i e_i$ decide everything. To prove nefness the paper argues by contradiction: a curve $C$ on which $K_Y$ is negative cannot lie on $E$ because $K_Y|_E$ is ample, so the inequalities force $C$ into the intersection of $n-1$ strict transforms of coordinate hyperplanes, which the irreducibility hypothesis makes a single irreducible curve; then the whole nefness check collapses to the one intersection number $(K_Y\\cdot H'_1\\cdots H'_{n-1})\\ge 0$, exactly the volume-type inequality in the theorem. The multi-point versions of Theorem 1.3 use the same curve-cutting argument with several exceptional divisors, and the final step converts $K_Y$ into invariants via the plurigenus formula and the classification of terminal cyclic quotient singularities.","core_discovery":"The central claim is that for an $n$-dimensional well-formed quasi-smooth weighted complete intersection $X=X_{d_1,\\ldots,d_c}\\subset\\mathbb{P}(b_1,\\ldots,b_{n+c+1})$ with amplitude $\\alpha=\\sum_\\ell d_\\ell-\\sum_j b_j>0$, and a cyclic quotient singularity $Q\\in X$ of type $\\frac{1}{r}(e_1,\\ldots,e_n)$ with $\\sum_i e_i<r$, the weighted blow-up $\\pi:Y\\to X$ at $Q$ with weights $(e_1,\\ldots,e_n)$ has $K_Y$ nef (nonnegative intersection with every curve) and $\\nu(Y)\\ge n-1$ provided either of two explicit lists of conditions holds. The first list requires the inequalities $\\alpha e_j \\ge b_j(r-\\sum_i e_i)$ for all but one coordinate, a volume-type inequality tying the degrees and remaining weights together, irreducibility of a general weighted complete intersection curve of the given multidegrees in a smaller weighted projective space, and well-formedness of $\\mathbb{P}(e_1,\\ldots,e_n)$; the second list replaces the curve condition by requiring a certain finite set. Theorem 1.3 proves the analogous statement when several points are blown up simultaneously, under special-position assumptions, and Theorem 3.2 covers a second weighted blow-up when the first one leaves a non-canonical point on the exceptional divisor. The numerical invariants of the resulting minimal models are then computed from the blow-up formula and standard birational invariants, producing the tables of general-type families and infinite Kodaira dimension 2 families.","pith_inferences":["The nefness criterion is stated for arbitrary dimension and codimension, but all applications stop at 3-folds; applying the same inequalities to 4-dimensional weighted complete intersections with isolated non-canonical cyclic quotient singularities is the natural next experiment.","Only two examples are worked out in full; the paper states that all rows of Tables 1–2 were manually verified, without producing the verification or the search code, so the enumeration of 79 families is not machine-checkable from the text alone.","The two-blow-up mechanism of Theorem 3.2 could plausibly be iterated or combined with the multi-point criterion to produce more geography between the Noether lines, especially at genera below the $p_g\\ge 11$ range of the structural theorem.","For the infinite families of Table 5, a finite check over the congruence classes (for instance all $r\\le 200$) could turn each row into an explicitly verified infinite family, since the well-formedness and quasi-smoothness conditions are decidable by the paper's own criteria."],"forward_implications":["This paper's Tables 1–4 record 79 families of minimal 3-folds of general type with Q-factorial terminal singularities, each with computed canonical volume, geometric genus, second plurigenus, singularity basket, and in most cases Picard number.","Several rows are extremal: the minimal model of the $(7,10)$ complete intersection in $\\mathbb{P}(1,1,2,3,4,5)$ has $p_g=2$ and $K^3=1/3$, matching the sharp lower volume bound, and the $(12,18)$ model has $p_g=1$ and $K^3=1/30$, claimed as the smallest known volume in that genus class.","The Noether-line examples, including smooth models with $p_g=7$ and $K^3=6$ on the first line and the $p_g=8$ model on the second line, are birationally different from earlier hypersurface constructions because their Picard numbers differ.","Each row of Table 5 gives an infinite family of minimal 3-folds of Kodaira dimension 2 as $r$ runs through the stated congruence classes; the criteria give $\\nu(Y)=2$, and abundance for threefolds upgrades this to $\\kappa(Y)=2$."],"supporting_citations":[{"why":"The hypersurface-only construction and Theorem 1.1 that this paper generalises; its nefness criterion, tables, and examples form the baseline the new criteria extend.","marker":"[CJL24]"},{"why":"The systematic treatment of weighted complete intersections used for definitions, quasi-smoothness, singularity analysis, and the earlier examples the new tables are compared with.","marker":"[IF00]"},{"why":"Supplies Proposition 2.12, the lifting of weighted blow-ups, including the exceptional divisor, its normal bundle, and the formula for the canonical divisor after the blow-up.","marker":"[And18]"},{"why":"Provides the classification of cyclic quotient singularities by terminal and canonical properties, the singularity basket, and the plurigenus formula used to compute invariants.","marker":"[Rei87]"},{"why":"Background on weighted projective spaces; cited for the class group computation, the Euler characteristic formula, and the Picard number of the ambient space.","marker":"[Dol82]"},{"why":"Gives the quasi-smoothness criterion for weighted complete intersections (Proposition 2.8) used to check that the input spaces are quasi-smooth.","marker":"[PST17]"},{"why":"The sharp lower bound for the canonical volume of 3-folds of general type; the example with $p_g=2$, $K^3=1/3$ is claimed to attain it.","marker":"[Che07]"},{"why":"Defines the three Noether lines and the structure theorem for $p_g\\ge 11$; used to place the new examples and to show the genus assumption is necessary.","marker":"[HZ25]"},{"why":"The abundance theorem for minimal threefolds, which upgrades the proved $\\nu(Y)=2$ to Kodaira dimension 2 for the Table 5 families.","marker":"[Kaw92]"}],"fun_headline_variants":["79 new minimal threefolds via weighted blow-ups","Weighted blow-ups yield 79 minimal threefolds","New minimal 3-folds from weighted blow-up criteria","Minimal threefolds from quasi-smooth weighted intersections","79 minimal 3-folds from weighted complete intersections"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"For the tables to deliver what they promise, every listed weighted complete intersection must really be well-formed and quasi-smooth with exactly the singularities stated; the paper verifies two examples in detail and asserts the rest were manually verified.","fun_headline_variants_meta":{"raw":{"variants":["79 new minimal threefolds via weighted blow-ups","Weighted blow-ups yield 79 minimal threefolds","New minimal 3-folds from weighted blow-up criteria","Minimal threefolds from quasi-smooth weighted intersections","79 minimal 3-folds from weighted complete intersections"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001079,"raw_usage":{"total_tokens":4536,"prompt_tokens":989,"completion_tokens":3547,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":605,"completion_tokens_details":{"reasoning_tokens":3468}},"tokens_in":605,"tokens_out":3547,"duration_ms":26440,"temperature":1.0,"reasoning_tokens":3468,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T21:30:29.951105+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Recompute the quasi-smoothness test (Proposition 2.8) and the singularity calculations for every row of Tables 1–5; a single row that fails quasi-smoothness or carries a non-canonical singularity beyond the listed blow-up center would show that row is not a minimal threefold. For the infinite families, checking the first few $r$ in each congruence class of Table 5 and computing $K_Y^3=0$ and the singularity types at $Q=\\frac{1}{r}(a,b,1)$ would confirm or refute the Kodaira dimension 2 claim.","supporting_citations":[],"review_version":1}