show/hide this revision's text 3 added 248 characters in body

It depends what you mean by "compatible." For any Z-form of a finite-dimensional C-algebra, there's a canonical Z-form for any quotient just given by the image (the image is a finitely generated abelian subgroup, and thus a lattice). I'll note that the integral form Bruce suggests below is precisely the one induced this way by the Kazhdan-Lusztig basis, since his presentation is the presentation of the Hecke algebra via the K-L basis vectors for reflections, with the additional relations.

What you could lose when you take quotients is positivity (which I presume is one of things you are after). The Hecke algebra of S_n has a basis so nice I would call it "canonical" but usually called Kazhdan-Lusztig. This basis has a a very strong positivity property (its structure coefficients are Laurent polynomials with positive integer coefficients). I would argue that this is the structure you are interested in preserving in the quotient.

If you want a basis of an algebra to descend a quotient, you'd better hope that the intersection of the basis with the kernel is a basis of the kernel (so that the image of the basis is a basis and a bunch of 0's). An ideal in the Hecke algebra which has a basis given by a subset of the KL basis is called "cellular."

The kernel of the map to TLd, and in fact more generally to the q-Schur algebra EndU_q(sl_n)(V⊗d) for any n and d, is cellular. Basically, this is because the parititions corresponding to killed representations form an upper order ideal in the dominance poset of partitions.

However, the kernel of the map to STLd is not cellular. In particular, every cellular ideal contains the alternating representation, so any quotient where the alternating representation survives is not cellular. So, while STLd inherits a perfectly good Z-form, it doesn't inherit any particular basis from the Hecke algebra.

I'm genuinely unsure if this is really a problem from your standpoint. I mean, the representation V⊗d still has a basis on which the image of any positive integral linear combination of KL basis vectors acts with positive integral coefficients. However, I don't think this guarantees any kind of positivity of structure coefficients. Also, Stroppel and Mazorchuk have a categorification of the Artin-Wedderburn basis of S_n, so maybe it's not as bad as you thought.

Anyways, if people want to have a real discussion about this, I suggest we retire to the nLab. I've started a relevant page there.
show/hide this revision's text 2 added 133 characters in body

It depends what you mean by "compatible." For any Z-form of a finite-dimensional C-algebra, there's a canonical Z-form for any quotient just given by the image (the image is a finitely generated abelian subgroup, and thus a lattice).

What you could lose when you take quotients is positivity (which I presume is one of things you are after). The Hecke algebra of S_n has a basis so nice I would call it "canonical" but usually called Kazhdan-Lusztig. This basis has a a very strong positivity property (its structure coefficients are Laurent polynomials with positive integer coefficients). I would argue that this is the structure you are interested in preserving in the quotient.

If you want a basis of an algebra to descend a quotient, you'd better hope that the intersection of the basis with the kernel is a basis of the kernel (so that the image of the basis is a basis and a bunch of 0's). An ideal in the Hecke algebra which has a basis given by a subset of the KL basis is called "cellular."

The kernel of the map to TLd, and in fact to the q-Schur algebra EndU_q(sl_n)(V⊗d) for any n and d, is cellular. Basically, this is because the parititions corresponding to killed representations form an upper order ideal in the dominance poset of partitions.

However, the kernel of the map to STLd is not cellular. In particular, every cellular ideal contains the alternating representation, so any quotient where the alternating representation survives is not cellular. So, while STLd inherits a perfectly good Z-form, it doesn't inherit any particular basis from the Hecke algebra.

I'm genuinely unsure if this is really a problem from your standpoint. I mean, the representation V⊗d still has a basis on which the image of any positive integral linear combination of KL basis vectors acts with positive integral coefficients. However, I don't think this guarantees any kind of positivity of structure coefficients. Also, Stroppel and Mazorchuk have a categorification of the Artin-Wedderburn basis of S_n, so maybe it's not as bad as you thought.

Anyways, if people want to have a real discussion about this, I suggest we retire to the nLab. I've started a relevant page there.
show/hide this revision's text 1

It depends what you mean by "compatible." For any Z-form of a finite-dimensional C-algebra, there's a canonical Z-form for any quotient just given by the image (the image is a finitely generated abelian subgroup, and thus a lattice).

What you could lose when you take quotients is positivity (which I presume is one of things you are after). The Hecke algebra of S_n has a basis so nice I would call it "canonical" but usually called Kazhdan-Lusztig. This basis has a a very strong positivity property (its structure coefficients are Laurent polynomials with positive integer coefficients). I would argue that this is the structure you are interested in preserving in the quotient.

If you want a basis of an algebra to descend a quotient, you'd better hope that the intersection of the basis with the kernel is a basis of the kernel (so that the image of the basis is a basis and a bunch of 0's). An ideal in the Hecke algebra which has a basis given by a subset of the KL basis is called "cellular."

The kernel of the map to TLd, and in fact to the q-Schur algebra EndU_q(sl_n)(V⊗d) for any n and d, is cellular. Basically, this is because the parititions corresponding to killed representations form an upper order ideal in the dominance poset of partitions.

However, the kernel of the map to STLd is not cellular. In particular, every cellular ideal contains the alternating representation, so any quotient where the alternating representation survives is not cellular. So, while STLd inherits a perfectly good Z-form, it doesn't inherit any particular basis from the Hecke algebra.

I'm genuinely unsure if this is really a problem from your standpoint. I mean, the representation V⊗d still has a basis on which the image of any positive integral linear combination of KL basis vectors acts with positive integral coefficients. However, I don't think this guarantees any kind of positivity of structure coefficients.

Anyways, if people want to have a real discussion about this, I suggest we retire to the nLab. I've started a relevant page there.