pith. sign in

arxiv: 2604.12727 · v1 · submitted 2026-04-14 · 🧮 math.DG · math.QA

Noncommutative differential geometry of ambiskew polynomial rings

Andr\'es Rubiano , Armando Reyes This is my paper

Pith reviewed 2026-05-10 14:22 UTC · model grok-4.3

classification 🧮 math.DG math.QA
keywords ambiskew polynomial ringsdifferential smoothnessnoncommutative differential geometrydifferential calculusOre extensionsskew polynomial rings
0
0 comments X

The pith

Sufficient criteria guarantee differential smoothness for ambiskew polynomial rings.

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

The paper establishes sufficient conditions under which ambiskew polynomial rings are differentially smooth. These rings are noncommutative algebras built from generators with twisted multiplication rules that generalize ordinary polynomial rings. Differential smoothness means the algebra carries a differential calculus in which derivations and forms interact in a controlled way, mirroring the structure on smooth manifolds. Establishing the property lets researchers apply geometric tools directly to these algebraic objects.

Core claim

The authors determine sufficient criteria for the differential smoothness of ambiskew polynomial rings defined and studied by D. A. Jordan in several papers.

What carries the argument

The ambiskew polynomial ring equipped with its standard set of commutation relations, together with the noncommutative notion of differential smoothness that requires a compatible differential calculus.

If this is right

  • The rings that meet the criteria can be treated as noncommutative smooth spaces.
  • Standard constructions in noncommutative geometry, such as de Rham cohomology, become available for these algebras.
  • The criteria provide a concrete test for deciding when a given ambiskew ring supports geometric methods.

Where Pith is reading between the lines

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

  • The same criteria could be checked on concrete families such as quantum planes or other Ore extensions to see whether they inherit smoothness.
  • If the criteria turn out to be necessary as well as sufficient, they would give a complete classification of differentially smooth ambiskew rings.
  • The result suggests that differential smoothness may be preserved under certain deformations of polynomial rings.

Load-bearing premise

The ambiskew polynomial rings are taken exactly as defined in the cited Jordan papers, and the notion of differential smoothness is the standard one in the noncommutative differential geometry literature.

What would settle it

An explicit ambiskew polynomial ring whose parameters satisfy the stated sufficient criteria yet fails to admit any differential calculus that is smooth in the noncommutative sense.

read the original abstract

We determine sufficient criteria for the differential smoothness of ambiskew polynomial rings defined and studied by D. A. Jordan in several papers \cite{FishJordan2019, Jordan1993b, Jordan2000, JordanWells2013}.

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

1 major / 2 minor

Summary. The manuscript determines sufficient criteria for the differential smoothness of ambiskew polynomial rings, taking the rings exactly as defined in the cited works of D. A. Jordan and employing the standard notion of differential smoothness from the noncommutative differential geometry literature.

Significance. If the stated sufficient criteria are correctly derived and the supporting arguments hold, the work supplies explicit conditions under which these rings admit a noncommutative differential structure, extending the applicability of smoothness criteria to a concrete family of algebras studied in the Jordan literature.

major comments (1)
  1. [§3] §3 (main theorem): the sufficient criterion is stated in terms of a derivation and a bimodule condition, but the manuscript does not reproduce or adapt the precise definition of differential smoothness employed; verification that the criterion implies the required properties therefore rests on an external reference without an explicit check inside the paper.
minor comments (2)
  1. The abstract lists four Jordan references but the introduction does not indicate which specific properties of ambiskew rings (e.g., the precise commutation relations) are used in the proofs.
  2. Notation for the bimodule of derivations is introduced without a dedicated preliminary subsection, making the transition from the Jordan definitions to the smoothness criterion harder to follow.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comment. We address the point raised below and will revise the paper accordingly to improve its self-contained nature.

read point-by-point responses

  1. Referee: [§3] §3 (main theorem): the sufficient criterion is stated in terms of a derivation and a bimodule condition, but the manuscript does not reproduce or adapt the precise definition of differential smoothness employed; verification that the criterion implies the required properties therefore rests on an external reference without an explicit check inside the paper.

    Authors: We agree that the manuscript relies on the standard definition of differential smoothness from the noncommutative geometry literature without restating it explicitly in §3. To make the verification of the main theorem more transparent and self-contained, we will insert a concise recall of the definition (including the relevant bimodule and derivation conditions) at the start of §3 in the revised version, together with a short paragraph explaining how the stated sufficient criterion satisfies those properties. This addition will not alter the main results but will address the concern directly. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper determines sufficient criteria for differential smoothness of ambiskew polynomial rings using definitions taken exactly from the cited external Jordan papers and the standard notion of differential smoothness from the noncommutative differential geometry literature. No derivation step reduces by construction to the inputs, no parameters are fitted and relabeled as predictions, and there are no self-citations (the citations are to Jordan, not the present authors). The central claim therefore has independent mathematical content and is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper takes the definition of ambiskew polynomial rings and the definition of differential smoothness directly from the cited literature without introducing new free parameters or invented entities.

axioms (2)
  • domain assumption Ambiskew polynomial rings are exactly as defined in the cited works of D. A. Jordan.
    The abstract states the rings are those defined and studied by Jordan.
  • domain assumption Differential smoothness is the standard notion used in noncommutative differential geometry.
    The abstract invokes this property without redefining it.

pith-pipeline@v0.9.0 · 5317 in / 1091 out tokens · 38909 ms · 2026-05-10T14:22:14.571790+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

55 extracted references · 55 canonical work pages

  1. [1]

    M. F. Atiyah and I. G. Macdonald.Introduction to Commutative Algebra. Addison–Wesley Publishing Company, Reading, Massachusetts, 1969

    work page 1969

  2. [2]

    Almulhem and T

    M. Almulhem and T. Brzeziński. Skew Derivations on Down-Up Algebras. In: P. Kielanowski, A. Odzijewicz and E. Previato (eds)Geometric Methods in Physics XXXVI, pp. 59–67, Trends in Mathematics, Birkhäuser, Cham (2019). DOI: 10.1007/978-3-030-01156-7_7

    work page doi:10.1007/978-3-030-01156-7_7 2019

  3. [3]

    V. V. Bavula. Generalized Weyl algebras and their representations.Algebra i Analiz4(1) 75–97 (1992). http://mi.mathnet.ru/aa300

    work page 1992

  4. [4]

    V. V. Bavula. Global dimension of Generalized Weyl algebras.Canad. Math. Soc. Confe. Proce.1881–107 (1996)

    work page 1996

  5. [5]

    V. V. Bavula. Isomorphism Problems and Groups of Automorphisms for Generalized Weyl Algebras.Trans. Amer. Math. Soc.353(2) 769–794 (2001). DOI: 10.1090/S0002-9947-00- 02678-7

    work page doi:10.1090/s0002-9947-00- 2001

  6. [6]

    A. D. Bell and S. P. Smith. Some 3-dimensional skew polynomial ring. University of Wiscon- sin, Milwaukee (1990)

    work page 1990

  7. [7]

    G. Benkart. Down-up algebras and Witten’s deformations of the universal enveloping algebra ofsl 2. In: S. Geun Hahn, H. Chul Myung, and E. Zelmanov, editors, Recent Progress in Algebra. An International Conference on Recent Progress in Algebra, August 11–15, KAIST, Taejon, South Korea.Contemporary Mathematics, Vol. 224, Amer. Math. Soc., pp. 29–45, Provid...

    work page doi:10.1090/conm/224 1999

  8. [8]

    Benkart and T

    G. Benkart and T. Roby. Down-up algebras.J. Algebra209(1) 305–344 (1998). DOI: 10.1006/jabr.1998.7511

    work page doi:10.1006/jabr.1998.7511 1998

  9. [9]

    Brzeziński

    T. Brzeziński. Noncommutative Connections of The Second Kind.J. Algebra Appl.7(5) 557– 573 (2008). DOI: 10.1142/S0219498808002977

    work page doi:10.1142/s0219498808002977 2008

  10. [10]

    Brzeziński

    T. Brzeziński. Divergences on Projective Modules and Noncommutative Integrals.Int. J. Geom. Methods Mod. Phys.8(4) 885–896 (2011). DOI: 10.1142/S0219887811005440

    work page doi:10.1142/s0219887811005440 2011

  11. [11]

    Brzeziński

    T. Brzeziński. On the Smoothness of the Noncommutative Pillow and Quantum Teardrops.SIGMA Symmetry Integrability Geom. Methods Appl.10(015) 1–8 (2014). 10.3842/SIGMA.2014.015

    work page doi:10.3842/sigma.2014.015 2014

  12. [12]

    Brzeziński

    T. Brzeziński. Differential smoothness of affine Hopf algebras of Gelfand-Kirillov of dimension two.Colloq. Math.139(1) 111–119 (2015). DOI: 10.4064/cm139-1-6

    work page doi:10.4064/cm139-1-6 2015

  13. [13]

    Brzeziński

    T. Brzeziński. Noncommutative Differential Geometry of Generalized Weyl Algebras.SIGMA Symmetry Integrability Geom. Methods Appl.12(059) 1–18 (2016). 10.3842/SIGMA.2016.059

    work page doi:10.3842/sigma.2016.059 2016

  14. [14]

    Brzeziński, L

    T. Brzeziński, L. El. Kaoutit and C. Lomp, Noncommutative integral forms and twisted multi-derivations.J. Noncommut. Geom.4(2) 281–312 (2010). DOI: 10.4171/JNCG/56

    work page doi:10.4171/jncg/56 2010

  15. [15]

    Brzeziński and C

    T. Brzeziński and C. Lomp. Differential smoothness of skew polynomial rings.J. Pure Appl. Algebra222(9) 2413–2426 (2018). DOI: 10.1016/j.jpaa.2017.09.020

    work page doi:10.1016/j.jpaa.2017.09.020 2018

  16. [16]

    Brzeziński and A

    T. Brzeziński and A. Sitarz. Smooth geometry of the noncommutative pillow, cones and lens spaces.J. Noncommut. Geom.11(2) 413–449 (2017). DOI: 10.4171/JNCG/11-2-1

    work page doi:10.4171/jncg/11-2-1 2017

  17. [17]

    P. A. A. B. Carvalho and S. A. Lopes. Automorphisms of Generalized Down-Up Algebras. Comm. Algebra39(5) 1622–1646 (2009). DOI: 10.1080/00927870802209987

    work page doi:10.1080/00927870802209987 2009

  18. [18]

    P. A. A. B. Carvalho and I. M. Musson. Down-Up Algebras and Their Representation Theory. J. Algebra228(1) 286–310 (2000). DOI: 10.1006/jabr.1999.8263

    work page doi:10.1006/jabr.1999.8263 2000

  19. [19]

    Cassidy and B

    T. Cassidy and B. Shelton. Basic properties of generalized down-up algebras.J. Algebra 279(1) 402–421 (2004). DOI: 10.1016/j.jalgebra.2004.05.009

    work page doi:10.1016/j.jalgebra.2004.05.009 2004

  20. [20]

    P. M. Cohn. Free Rings and Their Relations. Academic Press, London, Second Edition (1985)

    work page 1985

  21. [21]

    Dubois-Violette

    M. Dubois-Violette. Dérivations et calcul différentiel non commutatif.C. R. Acad. Sci. Paris, Ser. I307403–408 (1988)

    work page 1988

  22. [22]

    Dubois-Violette, R

    M. Dubois-Violette, R. Kerner and J. Madore. Noncommutative differential geometry of matrix algebras.J. Math. Phys.31(2) 316–322 (1990). DOI: 10.1063/1.528916

    work page doi:10.1063/1.528916 1990

  23. [23]

    Dumas and D

    F. Dumas and D. A. Jordan. The2×2Quantum Matrix Weyl Algebra.Comm. Algebra24(4) 1409–1434 (1996). DOI: 10.1080/00927879608825643

    work page doi:10.1080/00927879608825643 1996

  24. [24]

    1995 , PAGES =

    D. Eisenbud.Commutative Algebra with a View Toward Algebraic Geometry. Graduate Texts in Mathematics, Vol.150. Springer–Verlag, New York, 1995. DOI: 10.1007/978-1-4612-5350-1

    work page doi:10.1007/978-1-4612-5350-1 1995

  25. [25]

    C. D. Fish and D. A. Jordan. Prime Spectra of Ambiskew Polynomial Rings.Glasg. Math. J.61(1) 49–68 (2019). DOI: 10.1017/S0017089518000046 NONCOMMUTATIVE GEOMETRY OF AMBISKEW POLYNOMIAL RINGS 27

    work page doi:10.1017/s0017089518000046 2019

  26. [26]

    Gelfand, I. M. and Kirillov, A. A. On fields connected with the enveloping algebras of Lie algebras. Dokl. Akad. Nauk167(3) 503–505 (1966)

    work page 1966

  27. [27]

    I. M. Gelfand and A. A. Kirillov. Sur les corps liés aux algébres enveloppantes des algébres de Lie.Publ. Math. IHES315–19 (1966). DOI: 10.1007/BF02684800

    work page doi:10.1007/bf02684800 1966

  28. [28]

    K. R. Goodearl. Prime ideals in skew polynomial rings and quantized Weyl algebras.J. Algebra150(2) 324–377 (1992). DOI: 10.1016/S0021-8693(05)80036-5

    work page doi:10.1016/s0021-8693(05)80036-5 1992

  29. [29]

    K. R. Goodearl and E. S. Letzter.Prime ideals in Skew andq-Skew Polynomial Rings. Mem. Amer. Math. Soc.109(521) (1994)

    work page 1994

  30. [30]

    D. A. Jordan. Height one prime ideals of certain iterated skew polynomial rings.Math. Proc. Cambridge Philos. Soc.114(3) 407–425 (1993). DOI: 10.1017/S0305004100071693

    work page doi:10.1017/s0305004100071693 1993

  31. [31]

    D. A. Jordan. Iterated Skew Polynomial Rings and Quantum Groups.J. Algebra156(1) 194–218 (1993). DOI: 10.1006/jabr.1993.1070

    work page doi:10.1006/jabr.1993.1070 1993

  32. [32]

    D. A. Jordan. Finite-dimensional simple modules over certain iterated skew polynomial rings. J. Pure Appl. Algebra98(1) 45–55 (1995). DOI: 10.1016/0022-4049(95)90017-9

    work page doi:10.1016/0022-4049(95)90017-9 1995

  33. [33]

    D. A. Jordan. Down-Up Algebras and Ambiskew Polynomial Rings.J. Algebra228(1) 311– 346 (2000). DOI: 10.1006/jabr.1999.8264

    work page doi:10.1006/jabr.1999.8264 2000

  34. [34]

    D. A. Jordan and I. E. Wells. Invariants for automorphisms of certain iter- ated skew polynomial rings.Proc. Edinburgh. Soc. (2)39(3) 461–472 (1996). DOI: 10.1017/S0013091500023221

    work page doi:10.1017/s0013091500023221 1996

  35. [35]

    D. A. Jordan and I. E. Wells. Simple ambiskew polynomial rings.J. Algebra38246–70 (2013). DOI: 10.1016/j.jalgebra.2013.01.033

    work page doi:10.1016/j.jalgebra.2013.01.033 2013

  36. [36]

    Karaçuha

    S. Karaçuha. Aspects of Noncommutative Differential Geometry. PhD Thesis, Universidade do Porto, Porto, Portugal (2015)

    work page 2015

  37. [37]

    Karaçuha and C

    S. Karaçuha and C. Lomp. Integral calculus on quantum exterior algebras.Int. J. Geom. Methods Mod. Phys.11(04) 1450026 (2014). DOI: 10.1142/S0219887814500261

    work page doi:10.1142/s0219887814500261 2014

  38. [38]

    Kirkman, I

    E. Kirkman, I. M. Musson and D. S. Passman. Noetherian Down-Up Algebras.Proc. Amer. Math. Soc.127(1) 3161–3167 (1999). DOI: 10.1090/S0002-9939-99-04926-6

    work page doi:10.1090/s0002-9939-99-04926-6 1999

  39. [39]

    G. R. Krause and T. H. Lenagan.Growth of Algebras and Gelfand–Kirillov Dimension. Re- vised Edition. Graduate Studies in Mathematics 22 (American Mathematical Society, 2000)

    work page 2000

  40. [40]

    D. R. Lane. Fixed Points of Affine Cremona Transformations of the Plane Over an Alge- braically Closed Field.Amer. J. Math.97(3) 707–732 (1975)

    work page 1975

  41. [41]

    Manin.Gauge Field Theory and Complex Geometry

    Y. Manin.Gauge Field Theory and Complex Geometry. Second Edition. Grundlehren der mathematischen Wissenschaften (Springer Berlin, Heidelberg, 1997), Vol. 289. DOI: 10.1007/978-3-662-07386-5

    work page doi:10.1007/978-3-662-07386-5 1997

  42. [42]

    Matsumura,Commutative Ring Theory, Cambridge Stud

    H. Matsumura.Commutative Ring Theory. Cambridge Studies in Advanced Mathematics8. Cambridge University Press, Cambridge, 1986. DOI: 10.1017/CBO9781139171762

    work page doi:10.1017/cbo9781139171762 1986

  43. [43]

    O. Ore. Theory of Noncommutative Polynomials.Ann. of Math. (2)34(3) 480–508 (1933). DOI: 10.2307/1968173

    work page doi:10.2307/1968173 1933

  44. [44]

    Reyes and C

    A. Reyes and C. Sarmiento. On the differential smoothness of 3-dimensional skew polynomial algebras and diffusion algebras.Internat. J. Algebra and Comput.32(3) 529–559 (2022). DOI: 10.1142/S0218196722500242

    work page doi:10.1142/s0218196722500242 2022

  45. [45]

    Reyes and H

    A. Reyes and H. Suárez. PBW Bases for Some 3-Dimensional Skew Polynomial Algebras.Far East J. Math. Sci.101(6) 1207–1228 (2017)

    work page 2017

  46. [46]

    A. L. Rosenberg.Noncommutative Algebraic Geometry and Representations of Quantized Algebras, Mathematics and Its Applications, Vol. 330 (Springer Dordrecht, 1995). DOI: 10.1007/978-94-015-8430-2

    work page doi:10.1007/978-94-015-8430-2 1995

  47. [47]

    A.Rubiano.OndifferentialsmoothnessofcertainArtin-Schelterregularalgebrasofdimension 5.Rend. Circ. Mat. Palermo (2)75(63) (2026). DOI: 10.1007/s12215-026-01390-1

    work page doi:10.1007/s12215-026-01390-1 2026

  48. [48]

    Rubiano and A

    A. Rubiano and A. Reyes. Smooth Geometry of Skew PBW Extensions Over Commutative Polynomial Rings I.Bull. Iranian Math. Soc.51(77) 1–47 (2025). DOI: 10.1007/s41980-025- 01015-w

    work page doi:10.1007/s41980-025- 2025

  49. [49]

    Rubiano and A

    A. Rubiano and A. Reyes. A note on the differential smoothness of skew PBW extensions. Algebra Discrete Math.40(2) 226–254 (2025). DOI: 10.12958/adm2380

    work page doi:10.12958/adm2380 2025

  50. [50]

    and Reyes, A

    A. Rubiano and A. Reyes. Smooth geometry of bi-quadratic algebras on three generators with PBW basis.Comm. Algebra, 1–21 (2026). DOI: 10.1080/00927872.2026.2630014

    work page doi:10.1080/00927872.2026.2630014 2026

  51. [51]

    and Reyes, A

    A. Rubiano and A. Reyes. Smooth geometry of diffusion algebras.Rev. Un. Mat. Argentina 69(1) 337–372 (2026). DOI: 10.33044/revuma.5479 28 ANDRÉS RUBIANO AND ARMANDO REYES

    work page doi:10.33044/revuma.5479 2026

  52. [52]

    Rubiano and A

    A. Rubiano and A. Reyes. Differential smoothness of bi-quadratic algebras with PBW basis. Beitr. Algebra Geom.(2026). To appear

    work page 2026

  53. [53]

    and Reyes, A

    A. Rubiano and A. Reyes. On the smoothness of 3-dimensional skew polynomial rings (2026). arXiv:2603.11255

    work page arXiv 2026

  54. [54]

    M. K. Smith. Eigenvectors of Automorphisms of Polynomial Rings in Two Variables.Houston J. Math.10(4) (1984) 559–573

    work page 1984

  55. [55]

    S. L. Woronowicz. TwistedSU(2)Group. An Example of a Noncommutative Differential Calculus.Publ. Res. Inst. Math. Sci.23(1) 117–181 (1987). DOI: 10.2977/prims/1195176848 Universidad Distrital Francisco José de Caldas Current address: Campus Universitario Email address:aarubianos@udistrital.edu.co - ORCID: 0009-0009-1633-8018 Universidad Nacional de Colombi...

    work page doi:10.2977/prims/1195176848 1987