Associativity conjecture for monoidal Jantzen filtrations

Let K(C)t=K(C)ZZ[t±1/2]K(\mathscr{C})_t=K(\mathscr{C})\otimes_{\mathbb{Z}}\mathbb{Z}[t^{\pm 1/2}] be the tt-deformed Grothendieck module, with basis elements [M(d)]t[M(\boldsymbol{d})]_t obtained by decategorifying the monoidal Jantzen filtrations. For a skew-symmetric bilinear map γ ⁣:NJ×NJ12Z\gamma\colon\mathbb{N}^{\oplus J}\times\mathbb{N}^{\oplus J}\to\frac12\mathbb{Z}, define

[M(d)]t[M(d)]t=tγ(d,d)[M(d)M(d)]t.[M(\boldsymbol{d})]_t*[M(\boldsymbol{d}')]_t=t^{\gamma(\boldsymbol{d},\boldsymbol{d}')}[M(\boldsymbol{d})\star M(\boldsymbol{d}')]_t.

Associativity conjecture. The Z[t±1/2]\mathbb{Z}[t^{\pm1/2}]-module K(C)tK(\mathscr{C})_t with this operation is a Z[t±1/2]\mathbb{Z}[t^{\pm1/2}]-algebra, and hence gives a not necessarily commutative tt-deformation of the Grothendieck ring K(C)K(\mathscr{C}). The conjecture asserts associativity of the operation constructed from the filtrations; the source gives no resolution.

Sources & referencesView supporting material

Primary source

Ryo Fujita and David Hernandez, “Monoidal Jantzen filtrations”, arXiv:2402.13544 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.