pith. sign in

arxiv: 2604.02989 · v1 · submitted 2026-04-03 · 🧮 math.RT

Semisimplicity criterion for 2-tonal partition algebras

C. Ahmed , G. M. Benkart , O. H. King , P. P. Martin , A. E. Parker This is my paper

Pith reviewed 2026-05-13 18:36 UTC · model grok-4.3

classification 🧮 math.RT
keywords partition algebrassemisimplicity2-tonal algebraseven partitionsdiagram algebrasrepresentation theoryradical
0
0 comments X

The pith

The even/2-tonal partition algebras over the complexes are semisimple for every n exactly when the parameter delta lies outside the non-negative integers.

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

The paper establishes a precise criterion for when the 2-tonal partition algebras stay semisimple no matter how large the size n becomes. It shows that semisimplicity holds for all n if and only if the deformation parameter avoids every non-negative integer. A reader would care because semisimplicity means every finite-dimensional module splits completely into irreducible summands, removing the need to track extensions or radicals. This supplies a sharp dividing line between generic parameters, where the algebra behaves like a direct sum of matrix rings, and special integer values, where a nontrivial radical appears and the module category becomes more intricate.

Core claim

The central claim is that the even partition algebras, denoted P_n^2(δ) and also called 2-tonal partition algebras, are semisimple as algebras over the complex numbers for every positive integer n precisely when the scalar parameter δ is not a non-negative integer.

What carries the argument

The 2-tonal partition algebra P_n^2(δ), the diagram algebra whose basis consists of partitions with a 2-tonal (even-block) structure and whose multiplication rule contracts loops with weight δ.

If this is right

  • All finite-dimensional modules of P_n^2(δ) are completely reducible whenever δ avoids the non-negative integers.
  • The algebra admits a complete set of irreducible representations without extensions precisely outside those parameter values.
  • For each non-negative integer δ there exists at least one n such that P_n^2(δ) possesses a nontrivial radical.
  • The representation theory of the family becomes combinatorially tractable for generic δ, with dimensions governed by the usual partition combinatorics.

Where Pith is reading between the lines

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

  • The same threshold on δ may mark the appearance of a radical in closely related diagram algebras such as the Brauer or Jones families.
  • The result supplies a template for determining semisimplicity thresholds in higher k-tonal or multi-parameter generalizations.
  • One could test whether the same integer boundary persists when the base field is changed to positive characteristic.

Load-bearing premise

The algebras are taken in their standard diagrammatic presentation and semisimplicity is understood in the usual sense for finite-dimensional algebras over an algebraically closed field of characteristic zero.

What would settle it

Constructing a nonzero element of the Jacobson radical in P_n^2(δ) for some n when δ is not a non-negative integer, or proving that the radical vanishes for all n when δ belongs to the non-negative integers.

Figures

Figures reproduced from arXiv: 2604.02989 by A. E. Parker, C. Ahmed, G. M. Benkart, O. H. King, P. P. Martin.

Figure 1
Figure 1. Figure 1: Augmented Bratelli diagram for algebras P0 ⊂ P1 ⊂ ... ⊂ P4. Ver￾tices are standard modules with index as shown at the top of their column; and dimension shown in the box. Black edges indicate restriction rules, with multi￾plicities, so dimensions can be checked. Green arrows indicate module morphisms for δ = 1 ∈ C (see main text for commentary). Pink arrows indicate morphisms for δ = 2. (Morphisms for othe… view at source ↗
Figure 2
Figure 2. Figure 2: Augmented Bratelli diagram for P 2 n (δ) up to n = 4 (cf. Fig.1), but here truncated to exclude some modules at rank 4, such as for λ = [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Gram matrices for Sn(0) for n = 2, 3, 4. The bases are {(1)(2),(12)}, {(1)(2)(3),(12)(3),(13)(2),(1)(23),(123)}, {(1)(2)(3)(4),(12)(3)(4),(13)(2)(4), (1)(23)(4),(14)(2)(3),(1)(24)(3),(1)(2)(34),(123)(4),(124)(3),(12)(34), ...,(1234)} respectively (see main text for notation). (2.32) The Gram matrix Γn(0) intertwines the corresponding matrix form of Sn(0) with its con￾travariant dual. The modules are generi… view at source ↗
Figure 4
Figure 4. Figure 4: The first matrix is the Gram matrix of h−, −ie(∅,∅) when n = 4, with respect to the indicated basis; and the second is the gram matrix of h−, −ie((1),∅) when n = 3. The only-if direction is elementary, since the spine module P 2 nE0/1 (case (a) or (b) respectively) is indecomposable. 5.1. Gram matrices for P 2 n and the main Theorem. (5.9) We will only need the e(0,0) = E0 case here, but there is a contrav… view at source ↗
read the original abstract

We determine the semisimplicity criterion for even partition algebras over the complex field. Specifically we prove that the even/2-tonal partition algebras $P_n^2(\delta)$ over $\mathbb{C}$ are semisimple for all $n$ if and only if parameter $\delta \not\in \mathbb{N}_0$ .

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 / 1 minor

Summary. The manuscript proves that the 2-tonal (even) partition algebras P_n^2(δ) over ℂ are semisimple for every positive integer n if and only if the parameter δ is not a non-negative integer. The 'if' direction establishes non-degeneracy of the standard bilinear form on the diagram basis via the cellular structure of the algebra; the 'only if' direction constructs an explicit nonzero element of the radical for each fixed δ ∈ ℕ₀ by direct multiplication-table computation.

Significance. The result supplies a complete, uniform semisimplicity criterion for this family of diagram algebras. It extends the classical criterion for ordinary partition algebras and supplies an explicit radical generator when δ is integral, which is useful for subsequent work on the representation theory and cellular bases of these algebras.

minor comments (1)
  1. [§2] The notation P_n^2(δ) is introduced without an explicit reference to the standard diagram basis or the precise multiplication rule; a one-sentence reminder in §2 would improve readability for readers unfamiliar with the 2-tonal variant.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance.

Circularity Check

0 steps flagged

No significant circularity detected in the semisimplicity criterion

full rationale

The paper's derivation is self-contained. The 'if' direction uses the standard cellular structure of the 2-tonal partition algebra to prove non-degeneracy of the defining bilinear form when δ ∉ ℕ₀. The 'only if' direction constructs an explicit non-zero radical element for each δ ∈ ℕ₀ via direct multiplication rules. No step reduces by definition, fitted parameter, or self-citation chain to the target statement; the iff criterion follows from the algebra's definition and the usual notion of semisimplicity over ℂ.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 0 invented entities

The claim rests on the standard definition of partition algebras, the notion of semisimplicity, and the choice of base field; no new entities are introduced and δ is an input parameter rather than a fitted constant.

free parameters (1)
  • δ
    δ is the defining scalar parameter of the algebra family, not fitted by the paper to achieve the result.
axioms (1)
  • domain assumption The base field is the complex numbers ℂ
    Semisimplicity and representation theory statements are made over ℂ, which is algebraically closed of characteristic zero.

pith-pipeline@v0.9.0 · 5354 in / 1265 out tokens · 39052 ms · 2026-05-13T18:36:30.820344+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

34 extracted references · 34 canonical work pages

  1. [1]

    Iain T Adamson, Rings, modules and algebras , Oliver and Boyd, 1971

    work page 1971

  2. [2]

    Chwas Ahmed, Paul Martin, and Volodymyr Mazorchuk, On the number of principal ideals in d-tonal partition monoids, Annals of Combinatorics 25 (2021), 79–113

    work page 2021

  3. [3]

    Chwas Ahmed, Paul Martin, and Volodymyr Mazorchuk, Tonal partition algebras: fundamental and geometrical aspects of representation theory , Communications in Algebra 52 (2023), 233–271

    work page 2023

  4. [4]

    M Alvarez and P P Martin, A Temperley-Lieb category for 2-manifolds , preprint (2007), arxiv 0711.4777

    work page arXiv 2007

  5. [5]

    H H Andersen, J C Jantzen, and W Soergel, Representation of quantum groups at a pth root of unity and of semisimple groups in characteristic p: independence of p, Asterisque 220 (1994)

    work page 1994

  6. [6]

    Elizabeth O Banjo, The generic representation theory of the Juyumaya algebra o f braids and ties , Algebras and Representation Theory 16 (2013), 1385–1395

    work page 2013

  7. [7]

    Georgia Benkart and Tom Halverson, Partition algebras and the invariant theory of the symmetri c group, Recent trends in algebraic combinatorics, Springer, 2019, pp. 1–4 1

    work page 2019

  8. [8]

    Georgia Benkart and Dongho Moon, Planar rook algebras and tensor representations of gl(1|1), arXiv , 2012. 9. , A Schur-Weyl duality approach to walking on cubes , Annals of Combinatorics 20 (2016), no. 3, 397–417

    work page 2012

  9. [9]

    , Walks on graphs and their connections with tensor invariant s and centralizer algebras , Journal of Algebra 509 (2018), 1–39

    work page 2018

  10. [10]

    D J Benson, Representations and cohomology I , Cambridge, 1995. 32

    work page 1995

  11. [11]

    2, 690–710

    Matthew Bloss, G-colored partition algebras as centralizer algebras of wr eath products, Journal of algebra 265 (2003), no. 2, 690–710

    work page 2003

  12. [12]

    Christopher Bowman, Maud De Visscher, and Rosa Orellana , The partition algebra and the Kronecker coeffi- cients, 2013, arXiv 1210.5579

    work page arXiv 2013

  13. [13]

    J Comes, Jellyfish partition categories , Algebras and Rep Theory 23 (2020), 327

    work page 2020

  14. [14]

    Curtis and Irving Reiner, Representation theory of finite groups and associative alge bras, Wiley Interscience, New York, 1962

    Charles W. Curtis and Irving Reiner, Representation theory of finite groups and associative alge bras, Wiley Interscience, New York, 1962

    work page 1962

  15. [15]

    groups, Tata Inst

    P Deligne, La categorie des representations du groups symetrique , Proc Int Colloquium on Alg. groups, Tata Inst. (2007)

    work page 2007

  16. [16]

    Goodman, Pierre de La Harpe, and Vaughan F

    Frederick M. Goodman, Pierre de La Harpe, and Vaughan F. R . Jones, Coxeter graphs and towers of algebras , Math Sci Research Inst Publications 14, Springer–Verlag, B erlin, 1989

    work page 1989

  17. [17]

    830, Springer Berlin, 2007

    James Alexander Green, Karin Erdmann, and Manfred Schoc ker, Polynomial representations of GLn , vol. 830, Springer Berlin, 2007

    work page 2007

  18. [18]

    6, 869– 921

    Tom Halverson and Arun Ram, Partition algebras , European Journal of Combinatorics 26 (2005), no. 6, 869– 921

    work page 2005

  19. [19]

    V F R Jones, The Potts model and the symmetric group , in Subfactors: Proceedings of the Taniguchi Symposium on Operator Algebras, W orld Scientific, Singapore, 1994

    work page 1994

  20. [20]

    Z Kadar, P P Martin, and S Yu, On geometrically defined extensions of the TL category in the Brauer category, arXiv/1401.1774 (2014) and Mathematische Zeitschrift (20 19) 293 (2014/19)

    work page arXiv 2014

  21. [21]

    M Khovanov and R Sazdanovic, Bilinear pairings on 2-d cobordisms and generalisations of the Deligne category, arxiv (2020)

    work page 2020

  22. [22]

    Masashi Kosuda, Party algebra of type b and construction of its irreducible r epresentations, FPSAC Proceedings (2005), 753. 24. , Irreducible representations of the party algebra , Osaka Journal of Mathematics 43 (2006), no. 2, 431 – 474

    work page 2005

  23. [23]

    , Characterization for the modular party algebra , Journal of Knot Theory and Its Ramifications 17 (2008), 939–960

    work page 2008

  24. [24]

    P P Martin and H Saleur, On an algebraic approach to higher dimensional statistical mechanics, Communica- tions in Math Physics 158 (1993), 155–190

    work page 1993

  25. [25]

    P P Martin and D W oodcock, The partition algebras and a new deformation of the Schur alg ebras, J Algebra 203 (1998), 91–124

    work page 1998

  26. [26]

    Paul Martin, Potts models and related problems in statistical mechanics , W orld Scientific, Singapore, 1991

    work page 1991

  27. [27]

    1, 51–82

    , Temperley–Lieb algebras for non–planar statistical mecha nics — the partition algebra construction , Journal of Knot Theory and its Ramifications 3 (1994), no. 1, 51–82

    work page 1994

  28. [28]

    , On diagram categories, representation theory and statisti cal mechanics , AMS Contemp Math 456 (2008), 99–136

    work page 2008

  29. [29]

    Paul Martin and A Elgamal, Ramified partition algebras , Math. Z. 246 (2004), 473–500, (math.RT/0206148)

    work page arXiv 2004

  30. [30]

    Paul Martin and Hubert Saleur, Algebras in higher dimensional statistical mechanics — the exceptional partition algebras, Letters in Mathematical Physics 30 (1994), 179–185, (hep-th/9302095)

    work page arXiv 1994

  31. [31]

    2, 590–616

    Rosa C Orellana, On partition algebras for complex reflection groups , Journal of Algebra 313 (2007), no. 2, 590–616

    work page 2007

  32. [32]

    Soergel, Kazhdan-Lusztig polynomials and a combinatoric for tiltin g modules , REP.THEORY 1 (1997), 83–114

    W. Soergel, Kazhdan-Lusztig polynomials and a combinatoric for tiltin g modules , REP.THEORY 1 (1997), 83–114. 33

    work page 1997

  33. [33]

    Kenichiro Tanabe, On the centralizer algebra of the unitary reflection group G( m,p,n), Nagoya mathematical journal 148 (1997), 113–126

    work page 1997

  34. [34]

    A Vershik and P Nikitin, Traces on infinite-dimensional Brauer algebras , Functional Analysis and its Applica- tions 40 (2006), 165–172. Department of Mathematics, University of Wisconsin-Madiso n, Madison, USA Department of Mathematics, University of Leeds, Leeds, LS2 9 JT, UK Department of Mathematics, College of Science, University o f Sulaimani, Sulaym...

    work page 2006