Pith. sign in

REVIEW 4 minor 73 references

Some terminal orders on 3-folds

T0 review · 0 major / 4 minor · reviewed 2026-07-12 · grok-4.5

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

Pith's one-line read First non-trivial terminal local orders in dimension three are constructed, both toric and ramified on Kleinian surfaces.

desk verdict First explicit noncommutative terminal 3-fold orders, via two clean constructions that do what the abstract claims. read the letter →

arxiv 2607.02950 v1 pith:G6ZY4FXQ submitted 2026-07-03 math.AG math.RA

Daniel Chan , Colin Ingalls This is my paper · ORCID
classification math.AGmath.RA MSC 14E3016H1014J17
keywords terminalorders3-foldsramificationdataKleiniansingularitiestoricdeformedsymbolsminimalmodelprogramfor
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

Until now the only known terminal orders in dimension three were the commutative terminal singularities themselves. This paper supplies the first non-commutative examples by two explicit constructions. One builds maximal orders whose ramification is toric and realises every previously classified terminal toric ramification datum of odd prime index. The other deforms symbol algebras so that the resulting maximal orders are ramified exactly on a surface with a Kleinian singularity; such orders are automatically terminal. A uniqueness statement is proved for Cohen–Macaulay maximal orders in the smooth A-type case. The constructions open a concrete supply of three-dimensional terminal orders that can be used in the non-commutative minimal model program.

What carries the argument

Deformed symbol algebras (a,b)_{ζ,r} = R⟨x,y⟩/(x^ℓ−a,y^ℓ−b,yx−ζxy−r) and the crossed-product algebras A_Q = k[y_1,…,y_n]∗_{c_Q}(ℤ/ℓℤ)^{n(n−2)}; the former produce the Kleinian examples, the latter the toric ones.

What would settle it

Exhibit a maximal order whose only ramification is a Kleinian surface singularity yet whose discrepancy with respect to some birational model is negative, or show that the missing D_{2n+3}/A_{2n} cover of degree 4 cannot appear as the ramification of any maximal order.

Watch

Extended reading notes

Core claim

There exist non-trivial terminal local orders in dimension three. They arise in two families: (i) crossed-product algebras A_Q that realise every classified toric terminal ramification datum of odd prime index, and (ii) deformed symbol algebras (a,b)_{ζ,r} that realise all but one of the Kleinian ramification data and are therefore terminal by the log-pair criterion.

Load-bearing premise

That any maximal order ramified only on a surface with a Kleinian singularity is automatically terminal, which rests on the claim that the associated log pair is already canonical.

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

0 major / 4 minor

Summary. The paper constructs the first known non-trivial terminal local orders in dimension three. The first construction produces maximal orders A_Q over k[x_1,...,x_n] as crossed products k[y_1,...,y_n] *_{c_Q} (Z/lZ)^{n(n-2)} realizing prescribed toric ramification data (Proposition 3.1, Theorem 1.1); when n=3 and l is an odd prime this recovers all terminal toric data classified in CCdV+17. The second construction uses deformed symbol algebras (a,b)_{zeta,r} over k[[u,v,w]] to realize all but one of the Kleinian ramification data (Theorem 1.2, Corollary 6.2); these are terminal by the automatic criterion of Proposition 6.1. Additional results include a strange duality relating terminality of A_Q to that of a dual toric singularity (Theorem 4.1), an even Clifford/Sklyanin example (Proposition 7.1), and a uniqueness statement for Cohen-Macaulay maximal orders in the regular A_{l-1} case (Theorem 1.3, Corollary 8.6).

Significance. Existence of non-commutative terminal 3-fold orders has been open since the MMP for orders was developed; previously only commutative terminal singularities were known. The paper supplies two infinite families of explicit examples (generators, relations, free bases, cocycles, and discriminants) whose maximality and terminality are verified by standard hereditary/Azumaya and discrepancy arguments. The constructions are concrete enough to support further classification or deformation questions, and the uniqueness result for the regular A case is a clean first step in that direction. The work is therefore a genuine advance for the non-commutative MMP.

minor comments (4)
  1. [Section 6, table (6.1)] In the table (6.1) the exceptional D_{2n+3}/A_{2n} row is marked with question marks; a one-sentence remark on why the deformed-symbol method fails there (or a pointer to the obstruction) would help the reader.
  2. [Section 6 title] The phrase 'ramified on with surfaces' in the title of Section 6 is a typographical error.
  3. [Proposition 6.1] Proposition 6.1 invokes the proof of Kollar-Mori 5.34 without the hypersurface-section hypothesis; a brief parenthetical confirming that the argument never uses that hypothesis would make the citation fully self-contained.
  4. [Theorem 4.1] In the proof of Theorem 4.1 the lattice scaling 1/l rad Q is introduced without a short reminder of the usual toric convention; a sentence would improve readability for non-toric specialists.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: explicit free-basis constructions and direct ramification/terminality computations; self-citations supply background comparison lemmas only.

full rationale

The paper's central existence claims (Theorems 1.1–1.2) rest on two concrete algebra presentations: the crossed-product A_Q = k[y1,...,yn] *_{c_Q} (Z/lZ)^{n(n-2)} (Proposition 3.1, with explicit 2-cocycle from the au_ij) and the deformed symbols (a,b)_{\zeta,r} (Equation 5.1). Free bases, Azumaya loci, normality of p, and ramification covers are computed directly from the relations (Propositions 5.1–5.2, Theorem 5.4, Corollary 6.2). Terminality of the Kleinian examples follows from the external fact that (Spec R, D) is canonical for Kleinian D (argument of KM98 Thm 5.34, hypersurface hypothesis unused) plus the standard discrepancy comparison of CCdV+17 Rem 2.19; the latter is a self-citation but is not used to define or force the algebras themselves. Toric terminality likewise uses the prior classification of ramification data only as a list of targets for which the new orders are exhibited. Uniqueness (Corollary 8.6) is proved from Auslander–Goldman-style depth/projectivity arguments, not imported as a black-box uniqueness theorem that forbids alternatives. No fitted parameters, self-definitional loops, or renaming of known patterns appear. The constructions are therefore independent of the background citations and self-contained.

Assumptions & free parameters 0 free parameters · 4 assumptions · 2 invented entities

The paper is pure existence mathematics. It relies on standard results about maximal orders, discrepancy, and Kleinian singularities, plus the already-classified list of toric terminal ramification data. No numerical parameters are fitted; the only free choices are the roots of unity and the explicit polynomials a,b,r that realize each ADE type.

assumptions (4)
  • domain assumption Base field k of characteristic zero containing all ℓ-th roots of unity
    Stated at the outset; needed for symbols and Galois actions on ramification covers.
  • domain assumption Classification of terminal toric ramification data in dimension 3 for odd prime index (CCdV+17, Prop. 5.4)
    Used to assert that the constructed A_Q are terminal once the matrix Q satisfies the inverse-pair condition.
  • standard math A surface singularity D is Kleinian if and only if (Spec R, D) is canonical (Kollár–Mori, proof of Thm 5.34)
    Invoked in Prop. 6.1 to conclude that orders ramified only on Kleinian surfaces are terminal.
  • standard math Auslander–Goldman criteria for maximality of hereditary orders (AG60)
    Used repeatedly to promote reflexive orders that are hereditary in codimension one to maximal orders.
invented entities (2)
  • Deformed symbol algebra (a,b)_{ζ,r}
    purpose: Provide an explicit free R-algebra whose quotient by the normal element p realizes prescribed Kleinian ramification covers
    Defined in §5 by generators and relations generalizing Clifford algebras; existence of the orders rests on verifying that these algebras satisfy the hypotheses of Thm 5.4.
  • Crossed-product order A_Q = k[y1,...,yn] *_{c_Q} (Z/ℓZ)^{n(n-2)}
    purpose: Realize every toric ramification datum by an explicit maximal order of finite global dimension
    Constructed in §3 from a skew-symmetric matrix of roots of unity; maximality and ramification are computed directly from the cocycle.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Some terminal orders on 3-folds." pith.science (2026). https://pith.science/paper/G6ZY4FXQ

@misc{pith2026260702950,
  author       = {Pith},
  title        = {Pith review of: Some terminal orders on 3-folds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/G6ZY4FXQ}},
  note         = {Machine review of arXiv:2607.02950}
}
read the original abstract

We produce the first known examples of non-trivial terminal local orders in the 3-dimensional case. We exhibit two different constructions. The first produces maximal orders with given toric ramification data. Since toric terminal ramification data in dimension 3 has been classified this produces toric examples. The second construction yields maximal orders ramified on surfaces with Kleinian singularities. These are automatically terminal.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

73 extracted references · 20 canonical work pages

  1. [1]

    arXiv preprint arXiv:1707.00834 , year=

    The minimal model program for b-log canonical divisors and applications , author=. arXiv preprint arXiv:1707.00834 , year=

    arXiv

  2. [2]

    Auslander, Maurice and Goldman, Oscar , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1960 , PAGES =. doi:10.2307/1993361 , URL =

    work page doi:10.2307/1993361 1960

  3. [3]

    Artin, Michael and de Jong, Aise Johan , title =

  4. [4]

    Proceedings of the London Mathematical Society , volume=

    Some elementary examples of unirational varieties which are not rational , author=. Proceedings of the London Mathematical Society , volume=. 1972 , publisher=

    1972

  5. [5]

    and Tate, J

    Artin, M. and Tate, J. and Van den Bergh, M. , TITLE =. The. 1990 , MRCLASS =

    1990

  6. [6]

    and Tate, J

    Artin, M. and Tate, J. and Van den Bergh, M. , TITLE =. Invent. Math. , FJOURNAL =. 1991 , NUMBER =. doi:10.1007/BF01243916 , URL =

    doi:10.1007/bf01243916 1991

  7. [7]

    and Kahn, Bruno , TITLE =

    Colliot-Th\'el\`ene, Jean-Louis and Hoobler, Raymond T. and Kahn, Bruno , TITLE =. Algebraic. 1997 , ISBN =. doi:10.1090/fic/016/02 , URL =

    work page doi:10.1090/fic/016/02 1997

  8. [8]

    , Coden =

    Craw, Alastair and Smith, Gregory G. , Coden =. Projective toric varieties as fine moduli spaces of quiver representations , Url =. Amer. J. Math. , Mrclass =. doi:10.1353/ajm.0.0027 , Fjournal =

    work page doi:10.1353/ajm.0.0027

Show all 73 references
  1. [9]

    , TITLE =

    Bergman, Aaron and Proudfoot, Nicholas J. , TITLE =. Pacific J. Math. , FJOURNAL =. 2008 , NUMBER =. doi:10.2140/pjm.2008.237.201 , URL =

    2008 doi

  2. [10]

    Tannaka Duality for Geometric Stacks , Year=

    Lurie, Jacob , Note =. Tannaka Duality for Geometric Stacks , Year=

  3. [11]

    Representation theory of

    Herschend, Martin and Iyama,Osamu and Minamoto, Hiroyuki and Oppermann, Steffen , Note =. Representation theory of

  4. [12]

    Abdelgadir, Tarig M. H. , TITLE =. J. Algebra , FJOURNAL =. 2012 , PAGES =

    2012

  5. [13]

    Abramovich, Dan and Corti, Alessio and Vistoli, Angelo , TITLE =. Comm. Algebra , FJOURNAL =. 2003 , NUMBER =. doi:10.1081/AGB-120022434 , URL =

    2003 doi

  6. [14]

    Alper, Jarod , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2013 , NUMBER =

    2013

  7. [15]

    Abramovich, Dan and Olsson, Martin and Vistoli, Angelo , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2008 , NUMBER =

    2008

  8. [16]

    , TITLE =

    Auslander, Maurice and Reiten, Idun and Smal , Sverre O. , TITLE =. 1997 , PAGES =

    1997

  9. [17]

    Weighted projective lines as fine moduli spaces of quiver representations , Url =

    Abdelgadir, Tarig and Ueda, Kazushi , Date-Added =. Weighted projective lines as fine moduli spaces of quiver representations , Url =. Comm. Algebra , Mrclass =. doi:10.1080/00927872.2013.842245 , Fjournal =

    2013 doi

  10. [18]

    Rickard, Jeremy , TITLE =. J. London Math. Soc. (2) , FJOURNAL =. 1989 , NUMBER =. doi:10.1112/jlms/s2-39.3.436 , URL =

    1989 doi

  11. [19]

    and Zhang, J

    Artin, M. and Zhang, J. J. , TITLE =. Adv. Math. , FJOURNAL =. 1994 , NUMBER =. doi:10.1006/aima.1994.1087 , URL =

    1994 doi

  12. [20]

    and Zhang, J

    Artin, M. and Zhang, J. J. , TITLE =. Algebr. Represent. Theory , FJOURNAL =. 2001 , NUMBER =. doi:10.1023/A:1012006112261 , URL =

    2001 doi

  13. [21]

    Be linson, A. A. , TITLE =. Funktsional. Anal. i Prilozhen. , FJOURNAL =. 1978 , NUMBER =

    1978

  14. [22]

    arXiv preprint arXiv:2012.15801 , year=

    Globally+-regular varieties and the minimal model program for threefolds in mixed characteristic , author=. arXiv preprint arXiv:2012.15801 , year=

    2012 arXiv

  15. [23]

    Bridgeland, Tom and King, Alastair and Reid, Miles , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2001 , NUMBER =. doi:10.1090/S0894-0347-01-00368-X , URL =

    2001 doi

  16. [24]

    Algebraic & Geometric Topology , volume=

    The Karoubi envelope and Lee’s degeneration of Khovanov homology , author=. Algebraic & Geometric Topology , volume=. 2006 , publisher=

    2006

  17. [25]

    Compositio Math

    Bondal, Alexei and Orlov, Dmitri , TITLE =. Compositio Math. , FJOURNAL =. 2001 , NUMBER =. doi:10.1023/A:1002470302976 , URL =

    2001 doi

  18. [26]

    Bridgeland, Tom , TITLE =. Bull. London Math. Soc. , FJOURNAL =. 1999 , NUMBER =. doi:10.1112/S0024609398004998 , URL =

    1999 doi

  19. [27]

    Chan, Kenneth , title =

  20. [28]

    Chan, Daniel , title =

  21. [29]

    Chan, Daniel , TITLE =. Adv. Math. , FJOURNAL =. 2012 , NUMBER =

    2012

  22. [30]

    Chan, Daniel , TITLE =. J. Algebra , FJOURNAL =. 2017 , PAGES =. doi:10.1016/j.jalgebra.2016.11.037 , URL =

    2017 doi

  23. [31]

    Cadman, Charles , TITLE =. Amer. J. Math. , FJOURNAL =. 2007 , NUMBER =

    2007

  24. [32]

    Proceedings of the London Mathematical Society , volume=

    Canonical singularities of orders over surfaces , author=. Proceedings of the London Mathematical Society , volume=. 2009 , publisher=

    2009

  25. [33]

    Chan, Daniel and Ingalls, Colin , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 2004 , NUMBER =. doi:10.1112/S0024611503014278 , URL =

    2004 doi

  26. [34]

    Inventiones mathematicae , volume=

    The minimal model program for orders over surfaces , author=. Inventiones mathematicae , volume=. 2005 , publisher=

    2005

  27. [35]

    New trends in noncommutative algebra , SERIES =

    Chan, Daniel and Ingalls, Colin , TITLE =. New trends in noncommutative algebra , SERIES =. 2012 , ISBN =. doi:10.1090/conm/562/11130 , URL =

    2012 doi

  28. [36]

    Chan, Daniel and Ingalls, Colin , TITLE =. Math. Z. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00209-020-02552-2 , URL =

    2021 doi

  29. [37]

    arXiv preprint arXiv:2108.03105 , year=

    The minimal model program for arithmetic surfaces enriched by a Brauer class , author=. arXiv preprint arXiv:2108.03105 , year=

    arXiv

  30. [38]

    Moduli stacks of

    Chan, Daniel and Lerner, Boris , Date-Added =. Moduli stacks of. Adv. Math. , Mrclass =. doi:10.1016/j.aim.2017.03.027 , Fjournal =

    2017 doi

  31. [39]

    and Little, John B

    Cox, David A. and Little, John B. and Schenck, Henry K. , TITLE =. 2011 , PAGES =. doi:10.1090/gsm/124 , URL =

    2011 doi

  32. [40]

    1995 , PAGES =

    Eisenbud, David , TITLE =. 1995 , PAGES =. doi:10.1007/978-1-4612-5350-1 , URL =

    1995 doi

  33. [41]

    2016 , publisher=

    Tensor categories , author=. 2016 , publisher=

    2016

  34. [42]

    1993 , PAGES =

    Fulton, William , TITLE =. 1993 , PAGES =. doi:10.1515/9781400882526 , URL =

    1993 doi

  35. [43]

    Dix expos\'

    Grothendieck, Alexander , TITLE =. Dix expos\'. 1968 , MRCLASS =

    1968

  36. [44]

    Central simple algebras and

    Gille, Philippe and Szamuely, Tam\'. Central simple algebras and. 2017 , PAGES =

    2017

  37. [45]

    Singularities, representation of algebras, and vector bundles (

    Geigle, Werner and Lenzing, Helmut , TITLE =. Singularities, representation of algebras, and vector bundles (. 1987 , MRCLASS =. doi:10.1007/BFb0078849 , URL =

    1987 doi

  38. [46]

    Grieve, Nathan and Ingalls, Colin , TITLE =. Adv. Math. , FJOURNAL =. 2021 , PAGES =. doi:10.1016/j.aim.2021.108013 , URL =

    2021 doi

  39. [47]

    1977 , PAGES =

    Hartshorne, Robin , TITLE =. 1977 , PAGES =

    1977

  40. [48]

    Hall, Jack and Rydh, David , TITLE =. Compos. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1112/S0010437X17007394 , URL =

    2017 doi

  41. [49]

    Category theory , pages=

    An introduction to Tannaka duality and quantum groups , author=. Category theory , pages=. 1991 , organization=

    1991

  42. [50]

    Keel, Se\'an and Mori, Shigefumi , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1997 , NUMBER =. doi:10.2307/2951828 , URL =

    1997 doi

  43. [51]

    King, A. D. , TITLE =. Quart. J. Math. Oxford Ser. (2) , FJOURNAL =. 1994 , NUMBER =. doi:10.1093/qmath/45.4.515 , URL =

    1994 doi

  44. [52]

    Birational geometry of algebraic varieties , SERIES =

    Koll\'. Birational geometry of algebraic varieties , SERIES =. 1998 , PAGES =. doi:10.1017/CBO9780511662560 , URL =

    1998 doi

  45. [53]

    Singularities of the minimal model program , SERIES =

    Koll\'. Singularities of the minimal model program , SERIES =. 2013 , PAGES =. doi:10.1017/CBO9781139547895 , URL =

    2013 doi

  46. [54]

    preprint , year=

    Birational geometry of log surfaces , author=. preprint , year=

  47. [55]

    Algebraic geometry---

    Kresch, Andrew , TITLE =. Algebraic geometry---. 2009 , MRCLASS =. doi:10.1090/pspum/080.1/2483938 , URL =

    2009 doi

  48. [56]

    , TITLE =

    Le Potier, J. , TITLE =. 1997 , PAGES =

    1997

  49. [57]

    Lipman, Joseph , TITLE =. Inst. Hautes \'. 1969 , PAGES =

    1969

  50. [58]

    2002 , publisher=

    Algebraic geometry and arithmetic curves , author=. 2002 , publisher=

    2002

  51. [59]

    2000 , PAGES =

    Laumon, G\'erard and Moret-Bailly, Laurent , TITLE =. 2000 , PAGES =

    2000

  52. [60]

    Vanishing Theorems

    Lazarsfeld, Robert. Vanishing Theorems. Positivity in Algebraic Geometry I: Classical Setting: Line Bundles and Linear Series. 2004. doi:10.1007/978-3-642-18808-4_6

    2004 doi

  53. [61]

    arXiv preprint math/0412266 , year=

    Tannaka duality for geometric stacks , author=. arXiv preprint math/0412266 , year=

    arXiv

  54. [62]

    2013 , publisher=

    Categories for the working mathematician , author=. 2013 , publisher=

    2013

  55. [63]

    , TITLE =

    Milne, James S. , TITLE =. 1980 , PAGES =

    1980

  56. [64]

    and Fogarty, J

    Mumford, D. and Fogarty, J. and Kirwan, F. , TITLE =. 1994 , PAGES =

    1994

  57. [65]

    Nanayakkara, Basil , TITLE =. J. Algebra , FJOURNAL =. 2012 , PAGES =. doi:10.1016/j.jalgebra.2012.08.013 , URL =

    2012 doi

  58. [66]

    Olsson, Martin and Starr, Jason , TITLE =. Comm. Algebra , FJOURNAL =. 2003 , NUMBER =. doi:10.1081/AGB-120022454 , URL =

    2003 doi

  59. [67]

    Ramras, Mark , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1969 , PAGES =. doi:10.2307/1995367 , URL =

    1969 doi

  60. [68]

    , TITLE =

    Reiner, I. , TITLE =. 1975 , PAGES =

    1975

  61. [69]

    Saito, Shuji , TITLE =. Invent. Math. , FJOURNAL =. 1986 , NUMBER =. doi:10.1007/BF01389096 , URL =

    1986 doi

  62. [70]

    Saito, Shuji , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1989 , NUMBER =. doi:10.2307/1971517 , URL =

    1989 doi

  63. [71]

    , TITLE =

    Saltman, David J. , TITLE =. J. Algebra , FJOURNAL =. 2008 , NUMBER =. doi:10.1016/j.jalgebra.2008.02.028 , URL =

    2008 doi

  64. [72]

    Graduate Texts in Mathematics , pages=

    Local fields, volume 67 of , author=. Graduate Texts in Mathematics , pages=

  65. [73]

    , TITLE =

    Weibel, Charles A. , TITLE =. 1994 , PAGES =. doi:10.1017/CBO9781139644136 , URL =

    1994 doi

Pith tools

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