Characteristic cycles and decomposition numbers (Q395064): Difference between revisions

Let \(X\) be a smooth complex algebraic variety, Whitney stratified by locally closed connected smooth subvarieties \(X_\lambda\). To each such stratum and local system \(\mathcal{L}\) of free \(\mathbb{Z}\)-modules on \(X_\lambda\), one associates the intersection cohomology \(\mathcal{D}_X\)-module \(\mathcal{IC}(\overline{X}_\lambda, E_{\mathcal{L}})\) extending the associated flat vector bundle \(E_{\mathcal{L}}\). Its characteristic cycle is a \(\mathbb{Z}\)-linear combination \(CC(\mathcal{IC}(\overline{X}_\lambda, E_{\mathcal{L}})) = \sum_\mu m^{\mathcal{L}}_{\lambda \mu} [\overline{T^*_{X_\mu} X}],\) where the multiplicities \(m^{\mathcal{L}}_{\lambda \mu}\) are certain Euler characteristics. Let \(p\) be a prime number and \(\mathcal{M}\) a local system of \(\mathbb{F}_p\)-vector spaces on \(X_\mu\). Then the authors prove that \(\text{rank}(\mathcal{M})\cdot d^p_{\lambda, \mathcal{L}, \mu, \mathcal{M}} \leq m^{\mathcal{L}}_{\lambda \mu},\) where \(d^p_{\lambda, \mathcal{L}, \mu, \mathcal{M}}\) is the \textit{decomposition number} \[ d^p_{\lambda, \mathcal{L}, \mu, \mathcal{M}} = [\mathbf{IC}(\overline{X}_\lambda, \mathcal{L})\otimes^L_{\mathbb{Z}} \mathbb{F}_p : \mathbf{IC}(\overline{X}_\mu, \mathcal{M})]. \] Here, \(\mathbf{IC}\) denotes the extension by zero to \(X\) of the intersection chain sheaf complex extending a given local system.