Table of Contents
Fetching ...

Inflations among quantum Grothendieck rings of type A

Ryo Fujita

TL;DR

The paper constructs a family of injective quantum inflations between the quantum Grothendieck rings $K_t(\mathscr{C}_n)$ of type $A$ across ranks, parameterized by height functions and monotone inclusions, and proves these maps preserve the canonical $(q,t)$-character bases. In the classical limit $t\to1$, these inflations recover Brito--Chari’s inflation, providing a quantum analog and validating their conjecture for simple classes; the construction relies on the bosonic extension presentation of the HL framework and uses explicit embeddings between the corresponding quantum tori. Furthermore, the authors provide a categorification of these inflations via quiver Hecke algebras of type $A_\infty$, establishing graded exact monoidal functors $F_\nu$ between localization categories that reflect the inflation at the level of simple objects. The results unify and extend connectivity between different Dynkin types, offer a robust method to transport canonical-basis information across ranks, and open a pathway to categorified realizations through infinite-type quiver Hecke algebras. Collectively, this work advances understanding of quantum affine representations, canonical bases, and categorification in type $A$.

Abstract

We introduce a collection of injective homomorphisms among the quantum Grothendieck rings of finite-dimensional modules over the quantum loop algebras of type $\mathrm{A}$. In the classical limit, it specializes to the inflation among the usual Grothendieck rings studied by Brito-Chari [J. Reine Angew. Math. 804, 2023]. We show that our homomorphisms respect the canonical bases formed by the simple $(q,t)$-characters, which in particular verifies a conjecture of Brito-Chari in loc. cit. We also discuss a categorification of our homomorphisms using the quiver Hecke algebras of type $\mathrm{A}_\infty$.

Inflations among quantum Grothendieck rings of type A

TL;DR

The paper constructs a family of injective quantum inflations between the quantum Grothendieck rings of type across ranks, parameterized by height functions and monotone inclusions, and proves these maps preserve the canonical -character bases. In the classical limit , these inflations recover Brito--Chari’s inflation, providing a quantum analog and validating their conjecture for simple classes; the construction relies on the bosonic extension presentation of the HL framework and uses explicit embeddings between the corresponding quantum tori. Furthermore, the authors provide a categorification of these inflations via quiver Hecke algebras of type , establishing graded exact monoidal functors between localization categories that reflect the inflation at the level of simple objects. The results unify and extend connectivity between different Dynkin types, offer a robust method to transport canonical-basis information across ranks, and open a pathway to categorified realizations through infinite-type quiver Hecke algebras. Collectively, this work advances understanding of quantum affine representations, canonical bases, and categorification in type .

Abstract

We introduce a collection of injective homomorphisms among the quantum Grothendieck rings of finite-dimensional modules over the quantum loop algebras of type . In the classical limit, it specializes to the inflation among the usual Grothendieck rings studied by Brito-Chari [J. Reine Angew. Math. 804, 2023]. We show that our homomorphisms respect the canonical bases formed by the simple -characters, which in particular verifies a conjecture of Brito-Chari in loc. cit. We also discuss a categorification of our homomorphisms using the quiver Hecke algebras of type .

Paper Structure

This paper contains 17 sections, 17 theorems, 70 equations.

Key Result

Theorem 1.1

Let $n, {\tilde{n}}$ be two positive integers with $1 < n < {\tilde{n}}$. For any choice of height functions $\xi \colon I_n \to \mathbb{Z}$, ${\tilde{\xi}} \colon I_{\tilde{n}} \to \mathbb{Z}$ (cf. §Ssec:pres) and a (strictly) increasing function $\nu \colon [1,n] \to [1,{\tilde{n}}]$, we have an i

Theorems & Definitions (43)

  • Theorem 1.1: = Theorem \ref{['Thm:main']}
  • Theorem 1.2: = Theorem \ref{['Thm:categorification']}
  • Conjecture 2.1: Brito--Chari BC
  • Lemma 3.1
  • proof
  • Remark 3.2
  • Theorem 3.3: Nakajima Nak, Hernandez Her, see also HO
  • Remark 3.4
  • Theorem 3.5: Nakajima Nak
  • Remark 3.6
  • ...and 33 more