Quiver down-up algebras of type A

Dennis Keeler; Jason Gaddis

arxiv: 2512.02821 · v2 · submitted 2025-12-02 · 🧮 math.RA

Quiver down-up algebras of type A

Jason Gaddis , Dennis Keeler This is my paper

Pith reviewed 2026-05-17 02:29 UTC · model grok-4.3

classification 🧮 math.RA

keywords quiver algebrasdown-up algebrasnoetherian ringstwisted Calabi-YauDynkin quiversgraded algebrasisomorphism problem

0 comments

The pith

Quiver down-up algebras of type A are noetherian piecewise domains and twisted Calabi-Yau under a non-degeneracy condition.

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

The paper defines quiver down-up algebras as quotients of the double of the extended Dynkin quiver of type A, generalizing the down-up algebras of Benkart and Roby. It proves that when the defining parameters satisfy a non-degeneracy condition, these algebras are noetherian piecewise domains. The same condition also implies that the algebras are twisted Calabi-Yau. The work further addresses the isomorphism problem among graded examples of these algebras.

Core claim

Quiver down-up algebras arise as quotients of the double of the extended Dynkin quiver of type A. Under a non-degeneracy condition on the parameters, they are shown to be noetherian piecewise domains and twisted Calabi-Yau. The paper also studies the isomorphism problem for the graded versions.

What carries the argument

Quiver down-up algebras, defined as quotients of the double of the extended Dynkin quiver of type A, that carry the noetherian and homological properties under non-degeneracy.

If this is right

The algebras satisfy the noetherian property and are piecewise domains.
They carry the twisted Calabi-Yau property.
Graded versions admit a classification up to isomorphism in some cases.
These algebras provide new families of examples with controlled homological behavior.

Where Pith is reading between the lines

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

The construction may supply further examples for studying noncommutative Calabi-Yau geometry.
Similar quotient constructions on other quivers could yield analogous noetherian and Calabi-Yau results.
The isomorphism problem results might extend to ungraded or filtered versions of the algebras.

Load-bearing premise

The non-degeneracy condition on the parameters or relations that define the quiver down-up algebra.

What would settle it

An explicit set of parameters violating non-degeneracy for which the corresponding quiver down-up algebra fails to be noetherian.

read the original abstract

We present a generalization of down-up algebras, originally defined by Benkart and Roby. These quiver down-up algebras arise as quotients of the double of the extended Dynkin quiver of type A. Under a certain non-degeneracy condition, we show that quiver down-up algebras are noetherian piecewise domains, and that they are twisted Calabi--Yau. Finally, we consider the isomorphism problem for graded quiver down-up algebras.

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 gives a quiver generalization of down-up algebras with direct proofs of noetherian and twisted Calabi-Yau properties.

read the letter

The punchline is that this paper gives a quiver generalization of down-up algebras and establishes noetherian and twisted Calabi-Yau properties with direct proofs. They present these algebras as quotients of the double quiver of extended type A. Under the non-degeneracy condition, which keeps the parameters away from roots that would force degeneracy, the algebras turn out to be noetherian piecewise domains. They also satisfy the twisted Calabi-Yau condition. What stands out is how they prove these things. They use a filtration whose associated graded ring is shown to be a domain with good properties. This helps with the noetherian claim. The piecewise domain property comes straight from the quiver relations. For Calabi-Yau, they construct a bimodule resolution and show its dual is the algebra shifted. Everything is checked by hand on generators and relations. The stress-test note confirms there are no circular arguments or hidden assumptions here. The proofs are self-contained computations. A possible soft spot is whether the non-degeneracy condition is the most general possible, but the paper treats it as necessary to avoid collapse, so that is probably fine. The isomorphism problem is raised for the graded case, which might be the start of something rather than a complete classification. This paper is for specialists in noncommutative ring theory, particularly those interested in down-up algebras and their generalizations or in algebras with Calabi-Yau properties. It provides new examples with proven structural features. I think it should go to peer review. The core claims rest on verifiable calculations, so referees can engage with the details.

Referee Report

0 major / 3 minor

Summary. The manuscript defines quiver down-up algebras of type A as quotients of the double of the extended Dynkin quiver of type A, generalizing the down-up algebras of Benkart and Roby. Under a non-degeneracy condition on the parameters, it proves that these algebras are noetherian piecewise domains and twisted Calabi-Yau. It also addresses the isomorphism problem for the graded versions.

Significance. If the results hold, this work supplies a new family of explicit examples of twisted Calabi-Yau algebras that are simultaneously noetherian and piecewise domains. The direct computational proofs via compatible filtrations (showing the associated graded ring is a domain) and explicit bimodule resolutions (verifying the twisted CY property) are strengths that offer reusable techniques for other quiver algebras.

minor comments (3)

Abstract: the term 'piecewise domains' appears without a brief definition or literature reference; adding one sentence would improve self-contained readability for a broad audience.
§1 (Introduction): the comparison between classical down-up algebras and the new quiver versions could be made more explicit, perhaps via a short list of differing relations or parameters.
§4 (Calabi-Yau section): a few generator-relation computations in the bimodule resolution are presented concisely; expanding one or two intermediate steps would aid verification without lengthening the paper substantially.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our manuscript and for recommending minor revision. We are pleased that the referee highlights the value of our explicit computational proofs via compatible filtrations and bimodule resolutions as reusable techniques.

Circularity Check

0 steps flagged

No significant circularity; derivations are direct and self-contained

full rationale

The manuscript defines quiver down-up algebras explicitly as quotients of the double of the extended Dynkin quiver of type A, states a non-degeneracy condition on the parameters to avoid degenerate relations, and proves noetherian piecewise domain and twisted Calabi-Yau properties via explicit filtrations, associated graded rings, direct verification from the quiver presentation, and construction of bimodule resolutions. These steps rely on algebraic computations on generators and relations rather than any reduction to fitted inputs, self-definitions, or load-bearing self-citations. The isomorphism problem is addressed separately through graded comparisons. The derivation chain is independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the non-degeneracy condition as a domain assumption and on standard background results from noncommutative algebra and quiver theory.

axioms (1)

domain assumption Non-degeneracy condition on the parameters defining the relations in the quiver down-up algebra
Invoked to guarantee the noetherian piecewise domain and twisted Calabi-Yau properties.

pith-pipeline@v0.9.0 · 5352 in / 1222 out tokens · 48889 ms · 2026-05-17T02:29:54.850289+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/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

Under a certain non-degeneracy condition, we show that quiver down-up algebras are noetherian piecewise domains, and that they are twisted Calabi–Yau.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

quiver down-up algebras appear as generalized Weyl algebras over the algebra ⊕_{i∈Q_0} R[x_i, y_i]

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.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

[1]

Benkart and T

G. Benkart and T. Roby. Down-up algebras.J. Algebra, 209(1):305–344, 1998

work page 1998
[2]

Down-up algebras

G. Benkart and T. Roby. Addendum: “Down-up algebras”.J. Algebra, 213(1):378, 1999

work page 1999
[3]

Benkart and S

G. Benkart and S. Witherspoon. A Hopf structure for down-up algebras.Math. Z., 238(3):523–553, 2001

work page 2001
[4]

Berger and R

R. Berger and R. Taillefer. Poincar´ e-Birkhoff-Witt deformations of Calabi-Yau algebras.J. Noncommut. Geom., 1(2):241– 270, 2007

work page 2007
[5]

Bocklandt, T

R. Bocklandt, T. Schedler, and M. Wemyss. Superpotentials and higher order derivations.J. Pure Appl. Algebra, 214(9):1501–1522, 2010

work page 2010
[6]

J. Gaddis. Two-parameter analogs of the Heisenberg enveloping algebra.Comm. Algebra, 44(11):4637–4653, 2016

work page 2016
[7]

J. Gaddis. Isomorphisms of graded path algebras.Proc. Amer. Math. Soc., 149(4):1395–1403, 2021

work page 2021
[8]

Gaddis and D

J. Gaddis and D. Keeler. Normal extensions of dimension two twisted graded Calabi–Yau algebras.In preparation, 2025

work page 2025
[9]

Gaddis and D

J. Gaddis and D. Zazycki. Dimension two twisted graded Calabi–Yau algebras on two-vertex quivers.arXiv preprint:2508.01950, 2025

work page arXiv 2025
[10]

Gordon and L

R. Gordon and L. W. Small. Piecewise domains.J. Algebra, 23:553–564, 1972

work page 1972
[11]

Kirkman, J

E. Kirkman, J. Kuzmanovich, and J. J. Zhang. Invariant theory of finite group actions on down-up algebras.Transform. Groups, 20(1):113–165, 2015

work page 2015
[12]

Kirkman, I

E. Kirkman, I. M. Musson, and D. S. Passman. Noetherian down-up algebras.Proc. Amer. Math. Soc., 127(11):3161–3167, 1999

work page 1999
[13]

R. S. Kulkarni. Down-up algebras and their representations.J. Algebra, 245(2):431–462, 2001

work page 2001
[14]

L. Liu, S. Wang, and Q. Wu. Twisted Calabi-Yau property of Ore extensions.J. Noncommut. Geom., 8(2):587–609, 2014

work page 2014
[15]

Reyes, D

M. Reyes, D. Rogalski, and J. J. Zhang. Skew Calabi-Yau algebras and homological identities.Adv. Math., 264:308–354, 2014

work page 2014
[16]

M. L. Reyes and D. Rogalski. Growth of graded twisted Calabi-Yau algebras.J. Algebra, 539:201–259, 2019

work page 2019
[17]

M. L. Reyes and D. Rogalski. Graded twisted Calabi-Yau algebras are generalized Artin-Schelter regular.Nagoya Math. J., 245:100–153, 2022. Miami University, Department of Mathematics, Oxford, Ohio 45056 Email address:gaddisj@miamioh.edu,keelerds@miamioh.edu 14

work page 2022

[1] [1]

Benkart and T

G. Benkart and T. Roby. Down-up algebras.J. Algebra, 209(1):305–344, 1998

work page 1998

[2] [2]

Down-up algebras

G. Benkart and T. Roby. Addendum: “Down-up algebras”.J. Algebra, 213(1):378, 1999

work page 1999

[3] [3]

Benkart and S

G. Benkart and S. Witherspoon. A Hopf structure for down-up algebras.Math. Z., 238(3):523–553, 2001

work page 2001

[4] [4]

Berger and R

R. Berger and R. Taillefer. Poincar´ e-Birkhoff-Witt deformations of Calabi-Yau algebras.J. Noncommut. Geom., 1(2):241– 270, 2007

work page 2007

[5] [5]

Bocklandt, T

R. Bocklandt, T. Schedler, and M. Wemyss. Superpotentials and higher order derivations.J. Pure Appl. Algebra, 214(9):1501–1522, 2010

work page 2010

[6] [6]

J. Gaddis. Two-parameter analogs of the Heisenberg enveloping algebra.Comm. Algebra, 44(11):4637–4653, 2016

work page 2016

[7] [7]

J. Gaddis. Isomorphisms of graded path algebras.Proc. Amer. Math. Soc., 149(4):1395–1403, 2021

work page 2021

[8] [8]

Gaddis and D

J. Gaddis and D. Keeler. Normal extensions of dimension two twisted graded Calabi–Yau algebras.In preparation, 2025

work page 2025

[9] [9]

Gaddis and D

J. Gaddis and D. Zazycki. Dimension two twisted graded Calabi–Yau algebras on two-vertex quivers.arXiv preprint:2508.01950, 2025

work page arXiv 2025

[10] [10]

Gordon and L

R. Gordon and L. W. Small. Piecewise domains.J. Algebra, 23:553–564, 1972

work page 1972

[11] [11]

Kirkman, J

E. Kirkman, J. Kuzmanovich, and J. J. Zhang. Invariant theory of finite group actions on down-up algebras.Transform. Groups, 20(1):113–165, 2015

work page 2015

[12] [12]

Kirkman, I

E. Kirkman, I. M. Musson, and D. S. Passman. Noetherian down-up algebras.Proc. Amer. Math. Soc., 127(11):3161–3167, 1999

work page 1999

[13] [13]

R. S. Kulkarni. Down-up algebras and their representations.J. Algebra, 245(2):431–462, 2001

work page 2001

[14] [14]

L. Liu, S. Wang, and Q. Wu. Twisted Calabi-Yau property of Ore extensions.J. Noncommut. Geom., 8(2):587–609, 2014

work page 2014

[15] [15]

Reyes, D

M. Reyes, D. Rogalski, and J. J. Zhang. Skew Calabi-Yau algebras and homological identities.Adv. Math., 264:308–354, 2014

work page 2014

[16] [16]

M. L. Reyes and D. Rogalski. Growth of graded twisted Calabi-Yau algebras.J. Algebra, 539:201–259, 2019

work page 2019

[17] [17]

M. L. Reyes and D. Rogalski. Graded twisted Calabi-Yau algebras are generalized Artin-Schelter regular.Nagoya Math. J., 245:100–153, 2022. Miami University, Department of Mathematics, Oxford, Ohio 45056 Email address:gaddisj@miamioh.edu,keelerds@miamioh.edu 14

work page 2022