pith. machine review for the scientific record. sign in

arxiv: 2605.08649 · v1 · submitted 2026-05-09 · 🧮 math.RT

Recognition: 2 theorem links

· Lean Theorem

Semisimplicity Criteria for algebras with a Jones Basic Construction

Frederick M. Goodman, Hans Wenzl

Pith reviewed 2026-05-12 01:12 UTC · model grok-4.3

classification 🧮 math.RT
keywords semisimplicity criterionJones basic constructionBrauer algebraBMW algebraq-Brauer algebradiagram algebrasrepresentation theory
0
0 comments X

The pith

A new criterion determines semisimplicity for any algebra equipped with a Jones basic construction.

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

The paper develops a general criterion that decides when an algebra admitting a Jones basic construction is semisimple. The same criterion works uniformly for the Brauer algebra, the BMW algebra, and the q-Brauer algebra instead of requiring separate arguments for each family. A reader cares because semisimplicity fixes the structure of all finite-dimensional representations and therefore controls the decomposition of modules that appear in knot invariants and quantum group theory.

Core claim

The authors prove a semisimplicity criterion for a large class of algebras by a new method that relies on the existence of a Jones basic construction satisfying suitable technical conditions; the method is then applied to obtain semisimplicity statements for the Brauer, BMW, and q-Brauer algebras.

What carries the argument

The Jones basic construction, an extension of the algebra that supplies a tower of inclusions and a trace used to relate modules across levels and detect when the radical vanishes.

If this is right

  • Semisimplicity of the Brauer algebra follows once the parameter satisfies the condition extracted from the basic construction.
  • The same parameter condition decides semisimplicity for the BMW algebra.
  • The criterion likewise settles semisimplicity for the q-Brauer algebra.
  • The method replaces case-by-case radical computations with a single check on the basic construction tower.

Where Pith is reading between the lines

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

  • The criterion could be tested on other diagram algebras that admit similar towers, such as the Temperley-Lieb algebra at generic parameters.
  • If the technical conditions hold for a new family, the same argument would immediately give its semisimplicity locus without further module theory.
  • The approach suggests that semisimplicity in many diagram-algebra settings reduces to properties of the trace on the basic construction rather than to explicit idempotent calculations.

Load-bearing premise

The algebra must possess a Jones basic construction that satisfies the technical conditions required for the criterion to apply.

What would settle it

An explicit algebra with a Jones basic construction for which the criterion predicts semisimplicity yet the dimension of the radical is positive, or the reverse.

read the original abstract

We prove a semisimplicity criterion for a large class of algebras by a new method. This can be applied to Brauer, BMW, and $q$-Brauer 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.

Referee Report

0 major / 3 minor

Summary. The paper proves a semisimplicity criterion for a large class of algebras admitting a Jones basic construction (with a tower satisfying the Markov property and trace compatibility). The criterion is applied to the Brauer, BMW, and q-Brauer algebras, establishing their semisimplicity for generic parameters.

Significance. If the result holds, this provides a new, unified method for semisimplicity proofs in diagram algebras central to knot theory and representation theory. The explicit verification of the technical hypotheses for the target families in Sections 4-6 strengthens the claim and offers a template that may extend to other algebras with similar towers.

minor comments (3)
  1. [Abstract] The abstract is brief and does not state the precise technical conditions or the criterion itself; a one-sentence outline of the hypotheses would improve accessibility without lengthening the paper unduly.
  2. [Section 2] Section 2 defines the class of algebras but could include a forward reference to the main theorem (e.g., Theorem 3.1) immediately after the setup to orient the reader.
  3. [Section 2.2] Notation for conditional expectations and the Markov trace in Section 2.2 is clear but would benefit from a short comparison table with the conventions in Jones' original work or subsequent papers on BMW algebras.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the paper, including the recognition of the unified semisimplicity criterion and its applications to diagram algebras. The recommendation for minor revision is noted, but no specific major comments were listed in the report.

Circularity Check

0 steps flagged

No circularity; theorem derived from explicit hypotheses on Jones basic construction tower

full rationale

The paper states a general semisimplicity criterion for algebras admitting a Jones basic construction satisfying Markov property and trace compatibility (Section 2). It verifies these hypotheses independently for Brauer, BMW, and q-Brauer families in Sections 4–6 at generic parameters, then applies the criterion without any reduction of the result to fitted inputs, self-definitional loops, or load-bearing self-citations. The derivation chain is self-contained against the stated assumptions and does not rename or smuggle prior results as new predictions.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No details available from the abstract alone; no free parameters, axioms, or invented entities can be identified.

pith-pipeline@v0.9.0 · 5305 in / 1052 out tokens · 41016 ms · 2026-05-12T01:12:35.315715+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

29 extracted references · 29 canonical work pages

  1. [1]

    Birman and Hans Wenzl,Braids, link polynomials and a new algebra, Trans

    Joan S. Birman and Hans Wenzl,Braids, link polynomials and a new algebra, Trans. Amer. Math. Soc. 313(1989), no. 1, 249–273. MR 90g:57004

    work page 1989

  2. [2]

    London Math

    Richard Dipper and Gordon James,Representations of Hecke algebras of general linear groups, Proc. London Math. Soc. (3)52(1986), 20–52

    work page 1986

  3. [3]

    London Math

    ,Blocks and idempotents of Hecke algebras of general linear groups, Proc. London Math. Soc. (3) 54(1987), 57–82

    work page 1987

  4. [4]

    Algebra281 (2004), no

    John Enyang,Cellular bases for the Brauer and Birman-Murakami-Wenzl algebras, J. Algebra281 (2004), no. 2, 413–449. MR 2098377

    work page 2004

  5. [5]

    Goodman,Cellularity of cyclotomic Birman-Wenzl-Murakami algebras, J

    Frederick M. Goodman,Cellularity of cyclotomic Birman-Wenzl-Murakami algebras, J. Algebra321 (2009), no. 11, 3299–3320. MR 2510050

    work page 2009

  6. [6]

    Goodman and John Graber,Cellularity and the Jones basic construction, Adv

    Frederick M. Goodman and John Graber,Cellularity and the Jones basic construction, Adv. in Appl. Math.46(2011), no. 1-4, 312–362. MR 2794027

    work page 2011

  7. [7]

    J. J. Graham and G. I. Lehrer,Cellular algebras, Invent. Math.123(1996), no. 1, 1–34. MR 1376244

    work page 1996

  8. [8]

    Hoefsmit,Representations of Hecke algebras of finite groups with BN pairs of classical type, Ph.D

    P, N. Hoefsmit,Representations of Hecke algebras of finite groups with BN pairs of classical type, Ph.D. thesis, University of British Columbia, 1974

    work page 1974

  9. [9]

    Algebra194(1997), 201–223

    Thomas Jost,Morita equivalence for blocks of Hecke algebras of symmetric groups, J. Algebra194(1997), 201–223

    work page 1997

  10. [10]

    15, American Mathematical Society, Providence, RI, 1999

    Andrew Mathas,Iwahori-Hecke algebras and Schur algebras of the symmetric group, University Lecture Series, vol. 15, American Mathematical Society, Providence, RI, 1999

    work page 1999

  11. [11]

    H. R. Morton and A. Wassermann,A basis for the Birman-Wenzl algebra, 2010

    work page 2010

  12. [12]

    Antonio Plans Sanz de Bremond (E

    Hugh Morton and Pawe l Traczyk,Knots and algebras, Contribuciones Matematicas en homenaje al profesor D. Antonio Plans Sanz de Bremond (E. Martin-Peindador and A. Rodez Usan, eds.), University of Zaragoza, Zaragoza, 1990, pp. 201–220

    work page 1990

  13. [13]

    Math.24(1987), no

    Jun Murakami,The Kauffman polynomial of links and representation theory, Osaka J. Math.24(1987), no. 4, 745–758. MR MR927059 (89c:57007)

    work page 1987

  14. [14]

    G. E. Murphy,On the representation theory of the symmetric groups and associated Hecke algebras, J. Algebra152(1992), no. 2, 492–513. MR 1194316

    work page 1992

  15. [15]

    Algebra Appl.17(2018), no

    Dung Tien Nguyen,A cellular basis of theq-Brauer algebra related with Murphy bases of Hecke algebras, J. Algebra Appl.17(2018), no. 5, 1850086, 26. MR 3795381

    work page 2018

  16. [16]

    Algebra145(1992), no

    Arun Ram and Hans Wenzl,Matrix units for centralizer algebras, J. Algebra145(1992), no. 2, 378–395. MR 1144939

    work page 1992

  17. [17]

    Hebing Rui,A criterion on the semisimple Brauer algebras, J. Combin. Theory Ser. A111(2005), no. 1, 78–88. MR 2144855

    work page 2005

  18. [18]

    Hebing Rui and Mei Si,A criterion on the semisimple Brauer algebras. II, J. Combin. Theory Ser. A 113(2006), no. 6, 1199–1203. MR 2244141 SEMISIMPLICITY CRITERIA FOR ALGEBRAS WITH A JONES BASIC CONSTRUCTION 39

    work page 2006

  19. [19]

    Z.258(2008), no

    ,Discriminants of Brauer algebras, Math. Z.258(2008), no. 4, 925–944. MR 2369064

    work page 2008

  20. [20]

    Reine Angew

    ,Gram determinants and semisimplicity criteria for Birman-Wenzl algebras, J. Reine Angew. Math.631(2009), 153–179. MR 2542221

    work page 2009

  21. [21]

    Hebing Rui, Mei Si, and Linliang Song,The Jucys-Murphy basis and semisimplicity criteria for the q-Brauer algebra, Lett. Math. Phys.114(2024), no. 4, Paper No. 104, 36. MR 4784519

    work page 2024

  22. [22]

    Represent

    Dung Nguyen Tien,Cellular structure ofq-Brauer algebras, Algebr. Represent. Theory17(2014), no. 5, 1359–1400. MR 3260902

    work page 2014

  23. [23]

    Reine Angew

    Imre Tuba and Hans Wenzl,On braided tensor categories of typeBCD, J. Reine Angew. Math.581 (2005), 31–69, Erratum: https://arxiv.org/abs/math/0301142. MR 2132671

    work page arXiv 2005

  24. [24]

    Math.92(1988), no

    Hans Wenzl,Hecke algebras of typeA n and subfactors, Invent. Math.92(1988), no. 2, 349–383. MR 936086

    work page 1988

  25. [25]

    ,On the structure of Brauer’s centralizer algebras, Ann. of Math. (2)128(1988), no. 1, 173–193. MR 951511

    work page 1988

  26. [26]

    ,Quantum groups and subfactors of typeB,C, andD, Comm. Math. Phys.133(1990), no. 2, 383–432. MR 1090432

    work page 1990

  27. [27]

    Math.259(2012), no

    ,Fusion symmetric spaces and subfactors, Pacific J. Math.259(2012), no. 2, 483–510. MR 2988502

    work page 2012

  28. [28]

    Algebra358(2012), 102–127

    ,Aq-Brauer algebra, J. Algebra358(2012), 102–127. MR 2905021

    work page 2012

  29. [29]

    Math.154(2000), no

    Changchang Xi,On the quasi-heredity of Birman-Wenzl algebras, Adv. Math.154(2000), no. 2, 280–298. MR 1784677 Department of Mathematics, University of Iowa, Iowa City, Iowa Email address:goodman@uiowa.edu Department of Mathematics, University of California, San Diego, San Diego, California Email address:hwenzl@ucsd.edu

    work page 2000