---
title: Loop Hecke Algebra Overview
url: https://www.emergentmind.com/topics/loop-hecke-algebra
type: topic
---

# Loop Hecke Algebra Overview

Searching arXiv for recent and foundational papers on loop Hecke algebras and related affine/p-adic loop-group Hecke algebras.
Loop Hecke algebra denotes a family of Hecke-type algebras in which loop, affine, or loop-braid structures replace the ordinary braid or finite Coxeter setting. In the most direct recent usage, it is the algebra \(LH_n\), a quotient of the loop braid group algebra by Hecke-like quadratic relations [2008.04840][2507.12839]. Closely related constructions include the Iwahori–Hecke algebra \(H(G_+,I)\) of a \(p\)-adic loop group attached to an untwisted affine Kac–Moody group [1403.0602], as well as surface and loop-space models whose degree-zero or spherical sectors recover DAHA- or skein-type algebras [2402.09106][2503.07543]. The expression therefore names a cluster of related objects rather than a single universally fixed algebra.

## 1. Terminology and principal usages

In the literature represented here, the term occurs in several distinct but adjacent settings.

| Setting | Main object | Representative source |
|---|---|---|
| Loop braid groups | \(LH_n\) as a Hecke-type quotient of \(k[LB_n]\) | [2008.04840], [2507.12839] |
| \(p\)-adic loop groups | \(H(G_+,I)\) for an affine Kac–Moody group over a local field | [1403.0602], [1502.00525] |
| Surface or loop-space models | generalized DAHA, braid skein, or based multiloop \(A_\infty\)-algebras | [2402.09106], [2503.07543] |

The loop braid interpretation is topological: \(LB_n\) is the group of motions of \(n\) disjoint unlinked circles in \(\mathbb R^3\) [2507.12839]. The \(p\)-adic interpretation is representation-theoretic: one replaces a reductive \(p\)-adic group by an untwisted affine Kac–Moody group over a non-archimedean local field and studies \(I\)-double cosets inside a semigroup \(G_+\subset G\) [1403.0602]. The surface-oriented interpretation replaces braid generators by operators attached to simple closed curves, Dehn twists, or based multiloops [2402.09106][2503.07543].

## 2. Loop braid group loop Hecke algebras

The algebra \(LH_n\) was introduced as a generalisation of the ordinary Hecke algebra informed by the loop braid group \(LB_n\) and by an extension of the Burau representation to that setting [2008.04840]. The ordinary Hecke algebra is a quotient of \(k[B_n]\); analogously, \(LH_n\) is a quotient of \(k[LB_n]\) by a Burau-type polynomial relation on the braid-like generators, with loop-Hecke parameter \(t\in k\) [2008.04840].

A later presentation makes this explicit. The loop braid group has generators
\[
\sigma_1,\dots,\sigma_{n-1},\qquad \rho_1,\dots,\rho_{n-1},
\]
and \(LH_n\) is the quotient of \(\mathbb Z[t][LB_n]\) by the loop braid relations together with
\[
\rho_i^2=1,\qquad (\sigma_i-1)(\sigma_i+t)=0,\qquad (\rho_i-1)(\sigma_i+t)=0,\qquad (\sigma_i-1)(\rho_i+1)=0.
\]
Equivalently,
\[
\sigma_i^2=(1-t)\sigma_i+t.
\]
These mixed quadratic relations couple the braid generators \(\sigma_i\) and the symmetric-group generators \(\rho_i\), so \(LH_n\) is not merely the product of an ordinary Hecke algebra with a symmetric-group algebra [2507.12839].

The representation-theoretic motivation comes from local tensor-space constructions. Damiani–Martin–Rowell’s framework uses Burau–Rittenberg representations; in the most supersymmetric case, anomaly cancellation allows extension to a loop Burau–Rittenberg representation, and this factors through \(LH_n\). The resulting image algebra is denoted \(SP_n\) [2008.04840]. The main structural results stated for this tower are that \(LH_n\) is finite dimensional over a field, that \(LB_n\hookrightarrow LB_{n+1}\) passes to an inclusion \(SP_n\hookrightarrow SP_{n+1}\), and that over \(k=\mathbb C\) the semisimple quotient \(SP_n/\operatorname{rad}\) is generically the sum of simple matrix algebras with dimension and Bratteli diagram given by Pascal’s triangle. The Cartan decomposition matrix and a type-\(A\) quiver are also determined, and the structure of \(SP_n\) is independent of \(t\) except for \(t=1\) [2008.04840].

## 3. Presentations, bases, and Schur–Weyl duality

A decisive structural advance is the parameter-independent presentation of the loop Hecke algebra in generators
\[
D_i,\ U_i \qquad (1\le i\le n-1),
\]
valid after specialization away from \(t=\pm1\) [2507.12839]. These are defined heuristically by
\[
D_i=\frac{\sigma_i-\rho_i}{1-t},\qquad U_i=\frac{\sigma_i-t\rho_i}{1-t},
\]
but the presentation itself is integral. The defining same-label relations are
\[
D_i^2=D_i,\qquad D_iU_i=0,\qquad U_iD_i=U_i+D_i-1,\qquad U_i^2=U_i,
\]
together with adjacent and distant relations that give a rewriting-friendly normal form theory [2507.12839].

This presentation yields an explicit basis. Basis words have the form
\[
\omega=\underline D\,\underline U,
\]
where \(\underline D\) and \(\underline U\) are 321-avoiding reduced words in the alphabets \(\{D_i\}\) and \(\{U_i\}\), subject to the compatibility condition
\[
D_i\in \underline D \implies U_i,U_{i-1}\notin \underline U.
\]
Using higher linear rewriting theory for a monoidal category and a Dyck-path count via the Mansour–Deng–Du bijection, one obtains
\[
|Red(\mathsf{LH}_n)|=\frac12\binom{2n}{n}=\binom{2n-1}{n}.
\]
Hence, for \(t\neq \pm1\),
\[
\dim_\mathbb C\bigl(LH_n\otimes_{\mathbb Z[t]}\mathbb C_z\bigr)=\frac12\binom{2n}{n},
\]
which proves the Damiani–Martin–Rowell dimension conjecture [2507.12839].

The same paper gives a representation-theoretic realization:
\[
LH_n\otimes_{\mathbb Z[t]}\mathbb Q(q)\xrightarrow{\sim}\operatorname{End}_{U_q(\mathfrak{gl}_{1|1})^{\le 0}}(V^{\otimes n}),
\]
where \(U_q(\mathfrak{gl}_{1|1})^{\le 0}=\langle K_1^{\pm1},K_2^{\pm1},F\rangle\) is the negative half of quantum \(\mathfrak{gl}_{1|1}\) [2507.12839]. The restriction to the negative half is essential: the loop-braid extension uses an operator \(\check S\) that intertwines only this half, not the full quantum group. Over \(\mathbb Q(q)\), the loop Hecke algebra becomes a finite-dimensional non-semisimple algebra whose radical squares to zero, and its semisimple part is the usual super Temperley–Lieb centralizer [2507.12839].

## 4. Iwahori–Hecke algebras for \(p\)-adic loop groups

A second major meaning of loop Hecke algebra appears in the theory of \(p\)-adic loop groups. Here \(G\) is the \(K\)-points of an untwisted affine Kac–Moody group over a non-archimedean local field, \(K=G(\mathcal O)\) is the analogue of a maximal compact subgroup, and \(I\subset K\) is an Iwahori subgroup. Because the ordinary Cartan decomposition fails on all of \(G\), one restricts to a semigroup \(G_+\subset G\), and defines the Iwahori–Hecke algebra \(H(G_+,I)\) as the convolution algebra of finitely supported \(I\)-bi-invariant functions on \(G_+\) [1403.0602].

The double cosets are indexed by
\[
\mathcal W_{\mathcal T}=W\ltimes \mathcal T,
\]
where \(W\) is the affine Weyl group and \(\mathcal T\) is the Tits cone. Thus
\[
G_+=\bigsqcup_{x\in\mathcal W_{\mathcal T}} IxI,\qquad T_x=\mathbf 1_{IxI}.
\]
The resulting algebra is identified with a positive subalgebra \(\mathbb H_+\) of an affine Hecke algebra \(\mathbb H\) whose degree-zero part is closely related to Cherednik’s DAHA, with specialization \(v=q^{-1/2}\) [1403.0602]. In this sense, the loop-group Iwahori–Hecke algebra is a positive DAHA-type algebra realized by convolution on \(I\)-double cosets.

The later combinatorial development of this theory establishes the double coset basis, a generalized Iwahori–Matsumoto formula, polynomiality of structure constants in the residue-field size \(q\), and a Bruhat order on \(\mathcal W_{\mathcal T}\) that is genuinely a partial order [1502.00525]. The basis is
\[
\{T_x\mid x\in \mathcal W_{\mathcal T}\},
\]
and the structure constants in
\[
T_xT_y=\sum_{z\in\mathcal W_{\mathcal T}} a^z_{x,y}T_z
\]
are polynomials in \(q\) [1502.00525]. The same paper introduces a length function on \(\mathcal W_{\mathcal T}\) taking values in
\[
\mathbb Z\oplus \mathbb Z\varepsilon,
\]
with \(\varepsilon\) “infinitesimally” small, and proves that the order defined via positivity of double affine roots coincides with the order defined by increase of this length [1502.00525].

The spherical counterpart is the affine Satake isomorphism. If \(h_{\lambda^\vee}=\mathbf 1_{K\pi^{\lambda^\vee}K}\), then the Satake transform identifies the completed spherical Hecke algebra with \(\mathbb C_{\le}[\Lambda^\vee]^W\), and the explicit affine Macdonald formula involves a nontrivial correction factor \(H_0\), unlike the finite-dimensional reductive case [1403.0602].

## 5. Affine Hecke-theoretic antecedents

Although not using the expression “loop Hecke algebra” literally, the classical affine Hecke setting supplies much of the algebraic background. For a connected split reductive \(p\)-adic group \(G\) with Iwahori subgroup \(I\), the Iwahori–Matsumoto Hecke algebra
\[
H_I=C_c(I\backslash G/I)
\]
is an extended affine Hecke algebra indexed by the extended affine Weyl group \(\widetilde W\cong X\rtimes W\), where \(X\) is the cocharacter lattice [1202.1486]. Bernstein’s presentation isolates a commutative subalgebra \(A\cong \mathbf C[X]\) generated by elements \(\theta_x\), and the center is
\[
Z(H_I)=A^W\cong \mathbf C[X]^W.
\]
The same framework yields a short proof of the Satake isomorphism
\[
H_K\cong \mathbf C[X]^W,
\]
via the \(A\)-module identification
\[
C_c(I\backslash G/K)\xrightarrow{\sim}\mathbf C[X]
\]
and the action of \(\theta_x\) on the spherical vector [1202.1486]. This affine/extended affine Hecke algebra is not a loop Hecke algebra in the narrow loop-braid sense, but it is one of the standard algebraic models underlying affine and loop Hecke phenomena.

Affine Hecke algebras also intervene in constructions of quantum loop algebras. Using the Hecke algebras of affine symmetric groups and the associated affine \(q\)-Schur algebras, Deng and Fu construct an algebra with an explicit basis and generator multiplication formulas, and prove that it is isomorphic to the quantum enveloping algebra of the loop algebra of \(\mathfrak{gl}_n\) [1311.1868]. The affine Hecke algebra is therefore not only an analogue of loop Hecke structures; it is also a mechanism for realizing quantum loop algebras themselves.

## 6. Surface, loop-space, and conjugacy-class variants

A different branch of the subject attaches Hecke-type algebras to loops on surfaces. For the double torus \(\Sigma_{2,0}\), Hikami constructs a generalized double affine Hecke algebra based on the rank-one \(C^\vee C_1\) DAHA at a specialized parameter point, then adjoins Heegaard dual operators \(\mathsf U_0,\mathsf U_1\) to encode dual simple closed curves under the Heegaard splitting \(S^3=H_1\cup_{\Sigma_{2,0}}H_2\) [2402.09106]. Its spherical part receives a representation of the skein algebra of the double torus, sending generators such as \(\mathbb x_0,\mathbb y_0,\mathbb y,\mathbb y_1,\mathbb x_1,\widetilde{\mathbb y}\) to explicit \(\operatorname{ch}\)-expressions in the \(\mathsf T\)- and \(\mathsf U\)-operators, and Dehn twists act by algebra automorphisms [2402.09106].

A still more topological model is the based multiloop \(A_\infty\)-algebra
\[
CM_{-*}(\Omega(M,\boldsymbol q)),
\]
defined for a smooth closed manifold \(M\) with an ordered tuple of basepoints \(\boldsymbol q\) [2503.07543]. Its \(A_\infty\)-operations count Morse gradient trees on based multiloop spaces coupled to Chas–Sullivan type switching operations. For \(M=T^2\), the braid skein algebra is the Type A DAHA; for closed surfaces other than \(S^2\), the based multiloop algebra is quasi-equivalent to the braid skein algebra after the indicated completion; and for \(M=S^2\), the outcome is an explicit differential graded algebra \(H_\kappa\), which the paper regards as a derived Hecke algebra of the \(2\)-sphere [2503.07543]. In this line of work, “loop Hecke algebra” refers literally to a Hecke-type algebra built from loop spaces.

There is also a modular-curve usage in which classical Hecke correspondences act directly on free homotopy classes of loops, identified with conjugacy classes in \(\mathrm{SL}_2(\mathbb Z)\). Hain proves that the operators \(T_N\) act on the free abelian group generated by these conjugacy classes and that the algebra generated by the \(T_p\) and auxiliary operators \(e_p\) is not commutative; the resulting algebra \(\mathbb T'\) acts dually on class functions of a relative unipotent completion and preserves mixed Hodge structures while commuting with Galois actions after \(\ell\)-adic realization [2303.00143]. This is not a loop Hecke algebra in the loop-braid or \(p\)-adic affine sense, but it is a Hecke algebra acting on loops in the literal topological sense.

An adjacent, more general framework starts from a discrete group \(G\) and an almost normal subgroup \(\Gamma\), constructs a universal \(*\)-algebra \(\mathcal A(\Gamma,G)\) and a localized algebra \(B(\Gamma,G)\), and realizes the Hecke algebra of double cosets as a diagonal corner in
\[
B(\Gamma,G)\otimes B(\Gamma,G)^{\mathrm{op}}.
\]
That construction is not a loop Hecke algebra in the standard affine or loop-group sense, but it provides a general operator-algebraic double-coset framework into which Hecke algebras can embed [1008.1008].

The subject therefore has no single canonical object. In current usage, “loop Hecke algebra” most often means the loop-braid quotient \(LH_n\), especially after the basis and Schur–Weyl results of 2025 [2507.12839]. In a second, established representation-theoretic sense, it refers to the Iwahori–Hecke algebra of a \(p\)-adic loop group and its DAHA-adjacent positive part [1403.0602][1502.00525]. In a third, more geometric sense, it designates Hecke-type algebras organized by loops on surfaces, loop spaces, or free homotopy classes [2402.09106][2503.07543][2303.00143].

Source: https://www.emergentmind.com/topics/loop-hecke-algebra