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

Abel Lacabanne; Geoffrey Janssens; L\'eo Schelstraete; Pedro Vaz

REVIEW 3 major objections 5 minor 3 references

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

T0 review · 3 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read The paper proves that away from z = ±1 the loop Hecke algebra has an explicit basis of size 1/2 binom(2n,n), settling the dimension conjecture of [DMR23], and that it is the full endomorphism ring of V^{⊗n} for the negative half of…

desk verdict A substantial new proof of the Damiani-Martin-Rowell dimension conjecture with a Schur-Weyl duality, held back only by a Z-basis theorem resting on an unpublished preprint and a misstated intertwiner lemma. read the letter →

arxiv 2507.12839 v1 pith:KVEMSNXG submitted 2025-07-17 math.RT math.GTmath.QA

Geoffrey Janssens , Abel Lacabanne , Léo Schelstraete , Pedro Vaz This is my paper · ORCID

classification math.RTmath.GTmath.QA MSC 20C0820F3617B3716T9916S15

keywords loopbraidgroupHeckealgebraSchur–WeyldualityR-matrixquantumgroupsrewritingtheoryGröbnerbasisDyckpaths

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

The paper sets out to understand the loop Hecke algebra, a deformation of the group algebra of the loop braid group that generalizes the Hecke algebra. It proves that, away from the special parameters z = ±1, this algebra has an explicit basis indexed by pairs of 321-avoiding permutations with a coupling condition, and that the number of basis elements is exactly $\frac{1}{2}\binom{2n}{n}$. That number was conjectured by Damiani, Martin and Rowell, and the proof confirms it. The same algebras are shown to be exactly the endomorphism rings of tensor powers of the vector representation of the negative half of quantum $\mathfrak{gl}_{1|1}$, so the loop Hecke algebra acquires a representation-theoretic meaning as a Schur–Weyl dual object.

What carries the argument

The load-bearing object is the integral form $\widetilde{LH}_n$, presented by idempotent generators $D_i$ and $U_i$ with the swap relations of Definition 1.4; it is the parameter-free cloak of $LH_n$ away from $z = \pm 1$. The basis theorem is carried by a monoidal Gröbner basis: an oriented rewriting system on words in $D$ and $U$ that terminates and critically confluates, so every word has a unique reduced form, with the reduced words being those of Definition 1.5. The cardinality computation is carried by the Mansour–Deng–Du bijection between Dyck paths and 321-avoiding permutations, which turns the coupling condition into a set in bijection with ordinary lattice paths from $(0,1)$ to $(n,n)$, of which there are $\binom{2n-1}{n} = \frac{1}{2}\binom{2n}{n}$. On the representation side, the mechanism is the quasi-$R$-matrix $\Theta$ of $U_q(\mathfrak{gl}_{1|1})$ together with a symmetric braiding $\check{S}$ arising from a twist $S_{M,N}$; the pair $(\check{R}, \check{S})$ makes $V$ a loop braided vector space, and the negative half $U_q^{\leq 0}(\mathfrak{gl}_{1|1})$ is exactly the centralizer.

What would settle it

Instantiate the '?' diagrams of Lemma 2.13 with a word that is not one of the three normal forms in (24) and run the two rewriting branches: if they do not reach a common reduced word, the system is not confluent and the reduced words are not linearly independent. A direct computer search for a nontrivial integer relation among the $\binom{2n-1}{n}$ reduced words of $\widetilde{LH}_n$ for $n = 4$ or $5$ would settle the basis claim.

Watch

Extended reading notes

Core claim

The central discovery is that the loop Hecke algebra $LH_n$, originally presented with a parameter $t$ and with generators $\sigma_i$, $\rho_i$, admits, for $z \neq \pm 1$, a parameter-free presentation: in terms of idempotent generators $D_i = (\sigma_i - \rho_i)/(1-t)$ and $U_i = (\sigma_i - t\rho_i)/(1-t)$, the relations become $D_i^2 = D_i$, $D_i U_i = 0$, $U_i D_i = U_i + D_i - 1$, $U_i^2 = U_i$, together with the braid-like and interchange relations given in Definition 1.4. With this presentation the paper constructs an explicit $\mathbb{Z}$-basis: words $D\cdot U$ where $D$ and $U$ are independently 321-avoiding reduced words and the condition $D_i \in D$ forces $U_i, U_{i-1} \notin U$. It proves these words are linearly independent by higher linear rewriting theory, counts them via Dyck paths, and obtains dimension $\frac{1}{2}\binom{2n}{n}$ for $z \neq \pm 1$. Independently, it proves that over $\mathbb{Q}(q)$, $LH_n$ is isomorphic to $\mathrm{End}_{U_q^{\leq 0}(\mathfrak{gl}_{1|1})}(V^{\otimes n})$ via the Burau–Rittenberg representation, establishing a non-semisimple Schur–Weyl duality and, as a by-product, faithfulness of that representation.

Load-bearing premise

The linear-independence proof depends on a higher rewriting framework that is supplied by an as-yet-unreviewed preprint by one of the authors and is only semi-formally reviewed in this paper, including the crucial assertion that contexts inject into the loop Hecke category; if that framework is wrong, the basis theorem would lose its rewriting-theoretic support.

Editorial extensions

If this is right

For $z \neq \pm 1$ the complexified loop Hecke algebra is free of rank $\binom{2n-1}{n} = \frac{1}{2}\binom{2n}{n}$, settling the dimension conjecture of [DMR23].
The inclusion $\widetilde{LH}_n \hookrightarrow \widetilde{LH}_{n+1}$ is injective on the explicit bases, so the integral forms form a tower of known-rank free modules.
Over $\mathbb{Q}(q)$ the Burau–Rittenberg representation is faithful, because $LH_n \otimes_{\mathbb{Z}[t]} \mathbb{Q}(q) \cong \mathrm{End}_{U_q^{\leq 0}(\mathfrak{gl}_{1|1})}(V^{\otimes n})$.
The Jacobson radical of $LH_n \otimes \mathbb{Q}(q)$ is square-zero, its semisimple quotient is the super Temperley–Lieb algebra, and its Ext-quiver is the $A_n$ quiver with zero composition of consecutive arrows, so the algebra is of finite representation type.
The quotient of $\widetilde{LH}_n$ by the ideal generated by $D_1 \cdots D_j$ collapses to $\mathbb{Z}$ through the augmentation $U_i \mapsto 1$, $D_i \mapsto 0$, which corrects a conjecture in [DMR23, Section 6].

Reading between the lines

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

A natural next step the paper leaves open is to understand the fibers at $t = \pm 1$: Theorem 7.1 only covers localization away from these points and the specialization $t = 0$, so the basis may extend to a global integral model with interesting specialization behavior.
The same rewriting-theoretic machinery could be applied to 'loop Artin groups' outside type A, if such groups are defined as the paper asks in Question 1; the 321-avoidance condition would then likely be replaced by the relevant Coxeter-theoretic pattern avoidance.
Because the paper notes that working with $U_q^{\geq 0}$ would reverse the roles of $U$ and $D$, a mirror Schur–Weyl duality and a companion basis are expected; checking whether the resulting basis has the same Dyck-path count would test the symmetry.
Computing the change-of-basis matrix between the reduced-word basis and the Schur–Weyl basis for small $n$ would give an explicit dictionary between rewriting theory and the quantum-group picture.

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.

Desk Editor's Note

read the letter

Giulia, you should know about this one. Janssens–Lacabanne–Schelstraete–Vaz prove the 2023 Damiani–Martin–Rowell conjecture: for t not ±1, the loop Hecke algebra LH_n has dimension 1/2 * binom(2n,n). They do it by giving a new parameter-free presentation of an integral form gLH_n, an explicit basis indexed by pairs of 321-avoiding permutations with a disjointness condition, and a Dyck-path count of that basis. On top of that they establish a Schur–Weyl duality: LH_n ⊗ Q(q) ≅ End_{U_q^{≤0}(gl(1|1))}(V^{⊗n}). That duality is new, and they use it to describe the semisimple part, Jacobson radical, Ext-quiver and Cartan matrix, recovering and correcting parts of DMR. The combinatorics is solid: the Dyck-path bijection is concrete, the dimension count is explicit, and the Schur–Weyl route is independent of the rewriting-theory basis theorem.

The soft spots are two. First, the Z-basis theorem (Theorem 2.1) rests on Theorem 2.11, a higher linear rewriting result imported from [Sch25], an unreviewed arXiv preprint by one of the authors. The paper's own review is semi-formal, and Appendix A leaves several confluence cases to the reader. This means the literal basis statement over Z hangs on external, unverified machinery. The good news is that the dimension result does not: it follows from generation plus the Schur–Weyl dimension comparison (Remark 5.12), so Corollary D and Theorem 5.7 survive even if the rewriting theory were wrong. The second issue is a concrete error in the proof of Lemma 5.9, the computation of Hom spaces between indecomposables. In the case μ = λ+ε1−ε2 the paper claims the nonzero map sends v^1_λ to z v^0_μ, but these have different weights; the correct map is v^0_λ ↦ z v^1_μ, v^1_λ ↦ 0. The dimension conclusion is unchanged, but the proof as written is wrong.

Overall: this is a serious, useful paper that solves a known conjecture and gives a clean representation-theoretic framework. It deserves a serious referee. I'd recommend accepting it conditional on (a) fixing the Lemma 5.9 interchange, and (b) either strengthening the rewriting-theory appendix or spelling out exactly which parts of [Sch25] are being imported and why they are reliable. I'd cite this if I worked on loop braid groups or quantum gl(1|1).

Referee Report

3 major / 5 minor

Summary. The paper studies the loop Hecke algebra LH_n introduced by Damiani, Martin, and Rowell. It defines an integral form gLH_n with generators D_i, U_i and a parameter-free presentation, proves that this presents LH_n away from t = ±1, and proposes an explicit basis of "gLH_n-reduced words" indexed by pairs of 321-avoiding words with an additional compatibility condition. It counts this basis by a bijection with Dyck paths, obtaining 1/2 * binom(2n,n), thereby proving the DMR dimension conjecture for z ≠ ±1. The paper then constructs a loop-braided vector space using the negative half U_q^{≤0}(gl_{1|1}) and proves a Schur–Weyl isomorphism LH_n ⊗ Q(q) ≅ End_{U_q^{≤0}(gl_{1|1})}(V^{⊗n}). Consequences include the Wedderburn–Mal'cev decomposition, the Cartan matrix, the Ext-quiver, an augmented-algebra quotient, and a comparison with the Berenstein–Kazhdan Hecke–Hopf algebra.

Significance. If the main theorems are correct, this is a substantial contribution: it confirms a conjecture on the dimension of the loop Hecke algebra, gives a new presentation and explicit basis, and connects LH_n to the non-semisimple representation theory of the negative Borel half of U_q(gl_{1|1}). The Dyck-path bijection is elegant, the Schur–Weyl computations are explicit, and the structural results on the radical and Ext-quiver are valuable. However, the Z-basis theorem rests on the authors' unpublished higher rewriting framework [Sch25], the exposition of that framework is explicitly semi-formal, and Appendix A delegates several confluence checks to the reader. In addition, Lemma 5.9 contains a concrete error in its proof. These issues are localizable and likely repairable, but as written the manuscript does not fully establish all of its central claims.

major comments (3)

[§2.3, Theorem 2.11, Remark 2.12, Appendix A] Theorem 2.1, the Z-basis theorem for gLH_n, is load-bearing for Corollary 7.3 and Corollary D, but its linear-independence proof is imported from the unpublished preprint [Sch25]. The manuscript itself states in Remark 2.12 that viewing Theorem 2.11 as a corollary of [Sch25] requires a strongly compatible terminating order invariant under interchangers, and §2.3.1 is explicitly semi-formal. Appendix A leaves several confluence checks to the reader, for example at the end of §A.1.5 and in §A.2.3. Consequently, the Z-freeness of gLH_n is not fully verified within the manuscript. The alternative argument in Remark 5.12 proves linear independence only over Q(q), and the Schur–Weyl route cannot replace the Z-basis theorem for the t = 0 specialization used in Corollary 7.3. Please either give a complete self-contained confluence proof, or state precisely which results of [Sch25] are being invoked and verify all of their hypotheses explicitly.
[§5.2, Lemma 5.9] The proof of Lemma 5.9, which is used in Proposition 5.10 and Theorem 5.7, contains two concrete errors. For the case μ = λ − ε1 + ε2 the displayed identity "[2]v1_λ = F·v1_λ" is false; the correct F-action from equations (32)–(33) is F·v0_λ = [⟨h1+h2, λ⟩]v1_λ. For the case μ = λ + ε1 − ε2 the proposed map φ(v1_λ) = z v0_μ is not weight-compatible; the nonzero intertwiner is φ(v0_λ) = z v1_μ with φ(v1_λ) = 0. The stated dimension conclusion is correct and the proof is locally repairable, but as written the proof of Proposition 5.10 is invalid.
[Corollary D and §5.2, Remark 5.12] The Schur–Weyl isomorphism of Theorem 5.7 gives linear independence of the reduced words only over Q(q), not over Z or over C at t = 0. Since Corollary D allows arbitrary z ≠ ±1, including z = 0, the dimension statement cannot be obtained by replacing Theorem 2.1 with the Schur–Weyl argument. This is not an additional mathematical error, but it underscores that the basis theorem over Z is essential for the paper's headline conjecture and must be made fully rigorous.

minor comments (5)

[Abstract and §1.1] The name "Rowell" is misspelled as "Rowel" in the abstract and in Section 1.2.
[Definition 1.5] The phrase "for each 1 ≤ i < n" following the description of 321-avoiding reduced words is unclear; please rewrite the definition so that the indexing convention is explicit.
[Lemma 5.9] In the statement of Lemma 5.9, the condition "⟨h1 + h1, λ⟩ ≠ 0" should presumably read "⟨h1 + h2, λ⟩ ≠ 0".
[Proposition 7.5] The ideal (D1 ··· Dj) is considered for 1 ≤ j ≤ n, but D_n is not a generator of gLH_n; the statement should restrict to 1 ≤ j ≤ n − 1 or define a convention for j = n.
[§5.1, Proposition 5.4] The word "ommited" should be "omitted" in the proof of Proposition 5.4.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular reduction; the only self-citation ([Sch25]) is a general rewriting framework, not an input-equivalent premise.

full rationale

The derivation chain is self-contained in the relevant sense. The new presentation (Definition 1.4) is shown equivalent to LHn by explicit two-way computations (Theorem 7.1); the Dyck-path count (Theorem 3.1) is a direct bijection independent of the algebra structure; and the Schur–Weyl isomorphism (Theorem 5.7) is proven by comparing the known dimension of the Burau–Rittenberg image ([DMR23, Thm 5.8]) with an independent computation of dim End_{U_q^{≤0}}(V^{⊗n}) (Prop. 5.10). The only soft spot is the linear-independence part of Theorem 2.1, which invokes Theorem 2.11 from [Sch25], a preprint by one of the authors; the paper itself notes the exposition is semi-formal (§2.3.1) and that Theorem 2.11 requires a strongly compatible order (Remark 2.12), and Appendix A leaves several confluence checks to the reader. This is a completeness/correctness risk, not circularity: [Sch25] is a general higher-rewriting framework whose hypotheses do not include the target result, so the cited theorem is independent evidence under the stated rules. No parameter is fitted, no 'prediction' is a renamed input, and no equation reduces to its own conclusion. (Separately, Lemma 5.9's third case contains a weight-incompatible expression φ(v1_λ)=z v0_μ; the intended nonzero map is φ(v0_λ)=z v1_μ, but the dimension statement is correct and not circular.)

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

The central claims rest on the rewriting-theory framework of [Sch25], on the known dimension result for the Burau-Rittenberg image [DMR23], and on standard facts about U_q(gl(1|1)). No free parameters are fitted; q and t are formal or specialization variables.

assumptions (5)

domain assumption Theorem 2.11: a terminating, critically confluent higher linear rewriting system with injective contexts yields a hom-basis.
Imported from [Sch25], an unpublished preprint by one of the authors. It is the load-bearing tool for linear independence in Theorem 2.1. The paper gives a review but no complete proof of the framework.
domain assumption Known dimension of the image of the Burau-Rittenberg representation: dim im(F_n) = binom(2n-1,n) for n ≥ 1.
Used in the proof of Theorem 5.7 to match dimensions and conclude the Schur-Weyl isomorphism; taken from [DMR23, Theorem 5.8].
domain assumption Standard representation theory of U_q(gl(1|1)): classification of simple weight modules, tensor product rule (34), and the quasi-R-matrix braiding.
Background for Sections 4-6, used to compute End_{U^{≤0}_q}(V^{⊗n}) and the structure of the algebra.
standard math Mansour-Deng-Du bijection between Dyck paths of semilength n and 321-avoiding permutations.
Used in Lemma 3.3 to identify reduced words with pairs of Dyck paths; cited from [MDD06].
standard math Loop braid group presentation (1) from Fenn-Rimanyi-Rourke.
Starting definition of LB_n and LH_n; standard presentation used throughout.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A basis and Schur-Weyl duality for the loop Hecke algebra." pith.science (2026). https://pith.science/paper/KVEMSNXG

@misc{pith2026250712839,
  author       = {Pith},
  title        = {Pith review of: A basis and Schur-Weyl duality for the loop Hecke algebra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KVEMSNXG}},
  note         = {Machine review of arXiv:2507.12839}
}

abstract

The loop Hecke algebra is a generalization of the Hecke algebra to the loop braid group, introduced by Damiani, Martin and Rowell. We give a new presentation of the loop Hecke algebra provided a mild condition on the parameter and give a basis. We use higher linear rewriting theory to show linear independence and the combinatorics of Dyck paths to compute the cardinality of the basis. This yields a conjecture of Damiani-Martin-Rowel. We also give a representation theoretic interpretation of the loop Hecke algebra in terms of (non-semisimple) Schur-Weyl duality involving the negative half of quantum $\mathfrak{gl}_{1|1}$.

Figures

Figures reproduced from arXiv: 2507.12839 by the authors.

**Figure 1.** A monoidal Grobner basis for the loop Hecke category. ¨ → → 0 → → + − same-label rewriting steps → → 0 → + − → → → → distinct-label rewriting steps → 0 → 0 → 0 additional rewriting steps [PITH_FULL_IMAGE:figures/full_fig_p012_1.png] view at source ↗

**Figure 2.** The monoidal Grobner basis from ¨ [PITH_FULL_IMAGE:figures/full_fig_p012_2.png] view at source ↗

**Figure 3.** Example of the Mansour–Deng–Du’s bijection, following [ [PITH_FULL_IMAGE:figures/full_fig_p018_3.png] view at source ↗

Figures from the paper (1 more)

**Figure 4.** Figure 4: Definition of φ(P, Q) for some pair of Dyck paths (P, Q) ∈ Dyck ]7 , with P = uruurruruurrur depicted in black above the diagonal d and Q = rururruurururu depicted in blue below the diagonal. The two maximal squiggly P-lines of P are P3,4 and P6,7, shaded in black; th…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

3 extracted references · 2 canonical work pages

[2]

Arbor, MI, 1962, 59 pp. (cit. on p. 2). [Dam17] C. Damiani, A Journey through Loop Braid Groups, Expo. Math., vol. 35, no. 3 (2017), pp. 252–285 (cit. on p. 2). [DMR23] C. Damiani, P. Martin, and E. C. Rowell, Generalisations of Hecke Algebras from Loop Braid Groups, Pacific J. Math., vol. 323, no. 1 (2023), pp. 31–65 (cit. on pp. 2, 3, 5, 6, 25, 27, 29, ...

arXiv 2017
[1]

[Ber78] G. M. Bergman, The Diamond Lemma for Ring Theory, Adv. in Math., vol. 29, no. 2 (1978), pp. 178–218 (cit. on pp. 5, 11). [BFM19] A. Bullivant, J. Faria Martins, and P. Martin, Representations of the Loop Braid Group and Aharonov-Bohm like Effects in Discrete (3+1)-Dimensional Higher Gauge Theory, Adv. Theor. Math. Phys., vol. 23, no. 7 (2019), pp....

work page Pith review arXiv 1978
[3]

Algebras, Lett. Math. Phys., vol. 20, no. 4 (1990), pp. 331–335 (cit. on p. 23). [Sar15] A. Sartori, The Alexander Polynomial as Quantum Invariant of Links, Arkiv f¨or Matematik, vol. 53, no. 1 (2015), pp. 177–202 (cit. on pp. 20, 21). [Sar16] A. Sartori, Categorification of Tensor Powers of the Vector Representation of Uq(gl(1|1)), Selecta Math. (N.S.), ...

work page Pith review arXiv 1990

Pith tools

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

[1] [2]

Arbor, MI, 1962, 59 pp. (cit. on p. 2). [Dam17] C. Damiani, A Journey through Loop Braid Groups, Expo. Math., vol. 35, no. 3 (2017), pp. 252–285 (cit. on p. 2). [DMR23] C. Damiani, P. Martin, and E. C. Rowell, Generalisations of Hecke Algebras from Loop Braid Groups, Pacific J. Math., vol. 323, no. 1 (2023), pp. 31–65 (cit. on pp. 2, 3, 5, 6, 25, 27, 29, ...

arXiv 2017

[2] [1]

[Ber78] G. M. Bergman, The Diamond Lemma for Ring Theory, Adv. in Math., vol. 29, no. 2 (1978), pp. 178–218 (cit. on pp. 5, 11). [BFM19] A. Bullivant, J. Faria Martins, and P. Martin, Representations of the Loop Braid Group and Aharonov-Bohm like Effects in Discrete (3+1)-Dimensional Higher Gauge Theory, Adv. Theor. Math. Phys., vol. 23, no. 7 (2019), pp....

work page Pith review arXiv 1978

[3] [3]

Algebras, Lett. Math. Phys., vol. 20, no. 4 (1990), pp. 331–335 (cit. on p. 23). [Sar15] A. Sartori, The Alexander Polynomial as Quantum Invariant of Links, Arkiv f¨or Matematik, vol. 53, no. 1 (2015), pp. 177–202 (cit. on pp. 20, 21). [Sar16] A. Sartori, Categorification of Tensor Powers of the Vector Representation of Uq(gl(1|1)), Selecta Math. (N.S.), ...

work page Pith review arXiv 1990