Pith. sign in

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 →

arxiv 2607.14055 v1 pith:WQRPBMO2 submitted 2026-07-15 math.AG

Open surfaces with a triangle at infinity

classification math.AG MSC 14J5014R2014L3005C60
keywords triangle surfaceMarkov-type cubicautomorphism groupFarey tessellationPGL(2,Z)Vieta involutionaffine surfacedel Pezzo surface
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The reading

The paper sets out to show that the purely geometric condition of admitting a completion by a triangle of contractible (−1)-curves completely pins down an affine surface's algebra: such surfaces are exactly the cubic surfaces of Markov type, given by one normal form equation. A companion combinatorial result describes all completions of such a surface by the triangle complex, a simplicial complex identical to the Farey tessellation, whose vertices correspond to the surfaces' fibrations over the affine line. The payoff is a complete, explicit computation of the automorphism group: the three Vieta involutions generate a free product, and the full group is that free product extended by a finite group of signed coordinate permutations read off from the coefficients. If correct, this gives a uniform explanation of why Markov's classical tree and many Diophantine generalizations all share the same and modular-group-shaped symmetry.

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.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

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)
  1. [§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.
  2. [§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)
  1. [§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'.
  2. [§6, Table 1] The condition 'a=b≠0, ±c≠a' is ambiguous; it should be written 'c≠±a' or 'c^2≠a^2'.
  3. [§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. [§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.
  5. [§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

0 steps flagged

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

0 free parameters · 5 axioms · 0 invented entities

The paper introduces no free parameters and no new postulated entities. It relies on standard algebro-geometric tools, on the cited decomposition theorem [26] co-authored by one of the present authors, and on El-Huti's generation/free-product theorem [32]. These are legitimate external supports, but readers should know that the two main structural theorems are black-boxed.

axioms (5)
  • domain assumption K is an algebraically closed field of characteristic zero.
    Stated in the Introduction; used throughout, e.g., generic unramifiedness in Lemma 4.1 and Proposition 4.11.
  • 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]).
    Foundation of the triangle complex T(Y); imported from the authors' prior work and not reproved here.
  • 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]).
    Used as a black box for Theorem 6.12; an external 1974 theorem, not proved in this paper.
  • standard math A normal del Pezzo surface of degree 3 is anticanonically embedded as a cubic surface in P3.
    Used in Corollary 5.4 without proof; standard classification of Gorenstein del Pezzo surfaces.
  • standard math Nakai–Moishezon, Serre duality, and Riemann–Roch on smooth rational surfaces hold as usual.
    Used in Proposition 5.3 and Proposition 4.11; standard background.

reviewed 2026-08-02 · how reviews work

0 comments
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}
}
Share X Bluesky LinkedIn Reddit HN
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

Figures reproduced from arXiv: 2607.14055 by Alexander Perepechko, Daniil Shunin, Dmitriy Chunaev.

Figure 1
Figure 1. Figure 1: The simplicial complex T(Y ) depicted in black. Each vertex is an inner component of Y marked by an element of P(Z 2 ). The adjacency tree of triangles is depicted in red. The starting (0, 0)-completion is em￾phasized by a thick edge. x y (0, 0) (0, 1) (0, 2) (0, 3) (0, 4) (1, 0) (1, 1) (1, 2) (1, 3) (1, 4) (2, 0) (2, 1) (2, 2) (2, 3) (2, 4) (3, 0) (3, 1) (3, 2) (3, 3) (3, 4) (4, 0) (4, 1) (4, 2) (4, 3) (4… view at source ↗
Figure 2
Figure 2. Figure 2: The positive quadrant of Z 2 tiled by triangles of the right half of T(Y ). We depict the simplicial complex T(Y ) marked by P(Z 2 ) and the adjacency tree of triangles in [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

34 extracted references · 11 canonical work pages · 1 internal anchor

  1. [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

  2. [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

  3. [3]

    Rafael B. Andrist. Holomorphic automorphisms of Markov-type surfaces, 2025. URL:https:// arxiv.org/abs/2502.15101

  4. [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. [5]

    Phd thesis, Brown University, 1991

    Arthur Baragar.The Markoff Equation and Equations of Hurwitz. Phd thesis, Brown University, 1991

  6. [6]

    Barth, Klaus Hulek, Chris A

    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. [7]

    Dynamics on Character Varieties and Malgrange irreducibility of Painlev´ e VI equation.Annales de l’Institut Fourier, 59(7):2927–2978, 2009

    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. [8]

    Approach to Markoff’s minimal forms through modular functions.Annals of Mathe- matics, 61(1):1–12, 1955.doi:10.2307/1969618

    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

  9. [9]

    Chicago Lectures in Mathematics

    Pierre de la Harpe.Topics in Geometric Group Theory. Chicago Lectures in Mathematics. University of Chicago Press, 2000

  10. [10]

    Smooth limits of plane curves of prime degree and Markov numbers.Journal de l’´Ecole polytechnique — Math´ ematiques, 11:683–731, 2024

    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. [11]

    Dolgachev.Classical Algebraic Geometry: A Modern View

    Igor V. Dolgachev.Classical Algebraic Geometry: A Modern View. Cambridge University Press, 2012

  12. [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

  13. [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

  14. [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

  15. [15]

    Generalization of Markov Diophantine Equation via Gener- alized Cluster Algebra.The Electronic Journal of Combinatorics, 30(4):P4.10, 2023

    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

  16. [16]

    Springer New York, 1977

    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. [17]

    Solutions of a generalized markoff equation in Fi- bonacci numbers.Mathematica Slovaca, 70(5):1069–1078, 2020

    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. [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. [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

  20. [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

  21. [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. [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. [23]

    A. Markoff. Sur les formes quadratiques binaires ind´ efinies.Mathematische Annalen, 17(3):379–399,

  24. [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. [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

  26. [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

  27. [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

  28. [28]

    ¨Uber die Diophantische Gleichung ax2 + by2 + cz2 = dxyz.Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal), 1979(305):122–125, 1979

    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. [29]

    Clarendon Press, 1942

    Beniamino Segre.The Non-Singular Cubic Surfaces. Clarendon Press, 1942. 23

  30. [30]

    Silverman

    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. [31]

    Composition laws on the Fricke sur- face and Markov triples.Turkish Journal of Mathematics, 46(3):785–799, 2022

    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

  32. [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

  33. [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,...

  34. [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.