Loop Hecke Algebra Overview

• Loop Hecke algebra is a class of Hecke-type algebras defined by replacing finite Coxeter configurations with loop, affine, or braid structures to capture richer topological and representation-theoretic phenomena.
• It extends classical Hecke algebra methods by imposing quadratic relations on loop braid groups and by creating analogues like the Iwahori–Hecke algebra for p-adic loop groups and DAHA-type constructions.
• Recent advances demonstrate finite-dimensional representations, explicit basis constructions, and dualities with quantum group centralizers, significantly impacting both algebraic and topological applications.

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 (Damiani et al., 2020, Janssens et al., 17 Jul 2025). 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 (Braverman et al., 2014), as well as surface and loop-space models whose degree-zero or spherical sectors recover DAHA- or skein-type algebras (Hikami, 2024, Honda et al., 10 Mar 2025). 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]$	(Damiani et al., 2020, Janssens et al., 17 Jul 2025)
$p$-adic loop groups	$H(G_+,I)$ for an affine Kac–Moody group over a local field	(Braverman et al., 2014, Muthiah, 2015)
Surface or loop-space models	generalized DAHA, braid skein, or based multiloop $A_\infty$-algebras	(Hikami, 2024, Honda et al., 10 Mar 2025)

The loop braid interpretation is topological: $LB_n$ is the group of motions of $n$ disjoint unlinked circles in $H(G_+,I)$0 (Janssens et al., 17 Jul 2025). The $H(G_+,I)$1-adic interpretation is representation-theoretic: one replaces a reductive $H(G_+,I)$2-adic group by an untwisted affine Kac–Moody group over a non-archimedean local field and studies $H(G_+,I)$3-double cosets inside a semigroup $H(G_+,I)$4 (Braverman et al., 2014). The surface-oriented interpretation replaces braid generators by operators attached to simple closed curves, Dehn twists, or based multiloops (Hikami, 2024, Honda et al., 10 Mar 2025).

2. Loop braid group loop Hecke algebras

The algebra $H(G_+,I)$5 was introduced as a generalisation of the ordinary Hecke algebra informed by the loop braid group $H(G_+,I)$6 and by an extension of the Burau representation to that setting (Damiani et al., 2020). The ordinary Hecke algebra is a quotient of $H(G_+,I)$7; analogously, $H(G_+,I)$8 is a quotient of $H(G_+,I)$9 by a Burau-type polynomial relation on the braid-like generators, with loop-Hecke parameter $p$0 (Damiani et al., 2020).

A later presentation makes this explicit. The loop braid group has generators

$p$1

and $p$2 is the quotient of $p$3 by the loop braid relations together with

$p$4

Equivalently,

$p$5

These mixed quadratic relations couple the braid generators $p$6 and the symmetric-group generators $p$7, so $p$8 is not merely the product of an ordinary Hecke algebra with a symmetric-group algebra (Janssens et al., 17 Jul 2025).

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 $p$9. The resulting image algebra is denoted $LH_n$0 (Damiani et al., 2020). The main structural results stated for this tower are that $LH_n$1 is finite dimensional over a field, that $LH_n$2 passes to an inclusion $LH_n$3, and that over $LH_n$4 the semisimple quotient $LH_n$5 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-$LH_n$6 quiver are also determined, and the structure of $LH_n$7 is independent of $LH_n$8 except for $LH_n$9 (Damiani et al., 2020).

3. Presentations, bases, and Schur–Weyl duality

A decisive structural advance is the parameter-independent presentation of the loop Hecke algebra in generators

$k[LB_n]$0

valid after specialization away from $k[LB_n]$1 (Janssens et al., 17 Jul 2025). These are defined heuristically by

$k[LB_n]$2

but the presentation itself is integral. The defining same-label relations are

$k[LB_n]$3

together with adjacent and distant relations that give a rewriting-friendly normal form theory (Janssens et al., 17 Jul 2025).

This presentation yields an explicit basis. Basis words have the form

$k[LB_n]$4

where $k[LB_n]$5 and $k[LB_n]$6 are 321-avoiding reduced words in the alphabets $k[LB_n]$7 and $k[LB_n]$8, subject to the compatibility condition

$k[LB_n]$9

Using higher linear rewriting theory for a monoidal category and a Dyck-path count via the Mansour–Deng–Du bijection, one obtains

$p$0

Hence, for $p$1,

$p$2

which proves the Damiani–Martin–Rowell dimension conjecture (Janssens et al., 17 Jul 2025).

The same paper gives a representation-theoretic realization: $p$3 where $p$4 is the negative half of quantum $p$5 (Janssens et al., 17 Jul 2025). The restriction to the negative half is essential: the loop-braid extension uses an operator $p$6 that intertwines only this half, not the full quantum group. Over $p$7, 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 (Janssens et al., 17 Jul 2025).

4. Iwahori–Hecke algebras for $p$8-adic loop groups

A second major meaning of loop Hecke algebra appears in the theory of $p$9-adic loop groups. Here $H(G_+,I)$0 is the $H(G_+,I)$1-points of an untwisted affine Kac–Moody group over a non-archimedean local field, $H(G_+,I)$2 is the analogue of a maximal compact subgroup, and $H(G_+,I)$3 is an Iwahori subgroup. Because the ordinary Cartan decomposition fails on all of $H(G_+,I)$4, one restricts to a semigroup $H(G_+,I)$5, and defines the Iwahori–Hecke algebra $H(G_+,I)$6 as the convolution algebra of finitely supported $H(G_+,I)$7-bi-invariant functions on $H(G_+,I)$8 (Braverman et al., 2014).

The double cosets are indexed by

$H(G_+,I)$9

where $A_\infty$0 is the affine Weyl group and $A_\infty$1 is the Tits cone. Thus

$A_\infty$2

The resulting algebra is identified with a positive subalgebra $A_\infty$3 of an affine Hecke algebra $A_\infty$4 whose degree-zero part is closely related to Cherednik’s DAHA, with specialization $A_\infty$5 (Braverman et al., 2014). In this sense, the loop-group Iwahori–Hecke algebra is a positive DAHA-type algebra realized by convolution on $A_\infty$6-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 $A_\infty$7, and a Bruhat order on $A_\infty$8 that is genuinely a partial order (Muthiah, 2015). The basis is

$A_\infty$9

and the structure constants in

$LB_n$0

are polynomials in $LB_n$1 (Muthiah, 2015). The same paper introduces a length function on $LB_n$2 taking values in

$LB_n$3

with $LB_n$4 “infinitesimally” small, and proves that the order defined via positivity of double affine roots coincides with the order defined by increase of this length (Muthiah, 2015).

The spherical counterpart is the affine Satake isomorphism. If $LB_n$5, then the Satake transform identifies the completed spherical Hecke algebra with $LB_n$6, and the explicit affine Macdonald formula involves a nontrivial correction factor $LB_n$7, unlike the finite-dimensional reductive case (Braverman et al., 2014).

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 $LB_n$8-adic group $LB_n$9 with Iwahori subgroup $n$0, the Iwahori–Matsumoto Hecke algebra

$n$1

is an extended affine Hecke algebra indexed by the extended affine Weyl group $n$2, where $n$3 is the cocharacter lattice (Savin, 2012). Bernstein’s presentation isolates a commutative subalgebra $n$4 generated by elements $n$5, and the center is

$n$6

The same framework yields a short proof of the Satake isomorphism

$n$7

via the $n$8-module identification

$n$9

and the action of $H(G_+,I)$00 on the spherical vector (Savin, 2012). 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 $H(G_+,I)$01-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 $H(G_+,I)$02 (Du et al., 2013). 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 $H(G_+,I)$03, Hikami constructs a generalized double affine Hecke algebra based on the rank-one $H(G_+,I)$04 DAHA at a specialized parameter point, then adjoins Heegaard dual operators $H(G_+,I)$05 to encode dual simple closed curves under the Heegaard splitting $H(G_+,I)$06 (Hikami, 2024). Its spherical part receives a representation of the skein algebra of the double torus, sending generators such as $H(G_+,I)$07 to explicit $H(G_+,I)$08-expressions in the $H(G_+,I)$09- and $H(G_+,I)$10-operators, and Dehn twists act by algebra automorphisms (Hikami, 2024).

A still more topological model is the based multiloop $H(G_+,I)$11-algebra

$H(G_+,I)$12

defined for a smooth closed manifold $H(G_+,I)$13 with an ordered tuple of basepoints $H(G_+,I)$14 (Honda et al., 10 Mar 2025). Its $H(G_+,I)$15-operations count Morse gradient trees on based multiloop spaces coupled to Chas–Sullivan type switching operations. For $H(G_+,I)$16, the braid skein algebra is the Type A DAHA; for closed surfaces other than $H(G_+,I)$17, the based multiloop algebra is quasi-equivalent to the braid skein algebra after the indicated completion; and for $H(G_+,I)$18, the outcome is an explicit differential graded algebra $H(G_+,I)$19, which the paper regards as a derived Hecke algebra of the $H(G_+,I)$20-sphere (Honda et al., 10 Mar 2025). 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 $H(G_+,I)$21. Hain proves that the operators $H(G_+,I)$22 act on the free abelian group generated by these conjugacy classes and that the algebra generated by the $H(G_+,I)$23 and auxiliary operators $H(G_+,I)$24 is not commutative; the resulting algebra $H(G_+,I)$25 acts dually on class functions of a relative unipotent completion and preserves mixed Hodge structures while commuting with Galois actions after $H(G_+,I)$26-adic realization (Hain, 2023). This is not a loop Hecke algebra in the loop-braid or $H(G_+,I)$27-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 $H(G_+,I)$28 and an almost normal subgroup $H(G_+,I)$29, constructs a universal $H(G_+,I)$30-algebra $H(G_+,I)$31 and a localized algebra $H(G_+,I)$32, and realizes the Hecke algebra of double cosets as a diagonal corner in

$H(G_+,I)$33

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 (Radulescu, 2010).

The subject therefore has no single canonical object. In current usage, “loop Hecke algebra” most often means the loop-braid quotient $H(G_+,I)$34, especially after the basis and Schur–Weyl results of 2025 (Janssens et al., 17 Jul 2025). In a second, established representation-theoretic sense, it refers to the Iwahori–Hecke algebra of a $H(G_+,I)$35-adic loop group and its DAHA-adjacent positive part (Braverman et al., 2014, Muthiah, 2015). In a third, more geometric sense, it designates Hecke-type algebras organized by loops on surfaces, loop spaces, or free homotopy classes (Hikami, 2024, Honda et al., 10 Mar 2025, Hain, 2023).