POLYNOMIAL FUNCTORS AND TWO-PARAMETER QUANTUM SYMMETRIC PAIRS

We develop a theory of two-parameter quantum polynomial functors. Similar to how (strict) polynomial functors give a new interpretation of polynomial representations of the general linear groups GLn, the two-parameter polynomial functors give a new interpretation of (polynomial) representations of the quantum symmetric pair (UQ,qB\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {U}_{Q,q}^B $$\end{document}(gl\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathfrak{gl} $$\end{document}n), Uq(gl\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathfrak{gl} $$\end{document}n)) which specializes to type AIII/AIV quantum symmetric pairs. The coideal subalgebra UQ,qB\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {U}_{Q,q}^B $$\end{document}(gl\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathfrak{gl} $$\end{document}n) appears in a Schur–Weyl duality with the type B Hecke algebra HQ,qB\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\mathcal{H}}_{Q,q}^B $$\end{document}(d). We endow two-parameter polynomial functors with a cylinder braided structure which we use to construct the two-parameter Schur functors. Our polynomial functors can be precomposed with the quantum polynomial functors of type A producing new examples of action pairs.


Introduction
Polynomial functors are endofunctors on the category of vector spaces that are polynomial on the space of morphisms.They are related to the polynomial representations of GL n in the sense that the degree d polynomial functors are equivalent to the degree d representation of GL n when n ≥ d (this correspondence passes through the Schur algebra).Two quantizations of polynomial functors were developed by Hong and Yacobi [HY17] (first) and by the authors [BK19b].The first category is related to the polynomial representation theory of the quantum group U q (gl n ).The second category is related to a "higher degree" quantization of GL n [BK19b, Corollary 6.16]; it is more complicated than the category from [HY17] and was constructed in order to define composition of quantum polynomial functors.Composition is a natural operation on functors which is useful in performing cohomological computations.For example, it enables Friedlander and Suslin [FS97] to prove the cohomological finite generation of finite group schemes.
In the present paper we define and study two-parameter quantum polynomial functors.These polynomial functors are related to the representation theory of a certain coideal subalgebra U B Q,q (to be defined in Section 2.2) in the same way that classical polynomial functors are related to the representation theory of GL n .Many of the properties of classical or quantum polynomial functors have (sometimes surprising) analogues for two-parameter polynomial functors, as we show in this paper.
A quantum symmetric pair is a pair of algebras B ⊂ U q (g) where g is a simple Lie algebra and B is constructed from an involution θ of g.The subalgebra B has the following property: by restricting the comultiplication ∆ of U q (g) to B, one obtains a map ∆ : B → B ⊗U q (g).The subalgebra B is also called a coideal subalgebra for this reason.Such coideal subalgebras have been studied in special cases using solutions of the reflection equation by Noumi, Sugitani, and Dijkhuizen [Nou96, NS95,NDS97] and in general by Letzter [Let99,Let02].For more details about quantum symmetric pairs and their applications see the introduction to the paper of Kolb [Kol14] where an affine version of the theory of quantum symmetric pairs is developed.
In this work, we restrict our attention to a specific type of coideal subalgebra U B Q,q .The motivation for studying this coideal subalgebra is manifold.It is part of a quantum symmetric pair that comes with solutions of the reflection equation and is in (Schur-Weyl) duality with the unequal parameter Hecke algebra of type B. It also plays a major role in many recent works in representation theory.
We first mention two important independent works where the coideal U B Q,q and its specializations play a key role.In Bao and Wang [BW18b], a theory of canonical bases for the coideal subalgebra U B q,q (denoted by U ι and U  in Sections 2.1 and 6.1) is initiated and used to obtain decomposition numbers for the BGG category O of the Lie superalgebra osp(2m + 1|2n).The coideal at q = 1 appears as an algebra generated by certain translation functors.
In [ES18], Ehrig and Stroppel study a 2-categorical action of the coideal U B 1,q on a parabolic BGG category O of type D which categorifies an exterior power of the natural representation of the coideal.This process produces canonical bases for the aforementioned coideal modules.A Howe duality for the coideal subalgebra surprisingly emerges.
These works started a new wave of interest in quantum symmetric pairs and their applications to representation theory.Bao and Wang started a program of studying canonical bases for quantum symmetric pairs [BW18b, BW16, BK15, Bao17, BW18a, BW19] which generalizes Lusztig's theory of canonical basis for U q (gl n ) [Lus90a].In related work of Balagovic and Kolb [BK19a], the universal K-matrix is constructed for a large class of quantum symmetric pairs including the ones appearing in this work (the universal K-matrix for U B q,q was first written down in [BW18b, §2.5]).The universal Kmatrix produces solutions to the reflection equation similar to how the universal R-matrix produces solutions to the Yang-Baxter equation.The search for such solutions of the reflection equation is motivated by the theory of solvable lattice models with U-turn boundary conditions and the study of invariants for braids in a cylinder (according to the work of tom Dieck and Häring-Oldenburg [tD98,tDHO98,HO01]).
A natural continuation of the work [BW18b] is the work of Bao [Bao17], where canonical bases for the specialization U B 1,q are studied, and decomposition numbers for the BGG category O of osp(2m|2n) are obtained.The two papers [BW18b,Bao17] establish a Schur-Weyl duality between the coideal subalgebras U B q,q and U B 1,q , and the Hecke algebra H B q,q (d) and H B 1,q (d), respectively (see also [ES18] for the Q = 1 Schur-Weyl duality and [Gre97] for a general Schur-Weyl duality without the quantum symmetric pair).The two Schur-Weyl dualities are generalized to a duality between U B Q,q and H B Q,q (d) in [BWW18].The Schur-Weyl duality tells us that a large part of the representation theory of U B Q,q is encoded in the centralizers of H B Q,q (d) acting on V ⊗d n .This is the starting point of our definition of two-parameter quantum polynomial functors.
Let k be a field and Q, q ∈ k × and let C B d be the full subcategory of H B Q,q (d)-modules (over k) of the form V ⊗d n where the Hecke algebra H B Q,q (d) acts on a space V ⊗d n as in equation (3).We define two-parameter quantum polynomial functors of degree d as linear functors from the category C B d to the category of vector spaces, that is, we let We prove the category P d Q,q is equivalent to the category of finite dimensional representations of the two-parameter Schur algebra S B Q,q (n; d) := End H B Q,q (d) (V ⊗d n ) when n ≥ 2d is odd.If Q, q are generic, we do not need to require n to be odd (see Setup at the end of the Introduction for what generic means).The algebra S B Q,q (n; d) generalizes the q-Schur algebra of Dipper and James and is the main subject of study of the papers [BKLW18,LL18,LNX19].In particular, [LNX19, Theorem 3.1.1]shows that S B Q,q (n; d) is isomorphic to a direct sum of tensor products of type A q-Schur algebras under a small (necessary) restriction on Q, q.
Our construction of polynomial functors and the proof of representability from Section 3 is based on a Schur-Weyl duality and does not use any other property of the coideal U B Q,q .We know our construction and proof work in the setting of [FL15,ES18] where a Schur-Weyl duality involving the Hecke algebra of type D appears.We expect it to work in many other settings possibly including [ATY95, HS06, SS99, Sho00, MS16] where Schur-Weyl dualities appear.The super polynomial functors of Axtell [Axt13] are also based on the Schur-Weyl dualities of Sergeev [Ser84].
The theory of polynomial functors we develop interacts with type A quantum polynomial functors in two ways.The first interaction is via composition.
Composition between type A quantum polynomial functors AP d q (see Example 3.5 for the definition) for q = 1 is not possible.See the Introduction to [BK19b] for a comprehensive discussion explaining this fact.In [BK19b], the authors define "higher degree" quantum polynomial functors AP d,e q (the category AP d,e q is denoted in [BK19b] by P d q,e ) and define a composition functor q are quantizations of the category of classical polynomial functor P d (in the sense of AP d,e q=1 ≃ P d ) but are more complicated: for example we do not know the number of non-isomorphic simple objects in AP d,e q .In our setting, one cannot hope to define composition of quantum polynomial functors because we cannot take the tensor power of general U B Q,q -modules.In Section 5 we define higher degree two-parameter quantum polynomial functors P d,e Q,q and prove that there is a composition that makes the type B higher degree polynomial functors together with type A higher degree polynomials into an action pair.This structure is natural in the setting of polynomial functors while not in the setting of Schur algebra modules.Composition for classical polynomial functors is related to an operation on symmetric polynomials known as plethysm.It would be interesting to understand the analog of plethysm related to our composition between type A and type B quantum polynomial functors (for an introduction to classical plethysm see Macdonald [Mac95, Section I.8]).
We emphasize that the composition between type A and type B quantum polynomial functors produces what we believe are new, non-trivial examples of action pairs.These examples are different to the examples of the (cylinder braided) action pairs we produce in Section 4. The latter examples have appeared in a different setting in the work of Kolb and Balagovic and reflect the fact that U B Q,q is a coideal of U q (gl n ).
Higher degree polynomial functors are related to certain generalizations of the Schur algebra which we call e-Schur algebras and denote by S A q (n; d, e) and S B Q,q (n; d, e) (the former was initially defined in [BK19b]).They are defined via e-Hecke algebras H A q (d; e) and H B Q,q (d; e) which live inside the ordinary Hecke algebras H A q (de) and H B Q,q (de), respectively; they are higher quantizations of the Weyl groups W A d and W B d , respectively.See Figure 1 for the relation between such Schur and Hecke algebras.
The second interaction of type A and type B quantum polynomial functors is presented in Section 4 where we show that the restriction of AP q = ⊕ d AP d q to P Q,q = ⊕ d P d Q,q forms a cylinder braided action pair with AP q .We explain how to generalize this result to higher degree polynomial functors in Remark 5.5.There also exists a higher degree action of the category ⊕ d AP d,e q on ⊕ d P d,e Q,q which leads to a new cylinder braided action pair.The notion of a cylinder braided action pair due to tom Dieck and Häring-Oldenburg [tD98, tDHO98, HO01], generalizes the notion of a braided monoidal category to a setting where one has categorical solutions of the Yang-Baxter equation and the reflection equation.The quantum symmetric pair (U B Q,q , U q (gl n )) produces a main example of such a pair.The cylinder braided action pair has an interesting generalization.In [BK19a, Section 4] the notion of a braided tensor category with a cylinder twist is developed (Balagovic and Kolb use the term 'braided tensor category with a cylinder twist' for what we call cylinder braided action pair); in this generalization, all finite quantum symmetric pairs produce examples of such categories.A slightly stronger notion than a cylinder braided action pair is that of a braided module category defined in [Enr07, §4.3] (see also [Bro13,§ 5.1]).Kolb [Kol17] showed all quantum symmetric pairs for Q, q generic produce such module categories up to twist.Our category of polynomial functors can also be shown to produce braided module categories (see Remark 4.9).
In type A, the tensor power has two distinguished quotients, namely the symmetric power and the exterior power.In our setting, the two-parameter symmetric power and the exterior power both have two distinguished quotients.We define them in Section 6 and call them the ±-symmetric power, denoted by S d ± , and the ±-exterior power, denoted by ∧ d ± .They depend on positive and negative eigenvalues of the K-matrix, similar to how type A symmetric and exterior power depend on positive and negative eigenvalues of the R-matrix.These are the most basic examples of the Schur functors and are the building blocks for other Schur functors.
In § 6.1 we define higher degree ± symmetric and exterior powers.The definition makes crucial use of Corollary 2.6 where we essentially show that action of the U B Q,q -universal K-matrix on any U q (gl n ) module has eigenvalues of the form ±Q i q j for i, j ∈ Z.These examples of higher degree two-parameter quantum polynomial functors should be thought of as the generalization of the type A quantum symmetric and exterior powers due to Berenstein and Zwicknagl [BZ08].
In Section 7, we construct the Schur functors in P Q,q analogous to the classical construction of Akin-Buchsbaum-Weyman [ABW82].A classical Schur functor is defined as the image of the conjugation ) is its transpose.In our setting, the ±-symmetric/exterior powers defined in Section 6 play the role of the symmetric/exterior powers.However, we are unable to define the tensor product of ±-symmetric/exterior powers since they are coideal modules, and not bialgebra modules.Therefore the obvious generalization fails and we need a new idea.Our idea is to define a "deformed tensor product" of U B Q,q -modules by using the cylinder braided action from Section 4 (an example of deformed tensor products is presented in Definition 7.10) and use it to define the Schur functor.We then write the Schur functor in equation ( 45) generalizing the type A definition of the Schur functor.It is defined as the image of a(n induced) conjugation where − and S (λ,µ) is similarly a deformed tensor product.See Definition 7.13 and equation (45) for details.
If Q, q are generic, the Schur functors form a complete set of simple objects in the category P Q,q .In the non-generic case, we expect that the Schur functors form a complete set of costandard objects whenever P Q,q is a highest weight category.The latter is true under a small restriction on Q, q.
Our definition of Schur functors can be 'lifted' to the setting of higher degree polynomial functors as we explain in § 7.3.The result is a class of interesting objects in P d,e and AP d,e and is a first step towards understanding the categories P d,e and AP d,e .
Setup.Unless otherwise stated, we assume that k is a field and Q, q ∈ k × .
In a few places, we use the stronger assumption that k = C and Q, q ∈ k are such that Q i q j = 1 for all i, j ∈ Z (in particular Q, q are not roots of unity).For convenience, we refer to this assumption by saying Q, q are generic or by using the term 'generic case'.

Quantum symmetric pairs and Schur-Weyl dualities
We introduce the basic objects which are used throughout the paper: the quantum group U q (gl n ), the coideal subalgebra U B Q,q and the two-parameter Hecke algebra of Coxeter type BC which we denote by H B Q,q (d).We review a Schur-Weyl duality between H B Q,q (d) and U B Q,q .That is the basis for our definition of two-parameter quantum polynomial functors.
The elements s i ∈ W B (d) for i > 0 generate a subgroup isomorphic to W A (d), the Weyl group of type A (otherwise known as the symmetric group S d ).
Let H B Q,q (d) be the two-parameter Hecke algebra of type BC [Lus03].It is presented by generators d) does not depend on the reduced expression.The elements T w for w ∈ W B (d) form a basis of H B Q,q (d).
2.1.2.Action on the tensor space.Set n = 2r + 1 or 2r and denote I := I n .If n is even we define given by where and The map (R q ) i,i+1 acts as R q on the (i, i + 1) entries of the tensor product V ⊗d n and as the identity on the rest of the entries.Similarly, (K

Vn
. The action of H B Q,q (d) is classical.See for example Green [Gre97].The Schur algebra S B Q,q (n; d) is then defined as the centralizer algebra of the right action of H B Q,q (d) on the tensor space V ⊗d n .
Remark 2.1.The map R q is the action of the inverse of the universal R-matrix of U q (gl n ) on V n ⊗V n as explained in [BW18b, Proposition 5.1] in the Q = q case.Similarly, the map K q is the action of the inverse of the universal K-matrix (due to [BK19a]) of the coideal U B Q,q on V n (see [BW18b, Theorem 5.4, Theorem 6.27], again for the Q = q case).
2.1.3.The elements K i .For each 1 ≤ i ≤ d, we consider the elements These are the Jucy-Murphy elements of H B Q,q (d) (see [DJM98, Section 2]).The following lemma is well-known, see for example [DJM98, Proposition 2.1] for a proof.Lemma 2.2.For each 1 ≤ i, j ≤ d, K i and K j commute.
The product is well-defined due to Lemma 2.2.
Proof.We show that c K commutes with all the generators T i of H B Q,q (d).First let us look at T 0 .It obviously commutes with itself.It commutes with Let us look at T i for i > 0. The following facts are parts ii) and iii) of [DJM98, Proposition 2.1]: (1) T i commutes with K j for i = j, j − 1.
(2) T i commutes with K i+1 K i .We conclude that T i commutes with c K .
Consider the action of H B Q,q (d) on V ⊗d n defined in §2.1.2.We close the section by determining the eigenvalues of K i .The following lemma [MS18, Lemma 5.2] comes useful.
Lemma 2.4.Suppose K i , K i+1 has a simultaneous eigenvector with eigenvalues a, b (respectively).Then either K i , K i+1 also has a simultaneous eigenvector with eigenvalues b, a or b = q ±2 a.
Proof.Let v ∈ V ⊗d n be a simultaneous eigenvector for K i , K i+1 with eigenvalues a, b (respectively).Then the vector w = (q −1 − q)bv + (a − b)T i v is checked to satisfy K i w = bw and K i+1 = aw.If w = 0, then w is a desired eigenvector.If w = 0 then v is an eigenvector for T i .This implies where c is an eigenvalue for T i , which is either of −q or q −1 .
Proposition 2.5.The eigenvalues of K i on V ⊗d n are of the form −Qq 2j and Q −1 q 2j where |j| < i.
Proof.The i = 1 case follows from the definition (and also follows from the the relation (T 0 − Q −1 )(T 0 + Q) = 0 in the Hecke algebra).Now suppose that the eigenvalues of K i are of the form −Qq 2j and Q −1 q 2j where |j| < i, and let b be an eigenvalue of K i+1 .The actions of K i and K i+1 are simultaneously triangularizable, so we can find a simultaneous eigenvector v for K i , K i+1 where K i+1 v = bv.Then by Lemma 2.4, either b = q ±2 a where a is an eigenvalue of K i (the second case of the lemma) or b is an eigenvalue of K i (the first case of the lemma).Therefore b should be of the desired form.
Corollary 2.6.The eigenvalues of c K are of the form ±Q i q j for i, j ∈ Z.
Proof.Since K i are simultaneously triangularizable, each eigenvalue of c K is a product of eigenvalues of K i 's.The claim thus follows from Proposition 2.5 2.2.Coideal subalgebras and Schur algebras.

Schur algebras. Considering the action of H
Then the Schur algebra S B Q,q (n; d) is the specialization of S B Q,q (m, n; d) at m = n; it is an algebra with multiplication given by composition and the identity given by the identity homomorphism.
There is an obvious action S B Q,q (n; d) V ⊗d n .
2.2.2.Quantum groups and coideal subalgebras.In this subsection, we assume that k = C and Q, q are generic. 1 The quantum group U q (gl n ) is the unital associative algebra over C generated by elements E i , F i for i ∈ I n−1 and D ± i for i ∈ I n subject to the relations (set j ′ = j − 1 2 ): We do not define the quantum group at a root of unity, but whenever we mention it, we are referring to Lusztig's version of the quantum group at a root of unity [Lus90b].
The quantum group U q (gl n ) is a Hopf algebra with comultiplication ∆ and antipode S given on generators by the following formulas: Let V n be the defining representation of U q (gl n ) described in §2.1.2;it has basis {v i , i ∈ I n } and the quantum group U q (gl n ) acts on V n as follows: We now introduce the (right) coideal subalgebra U B Q,q (gl n ) as in [BWW18], where it is denoted by U i or U j , depending on the parity of n.For i ∈ I n−1 , j ∈ I n define the following elements of U q (gl n ): 1 The reason we need this assumption is that the coideal subalgebra U B Q,q is defined and studied only when q, Q are generic (to the authors' knowledge at the point when this work is written).When q or Q is a root of unity, we expect there to be a definition of the coideal U B Q,q similar to Lusztig's quantum group at a root of unity [Lus90b], which still surjects to the Schur algebra S B Q,q .
The subalgebra U B Q,q (gl n ) of U q (gl n ) is generated by the elements e i , f i for i ∈ I n−1 , i > 0 , d i for i ∈ I n , i > 0, and the element t when n is odd.We denote U B Q,q (gl n ) by U B Q,q throughout the text.The name coideal subalgebra is due to the fact that the restriction of the comultiplication from restricts to an U B Q,q -module.Then the left action of U B Q,q and the right action of Remark 2.8.By Theorem 2.7 one realizes the Schur algebra S B Q,q (n; d) as a quotient of the coideal subalgebra U B Q,q .This gives an equivalence of categories between the category of degree d modules of U B Q,q (i.e.summands of V ⊗d n ) and the category of S Q,q (n; d)-modules.Our main results in Section 3 identifies degree d polynomial functors with representations of the Schur algebra S B Q,q (n; d) for n ≥ d.The fact that the category of finite dimensional representations of S B Q,q (n; d) is equivalent to the same category as long as n ≥ d can be interpreted as a stability result in the limit n → ∞ for U B Q,q when Q and q are generic.This is different to the d → ∞ stabilization studied in [BKLW18].
For a partition λ, let |λ| be the sum of its parts and ℓ(λ) the number of non-zero entries in λ.Under our assumption, the algebra H B Q,q (d) is semisimple and has irreducible representations M λ,µ indexed by pairs of partitions (λ, µ) with |λ| + |µ| = d (this follows from the work of [DJ92]).Furthermore, there is a S B Q,q ⊗ H B Q,q (d)-bimodule decomposition of V ⊗d n (note that using Theorem 2.7 we can view it as a decomposition as a U B Q,q ⊗ H B Q,q (d)-bimodule): (12) The subscript (λ, µ) ⊢ n d means that λ, µ are partitions such that |λ| A useful consequence of ( 12) is the following fact.
Proposition 2.9.The K i action on V ⊗d is diagonalizable.
Proof.We first show that the element ).Since the decomposition is multiplicity free, c K acts by a scalar on each irreducible bimodule summand of V ⊗d , hence diagonal on V ⊗d .Now we proceed by induction on d.We know that K 1 is diagonalizable, which takes care of the d = 1 case.Let d > 1.By induction hypoethesis, for each i < d, K i is diagonalizable.(In fact, the induction hypothesis says that K i is diagonalizable on V ⊗i , but then elements.By Lemma 2.2 and Lemma 2.3, the elements all commute and hence are simultaneously diagonalizable.This implies that K d is diagonalizable.
Remark 2.10.The Schur algebra defined above is a generalization of the type A q-Schur algebra of Dipper and James [DJ89].It has first appeared in [Gre97] and it is the same Schur algebra appearing in [BWW18] or in [LNX19].It is different to the Cartan type B generalization defined in terms of the vector representation of the type B quantum group and the BMW algebra.
2.3.Young symmetrizers for H B Q,q (d).In this subsection, we assume k = C and Q, q are generic.We explain the construction of certain Young symmetrizers for the Hecke algebra H B Q,q (d) following Dipper and James [DJ92].We then describe irreducible representations of U B Q,q as images of these Young symmetrizers acting on V ⊗d n by Schur-Weyl duality in Theorem 2.7.Consider the following elements Given a and b non-negative integers, define w a,b ∈ W A (d) ⊂ W B (d) to be the element given in two line notation by ( 14) and it is invertible by [DJ92, §4.12].Finally define the following element as in [DJ92, Definition 3.27]: Then e a,b commutes with all elements in H q (S a × S b ).The following are proved in [DJ92] under the assumption that the element is nonzero, which is covered under our assumption.
Theorem 2.11.Let a, b be non-negative integers such that a (2) There is a Morita equivalence Let e a λ ∈ H A q (a) be the (type A) quantum Young symmetrizers (see Gyoja [Gyo86] for a definition).Since q is generic, the algebra H q (S a × S b ) = H q (S a ) × H q (S b ) is semisimple, and the set {H q (S a Then it follows from Theorem 2.11 that {H B Q,q (d)e λ,µ | (λ, µ) ⊢ d} forms a complete list of nonisomorphic irreducible modules for H B Q,q (d).Now we apply the Schur-Weyl duality to construct all the irreducible polynomial U B Q,q -modules up to isomorphism.
Proposition 2.12.The image in Proof.This follows from the bimodule decomposition (12) of V ⊗d n .That is, In the second from the last isomorphism, we use that There is no explicit formula for zb,a and therefore the element e a,b is not useful when performing explicit computations.We can bypass this difficulty by working with the following element: Proof.By Proposition 2.12, it is enough to show that V ⊗d n e λ,µ is isomorphic to V ⊗d n e ′ λ,µ .Consider the map m : V ⊗d n e λ,µ → V ⊗d n e ′ λ,µ = V ⊗d n e λ,µ zb,a given by the (right) action of zb,a ∈ H B Q,q (d) on V ⊗d n e λ,µ .Since the U B Q,q action on V ⊗d n e λ,µ commutes with the H B Q,q (d) action, the map m is an U B Q,q -morphism.Since zb,a is invertible, the map m is an The elements e ′ λ,µ are not (quasi-)idempotents, but we still call them Young symmetrizers.
Sometimes we write V (a, n) to clarify where a belongs.Thus, we have a decomposition (18) v a(θ) := such that: For example, adding 0's at Adding a 0 at j = 0 to a composition θ as above for n even means defining a new composition such that: For example adding a 0 at j = 0 to θ = (1, 2, 3, 4) produces There is an obvious inverse procedure to adding 0's in pairs at a place j > 0 if θ ±j = 0 (and similarly there is an inverse procedure for adding a 0 at j = 0 when θ 0 = 0).
Proof.Let us explain the isomorphism between V θ and V θ ′ since the case V θ ′′ is similar.
The space V θ is spanned as an H B Q,q (d)-module by the vector v a , for a given in terms of θ by equation (19), while the space V θ ′ is spanned by vector v a ′ for a ′ given in terms of θ ′ by equation ( 19).There is a unique vector space isomorphism between V θ and V θ ′ that maps v sa → v sa ′ for all s ∈ W B (d).Because of the way the vector space isomorphism is defined (i.e. it is essentially defined on pure tensors by replacing v i /v −i by v i+1 /v −i−1 for all i > j), this map commutes with the action of T i defined in (3) and therefore is an isomorphism of H B Q,q (d)-modules.For example, if θ = (2, 1, 3) and θ ′ = (2, 0, 1, 0, 3), then In terms of a ∈ I d n , we get the following stability lemma.
Lemma 2.15.Let r ≥ d.Then for any n and a ∈ I d n , the Proof.The result follows by use of Lemma 2.14.Let θ(a) be the composition associated to a and let θ(b) be the composition associated to b.If n is odd and less than or equal to 2r + 1, we can add 0's in pairs to θ(a) to obtain a θ(b If n is larger than 2r + 1 then n is larger than 2d + 1 and the composition θ(a) has at most d non-zero entries.Therefore we can subtract 0's in pairs from θ(a) to obtain a θ(b) with the required properties.
If n is even, we first add a 0 at j = 0 to the composition associated to a and then follow the same procedure as in the odd n case.2.5.Generalized Schur algebras and e-Hecke algebras.The category of polynomial representations of U q (gl n ) is a braided monoidal category.That is, given polynomial U q (gl n )-modules V and W , there is a U q (gl n )-module isomorphism R V,W : V ⊗ W → W ⊗ V that satisfies the Yang-Baxter equation: One can build such a map inductively, by starting with R Vn,Vn = R q in (4), defining and then realizing any indecomposable degree d representation of U q (gl n ) as a subquotient of V ⊗d n .In the following, we denote R V,V by R V .
Similarly, given V a polynomial U q (gl n )-module of degree d viewed as a representation of the coideal subalgebra U B Q,q , then there exists a K-matrix K V that is an U B Q,q -isomorphism and satisfies the reflection equation: Again, one can obtain the K-matrix on polynomial representations inductively, by starting with K Vn := K Q and using the formula: In particular, this implies that K V ⊗d n is given by the action of and for every subquotient V of V ⊗d n , the K-matrix K V is obtained by restriction.In the Weyl group W A (de) with simple reflections s i , 1 ≤ i ≤ de − 1, consider the elements w i , 1 ≤ i ≤ d − 1 given in two line notation by (24) Note that w i is the longest element in the parabolic subgroup (isomorphic to W A (e)) in W A (de) generated by s e(i−1)+1 , • • • , s ei−1 .
Following [BK19b], we define H A q (d, e) as the subalgebra of H A q (de) generated by ) the e-Hecke algebra (of Coxeter type A).Let V be a U q (gl n )-module of degree e and R V be its R-matrix.Then one can show (see the discussion after Definition 2.9 in [BK19b]) that there is a right action of H A q (d; e) on V ⊗d , where T w i acts as (R V ) i,i+1 .
In the Weyl group W B (de) with simple reflections s i , 0 ≤ i ≤ de − 1, consider the elements 24) and the element w 0 given by ( 25) Note that w 0 is the longest element in the parabolic subgroup (isomorphic to W B (e)) in W B (de) generated by s 0 , • • • , s e−1 .
Definition 2.16.Define H B Q,q (d, e) as the subalgebra of H B Q,q (de) generated by T w i , 0 ≤ i ≤ d − 1.We call H B Q,q (d, e) the two-parameter e-Hecke algebra of Coxeter type B. Remark 2.17.The e-Hecke algebras are simple to define but not well understood.For example, the dimension of H B Q,q (1, 2) is 4 for Q, q generic (and therefore larger than H B 1,1 (1, 2) ∼ = kS 2 ).This follows from the fact that the Figure 1.On each row of the diagram above we have a commuting double action on the space V ⊗de n .A double centralizer property is satisfied for the double action on the bottom two rows for Q, q generic.A question is whether the double action on the top two rows also satisfy a double centralizer property.and the K-matrix has 5 different eigenvalues for n ≥ 4. Similarly, the dimension of H B Q,q (1, e) is equal to the number of different eigenvalues of K V ⊗e 2e .But computing the dimension of H B Q,q (d, e), for general d, seems like a hard problem.This is also the case for e-Hecke algebras of type A.
Let V be a U q (gl n )-module of degree e and let K V be its associated K-matrix.We call V a type B e-Hecke triple.The word triple comes from the fact that when we write V we implicitly mean the triple (V, R V , K V ), where we abbreviate R V = R V,V .
Lemma 2.18.There is a right action of H B Q,q (d, e) on V ⊗d where T w i acts by (R V ) i,i+1 for i > 0 and T w 0 acts by (K V ) 1 .
Proof.First we prove this for V = V ⊗e n .Then the elements where the last equality involves the use of equation (21).A similar argument can be made for the K-matrix via equation ( 23).
This means that (K ⊗d satisfy all the relations the generators T w i satisfy.A degree e module of U q (gl n ) is a subquotient of V ⊗e n and therefore (K V ) 1 , (R V ) i,i+1 ∈ End(V ⊗d ) also satisfy the relations the generators T w i satisfy, giving rise to an e-Hecke algebra representation.
Let us now turn our attention to defining generalized Schur algebras.We have already defined the Schur algebra of type B in equation (7).Let V, W be degree e representations of U q (gl n ).For every non-negative integer d we define In particular, we denote by S B Q,q (n, m; d, e) the space Hom H B Q,q (d,e) ((V ⊗e n ) ⊗d , (V ⊗e m ) ⊗d ) and let S B Q,q (n; d, e) = S B Q,q (n, n; d, e).A relation between different Schur algebras and Hecke algebras is displayed in Figure 1.The inclusions on the Hecke algebra side follow by definition, while the surjections on the Schur algebra side follow from the inclusions on the Hecke algebra side.

Two-parameter quantum polynomial functors
3.1.Representations of categories.Fix a field k.Let Λ be a k-linear category.A representation of Λ is a k-linear functor Λ → V, where V is the category of finite dimensional k-vector spaces.
Let mod Λ be the category of representations of Λ, where the morphism spaces are given by the natural transformations.
The following lemma and proposition are standard in homological algebra.
Therefore we can think of mod Λ as a generalization of the module category of an algebra.
Definition 3.2.A full subcategory Γ of Λ is said to generate Λ if the additive Karoubi envelope of Γ contains Λ.If Γ consists of a single object V , we also say V generates Λ.
In particular, if V generates Λ, then mod Λ is equivalent to End Λ (V )-mod, the category of finite dimensional modules over the algebra End Λ (V ).
Example 3.4.The category of degree d polynomial functors P d can be defined as mod Γ d V where Γ d V is the category with objects vector spaces V n of dimension n for any n ≥ 1 and morphisms In fact, all variations of the category of polynomial functors, including what we present in this work, can be identified with module categories of some interesting algebras by use of Lemma 3.1 and Proposition 3.3.Example 3.4 is a classical result of Friedlander and Suslin [FS97].The next example is the quantum polynomial functors of Hong and Yacobi [HY17], which provide a quantization of Example 3.4.
Example 3.5.Let us denote by AP d q the category defined as mod Γ d q V , where Γ d q V is the category with objects vector spaces V n of dimension n for any n ≥ 1 and morphisms Hom Γ d q V (V n , V m ) := Hom H A q (d) (V ⊗d n , V ⊗d m ) where H A q (d) acts on V ⊗d n via R-matrices as in equation (4).As in the nonquantum case, we have that End Equivalently, we can define C B d as the full subcategory of H B Q,q (d)-mod consisting of the objects V ⊗d n for all n.Definition 3.7.We define the category of type BC polynomial functors as Note that by definition, every F ∈ P d Q,q induces a linear map , there is a corresponding element F (x) ∈ End(F (V n )).Since the functor F is linear, the space F (V n ) has the structure of an S B Q,q (n; d)module with x ∈ S B Q,q (n; d) acting on F (V n ) via F (x). From Remark 2.8, the Schur algebra S B Q,q (n; d) is a quotient of the coideal U B Q,q in the generic case.It follows that F (V n ) is endowed with the structure of a U B Q,q -module of degree d. 3.3.Representability.We now show that the category P d Q,q is equivalent, under certain conditions, to the module category over the finite dimensional algebra . This follows from Lemma 3.1 and Proposition 3.3 if we prove that the domain category C B d is generated by the object V n in the sense of Definition 3.2.
We split this section into two parts depending on the parity of n.In §3.3.1 we show the equivalence between P d Q,q and S B Q,q (n; d)-mod for n odd.In §3.3.2 we impose the condition that Q, q are generic and prove the equivalence for all n.We explain in Remark 3.16 what can go wrong if n is even.
As a convenient convention for the proof, we say for two objects V, W ∈ Λ = C B d that V generates W if W is a direct summand of a direct sum of V .We say that V generates Λ if V generates every object in Λ.This definition is consistent with Definition 3.2.

3.3.1.
Representability for n odd.Let r be a non-negative integer.
Proposition 3.9.The object V n generates C B d if n = 2r + 1 ≥ 2d.Proof.Let n = 2r + 1 ≥ 2d.We want to show that V n generates V m for all m.Note that V ⊗d n is a direct sum of H B Q,q (d)-modules V (a, n) and V ⊗d m is a direct sum of modules V (b, m).By Lemma 2.15, for every V (b, m) there is a V (a, n) such that the two spaces are isomorphic as H B Q,q (d)-modules.It follows by definition that V n generates V m for all m which implies that V n generates C B d .The following result relates the category of two-parameter polynomial functors with the category of modules of the type B Schur algebra.
Theorem 3.10.The category P d Q,q is equivalent to the category of finite dimensional modules of the endomorphism algebra S B Q,q (n; d) where n = 2r + 1 for any r ≥ d.Proof.Use Proposition 3.9 to apply Proposition 3.3 and Lemma 3.1 with Γ = {V 2r+1 } and recall that S B Q,q (2r + 1; d) = End Γ (V 2r+1 ).Corollary 3.11.The Schur algebras S B Q,q (m; d) and S B Q,q (n; d) are Morita equivalent if m, n ≥ 2d are odd.

3.3.2.
Representability for n even.We now assume Q, q are generic, which implies the Hecke algebra Proof.It is enough to find a summand in V ⊗d 2m which is isomorphic to V (a) = V (a, 2m − 1) for an arbitrary a ∈ I d 2m−1 .In fact, since H B Q,q (d)-modules are completely reducible, it is enough to construct an injective map from V (a) into V ⊗d 2m .Since V (a) = V (wa) for w ∈ W B (d), we may assume that 0 ≤ a 1 ≤ • • • ≤ a d .Let a i+1 be the first entry greater than zero.
Let a ′ j = a j + 1 2 .We define ℓ 0 (w) = the multiplicity of s 0 in a reduced expression of w; where ℓ(w) is the Coxeter length for W B (d).Then define the element va := , where there are i terms in the tensor product and in The group W B (d) acts as in equation (2).The vector va is an eigenvector with eigenvalue q −1 for T j ∈ H B Q,q (d), 0 < j ≤ i and eigenvalue Therefore the element va has the same stabilizer in H B Q,q (d) as v a and the assignment v a → va induces a well-defined The proof uses the same arguments as in the proof of Lemma 3.12.We note it does not hold in general that V 2m generates V 2m+1 .
Theorem 3.14.Let Q, q be generic.The category P d Q,q is equivalent to the category of finite dimensional modules of the endomorphism algebra S B Q,q (n; d) where n ≥ 2d.
Proof.The Hecke algebra H B Q,q (d) is semisimple because we work with Q, q be generic.The case when n is odd has been proved in greater generality, so we focus on n = 2m + 2. Using Lemma 3.12, V 2m+2 generates V 2m+1 , which by Proposition 3.9 and transitivity implies that V 2m+2 generates C B d .This argument proves the statement for n ≥ 2d + 1 and Lemma 3.13 improves the bound to n ≥ 2d.The rest of the proof is the same as for Theorem 3.10.Corollary 3.15.Let Q, q be generic.The Schur algebras S B Q,q (m; d) and S B Q,q (n; d) are Morita equivalent if m, n ≥ 2d.
Remark 3.16.When Q or q is a root of unity (or when char(k) = 2) Lemma 3.12 fails.To exemplify this, take Q 2 = −1 and d = 1 in Lemma 3.12.Then V 1 is an H B Q,q (1)-submodule of V 2 , but it is not a quotient.This is because K Q : V 2 → V 2 is not diagonalizable when Q 2 = −1.When q 2 = −1, similar phenomena happen with R q for d ≥ 2.

3.4.
Stability for quantum symmetric pairs and Schur algebras.Corollary 3.15 allows us to state a stability property for the Schur algebra S B Q,q (n; d) as n → ∞.This extends to a property of the coideal subalgebra U B Q,q .Let us consider U B Q,q in the n = 2r case.The degree d irreducibles of U B Q,q (gl(2r)) are indexed by pairs of partitions (λ, µ) such that |λ| + |µ| = d, l(λ) ≤ r, l(λ) ≤ r.There is a notion of compatibility for degree d polynomial representations of U B Q,q (gl(2r)) for different r, which allows us to take the limit r → ∞.Corollary 3.15 implies that the limit of the polynomial representation theory of degree d as r → ∞ is well defined and that it is equivalent to the representation theory of S B Q,q (n; d) for any n ≥ 2d.
Let us be more precise.Let I 2∞ = Z + 1 2 and let I 2∞+1 = Z and V 2∞ and V 2∞+1 be vector spaces with basis indexed by elements in I 2∞ and I 2∞+1 , respectively.Define the quantum groups U q (gl(2∞)) and U q (gl(2∞ + 1)) via generators and relations as in equation ( 8) with V 2∞ and V 2∞+1 as defining representations, respectively (see for example [ES18,Section 7]).Then we define the coideal subalgebras U B Q,q (2∞), U B Q,q (2∞ + 1) by extending the definition in the finite case to the infinite case.There is an obvious extension of the right action of H B Q,q (d) on V ⊗d n in equation (3) to when n gets replaced by 2∞ or 2∞ + 1, therefore allowing us to define the following Schur algebras: Remark 3.17.The coideal subalgebras U B Q,q (2∞), U B Q,q (2∞ + 1) have specialization Q → 1 and Q → q as in the finite case.These infinite versions are compatible with combinatorics of translation functors and can be categorified in a way that they have categorical actions on representation categories of type BD (see [ES18,Section 7]).
We define the polynomial representations of S B Q,q (2∞; d) and S B Q,q (2∞+1; d) as the representations appearing as subquotients of the representations V ⊗d 2∞ and V ⊗d 2∞+1 , respectively.We can show via essentially the same technique as above that Theorem 3.10 and Corollary 3.15 extend to the 2∞/2∞+ 1 case: Proposition 3.18.The category of polynomial representations of the Schur algebras S B Q,q (2∞; d) and that of S B Q,q (2∞ + 1; d) are both equivalent to the category Define the polynomial representation theory of U B Q,q (2∞) and U B Q,q (2∞ + 1) as a direct sum of the categories The following theorem follows immediately from Proposition 3.18.
The theorem implies that the polynomial representation theory of the coideal subalgebras in the n → ∞ limit does not depend on the parity of n.Therefore one can replace P Q,q (2∞) and P Q,q (2∞ + 1) by P Q,q (∞).
Remark 3.20.Note that there is a difference between the definition of U B Q,q (gl(n)) for odd and for even n.On the level of generators (11), when n − 1 is odd, the coideal has a special generator t, while when n − 1 is even, the generators e 1 2 , f 1 2 are special.When n = 2r, the coideal subalgebra ) is a quantization of the subalgebra U (gl(r)) ⊕ U (gl(r + 1)) ⊂ U (gl(2r + 1)).This difference persists even in the n = 2∞ vs n = 2∞ + 1 case.Therefore it is unclear how to relate the coideals U B Q,q (2∞) and U B Q,q (2∞ + 1) as algebras.
4. Polynomial functors and braided categories with a cylinder twist 4.1.Actions of monoidal categories.Let B be a category and let (A, ⊗, 1 A ) be a monoidal category.Denote by l X : 1 A ⊗ X → X the left unitor.Denote by a X 1 ,X 2 ,X 3 : ) the associativity morphism of A.
Definition 4.1.We say A acts on B (from the right) if there is a functor * : B × A → B such that (1) for morphisms f 1 , f 2 in B and morphisms g 1 , g 2 in A the equation holds whenever both sides are defined.(2) There is a natural morphism λ : * (id ×⊗) → * ( * × id), i.e., λ Y,X 1 ,X 2 : Y * (X 1 ⊗ X 2 ) → (Y * X 1 ) * X 2 such that the following diagram commutes: Following [HO01], we call the triple (B, A, * ) an action pair.We write (B, A) for (B, A, * ) if it is clear what the action * is.
Consider the category of type A quantum polynomial functors AP q = d AP d q defined in Example 3.5.The category AP q has a monoidal structure.Given F ∈ AP d q and G ∈ AP e q , define There is also a unit with respect to this monoidal structure.The unit is a degree 0 polynomial functor, which we denote by 1 AP q and is defined 1 AP q (V n ) := k and on morphisms it maps f ∈ q , G ∈ AP e q , the functoriality of F, G endows the spaces F (V n ) and G(V n ) with actions of the q-Schur algebras S q (n; d) and S q (n; e), respectively, or equivalently, degree d (respectively, degree e) U q (gl n )-module structures.
The category AP q is a braided monoidal category with the braiding: is the R-matrix defined in § 2.5.This is proved in [HY17, Theorem 5.2].
Recall the category P Q,q defined in Definition 3.7.
Theorem 4.2.The pair (P Q,q , AP q ) is an action pair.
Proof.Let us first define the action of AP q on P Q,q .Let F ∈ AP d q and G ∈ P e Q,q .Define G * F ∈ P d+e Q,q on objects as ) and on morphisms as the composition: are the identity maps on objects.
Using the action defined above, the proof consists only of routine verification of the axioms.For example, let us prove the first property in Definition 4.1.Given f : which is a standard property of tensor product.
We omit the rest of the proofs since they are routine.
Remark 4.3.The action in Theorem 4.2 is a right action.This fact is related to the coideal There is a version of the Schur-Weyl duality in Theorem 2.7 where the Hecke algebra generator T 0 acts on the last component of V ⊗d n (and T 1 acts on the last two components of V ⊗d n etc.) and the corresponding coideal is a left coideal.The action pair in Theorem 4.2 is defined similarly, but it is now a left action pair.
Remark 4.4.The action in Theorem 4.2 is bilinear.We can therefore say that P Q,q is a (right) module for AP q .4.2.Cylinder braided action pairs.In this subsection we show how to build a cylinder braided action pair from the theory of two-parameter quantum polynomial functors.Definition 4.5.An action pair (B, A) is said to be cylinder braided if: (1) There exists an object 1 ∈ B which gives a bijection Ob(A) → Ob(B) via X → 1 * X.
(2) A is a braided monoidal category with braiding c.
(3) There exists a natural isomorphism t : id B → id B such that the following equalities hold: The goal of this subsection is to show that the AP q action on P Q,q produces a cylinder braided action pair.The module category B here consists of the (one-parameter) quantum polynomial functors viewed as two-parameter quantum polynomial functors.We make this more precise: Recall that , and that Ob( We thus have the restriction functor Res : AP q → P Q,q . The functor Res is equivalent to the restriction of S A q (n; d)-modules to S B Q,q (n; d)-modules in view of Theorem 3.10.
Denote by Res(AP q ) the full subcategory of P Q,q whose objects are Res Ob(P Q,q ).We define an action of AP q on Res(AP q ) similar to the action defined in § 4.1.Let F ∈ Res(AP q ) and G ∈ AP e q .There is a unique Lemma 4.6.The map K F is a morphism in the category Res AP q .
Proof.Assume F is of degree d.To see that K F is a morphism, we need to show that the following diagram commutes The statement of the lemma follows.
Theorem 4.7.The action pair (Res(AP q ), AP q ) is a cylinder braided action pair.
Proof.The action in Theorem 4.2 preserves Res(AP q ).Thus (Res(AP q ), AP q ) is an action pair by restriction.
To show that the action pair is cylinder braided, we let 1 := Res k ∈ Res(AP q ), where k ∈ AP q is the tensor identity (the constant functor) and identify F ∈ Ob(AP q ) with Res F ∈ Ob(Res AP q ).Take c F,G to be the braiding of AP q in (31) and set t F = K F .To prove that t is a natural transformation, let f ∈ Mor APq (F, G).This means that it is enough to consider the case F = ⊗ d and G = ⊗ e since the morphisms R, K restrict to subobjects.Since R ⊗ d ,⊗ e is given by the action of T d,e , the above relation is equivalent to the equation ).But this is checked by a straightforward computation in the Hecke algebra H B Q,q (d + e).
Remark 4.8.Let K F (Vn) be the K-matrix defined in § 2.5.Then we have Remark 4.9.Strengthening the idea of a cylinder braided action pair is the notion of a braided module category (see [Enr07, §4.3] and [Bro13, § 5.1]).A cylinder braided action pair (B, A) is equipped with a cylinder twist which can be thought of as a natural map t X : 1 * X → 1 * X (via X = 1 * X).A braided module comes equipped with a twist b M,X : M * X → M * X natural on both M ∈ B, X ∈ A with axioms that ensure the twist is compatible with the braiding on A. Therefore, for a braided module (B, b) over A and each M ∈ B, the action pair (M * A, A) is cylinder braided with t M * X = b M,X .Our category P Q,q is a braided module category over AP q .In the setting of U B Q,q -modules with Q, q generic, Kolb [Kol17] shows that the category of finite dimensional U B Q,q -modules is a braided module category over the category of finite dimensional U q (gl n )-modules.If we restrict to Res(AP q ) ⊆ P Q,q , we can obtain the twist by letting b Y,X = c X,Y (t X ⊗ id Y )c Y,X for Y ∈ Res(AP q ), X ∈ AP q .When Q, q are generic, every object in P Q,q is a direct summand of an object in Res(AP q ), so this is enough.In the non-generic case, we need to further show that b Y,X restricts to submodules.For this, we can work with duals of Schur algebras and essentially build a couniversal K-matrix (see [HY17, Section 5] where they use the couniversal R-matrix to show that AP is braided monoidal).In order to streamline the contents of the paper, we skip the proof of this fact.

Composition for two-parameter polynomial functors
Let d be a non-negative integer and e be a positive integer.

The category AP d,e
q .We now define a category of (type A) quantum polynomial functors AP d,e q where composition is possible.This category is studied in [BK19b].Recall the e-Schur algebra and the e-Hecke algebra defined in Section 2.5.Let C A d,e be the category defined as follows: its objects are finite dimensional S A q (n; e)-modules (or the degree e representation of U q (gl n ))) for all positive n.The morphisms are given by Mor(V, W ) := Hom H A q (d,e) (V ⊗d , W ⊗d ), where the e-Hecke algebra acts on V ⊗d as in §2.5.Define AP d,e q := mod C A d,e . Then [BK19b, Theorem 5.2] shows that there is a composition • A on AP * , * q .More precisely this means that given F ∈ AP d 2 ,d 1 e q , G ∈ AP d 1 ,e q , then we have . One can also check that • A is associative.5.2.The category P d,e Q,q .Define the category C B d,e as follows: its objects are finite dimensional S B Q,q (n; e)-modules, for all positive n.The morphisms are given by where the action of H B Q,q (d, e) on V ⊗d is given in Section 2.5.Define P d,e Q,q := mod C B d,e .
It is proved in [BK19b], assuming q generic, that the category AP d,e q is equivalent to the category mod End H A q (d,e) (( d i=1 V ⊗e n ) ⊗d ) when n ≥ de.One can prove a similar theorem in the type B setting: Theorem 5.1.Let k = C and Q, q ∈ C × generic.If n ≥ 2de, the category P d,e Q,q is equivalent to the category of finite dimensional modules of the generalized Schur algebra We do not prove the theorem because the proof is long and tedious, and the techniques are the same as in the type A setting.See [BK19b, Corollary 6.14] for the type A argument which is similar.Note that the theorem requires semisimplicity, i.e.Q, q have to be generic and k has to be a field of characteristic 0. Let and G ∈ AP d 1 ,e q .It is shown in [BK19b,Theorem 5.1] that G(V ) has the structure of an S A q (n; d 1 e)-module.Recall that F, G produce maps on morphism sets G : Hom H A q (d 1 ,e) (V ⊗d 1 , W ⊗d 1 ) → Hom(G(V ), G(W )) for V, W direct sums of e-Schur algebra-subquotients of V ⊗e n for some n (or e-Hecke pairs as they are called in [BK19b]), and . It seems (type B) d 1 e-Hecke triples would be an appropriate name for such V , W .The reason for the use of "triple" is as follows: we are using the vector space structure of V , W , as well as their R-matrices and K-matrices to define the action of H B Q,q (d 2 , d 1 e) (for an e-Hecke pair we only needed the vector space structure and its R-matrix). Define as follows: for V an S A q (n; e)-module set F • G(V ) := F (G(V )).This is well-defined since G(V ) has the structure of an S A q (n; where Ψ is defined as follows: write Lemma 5.2.The map Ψ is well-defined.
, it follows that x commutes with the generators of The following theorem is a consequence of the fact that both maps in equation ( 33) are k-linear: Theorem 5.3.The composition F • G is a well-defined polynomial functor in P d 2 d 1 ,e Q,q .The composition defined above is restated as follows in the language of Section 4. Define AEP q := d,e AP d,e q .The composition • A is extended to AEP q × AEP q → AEP q by setting • A (AP a,b q × AP d,e q ) = 0 if b = de.There is an element id APq ∈ AEP q given by id AEP q := e id AP 1,e q , where id AP 1,e q is the identity functor mapping an e-Hecke pair to itself.The category AEP q with the operation • A and the element id AEP q form a monoidal category.
In the same way we extend the map where EP Q,q := d,e P d,e Q,q .The following proposition becomes a routine check: Proposition 5.4.The pair (EP Q,q , AEP q ) with action given by composition • is an action pair.
Remark 5.5.It is shown in [BK19b] that EAP q has a k-(bi)linear tensor product ⊗ which is braided.Thus, one can extend the result of Section 4 to the setting of this section.That is, the tensor product ⊗ on EAP q extends to a k-linear action of EAP q on EP Q,q ; the objects in EAP q restricts to the category EP Q,q ; the action pair (Res(EAP q ), EAP q ) thus obtained is cylinder braided.The cylinder twist in this setting arises from the action of the elements Above we used the notation , where w i , w 0 are as in equations (24), (25).

Quantum symmetric powers and quantum exterior powers
The easiest example of a polynomial functor is ⊗ d ∈ Res P d q ⊆ P d Q,q which maps V n to V ⊗d n .In this section, we define important basic objects in P d Q,q , namely the quantum ±-symmetric powers and quantum ±-exterior powers which supply examples of two-parameter polynomial functors outside Res P d q .Consider V ⊗d n as a representation of H B Q,q (d) on which the action of T i is given by (3).Note that the action of each generator T i ∈ H B Q,q (d) on V ⊗d n is diagonalizable with eigenvalues q −1 and −q for T i , i > 0 and Q −1 and −Q for T 0 .
In P d q , we have the exterior power and symmetric power defined as We generalize equation (34) using the H B Q,q (d) action.
Definition 6.1.The quantum ±-exterior powers ∧ d ± and the quantum ±-symmetric powers S d ± are defined on each V n as , it follows by definition that f (T i + q) = (T i + q)f and f (T i − q −1 ) = (T i − q −1 )f .The function f can then be restricted to a map f S ± : ) on the morphism spaces.Therefore we have the following result.Remark 6.3.We define the four functors as quotients of ⊗ d .But in fact, they all split, and we may also view them as subfunctors.We additionally introduce the following polynomial functors, the ±-divided powers, by dualizing the definition of the ±-symmetric powers.They are isomorphic to ±-symmetric powers in our setting, but not in general (see Section 8).
We describe a basis of each quantum exterior and symmetric power (evaluated at We introduce the classes of vectors (depending on a pair of signs α, β ∈ {±}) where the length functions ℓ 0 , ℓ 1 are as in (27).
Proposition 6.4.The following hold: (1) The image of the set {v(a Proof.We give an argument for S d + ; the rest is similar and left to the reader.We first check that the (image of the) set {v(a)}, with a such that 0 ≤ a Inside V ⊗d , the set {v(a) ++ | 0 ≤ a 1 ≤ • • • ≤ a d , a i ∈ I n } is linearly independent and consists of eigenvectors for T i (for all i at the same time).All T i 's with i > 0 have eigenvalue q −1 and T 0 has eigenvalue Q −1 .Since S d + V n has the same dimension as Γ d + V n , which is the submodule of V ⊗d n spanned by q −1 eigenvectors for T i , i > 0 and Q −1 eigenvectors for T 0 , this implies that the order of the set is smaller than the dimension of S d + V n .Combining the two paragraphs, we confirm that the images of v(a) in S d + V n form a basis.
Remark 6.5.Proposition 6.4 implies, for each n, the dimension of ∧ d ± V n , S d ± V n does not depend on q and Q.The dimension in each case has an easy formula depending on the parity of n: 6.1.Higher degree quantum ±-symmetric and exrerior powers.We now define higher version of the ±-symmetric and ±-exterior powers that live in the category EP Q,q defined in Section 5.The construction follows the idea in Berenstein and Zwicknagl [BZ08] and makes crucial use of Proposition 2.5.
The eigenvalues of c K ∈ H B Q,q (e) ⊆ H B Q,q (d, e) are of the form Q i q j and −Q i q j for i, j ∈ Z, −e ≤ i ≤ e, −(e − 1)e ≤ j ≤ (e − 1)e; this follows immediately from Proposition 2.5.In order to be able to define positive and negative eigenvalues of c K , we need to assume Q i q j = −1 for any i, j ∈ Z such that − 2e ≤ i ≤ 2e, −2(e − 1)e ≤ j ≤ 2(e − 1)e.
This assumption is covered under our Q, q generic assumption which will be enforced for the rest of the section.
Then the two sets {Q i q j } and {−Q i q j } are disjoint; we call elements of the former set positive eigenvalues of c K and elements of the latter set negative eigenvalues of c K .It is known that the eigenvalues of T w i ∈ H B Q,q (d, e) are of the form ±q i , this follows for example from [BZ08, Lemma 1.2].This allows us to also partition the eigenvalues of T w i into positive eigenvalues (of the form +q i ) and negative eigenvalues (of the form −q i ), again with no overlap between the two sets when Q, q are generic.Definition 6.6.Given V ∈ C B d,e an e-Hecke triple as defined in § 5.2, then (1) let S d,e + V be the largest quotient of ⊗ d V where each T w i and c K have positive eigenvalues; (2) let S d,e − V be the largest quotient of ⊗ d V where each T w i has negative eigenvalues and c K has positive eigenvalues; (3) let ∧ d,e + V be the largest quotient of ⊗ d V where each T w i has positive eigenvalues and c K has negative eigenvalues; (4) let ∧ d,e − V be the largest quotient of ⊗ d V where each T w i and c K have negative eigenvalues.
Since the definition is natural on V , our S d,e ± and ∧ d,e ± are quotient functors of ⊗ and therefore the following proposition holds: Proposition 6.7.The functors S d,e ± and ∧ d,e ± belong to P d,e Q,q .Note that T w i and c K are not diagonalizable in general; the higher degree ±-powers are generalized eigenspaces, not eigenspaces.Remark 6.8.We do not know the dimension of the higher degree quantum ± symmetric and exterior powers.Even in the type A setting developed by Berenstein and Zwicknagl, the dimensions are not known in general.It is known that the dimension is less than or equal to the classical (q=1) dimension and in fact, it is mostly the case that S d q V or ∧ d q V have (strictly) smaller dimension than S d q=1 V or ∧ d q=1 V .Thus we expect that the dimensions of S d,e ± V and ∧ d,e ± V also depend on the values of Q, q.

Schur polynomial functors
The category P d Q,q is semisimple, and the classification of simple objects is given by the Schur-Weyl duality.In this section, we construct the simple objects explicitly in ⊗ d .
We first recall the type A quantum Schur functors from [HH92,HY17].Given a partition λ = where S d , Λ d are defined in equation (34).
We also write If Q = q = 1, then Assumption 7.5 is equivalent to char k = 2, which is the classical setting to define the symmetric and exterior power.We think of Assumption 7.5 as a correct two-parameter quantization of the assumption char k = 2.
The ⊗ d ± provide the easiest examples of quantum polynomial functors that do not have an analogue in type A (take d = 1 for example).
Proposition 7.6.The functor ⊗ d ± is a direct summand of ⊗ d .
Proof.The (evaluation at V n of the) functor ⊗ d decomposes into generalized eigenspaces for K i , in particular, into (generalized) "positive" eigenspaces and "negative" eigenspaces.Since all K i commute (see Lemma 2.2), their actions on ⊗ d are simultaneously triangularizable.Such a triangularization realizes ⊗ d ± as a direct summand of ⊗ d .
Since ⊗ d ± is a direct summand of ⊗ d , we have the projections and inclusions whose names will be repeatedly abused throughout the section: we denote by p ± any projection that is induced by p ± by a pushout diagram.We can show: Using Assumption 7.5 and Lemma 7.4, we say an eigenvalue (of some K i ) is positive if it is of the form Q −1 q 2j and negative if it is of the form −Qq 2j .Then we can say p + V ⊗d n is the positive eigenspace of V ⊗d n .The image of u + d = d j=1 (K j + Q) acting on V ⊗d n by definition annihilates all −Q-eigenvectors of K i , for any i.Therefore we have p ± (V n ) ⊆ V ⊗d n u ± d .For the opposite inclusion we argue by contradiction.Recall the K i 's commute with each other.Suppose there is v ∈ V ⊗d n u + d , an eigenvector for all K i , which has a negative eigenvalue for some K i .Let j be the smallest such i, and (by Proposition 2.5) let m be an integer such that vK j = −Qq 2m v. Let a be the eigenvalue of K j−1 for v.By assumption, a is positive, in particular is not of the form −Qq 2m ′ .Thus the vector w j−1 = (q −1 − q)(−Qq 2m )v + (a + Qq 2m )T j−1 v (see Lemma 2.4 and its proof) is in the −Qq 2m -eigenspace for K j−1 .The vector w j−1 is not necessarily in V ⊗d n u ± d , we do not require it to be.Note that w j−1 is again a simultaneous eigenvector for all K i .Now construct for j − 2 ≥ i ≥ 1 the vector w i = (q −1 − q)(−Qq 2m )w i+1 + (a i + Qq 2m )T i w i+1 , where a i w i+1 = w i+1 K i , inductively.Then each w i is an −Qq 2m -eigenvector for K i .Since the only eigenvalues of K 1 are −Q and Q −1 , its eigenvalue at w 1 needs to be −Q = −Qq 2m , that is m = 0.But this means vK j = −Qq 2m v = −Qv, which contradicts v ∈ V ⊗d n u + d .A similar argument works for p − .

Now we relate the ⊗ d
± with the ±-symmetric/exterior powers.Proposition 7.8.We have the pushout diagrams (41) Proof.We prove this for S d + .Since each T i with i > 0 acts on S d + V n as q −1 , if K 0 acts as Q −1 then K i acts as q −2i+1 Q −1 .So each (K i − Q) is invertible on S d + V n .Proposition 7.8 suggests the following definition.Definition 7.9.We define S λ ± , ∧ λ ± by the pushout diagrams (42) Let us construct an analogue of the tensor product ⊗ a + with ⊗ b − that is a polynomial functor in P d Q,q .Since P Q,q is a right module category over AP q , we can form ⊗ b − ⊗ ⊗ a and ⊗ a + ⊗ ⊗ b in P Q,q .Definition 7.10.The signed tensor power a + ⊗ b − is the image of the map Note that the tensor products of the objects and maps are well-defined because P Q,q is a module category over the monoidal category AP q as shown in Section 4.1.
In other words, we have the following commutative diagrams where the left faces are the definition of a + ⊗ b − , and the right faces are the definitions of S (λ,µ) and ∧ (λ,µ) , respectively. (43) We have ∧ (λ,µ) ∈ P Q,q and S (λ,µ) ∈ P Q,q .Note that if Q = q = 1, we have Thus we may think of ∧ (λ,µ) and S (λ,µ) as deformed tensor products which are not tensor products in the usual sense, but devolve to the usual tensor product when Q, q = 1.
(46) + and S (0,d̟ 1 ) = S d − .7.1.Schur functors in generic case.In this subsection, we relate the Schur functors with the Young symmetrizers in § 2.3.For this, it is necessary to assume that k = C and Q, q are generic.7.3.Higher degree Schur functors.We now assume Q, q to be generic.Generalizing the functors S d,e ± , ∧ d,e ± ∈ P d,e Q,q defined in § 6.1, we can define Schur functors in P d,e Q,q .We give an outline of this construction.
First define S λ,e + to be the largest quotient of S λ (here we denote by S λ the restriction of S λ = S λ 1 ⊗ • • • ⊗ S λr ∈ AP d,e q to P d,e Q,q ) where c e K ∈ H B Q,q (d, e) has eigenvalues of the form +Q i q j , i, j ∈ Z, and define similarly S λ,e − , ∧ λ,e ± .Then consider the higher degree analogue of the maps T c(λ) (see ( 38)) and T b,a (see Definition 7.10), which are obtained by writing T c(λ) , T b,a as a product of the standard generators T i in H B Q,q (d) and replacing the T i with the higher degree generator T w i ∈ H B Q,q (d, e) (see ( 24) and ( 25)).The rest of the construction is now identical to that of the Schur functors in P d Q,q using Remark 5.5.
The higher degree Schur functors supply many non-trivial examples of polynomial functors in P d,e Q,q .Unlike in the case e = 1, however, the Schur functors are decomposable in general.Their decomposition (even when Q, q are generic) is a difficult and interesting problem.While we have little understanding on the higher degree Schur functors at the moment, we hope that they lead us to a structure theory of the categories P d,e Q,q .

2. 1 .
Hecke algebras.2.1.1.Definition.Denote the Weyl group of type BC of rank d by W B (d).It is the Coxeter group with generators s i , 0 ≤ i ≤ d − 1 and relations × S b )e a λ e b µ | λ ⊢ a, µ ⊢ b} gives a complete list of isomorphism classes for irreducible H q (S a × S b )modules.Now let e λ,µ := e a,b e a λ e b µ = e a λ e b µ e a,b .
d)-modules.Alternatively, we can index the permutation modules by compositions of d.Let θ := θ −n+1 2 , • • • , θ n−1 2 be a composition of d.Define a(θ) via the following equation: (19) the Schur algebra S(n; d).It follows that P d is equivalent to mod S(n; d) for all n ≥ d.In this example we are dealing with the three categories Λ = S dmod ⊃ Γ ′ = Γ d V ⊃ Γ = {V n }, viewing Γ d V as a full subcategory of S d -mod consisting of the objects of the form V ⊗d n for all n.
In fact, for any standard vector v(b) with b ∈ I d we can write b = wa with a as above.For any reduced expression st • • • u of w ∈ W B d , we have v b = T s T t • • • T u v(a) = T w v(a) because each T s i action falls into the second case in (4),(5).So in S d + V n , the image of v(b) is a multiple of the image of v a .

Definition 7. 13 .
The Schur functor S (λ,µ) is defined in the commutative diagram in Figure 2. The two leftmost diagrams form a subdiagram equivalent to the diagram in (43), while the leftmost and rightmost diamonds form a subdiagram equivalent to the diagram in (44).The rightward maps are induced from the definitions of symmetric and exterior power; the diamonds are induced from the definition of a + ⊗ b − .See also the diagrams (43), (44) which are subdiagrams of the diagram in Figure 2. Then the leftward maps are induced from the map s A λ ⊗ s A µ where s A λ from (38) defines the type A Schur functors.

Figure 2 .
Figure 2. The diagram above consists of four diamonds and maps between them is used to define the Schur functor S (λ,µ) .