Pith. sign in

REVIEW 4 major objections 4 minor 19 references

Higher rank Bell--Rogalski algebras

T0 review · 4 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For a torsion-free orbit, the simple weight modules over a rank-$n$ Bell–Rogalski algebra are classified by an $n$-tuple of breaks, and each module's support is exactly the rectangle of maximal ideals lying between consecutive break…

desk verdict A solid extension of Bell–Rogalski to higher rank: new simple Zn-graded algebras, a clean weight-module classification on torsion-free orbits, and a careful simplicity criterion; the main flaws are presentation-level, not mathematical. read the letter →

arxiv 2506.20393 v1 pith:BJUKG7FN submitted 2025-06-25 math.RA math.RT

Jason Gaddis , Daniele Rosso , Robert Won This is my paper · ORCID
classification math.RAmath.RT MSC 16W5016D3016D9016S38
keywords Bell–RogalskialgebrasZ^n-gradedringsweightmodulestorsion-freeorbitsbreakhyperplanestwistedgeneralizedWeyltensorproductssimplicitycriterion
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper extends Bell and Rogalski's construction of simple $\mathbb{Z}$-graded rings to a class of $\mathbb{Z}^n$-graded algebras called BR algebras of rank $n$, which include twisted generalized Weyl algebras of type $(A_1)^n$ as a special case. Its central result is a classification: on any torsion-free orbit of maximal ideals, the simple weight modules over a BR algebra are in bijection with $n$-tuples of 'breaks' — the hyperplanes where the defining ideals $H_iJ_i$ vanish along the orbit — and each module's support is exactly the rectangle of maximal ideals between consecutive break hyperplanes. The paper also shows that BR algebras are closed under twisted tensor products, producing new examples of $\mathbb{Z}^n$-graded simple rings, and gives a simplicity criterion analogous to the rank-one criterion of Bell and Rogalski. A reader interested in constructing simple rings or in weight-module classifications for generalized-Weyl-type algebras gets both a new supply of examples and a complete description of their simple weight modules whenever the orbit under the automorphisms has no finite stabilizers.

What carries the argument

The machinery is the BR datum $(R,\mathbf{t},\boldsymbol{\sigma},p,H,J)$: the algebra $B$ is the subalgebra $\bigoplus_{\alpha\in\mathbb{Z}^n} I^{(\alpha)}t^\alpha$ of the iterated skew Laurent extension $R_p[t^{\pm1};\boldsymbol{\sigma}]$, where $I^{(\alpha)} = \prod_i I_i^{(\alpha_i)}$ and each $I_i^{(k)}$ is an iterated product of the ideals $J_i$ (for $k>0$) or $H_i$ (for $k<0$). The load-bearing structure for the classification is the set of $i$-breaks, i.e. maximal ideals $\mathfrak{m}$ with $\sigma_i(\mathfrak{m}) \supseteq H_iJ_i$; on a torsion-free orbit these break sets organize into hyperplanes and give the partial order $\mathfrak{m} \prec_i \sigma_i(\mathfrak{m})$ that cuts the orbit into rectangles. The key technical set is $G_\mathfrak{m} = \{\alpha \in \mathbb{Z}^n : B_{-\alpha}B_\alpha \not\subset \mathfrak{m}\}$, which Lemma 3.5 identifies with the rectangle between break hyperplanes and which provides the basis $\{b_\alpha v_\mathfrak{m}\}_{\alpha\in G_\mathfrak{m}}$ for any simple weight module.

What would settle it

Take rank-2 data over $R=k[u^{\pm1},v^{\pm1}]$ with $\sigma_1(u)=pu$ and $\sigma_2(v)=qv$ for non-roots of unity $p,q$, and choose ideals so that the orbit of $\mathfrak{m}=(u-1,v-1)$ has exactly one 1-break and no 2-breaks. Theorem 3.9 predicts exactly two simple weight modules on this orbit, so a computation producing three non-isomorphic such modules would refute the classification.

Watch

Extended reading notes

Core claim

The main discovery is Theorem 3.9: for a torsion-free orbit $O$, the isomorphism classes of simple weight $B$-modules supported on $O$ are in bijection with the set $\prod_{i=1}^n \beta'_i$, where $\beta_i$ is the set of $i$-breaks (maximal ideals $\mathfrak{m}$ such that $\sigma_i(\mathfrak{m})$ contains $H_iJ_i$) modulo the action of the other automorphisms, and $\beta'_i$ adds a symbol $\infty_i$ when needed. If $M \in (B,R)\text{-wmod}_O$ is simple, it corresponds to the unique tuple $([\mathfrak{n}_1],\dots,[\mathfrak{n}_n])$ whose support is $\{\mathfrak{m} \in O : [\mathfrak{n}_i]_- \prec_i \mathfrak{m} \preceq_i [\mathfrak{n}_i] \text{ for all } i\}$, a rectangle in the orbit lattice bounded by consecutive break hyperplanes. The proof shows that each weight space is one-dimensional and constructs the simple modules from $B \otimes_R R/\mathfrak{m}$; the action is described explicitly by structure constants that depend only on the break data.

Load-bearing premise

The load-bearing premise is that the orbit under the automorphisms is free: no nonzero combination of shifts ever sends a maximal ideal back to itself; on orbits with finite stabilizers the break-tuple classification is not claimed.

Editorial extensions

If this is right

  • Every simple weight module supported on a torsion-free orbit is one of the explicitly constructed modules $M(O,[\mathbf{n}])$; there are no others.
  • The support of such a module is always a rectangle in the orbit lattice: for each coordinate $i$, the support lies strictly after the previous break hyperplane and at or before the next one.
  • The simplicity criterion (Theorem 5.10) reduces to the Bell–Rogalski rank-one criterion when $n=1$, and for higher $n$ gives a necessary and sufficient condition in terms of Ore generation by positive-degree elements, $\Gamma$-simplicity of $R$, and $Z(B)\subset R$.
  • Twisted and untwisted tensor products of BR algebras are again BR algebras, so tensoring simple BR algebras (with one factor central) yields new simple $\mathbb{Z}^n$-graded rings of rank $n$.
  • For a BR algebra that is also a twisted generalized Weyl algebra, the classification of simple weight modules on torsion-free orbits depends only on the break loci, not on the multiplicatively antisymmetric matrix $p$ or the twist parameters.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Inference: if the classification is right, homological questions about weight modules — Ext groups, global dimension, block decomposition — over torsion-free orbits reduce to combinatorial data on break hyperplanes, a route the paper does not pursue.
  • Inference: the theorem suggests the simple weight modules are insensitive to the twist parameters; testing two BR algebras with the same ideals but different $p$-matrices over the same torsion-free orbit should give isomorphic weight-module categories.
  • Inference: Lemma 5.11 proves a break-loneliness condition is equivalent to the Ore-generation condition for the special elements $I_i^{(k)}t_i^k$; checking it for all of $X$ would convert the hard condition (1) of Theorem 5.10 into a checkable geometric condition.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. The paper introduces Bell–Rogalski (BR) algebras of rank n, a higher-rank version of the Z-graded algebras studied by Bell and Rogalski. The main results are: (1) a comparison with twisted generalized Weyl algebras (TGWAs) of type (A1)^n, claiming that every such TGWA is a BR algebra and that BR algebras with principal ideals are TGWAs (Theorem 2.8); (2) invariance of BR algebras under certain fixed rings (Theorem 2.10) and GK-dimension bounds (Theorem 2.12); (3) a classification of simple weight modules supported on torsion-free orbits in terms of n-tuples of breaks (Theorem 3.9); (4) closure under twisted tensor products (Theorem 4.6); and (5) a simplicity criterion (Theorem 5.10).

Significance. If the main results hold, the paper provides a new family of Z^n-graded simple rings with a tractable representation theory. The classification in Theorem 3.9 is a clean and potentially useful extension of the rank-one results from the authors' previous work and of TGWA weight-module classifications. The paper is written in detail, with explicit constructions of the modules M(O,[n]) and of graded quotient rings. The main theorem on weight modules is internally consistent under the stated torsion-free hypothesis. However, several proofs—especially Theorem 2.8 and Lemma 4.4—contain serious typographical and logical errors that need to be fixed before the paper can be accepted.

major comments (4)
  1. [2.1 (Theorem 2.8)] Theorem 2.8(1) is not verifiable as stated: the term 'consistent TGWA' is used without definition, and the proof contains multiple typos and garbled relations (e.g., 'σ(r)' where σ_i(r) is meant, and the verification of the X^+_i X^+_k and X^-_k X^-_i relations has mismatched scalars). Please define 'consistent' explicitly and rewrite the display with correct automorphisms and coefficients.
  2. [4 (Lemma 4.4)] The associativity computation in Lemma 4.4 has inconsistent indices for d_{β,α}. For example, after applying (1⊗τ⊗1) to b_β v_β ⊗ c_γ u_γ the coefficient should be d_{γ,β}, not d_{β,γ}, and the subsequent factors should include d_{α,δ}. As printed, the displayed equalities do not follow, and the final coefficient d_{α+β,γ+δ} is inconsistent with the definition of τ, which gives d_{γ+δ,α+β}. Please rewrite the proof with a consistent convention for the two indices.
  3. [3 (Theorem 3.9)] The injectivity argument in Theorem 3.9 is incomplete: after defining the map b_α v_m ↦ b_α v'_m, the proof asserts it is an isomorphism without verifying that it is a B-module homomorphism. Since the B-action is determined by the structure constants in Proposition 3.11, which depend on the choices b_α and b'_α, this verification is needed (or the proof should reference Proposition 3.11 and explain why the choices are compatible).
  4. [5 (Lemma 5.4)] In Lemma 5.4(1), the displayed identity σ^{-1}_{i1}(j^{-1}_{i1})(t^{-1}_{i1}j^{-1}_{i1}) = t^{-1}_{i1}j_{i1}j^{-1}_{i1} is false as written; the multiplier should be σ^{-1}_{i1}(j_{i1}), not σ^{-1}_{i1}(j^{-1}_{i1}), and similarly in the following line. This lemma is used in the proof of Lemma 5.5 and hence in Theorem 5.10, so the typo should be corrected.
minor comments (4)
  1. [Definition 2.7] The word 'indeterminantes' should be 'indeterminates'.
  2. [Lemma 2.9] In the proof of part (1), the line 'Since ϕ(Hi) ⊆ Hi and ϕ(Ji) ⊆ Ji' should read 'H'_i' and 'J'_i'.
  3. [Theorem 2.8 proof] In the verification of the relations for ψ, the notation σ^{-1}(h_i) should be σ_i^{-1}(h_i), and σ_i(a_i) should appear with the subscript on σ; several displays are currently ambiguous.
  4. [Lemma 2.11] The proof invokes [15, Proposition 1] for the base case n=1 without recalling its statement; a brief statement would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 3.9 is proved from the definitions and the stated torsion-free hypothesis, with prior results used only as tools.

full rationale

The central classification (Theorem 3.9) is derived internally from the definition of a BR algebra and the explicit torsion-free orbit hypothesis, not from the conclusion being classified. Proposition 3.3 shows that weight spaces of simple modules are one-dimensional using the torsion-free assumption; Lemma 3.5 computes the set G_m directly from the break ideals H_iJ_i; Lemma 3.7 builds a k-basis from G_m; and Lemma 3.8 constructs a simple weight module from a maximal ideal m. The bijection in Theorem 3.9 then follows by matching supports to break hyperplanes. No fitted parameters or normalized quantities are introduced, and the break data are defined from the ideals H_i and J_i rather than from the module classification, so there is no self-definitional or fitted-input-as-prediction circularity. The authors' earlier papers are cited only for rank-one base cases and technical facts, and the rank-n arguments do not assume the rank-n theorem. The paper explicitly restricts to torsion-free orbits and states this limitation, and it also explicitly notes that the simplicity condition in Theorem 5.10 is difficult to check; these are limitations rather than circular reasoning. The proof of Theorem 2.8 contains an undefined term 'consistent TGWA' and apparent typos in the displayed relations, but those are correctness and exposition concerns, not circularity, and they do not affect the independent proof of Theorem 3.9.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No numerical parameters are fitted. The data p, sigma, H, J, and the twisting scalars d are part of the definition of the object, not ad hoc additions used to force a conclusion. The only newly introduced objects are the rank-n BR algebras and their modules, which are defined rather than postulated from unexplained evidence.

assumptions (6)
  • standard math All algebras are associative unital k-algebras over a field k.
    Stated at the start of Section 2 and used throughout.
  • domain assumption R is commutative in Sections 3 and 5.
    The beginning of Section 3 assumes R is commutative, and the beginning of Section 5 assumes R is a commutative noetherian domain.
  • domain assumption Orbits in the weight module section are torsion-free.
    Section 3 restricts to maximal ideal orbits with sigma^alpha(m)=m only when alpha=0; this underpins the partial order and one-dimensional weight spaces.
  • domain assumption R is a commutative noetherian domain in Section 5.
    Used for the fraction field Q(R), localization, and Zorn's lemma arguments in the simplicity criterion.
  • standard math GK dimension rules from [15] are accepted.
    Lemma 2.11 invokes [15, Proposition 1] and [15, Theorem 2] for GKdim of iterated skew extensions and localizations.
  • standard math Hartwig-Oinert TGWA results from [9] are accepted.
    Section 5 uses [9, Lemma 7.9] and [9, Theorem 7.8] after identifying C = B X^{-1} as a TGWA of type (A1)^n.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Higher rank Bell--Rogalski algebras." pith.science (2026). https://pith.science/paper/BJUKG7FN

@misc{pith2026250620393,
  author       = {Pith},
  title        = {Pith review of: Higher rank Bell--Rogalski algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BJUKG7FN}},
  note         = {Machine review of arXiv:2506.20393}
}
abstract

We generalize a construction of Bell and Rogalski to realize new examples of $\mathbb{Z}^n$-graded simple rings. This construction also generalizes TGWAs of type $(A_1)^n$. In addition to considering basic properties of these algebras, we provide a classification of weight modules in the setting of torsion-free orbits, study their (twisted) tensor products, and provide a simplicity criterion.

Figures

Figures reproduced from arXiv: 2506.20393 by the authors.

Figure 1
Figure 1. We picture a maximal ideal m as a point in R n and picture the action of the automorphism σi as translating m in the direction of the ith coordinate axis. In this section, since we assume orbits are torsion-free, the orbits can be pictured as the lattice Z n ⊆ R n. We say a B-module M is a weight module if M = M m∈Maxspec(R) Mm where Mm = {m ∈ M | m · m = 0}. We call Mm a weight space for M. The support of M is defi… view at source ↗
Figure 2
Figure 2. For the pictured orbit, σ −1 1 (m) is a 1-break, and so [σ −1 1 (m)] = {σ −1 1 σ k 2 (m) | k ∈ Z} can be pictured as the hyperplane x = −1 in our picture. Similarly, σ1(m) is a 1-break, pictured on the hyperplane x = 1. We therefore see that β1 = {[σ −1 1 (m)], [σ1(m)]} and β ′ 1 = {[σ −1 1 (m)], [σ1(m)], ∞1}. We also have [σ −1 1 (m)]− = −∞1, [σ1(m)]− = [σ −1 1 (m)]. For the 2-breaks, we have β ′ 2 = {[σ −1 2 (m)],… view at source ↗
Figure 3
Figure 3. In the terminology of Lemma 3.5, the maximal ideals contained in the grey rectangle in the left-hand figure are precisely those σ α(m), such that α ∈ Gm. In the right￾hand figure, the grey rectangle extends infinitely to the left, representing those σ α(σ −1 1 (m)) such that α ∈ Gσ −1 1 (m) . This picture can also be interpreted, in the terminology of Defini￾tion 3.10, the left-hand figure depicts M [PITH_FULL_IMAG… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    V. V. Bavula. Generalized Weyl algebras and their representations. Algebra i Analiz , 4(1):75–97, 1992. 25

    work page 1992

  2. [2]

    V. Bavula. Filter dimension of algebras and modules, a simplicity criterion of generalized Weyl algebras. Comm. Algebra, 24(6):1971–1992, 1996

    work page 1971

  3. [3]

    Bell and D

    J. Bell and D. Rogalski. Z-graded simple rings. Trans. Amer. Math. Soc. , 368(6):4461–4496, 2016

    work page 2016

  4. [4]

    A. Cap, H. Schichl, and J. Vanˇ zura. On twisted tensor products of algebras. Comm. Algebra, 23(12):4701–4735, 1995

    work page 1995

  5. [5]

    Futorny and J

    V. Futorny and J. T. Hartwig. Multiparameter twisted Weyl algebras. J. Algebra, 357:69–93, 2012

    work page 2012

  6. [6]

    Gaddis and D

    J. Gaddis and D. Rosso. Fixed rings of twisted generalized Weyl algebras. J. Pure Appl. Algebra, 227(4):Paper No. 107257, 30, 2023

    work page 2023

  7. [7]

    Twists of twisted generalized Weyl algebras

    J. Gaddis and D. Rosso. Twists of twisted generalized Weyl algebras. To appear in Bulletin of the London Mathematical Society (arXiv:2406.04172), 2024

    work page Pith review arXiv 2024

  8. [8]

    Gaddis, D

    J. Gaddis, D. Rosso, and R. Won. Weight modules over Bell-Rogalski algebras. J. Algebra, 633:270–297, 2023

    work page 2023

Show all 19 references
  1. [9]

    J. T. Hartwig and J. ¨Oinert. Simplicity and maximal commutative subalgebras of twisted generalized Weyl algebras. J. Algebra, 373:312–339, 2013

    2013

  2. [10]

    J. T. Hartwig. Locally finite simple weight modules over twisted generalized Weyl algebras. J. Algebra, 303(1):42–76, 2006

    2006

  3. [11]

    J. T. Hartwig and D. Rosso. Classification of twisted generalized Weyl algebras over polynomial rings. J. Algebra, 546:274– 293, 2020

    2020

  4. [12]

    D. A. Jordan. Simple skew Laurent polynomial rings. Comm. Algebra, 12(1-2):135–137, 1984

    1984

  5. [13]

    D. A. Jordan. Primitivity in skew Laurent polynomial rings and related rings. Math. Z. , 213(3):353–371, 1993

    1993

  6. [14]

    A. Joseph. A generalization of Quillen’s lemma and its application to the Weyl algebras. Israel J. Math. , 28(3):177–192, 1977

    1977

  7. [15]

    Leroy, J

    A. Leroy, J. Matczuk, and J. Okni´ nski. On the Gel’fand-Kirillov dimension of normal localizations and twisted polynomial rings. In Perspectives in ring theory (Antwerp, 1987) , volume 233 of NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci. , pages 205–214. Kluwer Acad. Publ., Do...

    1987

  8. [16]

    Mazorchuk, M

    V. Mazorchuk, M. Ponomarenko, and L. Turowska. Some associative algebras related to U (g) and twisted generalized Weyl algebras. Math. Scand., 92(1):5–30, 2003

    2003

  9. [17]

    Mazorchuk and L

    V. Mazorchuk and L. Turowska. Simple weight modules over twisted generalized Weyl algebras.Comm. Algebra, 27(6):2613– 2625, 1999

    1999

  10. [18]

    Shamsuddin

    A. Shamsuddin. Rings with automorphisms leaving no nontrivial proper ideals invariant. Canad. Math. Bull. , 25(4):478– 486, 1982

    1982

  11. [19]

    J. T. Stafford. Homological properties of the enveloping algebra U (Sl2). Math. Proc. Cambridge Philos. Soc. , 91(1):29–37, 1982. (Gaddis) Department of Mathematics, Miami University, Oxford, Ohio 45056 Email address : gaddisj@miamioh.edu (Rosso) Department of Mathematics and ...

    1982

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.