We study derivations of the blob algebra $ \mathsf{B}_n(q, \delta, \kappa)$ over a field of characteristic zero and their interaction with its Graham–Lehrer cellular structure. From the defining presentation, we obtain a necessary and sufficient extension criterion that translates the Leibniz rule into explicit compatibility conditions on the generators. When the algebra is semisimple, every derivation is inner, and hence $ \mathrm{Der}(\mathsf{B}_n) = \mathrm{Inn}(\mathsf{B}_n)\cong \mathsf{B}_n/Z(\mathsf{B}_n)$. For cellular derivations satisfying a fixed-right-index compatibility condition, we construct $D$-connections on cell modules and give criteria for radical stability and descent to simple heads. We then study the non-semisimple regime $\delta = \kappa = 0$, with $q$ not a root of unity. A general vector-space reduction of the outer derivation space is obtained, and in the fully degenerate rank-two case $ \mathsf{B}_2(q, 0, 0)$, with $q+q^{-1}\neq0$, the outer derivation Lie algebra is computed explicitly: it is two-dimensional and non-Abelian. Finally, using the known combinatorial bijection between the canonical bases of the relevant blob and Deguchi–Martin cell modules, we separate basis-level transport from algebra-level transport. We prove descent of Hecke-algebra derivations under stability of the defining quotient ideal; under an algebra isomorphism intertwining the module actions, $D$-connections transport by conjugation; and, under proportionality of the corresponding cellular Gram forms, radical stability is preserved. Low-rank examples illustrate the scope and limitations of these transfer statements.
Citation: Muntasir Suhail, Osman Abdalla Adam Osman, Mohammed Rabih, Mohammad Shane Alam. Symmetries of blob algebras: Derivations, outer classes and cellular transfer[J]. AIMS Mathematics, 2026, 11(7): 22410-22431. doi: 10.3934/math.2026907
We study derivations of the blob algebra $ \mathsf{B}_n(q, \delta, \kappa)$ over a field of characteristic zero and their interaction with its Graham–Lehrer cellular structure. From the defining presentation, we obtain a necessary and sufficient extension criterion that translates the Leibniz rule into explicit compatibility conditions on the generators. When the algebra is semisimple, every derivation is inner, and hence $ \mathrm{Der}(\mathsf{B}_n) = \mathrm{Inn}(\mathsf{B}_n)\cong \mathsf{B}_n/Z(\mathsf{B}_n)$. For cellular derivations satisfying a fixed-right-index compatibility condition, we construct $D$-connections on cell modules and give criteria for radical stability and descent to simple heads. We then study the non-semisimple regime $\delta = \kappa = 0$, with $q$ not a root of unity. A general vector-space reduction of the outer derivation space is obtained, and in the fully degenerate rank-two case $ \mathsf{B}_2(q, 0, 0)$, with $q+q^{-1}\neq0$, the outer derivation Lie algebra is computed explicitly: it is two-dimensional and non-Abelian. Finally, using the known combinatorial bijection between the canonical bases of the relevant blob and Deguchi–Martin cell modules, we separate basis-level transport from algebra-level transport. We prove descent of Hecke-algebra derivations under stability of the defining quotient ideal; under an algebra isomorphism intertwining the module actions, $D$-connections transport by conjugation; and, under proportionality of the corresponding cellular Gram forms, radical stability is preserved. Low-rank examples illustrate the scope and limitations of these transfer statements.
| [1] | P. Martin, Potts Models and Related Problems in Statistical Mechanics, Singapore: World Scientific, 1991. https://doi.org/10.1142/0983 |
| [2] |
P. P. Martin, H. Saleur, The blob algebra and the periodic Temperley–Lieb algebra, Lett. Math. Phys., 30 (1994), 189–206. https://doi.org/10.1007/BF00805852 doi: 10.1007/BF00805852
|
| [3] |
J. J. Graham, G. I. Lehrer, Cellular algebras, Invent. Math., 123 (1996), 1–34. https://doi.org/10.1007/BF01232365 doi: 10.1007/BF01232365
|
| [4] | S. König, C. C. Xi, On the structure of cellular algebras, Algebras and Modules Ⅱ (Geiranger, 1996), CMS Conf. Proc., 24 (1998), 365–386. |
| [5] |
P. P. Martin, D. Woodcock, On the structure of the blob algebra, J. Algebra, 225 (2000), 957–988. https://doi.org/10.1006/jabr.1999.7948 doi: 10.1006/jabr.1999.7948
|
| [6] | I. N. Herstein, Noncommutative Rings, Washington: American Mathematical Association, 1968. |
| [7] | D. S. Passman, A Course in Ring Theory, Washington: American Mathematical Association, 1991. |
| [8] | D. J. Benson, Representations and Cohomology I: Basic Representation Theory of Finite Groups and Associative Algebras, Cambridge: Cambridge University Press, 1991. https://doi.org/10.1017/CBO9780511623615 |
| [9] |
J. A. de la Peña, C. C. Xi, Hochschild cohomology of algebras with homological ideals, Tsukuba J. Math., 30 (2006), 61–79. https://doi.org/10.21099/tkbjm/1496165029 doi: 10.21099/tkbjm/1496165029
|
| [10] |
C. C. Xi, Partition algebras are cellular, Compos. Math., 119 (1999), 107–118. https://doi.org/10.1023/A:1001776125173 doi: 10.1023/A:1001776125173
|
| [11] |
D. Ridout, Y. Saint-Aubin, Standard modules, induction and the structure of the Temperley–Lieb algebra, Adv. Theor. Math. Phys., 18 (2014), 957–1041. https://doi.org/10.4310/ATMP.2014.v18.n5.a1 doi: 10.4310/ATMP.2014.v18.n5.a1
|
| [12] | A. Fisher, D. Graves, Cohomology of diagram algebras, arXiv preprint, arXiv: 2412.14887, 2024. https://doi.org/10.48550/arXiv.2412.14887 |
| [13] | N. T. M. Alotaibi, On the Blob Algebra and a Deguchi–Martin Quotient of the Hecke Algebra, Ph.D. thesis, University of Leeds, 2023. |
| [14] |
S. Ryom-Hansen, Cell structures on the blob algebra, Represent. Theory, 16 (2012), 540–567. https://doi.org/10.1090/S1088-4165-2012-00424-1 doi: 10.1090/S1088-4165-2012-00424-1
|
| [15] |
D. Plaza, S. Ryom-Hansen, Graded cellular bases for Temperley–Lieb algebras of type A and B, J. Algebr. Comb., 40 (2014), 137–177. https://doi.org/10.1007/s10801-013-0481-6 doi: 10.1007/s10801-013-0481-6
|
| [16] |
T. Deguchi, P. P. Martin, An algebraic approach to vertex models and transfer matrix spectra, Int. J. Mod. Phys. A, 7 (1992), 165–196. https://doi.org/10.1142/S0217751X9200377X doi: 10.1142/S0217751X9200377X
|