Localizations for quiver Hecke algebras (Q2071014): Difference between revisions

\textit{S.-J. Kang} et al. introduced the notion of braiders and a real commuting family of braiders, generalizing the localization procedure (a central object and a commuting family of central objects) for monoidal categories for symmetric quiver Hecke algebras in [Invent. Math. 211, 591--685 (2018; Zbl 1407.81108)] to more general cases. That is, let \(\mathcal{T}\) be a \(\mathbf{k}\)-linear monoidal category with the tensor product \(\otimes\) and a unit object \(\mathbf{1}\). A pair \((C, R_C)\) of an object \(C\) and a natural transformation \(R_C: (C \otimes -) \rightarrow (-\otimes C)\) in \(\mathcal{T}\) is a (left) braider of \(\mathcal{T}\) when \(R_C\) is compatible with the tensor product and the unit object. Since \(R_C(X)\) are not necessarily isomorphisms, \(C\) may not be central. A family \(\{(C_i,R_{C_i})\}_{i\in I}\) of braiders in \(\mathcal{T}\) is a real commuting family if \(R_{C_i}(C_i) \in \mathbf{k}^\times \mathsf{id}_{C_i\otimes C_i}\) and \(R_{C_j}(C_i) \circ R_{C_i}(C_j) \in \mathbf{k}^\times \mathsf{id}_{C_i \otimes C_j}\). The first main theorem is the existence and the uniqueness of localization of the monoidal category \(\mathcal{T}\) via the real commuting family \(\{(C_i,R_{C_i})\}_{i\in I}\) of braiders (Theorem 2.7, page 1496): there exists a monoidal category \(\widetilde{\mathcal{T}}\) and a monoidal functor \(\Upsilon: \mathcal{T} \rightarrow \widetilde{\mathcal{T}}\) such that the object \(\Upsilon(C_i)\) is invertible in \(\widetilde{\mathcal{T}}\) and the morphisms \(\Upsilon(R_{C_i}(X)): \Upsilon(C_i\otimes X)\to\Upsilon(X\otimes C_i)\) are isomorphisms in \(\widetilde{\mathcal{T}}\) for any \(i\in I\) and \(X\in\mathcal{T}\). Moreover, the pair \((\widetilde{\mathcal{T}},\Upsilon)\) is universal (an initial object). The second goal of the paper is to apply the localization procedure to subcategories of \(R\)-gmod. Let \(R\) be a quiver Hecke algebra of arbitrary symmetrizable type and let \(M\) be a real simple \(R\)-module with an affinization. The authors investigate the nondegenerate graded braider structure \((M,R_M,\phi)\). Proposition 4.4 (page 1522) says that the morphism \(R_M(N)\) for a simple module \(N\) is either zero or equal to \(\mathbf{r}_{M,N}\) up to a constant multiple, and Kashiwara, Kim, Oh, and Park give a criterion to check when the given nondegenerate braiders form a real commuting family of graded braiders. If \((C_a,R_{C_a},\phi_a)_{a\in A}\) is a real commuting family of nondegenerate graded braiders in a subcategory \(\mathcal{C}\) of \(R\)-gmod such that every \(C_a\) admits an affinization, then the localization functor \(\Phi :\mathcal{C} \to \widetilde{\mathcal{C}}\) sends a simple to a simple or zero (Proposition 4.8, page 1525).