Markov Traces in Iwahori–Hecke Algebras

• Markov traces are cyclic linear functionals on towers of Iwahori–Hecke algebras that satisfy stabilization rules to recover invariants like the HOMFLY–PT polynomial in type A and extend to type B.
• Recent developments employ Jucys–Murphy elements and framized algebras to construct generalized traces, integrating extra parameters and enriched central elements.
• The framework bridges algebraic representation and low-dimensional topology by encoding braid closures, idempotent factorizations, and categorical enhancements.

Searching arXiv for recent and foundational papers on Markov traces and Iwahori–Hecke algebras, especially type $B$, generalized constructions, and related categorical or representation-theoretic refinements. Markov traces for Iwahori–Hecke algebras are trace functionals on towers of Hecke algebras that satisfy cyclicity together with stabilization rules adapted to braid generators, and they form the algebraic core of braid-closure constructions of link invariants. In the classical type $A$ setting, the Markov trace recovers the HOMFLY–PT polynomial; in type $B$, analogous traces yield invariants of links in the solid torus (Tolmachov et al., 26 Jul 2025). Beyond the classical theory, recent work has emphasized two complementary directions: generalized Markov traces encoded by central elements built from multiplicative Jucys–Murphy elements in ordinary Iwahori–Hecke algebras of types $A$, $B$, and $D$ (Tolmachov et al., 26 Jul 2025), and Markov traces on framized Hecke-type algebras, notably the type $B$ framization ${\rm Y}_{d,n}^{\mathtt B}(u,v)$, where framing idempotents enter both the quadratic relations and the trace recursion (Flores et al., 2016). These developments clarify that “Markov trace” in the Hecke context is not a single rigid object, but a family of related constructions whose precise form depends on the tower, the parameter regime, and the algebraic enlargement under consideration.

1. Definition and basic framework

A Markov trace on a tower of Iwahori–Hecke algebras is a family of linear maps

$\phi_n:H(X_n)\to \mathcal R$

such that there exist $\mu,\rho\in\mathcal R$ with

$A$0

$A$1

and

$A$2

where $A$3 is the natural embedding in the tower (Tolmachov et al., 26 Jul 2025). In this formulation, the trace property is accompanied by an unlink or removal property and a Markov stabilization rule for the last generator.

This notion is the algebraic counterpart of the Markov-move formalism in braid-theoretic link invariants. In type $A$4, the Jones–Ocneanu trace on $A$5 recovers the HOMFLY–PT polynomial, while in type $A$6 analogous traces produce invariants of links in the solid torus (Tolmachov et al., 26 Jul 2025). The same source emphasizes that in types $A$7 and $A$8, classifications had previously been obtained by Geck and Lambropoulou.

A useful perspective is to represent a trace by a central element. If $A$9 and

$B$0

then the trace property is equivalent to centrality of $B$1 (Tolmachov et al., 26 Jul 2025). This shifts the problem from functional equations on $B$2 to the construction of explicit central elements with the required inductive behavior.

Not every trace appearing in the Hecke literature is a Markov trace in this sense. Work on irreducible character values on Coxeter basis elements computes ordinary characters $B$3 of finite Hecke algebras, but does not impose tower recursion or stabilization rules (Geck, 2024). Likewise, the regular-representation trace

$B$4

encodes point-counting on varieties attached to reductive groups, but again is not a braid-theoretic Markov trace (Lusztig, 2021). These trace theories are relevant as spectral or geometric input, but they are distinct from the Markov-trace framework proper.

2. Classical type $B$5 and its extensions

In type $B$6, the Markov trace is classically unique after normalization. This uniqueness is recalled explicitly in the study of Yokonuma–Hecke algebras: there exists a unique normalized Markov trace $B$7 on the tower of type $B$8 Iwahori–Hecke algebras $B$9, where $A$0 satisfies

$A$1

and

$A$2

(Jacon et al., 2015). The same source records the induced normalization formula

$A$3

as well as the factorization relation on tensor-product Hecke subalgebras

$A$4

for $A$5 (Jacon et al., 2015).

The rigidity of the ordinary type $A$6 theory has motivated the study of generalized settings where extra trace parameters appear only after enlarging the algebra. A notable example is the central extension of the Iwahori–Hecke algebra at $A$7. For an arbitrary Coxeter system $A$8, a non-split central extension of the Hecke algebra defined by

$A$9

is constructed, and in type $B$0 this extension admits a unique exotic Markov trace

$B$1

such that

$B$2

(Marin et al., 2014). This trace does not descend to the ordinary Hecke algebra; it detects the nilpotent central class $B$3. The construction shows that extra Markov traces may arise at singular parameter values only after passing to a larger algebraic object.

A different kind of extension appears in the Yokonuma–Hecke setting. The isomorphism

$B$4

reduces the classification of Markov traces on $B$5 to the already understood type $B$6 theory (Jacon et al., 2015). Concretely, every Markov trace on the Yokonuma tower is blockwise a scalar multiple of tensor products of the unique normalized type $B$7 traces: $B$8 (Jacon et al., 2015). This suggests a general structural principle: once a Hecke-type algebra decomposes into matrix blocks over ordinary Iwahori–Hecke factors, its Markov-trace theory is often inherited from the classical type $B$9 case.

3. Generalized Markov traces via Jucys–Murphy elements

A recent development is the construction of generalized Markov traces on ordinary Iwahori–Hecke towers of classical types directly from multiplicative Jucys–Murphy elements (Tolmachov et al., 26 Jul 2025). The setting includes the infinite crystallographic series:

• type $D$0: $D$1,
• type $D$2: $D$3,
• type $D$4: $D$5.

For $D$6, the multiplicative Jucys–Murphy elements $D$7 are defined from the full twist $D$8 by

$D$9

with initial values

$B$0

(Tolmachov et al., 26 Jul 2025). These elements commute pairwise, and $B$1 centralizes $B$2. Symmetric polynomials in them are central, which makes them natural trace representatives.

The basic uniform construction is

$B$3

The associated family $B$4 is a Markov trace with constants

$B$5

in all three types $B$6, $B$7, and $B$8 (Tolmachov et al., 26 Jul 2025). The proof uses the decomposition

$B$9

the Serre property of the full twist, and orthogonality with respect to parabolic cosets.

In type ${\rm Y}_{d,n}^{\mathtt B}(u,v)$0, the construction goes further. The Geck–Lambropoulou classification yields a universal Markov trace with parameters ${\rm Y}_{d,n}^{\mathtt B}(u,v)$1, and the specialization ${\rm Y}_{d,n}^{\mathtt B}(u,v)$2 is realized by the central element

${\rm Y}_{d,n}^{\mathtt B}(u,v)$3

where

${\rm Y}_{d,n}^{\mathtt B}(u,v)$4

(Tolmachov et al., 26 Jul 2025). The resulting trace satisfies

${\rm Y}_{d,n}^{\mathtt B}(u,v)$5

A key strengthening is the identity

${\rm Y}_{d,n}^{\mathtt B}(u,v)$6

with

${\rm Y}_{d,n}^{\mathtt B}(u,v)$7

which is precisely how the parameter ${\rm Y}_{d,n}^{\mathtt B}(u,v)$8 is encoded (Tolmachov et al., 26 Jul 2025).

Type ${\rm Y}_{d,n}^{\mathtt B}(u,v)$9 is obtained by restriction along $\phi_n:H(X_n)\to \mathcal R$0. If

$\phi_n:H(X_n)\to \mathcal R$1

and $\phi_n:H(X_n)\to \mathcal R$2 denotes its even-degree part, then the type $\phi_n:H(X_n)\to \mathcal R$3 trace is represented by

$\phi_n:H(X_n)\to \mathcal R$4

(Tolmachov et al., 26 Jul 2025). The even-part extraction reflects the parity obstruction specific to the $\phi_n:H(X_n)\to \mathcal R$5-embedding.

This Jucys–Murphy approach is significant because it represents generalized Markov traces by explicit central elements rather than only abstract classification parameters. A plausible implication is that it renders the inductive behavior of the traces more transparent, especially in types $\phi_n:H(X_n)\to \mathcal R$6 and $\phi_n:H(X_n)\to \mathcal R$7, where the classical theory is structurally richer than in type $\phi_n:H(X_n)\to \mathcal R$8.

4. Framization and the type $\phi_n:H(X_n)\to \mathcal R$9 algebra $\mu,\rho\in\mathcal R$0

A different enlargement of the Hecke framework is the framization of the type $\mu,\rho\in\mathcal R$1 Iwahori–Hecke algebra introduced in “A Framization of the Hecke algebra of Type B” (Flores et al., 2016). The algebra

$\mu,\rho\in\mathcal R$2

is defined over

$\mu,\rho\in\mathcal R$3

from the $\mu,\rho\in\mathcal R$4-modular framed braid group of type $\mu,\rho\in\mathcal R$5, $\mu,\rho\in\mathcal R$6, with generators $\mu,\rho\in\mathcal R$7. Inside $\mu,\rho\in\mathcal R$8, one defines the idempotents

$\mu,\rho\in\mathcal R$9

The quotient is determined by the framized quadratic relations

$A$00

Writing $A$01 for the image of $A$02 and $A$03 for the image of $A$04, the key quadratic relations become

$A$05

(Flores et al., 2016). This is the essential novelty: the scalar Hecke coefficients are replaced by coefficients involving framing idempotents, and the loop generator $A$06 is framized as well.

The relation with the ordinary type $A$07 Iwahori–Hecke algebra

$A$08

is explicit. When $A$09, one has

$A$10

and for general $A$11, the map

$A$12

induces an epimorphism

$A$13

(Flores et al., 2016). There is also an epimorphism to $A$14 obtained by sending all $A$15 to a fixed nontrivial $A$16-th root of unity.

The algebra is accompanied by a faithful tensorial representation

$A$17

extending Green’s tensor representation of the type $A$18 Hecke algebra (Flores et al., 2016). This representation supports two basis theorems. The first basis,

$A$19

implies

$A$20

The second basis, $A$21, is tailored to the inductive trace construction (Flores et al., 2016).

This framized type $A$22 algebra is not the same as the cyclotomic Yokonuma–Hecke algebra $A$23 at $A$24. The difference lies precisely in the loop-generator quadratic relation: $A$25 in $A$26, whereas in $A$27 the quadratic relation for the loop generator does not involve framing idempotents (Flores et al., 2016). This difference propagates to trace values and link invariants.

5. Relative traces, $A$28- and $A$29-systems, and the framized Markov trace

The Markov trace on $A$30 is constructed on the tower

$A$31

with $A$32 and

$A$33

(Flores et al., 2016). The trace depends on parameters

$A$34

together with the Markov parameter $A$35.

The construction proceeds by relative traces

$A$36

For $A$37,

$A$38

For $A$39, on the basis $A$40,

$A$41

(Flores et al., 2016). The absolute trace is then

$A$42

The resulting family $A$43 is a Markov trace in the Hecke sense: $A$44

$A$45

$A$46

$A$47

$A$48

for $A$49 (Flores et al., 2016). Compared with ordinary Hecke traces, the presence of framings and the loop generator forces a richer recursion with the extra parameters $A$50 and $A$51.

To obtain link invariants, the trace must factor through the relevant idempotents. The key requirement is

$A$52

This leads to the $A$53- and $A$54-systems. Define

$A$55

with indices taken modulo $A$56. The $A$57-system is

$A$58

and, assuming an $A$59-solution, the $A$60-system is

$A$61

(Flores et al., 2016). These are the compatibility constraints peculiar to the framized type $A$62 setting.

The $A$63-solutions are parametrized by nonempty subsets $A$64: $A$65 For such a solution, the $A$66-solutions are

$A$67

with arbitrary complex coefficients $A$68 (Flores et al., 2016). The paper interprets this by saying that $A$69 must be supported inside the same subset $A$70 as $A$71.

This machinery generalizes the classical Markov-trace picture in a precise sense. The trace is still a normalized cyclic functional on a braid-type tower with stabilization under the last braid generator, but it now carries framization-specific parameters and idempotent factorization constraints. This suggests that framization replaces the classical scalar stabilization data by a structured compatibility problem involving Fourier-analytic support conditions.

6. Topological realizations, refinements, and neighboring trace theories

The topological role of Markov traces remains central throughout the Hecke and Hecke-type literature. For the framized type $A$72 algebra, after specialization to $A$73- and $A$74-solutions, the trace yields invariants of framed links in the solid torus via the Jones recipe for braids of type $A$75. If

$A$76

is the natural map and $A$77 is a framed braid, then

$A$78

depends only on the isotopy class of the framed link in the solid torus (Flores et al., 2016). Restricting to zero framings gives invariants of classical links in $A$79.

The type $A$80 invariants from $A$81 differ from those coming from the cyclotomic Yokonuma–Hecke algebra $A$82. Already for $A$83,

$A$84

whereas in $A$85,

$A$86

(Flores et al., 2016). The invariants therefore differ on a basic example, showing that the loop-generator framization is not a superficial variation.

A more categorical refinement is developed in the Hecke-category setting. A monoidal trace

$A$87

decategorifies to a trace

$A$88

valued in graded virtual characters of $A$89 (Trinh, 2021). This is not a scalar Markov trace, but it recovers Gomi’s Markov trace through the formula

$A$90

(Trinh, 2021). In type $A$91, this yields the HOMFLY polynomial of the braid closure; in the categorical enhancement, Khovanov–Rozansky homology appears as a summand. This shows that the classical Markov trace can arise as a scalar shadow of a richer character-valued or categorical trace theory.

Other neighboring trace theories remain relevant but should not be conflated with Markov traces. The regular trace

$A$92

controls point-counting and irreducibility statements for varieties attached to reductive groups (Lusztig, 2021). Irreducible character values on Coxeter basis elements satisfy

$A$93

providing precise spectral data for central trace decompositions (Geck, 2024). Trace functionals on the infinite-dimensional Hecke algebra $A$94 are classified by Vershik–Kerov parameters $A$95, but these are positive indecomposable traces on a direct limit algebra, not Markov traces in the braid-theoretic sense (Neretin, 2021). Such distinctions are important because the word “trace” spans several adjacent but non-equivalent theories in the Hecke context.

7. Structural themes and significance

Several broad structural themes emerge from these developments. First, centrality is the unifying algebraic mechanism. In the Jucys–Murphy approach, traces are represented by explicit central symmetric polynomials in commuting elements $A$96 or $A$97 (Tolmachov et al., 26 Jul 2025). In the framized type $A$98 approach, the recursive relative traces are built on a basis tailored to the tower and then constrained by factorization through idempotents (Flores et al., 2016). In categorical refinements, monoidal trace properties replace scalar cyclicity while still decategorifying to central trace functionals (Trinh, 2021).

Second, type $A$99 is genuinely richer than type $B$00. In ordinary Iwahori–Hecke theory, generalized type $B$01 traces involve the extra parameter $B$02 encoded by the loop-type elements $B$03 and by the central elements $B$04 (Tolmachov et al., 26 Jul 2025). In framized type $B$05, the loop generator itself is framized, producing additional parameters $B$06 and the new $B$07-system (Flores et al., 2016). This is not merely a higher-parameter reformulation of type $B$08; it reflects the interaction between braid generators, loop generators, and framings.

Third, the scope of Markov-trace theory extends well beyond ordinary scalar traces on standard Hecke towers. Some extensions remain algebraic, as in the central extension at $B$09 or the Yokonuma and framized algebras (Marin et al., 2014, Jacon et al., 2015, Flores et al., 2016). Others are geometric or categorical, as in character-valued traces from Hecke categories (Trinh, 2021). A plausible implication is that the modern theory of Markov traces is best viewed as a hierarchy: scalar traces on classical towers at the base, generalized central-element constructions above them, and categorical or geometric lifts above those.

In this sense, Markov traces for Iwahori–Hecke algebras occupy a central position between algebraic representation theory and low-dimensional topology. The classical trace on $B$10 remains foundational, but current work shows that the concept admits substantial generalization: by changing Coxeter type, by introducing loop or framing data, by passing to central extensions, or by lifting to category-valued constructions. The resulting theory retains the basic Markov-trace paradigm—cyclicity plus stabilization—while exhibiting a much wider range of algebraic realizations and topological outputs (Tolmachov et al., 26 Jul 2025, Flores et al., 2016).