pith. sign in

arxiv: 2510.20613 · v3 · submitted 2025-10-23 · 🧮 math.QA · math.CT· math.RT

Temperley-Lieb categories with coloured regions and Jones-Wenzl projectors

Cameron Howat , Robert Laugwitz , Martin Ray This is my paper

Pith reviewed 2026-05-18 04:56 UTC · model grok-4.3

classification 🧮 math.QA math.CTmath.RT
keywords Temperley-Lieb categoriescoloured regionsJones-Wenzl projectorssemisimplicityGram determinantsChebyshev polynomialstensor decompositionstrace pairings
0
0 comments X

The pith

Generalised Temperley-Lieb categories with coloured regions are semisimple for generic parameters and admit explicit tensor product decompositions.

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

The paper extends Temperley-Lieb categories by letting diagram regions carry colours that come from a complete set of orthogonal idempotents in a semisimple commutative algebra. It finds the precise conditions that make these categories semisimple and gives the direct-sum rules for tensor products of their simple objects. The key technical tools are two-variable Chebyshev polynomials and the associated coloured Jones-Wenzl projectors. This machinery also proves that the trace pairing on the corresponding algebras is non-degenerate, which settles a conjecture from earlier work.

Core claim

When the labelling algebra is semisimple and commutative, the generalised Temperley-Lieb category with coloured regions is semisimple for all but finitely many values of the deformation parameters. The simple objects are pairs consisting of a colour and a positive integer, and their tensor products decompose into direct sums of other simple objects according to fusion rules extracted from the two-variable Chebyshev polynomials. The coloured Jones-Wenzl projectors supply the idempotents needed to cut out these summands. As a consequence the Gram determinants of the trace forms are non-zero, so the pairings are non-degenerate.

What carries the argument

Coloured Jones-Wenzl projectors, which are recursively defined idempotents built from the two-variable Chebyshev polynomials that project tensor products onto their simple summands in the coloured setting.

If this is right

  • The categories are semisimple precisely when the parameters avoid the roots of certain polynomials determined by the Chebyshev recurrences.
  • Tensor products of simples decompose as direct sums whose multiplicities are given by the coefficients in the Chebyshev polynomial expansions.
  • The trace pairing on the endomorphism algebras is non-degenerate, so each algebra is semisimple as a module over itself.
  • The Gram determinant admits a closed product formula that generalises the classical Jones-Wenzl case.

Where Pith is reading between the lines

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

  • If the base algebra is allowed to be non-commutative the same projectors might still work after suitable modifications.
  • The decomposition rules suggest a possible categorification of multi-parameter quantum groups.
  • Small explicit examples with two or three colours could be checked by hand or machine to verify the fusion coefficients.

Load-bearing premise

The labelling algebra is semisimple and commutative, so its idempotents label regions independently without imposing relations that would prevent the semisimplicity analysis.

What would settle it

Evaluating the Gram determinant for the three-strand Temperley-Lieb algebra with two colours at a specific generic value of the parameters; the result must be nonzero if the claim holds.

Figures

Figures reproduced from arXiv: 2510.20613 by Cameron Howat, Martin Ray, Robert Laugwitz.

Figure 1
Figure 1. Figure 1: A meander on the left, and the same meander with coloured regions on the right. Proof. Assume that for some n ≥ 0, Uk(ωij,ji) ̸= 0 for all 1 ≤ k < n. Then the JW projectors fi from Definition 4.13 exist for all sequences i of colours of length less than or equal to n+1. Hence, [n] is a direct sum of the corresponding simple objects Ti . By choosing a suitable basis for T Ln(k ℓ , ω) consisting of identitie… view at source ↗
read the original abstract

Generalised Temperley-Lieb categories with regions labelled by elements of a commutative algebra were introduced by M. Khovanov and the second author in [Pure Appl. Math. Q. 19 (2023), no. 5]. We consider the case where the regions are labelled by colours, corresponding to a complete set of orthogonal idempotents of a semisimple commutative algebra. We determine when these generalised Temperley-Lieb categories are semisimple and find the direct sum decompositions of tensor products of simple objects. As the main tool we use two-variable versions of Chebychev polynomials and coloured Jones-Wenzl projectors. As a consequence, we prove a conjecture of M. Khovanov and the second author on Gram determinants and non-degeneracy of trace pairings for the associated Temperley-Lieb algebras with coloured regions.

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

Summary. The paper generalizes Temperley-Lieb categories by labeling regions with colors from a complete set of orthogonal idempotents of a semisimple commutative algebra. It determines the semisimplicity criteria for these categories and computes the direct sum decompositions of tensor products of simple objects, employing two-variable Chebyshev polynomials to construct colored Jones-Wenzl projectors. As a consequence, the work proves a conjecture of Khovanov and the second author concerning Gram determinants and the non-degeneracy of trace pairings for the associated colored Temperley-Lieb algebras.

Significance. If the results hold, this advances the study of diagrammatic categories in quantum algebra by extending standard Temperley-Lieb theory to colored regions and providing explicit tools for semisimplicity and decomposition. The colored Jones-Wenzl projectors and two-variable polynomials constitute a concrete technical contribution that directly resolves the stated conjecture on Gram determinants, which is a clear strength. The approach builds consistently on prior work without introducing hidden parameters or circular reductions.

minor comments (4)
  1. [§2] §2: The notation for the two-variable Chebyshev polynomials could be introduced with an explicit recursive definition or generating function to aid readers unfamiliar with the colored extension.
  2. [§4.3] §4.3: The statement of the semisimplicity criterion would benefit from a brief remark on how the conditions reduce to the classical (uncolored) case when the base algebra is the ground field.
  3. The diagrams in Figure 3 illustrating the action of colored projectors on tensor products are slightly compressed; increasing spacing between strands would improve readability.
  4. [Introduction] A reference to the original Jones-Wenzl projector construction in the uncolored setting should be added in the introduction for context.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work on generalized Temperley-Lieb categories with colored regions, the explicit semisimplicity criteria, decompositions via two-variable Chebyshev polynomials, and the resolution of the Khovanov-Laugwitz conjecture on Gram determinants. The recommendation for minor revision is noted, and we will incorporate any editorial or minor clarifications in the revised manuscript.

Circularity Check

0 steps flagged

No significant circularity; derivation uses independent new constructions

full rationale

The paper starts from the standard assumption that the base algebra is semisimple and commutative, allowing its orthogonal idempotents to label regions. It then introduces two-variable Chebychev polynomials and coloured Jones-Wenzl projectors as fresh tools, derives semisimplicity criteria and tensor-product decompositions from their properties, and obtains the Gram-determinant formulas as a direct consequence. These steps are defined and proved internally without reducing to previously fitted parameters, self-referential definitions, or load-bearing self-citations; the proof of the Khovanov-Laugwitz conjecture therefore rests on independent diagrammatic and polynomial content.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the semisimplicity of the base commutative algebra and on the algebraic properties of two-variable Chebyshev polynomials; no new free parameters or invented entities are introduced beyond the colored labeling.

axioms (1)
  • domain assumption The commutative algebra is semisimple, allowing a complete set of orthogonal idempotents to label regions.
    This is required to define the colored Temperley-Lieb category and to apply the semisimplicity analysis.

pith-pipeline@v0.9.0 · 5676 in / 1213 out tokens · 35729 ms · 2026-05-18T04:56:08.519103+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

  1. [1]

    Assem, D

    I. Assem, D. Simson, and A. Skowro´ nski,Elements of the representation theory of associative algebras. Vol. 1, London Mathematical Society Student Texts, vol. 65, Cambridge University Press, Cambridge, 2006. Techniques of representation theory

    work page 2006

  2. [2]

    Di Francesco,Meander determinants, Comm

    P. Di Francesco,Meander determinants, Comm. Math. Phys.191(1998), no. 3, 543–583

    work page 1998

  3. [3]

    Di Francesco, O

    P. Di Francesco, O. Golinelli, and E. Guitter,Meanders and the Temperley-Lieb algebra, Comm. Math. Phys.186(1997), no. 1, 1–59

    work page 1997

  4. [4]

    Doty and A

    S. Doty and A. Giaquinto,Origins of the Temperley–Lieb algebra: early history, arXiv e- prints (2023), available atArXiv:2307.11929

    work page arXiv 2023

  5. [5]

    Elias,The two-color Soergel calculus, Compos

    B. Elias,The two-color Soergel calculus, Compos. Math.152(2016), no. 2, 327–398

    work page 2016

  6. [6]

    Elias and N

    B. Elias and N. Libedinsky,Indecomposable Soergel bimodules for universal Coxeter groups, Trans. Amer. Math. Soc.369(2017), no. 6, 3883–3910. With an appendix by Ben Webster

    work page 2017

  7. [7]

    Etingof, S

    P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik,Tensor categories, Mathematical Surveys and Monographs, vol. 205, American Mathematical Society, Providence, RI, 2015

    work page 2015

  8. [8]

    Flake, R

    J. Flake, R. Laugwitz, and S. Posur,Indecomposable objects in Khovanov-Sazdanovic’s gen- eralizations of Deligne’s interpolation categories, Adv. Math.415(2023), 108892, 70 pp

    work page 2023

  9. [9]

    I. B. Frenkel and M. G. Khovanov,Canonical bases in tensor products and graphical calculus forU q(sl2), Duke Math. J.87(1997), no. 3, 409–480

    work page 1997

  10. [10]

    Hazi,Existence and rotatability of the two-colored Jones-Wenzl projector, Bull

    A. Hazi,Existence and rotatability of the two-colored Jones-Wenzl projector, Bull. Lond. Math. Soc.56(2024), no. 3, 1095–1113

    work page 2024

  11. [11]

    V. F. R. Jones,Index for subfactors, Invent. Math.72(1983), no. 1, 1–25

    work page 1983

  12. [12]

    V. F. R. Jones,A new knot polynomial and von Neumann algebras, Notices Amer. Math. Soc.33(1986), no. 2, 219–225

    work page 1986

  13. [13]

    L. H. Kauffman,Statistical mechanics and the Jones polynomial, Braids (Santa Cruz, CA, 1986), 1988, pp. 263–297

    work page 1986

  14. [14]

    L. H. Kauffman,Knots and physics, Series on Knots and Everything, vol. 1, World Scientific Publishing Co., Inc., River Edge, NJ, 1991

    work page 1991

  15. [15]

    L. H. Kauffman and S. L. Lins,Temperley-Lieb recoupling theory and invariants of3- manifolds, Annals of Mathematics Studies, vol. 134, Princeton University Press, Princeton, NJ, 1994

    work page 1994

  16. [16]

    Khovanov and R

    M. Khovanov and R. Laugwitz,Planar diagrammatics of self-adjoint functors and recogniz- able tree series, Pure Appl. Math. Q.19(2023), no. 5, 2409–2499

    work page 2023

  17. [17]

    Krause,Krull-Schmidt categories and projective covers, Expo

    H. Krause,Krull-Schmidt categories and projective covers, Expo. Math.33(2015), no. 4, 535–549

    work page 2015

  18. [18]

    J. C. Mason and D. C. Handscomb,Chebyshev polynomials, CRC Press, 2002

    work page 2002

  19. [19]

    Morrison,A formula for the Jones-Wenzl projections, Proceedings of the 2014 Maui and 2015 Qinhuangdao conferences in honour of Vaughan F

    S. Morrison,A formula for the Jones-Wenzl projections, Proceedings of the 2014 Maui and 2015 Qinhuangdao conferences in honour of Vaughan F. R. Jones’ 60th birthday, 2017, pp. 367–378

    work page 2014

  20. [20]

    percolation

    H. N. V. Temperley and E. H. Lieb,Relations between the “percolation” and “colouring” prob- lem and other graph-theoretical problems associated with regular planar lattices: some exact results for the “percolation” problem, Proc. Roy. Soc. London Ser. A322(1971), no. 1549, 251–280

    work page 1971

  21. [21]

    Wenzl,On sequences of projections, C

    H. Wenzl,On sequences of projections, C. R. Math. Rep. Acad. Sci. Canada9(1987), no. 1, 5–9. School of Mathematical Sciences, University of Nottingham, Nottingham, NG7 2RD, United Kingdom Email address:robert.laugwitz@nottingham.ac.uk Email address:pmymr5@nottingham.ac.uk

    work page 1987