English

Tensor ideals in the category of tilting modules

q-alg 2008-02-03 v3 Quantum Algebra

Abstract

We study the tensor category \cQ\cQ of tilting modules over a quantum group UqU_q with divided powers. The set X+X_+ of dominant weights is a union of closed alcoves \oCw\oC_w numbered by the elements wWfw\in W^f of a certain subset of affine Weyl group WW. G.Lusztig and N.Xi defined a partition of WfW^f into canonical right cells and the right order R\le_R on the set of cells. For a cell AWfA\subset W^f we consider a full subcategory \cQ<A\cQ_{<A} formed by direct sums of tilting modules Q(λ)Q(\lambda) with highest weights λwB<RA\oCw\lambda \in \bigcup_{w\in B<_RA} \oC_w. We prove that \cQ<A\cQ_{<A} is a tensor ideal in \cQ\cQ, generalizing H.Andersen's Theorem about the ideal of negligible modules which in our notations is nothing else then \cQ<{e}\cQ_{<\{ e\}}. The proof is an application of a recent result by W.Soergel who has computed the characters of tilting modules.

Keywords

Cite

@article{arxiv.q-alg/9611033,
  title  = {Tensor ideals in the category of tilting modules},
  author = {V. Ostrik},
  journal= {arXiv preprint arXiv:q-alg/9611033},
  year   = {2008}
}

Comments

9 pages. Essential simplifications in proofs are made

R2 v1 2026-07-22T19:21:35.295Z