Cohomology of Spaltenstein varieties (Q649093): Difference between revisions

Let \(d\) be a positive integer. Let \(\mu=\left( \mu_{1},\dots,\mu_{n}\right) \) and \(\lambda=\left( \lambda_{1},\dots,\lambda_{n}\right) \) be a partitions of \(d\), with \(\lambda\) non-increasing. Let \(X_{\mu}\) be the complex partial flag variety in \(\mathbb{C}^{d}\) of type \(\mu\), i.e., \(X_{\mu}\) is the set of all flags \(\left( 0=V_{0},V_{1},\dots,V_{n}=\mathbb{C}^{d}\right) \) with \(\dim V_{i}/V_{i-1}=\mu_{i}\) for all \(i\). The Spaltenstein variety \(X_{\mu }^{\lambda}\) is the subvariety of \(X_{\mu}\) consisting of \(\left( V_{0},V_{1},\dots,V_{n}\right) \) such that \(x^{\lambda}V_{i}\subset V_{i-1}\) for all \(i\), where \(x^{\lambda}\) is the nilpotent matrix of Jordan type \(\lambda^{T}.\) The objective in this work is to give an explicit presentation for the cohomology algebra\(\;H^{\ast}\left( X_{\mu}^{\lambda},\mathbb{C} \right)\). Specifically, let \(S_{\mu}\) be the parabolic subgroup \(S_{\mu_{1}}\times \cdots\times S_{\mu_{n}}\) of \(S_{d},\) the symmetric group on \(d\) letters. Let \(P=\mathbb{C}\left[ x_{1},\dots,x_{d}\right] \), graded so that each \(x_{i}\) has degree \(2,\) and let \(P_{\mu}\) be the \(S_{\mu}\) invariants of \(P.\) Let \(I_{\mu}\subset P_{\mu}\) be the ideal generated by the homogeneous symmetric polynomials of positive degree. Then there is an isomorphism \(\psi:C_{\mu }=P_{\mu}/I_{\mu}\rightarrow H^{\ast}\left( X_{\mu},\mathbb{C}\right) \) which map elementary symmetric polynomials \(e_{r}\left( \mu,i\right) \;\)to \(\left( -1\right) ^{r}c_{r}\left( \tilde{V}_{i}/\tilde{V}_{i-1}\right) ,\) where \(\tilde{V}_{i}\) is the sub-bundle of the trivial vector bundle \(\mathbb{C}^{d}\times X_{\mu}\rightarrow X_{\mu}\) with fiber \(V_{i}\) over \(\left( V_{0},\dots,V_{n}\right) \rightarrow X_{\mu}.\) Replacing \(I_{\mu}\) with an ideal \(I_{\mu}^{\lambda}\) generated by a subset of the complete symmetric functions gives a new algebra \(C_{\mu}^{\lambda}:=P_{\mu}/I_{\mu }^{\lambda},\;\)which is a quotient of \(C_{\mu}.-\) denote this quotient map \ by\(\;\pi\). Additionally, there is a map \(j^{\ast}:H^{\ast}\left( X_{\mu },\mathbb{C}\right) \rightarrow H^{\ast}\left( X_{\mu}^{\lambda} ,\mathbb{C}\right) \;\)induced from the inclusion \(j:X_{\mu}^{\lambda }\hookrightarrow X_{\mu}.\) Then there is a unique isomorphism \(\bar{\psi }:C_{\mu}^{\lambda}\rightarrow H^{\ast}\left( X_{\mu}^{\lambda} ,\mathbb{C}\right) \) such that \(j^{\ast}\psi=\bar{\psi}\pi.\)