Quantum polynomial functors from \(e\)-Hecke pairs (Q2633123)

This paper is concerned with extending the braided monoidal category of quantum polynomial functors introduced by [\textit{J. Hong} and \textit{O. Yacobi}, J. Algebra 479, 326--367 (2017; Zbl 1390.20047)] to a category which affords composition. Let \(k\) be a field, let \(q \in k^\times\) and let \(\mathcal V\) be the category of finite dimensional vector spaces over \(k\). Given \(V \in \mathcal V\) and R-matrix \(R_V\in\text{End}(V\otimes V)\), the pair \((V,R_V)\) is called a Yang-Baxter space. Yang-Baxter spaces have quantum Hom-spaces \(\bigoplus_{d\ge 0} \text{Hom}(V^{\otimes d},W^{\otimes d})\) denoted \(T(V,W)\). When \(V = W\) is the defining representation \(V_n\) of \(U_q (\mathfrak{gl}_n)\), aka a standard Yang-Baxter space, the ideal \[I(V,W) = (X R_V - R_W X : X \in \text{Hom}(V,W)^{\otimes 2})\] defines the coalgebra \(A(V,W) := T(V,W)/I(V,W)\) of \(n\times n\) quantum matrices denoted \(A_q(n,n)\) [\textit{B. Parshall} and \textit{J.-p. Wang}, Quantum linear groups. Providence, RI: American Mathematical Society (AMS) (1991; Zbl 0724.17011)]. The category of finite dimensional \(A_q(n,n)\)-comodules is braided monoidal. Moreover, every \(A_q(n,n)\)-comodule is a Yang-Baxter space. In order to extend the quantum polynomial functors of Hong-Yacobi, the authors introduce the notion of \(e\)-Hecke. \(V\in A_q(n,n)\)-comod is \(e\)-Hecke if the coaction lands \(V\) in \(V\otimes (\text{End}(V_n^{\otimes e})/I(V_n,V_n))\). Equivalently, \(V\) is \(e\)-Hecke if it is a direct sum of subquotients of \(V_n^{\otimes e}\) for some \(n\ge1\). (The authors call such \(V\) ``pairs'' since, as Yang-Baxter spaces, they come paired with R-matrices.) If \(V\) is \textit{indecomposable} \(e\)-Hecke, then the action of Artin's braid group \(B_d\) on \(V^{\otimes d}\) factors through a subalgebra of the Hecke algebra \(H_{de}\) whence the ``Hecke'' terminology. The quantum polynomial functors of Hong-Yacobi are linear functors \(\Gamma^d_q\mathcal V\to\mathcal V\) defined on the so-called quantum divided power category. \(\Gamma^d_q\mathcal V\) has the standard Yang-Baxter spaces \(V_n\) (\(n\ge 0\)) as its objects and the degree \(d\) quantum Hom-spaces \(\text{Hom}_{B_d}(V_n^{\otimes d},V_m^{\otimes d})\) as its morphisms. The first obstruction to making sense of composition in the category of such functors \(F\) is that \(F(V_n)\) is not a quantum divided power. The authors replace \(\Gamma^d_q\mathcal V\) by the quantum divided power category \(\Gamma^d_{q,e}\mathcal V\) whose objects are \(e\)-Hecke pairs, and show that the category \(P^d_{q,e}\) of linear functors \(\Gamma^d_{q,e} \mathcal V \to \mathcal V\) behaves well with respect to composition. As related results, they show that their functors enjoy many properties, including braiding, representability, and existence of projective generator. They describe basic operations such as duality and exhibit the quantum symmetric, divided, and exterior powers of \textit{A. Berenstein} and \textit{S. Zwicknagl} [Trans. Am. Math. Soc. 360, No. 7, 3429--3472 (2008; Zbl 1220.17004)] as quantum polynomial functors on \(e\)-Hecke pairs.