Pith. sign in

REVIEW 4 major objections 4 minor 2 cited by

Rewriting modulo in diagrammatic algebras and application to categorification

T0 review · 4 major / 4 minor · reviewed 2026-08-09 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Rewriting theory proves the graded gl2-foam basis theorem.

desk verdict First proof of the gl2-foam basis theorem via a genuinely new higher rewriting framework, but the load-bearing Lemma 4.14 is deferred to the thesis. read the letter →

arxiv 2502.03028 v1 pith:CIZH556Z submitted 2025-02-05 math.RT math.CTmath.GTmath.QA

Léo Schelstraete This is my paper · ORCID
classification math.RTmath.CTmath.GTmath.QA MSC 18M3018N1057K1868Q42
keywords rewritingtheorydiagrammaticalgebrasgradedgl2-foamsbasistheoremcategorificationoddKhovanovhomologymodulotamedcongruence
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper establishes a basis theorem for the graded-2-category of graded gl2-foams, a diagrammatic algebra built from coloured strands, dots, cups, caps, and crossings: any reduced family of foams between two parallel 1-morphisms is a basis of the corresponding Hom module. This was a conjecture underlying the higher-representation-theoretic construction of odd Khovanov homology, and the paper gives the first proof. The proof is algorithmic and intrinsic, built from a new rewriting theory for diagrammatic algebras that combines linear rewriting, higher rewriting, and rewriting modulo structural relations such as pivotality. The reader should take the result as evidence that rewriting methods can replace concrete faithful representations as the standard tool for hom-basis problems in categorification.

What carries the argument

The carrying object is a linear Gray rewriting system modulo: a pair (R,E) of linear 3-sesquipolygraphs with the same underlying 2-sesquipolygraph, where E contains the graded interchangers and foam isotopies (braid-like, pitchfork, and zigzag relations) and R contains the foam relations dd, dm, bb, nc, and sq. The load-bearing work is done by the context-dependent subsystem T, the lexicographic preorder comparing numbers of shadings, closed strands, and dots, and the notion of a ≻-tamed congruence, which replaces confluence in the linear setting; convergence of T+ together with scalar coherence of E on reduced foams feeds the Basis-From-Convergence Theorem.

What would settle it

Find two parallel 1-morphisms W, W' in GFoam_d for which a reduced family satisfies a nontrivial linear relation in Hom_GFoam_d(W,W'), or exhibit a reduced foam that is not a T-normal form (or a T-normal form that is not reduced); the second check is a direct inspection of the rewriting rules and would settle the deferred Lemma 4.14.

Watch

Extended reading notes

Core claim

The central claim is Theorem 4.10: for any two parallel 1-morphisms W and W' in the graded-2-category GFoam_d, any reduced family defines a basis of the k-module Hom_GFoam_d(W,W'). Since GFoam_d is presented by the linear Gray polygraph GFoam_d = E ⊔ R, the paper proves the basis conjecture for GFoam_d stated in [SV23]. The proof works by splitting the generators into oriented rewriting rules R and unoriented modulo rules E, defining a context-dependent subsystem T whose normal forms are exactly the reduced foams, and showing that T+ is convergent via a tamed version of Newman's lemma. Convergence then feeds the Basis-From-Convergence Theorem, turning normal-form representatives into an actual basis once the modulo data is shown scalar-coherent on reduced foams.

Load-bearing premise

The proof relies on Lemma 4.14, stated without proof and deferred to the author's thesis, that the rewriting-normal forms of the subsystem T are exactly the reduced foams; if that identification fails, the basis theorem does not follow from the rewriting argument.

Editorial extensions

If this is right

  • Hom-spaces of GFoam_d are free k-modules with bases indexed by subsets of boundary circle components, so the odd Khovanov homology construction in [SV23] rests on a proven foundation.
  • A second deformation GFoam'_d, obtained by admissible scalar choices, satisfies the same basis theorem and corresponds topologically to type Y in odd Khovanov homology.
  • The rewriting machinery gives intrinsic, algorithmic basis proofs without a concrete faithful representation, opening a route to hom-basis theorems for other diagrammatic algebras.
  • The classified critical branchings yield explicit coherence data and syzygies for GFoam_d, paving the way toward studying higher structures and deformations of diagrammatic algebras.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The confluence computations force relations among the scalars X, Y, Z only at critical branchings, suggesting that many scalar deformations beyond the two named variants should also admit bases; this deformation-theoretic reading is implicit in the paper's perspective section.
  • The branch classification modulo is structured enough that it could be turned into a Buchberger-style completion algorithm, making basis theorems for diagrammatic algebras computer-checkable in future work.
  • Because the identification of normal forms with reduced foams is deferred to the companion thesis, a direct finite enumeration for small d would give an independent check of that load-bearing step.
  • The same tamed-congruence technology may transfer to super-2-categories such as the 2-Kac–Moody superalgebra, where non-monomial modulo rules currently block the theory.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. The paper develops a rewriting framework for diagrammatic algebras, called linear Gray rewriting modulo, and applies it to prove a basis theorem for the graded-2-category GFoam_d of graded gl_2-foams. Sections 2 and 3 introduce linear Gray polygraphs, tamed congruence, context-dependent termination, and a Basis-From-Convergence theorem, while Section 4 constructs a rewriting system for GFoam_d, analyzes its confluence modulo foam isotopies, and derives Theorem 4.10. The main result is the first proof of the basis conjecture for GFoam_d, which underlies the higher-representation-theoretic construction of odd Khovanov homology in [SV23].

Significance. If correct, the paper is significant both as a proof of a concrete basis theorem for graded gl_2-foams and as a general methodology for studying presentations of diagrammatic algebras. Its strengths are the explicit framework, the detailed strategy for classifying branchings modulo a non-coherent equivalence, and the reduction of a substantial geometric statement to a finite list of confluence checks. The exposition is careful and the paper makes good use of running examples. However, the proof is long and depends on several technical statements whose proofs are deferred or sketched; in particular, the identification of normal forms with reduced foams is load-bearing and is not proved in the paper.

major comments (4)
  1. [§4.2.2, Lemma 4.14] Lemma 4.14 is stated without proof and deferred to [Sch24, Proposition 1.6.5]. This lemma supplies the identification between monomial T+-normal forms and reduced foams that is required for the application of the Basis-From-Convergence Theorem 3.36; both inclusions are needed. Since Corollary 4.16 also relies on it, this is a load-bearing step. The proof should be given in the paper, or the dependency should be replaced by a verifiable argument; a citation to a thesis is not enough for this point.
  2. [§4.3, Lemma 4.22] The proof of Lemma 4.22 is a sketch. It asserts that after sliding strands one either reaches an independent branching or is in the case of 'precisely one cap or one cup' in common, leading to four critical branchings, but the case where both a cup and a cap are shared is not discussed and the four branchings are not derived. This classification is the basis for convergence of Z modulo E and hence for Proposition 4.6 and Corollary 4.16; a complete case analysis is required.
  3. [§4.4.2, Lemma 4.27] In the proof of Lemma 4.27, the statement 'we use coherence of E (Proposition 4.6) to present the isotopy e as a composition of E-naturalities' appears to ask for more than Proposition 4.6 provides. Proposition 4.6 asserts equality of scalars for parallel E-morphisms with the same bijection on dots and strands; it does not, by itself, give a decomposition of an arbitrary isotopy into braided-like and pivotal naturalities. Since the confluence proofs in Proposition 4.26 rely on this decomposition, a proof of the claimed normalization is needed.
  4. [§4.4.4, Lemma 4.35] The proof of Lemma 4.35 acknowledges that the Contextualization Lemma 3.62 does not apply to the first critical sq-branching in Fig. 4.3, and then invokes an argument 'essentially the same as Lemma 3.66' together with Lemma 4.33. This is only sketched; as these critical branchings are needed for Proposition 4.18, a detailed verification of this final case should be included.
minor comments (4)
  1. [§4.2.2] Lemma 4.14 has a grammatical typo: 'A foam is a T+-normal form is and only if it is reduced' should be 'if and only if'. Also, the preorder ≻ is written with '#dd' in the last component; the notation should be '#di' (or '#d_d') to match the preceding '#d_i'.
  2. [§4.2.2, Definition 4.13] For the sq relation, 'the two pieces of i-strands' is ambiguous because sq involves four strand pieces; please specify the distinctness condition precisely.
  3. [§3.5.1 / §4.2.2] The distinction between the non-coherence of E noted in Remark 3.26 and the scalar-coherence on reduced foams established in Corollary 4.16 is important; a sentence making it explicit that Corollary 4.16 concerns only monomial normal forms would prevent confusion.
  4. [§4.4] Several proofs say 'similar arguments apply' (e.g., for type sq in Lemma 4.31 and in Lemma 4.35); given the length of the paper, a short appendix or a more detailed figure for these cases would improve verifiability.

Circularity Check

2 steps flagged · score 4.0 of 10

Basis theorem depends on same-author thesis for the normal-form/reduced-foam identification and for bubble evaluation; the convergence proof itself is independent, so circularity is limited to load-bearing self-citation.

  1. self citation load bearing [§4.2.2, Lemma 4.14]
    "Lemma 4.14. A foam is a T+-normal form is and only if it is reduced. In particular, any choice of foam isotopy representatives for BNFT+ is a reduced family. The proof of Lemma 4.14 is given in [Sch24, Proposition 1.6.5]; in order to keep the focus on the rewriting theory, we omit it here."

    Theorem 4.10 is derived by applying Basis-From-Convergence (Theorem 3.36) to T. That theorem produces a basis of representatives of BNFT+, and Lemma 4.14 is exactly the assertion that BNFT+ consists of the reduced foams. The lemma is not proved in the paper; it is deferred to the author's own thesis [Sch24]. The claimed basis theorem therefore rests on a load-bearing same-author citation: if reduced foams and T-normal forms failed to coincide, the reduced-family basis would not be obtained. This is an omitted proof rather than a definitional circle, but as presented the derivation chain is incomplete at its most critical identification.

  2. self citation load bearing [§4.4.3, Definition 4.30 and Proposition 4.31]
    "One can check (see [Sch24, Lemma 1.6.7]) that any bubble can be 'evaluated' using B+-rewriting steps, in the sense that it rewrites into a sum of diagrams, each consisting only of dots."

    Bubble evaluation is used in Lemma 4.32 and in the proof of Proposition 4.31 to establish the B+-confluence of spatial-like branchings and to characterize branchwise B-confluence classes for nc and sq. This is part of the proof of Proposition 4.18, which is needed for the Tamed Linear Newmann's Lemma input to the basis theorem. The fact is again deferred to the author's thesis [Sch24, Lemma 1.6.7], so a central step in the confluence analysis is carried by same-author citation rather than by a proof in the paper. It is a missing-support gap, not a definitional equivalence, but it is load-bearing.

full rationale

The paper does not derive its main theorem from a fitted parameter or from a definitional equivalence: the reduced families are defined geometrically, the rewriting system is defined independently, and the convergence proof (critical branchings, tamed congruence, scalar coherence of E) is a substantial in-paper argument. The Basis-From-Convergence Theorem 3.36 is a general theorem with an in-paper proof, so applying it is legitimate. The circularity concern is narrower: the identification of T-normal forms with reduced foams (Lemma 4.14) and the bubble evaluation fact ([Sch24, Lemma 1.6.7]) are load-bearing and are deferred to the author's own thesis rather than proved here. Corollary 4.16 also relies on [Sch24, Corollary 1.6.8] for the no-closed-strands property of reduced foams. These are same-author citations that carry essential steps in the derivation chain. However, the central convergence argument is independent content, and if the cited thesis results are correct the derivation is valid. The appropriate score is therefore moderate: some load-bearing self-citation, but not a reduction of the result to its own inputs by construction.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The central claim rests on standard categorical definitions and a coherence theorem from prior literature. No numerical fitting or ad hoc parameters are introduced. The theory is general and the foam application is a concrete instance.

assumptions (3)
  • domain assumption All categorical structures are assumed to be small (Section 2, Notation).
    Standard size condition to avoid set-theoretic issues.
  • domain assumption Coherence theorem for interchangers in Gray categories (cited as [Sch24, Theorem A.3.1]).
    Used in Remark 3.72 and in the proof of Lemma 4.19.
  • standard math The free module over a set is well-defined; standard linear algebra.
    Foundation for the linear rewriting setup.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Rewriting modulo in diagrammatic algebras and application to categorification." pith.science (2026). https://pith.science/paper/CIZH556Z

@misc{pith2026250203028,
  author       = {Pith},
  title        = {Pith review of: Rewriting modulo in diagrammatic algebras and application to categorification},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CIZH556Z}},
  note         = {Machine review of arXiv:2502.03028}
}
abstract

We develop a rewriting theory suitable for diagrammatic algebras and lay down the foundations of a systematic study of their higher structures. In this paper, we focus on the question of finding bases. As an application, we give the first proof of a basis theorem for graded $\mathfrak{gl}_2$-foams, a certain diagrammatic algebra appearing in categorification and quantum topology. Our approach is algorithmic, combining linear rewriting, higher rewriting and rewriting modulo another set of rules -- for diagrammatic algebras, the modulo rules typically capture a categorical property, such as pivotality. In the process, we give novel approaches to the foundations of these theories, including to the notion of confluence. Other important tools include termination rules that depend on contexts, rewriting modulo invertible scalars, and a practical guide to classifying branchings modulo. This article is written to be accessible to experts on diagrammatic algebras with no prior knowledge on rewriting theory, and vice-versa.

Figures

Figures reproduced from arXiv: 2502.03028 by the authors.

Figure 1.1
Figure 1.1. A relation in the Temperley– Lieb category. Thanks to the diagram￾matics, it is easily understood as “evalu￾ate the closed loop to q + q −1 , and apply a planar isotopy”. Diagrammatic algebras are particularly prevalent in representation theory and low-dimensional topology. A classical example is the Temperley–Lieb category: it de￾scribes (some of) the representation theory of the quan￾tum group Uq(sl2). It is also … view at source ↗
Figure 1.2
Figure 1.2. Critical branchings in PG3 . Still, many local branchings remain, as the following ones (for any two words x, y ∈ X ∗ ): (σσ)(τ τ ) (1)(τ τ ) (σσ)(1) (1)(1) x(στσσ)y x(στ )y x(τστσ)y x(στ )y x(τ τστ )y independent branching contextualized branching Each of them admits a “somehow canonical” confluence. The first branching is an independent branching: intuitively, it consists of two rewriting steps that do not interac… view at source ↗
Figure 1.3
Figure 1.3. In a 3-category, a Gray category or a 3-sesquicategory, the interchange law for 2- [PITH_FULL_IMAGE:figures/full_fig_p011_1_3.png] view at source ↗
Figures from the paper (4 more)
Figure 4.1
Figure 4.1. Figure 4.1: 3-cells in R3 . Recall the convention that we omit objects: all the 3-cells can be labelled by any object, as long as the label is legal (Definition 4.1). In the last two cases, the wiggly lines are only visual aids, and are not part of the data. Each 3-cell has its …
Figure 4.2
Figure 4.2. Figure 4.2: Critical branching between types B and type nc. Similar arguments can be given if f is of type sq and g is of type bb⟲ (resp. bb⟳), showing that [f, e, g] is branchwise ≻-tamely T st-congruent to a contextualization of the T +-confluent branching pictured in [PITH_F…
Figure 4.3
Figure 4.3. Figure 4.3: Critical branchings between types B and type sq. 76 [PITH_FULL_IMAGE:figures/full_fig_p076_4_3.png]
Figure 4.4
Figure 4.4. Figure 4.4: Critical branchings in types {nc,sq} 79 [PITH_FULL_IMAGE:figures/full_fig_p079_4_4.png]

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A basis and Schur-Weyl duality for the loop Hecke algebra

    math.RT 2025-07 conditional novelty 8.0 of 10

    The loop Hecke algebra has dimension 1/2 * binom(2n,n) for z ≠ ±1, and is isomorphic to the endomorphism algebra of a tensor power for the negative half of quantum gl(1|1).

  2. Semi-strictification of $(\infty, n)$-categories

    math.CT 2025-06 conditional novelty 8.0 of 10

    Every weak (∞,n)-category embeds into a semi-strict algebraic model via an acyclic cofibration, forming the derived unit of a Quillen equivalence between weak model categories.

Reference graph

Works this paper leans on

2 extracted references · 1 canonical work pages · cited by 2 Pith papers

  1. [1]

    Alleaume, Rewriting in Higher Dimensional Linear Categories and Application to the Affine Oriented Brauer Category, J

    [All18a] C. Alleaume, Rewriting in Higher Dimensional Linear Categories and Application to the Affine Oriented Brauer Category, J. Pure Appl. Algebra, vol. 222, no. 3 (2018), pp. 636–673 (cit. on pp. 3, 9, 10, 17, 19, 29, 36, 41, 42, 54, 56, 61). [All18b] C. Alleaume, Higher-dimensional linear rewriting and coherence in categorification and representation...

    arXiv 2018

  2. [1995]

    Computing Critical Pairs in 2-Dimensional Rewriting Systems

    , vol. 15, Progr. Comput. Sci. Appl. Logic, Birkhäuser, Basel, 1998, pp. 193–208 (cit. on p. 10). [Mét03] F. Métayer, Resolutions by Polygraphs, Theory Appl. Categ., vol. 11 (2003), No. 7, 148–184 (cit. on p. 8). [Mim10] S. Mimram, “Computing Critical Pairs in 2-Dimensional Rewriting Systems”, in: RTA 2010: Proceedings of the 21st International Conference...

    work page arXiv 2003

Pith tools

Reviewed August 9, 2026 · model on record in the stance chip above.