Pith. sign in

REVIEW 2 major objections 3 minor 12 references

K*-surfaces of Picard number one and integral degree

T0 review · 2 major / 3 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 The paper's central claim is that every quasismooth, rational, projective surface of Picard number one with a nontrivial torus action and integral canonical self-intersection number is explicitly classified by ordered pairs of adjacent…

desk verdict A substantial, largely self-contained toric classification with a real but fixable gap in the K*-surface parametrization: injectivity of ordered adjacent pairs is asserted, not proved. read the letter →

arxiv 2411.15079 v1 pith:HIN2NYCI submitted 2024-11-22 math.AG

Jürgen Hausen , Katharina Király This is my paper · ORCID
classification math.AG MSC 14L3014J26
keywords K*-surfacesPicardnumberonefakeweightedprojectiveplanessquaredMarkovtypeequationsdegreematricestoricdegenerationsT-singularitiesintegralcanonical
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

A complete explicit classification is given for quasismooth, rational, projective surfaces of Picard number one that admit a nontrivial torus action and have integral canonical self-intersection number $K_X^2$. In the toric case these are the fake weighted projective planes of integral degree, classified by 24 infinite series of degree matrices built from solutions of the squared Markov-type equation $(u_0+u_1+u_2)^2 = a\,u_0u_1u_2$. In the one-dimensional torus case, every non-toric $K^*$-surface in the class is shown to be isomorphic to the surface $X(Q_1,Q_2)$ attached to an ordered pair of adjacent degree matrices, and distinct ordered pairs give non-isomorphic surfaces. The possible degrees are forced to lie in $\{1,2,3,4,5,6,8,9\}$, so the classification has finitely many series but infinitely many members generated by Markov-type mutations.

What carries the argument

The central computational object is the degree matrix $Q=[q_0,q_1,q_2]$ with columns $q_i=(u_i,\bar\eta_i)$ in the divisor class group $\mathbb{Z}\oplus\mathbb{Z}/\mu\mathbb{Z}$; the first row $(u_0,u_1,u_2)$ is a solution of the squared Markov-type equation $(u_0+u_1+u_2)^2=a\,u_0u_1u_2$, and the columns encode the Cox ring generators. Two degree matrices are called adjacent when they are the central fibers of one equivariant flat family of $K^*$-surfaces (Construction 6.1); Proposition 6.4 recasts adjacency as a concrete condition involving a T-singularity (a cyclic quotient singularity of type $\frac{1}{dk^2}(1,dpk-1)$) and a local Gorenstein index of one toric fixed point. Adjusted degree matrices (Definition 3.14) make the encoding unique up to isomorphism, so ordered adjacent pairs $(Q_1,Q_2)$ parametrize the $K^*$-surfaces $X(Q_1,Q_2)$ without duplication. The mutation operation $\lambda$ on solution triples drives the infinite series in the tables.

What would settle it

A concrete way to test the classification is to enumerate the first few levels of the Markov mutation trees for $a=9,8,6,5$, compute the adjacency graph of the corresponding fake weighted projective planes with the formulas of Proposition 6.4, and compare with the graphs drawn in Remarks 7.12–7.17; an extra or missing edge at any level would refute completeness of the adjacency description. Alternatively, exhibiting two distinct non-toric ordered adjacent pairs $(Q_1,Q_2)$ and $(Q_1',Q_2')$ whose associated $K^*$-surfaces $X(Q_1,Q_2)$ and $X(Q_1',Q_2')$ are isomorphic would refute Theorem 1.3 directly.

Watch

Extended reading notes

Core claim

On its own terms, the paper's discovery is a complete classification statement for the class in the title. Its Theorem 1.1 says that a fake weighted projective plane of integral degree is, up to isomorphism, exactly one of the surfaces $Z(Q)$ attached to a degree matrix in the 24-series table, with distinct matrices giving non-isomorphic planes except in three explicitly listed exceptional triples. Its Theorems 6.9 and 6.11 upgrade this to $K^*$-surfaces: a non-toric, quasismooth, rational, projective $K^*$-surface of Picard number one with integral $K_X^2$ is isomorphic to a unique $X(Q_1,Q_2)$, where $(Q_1,Q_2)$ is a non-toric ordered pair of adjacent degree matrices. Here adjacency is a geometric relation: two fake weighted projective planes are adjacent exactly when they are the two central fibers of the flat degenerations of one common $K^*$-surface, so the classification is not just a list of isolated surfaces but a description of the degeneration graph on the toric side.

Load-bearing premise

The argument leans on a previously established parametrization, namely that every non-toric, quasismooth, rational, projective $K^*$-surface of Picard number one is isomorphic to one of the explicit surfaces $X(P)$ written with a $3\times 4$ generator matrix in Section 6; if that parametrization misses a surface, the new classification would be incomplete.

Editorial extensions

If this is right

  • Every non-toric quasismooth rational projective $K^*$-surface of Picard number one with integral $K_X^2$ is now explicitly parametrized; the parameter space is the countable set of non-toric ordered adjacent pairs of degree matrices from the 24-series table.
  • The possible values of $K_X^2$ are confined to $\{1,2,3,4,5,6,8,9\}$; in particular no such surface has $K_X^2=7$.
  • For fake weighted projective planes of integral degree, the classification pinpoints the T-singularity locus: exactly the seven series $(2\text{-}3\text{-}1)$, $(1\text{-}8\text{-}1)$, $(1\text{-}8\text{-}5)$, $(1\text{-}6\text{-}1)$, $(1\text{-}5\text{-}1)$, $(1\text{-}5\text{-}2)$, $(1\text{-}5\text{-}3)$ have a unique T-singularity among three singularities, and all other series have at most T-
  • The adjacency relation turns each family of fake weighted projective planes of fixed degree and multiplicity into a graph; for degrees $9,8,6,5,4,3$ these graphs are connected and often isomorphic to the Markov tree $T(a)$ of ascending solution triples.
  • Distinct ordered adjacent pairs yield non-isomorphic $K^*$-surfaces, so the parametrization is faithful, not only surjective.

Reading between the lines

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

  • Because the mutation tree of the squared Markov-type equation is recursively generated, the classification yields an algorithm for enumerating these $K^*$-surfaces level by level; the paper itself draws the first levels of these graphs for several series but does not state the enumeration as a theorem.
  • The appearance of mutations of triples and adjacent degree matrices suggests a cluster-algebra interpretation: adjacency may be the geometric shadow of matrix mutation, and a cluster structure could organize the countably infinite parameterization into finite-rank seeds.
  • The explicit list gives a direct test bed for questions outside this paper, such as which of these surfaces carry Kähler–Einstein metrics or are smoothable; the T-singularity data in Section 5 is the kind of input those criteria require.
  • The paper stops at integral $K_X^2$; if the squared Markov-type equation is replaced by a non-square parameter, the same degenerations and adjacency machinery would still produce a candidate classification of the non-integral case, though the table of series would grow or change.
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.

Referee Report

2 major / 3 minor

Summary. The paper gives an explicit classification of quasismooth, rational, projective surfaces of Picard number one that admit a nontrivial torus action and have integral canonical self-intersection number K^2. The toric case is handled first: using squared Markov-type equations, the authors list all fake weighted projective planes of integral degree as 24 infinite series of degree matrices (Theorem 1.1), compute singularities and T-singularity constellations (Section 5), and then use these data to classify the non-toric K*-surfaces. The main structural result (Theorem 1.3) asserts that every non-toric surface in the class is isomorphic to a surface X(Q1,Q2) attached to a non-toric, ordered pair of adjacent degree matrices, and that distinct ordered pairs give non-isomorphic surfaces. The proof proceeds via degenerations of a K*-surface to two fake weighted projective planes of the same degree, with adjacency formalized in Definitions 6.7, 6.8 and 6.10.

Significance. If the main theorem is correct, this is a complete and explicit parameterization of an interesting class of rational del Pezzo surfaces with torus action, reducing the classification to solutions of squared Markov-type equations and an adjacency relation on degree matrices. The treatment of the Markov equations in Section 2 is elementary and self-contained, and the classification of fake weighted projective planes is carried out with explicit tables and fairly complete proofs. The paper also provides concrete examples, generator matrices, and adjacency graphs (Section 7), which substantially increases its usefulness. The main structural claim, however, relies on an injectivity assertion in Theorem 6.11 that is not actually proved, and there is a concrete inconsistency between Proposition 4.10 and Theorem 1.1 in the degree-1 exception list. Both issues are localizable and in principle fixable, but they affect statements that are load-bearing for the central classification.

major comments (2)
  1. [§4, Proposition 4.10; Theorem 1.1; Example 7.7] The exception list in Proposition 4.10 for degree 1 contains the pair {[1 1 2; 0 1 1], [1 1 2; 0 1 7]}, i.e., it declares (1-8-1) and (1-8-7) to be isomorphic. Theorem 1.1, however, lists the exceptional pair as {[1 1 2; 0 1 3], [1 1 2; 0 1 7]}, i.e., (1-8-3) and (1-8-7). Example 7.7 confirms Theorem 1.1: the generator matrices P2 (η=3) and P4 (η=7) are shown to define isomorphic fake weighted projective planes, while Proposition 5.9 assigns different singularity constellations to (1-8-1) and (1-8-7), so those two cannot be isomorphic. Since Proposition 4.10 is the degree-1 case in the proof of Theorem 1.1, this is not a harmless typo in a remark; the proposition must be corrected, and all later statements that cite it should be rechecked for consistency.
  2. [§6, Theorem 6.11 and Definition 6.10] The injectivity half of Theorem 6.11 is asserted but not proved. The final sentence of the proof says that 'the definition of a non-toric, ordered pair of adjacent degree matrices ensures that distinct pairs define non-isomorphic K*-surfaces', but no isomorphism invariant of the surface X(Q1,Q2) is shown to recover the ordered pair (Q1,Q2). In particular, when the two local Gorenstein indices satisfy l1=l2, Definition 6.10 allows both (Q1,Q2) and (Q2,Q1) as ordered pairs, and Construction 6.1 has a symmetry that exchanges the two degenerations. The paper does not explain why these two ordered pairs cannot lead to isomorphic K*-surfaces, nor does it provide any argument that the map from ordered pairs to isomorphism classes is well defined and injective. Since the bijectivity statement is precisely the content of Theorem 1.3, this gap is load-bearing and needs a real proof or a reformulation of the parametrization.
minor comments (3)
  1. [§3, Definition 3.14] In the definition of an adjusted degree matrix, the clause 'for a ≤ 4' is followed by conditions that refer to a = 9 and a = 8, and the list of allowed η values appears incomplete (for example, the degree-1 series (1-8-7) requires η=7, which is not listed). Please correct the case distinction and the displayed values.
  2. [§4, proof of Proposition 4.10, Case (ii)] The displayed matrix in Case (ii) is written as [x0^2 x1^2 2x2^2; η̄0 η̄1 η̄2] with the accompanying text '¯0, ¯1, ¯η ∈ Z/8Z', which is garbled; it should presumably say that the second row is (0̄, 1̄, η̄) with η̄ ∈ {1̄,3̄,5̄,7̄}.
  3. [§7, Remark 7.18] In the list of self-adjacent cases, the block labeled 'u = (1, 2, 3)' appears twice; the third block should correspond to u = (1, 4, 5) for the degree-5 series (5-1-0), (1-5-1), (1-5-4).

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the degree-matrix classification is self-contained, and the K*-surface parametrization uses prior independent work rather than a circular input.

full rationale

The paper's Section 2 and Section 4 derive the classification of fake weighted projective planes of integral degree from the squared Markov type equation and from adjusted degree-matrix arguments; these parts are self-contained and are not fitted to the final classification. The K*-surface portion invokes [5, Thm. 4.18] and [8, Constr. 3.1] to represent every non-toric, quasismooth, rational, projective K*-surface of Picard number one as some X(P). Although those citations involve overlapping authors, they are prior parametrizations with stated assumptions that do not include the present target classification, and they are not re-derived from or equivalent to Theorem 1.3; they constitute external support rather than a circular input. Construction 6.1 and Proposition 6.2 define the degeneration families and the equality of canonical degrees using [8, Prop. 3.6], but this is a structural construction, not a prediction fitted to the output. The only notable issue is the injectivity assertion at the end of Theorem 6.11: the sentence 'the definition of a non-toric, ordered pair of adjacent degree matrices ensures that distinct pairs define non-isomorphic K∗-surfaces' is an unproved step from well-definedness to injectivity, especially when l1 = l2 permits both orderings; however, that is a correctness or proof gap, not a circular reduction of the derivation to its own inputs. Accordingly, the circularity score is 0.

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

No free parameters or invented physical entities appear. The explicit descriptions are parameterized by integer triples (x0,x1,x2) satisfying Markov-type equations; these are algebraic variables, not fitted constants. The load-bearing non-proven inputs are prior classification results for K*-surfaces from the authors' own earlier work, cited as [5] and [8].

assumptions (5)
  • domain assumption The ground field is an algebraically closed field of characteristic zero.
    Stated at the start of Section 1; all toric geometry and Cox ring results used are formulated over such fields.
  • standard math Every normal complete toric surface of Picard number one is a fake weighted projective plane encoded by a degree matrix.
    Section 3, Construction 3.3 and Proposition 3.4; standard toric geometry referenced to [2].
  • domain assumption Every non-toric, quasismooth, rational, projective K*-surface of Picard number one is isomorphic to X(P) with the 3x4 generator matrix of Section 6.
    Quoted from [5, Thm. 4.18] and [8, Constr. 3.1]; not reproven in this paper, but prior work by the same group.
  • domain assumption The central fiber construction in Construction 6.1 and the equality of K^2 for X and its two central fibers hold as stated.
    From [8, Prop. 3.6]; used in Proposition 6.2 and Theorem 6.11.
  • standard math The classification of quotient singularities via local class group orders and Gorenstein indices in Lemma 5.1 is correct.
    Proof given in Section 5, based on standard affine toric geometry.

how reviews work

0 comments
Cite this review

Pith. "Pith review of K*-surfaces of Picard number one and integral degree." pith.science (2026). https://pith.science/paper/HIN2NYCI

@misc{pith2026241115079,
  author       = {Pith},
  title        = {Pith review of: K*-surfaces of Picard number one and integral degree},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HIN2NYCI}},
  note         = {Machine review of arXiv:2411.15079}
}
read the original abstract

We give an explicit description of all quasismooth, rational, projective surfaces of Picard number one that admit a non-trivial torus action and have an integral canonical self intersection number.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

12 extracted references · 11 canonical work pages

  1. [5]

    Del Pezzo surfaces of Picard number one admitting a torus action

    Daniel H¨ attig, Beatrix Hafner, J¨ urgen Hausen, and Jus tus Springer, Del Pezzo surfaces of Picard number one admitting a torus action (2022), available at arXiv:2207.14790. ↑ 27, 28

    work page Pith review arXiv 2022

  2. [8]

    On Degenerations of the Projective Plane

    J¨ urgen Hausen, Katharina Kir´ aly, and Milena W robel, Markov numbers and rational C∗ - surfaces, available at arXiv:2405.04862. ↑ 28, 29, 31

    work page Pith review arXiv

  3. [1]

    Akhtar and Alexander M

    Mohammad E. Akhtar and Alexander M. Kasprzyk, Mutations of fake weighted projective planes, Proc. Edinb. Math. Soc. (2) 59 (2016), no. 2, 271–285. ↑ 28

    work page 2016

  4. [2]

    144, Cambridg e University Press, Cambridge,

    Ivan Arzhantsev, Ulrich Derenthal, J¨ urgen Hausen, and Antonio Laface, Cox rings , Cam- bridge Studies in Advanced Mathematics, vol. 144, Cambridg e University Press, Cambridge,

    work page

  5. [3]

    Yasuaki Gyoda and Kodai Matsushita, Generalization of Markov Diophantine equation via generalized cluster algebra , Electron. J. Combin. 30 (2023), no. 4, Paper No. 4.10, 20. ↑ 3

    work page 2023

  6. [4]

    Paul Hacking and Yuri Prokhorov, Smoothable del Pezzo surfaces with quotient singularities , Compos. Math. 146 (2010), no. 1, 169–192. ↑ 3, 20, 22 38 J ¨URGEN HAUSEN, KATHARINA KIR ´ALY

    work page 2010

  7. [6]

    Classifying log del Pezzo surfaces with torus action

    Daniel H¨ attig, J¨ urgen Hausen, and Justus Springer, Classifying log del Pezzo surfaces with torus action (2023), available at arXiv:2302.03095. ↑ 10, 20, 27, 32

    work page Pith review arXiv 2023

  8. [7]

    J., available at arXiv:2306.03796

    Daniel H¨ attig, J¨ urgen Hausen, and Hendrik S¨ uß, Log del Pezzo C∗ -surfaces, K¨ ahler-Einstein metrics, K¨ ahler-Ricci solitons and Sasaki-Einstein metr ics, To appear in Michigan Math. J., available at arXiv:2306.03796. ↑ 30

    arXiv

Show all 12 references
  1. [9]

    J¨ urgen Hausen and Milena W robel, Non-complete rational T -varieties of complexity one , Math. Nachr. 290 (2017), no. 5-6, 815–826. ↑ 29

    2017

  2. [10]

    Adolf Hurwitz, ¨Uber eine Aufgabe der unbestimmten Analysis , In: Mathematische W erke, Band II: Zahlentheorie, Algebra und Geometrie (1963), 410– 421. ↑ 3, 8

    1963

  3. [11]

    Methods Appl

    Nathan Owen Ilten, Mutations of Laurent polynomials and flat families with tori c fibers , SIGMA Symmetry Integrability Geom. Methods Appl. 8 (2012), Paper 047, 7. ↑ 28

    2012

  4. [12]

    B. V. Karpov and D. Yu. Nogin, Three-block exceptional sets on del Pezzo surfaces , Izv. Ross. Akad. Nauk Ser. Mat. 62 (1998), no. 3, 3–38 (Russian, with Russian summary); Englis h transl., Izv. Math. 62 (1998), no. 3, 429–463. ↑ 8 Mathematisches Institut, Universit ¨at T ¨ubi...

    1998

Pith tools

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