Sandwich cellularity and a version of cell theory
Pith reviewed 2026-05-24 12:23 UTC · model grok-4.3
The pith
Sandwich cellular algebras constitute a version of cell theory for algebras.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The theory of sandwich cellular algebras is a version of cell theory for algebras, as shown by matching structural properties and by applying the theory to examples such as Hecke algebras and various monoid and diagram algebras.
What carries the argument
Sandwich cellular algebras, whose definition encodes the cell chain, basis multiplication rules, and involution axioms of cell theory.
If this is right
- Hecke algebras admit a cell-theoretic description of their representations.
- Monoid algebras can be analyzed with the same cell basis and involution methods.
- Diagram algebras receive a uniform treatment under cell theory via sandwich cellularity.
- Results proved for one class transfer directly to the others through the shared axioms.
Where Pith is reading between the lines
- The identification may allow existing cell-theory theorems to be restated for any algebra shown to be sandwich cellular.
- It suggests checking other diagram or monoid families for sandwich cellularity to obtain new representation results.
- The approach could extend to algebras over rings where standard cellularity fails but the sandwich variant holds.
Load-bearing premise
The structural properties that define sandwich cellular algebras match the axioms and consequences of cell theory closely enough that the former counts as a version of the latter.
What would settle it
An algebra that meets every sandwich cellularity axiom yet fails a core cell-theory consequence, such as the existence of a cell basis with the required multiplication rule inside each cell.
read the original abstract
We explain how the theory of sandwich cellular algebras can be seen as a version of cell theory for algebras. We apply this theory to many examples such as Hecke algebras, and various monoid and diagram algebras.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript explains how sandwich cellular algebras realize a version of cell theory for algebras. It develops the correspondence between the two frameworks and verifies the approach on standard families of examples, including Hecke algebras, monoid algebras, and diagram algebras.
Significance. If the claimed equivalence is rigorously established, the work supplies a unifying perspective that may streamline proofs of cellularity and the construction of cell modules across several classes of algebras arising in representation theory. Explicit verification on multiple well-studied families constitutes a concrete strength.
minor comments (3)
- The introduction would benefit from an explicit side-by-side comparison (perhaps as a table or enumerated list) of the sandwich-cellular axioms versus the standard cell-theory axioms, citing the relevant sections where each is stated.
- Notation for the sandwich ideal and the associated bilinear form should be introduced once and used consistently; occasional shifts in symbols between sections make cross-referencing harder.
- A brief remark on how the new viewpoint recovers (or differs from) the original definition of sandwich cellularity would help readers who are already familiar with that literature.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of the manuscript and the recommendation of minor revision. No major comments were listed in the report.
Circularity Check
No significant circularity in explanatory reinterpretation
full rationale
The paper's core contribution is an explanatory mapping showing how sandwich cellular algebras realize a version of cell theory, illustrated on standard examples (Hecke, monoid, diagram algebras). No derivation chain, fitted parameters presented as predictions, or load-bearing self-citations appear; the claim rests on direct correspondence and verification rather than any reduction of outputs to inputs by construction. This is the expected honest finding for a conceptual-reinterpretation paper whose central content is independent of its own fitted values or prior self-citations.
Axiom & Free-Parameter Ledger
Forward citations
Cited by 4 Pith papers
-
On Hecke and asymptotic categories for a family of complex reflection groups
Constructs Hecke algebras and asymptotic versions for G(M,M,N) complex reflection groups by generalizing the dihedral case.
-
Uncoiled affine Temperley-Lieb algebras and their Wenzl-Jones projectors
Introduces uncoiled affine and periodic Temperley-Lieb algebras as finite quotients and constructs explicit Wenzl-Jones idempotents projecting onto their one-dimensional modules, with Markov trace evaluations expresse...
-
Growth problems in diagram categories
Derives asymptotic formulas for the growth rate of the number of summands in tensor powers of the generating object in semisimple diagram/interpolation categories.
-
Asymptotics in infinite monoidal categories
Formulas are discussed for the asymptotic growth rate of summands in tensor powers in monoidal categories with infinitely many indecomposables, using generalized Perron-Frobenius theory and random walk techniques.
Reference graph
Works this paper leans on
-
[1]
Idempotents of Hecke algebras of type A
URL: https://arxiv.org/abs/q-alg/9702017, doi:10.1142/S0218216598000243. [And19] H.H. Andersen. Simple modules for Temperley–Lieb algebras and related algebras. J. Algebra , 520:276–308,
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1142/s0218216598000243
-
[2]
Simple Modules for Temperley-Lieb Algebras and related Algebras
URL: https://arxiv.org/abs/1709.00248, doi: 10.1016/j.jalgebra.2018.10.035. [AST17] H.H. Andersen, C. Stroppel, and D. Tubbenhauer. Semisimplicity of Hecke and (walled) Brauer algebras. J. Aust. Math. Soc. , 103(1):1–44,
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.jalgebra.2018.10.035 2018
-
[3]
Semisimplicity of Hecke and (walled) Brauer algebras
URL: https://arxiv.org/ abs/1507.07676, doi:10.1017/S1446788716000392. [AST18] H.H. Andersen, C. Stroppel, and D. Tubbenhauer. Cellular structures using U q-tilting modules. Pacific J. Math. , 292(1):21–59,
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1017/s1446788716000392
-
[4]
00224, doi:10.2140/pjm.2018.292.21
URL: https://arxiv.org/abs/1503. 00224, doi:10.2140/pjm.2018.292.21. [Bow22] C. Bowman. The many integral graded cellular bases of Hecke algebras of complex reflection groups. Amer. J. Math. , 144(2):437–504,
-
[5]
URL: https://arxiv.org/ abs/1702.06579, doi:10.1353/ajm.2022.0008. [Bro55] W.P. Brown. Generalized matrix algebras. Canadian J. Math. , 7:188–190,
-
[6]
doi: 10.4153/CJM-1955-023-2. [CP61] A.H. Clifford and G.B. Preston. The algebraic theory of semigroups. Vol. I. Mathematical Surveys, No
-
[7]
URL: https://arxiv.org/abs/1607.01867, doi:10.1016/j.aim.2019.01
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.aim.2019.01 2019
-
[8]
URL: https://arxiv.org/abs/math/ 0506448, doi:10.1016/j.jalgebra.2005.10.004. [DEE+19] I. Dolinka, J. East, A. Evangelou, D. FitzGerald, N. Ham, J. Hyde, N. Loughlin, and J.D. Mitchell. Enumeration of idempotents in planar diagram monoids. J. Algebra, 522:351– 385,
-
[9]
Enumeration of idempotents in planar diagram monoids
URL: https://arxiv.org/abs/1507.04838, doi:10.1016/j.jalgebra. 2018.11.014. [Eas06] J. East. Cellular algebras and inverse semigroups. J. Algebra, 296(2):505–519,
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.jalgebra 2018
-
[10]
doi:10.1016/j.jalgebra.2005.04.027. [EMRT18] J. East, J.D. Mitchell, N. Ruˇ skuc, and M. Torpey. Congruence lattices of finite diagram monoids. Adv. Math., 333:931–1003,
-
[11]
Congruence lattices of finite diagram monoids
URL: https://arxiv.org/abs/1709.00142, doi:10.1016/j.aim.2018.05.016. [Eny04] J. Enyang. Cellular bases for the Brauer and Birman–Murakami–Wenzl algebras. J. Algebra, 281(2):413–449,
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.aim.2018.05.016 2018
-
[12]
doi:10.1016/j.jalgebra.2003.03.002. [ER20] J. East and N. Ruˇ skuc. Congruence lattices of ideals in categories and (partial) semi- groups
- [13]
- [14]
-
[15]
doi:10.4310/MRL.1995.v2.n1.a3. 30 D. TUBBENHAUER [FHH09] D. Flath, T. Halverson, and K. Herbig. The planar rook algebra and Pascal’s triangle. Enseign. Math. (2) , 55(1-2):77–92,
-
[16]
The Planar Rook Algebra and Pascal's Triangle
URL: https://arxiv.org/abs/0806.3960, doi:10.4171/lem/55-1-3. [Gec07] M. Geck. Hecke algebras of finite type are cellular. Invent. Math., 169(3):501–517,
work page internal anchor Pith review Pith/arXiv arXiv doi:10.4171/lem/55-1-3
-
[17]
Hecke algebras of finite type are cellular
URL: https://arxiv.org/abs/math/0611941, doi:10.1007/s00222-007-0053-2. [GG11] F.M. Goodman and J. Graber. Cellularity and the Jones basic construction. Adv. in Appl. Math. , 46(1-4):312–362,
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00222-007-0053-2
-
[18]
Cellularity and the Jones basic construction
URL: https://arxiv.org/abs/0906.1496, doi: 10.1016/j.aam.2010.10.003. [GL96] J.J. Graham and G. Lehrer. Cellular algebras. Invent. Math., 123(1):1–34,
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.aam.2010.10.003 2010
-
[19]
doi: 10.1007/BF01232365. [GMS09] O. Ganyushkin, V. Mazorchuk, and B. Steinberg. On the irreducible representations of a finite semigroup. Proc. Amer. Math. Soc. , 137(11):3585–3592,
-
[20]
On the irreducible representations of a finite semigroup
URL: https: //arxiv.org/abs/0712.2076, doi:10.1090/S0002-9939-09-09857-8 . [GP00] M. Geck and G. Pfeiffer. Characters of finite Coxeter groups and Iwahori–Hecke algebras, volume 21 of London Mathematical Society Monographs. New Series . The Clarendon Press, Oxford University Press, New York,
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1090/s0002-9939-09-09857-8 2076
-
[21]
doi:10.2307/1969317. [GW15] N. Guay and S. Wilcox. Almost cellular algebras. J. Pure Appl. Algebra , 219(9):4105– 4116,
-
[22]
doi:10.1016/j.jpaa.2015.02.010. [HJ20] T. Halverson and T.N. Jacobson. Set-partition tableaux and representations of diagram algebras. Algebr. Comb. , 3(2):509–538,
-
[23]
URL: https://arxiv.org/abs/1808. 08118, doi:10.5802/alco.102. [HM10] J. Hu and A. Mathas. Graded cellular bases for the cyclotomic Khovanov–Lauda– Rouquier algebras of type A. Adv. Math., 225(2):598–642,
-
[24]
Graded cellular bases for the cyclotomic Khovanov-Lauda-Rouquier algebras of type A
URL: http://arxiv. org/abs/0907.2985, doi:10.1016/j.aim.2010.03.002. [HR05] T. Halverson and A. Ram. Partition algebras. European J. Combin., 26(6):869–921,
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.aim.2010.03.002 2010
-
[25]
URL: https://arxiv.org/abs/math/0401314, doi:10.1016/j.ejc.2004.06.005. [HZ57] E. Hewitt and H.S. Zuckerman. The irreducible representations of a semi-group related to the symmetric group. Illinois J. Math. , 1:188–213,
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.ejc.2004.06.005 2004
-
[26]
URL: https://arxiv.org/abs/1901.02323, doi:10.1007/s00029-020-0552-1. [Jen20b] L.T. Jensen. Cellularity of the p-canonical basis for symmetric groups
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00029-020-0552-1 1901
-
[27]
URL: https://arxiv.org/abs/2009.11715. [JW17] L.T. Jensen and G. Williamson. The p-canonical basis for Hecke algebras. In Categorifi- cation and higher representation theory, volume 683 of Contemp. Math., pages 333–361. Amer. Math. Soc., Providence, RI,
-
[28]
The $p$-Canonical Basis for Hecke Algebras
URL: https://arxiv.org/abs/1510.01556, doi:10.1090/conm/683. [KL79] D. Kazhdan and G. Lusztig. Representations of Coxeter groups and Hecke algebras. Invent. Math., 53(2):165–184,
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1090/conm/683
-
[29]
doi:10.1007/BF01390031. [KM16] T. Kildetoft and V. Mazorchuk. Special modules over positively based algebras. Doc. Math., 21:1171–1192,
-
[30]
Special modules over positively based algebras
URL: https://arxiv.org/abs/1601.06975. [KST22] M. Khovanov, M. Sitaraman, and D. Tubbenhauer. Monoidal categories, representation gap and cryptography
work page internal anchor Pith review Pith/arXiv arXiv
- [31]
-
[32]
doi:10.1112/S0024610799008212. [KX01] S. K¨ onig and C. Xi. A characteristic free approach to Brauer algebras. Trans. Amer. Math. Soc., 353(4):1489–1505,
-
[33]
doi:10.1090/S0002-9947-00-02724-0 . [KX12] S. K¨ onig and C. Xi. Affine cellular algebras. Adv. Math., 229(1):139–182,
-
[34]
doi: 10.1016/j.aim.2011.08.010. [Lus84] G. Lusztig. Characters of reductive groups over a finite field , volume 107 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ,
-
[35]
Hecke algebras with unequal parameters
URL: https://arxiv. org/abs/math/0208154. [Mat99] A. Mathas. Iwahori-Hecke algebras and Schur algebras of the symmetric group, volume 15 of University Lecture Series . American Mathematical Society, Providence, RI,
work page internal anchor Pith review Pith/arXiv arXiv
-
[36]
doi:10.1090/ulect/015. [MMM+19] M. Mackaay, V. Mazorchuk, V. Miemietz, D. Tubbenhauer, and X. Zhang. Simple transitive 2-representations of Soergel bimodules for finite Coxeter types
-
[37]
URL: https://arxiv.org/abs/1906.11468. [MMM+21] M. Mackaay, V. Mazorchuk, V. Miemietz, D. Tubbenhauer, and X. Zhang. Finitary birepresentations of finitary bicategories. Forum Math., 33(5):1261–1320,
-
[38]
URL: https://arxiv.org/abs/2008.01658, doi:10.1515/forum-2021-0021. [MMMZ20] M. Mackaay, Volodymyr M., V. Miemietz, and X. Zhang. Analogues of centralizer subalgebras for fiat 2-categories and their 2-representations. J. Inst. Math. Jussieu , 19(6):1793–1829,
-
[39]
Analogues of centralizer subalgebras for fiat 2-categories and their 2-representations
URL: https://arxiv.org/abs/1802.02078, doi:10.1017/ s1474748018000555. [MT21] A. Mathas and D. Tubbenhauer. Subdivision and cellularity for weighted KLRW alge- bras
work page internal anchor Pith review Pith/arXiv arXiv
- [40]
-
[41]
URL: https://arxiv.org/abs/2201.01998. [Mun57] W.D. Munn. The characters of the symmetric inverse semigroup. Proc. Cambridge Philos. Soc., 53:13–18,
-
[42]
doi:10.1017/s0305004100031947. [RSA14] D. Ridout and Y. Saint-Aubin. Standard modules, induction and the structure of the Temperley–Lieb algebra. Adv. Theor. Math. Phys., 18(5):957–1041,
-
[43]
Standard Modules, Induction and the Temperley-Lieb Algebra
URL: https: //arxiv.org/abs/1204.4505. [RT21] D.E.V. Rose and D. Tubbenhauer. HOMFLYPT homology for links in handlebodies via type A Soergel bimodules. Quantum Topol., 12(2):373–410,
work page internal anchor Pith review Pith/arXiv arXiv
-
[44]
URL: https: //arxiv.org/abs/1908.06878, doi:10.4171/qt/152. [Sch58] M.-P. Sch¨ utzenberger. Sur la repr´ esentation monomiale des demi-groupes.C. R. Acad. Sci. Paris, 246:865–867,
-
[45]
doi:10.1016/S0021-8693(02)00004-2. [Spe20] R.A. Spencer. The modular Temperley–Lieb algebra
- [46]
-
[47]
doi:10.1007/978-3-319-43932-7 . [TV21] D. Tubbenhauer and P. Vaz. Handlebody diagram algebras
- [48]
-
[49]
05069, doi:10.2140/agt.2017.17.3703
URL: https://arxiv.org/abs/1504. 05069, doi:10.2140/agt.2017.17.3703. [Xi99] C. Xi. Partition algebras are cellular. Compositio Math. , 119(1):99–109,
-
[50]
doi: 10.1023/A:1001776125173. D.T.: The University of Sydney, School of Mathematics and Statistics F07, Office Carslaw 827, NSW 2006, Australia, www.dtubbenhauer.com Email address : daniel.tubbenhauer@sydney.edu.au
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.