Search arXivSearch

arXiv · 2212.00099

Quasi-hereditary covers of Temperley-Lieb algebras and relative dominant dimension

Abstract

Many connections and dualities in representation theory can be explained using quasi-hereditary covers in the sense of Rouquier. The concepts of relative dominant and codominant dimension with respect to a module, introduced recently by the first-named author, are important tools to evaluate and classify quasi-hereditary covers. In this paper, we prove that the relative dominant dimension of the regular module of a quasi-hereditary algebra with a simple preserving duality with respect to a summand $Q$ of a characteristic tilting module equals twice the relative dominant dimension of a characteristic tilting module with respect to $Q$. To resolve the Temperley-Lieb algebras of infinite global dimension, we apply this result to the class of Schur algebras $S(2, d)$ and $Q=V^{\otimes d}$ the $d$-tensor power of the 2-dimensional module and we completely determine the relative dominant dimension of the Schur algebra $S(2, d)$ with respect to $V^{\otimes d}$. The $q$-analogues of these results are also obtained. As a byproduct, we obtain a Hemmer-Nakano type result connecting the Ringel duals of $q$-Schur algebras and Temperley-Lieb algebras. From the point of view of Temperley-Lieb algebras, we obtain the first complete classification of their connection to their quasi-hereditary covers formed by Ringel duals of $q$-Schur algebras. These results are compatible with the integral setup, and we use them to deduce that the Ringel dual of a $q$-Schur algebra over the ring of Laurent polynomials over the integers together with some projective module is the best quasi-hereditary cover of the integral Temperley-Lieb algebra.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tiago Cruz, Karin Erdmann. 2023-04-10. Quasi-hereditary covers of Temperley-Lieb algebras and relative dominant dimension. https://doi.org/10.1017/prm.2024.35

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A local relative trace formula for F*\SL(2,F)

In this note, we derive explicitly the local relative trace formula for the symmetric space F*\SL(2,F) at the level of Lie algebras, where F is a p-adic field of residue characteristic greater than two and F* is the set of invertible elements in F. This is perhaps one of the simplest non-trivial analogs of the trace formula, and also a motivating example for the author's work (in preparation) on the relative trace formula.

math.RT

Semi-infinite parabolic IC-sheaf

Let G be a connected reductive group, P its parabolic subgroup. We consider the parabolic semi-infinite category of sheaves on the affine Grassmanian of G and construct the parabolic version of the semi-infinite IC-sheaf of each orbit. We establish some of its properties and relate it to sheaves on the Drinfeld compactification of the moduli stack Bun_P of P-torsors on a curve. We also relate the parabolic semi-infinite IC-sheaf with the dual baby Verma object on the spectral side.

math.RT

The Grothendieck group of an extriangulated category

In this paper, we investigate the split Grothendieck group $K^{\rm sp}_{0}(\mathcal{M})$ of a $d$-rigid subcategory $\mathcal{M}$ in an extriangulated category $\mathscr{C}$. As applications, we prove the following results: (1) If $\mathcal{M}$ is a silting subcategory, then the Grothendieck group $K_{0}(\mathscr{C})$ is isomorphic to $K_{0}^{\rm sp}(\mathcal{M})$; (2) If $\mathcal{M}$ is a $d$-cluster tilting subcategory, then $K_{0}(\mathscr{C})$ is isomorphic to the index Grothendieck group $K_{0}^{\rm in}(\mathcal{M})$; (3) Let $\mathcal{C}_{A_{n}}^{d}$ be the $d$-cluster category of type $A_n$. If $d$ is even, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}/(n+1)\mathbb{Z}$. If $d$ is odd, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}$ if $n$ is odd; $K_0(\mathcal{C}_{A_{n}}^{d})\cong 0$ if $n$ is even.

math.RT