Weights of mixed tilting sheaves and geometric Ringel duality (Q1030519): Difference between revisions

Let \(k=\mathbb{F}_{q},\) and let \(X=\sqcup_{\alpha}X_{\alpha}\) be a stratified scheme over \(k\),. Denote by \(D_{m}^{b}\left( X\right) \) the bounded derived category of mixed complexes of \(\mathbb{\bar{Q}}_{\ell}\)-sheaves on \(X\) (\(\ell\) prime to \(q\)). For each \(\alpha,\) let \(\Delta_{\alpha}\) and \(\nabla_{\alpha}\) be the standard and costandard complexes in Perv\(_{m}\left( X\right) .\) Under the condition \(\left( \diamondsuit\right) ,\) that the integer-weight-twists of \(\Delta_{\alpha}\) and \(\nabla_{\alpha}\) generate the full triangulated subcategory of \(D_{m}^{b}\left( X\right) \) coincide, the author considers mixed tilting (\(\ell\)-adic) sheaves on \(X\). (As an example, \(\left( \diamondsuit\right) \) holds if the stratification of \(X\) is given by orbits under an algebraic group action.) The author finds indecomposable mixed tilting extensions of \(\mathbb{\bar{Q}}_{\ell,X_{\alpha}}\left[ \dim X_{\alpha}\right] \left( \dim X_{\alpha}/2\right) .\) Here, ``indecomposable'' means that the non-mixed complex, obtained by applying the forgetful functor into the bounded derived category of \(\mathbb{\bar{Q}} _{\ell}\)-complexes with constructable cohomology on the geometric fiber of \(X\), is indecomposable. Let \(\mathcal{T}\) be an indecomposable tilting extension of \(\mathbb{\bar{Q} }_{\ell,X_{\alpha}}\left\langle \dim X_{\alpha}\right\rangle .\) The focus of this paper is to compute the weights of \(\mathcal{T}.\) If \(\mathcal{T}\) is Verdier self-dual then the coefficients of its weight polynomials \(W_{\alpha }\left( \mathcal{T},t\right) \) satisfy a triangular system of linear equations which can be solved uniquely. Suppose now that \(f:X=\sqcup_{\alpha }X_{\alpha}\rightarrow Y\) \(=\sqcup_{\beta}Y_{\beta}\) is a proper morphism of stratified schemes, each of which satisfy \(\left( \diamondsuit\right) ,\) such that \(f\) respects the stratification. Suppose furthermore that \(f_{\alpha}:X_{\alpha}\rightarrow Y_{\phi\left( \alpha\right) }\;\)is a trivial fibration whose fibers are affine spaces. (Here \(\phi\) is the identification between the indices on \(X\) and \(Y\) given by \(f.\)) Let \(\mathcal{T}\) be a mixed tilting extension so that for each \(\beta<\alpha\) we have that \(i_{\beta}^{\ast}\mathcal{T}\) is of weight at least one, and \(i_{\beta}^{!}\mathcal{T}\) is of weight no larger than \(-1\) (``the weight condition''). Then a formula for \(W_{\beta}\left( f_{!}\mathcal{T}_{\alpha },t\right) \) is given, depending only on \(W_{\gamma}\left( \mathcal{T} _{\alpha},t\right) \) for \(\gamma\in\phi^{-1}\left( \beta\right) ,\gamma \leq\alpha.\) Finally, suppose there is a Radon transform \(R_{X\rightarrow Y}.\) Then the underlying non-mixed complex of \(R_{X\rightarrow Y}\left( \mathcal{T}\right) \) is a projective cover of an IC sheaf, and the weight polynomials are given in terms of the mixed stalks of the IC sheaves on \(Y\). As an application, if \(X\) is an affine flag variety with Schubert stratifications then there is one indecomposable mixed tilting extension \(\mathcal{T}_{\tilde{w}}\) of \(\mathbb{\bar{Q}}_{\ell}\left\langle \ell\left( \tilde{w}\right) \right\rangle \) on \(X_{\tilde{w}},\) where \(\tilde{w} \in\tilde{W}\) (\(\tilde{W}\) the affine Weyl group parameterizing certain orbits) The weight polynomials of \(\mathcal{T}_{\tilde{w}}\) are given in a most explicit manner, depending on the Kazhdan-Lusztig polynomials for \(\tilde{W}\). Furthermore, \(\mathcal{T}_{\tilde{w}}\) satisfies the weight condition above. A similar result holds for affine partial flag varieties.