REVIEW 2 major objections 5 minor 34 references
A normal affine surface whose boundary at infinity is a triangle of contractible (−1)-curves is necessarily a Markov-type cubic xyz = x² + y² + z² + ax + by + cz + d, and its full automorphism group is the free product of the three Vieta in
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
Triangle surfaces are exactly the Markov-type cubics xyz=x^2+y^2+z^2+ax+by+cz+d, and their automorphism groups are Gσ⋊Γ with Γ one of five finite groups from Table 1.
T0 review reviewed 2026-08-02 challenge →
load-bearing objection Solid, novel classification of affine triangle surfaces with a useful automorphism table, but the main combinatorial engine is an unproved import from a companion paper. the 2 major comments →
Open surfaces with a triangle at infinity
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
Core claim
The central claim is that 'triangle surface' is not a new class but a new characterization of a known one: every normal affine surface completed by a triangle of contractible (−1)-curves is isomorphic to a cubic surface of Markov type, xyz = x² + y² + z² + ax + by + cz + d, and conversely every such cubic admits such a triangle completion (Corollary 5.4, Proposition 6.3). The proof runs through the geometry of the completion: the boundary triangle is an anticanonical divisor on a (possibly singular) del Pezzo surface of degree 3, the anticanonical embedding realizes it as a plane triangle of lines, and the equation follows. On the automorphism side, the paper constructs a homomorphism from t
What carries the argument
The triangle complex T(Y) is a 2-dimensional simplicial complex whose vertices are the inner components of Y (divisorial valuations arising from repeated blowups at boundary nodes), whose edges are the (0,0)-completions (boundary a cycle of two 0-curves), and whose triangles are the triangle completions. Marking its vertices by primitive vectors of Z² identifies T(Y) with the Farey tessellation, so automorphisms of Y act through PGL(2, Z); the three Vieta involutions correspond to the three elementary matrices. This complex is the load-bearing combinatorial skeleton: it converts every birational self-map into an automorphism of a canonical infinite tessellated tree, from which the kernel com
Load-bearing premise
Everything rests on the imported theorem that birational maps between two-curve completions decompose into local blow-ups and blow-downs with a triangulable dual graph, together with the unproved assertion that the anticanonical map of the possibly singular del Pezzo completion embeds into P³; if either fails, the classification into Markov-type cubics collapses.
What would settle it
Exhibit a normal affine surface admitting a completion by a triangle of smooth rational (−1)-curves whose anticanonical completion is not a cubic hypersurface in P³ (for instance, a degree-3 del Pezzo whose anticanonical linear system fails to be an embedding); this would contradict Corollary 5.4 and the classification. Alternatively, produce two (0,0)-completions whose relatively minimal connecting resolution has a circular dual graph that admits no triangulation, falsifying Proposition 3.3.
If this is right
- Every affine triangle surface is presented by a single cubic equation xyz = x² + y² + z² + ax + by + cz + d; conversely every such cubic is a triangle surface, so the class is closed and recognizable by one normal form.
- The automorphism group of any triangle surface is explicitly computable from the coefficients: Aut(Y) = Gσ ⋊ Γ, with the five cases in Table 1. In particular, the Markov surface itself has the maximal group K₄ ⋊ PGL₂(Z).
- The classical Markov tree, the double Fricke surface, and the generalized Markov equations are all the same phenomenon: their integral-point mutations are generated by the Vieta involutions, and the symmetries of the solution tree form a quotient of PGL₂(Z) (or its kernel Γ(2)).
- The vertices of the triangle complex give an intrinsic classification of fibrations of such surfaces over A¹ with general fiber A¹∖{0} (Proposition 4.11), so the combinatorics of completions has a geometric meaning independent of the chosen completion.
- As a corollary of Theorem 3.21, any automorphism fixing every component and node of the boundary triangle acts as the identity on all inner components and is a sign change of order at most 4; in particular, there are no nontrivial automorphisms fixing the boundary divisor pointwise.
Where Pith is reading between the lines
- The Farey-tessellation identification suggests a modular-dynamics reading: the action of Aut(Y) on T(Y) factors through PGL(2, Z) acting on rational cusps, so one could measure the complexity of a triangle completion by the continued-fraction length of the corresponding rational point; an extension would associate a continued-fraction expansion to each Vieta-word decomposition of an automorphism.
- Because the classification holds over any algebraically closed field of characteristic zero, the same single equation likely governs triangle surfaces over number fields; if so, integral points of each triangle surface would be orbit points under the Vieta-like involutions, giving explicit parametrizations that generalize Markov triples and cluster mutations.
- The five-row table suggests a stratification of the coefficient space of Markov-type cubics by stabilizer type; quotienting (a, b, c) by the S₄ of monomial symmetries yields exactly five strata, so the automorphism group is locally constant on strata and jumps only at special equalities — a useful skeleton for studying degenerations of the moduli space.
- The finiteness of the kernel (order ≤ 4) is a rigidity statement: an open surface with a triangle at infinity has no nontrivial automorphism fixing the boundary even setwise? (actually componentwise) — a natural testable extension is whether this rigidity persists for completions by a polygon of contractible curves.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces triangle surfaces: normal affine surfaces admitting a completion whose boundary is a triangle of contractible (-1)-curves. It constructs a triangle complex T(Y) whose vertices are inner components, edges are (0,0)-completions, and triangles are triangle completions, and proves that T(Y) is identified with the Farey tessellation, giving a homomorphism Aut(Y) -> PGL2(Z) (Theorem 3.21). The central classification result is that every triangle surface is isomorphic to a Markov-type cubic xyz = x^2+y^2+z^2+ax+by+cz+d (Corollary 5.4), and conversely every such cubic is a triangle surface (Proposition 6.3). The automorphism group is then computed as G_sigma ⋊ Gamma, where G_sigma is the free product of the three Vieta involutions and Gamma is a finite group determined by a,b,c via Table 1 (Theorem 6.12). Applications to the Markov surface, double Fricke surface, and generalized Markov numbers are given.
Significance. If the two flagged gaps are filled, this is a valuable contribution: it gives a purely geometric characterization of Markov-type cubics, unifies several known families, and attaches to each surface a beautiful combinatorial model (the Farey tessellation) that controls completions and automorphisms. The explicit automorphism groups, the semidirect product structure, and the recovery of prior results on Markov-like surfaces are significant. The paper is generally well written, with many checkable details, and the main conclusion is plausible and does not, on inspection, depend on assuming its own conclusion.
major comments (2)
- [§3, Prop. 3.3] Proposition 3.3 is imported without proof from [26, Thm 4.17, Prop. A.4], but [26] assumes normal surfaces, whereas the present paper's NC-pair definition (§2) allows isolated singularities. The proposition is then used in Lemmas 3.10–3.12 and Theorem 3.21 for arbitrary surfaces admitting a (0,0)-completion. The triangle complex, the marking bijection, and the homomorphism Aut(Y) -> PGL2(Z) all rest on this result. Since the main classification concerns normal affine surfaces, the authors should either prove the needed variant with the present hypotheses or restrict §3 to normal Y and explicitly verify that every NC-completion of a normal Y is normal (the observation that this holds appears only in §4). This is a genuine proof gap, not a demonstrated mathematical error.
- [§5, Cor. 5.4] The corollary asserts that the anticanonical map of the possibly singular degree-3 del Pezzo completion X is an embedding into P^3. Proposition 5.3 proves only that D is ample, Cartier, and -K_X ~ D; it does not show that |-K_X| is base-point-free and very ample. For singular Gorenstein del Pezzo surfaces this is a nontrivial statement and needs a proof or a precise reference covering the singular case (the cited [11, Thm 8.3.2] appears to address the smooth case). This step is load-bearing: it produces the cubic equation (4) on which the normal-form and automorphism analysis depends. Please supply the missing argument or an exact reference.
minor comments (5)
- [§7.1] The sentence 'Rescaling all three coordinates by 1/3' appears to state the inverse of the intended substitution: the next sentence shows that a Markov triple (m,n,k) becomes (3m,3n,3k). The rescaling should be 'by 3'.
- [§6, Table 1] The condition 'a=b≠0, ±c≠a' is ambiguous; it should be written 'c≠±a' or 'c^2≠a^2'.
- [§6, Lemma 6.2] The Gröbner basis computation is not shown. Since the argument is a computational assertion, please include the polynomial P or provide a reproducible link to the computation.
- [§4, Prop. 4.11] The reduction to the smooth case says 'We may assume X, and hence Y, to be smooth' and refers forward to the proof of Proposition 5.3. This is fine, but the minimal-resolution claim should be stated explicitly, since it is used to justify the identification of T(Y) and the fibrations.
- [§6, proof of Lemma 6.10] There is a typographical issue: 'nonzerotranslationwouldreintroducemixedquadratic' should have spaces. Also, 'stibilizers' in Theorem 6.12 is a typo.
Circularity Check
No circular derivation: the triangle-surface/Markov-cubic classification is derived from independent geometric inputs; heavy reliance on the authors' earlier [26] is a proof gap, not a circular step.
full rationale
The paper's central claim is that affine triangle surfaces are exactly cubic surfaces xyz=x^2+y^2+z^2+ax+by+cz+d (Corollary 5.4, Proposition 6.3), with automorphism group G_sigma ⋊ Γ (Theorem 6.12). This claim is not obtained by assuming its conclusion. The forward direction (Section 5) uses the geometry of a triangle pair: the boundary divisor is anticanonical and ample on a degree-3 del Pezzo surface (Proposition 5.3), and the anticanonical embedding gives the cubic equation. The converse (Proposition 6.3) checks directly that the closure of every such cubic has three (-1)-lines at infinity forming a normal-crossing cycle. Neither direction reduces to the asserted classification. The automorphism group computation uses Proposition 6.7, imported from El-Huti [32], which is an independent 1974 external result, not a self-citation. The main self-reliance is Proposition 3.3, imported from the authors' earlier paper [26] (Perepechko–Zaidenberg) and used to build the triangle complex T(Y) and the homomorphism Aut(Y) → PGL(2,Z). This is load-bearing for the combinatorial machinery and for the calculation of the kernel of the action. However, [26] is a separate structural theorem about NC-completions and birational maps of rigid affine surfaces; its stated assumptions do not include the target result that triangle surfaces equal Markov cubics, and it is not merely a restatement of the paper's conclusion. The proof of Proposition 3.3 is not reproduced, and the paper extends it from normal surfaces to isolated singularities without a full proof; these are genuine correctness/proof-gap risks, not circularity in the sense of a prediction being forced by its own fitted input or a definition being equivalent to its output. There is no equation in the paper that equals its own input by construction, and no fitted parameter is renamed as a prediction. Accordingly the circularity score is low; the honest finding is no significant circularity, with a mild deduction only for the heavy weight placed on an unpublished/accepted self-citation.
Axiom & Free-Parameter Ledger
axioms (5)
- domain assumption K is an algebraically closed field of characteristic zero.
- domain assumption Birational maps between (0,0)-completions admit relatively minimal decompositions into inner blowups with triangulable dual graph (Proposition 3.3 from [26, Thm 4.17]).
- domain assumption Aut(Y) is generated by the three Vieta involutions and the linear automorphisms, and the involutions generate their free product ([32, Theorems 1 and 2]).
- standard math A normal del Pezzo surface of degree 3 is anticanonically embedded as a cubic surface in P3.
- standard math Nakai–Moishezon, Serre duality, and Riemann–Roch on smooth rational surfaces hold as usual.
Cite this review
Pith. "Pith review of Open surfaces with a triangle at infinity." pith.science (2026). https://pith.science/paper/WQRPBMO2
@misc{pith2026260714055,
author = {Pith},
title = {Pith review of: Open surfaces with a triangle at infinity},
year = {2026},
howpublished = {\url{https://pith.science/paper/WQRPBMO2}},
note = {Machine review of arXiv:2607.14055}
}
abstract
A triangle surface is an open algebraic surface completed by a triangle of contractible $(-1)$-curves. We establish a combinatorial description of their completions. We also show that affine triangle surfaces are exactly cubic surfaces of Markov type. Explicit description of their automorphism groups is provided.
Figures
Reference graph
Works this paper leans on
-
[1]
Unlikely intersections problem for automorphisms of Markov surfaces, 2024
Marc Abboud. Unlikely intersections problem for automorphisms of Markov surfaces, 2024. URL: https://arxiv.org/abs/2401.05762
Pith/arXiv arXiv 2024
-
[2]
Aigner.Markov’s Theorem and 100 Years of the Uniqueness Conjecture
M. Aigner.Markov’s Theorem and 100 Years of the Uniqueness Conjecture. Springer, 2013
2013
-
[3]
Rafael B. Andrist. Holomorphic automorphisms of Markov-type surfaces, 2025. URL:https:// arxiv.org/abs/2502.15101
Pith/arXiv arXiv 2025
-
[4]
A generalization of Markov Numbers.The Ramanujan Journal, 63(4):1021–1055, 2024
Esther Banaian and Archan Sen. A generalization of Markov Numbers.The Ramanujan Journal, 63(4):1021–1055, 2024. URL:https://link.springer.com/10.1007/s11139-023-00801-6,doi: 10.1007/s11139-023-00801-6
-
[5]
Phd thesis, Brown University, 1991
Arthur Baragar.The Markoff Equation and Equations of Hurwitz. Phd thesis, Brown University, 1991
1991
-
[6]
Wolf P. Barth, Klaus Hulek, Chris A. M. Peters, and Antonius Van De Ven.Compact Complex Surfaces, volume 4 ofErgebnisse Der Mathematik Und Ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics. Springer Berlin Heidelberg, 2004. URL:https://link.springer. com/10.1007/978-3-642-57739-0,doi:10.1007/978-3-642-57739-0
-
[7]
Serge Cantat and Frank Loray. Dynamics on Character Varieties and Malgrange irreducibility of Painlev´ e VI equation.Annales de l’Institut Fourier, 59(7):2927–2978, 2009. URL:https://www. numdam.org/articles/10.5802/aif.2512/,doi:10.5802/aif.2512
-
[8]
Harvey Cohn. Approach to Markoff’s minimal forms through modular functions.Annals of Mathe- matics, 61(1):1–12, 1955.doi:10.2307/1969618. 22
doi:10.2307/1969618 1955
-
[9]
Chicago Lectures in Mathematics
Pierre de la Harpe.Topics in Geometric Group Theory. Chicago Lectures in Mathematics. University of Chicago Press, 2000
2000
-
[10]
Kristin DeVleming and David Stapleton. Smooth limits of plane curves of prime degree and Markov numbers.Journal de l’´Ecole polytechnique — Math´ ematiques, 11:683–731, 2024. URL:https://jep. centre-mersenne.org/articles/10.5802/jep.263/,doi:10.5802/jep.263
-
[11]
Dolgachev.Classical Algebraic Geometry: A Modern View
Igor V. Dolgachev.Classical Algebraic Geometry: A Modern View. Cambridge University Press, 2012
2012
-
[12]
Band II: Die Funktionentheoretischen Ausf¨ uhrungen Und Die Anwendungen
Robert Fricke and Felix Klein.Vorlesungen ¨ uber Die Theorie Der Automorphen Funktionen. Band II: Die Funktionentheoretischen Ausf¨ uhrungen Und Die Anwendungen. Teubner, 1912
1912
-
[13]
In Athanase Papadopoulos, editor,Handbook of Teichm¨ uller Theory, Vol- ume III, volume 17 ofIRMA Lectures in Mathematics and Theoretical Physics, pages 595–664
LouisFunar, ChristopheKapoudjian, andVladSergiescu.Asymptoticallyrigidmappingclassgroups and Thompson’s groups. In Athanase Papadopoulos, editor,Handbook of Teichm¨ uller Theory, Vol- ume III, volume 17 ofIRMA Lectures in Mathematics and Theoretical Physics, pages 595–664. European Mathematical Society, 2012
2012
-
[14]
Y. Gyoda. Positive integer solutions to (x+y)²+(y+z)²+(z+x)²=12xyz. 2021. URL:https:// arxiv.org/abs/2109.09639,arXiv:2109.09639
Pith/arXiv arXiv 2021
-
[15]
Yasuaki Gyoda and Kodai Matsushita. Generalization of Markov Diophantine Equation via Gener- alized Cluster Algebra.The Electronic Journal of Combinatorics, 30(4):P4.10, 2023. URL:https:// www.combinatorics.org/ojs/index.php/eljc/article/view/v30i4p10,doi:10.37236/11420
doi:10.37236/11420 2023
-
[16]
Robin Hartshorne.Algebraic Geometry, volume 52 ofGraduate Texts in Mathematics. Springer New York, 1977. URL:http://link.springer.com/10.1007/978-1-4757-3849-0,doi:10.1007/ 978-1-4757-3849-0
-
[17]
Hayder Raheem Hashim and Szabolcs Tengely. Solutions of a generalized markoff equation in Fi- bonacci numbers.Mathematica Slovaca, 70(5):1069–1078, 2020. URL:https://www.degruyter. com/document/doi/10.1515/ms-2017-0414/html,doi:10.1515/ms-2017-0414
-
[18]
Yuan Jin and Asmus L. Schmidt. A Diophantine equation appearing in Diophantine approxima- tion.Indagationes Mathematicae, 12(4):477–482, 2001. URL:https://linkinghub.elsevier.com/ retrieve/pii/S0019357701800367,doi:10.1016/S0019-3577(01)80036-7
-
[19]
Log K3 surfaces with irreducible boundary
J´ anos Koll´ ar. Log K3 surfaces with irreducible boundary, 2024. URL:http://arxiv.org/abs/ 2407.08051,arXiv:2407.08051,doi:10.48550/arXiv.2407.08051
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2407.08051 2024
-
[20]
Cubic surfaces with infinite, discrete automorphism group
J´ anos Koll´ ar and David Villalobos-Paz. Cubic surfaces with infinite, discrete automorphism group. Atti della Accademia Nazionale dei Lincei. Rendiconti Lincei. Matematica e Applicazioni, 36(3):563– 590, 2025. URL:https://arxiv.org/abs/2410.03934,doi:10.4171/RLM/1083
Pith/arXiv arXiv 2025
-
[21]
Diophantine equations via cluster transformations.Journal of Algebra, 462:320– 337, 2016
Philipp Lampe. Diophantine equations via cluster transformations.Journal of Algebra, 462:320– 337, 2016. URL:https://linkinghub.elsevier.com/retrieve/pii/S0021869316301193,doi: 10.1016/j.jalgebra.2016.04.033
-
[22]
A. Markoff. Sur les formes quadratiques binaires ind´ efinies.Mathematische Annalen, 15(3–4):381– 406, 1879. URL:http://link.springer.com/10.1007/BF02086269,doi:10.1007/BF02086269
-
[23]
A. Markoff. Sur les formes quadratiques binaires ind´ efinies.Mathematische Annalen, 17(3):379–399,
-
[24]
L. J. Mordell. The congruence ax3+by3+c=0 (mod xy), and integer solutions of cubic equations in three variables.Acta Mathematica, 88:77–83, 1952. URL: https://projecteuclid.org/journals/acta-mathematica/volume-88/issue-none/ The-congruence-ax3by3c0-modxy-and-integer-solutions-of-cubic-equations/10.1007/ BF02392129.full,doi:10.1007/BF02392129
-
[25]
L. J. Mordell. On the Integer Solutions of the Equation x2+y2+z2+2xyz = n.Journal of the Lon- don Mathematical Society, s1-28(4):500–510, 1953. URL:http://doi.wiley.com/10.1112/jlms/ s1-28.4.500,doi:10.1112/jlms/s1-28.4.500
doi:10.1112/jlms/ 1953
-
[26]
Automorphism groups of rigid affine surfaces: The identity component.Algebraic Geometry, 2026
Alexander Perepechko and Mikhail Zaidenberg. Automorphism groups of rigid affine surfaces: The identity component.Algebraic Geometry, 2026. accepted for publication
2026
-
[27]
Questions about the dynamics on a natural family of affine cubic surfaces, 2024
Julio Rebelo and Roland Roeder. Questions about the dynamics on a natural family of affine cubic surfaces, 2024. URL:https://arxiv.org/abs/2307.10962
Pith/arXiv arXiv 2024
-
[28]
Gerhard Rosenberger. ¨Uber die Diophantische Gleichung ax2 + by2 + cz2 = dxyz.Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal), 1979(305):122–125, 1979. URL: https://www.degruyter.com/document/doi/10.1515/crll.1979.305.122/html,doi:10.1515/ crll.1979.305.122
-
[29]
Clarendon Press, 1942
Beniamino Segre.The Non-Singular Cubic Surfaces. Clarendon Press, 1942. 23
1942
-
[30]
Joseph H. Silverman. The Markoff equation: Past, Present, Future.Notices of the American Math- ematical Society, 73(5):367–375, 2026.doi:10.1090/noti3336
-
[31]
Abdurrahman Muhammed Uluda˘ g and Esra¨Unal Yilmaz. Composition laws on the Fricke sur- face and Markov triples.Turkish Journal of Mathematics, 46(3):785–799, 2022. URL:https: //journals.tubitak.gov.tr/math/vol46/iss3/8,doi:10.55730/1300-0098.3123
arXiv 2022
-
[32]
CUBIC SURFACES OF MARKOV TYPE.Mathematics of the USSR- Sbornik, 22(3):333–348, 1974
M H `El’ Huti. CUBIC SURFACES OF MARKOV TYPE.Mathematics of the USSR- Sbornik, 22(3):333–348, 1974. URL:https://www.mathnet.ru/eng/sm3405,doi:10.1070/ sm1974v022n03abeh001696
1974
-
[33]
Автоморфизмы поверхностей марковского типа
Александр Юрьевич Перепечко. Автоморфизмы поверхностей марковского типа. Математические заметки, 110(5):744–750, 2021. URL:http://mi.mathnet.ru/mzm13263, doi:10.4213/mzm13263. Email address:dchunaev@hse.ru Lomonosov Moscow State University, Moscow, Russia HSE University, F aculty of Computer Science, Moscow, Russia Email address:a@perep.ru HSE University,...
-
[1880]
URL:http://link.springer.com/10.1007/BF01446234,doi:10.1007/BF01446234
This paper was first reviewed by deepseek-v4-flash on August 2, 2026.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.