Degenerate flag varieties and Schubert varieties: a characteristic free approach (Q310908)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Degenerate flag varieties and Schubert varieties: a characteristic free approach
scientific article

    Statements

    Degenerate flag varieties and Schubert varieties: a characteristic free approach (English)
    0 references
    0 references
    0 references
    9 September 2016
    0 references
    This work is about degenerate flag varieties of type \(A_n\) and \(C_n\) over \(\mathbb{Z}\). Given an irreducible module \(V(\lambda)\) for a complex Lie algebra, in 2010 Evgeny Feigin defined the degenerate flag variety \(Fl(\lambda)^a\) as the closure of a certain highest weight orbit in the projectivization of a degenerate version \(V(\lambda)^a\) of \(V(\lambda)\). In the case of type \(A_n\) and \(C_n\) the authors have previously shown (see [\textit{G. Cerulli Irelli} and \textit{M. Lanini}, Int. Math. Res. Not. 2015, No. 15, 6353--6374 (2015; Zbl 1349.14157)]) that \(Fl(\lambda)^a\) can be realized as Schubert varieties in a partial flag variety of the same type and bigger rank. In this work they show that \(V(\lambda)^a\) itself is isomorphic to a Demazure representation for a group of type respectively \(A_{2n}\) and \(C_{2n}\). As corollary they redemonstrate the previous result. Furthermore their results are characteric free. In the case of \(\mathrm{SL}_n(\mathbb{C})\) the result is as follow. Let \(\mathcal{N}^-\), \(\mathcal{H}^-\), \(\mathcal{N}^+\), \(\mathcal{B}\) the Lie subalgebra of \(\mathcal{SL}_n(\mathbb{C})\) of strictly lower triangular, diagonal strictly upper triangular and upper triangular matrices. Let \(\tilde{\mathcal{N}}^-\), \(\tilde{\mathcal{H}}^-\), \(\tilde{\mathcal{N}}^+\) and \(\tilde{\mathcal{B}}\) be the correspond Lie subalgebra of \(\mathcal{SL}_{2n}\) of lower triangular, diagonal and upper triangular matrices. Let \(\mathcal{N}\) be the unipotent subgroup of lower triangular matrices with determinant 1. Consider the following subalgebra of \(\mathrm{Lie}(\mathrm{SL}_{2n})\): \[ \mathcal{N}^a=\Bigg\{ \begin{pmatrix}0&A\\ 0&0\end{pmatrix}\mid A\in \mathcal{N}\Bigg\} \] and the following subgroup of \(\mathrm{SL}_{2n}\): \[ \mathcal{N}^a=\Bigg\{ \begin{pmatrix}\mathbf{1}&A\\ 0&\mathbf{1}\end{pmatrix} \mid A\in \mathcal{N}\Bigg\}. \] \(\mathcal{N}^a\) is an abelianization of \(\mathcal{N}\) and \(\mathcal{N}^a\) is an abelianization of \(\mathcal{N}\). The embedding \(\mathcal{N}^{-,a}\rightarrow \tilde{b}\) induces an embedding of the enveloping algebra of \(\mathcal{N}^{-,a}\) into \(U(\tilde{b})\). Let \(\tilde{V}(\mu)\) be a irreducible representation for \(\mathrm{SL}_{2n}\) with highest weight \(\mu\) and let \(w\) be an element of the Weyl group. The Demazure submodule \(\tilde{V}(\mu)_{w\mu}\) is the cyclic \(U(\tilde{b})\)-module generated by a weight vector of weight \(w\mu\). The PBW filtration on \(U(\mathcal{N}^-)\) induces a filtration on the cyclic \(U(\mathcal{N}^-)\)-module \(V(\lambda)=U(\mathcal{N}^-).v_\lambda\) and the associated graded space \(V^a(\lambda)=gr(V(\lambda))\) becomes a module for the associated graded algebra \[ S^\bullet(\mathcal{N}^-) =gr U(\mathcal{N}^-)\cong S^\bullet(\mathcal{N}^{-,a} ). \] The action of \(n^{-,a}\) on \(V^a(\lambda)\) can be integrated to an action of \(N^{-,a}\). The closure of the orbit \(N^{-,a}.[V_\lambda]\subset P(V^a(\lambda))\) is called the degenerate flag variety \(Fl(\lambda)^a\). Let \(\lambda^*\) be the dual dominant weight of \(\lambda\) and let \(\Psi:h^*\rightarrow \tilde{h}^*\) be the linear map who sends i-th fundamental weight to the 2i-fundamental weight. After defining explicitly an element \(\tau\in \tilde{W}\) of the Weyl group of \(\mathrm{SL}_{2n}\) the authors prove the following results: i) The Demazure submodule \(\tilde{V}(\psi(\lambda^*))_\tau\) is isomorphic to the abelianized module \(V^a(\lambda)\) as \(n^{-,a}\) module. ii) The Schubert Variety \(X(\tau)\subset \mathbb{P}(\tilde{V}(\psi(\lambda^*))_\tau)\) is isomorphic to the degenerate Flag variety \(F^a(\lambda)\).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Schubert varieties
    0 references
    degenerate flag varieties
    0 references
    Demazure modules
    0 references
    0 references
    0 references