Non-commutative crepant resolutions of toric singularities with divisor class group of rank one

Ryu Tomonaga

arxiv: 2510.26252 · v3 · pith:HC5OA5QQnew · submitted 2025-10-30 · 🧮 math.RT · math.AC· math.AG· math.RA

Non-commutative crepant resolutions of toric singularities with divisor class group of rank one

Ryu Tomonaga This is my paper

Pith reviewed 2026-05-18 03:52 UTC · model grok-4.3

classification 🧮 math.RT math.ACmath.AGmath.RA

keywords non-commutative crepant resolutionstoric singularitiesdivisor class groupIyama-Wemyss mutationslattice polytopesdimer modelsGorenstein toric singularitiesupper sets

0 comments

The pith

Toric NCCRs of Gorenstein toric singularities with rank-one divisor class group are classified by non-trivial upper sets in a quotient of the class group under a partial order.

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

The paper classifies toric non-commutative crepant resolutions for Gorenstein toric singularities where the divisor class group has rank one. These resolutions correspond one-to-one with non-trivial upper sets in a quotient of the divisor class group that carries a specific partial order. This correspondence proves that all such resolutions are connected by sequences of Iyama-Wemyss mutations and are therefore derived equivalent. The classification also yields explicit quivers with relations via higher-dimensional dimer models and confirms that the number of indecomposable summands equals the normalized volume of an associated lattice polytope.

Core claim

We prove the existence and give a classification of toric non-commutative crepant resolutions of Gorenstein toric singularities with divisor class group of rank one. They correspond bijectively to non-trivial upper sets in a certain quotient of the divisor class group equipped with a certain partial order, and all such NCCRs are connected by iterated Iyama-Wemyss mutations.

What carries the argument

The partial order on a quotient of the divisor class group, whose non-trivial upper sets biject with the toric NCCRs.

If this is right

All toric NCCRs for these singularities are derived equivalent.
The quivers with relations of the NCCRs can be described using higher-dimensional dimer models.
The number of indecomposable direct summands of a toric NCCR equals the normalized volume of the corresponding lattice polytope.
There is an explicit formula for the volume of d-dimensional lattice polytopes with d+2 vertices.

Where Pith is reading between the lines

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

This combinatorial approach via upper sets might generalize to cases with higher rank class groups if suitable orders can be defined.
The mutation connectivity suggests that these resolutions form a single derived equivalence class, potentially simplifying computations in related categories.
The volume verification supports broader conjectures on the structure of NCCRs in toric geometry.

Load-bearing premise

That the chosen partial order on the quotient of the divisor class group and its upper sets precisely correspond to all possible toric non-commutative crepant resolutions without omissions or extras.

What would settle it

Finding a Gorenstein toric singularity with divisor class group of rank one possessing a toric NCCR that does not correspond to any non-trivial upper set in the defined quotient, or two NCCRs not linked by Iyama-Wemyss mutations.

read the original abstract

We prove the existence and give a classification of toric non-commutative crepant resolutions (NCCRs) of Gorenstein toric singularities whose divisor class group has rank one. More precisely, such toric NCCRs are in bijection with non-trivial upper sets in a certain quotient of the divisor class group equipped with a natural partial order. This classification allows us to prove that all toric NCCRs of such toric singularities are connected by iterated Iyama--Wemyss mutations, and hence are derived equivalent to one another. We further give a dimer-model realization of this classification in the non-pyramidal case. More precisely, we construct periodic quivers with cuts on a $d$-dimensional torus, establish a cut-upper set correspondence, and prove that the resulting cut quiver with relations presents the corresponding toric NCCR. For $d=2$, this recovers the quiver-theoretic part of the usual dimer-model construction. In the appendix, we give an explicit formula for the volume of $d$-dimensional lattice polytopes with $d+2$ vertices. As an application, we verify Van den Bergh's conjectural equality, for Gorenstein toric singularities with divisor class group of rank one, between the number of indecomposable direct summands of a toric NCCR and the normalized volume of the corresponding lattice polytope.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper classifies toric NCCRs for Gorenstein toric singularities with rank-one divisor class group via a bijection to upper sets in a quotient poset and proves they are all mutation-equivalent.

read the letter

The one or two things to know: this paper establishes a bijective classification of toric NCCRs for Gorenstein toric singularities with divisor class group of rank one, corresponding to non-trivial upper sets in a quotient poset, and shows that all such NCCRs are connected by Iyama-Wemyss mutations. The new material is the correspondence itself along with the mutation connectedness. The explicit quiver descriptions via higher-dimensional dimer models add a concrete combinatorial layer. The appendix derives a volume formula for d-dimensional polytopes with d+2 vertices and uses it to confirm Van den Bergh's conjecture on the number of summands equaling the normalized volume. This pulls together scattered examples into a single framework and gives a uniform way to compare derived categories across them. The combinatorial arguments on posets and toric data look direct and avoid fitting or circular steps. The soft spots are limited. The partial order is built from the toric fan and Gorenstein height function, and the stress-test indicates it arises naturally without excluding valid resolutions. Since the full proofs are combinatorial, they should be checkable, though the abstract alone leaves some verification to the reader. No load-bearing flaws stand out. This paper is for specialists in noncommutative crepant resolutions and toric geometry. Readers interested in explicit classifications and conjecture verifications will find it useful. It has enough new, verifiable content to merit a serious referee. I would recommend it for peer review.

Referee Report

0 major / 3 minor

Summary. The manuscript proves the existence and gives a classification of toric non-commutative crepant resolutions (NCCRs) of Gorenstein toric singularities with divisor class group of rank one. These NCCRs correspond bijectively to non-trivial upper sets in a quotient of the divisor class group equipped with a partial order induced from the toric fan data and the Gorenstein condition. The classification is used to show that all such NCCRs are connected by iterated Iyama-Wemyss mutations and hence derived equivalent. The associated algebras are constructed explicitly as higher-dimensional dimer models. The appendix supplies an independent volume formula for d-dimensional lattice polytopes with d+2 vertices and applies it to verify Van den Bergh's conjecture that the number of indecomposable summands equals the normalized volume of the corresponding polytope.

Significance. If the combinatorial correspondence holds, the paper delivers a complete, parameter-free classification together with mutation connectivity and an explicit dimer-model realization for this restricted class of toric singularities. The independent volume formula in the appendix and the resulting verification of the conjecture constitute additional strengths that make the results falsifiable and directly applicable. These contributions advance the understanding of NCCRs in toric geometry and noncommutative algebraic geometry.

minor comments (3)

[Main construction (around the poset definition)] The definition of the partial order on the quotient of the divisor class group is central; a brief remark on its independence from the choice of supporting hyperplane (beyond the Gorenstein condition) would improve readability in the main construction section.
[Appendix] In the appendix, the volume formula is derived combinatorially; including a short explicit computation for a 3-dimensional polytope with 5 vertices would help readers verify the formula before the conjecture application.
[Section on quiver descriptions] Notation for the higher-dimensional dimer models could be clarified by adding a small diagram or table comparing the 2-dimensional and higher-dimensional cases.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report, accurate summary of the results, and recommendation to accept the manuscript. The referee's description correctly captures the classification of toric NCCRs via upper sets in the quotient of the divisor class group, the mutation connectivity, the dimer-model realization, and the appendix verification of Van den Bergh's conjecture.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines the partial order on the quotient of the divisor class group directly from the toric fan data and the Gorenstein condition via an induced height function, constructs the NCCR algebras explicitly as higher-dimensional dimer models, and proves the bijective correspondence to non-trivial upper sets by direct verification that every such upper set yields an NCCR and conversely. Mutation connectivity follows from the poset structure without external reduction. The appendix volume formula is derived independently and applied to confirm a count conjecture. No load-bearing step reduces by definition, fitting, or self-citation chain to its own inputs; the derivation is self-contained combinatorial geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard facts from toric geometry and representation theory of algebras; no new free parameters are introduced and no new entities are postulated beyond the combinatorial objects already present in the literature on NCCRs.

axioms (2)

standard math Standard properties of Gorenstein toric singularities and their divisor class groups
The setup assumes the usual definitions and exact sequences relating the class group to the lattice and the fan.
standard math Existence of Iyama-Wemyss mutation functors for NCCRs
The mutation connectedness statement invokes the general theory of mutations developed by Iyama and Wemyss.

pith-pipeline@v0.9.0 · 5725 in / 1594 out tokens · 36383 ms · 2026-05-18T03:52:55.770552+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 0.1: bijection between non-trivial upper sets in H and subsets J giving NCCRs via J(I) := I ∩ (I^c + p)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Higher representation infinite algebras and toric Fano stacks of Picard number one or two
math.AG 2025-11 unverdicted novelty 7.0

Classifies d-tilting line bundles on toric Fano stacks of Picard number 1 or 2 via upper sets in posets and establishes correspondences to d-representation infinite algebras of types Ã and ÃÃ with closure under d-APR tilts.