{"id":"fdb4dd33-90a4-4660-a6e3-f8179398f99a","arxiv_id":"2607.02950","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"First non-trivial terminal local orders in dimension three are constructed as maximal orders with toric ramification data and as deformed symbols ramified on Kleinian singularities.","lead":"The paper constructs the first non-trivial examples of terminal local orders on threefolds, via explicit crossed-product algebras for toric ramification and deformed symbol algebras ramified on Kleinian surfaces. These fill a gap in the noncommutative minimal model program, which previously had only commutative terminal examples in dimension three.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The Reader correctly isolates Proposition 6.1 as the softest external citation, yet that step is short, standard, and does not affect the explicit constructions that constitute the paper’s contribution. The toric and deformed-symbol algebras are given by concrete generators and relations whose freeness, centrality, maximality and ramification are proved in full; the single missing Kleinian case is openly marked. No load-bearing gap appears that would justify changing the ACCEPT verdict. The suggested recomputation of the invariant ring in Proposition 3.1 is a routine sanity check that would confirm the toric examples remain terminal, but is not expected to fail.","tokens_in":13551,"tokens_out":486,"duration_ms":4819,"concrete_test":"Independently recompute the centre of A_Q/(y_i) in the proof of Proposition 3.1 for the n=3, ℓ odd-prime case of Corollary 3.3; verify that the invariant ring under H is Gorenstein precisely when two of the q_ij are inverses, matching the terminality criterion of Proposition 3.2.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper’s central claim is the existence of the first non-trivial terminal local orders in dimension 3, realized by two explicit constructions (crossed-product algebras A_Q for classified toric ramification data, and deformed symbols (a,b)_{ζ,r} for all but one Kleinian ramification datum). Both constructions are written out with free bases, cocycles, and explicit discriminants; maximality and global dimension follow from standard hereditary/Azumaya arguments (Propositions 3.1, 5.1–5.2, Theorem 5.4). The automatic-terminality step (Proposition 6.1) that the Reader flags is the only non-self-contained citation, but it is a short, standard comparison: (Spec R,D) is canonical for Kleinian D by the argument of Kollár–Mori 5.34 (the hypersurface-section hypothesis is unused in that proof), and the order discrepancy is then strictly larger by CCdV+17 Remark 2.19. No internal inconsistency, hidden parameter, or missing verification appears that would undermine the existence statements.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","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).","tokens_in":13835,"tokens_out":710,"duration_ms":5282,"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.","major_comments":[],"minor_comments":[{"comment":"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.","section":"Section 6, table (6.1)"},{"comment":"The phrase 'ramified on with surfaces' in the title of Section 6 is a typographical error.","section":"Section 6 title"},{"comment":"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.","section":"Proposition 6.1"},{"comment":"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.","section":"Theorem 4.1"}],"recommendation":"accept","confidential_remarks":"The paper is short, clean, and fills a clear gap. Fit for a solid algebra/geometry journal is excellent; no novelty or citation concerns."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper finally supplies concrete noncommutative terminal local orders in dimension three. Until now the only terminal examples were commutative singularities; the toric ramification data had been classified but no orders realizing them were written down. Chan–Ingalls give two families that close that gap.\n\nThe first is a crossed-product construction A_Q over the polynomial ring that is maximal of global dimension n and has the prescribed toric ramification (Proposition 3.1). Specializing to the odd-prime 3-fold list from their earlier work immediately yields terminal toric orders. The second family uses deformed symbols (a,b)_{ζ,r}; after checking freeness, centrality of p^ℓ, and the discriminant, Theorem 5.4 plus the Kleinian criterion produce maximal orders for every listed ramification cover except one D_{2n+3} case, which they flag. A short uniqueness result for the smooth A-type cover under the Cohen–Macaulay hypothesis is a nice bonus.\n\nThe proofs are standard noncommutative algebra (hereditary localizations, Auslander–Goldman, diamond lemma) plus the usual discrepancy comparison. The only non-self-contained step is Proposition 6.1, which invokes the argument of Kollár–Mori 5.34 without the hypersurface-section hypothesis; that argument really does not use the hypothesis, so the citation is fair. Everything else is written with free bases, explicit cocycles and discriminants, so the constructions are reproducible.\n\nSoft spots are minor and already acknowledged: one Kleinian case remains open, the uniqueness theorem is only for the regular A-type cover, and the paper does not attempt a full classification. None of these undercut the existence claims.\n\nThis is for people working on the MMP for orders or on Brauer groups of 3-folds. It is a solid existence paper that advances an established program; a serious editor should send it to referees without hesitation. I would cite the constructions and would bring the paper to reading group.","headline":"First explicit noncommutative terminal 3-fold orders, via two clean constructions that do what the abstract claims.","tokens_in":14366,"tokens_out":498,"would_cite":true,"duration_ms":4203,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14E30","16H10","14J17"],"pacs":[],"model":"grok-4.5","headline":"First non-trivial terminal local orders in dimension three are constructed, both toric and ramified on Kleinian surfaces.","keywords":["terminal orders","3-folds","ramification data","Kleinian singularities","toric orders","deformed symbols","minimal model program for orders"],"falsifier":"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.","tokens_in":14466,"feed_emoji":"📐","tokens_out":636,"duration_ms":5032,"temperature":0.7,"pith_summary":"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.","feed_headline":"First non-trivial terminal orders appear in dimension 3","feed_subtitle":"Explicit toric and Kleinian constructions supply the missing non-commutative examples.","key_machinery":"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.","core_discovery":"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.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["First non-trivial terminal local orders in dimension 3","Toric and Kleinian constructions yield terminal 3-fold orders","Non-trivial terminal orders realised on 3-folds","Maximal orders with given toric ramification are terminal","Deformed symbols give terminal orders on Kleinian surfaces"],"cache_read_input_tokens":128,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["First non-trivial terminal local orders in dimension 3","Toric and Kleinian constructions yield terminal 3-fold orders","Non-trivial terminal orders realised on 3-folds","Maximal orders with given toric ramification are terminal","Deformed symbols give terminal orders on Kleinian surfaces"]},"model":"grok-4.5","effort":"low","cost_usd":0.004148,"raw_usage":{"total_tokens":1090,"prompt_tokens":598,"num_sources_used":0,"completion_tokens":69,"cost_in_usd_ticks":41480000,"prompt_tokens_details":{"text_tokens":598,"audio_tokens":0,"image_tokens":0,"cached_tokens":0},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":423,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":598,"tokens_out":69,"duration_ms":3506,"temperature":1.0,"reasoning_tokens":423,"cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-12T05:52:12.821005+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"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.","supporting_citations":[],"review_version":1}