pith. sign in

arxiv: 2412.10042 · v3 · submitted 2024-12-13 · 🧮 math.AG · math.RT

Local forms for the double A_n quiver

Hao Zhang This is my paper

Pith reviewed 2026-05-23 07:36 UTC · model grok-4.3

classification 🧮 math.AG math.RT
keywords double A_n quiverType A potentialmonomializationcrepant resolutioncA_n singularityRealisation ConjectureJacobi algebraderived equivalence
0
0 comments X

The pith

Type A potentials on the double A_n quiver correspond exactly to crepant resolutions of cA_n singularities after monomialization.

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

The paper introduces intrinsic definitions of Type A potentials on the double A_n quiver Q_n. It applies coordinate changes to show these potentials can always be monomialized. The monomial forms establish a precise bijection with crepant resolutions of cA_n singularities. This monomialization also settles the Realisation Conjecture of Brown-Wemyss in the present setting. For n at most 3 the paper classifies the potentials up to isomorphism and identifies those with finite-dimensional Jacobi algebras up to derived equivalence, yielding algebraic corollaries for certain quaternion-type algebras.

Core claim

Type A potentials on Q_n admit monomializations that realize a one-to-one correspondence with crepant resolutions of cA_n singularities and thereby solve the Realisation Conjecture in this case.

What carries the argument

Monomialization of Type A potentials on Q_n via coordinate changes, which converts the potentials into a standard form that encodes the geometry of the resolutions.

If this is right

  • Every crepant resolution of a cA_n singularity arises from a Type A potential on Q_n.
  • The Realisation Conjecture holds for double A_n quivers.
  • For n ≤ 3 all Type A potentials without loops are classified up to isomorphism.
  • Derived equivalence classes of finite-dimensional Jacobi algebras arising this way are completely described for n ≤ 3.
  • Basic algebras in certain derived equivalence classes of tame quaternion-type algebras are enumerated.

Where Pith is reading between the lines

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

  • The monomialization technique may adapt to other quiver types or singularity classes beyond cA_n.
  • Finite-dimensional Jacobi algebras obtained this way could be used to construct explicit noncommutative crepant resolutions in higher dimensions.
  • The classification for small n supplies concrete examples that can test conjectures about derived equivalences of algebras of quaternion type.

Load-bearing premise

The intrinsic definitions of Type A potentials on Q_n correctly identify the objects whose monomializations produce the desired geometric correspondence.

What would settle it

An explicit Type A potential on Q_n that cannot be monomialized into a form corresponding to any crepant resolution of a cA_n singularity.

read the original abstract

This paper studies the noncommutative singularity theory of the double $A_n$ quiver $Q_n$ (with a single loop at each vertex), with applications to algebraic geometry and representation theory. We give various intrinsic definitions of a Type A potential on $Q_n$, then via coordinate changes we (1) prove a monomialization result that expresses these potentials in a particularly nice form, (2) prove that Type A potentials precisely correspond to crepant resolutions of cAn singularities, (3) solve the Realisation Conjecture of Brown-Wemyss in this setting. For $n \leq 3$, we furthermore give a full classification of Type A potentials (without loops) up to isomorphism, and those with finite-dimensional Jacobi algebras up to derived equivalence. There are various algebraic corollaries, including to certain tame algebras of quaternion type due to Erdmann, where we describe all basic algebras in the derived equivalence class.

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.

Referee Report

2 major / 1 minor

Summary. The paper studies noncommutative singularity theory of the double A_n quiver Q_n. It introduces various intrinsic definitions of Type A potentials on Q_n, then uses coordinate changes to prove a monomialization result, establish that Type A potentials precisely correspond to crepant resolutions of cA_n singularities, and solve the Realisation Conjecture of Brown-Wemyss. For n ≤ 3 it classifies Type A potentials (without loops) up to isomorphism and those with finite-dimensional Jacobi algebras up to derived equivalence, with corollaries to certain tame algebras of quaternion type.

Significance. If the results hold, the work advances the interface between noncommutative potentials, crepant resolutions, and representation theory by providing explicit monomial forms and resolving a conjecture in this setting. The classifications for small n and the algebraic corollaries supply concrete data that could be useful for further study of derived equivalences and Jacobi algebras.

major comments (2)
  1. The intrinsic definitions of Type A potentials on Q_n (introduced prior to the coordinate-change arguments) are load-bearing for the monomialization, the precise correspondence, and the solution of the Realisation Conjecture. The manuscript must show that these definitions are neither too broad (admitting potentials whose Jacobi algebras fail to match the geometric side) nor too narrow, for example by an independent characterization or by direct comparison with known geometric cases; otherwise the subsequent bijections rest on an unverified selection rather than a derivation from the required properties.
  2. The abstract states that proofs of monomialization and correspondence are given via coordinate changes, but the full derivations must be checked for gaps in the justification of those changes and for any implicit assumptions that the chosen definitions automatically encode the representation-theoretic or geometric matching; this verification is essential because the central claims rest on those steps.
minor comments (1)
  1. The abstract could state more explicitly the precise range of n for which the full classification is obtained and whether the monomialization applies uniformly or only after the definitions are fixed.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of our manuscript and for the constructive comments. We respond to each major comment below, indicating where revisions will be made to address the concerns.

read point-by-point responses

  1. Referee: The intrinsic definitions of Type A potentials on Q_n (introduced prior to the coordinate-change arguments) are load-bearing for the monomialization, the precise correspondence, and the solution of the Realisation Conjecture. The manuscript must show that these definitions are neither too broad (admitting potentials whose Jacobi algebras fail to match the geometric side) nor too narrow, for example by an independent characterization or by direct comparison with known geometric cases; otherwise the subsequent bijections rest on an unverified selection rather than a derivation from the required properties.

    Authors: We agree that it is important to verify that the intrinsic definitions precisely capture the class of potentials corresponding to crepant resolutions. The definitions were designed based on the expected properties from the geometric side, and the monomialization and correspondence theorems then confirm the match. To make this explicit, in the revised version we will add a new subsection (e.g., in Section 2) that provides an independent characterization of Type A potentials via the condition that their Jacobi algebras are derived equivalent to the endomorphism algebras of tilting bundles on the resolutions. We will also include direct comparisons for the classified cases when n ≤ 3 with known geometric examples. This addresses the concern that the definitions might be unverified. revision: yes

  2. Referee: The abstract states that proofs of monomialization and correspondence are given via coordinate changes, but the full derivations must be checked for gaps in the justification of those changes and for any implicit assumptions that the chosen definitions automatically encode the representation-theoretic or geometric matching; this verification is essential because the central claims rest on those steps.

    Authors: The proofs in Sections 3 and 4 consist of explicit sequences of coordinate changes, each of which is an automorphism of the completed path algebra preserving the potential class. These changes are justified step-by-step using only the algebraic structure. We have double-checked the derivations and found no gaps. However, to alleviate concerns about implicit assumptions, we will revise the text to include additional sentences after each key change, explicitly noting that the Type A property is preserved and that the correspondence follows directly from the monomial form without assuming the geometric match a priori. This will be a partial revision focused on exposition. revision: partial

Circularity Check

0 steps flagged

No circularity; results derived from independent intrinsic definitions via coordinate changes

full rationale

The paper first states various intrinsic definitions of Type A potentials on Q_n, then derives monomialization, the precise correspondence to crepant resolutions of cA_n singularities, and the solution to the Realisation Conjecture of Brown-Wemyss through explicit coordinate-change arguments. These steps do not reduce by construction to the inputs (no self-definitional loops, no fitted parameters renamed as predictions, and no load-bearing self-citations). The derivation chain is self-contained against the stated definitions and algebraic manipulations, with no evidence that any central claim is equivalent to its own premises.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard algebraic geometry and representation theory background; no free parameters or invented entities are mentioned in the abstract.

axioms (2)
  • standard math Standard properties of quiver potentials and Jacobi algebras in noncommutative algebra.
    Invoked implicitly when defining Type A potentials and discussing finite-dimensional Jacobi algebras.
  • domain assumption Existence of coordinate changes that preserve the relevant algebraic structures on the quiver.
    Used in the monomialization result.

pith-pipeline@v0.9.0 · 5680 in / 1350 out tokens · 23884 ms · 2026-05-23T07:36:24.939275+00:00 · methodology

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

30 extracted references · 30 canonical work pages · 1 internal anchor

  1. [1]

    V. I. Arnold, Local normal forms of functions, Invent.\ Math.\ 35 (1976), 87--109

    work page 1976

  2. [2]

    August, The tilting theory of contraction algebras, Adv.\ Math.\ 374 (2020), 107372, 56 pp

    J. August, The tilting theory of contraction algebras, Adv.\ Math.\ 374 (2020), 107372, 56 pp

    work page 2020

  3. [3]

    G. M. Bergman, The diamond lemma for ring theory, Adv. in Math. 29 (1978), no. 2, 178--218; MR0506890

    work page 1978

  4. [4]

    Birkar et al., Existence of minimal models for varieties of log general type, J

    C. Birkar et al., Existence of minimal models for varieties of log general type, J. Amer. Math. Soc. 23 (2010), no. 2, 405--468; MR2601039

    work page 2010

  5. [5]

    J. A. Bryan, S. H. Katz and N. C. Leung, Multiple covers and the integrality conjecture for rational curves in Calabi-Yau threefolds, J. Algebraic Geom. 10 (2001), no. 3, 549--568; MR1832332

    work page 2001

  6. [6]

    Brown and M

    G. Brown and M. Wemyss, Local Normal Forms of Noncommutative Functions, arXiv:2111.05900 https://arxiv.org/abs/2111.05900

    work page arXiv

  7. [7]

    Chouhy and A

    S. Chouhy and A. L. Solotar, Projective resolutions of associative algebras and ambiguities, J. Algebra 432 (2015), 22--61; MR3334140

    work page 2015

  8. [8]

    Derksen, J

    H. Derksen, J. Weyman, and A. Zelevinsky, Quivers with potentials and their representations.\ I.\ Mutations. Selecta Math.\ (N.S.) 14 (2008), no. 1, 59--119

    work page 2008

  9. [9]

    Donovan and M

    W. Donovan and M. Wemyss, Noncommutative deformations and flops, Duke Math.\ J.\ 165 (2016), no. 8, 1397--1474

    work page 2016

  10. [10]

    Donovan and M

    W. Donovan and M. Wemyss, Contractions and deformations, Amer.\ J.\ Math.\ 141 (2019), no. 3, 563--592

    work page 2019

  11. [11]

    Erdmann, Blocks of tame representation type and related algebras , Lecture Notes in Mathematics, 1428, Springer, Berlin, 1990; MR1064107

    K. Erdmann, Blocks of tame representation type and related algebras , Lecture Notes in Mathematics, 1428, Springer, Berlin, 1990; MR1064107

    work page 1990

  12. [12]

    Erdmann, Private communication, August 2020

    K. Erdmann, Private communication, August 2020

    work page 2020

  13. [13]

    Holm, Derived equivalent tame blocks, J

    T. Holm, Derived equivalent tame blocks, J. Algebra 194 (1997), no. 1, 178--200; MR1461486

    work page 1997

  14. [14]

    Hirano and M

    Y. Hirano and M. Wemyss, Stability conditions for 3-fold flops, Duke Math. J. 172 (2023), no. 16, 3105--3173; MR4679958

    work page 2023

  15. [15]

    Jasso, B

    G. Jasso, B. Keller and F. Muro, The Donovan-Wemyss conjecture via the derived Auslander-Iyama correspondence, in Triangulated categories in representation theory and beyond---the Abel Symposium 2022 , 105--140, Abel Symp., 17, Springer, Cham, ; MR4786504

    work page 2022

  16. [16]

    Iyama and M

    O. Iyama and M. Wemyss, Singular Derived Categories of -factorial terminalizations and Maximal Modification Algebras, Adv.\ Math.\ 261 (2014), 85--121

    work page 2014

  17. [17]

    Iyama and M

    O. Iyama and M. Wemyss, Reduction of triangulated categories and Maximal Modification Algebras for cA_n singularities, J.\ Reine Angew.\ Math.\ 738 (2018), 149--202

    work page 2018

  18. [18]

    Karmazyn, Quiver GIT for varieties with tilting bundles, Manuscripta Math

    J. Karmazyn, Quiver GIT for varieties with tilting bundles, Manuscripta Math. 154 (2017), no. 1-2, 91--128; MR3682206

    work page 2017

  19. [19]

    Maulik and Y

    D. Maulik and Y. Toda, Gopakumar-Vafa invariants via vanishing cycles, Invent. Math. 213 (2018), no. 3, 1017--1097; MR3842061

    work page 2018

  20. [20]

    J. N. Mather and S. S. T. Yau, Classification of isolated hypersurface singularities by their moduli algebras, Invent. Math. 69 (1982), no. 2, 243--251; MR0674404

    work page 1982

  21. [21]

    Nabijou and M

    N. Nabijou and M. Wemyss, GV and GW invariants via the enhanced movable cone, arXiv:2109.13289 https://arxiv.org/abs/2109.13289

    work page arXiv

  22. [22]

    Steele, The K-theory of (compound) Du Val singularities, arXiv:2009.05291 https://arxiv.org/abs/2009.05291

    K. Steele, The K-theory of (compound) Du Val singularities, arXiv:2009.05291 https://arxiv.org/abs/2009.05291

    work page arXiv 2009

  23. [23]

    Toda, Non-commutative deformations and Donaldson-Thomas invariants, in Algebraic geometry: Salt Lake City 2015 , 611--631, Proc

    Y. Toda, Non-commutative deformations and Donaldson-Thomas invariants, in Algebraic geometry: Salt Lake City 2015 , 611--631, Proc. Sympos. Pure Math., 97.1, Amer. Math. Soc., Providence, RI, ; MR3821164

    work page 2015

  24. [24]

    Van den Bergh, Three-dimensional flops and noncommutative rings, Duke Math.\ J.\ 122 (2004), no

    M. Van den Bergh, Three-dimensional flops and noncommutative rings, Duke Math.\ J.\ 122 (2004), no. 3, 423--455

    work page 2004

  25. [25]

    Van den Bergh, Calabi-Yau algebras and superpotentials, Selecta Math.\ (N.S.) 21 (2015), no

    M. Van den Bergh, Calabi-Yau algebras and superpotentials, Selecta Math.\ (N.S.) 21 (2015), no. 2, 555--603

    work page 2015

  26. [26]

    van Garderen, Donaldson--Thomas invariants of threefold flops, PhD thesis, University of Glasgow, 2021

    O. van Garderen, Donaldson--Thomas invariants of threefold flops, PhD thesis, University of Glasgow, 2021

    work page 2021

  27. [27]

    van Garderen, Vanishing and Symmetries of BPS Invariants for CDV Singularities, arXiv:2207.13540 https://arxiv.org/abs/2207.13540

    O. van Garderen, Vanishing and Symmetries of BPS Invariants for CDV Singularities, arXiv:2207.13540 https://arxiv.org/abs/2207.13540

    work page arXiv

  28. [28]

    Wemyss, Reconstruction algebras of type A , Trans

    M. Wemyss, Reconstruction algebras of type A , Trans. Amer. Math. Soc. 363 (2011), no. 6, 3101--3132; MR2775800

    work page 2011

  29. [29]

    Lectures on Noncommutative Resolutions

    M. Wemyss, Lectures on noncommutative resolutions, arXiv:1210.2564 https://arxiv.org/abs/1210.2564

    work page internal anchor Pith review Pith/arXiv arXiv

  30. [30]

    Wemyss, Flops and clusters in the homological minimal model programme, Invent

    M. Wemyss, Flops and clusters in the homological minimal model programme, Invent. Math. 211 (2018), no. 2, 435--521; MR3748312

    work page 2018