Abstract
We characterise the symplectic Weyl group elements such that the FFLV basis is compatible with the PBW filtration on symplectic Demazure modules, extending type A results by the second author. Surprisingly, the number of such elements depends not on the type A or C of the Lie algebra but on the rank only.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
1 Introduction
Let \(\mathfrak g\) be a complex simple, finite-dimensional Lie algebra. For a dominant integral weight \(\lambda \), let \(V(\lambda )\) denote the simple, finite-dimensional \(\mathfrak g\)-module of highest weight \(\lambda \) and let \(v_\lambda \in V(\lambda )\) be a fixed highest weight vector. Let \(\text {gr } V(\lambda )\) denote the associated graded module with respect to the PBW filtration on \(V(\lambda )\). These degenerate modules have been studied extensively in the last decade, mainly also due to the induced degenerate flag variety, defined by Feigin (2012) as a highest weight orbit of an action of a degenerate group on \(\text {gr } V(\lambda )\). One of the achievements of this framework so far is a “new” monomial basis of \(\text {gr } V(\lambda )\) and hence of \(V(\lambda )\) for \(\mathfrak {sl}_n, \mathfrak {sp}_{2n}\) (Feigin et al. 2011a, b). These monomials are naturally assigned with lattice points in a normal polytope \(P(\lambda )\subset {\mathbb {R}}_{\ge 0}^{N}\), N the number of positive roots, known as the FFLV polytope.
We seek to understand if this basis is compatible with Demazure modules. The second author has provided in Fourier (2016) the compatibility for Demazure modules in type A corresponding to a class of Weyl group elements that avoid the patterns 4231 and 2413. These are called triangular Weyl group elements. Formulated differently, a particular face of the FFLV polytope indexes a basis of the graded Demazure modules for triangular Weyl group elements. The PBW-degenerated Schubert varieties in that context were also studied. The main goal of the current paper is to extend these results to a more general setting that also includes Demazure modules and Schubert varieties in type C.
Let \(R^-\) denote the set of negative roots of \({\mathfrak g}\). We call a subset \(A \subset R^-\), FFLV-admissible if it is closed under taking sums inside \(R^-\) and stable for a join operation (see Definition 3). This join operation allows for a straightening law on monomials. For example, the sets corresponding to the triangular subsets studied in Fourier (2016) are admissible but admissibility is not restricted to triangular subsets, as for example, in type \(\mathtt{A}\) every single element set is admissible. We consider a submodule of \(V(\lambda )\) corresponding to an FFLV-admissible set A, which we denote by \(V_A(\lambda )\), generated through \(v_{\lambda }\) by the subalgebra of \(\mathfrak g\) defined by A. It turns out that the induced PBW filtration is compatible with the one on \(V(\lambda )\) (Proposition 14). Let \(\text {gr } V_A(\lambda )\) denote the associated graded submodule. Let W denote the Weyl group of \({\mathfrak g}\). In the special case \(A =A_w\) for a Weyl group element \(w\in W\), one has the isomorphism of our submodules for FFLV-admissible sets to Demazure modules, i.e.,
via twisting by w (see Sect. 5.1).
Our first interest is in constructing a monomial basis for \(V_{A}(\lambda )\) and \(\text {gr } V_{A}(\lambda )\) and hence for the corresponding Demazure modules \(V_w(\lambda )\) and \(\text {gr } V_w(\lambda )\). For this, we will consider the following faces of the polytope \(P(\lambda )\): for \(A\subset R^-\), let \(P_{A}(\lambda )\) denote the face of \(P(\lambda )\) obtained by setting the coordinates \(s_{\beta }=0\) for all \(\beta \notin A\). Let \(S_{A}(\lambda )\) denote the set of lattice points in \(P_{A}(\lambda )\). We prove:
Theorem 1
Let \(\mathfrak g\) be \(\mathfrak {sl}_{n+1}({\mathbb {C}})\) or \(\mathfrak {sp}_{2n}({\mathbb {C}})\), \(A\subset R^-\) an FFLV-admissible set, and let w be a Weyl group element such that \(A_w\) is FFLV-admissible, then:
-
(a)
for all \(\lambda , \mu \), dominant integral weights, \(S_{A}(\lambda ) + S_{A}(\mu )= S_{A}(\lambda +\mu )\).
-
(b)
the set \(S_{A}(\lambda )\) parametrizes a monomial basis of the PBW-graded submodule \(\text {gr } V_{A}(\lambda )\subset \text {gr } V(\lambda )\) and hence of \(V_{A}(\lambda )\).
-
(c)
the set \(S_{A}(\lambda )\) parametrizes a monomial basis of the PBW-graded Demazure module \(\text {gr } V_{w}(\lambda )\) and hence of \(V_{w}(\lambda )\).
The proof we are providing does not depend on A being induced from a Weyl group element. Hence the theorem is true more generally for FFLV-admissible sets when \(\mathfrak g\) is \(\mathfrak {sl}_{n+1}({\mathbb {C}})\) or \(\mathfrak {sp}_{2n}({\mathbb {C}})\). Our approach in proving part (b) of this theorem relies on having defining relations for the modules \(\text {gr } V(\lambda )\) as constructed in Feigin et al. (2011a, 2011b) (see Theorem 19). A direct consequence is the following and explains our interest in considering FFLV-admissible subsets: if \(A\subset R^-\) is not FFLV-admissible and \(\lambda \) is regular, then \(S_{A}(\lambda )\) doesn’t parametrize (in a “natural” way) a monomial basis of \(\text {gr } V_{A}(\lambda )\) (Lemma 20). We should note, that a Kogan face construction as in Kogan (2000), Kirichenko et al. (2012) and Biswal and Fourier (2015) is not applicable, as in contrast to that case, the coordinates are assigned positive roots and not simple roots (with respect to a reduced expression of the longest Weyl group element).
We would also like to note that the polytopes constructed in Kambaso (2022) parametrizing monomial bases for submodules studied there, are in general not faces of the FFLV polytope \(P(\lambda )\) in types A and C. On the other hand, monomial bases similar to those discussed here have been constructed in Makhlin (2019) for orthogonal modules in type B. However, our approach is not applicable in that situation, since defining relations for type B are still missing.
It turns out that the submodules \(V_{A}(\lambda )\) are favourable in the sense of Feigin et al. (2017), so we obtain flat PBW-degenerated symplectic Schubert varieties which degenerate further into toric varieties (Proposition 22). Moreover, we consequently describe a monomial basis for the homogeneous coordinate rings of the PBW-degenerate Schubert varieties labelled by PBW-semistandard tableaux (Proposition 24).
Our paper is organised as follows: in Sect. 2, we recall basic notation on Lie algebras while in Sect. 3, we introduce FFLV-admissible subsets and show that they are compatible with Dynkin automorphisms. In Sect. 4, we describe the correspondence between FFLV-admissible subsets and triangular Weyl group elements and in Sect. 5 we describe the monomial basis for our submodules and give the geometric interpretation in terms of PBW-degenerated Schubert varieties.
2 Preliminaries: notation on Lie algebras
We follow Humphreys (2012). Let \(\mathfrak g\) be the simple, complex Lie algebra of classical type \(\mathtt{A}_n\), \(\mathtt{B}_n\), \(\mathtt{C}_n\) or \(\mathtt{D}_n\). We fix a triangular decomposition \(\mathfrak g = \mathfrak n^+ \oplus \mathfrak h \oplus \mathfrak n^-\). Having fixed this decomposition, we denote by \(\{\alpha _1, \ldots , \alpha _n\}\) the set of simple roots, \(R^+\) and \(R^-\), the sets of positive roots and negative roots respectively.
-
For \(\mathfrak g = \mathfrak {sl}_{n+1}\) (of type A\(_n\)) and \(1\le i \le j\le n\), we abbreviate \(\alpha _{i,j} := \alpha _i + \cdots + \alpha _j.\) Then \(R_{\mathtt{A}_n}^+= \{\alpha _{i,j} \mid 1\le i \le j\le n\}\).
-
For \(\mathfrak g = \mathfrak {so}_{2n+1}\) (of type B\(_n\)), \(\alpha _{i,j}\) as above and \(\alpha _{i, \overline{j}} := \alpha _ i + \cdots + \alpha _{j-1} + 2 \alpha _{j} + \cdots + 2 \alpha _n\), we have \(R_{\mathtt{B}_n}^+= \{\alpha _{i,j}, \alpha _{k,\overline{l}} \mid 1\le i \le j\le n, \,\, 1\le k<l\le n\}\).
-
For \(\mathfrak g = \mathfrak {sp}_{2n}\) (of type C\(_n\)), \(\alpha _{i,j}\) as above and \(\alpha _{i, \overline{j}} := \alpha _ i + \cdots + \alpha _{j-1} + 2 \alpha _j + \cdots + 2 \alpha _{n-1} + \alpha _n\) (with \(\alpha _{i,n}= \alpha _{i,\overline{n}}\)), one has \(R_{\mathtt{C}_n}^+= \{\alpha _{i,j}, \alpha _{i,\overline{j}} \mid 1\le i \le j\le n\}\).
-
Finally, for \(\mathfrak g = \mathfrak {so}_{2n}\) (of type D\(_n\)), \(\alpha _{i,j}\) as before, \(\alpha _{i, \overline{j}} := \alpha _ i + \cdots + \alpha _{n-2} + \alpha _{j} + \cdots + \alpha _n,\) the set of positive roots is given by \(R_{\mathtt{D}_n}^+= \{\alpha _{i,j}, \alpha _{k,\overline{l}} \mid 1\le i \le j\le n-1, \,\, 1\le k<l\le n\}\).
For an element \(\beta = \sum a_i \alpha _i \in \sum {\mathbb {Z}} \alpha _i\) we denote \(\text {supp }\beta = \{ i \mid a_i \ne 0\}\) and further say \(\alpha \) and \(\beta \) are linked, if \(\text {supp }\alpha + \beta \) defines a connected subdiagram of the Dynkin diagram.
For \(\beta \in R^+\), let \(e_{\beta }\) and \(f_{\beta }\) denote fixed basis elements in the root spaces of \(\mathfrak g\) of weights \(\beta \) and \(-\beta \) respectively. We will use short notation \(e_{i,j}\) resp. \(f_{i, \overline{j}}\) for \(e_\beta \) and \(f_\beta \) where \(\beta = \alpha _{i,j}\) or \(\beta = \alpha _{i, \overline{j}}\). For \(\beta \in R^+\), \(h_{\beta }\) will denote the corresponding co-root.
Let the set of (dominant) integral weights of \(\mathfrak g\) be denoted by P (resp. \(P^+\)). The fundamental weights are denoted \(\{ \omega _1, \ldots , \omega _n\}\), they generate the monoid \(P^+\). For \(\lambda \in P^+\), we denote by \(V(\lambda )\) the simple, finite-dimensional highest weight module of highest weight \(\lambda \), with a highest weight vector \(v_\lambda \).
For a Lie algebra \(\mathfrak a\), let \(U(\mathfrak a)\) denote the universal enveloping algebra. Let \((z_1, \ldots , z_l)\) be an ordered basis of \(\mathfrak a\), then the PBW filtration on \(U(\mathfrak a)\) is defined as
The famous PBW theorem states that the associated graded algebra is the symmetric algebra \(S(\mathfrak a)\). On a cyclic \(U(\mathfrak a)\)-module M with generator \(m \in M\), one has the induced filtration \(M_s := U(\mathfrak a)_s \cdot m\) and the associated graded module \(\text {gr } M\) is a cyclic module for \(S(\mathfrak a)\).
We denote by W the Weyl group of \(\mathfrak g\), it is generated by the simple reflections \(s_i\) corresponding to the simple roots \(\alpha _i\). The Weyl group acts on the weights in P and on the weights of \(V(\lambda )\), leaving the dimension of the weight spaces invariant. For \(w\in W\), the extremal weight space of weight \(w(\lambda )\) in \(V(\lambda )\) is therefore one-dimensional and we denote by \(v_{w(\lambda )}\) a basis element in this weight space.
Let \(\mathfrak b = \mathfrak n^+ \oplus \mathfrak h\) be a Borel subalgebra of \(\mathfrak g\). The Demazure module corresponding to \(w\in W\) is defined to be the \(\mathfrak b\)-module \(V_w(\lambda ):= U(\mathfrak b)\cdot v_{w(\lambda )}\) generated by the element \(v_{w(\lambda )}\). Notice that when w is the longest element in W, the vector space \(V_w(\lambda )\) coincides with \(V(\lambda )\).
Now let \(\mathfrak g\) be of type X and \(\tau \) an automorphism of the Dynkin diagram, \(\mathfrak g^{\tau }\) be the fixed point algebra of type \(X^{\tau }.\) Let \(R_{ X}^-\) and \(R_{X^{\tau }}^-\) denote negative roots of \(\mathfrak g\) and \(\mathfrak g^{\tau }\) respectively. In particular, we will consider the following automorphisms and fixed point algebras. The automorphism of type:
-
(a)
\(\mathtt{A}_{2n-1}\), and corresponding fixed point algebra which is of type C\(_n\).
-
(b)
\(\mathtt{D}_{n+1}\), and corresponding fixed point algebra being of type B\(_n\).
We introduce two partial orders on \(R^-\). The first one is classical:
Let \(\delta \) be a sum of two negative roots, then
We define a partial order \(\le \) on \(\mathcal {P}(\delta )\) by
For clarity, we include here a short example of the above partial order on \(\mathcal {P}(\delta )\). In type A\(_3\), consider the pair of negative roots \((\alpha _{1,2}, \alpha _{2,3})\), then one has \((\alpha _{1,3}, \alpha _{2,2}) \in \mathcal {P}(\alpha _{1,2}+ \alpha _{2,3})\), and \((\alpha _{1,2}, \alpha _{2,3}) < (\alpha _{1,3}, \alpha _{2,2})\). Consider type C\(_3\) and the pair \((\alpha _{1,\overline{2}},\alpha _{1,3})\), then \((\alpha _{1,\overline{2}},\alpha _{1,3}) < (\alpha _{1,\overline{1}},\alpha _{2,3})\in \mathcal {P}(\alpha _{1,\overline{2}}+\alpha _{1,3})\).
Definition 1
Let \((\beta _1, \beta _2) \in R^- \times R^-\), then we define the \({\textbf {join}}\) of \(\beta _1\) and \(\beta _2\):
By abuse of notation, we denote \(\beta _1 \oplus \beta _2\) also the set of roots in \(\beta _1 \oplus \beta _2\).
Example 1
To explain the join of two roots, we work it out for types A and C:
-
1.
Suppose \(\beta _1 = \alpha _{i_1, i_2}, \beta _2 = \alpha _{j_1, j_2}\) with \(i_1 \le j_1, i_2, j_2 \in I\), then:
$$\begin{aligned} \beta _1 \oplus \beta _2 = {\left\{ \begin{array}{ll} \emptyset &{} \text { if } i_1 = j_1 \text { or } i_2< j_1-1 \text { or } j_2 \le i_2, \\ \{ (\alpha _{i_1, j_2}, \alpha _{j_1, i_2} )\} &{} \text { if } j_1 -1 \le i_2 < j_2. \end{array}\right. } \end{aligned}$$ -
2.
Suppose \(\beta _1 = \alpha _{i_1, \overline{i}_2}, \beta _2 = \alpha _{j_1, \overline{j}_2}\) with \(i_1 \le j_1, i_2, j_2 \in I\), then:
$$\begin{aligned} \beta _1 \oplus \beta _2 = {\left\{ \begin{array}{ll} \emptyset &{} \text { if } i_2< j_1, \\ \{ (\alpha _{i_1, \overline{j}_1}, \alpha _{j_2, \overline{i}_2}), (\alpha _{i_1, \overline{j}_2}, \alpha _{j_1, \overline{i}_2})\} &{} \text { if } j_1 \le j_2 < i_2,\\ \{ (\alpha _{i_1, \overline{j}_1}, \alpha _{i_2, \overline{j}_2}) \} &{} \text { if } j_1 \le i_2 \le j_2.\\ \end{array}\right. } \end{aligned}$$ -
3.
For \(\beta _1 = \alpha _{i_1, i_2}, \beta _2 = \alpha _{j_1, \overline{j}_2}\) with \(i_1\le j_1, i_2, j_2 \in I\), one has:
$$\begin{aligned}\beta _1 \oplus \beta _2 = {\left\{ \begin{array}{ll} \emptyset &{} \text { if } i_1 \le i_2< j_1-1\le j_2, \\ \{(\alpha _{i_1, \overline{j}_1}, \alpha _{j_2,i_2}),(\alpha _{i_1, \overline{j}_2}, \alpha _{j_1, i_2})\} &{} \text { if } j_1 \le j_2 \le i_2,\\ \{(\alpha _{i_1, \overline{j}_2}, \alpha _{j_1, i_2}), (\alpha _{i_1,\overline{j}_1}, 0)\} &{} \text { if } j_1 \le i_2 = j_2-1,\\ \{(\alpha _{i_1, \overline{j}_2}, \alpha _{j_1, i_2})\} &{} \text { if } j_1 \le i_2 < j_2-1,\\ \{(\alpha _{i_1,\overline{j}_2}, 0)\} &{} \text { if } i_1 \le i_2 = j_1-1\le j_2. \end{array}\right. } \end{aligned}$$ -
4.
Lastly, for \(\beta _1 = \alpha _{i_1, i_2}, \beta _2 = \alpha _{j_1, \overline{j}_2}\) with \(j_1 < i_1, i_2, j_2 \in I\), we have:
$$\begin{aligned}\beta _1 \oplus \beta _2 = {\left\{ \begin{array}{ll} \emptyset &{} \text { if } i_1 \le i_2< j_2-1, \\ \{(\alpha _{j_1, \overline{i}_1}, \alpha _{j_2, i_2})\} &{} \text { if } i_1 \le j_2 \le i_2 \text { or } j_1 \le j_2 < i_1 \le i_2,\\ \{(\alpha _{j_1, \overline{i}_1}, 0)\} &{} \text { if } i_1 \le i_2 = j_2-1. \end{array}\right. } \end{aligned}$$
The second order on \(R^-\) is defined as follows:
Let \(\alpha = \sum a_i \alpha _i, \beta = \sum b_i \alpha _i \in R^-\). Let \(s = \text {min} \{i \mid a_i \ne 0\}\). We define \(\alpha \succ \beta \) if
or
The transitive closure of these cover relations defines an order \(\prec \) on \(R^-\).
Example 2
Two examples to explain the order:
-
1.
In type \(\mathtt{A}\): \(\alpha _{i,j} \succ \alpha _{k,\ell } \Leftrightarrow i \le k, j \le \ell \).
-
2.
In type \(\mathtt{C}\): \(\alpha _{i,\overline{j}} \succ \alpha _{k,\overline{\ell }} \Leftrightarrow i \le k, j \ge \ell \).
We note here, that if \(\beta _1 \succ \beta _2\), then \(\gamma _1\) and \(\gamma _2\) are non-comparable with respect to \(\succ \) for all \((\gamma _1, \gamma _2) \in \beta _1 \oplus \beta _2\). The motivation for the second order is due to the definition of a Dyck path for Lie algebras of type \(\mathtt{A}\) or \(\mathtt{C}\) from Feigin et al. (2011a, 2011b):
Definition 2
A Dyck path \(\mathbf {p}\) is a sequence of positive roots \((\beta _1, \ldots , \beta _s)\) such that
-
\(\beta _1\) is a simple root \(\alpha _i\), we denote \(s(p) = i\).
-
\(\beta _s\) is either a simple root \(\alpha _i\) or additionally in type C equals \(\alpha _{i, \overline{i}}\), we denote \(e(p) = i\) or \(e(p) = n\) (in the latter case).
-
for all \(1 \le i < s\): \(\beta _{i} \succ \beta _{i+1}\).
3 FFLV-admissible sets and fixed point subalgebras
We will introduce the main combinatorial object of our study. We will explain in Sect. 5, how this definition is motivated by the study of certain monomial bases of simple, finite-dimensional modules.
Definition 3
A subset \(A \subseteq R^-\) is called FFLV-admissible (short admissible) if
-
1.
\(\mathfrak n_A = \bigoplus _{\alpha \in A} \mathfrak g_{\alpha }\) is a Lie subalgebra.
-
2.
For all pairs \(\alpha , \beta \) such that \(\alpha \succeq \beta \in A\) one has \(\alpha \oplus \beta \in A\).
We note, that if A is admissible, then
is a Lie subalgebra in \(\mathfrak g\).
Example 3
We provide a short list of examples here, and refer to more example classes to Sect. 4:
-
1.
There are two trivial admissible subsets, \(\emptyset \) and \(R^-\).
-
2.
The next obvious examples to be considered are subsets with one root \(A = \{\alpha \}\). Then A is admissible if and only if \(\alpha \) is the highest root of the subdiagram:
-
(a)
In type \(\mathtt{A}\), every subset \(\{ \alpha \}\) is admissible.
-
(b)
In type \(\mathtt{C}\), \(\{\alpha \}\) is admissible if and only if \(\alpha = \alpha _{i,j}\) with \(j < n\) or \(\alpha = \alpha _{i, \overline{i}}\).
-
(a)
-
3.
In type \(\mathtt{C}\), the minimal admissible set containing \(\alpha _{i, \overline{j}}\) with \(i \ne j\) can be read off from Example 1, it is \(\{\alpha _{i, \overline{j}}, \alpha _{i, \bar{i}}, \alpha _{j,\bar{j}}\}\).
-
4.
Slightly larger, non-trivial examples are the subsets given by the roots appearing in the following grid for type \(\mathtt{A}_5\) and type \(\mathtt{C}_3\) respectively.
Proposition 2
Let \(A \subset R^-\) be admissible and \(S\subset A\). Let \(\text {supp }S = \bigcup _{\alpha \in S} \text {supp }\alpha \) and \(S_i \subset S\) be a connected component. Then \(\theta _{S_i}\), the highest root of the Dynkin subdiagram of \(S_i\) belongs to A.
Proof
The statement follows for roots of the form \(\alpha _{i,j}\) with \(i,j \in I\) straight from the definition. Now, let \(\beta \in A\) and suppose \(\beta \oplus \beta \ne \emptyset \). Let \(S = \text {supp }\beta \), then \(\theta _S \in \beta \oplus \beta \). \(\square \)
3.1 Fixed point subalgebras and admissible sets
We discuss here how admissible sets and fixed point sets of Dynkin automorphisms are compatible. Recall the Lie algebra \(\mathfrak g\) of type X and the corresponding fixed point algebra \(\mathfrak g^{\tau }\) of type \(X^{\tau }\) for a fixed Dynkin automorphism \(\tau \). We have two notions of admissibility for \(\mathfrak g^{\tau }\): the first one is given by Definition 3. For the second one, we denote for a \(\tau \)-invariant \(A \subset R^{-}_{X}\) the set of orbits by \(A^{\tau } \subset R^{-}_{X^{\tau }}\). Recall that every subset of \(R^{-}_{X^{\tau }}\) is of the form \(A^{\tau }\) for a unique \(A\subset R^{-}_{X}\).
Definition 4
We call \(A^{\tau } \subset R^{-}_{X^{\tau }}\) induced admissible if \(A \subset R^{-}_{X}\) is admissible.
The following proposition gives the equivalence of the two notions:
Proposition 3
Let \(A^{\tau } \subset R_{X^{\tau }}^-\), then \(A^{\tau }\) is admissible if and only if \(A^{\tau }\) is induced admissible.
Proof
Let \(A = \tau (A)\) be admissible and \(\beta _1^{\tau }, \beta _2^{\tau } \in A^{\tau }\) with \(\beta _1^{\tau } \succeq \beta _2^{\tau }\). We choose minimal representatives \(\beta _1, \beta _2\) with respect to \(\succ \). Suppose \((\gamma _1^{\tau }, \gamma _2^{\tau }) \in \beta _1^{\tau } \oplus \beta _2^{\tau }\), e.g. \(\gamma _1^{\tau } + \gamma _2^{\tau } = \beta _1^{\tau } + \beta _2^{\tau }\) and \(\gamma _1^{\tau } \le \beta _1^{\tau }, \beta _2^{\tau } \le \gamma _2^{\tau }\). We choose minimal representatives \(\gamma _1, \gamma _2\), then
and hence \((\gamma _1, \gamma _2) \in \beta _1 \oplus \beta _2\). A is admissible and and \(\tau \) invariant, so \((\gamma _1^{\tau }, \gamma _2^{\tau }) \in \beta _1^{\tau } \oplus \beta _2^{\tau }\).
Suppose \(A = \tau (A)\) and \(A^{\tau }\) is admissible. Similarly as before, one shows for \(\beta _1, \beta _2 \in A\) that \(\beta _1 \oplus \beta _2 \subset A\) if both are the minimal or both are the maximal elements in their orbit. We are left with \(\beta _1\) minimal and \(\beta _2\) maximal, \(\beta _1 \succ \beta _2\) and suppose \((\gamma _1, \gamma _2) \in \beta _1 \oplus \beta _2\). Then \(\gamma _1^{\tau } + \gamma _2^{\tau } = \beta _1^{\tau } + \beta _2^{\tau }\) and \(\gamma _1^{\tau } \le \beta _1^{\tau }, \beta _2^{\tau } \le \gamma _2^{\tau }\) as those properties are true for \(\gamma _1, \gamma _2\). Since \(A^{\tau }\) is admissible, \(\{\gamma _1^{\tau }, \gamma _2^{\tau }\} \in A^{\tau }\) and so \(\{\gamma _1, \gamma _2\} \in A\). \(\square \)
3.2 Saturated sets
Definition 5
For a subset \(S \subset R^-\), we define the join closure \(\overline{S}^{\oplus }\) of S to be the minimal subset in \(R^-\), containing S and for any two roots \(\alpha , \beta \in \overline{S}^{\oplus }\), \(\alpha \oplus \beta \subset S\).
This is certainly well-defined and a non-trivial subset, for example in type \(\mathtt{A}\), if \(S= \{\alpha \}\), then \(S = \overline{S}^{\oplus }\) while the closure of the set of all (negative) simple roots is \(R^-\). Admissible subsets are by definition closed under join.
We consider the join closure of particular subsets:
Proposition 4
Let \(\mathfrak g = \mathfrak {sl}_{n+1}\) and \(\mathbf {p} = (\alpha _{i_1,j_1}, \ldots , \alpha _{i_s, j_s})\) a Dyck path, such that consecutive roots are linked. Then
Proof
Let \(1 \le k < n\), then
Iterating this procedure gives the proposed set. We are left to show, that this is closed under join: consider \(\alpha _{i_k, j_\ell }, \alpha _{i_r, j_t}\) with \(i_k \le i_r\) and \(i_k, i_r \in \{i_1, \ldots , i_s\}, j_\ell , j_t \in \{j_1, \ldots , j_s\}\). Then by Example 1 we see that
unless \(i_r - 1 \le j_\ell < j_t\), while in this case
which is in the proposed set. \(\square \)
Proposition 5
Let \(\mathfrak g = \mathfrak {sp}_{2n}\) and \(\mathbf {p}\) be a Dyck path, such that consecutive roots are linked, then
Proof
Let \(\alpha ^{\tau }, \beta ^{\tau } \in R^-\), then we can read off from Example 1:
Applying this to \(\mathbf {p}\) yields
since by construction \(\tau (\overline{T_{\mathbf {p}}}^{\oplus }) = \overline{T_{\mathbf {p}}}^{\oplus }\).
We are left to show that the left hand side is closed under join. So let \(\alpha ^{\tau }, \beta ^{\tau } \in (\overline{T_{\mathbf {p}}}^{\oplus })^{\tau }\), then the first equation in the proof shows that \(\alpha ^{\tau } \oplus \beta ^{\tau } \subset (\overline{T_{\mathbf {p}}}^{\oplus })^{\tau }\), because \(\overline{T_{\mathbf {p}}}^{\oplus }\) is closed under join. \(\square \)
The following will be a crucial observation in the proof of the main Theorem 19.
Proposition 6
Let \(\mathfrak g = \mathfrak {sl}_{n+1}, \mathfrak {sp}_{2n}\) and let \(\mathbf {p}\) be a Dyck path, such that consecutive roots are linked. Let \(\alpha , \beta \in \overline{\mathbf {p}}^{\oplus }\) and suppose \(\gamma = \alpha - \beta \in R^+\). Then
Proof
For \(\mathfrak g = \mathfrak {sl}_{n+1}\) and \(\mathbf {p} = (\alpha _{i_1,j_1}, \ldots , \alpha _{i_s, j_s})\), \(\gamma \) could be only one of the following
Observing, that \(\overline{\mathbf {p}}^{\oplus }\) is the set of all roots starting in \(i_k\) and ending in \(j_\ell \) completes the proof in this case.
Turning to \(\mathfrak {g} = \mathfrak {sp}_{2n}\), we again observe that \(\overline{\mathbf {p}}^{\oplus }\) is admissible and hence induced admissible. Any difference of two roots in \(\overline{\mathbf {p}}^{\oplus }\) is in fact the orbit of a difference between two roots in \(\mathfrak {sl}_{2n}\). We can therefore reduce the stability of \(\overline{\mathbf {p}}^{\oplus }\) to the \(\mathfrak {sl}_{n+1}\)-case. \(\square \)
4 Triangular Weyl group elements
In this section, we consider particular subsets \(A \subset R^+\). Let \(w \in W\), then
We are aiming to classify the \(w \in W\), such that \(A_w\) is admissible.
Definition 6
Let \(\mathbf {i} := i_1 i_2 i_3 i_4\) with \(i_j \in \{1, \ldots , 4\}\) pairwise distinct. We call \(\tau \in S_{N}\) \(\mathbf {i}\)-avoiding (pattern avoiding) if there is no quadruple \(j_1< j_2< j_3 < j_4\) such that \( (\tau (j_1), \tau (j_2), \tau (j_3), \tau (j_4))\) is ordered as \(\mathbf {i}\).
4.1 Type A
The case of admissible sets originating from Weyl group elements in type A has been treated in Fourier (2016). We recall here the original definition from Fourier (2016) and Chirivi et al. (2021):
Definition 7
Let \(w \in S_{n+1}\), then w is called triangular if w does not contain patterns of the form 4231 and 2413.
We should note here some interesting facts on triangular elements in type A:
-
1.
The number of triangular elements is given by the sequence A032351 in OEIS, OEIS (2018a). The first few elements suggest, that the number might be close to n! but this is not true for large n.
-
2.
There are interesting elements in \(S_n\) introduced in Dehy and Yu (2001), which are also triangular elements as discussed in Fourier (2016).
-
3.
The “smallest” non-triangular element is \(s_1s_2s_3\) in \(S_4\).
-
4.
There is a subset of triangular elements called rectangular elements introduced in Chirivi et al. (2021). These avoid the patterns 2431 and 4213 in addition. They are counted by the integer sequence A006012 in OEIS, OEIS (2018b).
The following can be found in (Fourier 2016, Proposition 1) and it explains the restriction of our focus to triangular Weyl group elements.
Proposition 7
Let \(w \in S_{n+1}\), then \(w^{-1}(R^+) \cap R^-\) is admissible if and only if w is triangular.
4.2 Type C
We turn to the symplectic case and its Weyl group \(W_{\mathtt{C}_n}\). We consider the symmetric group \(S_{2n}\) with the involutive element
With the help of \(w_0\) we define an involution on \(S_{2n}\) by
The symplectic Weyl group \(W_{\mathtt{C}_n}\) is generated by \(s_1, \ldots , s_n\) subject to the relations
This symplectic Weyl group is isomorphic to the subgroup of \(\sigma \)-invariant elements in \(S_{2n}\), that is \(\tau = w_0 \circ \tau \circ w_0\), via the following identification \(\iota \)
Again we are interested in the \(w \in W_{\mathtt{C}_n}\) such that \(A_w\) is admissible. Our goal is
Lemma 8
There is a bijection from the set \(\{ w \in W_{\mathtt{C}_n} \mid A_w \text { is admissible } \}\) to the set \(\{ w \in W_{\mathtt{A}_n} \mid A_w \text { is admissible }\}\).
Before giving the proof, we use the lemma to define
Definition 8
An element \(w \in W_{\mathtt{C}_n}\) is called symplectic triangular if \(\iota (w)\) is triangular for type A.
Due to the facts on triangular elements, we deduce
Corollary 9
The number of symplectic triangular elements is given by the sequence A032351 in OEIS (2018a).
One could ask whether there is also bijection of the admissible sets of \(R_{\mathtt{C}_n}\) to the admissible sets of \(R_{\mathtt{A}_n}\). It turns out, that there are 8 admissible subsets in type \(\mathtt{C}_2\) and only 7 admissible subsets in type \(\mathtt{A}_2\); in type \(\mathtt{A}_2\) all Weyl group elements are triangular while in type \(\mathtt{C}_2\), the list of symplectic triangular Weyl group elements is
In type \(\mathtt{A}_2\), there is one admissible set which is not obtained from a Weyl group element, namely \(\{\alpha _1 + \alpha _2\}\), while in type \(\mathtt{C}_2\), there are two \(\{\alpha _{1,\bar{1}}\}\) and \(\{\alpha _2, \alpha _{1, \bar{1}}\}\).
We turn to the proof of Lemma 8, which has three steps:
Proposition 10
Fix a pattern \(\mathbf {i} \subset \{ 1, \ldots , 4\}\). There is a mapping between the elements from \(S_{2n}\) that avoid \(\mathbf {i}\), and the elements from \(S_{n+1}\) that avoid \(\mathbf {i}\).
Proof
Let \(\tau = (j_1, \ldots , j_{2n}) \in S_{2n}\) and define \(\tilde{\tau }\) to be the sequence where all \(j > n+1\) are replaced by \(n+1\). Let \(\underline{\tau }\) denote the sequence where all \(n+1\) in \(\tilde{\tau }\) are deleted except the leftmost. Then \(\underline{\tau } \in S_{n+1}\). It follows immediately, that if \(\tau \) avoids the pattern \(\mathbf {i}\), then \(\underline{\tau }\) avoids \(\mathbf {i}\) as well. \(\square \)
In the next step, we prove the surjectivity:
Proposition 11
Consider a pattern \(\mathbf {i}^* := i_1 i_2 i_3 i_4\) with \(i_j \in \{1, \ldots , 4\}\) pairwise distinct such that \(i_1>i_2,i_4\) and \(i_3 > i_2,i_4\). Then there is a surjection between the elements in \(S_{2n}\) that are \(\sigma \)-invariant and avoid the pattern \(\mathbf {i}^*\) and the elements in \(S_{n+1}\) that avoid the pattern \(\mathbf {i}^*\).
Proof
Suppose \(\tau \in S_{2n}\) is invariant under \(\sigma \) and avoids \(\mathbf {i}^*\). Let \(\underline{\tau }\) be the pattern constructed from \(\tau \) as in the proof of Proposition 10. Let \(1\le j_1< j_2< j_3 < j_4 \le n+1\) be such that \(\underline{\tau }(j_1, j_2, j_3, j_4)\) is the pattern \(\mathbf {i}^*\). Then either \(j_4 < n+1\), in which case this \(\tau \) would have the same pattern, which is a contradiction or \(j_4 = n+1\) and we set \(n+1 \le s \le 2n\) the leftmost element in \(\tau \) greater or equals \(n+1\). Then \(\tau (j_1, j_2, j_3, s)\) is the pattern \(\mathbf {i}^*\). We conclude that \(\underline{\tau }\) avoids the pattern \(\mathbf {i}^*\). \(\square \)
For the bijection of Lemma 8, it remains to prove the injectivity:
Proof
Let \(w\in S_{n+1}\) be an element that avoids the patterns 3142 and 4231. We will construct the preimage of this element in the following way. Consider the position of \(n+1\) in the presentation of w. Let k denote the number of elements left of \(n+1\) in this presentation. Let j be the element at position \(i < n+1\). Construct an element \(w'\) as follows. We leave every element j at position i and every element of the form \(2n+1-j\) (left of \(n+1\)), we put at position \(2n+1-i\). Now we are left with the element \(n+1\) and the elements to its right. These are mapped in the following way. The ordering of the elements \(1,\ldots ,n\) determines the ordering of \(n+1,\ldots , 2n\), because of the involution. Now replace all \(n+1\) by the elements \(n+1, \ldots , 2n\) which are not placed before, in that order. These are \(n-k\) elements. So the elements to the right of \(n+1\) are just shifted by \(n-k\) to the right. \(\square \)
From Proposition 3 and Lemma 8, we can deduce the following analogue to Proposition 7:
Corollary 12
Let \(w \in W_{\mathtt{C}_n}\), then \(w^{-1}(R^+) \cap R^-\) is admissible if and only if w is symplectic triangular.
5 Application
We discuss in this section the application we have in mind for defining admissible sets. For this we will recall Demazure modules, the PBW filtration and the FFLV monomial bases for simple, finite-dimensional modules.
5.1 Submodules for admissible sets
We fix \(\mathfrak g\) and an admissible set \(A \subset R^-\), then \(\mathfrak h \oplus \mathfrak n_A^-\) is a subalgebra and hence we can consider \(U(\mathfrak h \oplus \mathfrak n^-_A)\) as a subalgebra in \(U(\mathfrak h \oplus \mathfrak n^-)\). We further fix a dominant, integral weight \(\lambda \) and a highest weight vector \(v_\lambda \in V(\lambda )\). We define
By construction, this is a \(\mathfrak h \oplus \mathfrak n^-_A\)-module but in fact, it can be extended to a module for
where \(\mathfrak n_A^+\) is the maximal subalgebra in \(\mathfrak n^+\) such that the above is invariant under \(\mathfrak n_A^+\).
In the special case \(A =A_w\), one has
via the twist \(w: U(\mathfrak h \oplus \mathfrak n_A^+ \oplus \mathfrak n^-_A) \longrightarrow U(\mathfrak b)\). We want to analyse the modules \(V_A(\lambda )\) and especially asking for a monomial basis, e.g. a set of monomials in \(U(\mathfrak n^-_A)\). Note, that in the special case of Demazure modules there are monomial bases known, while we explain in the next section that we are interested in a monomial basis defined by a homogeneous lexicographic order and such bases for Demazure modules are not known in general.
5.2 PBW filtration and sub objects
For a Lie algebra \(\mathfrak a\), we explain briefly that the PBW filtration on \(U(\mathfrak a)\) is compatible with the filtration on the universal enveloping algebra of a subalgebra. In the case of submodules, one has to ask for mild assumptions which are satisfied in all relevant cases.
Proposition 13
Let \(\mathfrak b \subset \mathfrak a\) be a subalgebra, then \(U(\mathfrak b)_s = U(\mathfrak a)_s \cap U(\mathfrak b)\), i.e., the PBW filtration is compatible with subalgebras.
Proof
It is clear, that \(U(\mathfrak b)_s \subset U(\mathfrak a)_s \cap U(\mathfrak b)\). We fix an ordered basis \((x_1, \ldots , x_s)\) of \(\mathfrak b\) and extend with \((y_1, \ldots , y_t)\) to a basis of \(\mathfrak a\). We denote the induced basis of \(U(\mathfrak b)\) by \(\{ x_I \mid I \in {\mathbb {Z}}_{> 0}^{s}\}\). \(U(\mathfrak a)\) is a free \(U(\mathfrak b)\)-module with basis given by ordered monomials in \((y_1, \ldots , y_t)\) and hence a basis of \(U(\mathfrak a)\) is given by \(\{ x_I y_J \mid I \in {\mathbb {Z}}_{> 0}^s, J \in {\mathbb {Z}}_{> 0}^t \}\).
Suppose now \(p \in U(\mathfrak b)_r \setminus U(\mathfrak b)_{r-1}\), then \(p = \sum _{I} c_I x_I\) with \(\vert I\vert \le r\) and at least one I with \(\vert I\vert = r\). Suppose \(p \in U(\mathfrak a)_{r-1}\), then \(p = \sum _{I,J} c_{I,J} x_I y_J\) with \(\vert I\vert + \vert J\vert \le r-1\) and by construction there is \(c_{I,J} \ne 0\) for some J with \(\vert J\vert \ne 0\). But the freeness of \(U(\mathfrak a)\) and the equality \(\sum _{I} c_I x_I = \sum _{I,J} c_{I,J} x_I y_J\) provide a contradiction. This implies that \(U(\mathfrak b)_s = U(\mathfrak a)_s \cap U(\mathfrak b)\). \(\square \)
We turn to PBW filtration of sub-modules, say \(\mathfrak b \subset \mathfrak a\) a subalgebra and V a cyclic \(\mathfrak a\)-module with generator v. Here one can apply the PBW filtration to
In contrast to the case of subalgebras, this filtration is in general not compatible with the filtration on V. Let \(\mathfrak a = \langle x,y,z \rangle _{{\mathbb {C}}}\) be the abelian three dimensional Lie algebra and \(\mathfrak b = \langle x,y \rangle _{{\mathbb {C}}}\). We consider the \(U(\mathfrak a)\)-module defined by the ideal \((x^2, y^2, z^2, xz, yz, xy -z)\). Then the degree vector of \(\text {gr } V\) is \((1, 3, 0, \ldots )\). While the submodule through 1 generated by \(\mathfrak b\) has degree vector \((1, 2, 1, 0 \ldots )\). We see, that if the vanishing ideal is not homogeneous, the PBW filtration is not compatible. One needs a few more properties to have the PBW filtration on modules compatible with submodules.
Let for the moment \(\mathfrak g\) be a simple, finite-dimensional complex Lie algebra with triangular decomposition \(\mathfrak g = \mathfrak n^+ \oplus \mathfrak h \oplus \mathfrak n^-\) and let \(\mathfrak b \subset \mathfrak n^-\) be a subalgebra such that \(\mathfrak b = \bigoplus _{\alpha \in R^-} \mathfrak b \cap \mathfrak g_{\alpha }\). Let \(\lambda \) be a dominant integral weight for \(\mathfrak g\) and \(V(\lambda )\) the irreducible highest weight module with highest weight \(\lambda \), \(v_\lambda \) a highest weight generator.
Proposition 14
With this setup, one has \(\text {gr } V_{\mathfrak b}(\lambda ) \subset \text {gr } V(\lambda )\), the PBW filtration on \(V(\lambda )\) is compatible with the filtration on the subalgebra.
Proof
We follow here the proof in Chirivi et al. (2021). The PBW filtration on \(V(\lambda )\) is induced by the filtration on each weight space \(V_\mu (\lambda )\) and for the associated graded module, it is enough to compare the degree of each monomial in root vectors. Now let \(0 \ne f_{\beta _1} \cdots f_{\beta _s}\cdot v_\lambda \in V_{\mathfrak a}(\lambda )\) with \(f_{\beta _i} \in \mathfrak b\). Suppose there exists \(f_{\gamma _1} \cdots f_{\gamma _r}\cdot v_\lambda = f_{\beta _1} \cdots f_{\beta _s}\cdot v_\lambda \) for some \(r < s\). From Ohsugi and Hibi (2002), we deduce that there are two kinds of exchange relations on roots. The first one is homogeneous and for our purpose, we can ignore it here. The second is not homogeneous and reads as \(\alpha + \beta = \gamma \) for some roots. Suppose now there are i, j, k with \(\beta _i + \beta _j = \gamma _k\). But this implies that \(f_{\gamma _k} \in \mathfrak b\), since \(\mathfrak b\) is a subalgebra. Hence we deduce that \(f_{\gamma _1} \cdots f_{\gamma _r} \in U(\mathfrak b)\) and hence the PBW filtrations are compatible. \(\square \)
5.3 The FFLV bases
In Feigin et al. (2011a, 2011b), monomial bases of simple, finite-dimensional modules for complex Lie algebras of type A and C were introduced:
Let \(\lambda = \sum m_i \omega _i \in P^+\), then for type A (resp. type C), the following polytope has been defined in Feigin et al. (2011a) (resp. Feigin et al. 2011b):
We denote \(S(\lambda ) = P(\lambda ) \cap {\mathbb {Z}}^{\sharp R^+}\), the lattice points. In the mentioned paper it is proved that
is (for any chosen order in the monomials) a basis of \(V(\lambda )\). This basis has an interesting property as we will explain here:
Theorem 15
(Feigin et al. (2011a, 2011b)) The following is a basis of \(\text {gr } V(\lambda )\):
There are several monomial bases known for \(V(\lambda )\), such as the basis constructed by Gelfand and Tsetlin (1950) and its generalization (Molev (2006)), Lusztig bases (Lusztig (1990)), string bases (Littelmann (1998); Berenstein and Zelevinsky (1992)) but none of these bases is compatible with the PBW filtration.
An important property of the assigned polytopes is the following
Theorem 16
(Feigin et al. (2011a, 2011b)) Let \(\lambda , \mu \in P^+\), then \(P(\lambda )\) is a lattice polytope and moreover:
where \(+\) denotes the Minkowski sum.
5.4 Monomial bases for submodules
We turn to admissible sets \(A \subset R^-\) and the natural projection of the polytopes \(P(\lambda )\). We define
and
As we are considering faces of the polytope \(P(\lambda )\), we have by Theorem 16:
Corollary 17
For all \(\lambda , \mu \in P^+\) and every admissible subset A one has
We list a few useful relations:
Proposition 18
Let \(1 \le i \le n\) and let \(\mathfrak g = \mathfrak {sl}_{n+1}\) or \(\mathfrak {sp}_{2n}\). Let \(1< k \le i \le j < \ell \le n\) (resp. \(\ell < n\) for type \(\mathtt{C})\), then one has the following relation
In type \(\mathtt{C}\), there are more relations that will be needed in the following:
-
1.
for \(1 < k \le \ell , j \le n\), one has
$$\begin{aligned} (f_{1,j}f_{k ,\bar{\ell }} + c_1f_{1, \bar{\ell }} f_{k,j} + c_2 f_{1, \bar{k}} f_{\ell , j})\cdot v_{\omega _i} = 0 \in V(\omega _i) \end{aligned}$$for some \(c_r \in {\mathbb {C}}\setminus \{0\}\), where \(f_{\ell , j} = 1\) for \(\ell = j+1\) and 0 for \(\ell > j+1\).
-
2.
for \(1< k \le \ell < j \le n\), one has
$$\begin{aligned} (f_{1,\bar{j}}f_{k ,\bar{\ell }} + c_1f_{1, \bar{\ell }} f_{k,\bar{j}} + c_2 f_{1, \bar{k}} f_{\ell , \bar{j}})\cdot v_{\omega _i} = 0 \in V(\omega _i) \end{aligned}$$for some \(c_r \in {\mathbb {C}}\setminus \{0\}\).
Proof
For \(\mathfrak g = \mathfrak {sl}_{n+1}\) one has \(f_{1,\ell }^2\cdot v_{\omega _i} = 0\), resp. for \(\mathfrak g = \mathfrak {sp}_{2n}\) one has \(f_{1, \ell -1}\cdot v_{\omega _i} = 0\) and \(f_{1, \bar{1}}^2\cdot v_{\omega _i} = 0 \in V(\omega _i)\). Certainly, for any monomial \(\mathbf {m} \in U(\mathfrak g)\):
-
For the first relation, one sets \(\mathbf {m} = e_{j+1, \ell } e_{1,k-1}\).
-
For the second relation, one sets \(\mathbf {m} = e_{1, k-1} e_{j+1, \overline{j+1}} e_{1, \ell -1} e_{1,j}\).
-
For the third relation, one sets \(\mathbf {m} = e_{1,k-1} e_{1,j-1} e_{1, \ell -1}\).
The computation is straightforward and can be found in Feigin et al. (2011a, 2011b). \(\square \)
We give an equivalent statement of the proposition. For \(\alpha \succeq \beta \in R^-\) one has
where the sum is over \(\mathbf {\gamma } = (\gamma _1, \gamma _2) \in \mathcal {P}(\alpha + \beta )\) with \((\alpha , \beta ) \le (\gamma _1, \gamma _2)\).
The main motivation for the paper is the following:
Theorem 19
Let \(\mathfrak g\) be of type A or C, \(\lambda \in P^+\), \(A \subset R^-\) admissible, then
is a basis of \(\text {gr } V_A(\lambda )\) and hence (for any chosen ordering in the monomials) a basis for \(V_A(\lambda )\).
A remark before the proof: a proof for the \(\mathfrak {sl}_{n+1}\)-case has been provided in Fourier (2016) and then Proposition 3 allows to reduce the study for \(\mathfrak {sp}_{2n}\) to \(\mathfrak {sl}_{n+1}\).
Proof
Let \(\lambda = \sum m_i \omega _i \in P^+\). Since \(S_A(\lambda ) \subset S(\lambda )\),
is linearly independent, due to Theorem 15. It remains to prove, that this set spans \(V_A(\lambda )\). Clearly,
is a spanning set and we have to prove a straightening law to reduce to \(S_A(\lambda )\). Let \(\mathbf {s} \in {\mathbb {Z}}_{\ge 0}^{\# A}\) and suppose there is a Dyck path \(\mathbf {p} \subset A\), such that consecutive roots are linked and
We will show that \(f^{\mathbf {s}}\cdot v_\lambda \) is in the span of
First, we consider \(\mathfrak {sl}_{n+1}\), then \(\mathbf {p} = (\alpha _{i_1, j_1}, \ldots , \alpha _{i_s, j_s})\) with \(i_1 \le \ldots \le i_s, j_1 \le \ldots \le j_s\). We have seen in Proposition 4, that the full subgrid \(\overline{\mathbf {p}}^{\oplus }\) of roots \(\alpha _{i_k,j_\ell }\) is contained in A.
In Feigin et al. (2011a), a homogeneous order < on \({\mathbb {Z}}^{\# R^-}\) is defined, we consider its restriction to \({\mathbb {Z}}^{\# A_{\mathbf {p}}}\). It is shown using operators from \(\{ e_{\beta } \mid \beta \in R^+\}\) applied on \(f_{\alpha _{i_1, j_s}}^{\sum _{\alpha \in \mathbf {p}} s_\alpha }\cdot v_\lambda ( = 0 \in V(\lambda ))\) that
for some \(c_{\mathbf {t}}\). A further inspection of the proof in Feigin et al. (2011a) shows, that the needed operators \(e_\beta \) are exactly given by \(\beta = \gamma _1 - \gamma _2\) with \(\gamma _i \in \overline{\mathbf {p}}^{\oplus }\). We conclude from Proposition 6, that each \(\mathbf {t}\) on the right hand side is supported on \(\overline{\mathbf {p}}^{\oplus } \subset A\). Concluding, for each violated Dyck path we have a straightening law with respect to <. Iterating this procedure is a finite process, showing that
is a spanning set for \(V_A(\lambda )\).
We turn to \(\mathfrak g = \mathfrak {sp}_{2n}\). It turns out, that the same argument as for \(\mathfrak {sl}_{n+1}\) is valid here, thanks to Proposition 3. The homogeneous order for \(\mathfrak {sl}_{n+1}\) is naturally extended to \(\mathfrak {sp}_{2n}\) in Feigin et al. (2011b).
Similarly as above, we just have to show that for each Dyck path \(\mathbf {p}\), there is a set of differential operators in \(U(\mathfrak n^+)\) that are acting on a given subset \(A^{\tau }_{\mathbf {p}}\) and to generate a straightening law. Feigin et al. (2011b) provides the straightening law and we have to check, whether this is supported on A only. But this follows as for \(\mathfrak {sl}_{n+1}\) from Proposition 5 and, with a close inspection of the proof in Feigin et al. (2011b), from Proposition 6. \(\square \)
With the following lemma, we justify the discussion of admissible sets. Reasonably, we restrict ourselves to \(A \subset R^-\) such that \(\mathfrak n_A^-\) is a Lie subalgebra.
Lemma 20
Suppose \(A \subset R^-\) is not admissible, then there exists \(i \in I\) such that the lattice points in the face \(P_{A}(\omega _i)\) do not parametrize a basis of \(V_{A}(\omega _i)\).
Proof
Suppose A is not admissible, then there exists \(\beta _1 \succ \beta _2\) such that \((\gamma _1, \gamma _2) \in \beta _1 \oplus \beta _2\) but \(\{ \gamma _1, \gamma _2\} \notin A\). Suppose \( \text {supp }\beta _1 \cap \text {supp }\beta _2 = \emptyset \) but \(\beta _1 \oplus \beta _2 \ne \emptyset \), then \(\beta _1 \oplus \beta _2 = \{ \beta _1 + \beta _2 \}\), but this is in A since \(\mathfrak n_A^-\) is a Lie subalgebra. In both cases, there exists i with
\(\gamma _1, \gamma _2\) are non-comparable with respect to \(\succ \), and hence, due to the definition of Dyck paths, \(e_{\gamma _1} + e_{\gamma _2} \in S(\omega _i) \setminus S_A(\omega _i)\). Proposition 18 on the other hand implies, that \(f_{\beta _1} f_{\beta _2}\cdot v_{\omega _i}\) is a nontrivial linear combination involving \(f_{\gamma _1} f_{\gamma _2}\cdot v_{\omega _i}\). Since \(S(\omega _i)\) parametrizes a linearly independent subset
\(\square \)
5.5 Geometric interpretation
In this section, we are giving a geometric interpretation of the results on monomial bases. The main motivation is due to the admissible sets of the form \(A_w\) for some \(w \in W\). In this context, the module \(V_A(\lambda )\) is isomorphic to the Demazure module \(V_w(\lambda )\) and one obtains an action of \(\mathfrak n^+ \oplus \mathfrak h\) on \(\text {gr } V_w(\lambda )\) (resp. \(w^{-1}(\mathfrak n^+ \oplus \mathfrak h)\) on \(\text {gr }V_A(\lambda )\).
5.5.1 Favourable modules and flat degenerations
We begin by briefly explaining the notion of a favourable module following Feigin et al. (2017). Let M be a cyclic finite-dimensional complex vector space acted upon by a complex algebraic unipotent group \(\mathbb {U}\) satisfying certain conditions. First, this module is cyclic for \(U(\mathfrak n)\), the universal enveloping algebra of \(\mathfrak n\), the nilpotent Lie algebra corresponding to \(\mathbb {U}\). For a fixed basis of \(\mathfrak n\) and a fixed homogeneous ordering \(\le \) on monomials in this basis, we obtain a filtration of M and the associated graded space has one-dimensional leafs only. The monomials of the basis of \(\text {gr } M\) are called essential (Fang et al. (2017)) and we denote \(\text {es } M \subset {\mathbb {Z}}^N_{\ge 0}\) the set of the exponents of these monomials. M is called favourable if
-
there exists a convex polytope \(P(M)\subset {\mathbb {R}}_{\ge 0}^N\) such that its set of lattice points, S(M), coincides with the set of essential multi-exponents es(M).
-
for all \(n\ge 1\), consider \(U(\mathfrak n)\cdot (m^{\otimes n}) \subset M \otimes \cdots \otimes M\) and demand \(\dim U(\mathfrak n)\cdot (m^{\otimes n}) = \vert n S(M) \vert \).
In the following, we show that the submodule \(V_{A}(\lambda )\subset V(\lambda )\) is favourable. For a fixed admissible subset A, let \(\text {G}_{A}\) denote the corresponding connected, simply connected Lie group of the Lie algebra \(\mathfrak g_A\). Notice that \(\text {G}_{A}\) is a unipotent subgroup of \(\text {G}\), the connected, simply connected Lie group of the Lie algebra \(\mathfrak g\). We have:
Lemma 21
For A an admissible set, \(V_{A}(\lambda )\) is a favourable \(\text {G}_{A}\)-module for \(\lambda \in P^+\) regular.
Proof
We follow the proof of (Fourier 2016, Lemma 5). It suffices to consider the case \(\mathfrak {g}= \mathfrak {sp}_{2n}\). Let the roots in \(R^+\) be ordered as follows:
We consider the restriction of this order on A. By (Feigin et al. 2017, Theorem 11.8), choosing the above order and taking the induced homogeneous reverse lexicographic order on monomials in \(S(\mathfrak n^-)\), implies that the \(\mathfrak {sp}_{2n}\)-module \(V(\lambda )\) is favourable. In particular, we have \(S(\lambda )=es(V(\lambda ))\). Let \(\textsf {s}\in {\mathbb {Z}}_{\ge 0}^N\), with \(s_{\alpha }=0\) for all \(\alpha \notin A\). Suppose \(\textsf {s}\) is essential for \(V(\lambda )\). By definition, and through the trivial embedding \({\mathbb {Z}}_{\ge 0}^{\# A}\hookrightarrow {\mathbb {Z}}_{\ge 0}^N\), it follows that \(\textsf {s}\) is essential for \(V_{A}(\lambda )\). It therefore follows that \(S_{A}(\lambda )\subset es(V_{A}(\lambda ))\). The opposite inclusion \(es(V_{A}(\lambda )) \subset S_{A}(\lambda )\) holds by reason of dimension, which gives the equality.
Furthermore, we have an injective homomorphism of modules \(V_{A}(\lambda +\mu )\hookrightarrow V_{A}(\lambda )\otimes V_{A}(\mu )\), obtained by restricting the embedding \(V(\lambda + \mu ) \hookrightarrow V(\lambda ) \otimes V(\mu )\). From this, and by Corollary 17, we have that for all \(\lambda ,\mu \in P^+\):
The proof is completed by considering the case \(\lambda = \mu \), and extending by induction to the general case. \(\square \)
We denote the projective varieties
and
where \(\text {G}^a_{A}\) denotes \(\# A\) copies of the additive group \({\mathbb {G}}_a\), which is a Lie group associated with the Lie algebra of the vector space \(\mathfrak n_A^-\) with a trivial bracket. Note that the latter and hence \(\text {G}^a_{A}\) act on \(\text {gr } V_{A}(\lambda )\).
Definition 9
For A admissible and \(\lambda \in P^+\) regular, we call \(X_{A}^a(\lambda )\) the PBW degenerate variety corresponding to \(X_{A}(\lambda )\).
While the definition is reasonable for all types, the following proposition depends on the existence of a suitable basis.
Proposition 22
Let \(\mathfrak g\) be of type \(\mathtt{A, C}\). Let \(\lambda \in P^+\) be regular, and A be an admissible set, then the variety \(X_{A}(\lambda )\) degenerates flatly into the PBW degenerate variety \(X_{A}^a(\lambda )\) and further into a toric variety.
Proof
It follows from (Feigin et al. 2017, Theorem 8.1) since the module \(V_{A}(\lambda )\) is favourable (according to Lemma 21). \(\square \)
Remark 1
In view Proposition 22, whenever A is an admissible set given as \(A_w\) for some Weyl group element w and \(\lambda \in P^+\) regular, we obtain flat degenerations of the Schubert variety \(X_w(\lambda )\) into a PBW degenerate Schubert variety \(X_w^a(\lambda )\) and further into a toric variety. More particularly, we obtain flat PBW and toric degenerations of symplectic Schubert varieties, adding to the similar scenario for Schubert varieties of type A (Fourier (2016)).
5.5.2 PBW-semistandard tableaux bases for coordinate rings
Feigin introduced in Feigin (2011) PBW-semistandard tableaux to describe a monomial basis of the homogeneous coordinate ring of the PBW-degenerate flag variety in type \(\mathtt{A}\), extended by the first author in Balla (2022) to type \(\mathtt{C}\). Within our setup, it is natural to describe the subset of those tableaux parametrizing a basis of the homogeneous coordinate ring of the PBW degenerate Schubert variety \(X_w^a(\lambda )\) whenever w corresponds to an admissible subset A.
For a Young diagram \(Y_{\lambda }\) corresponding to a partition \(\lambda =(\lambda _1\ge \cdots \ge \lambda _{n} \ge 0)\), let \(\mu _c\) denote the length of the c-th column.
A type \(\mathtt{A}\) PBW-semistandard tableau is a filling of the Young diagram \(Y_{\lambda }\) of shape \(\lambda =(\lambda _1\ge \cdots \ge \lambda _{n} \ge 0)\), with numbers \(T_{r,c}\in \{1,\ldots , n+1\}\) satisfying the properties:
-
if \(T_{r,c} \le \mu _c\), then \(T_{r,c}=r\),
-
if \(r_1<r_2\) and \(T_{r_1,c}\ne r_1 \), then \(T_{r_1,c}>T_{r_2,c}\),
-
for any \(c>1\) and any r, there exists \(r'\ge r\) such that \(T_{r',c-1}\ge T_{r,c}\).
A type \(\mathtt{C}\) PBW-semistandard tableau is a filling of the Young diagram \(Y_{\lambda }\) of shape \(\lambda =(\lambda _1\ge \cdots \ge \lambda _{n} \ge 0)\), with numbers \(T_{r,c}\in \{1,\ldots , n, \overline{n},\ldots ,\overline{1}\}\) satisfying all the three properties above and the following extra property:
-
if \(T_{r,c}= r\), and \(\exists \,\, r'\) such that \(T_{r',c}=\overline{r}\), then \(r'<r\).
Example 4
Consider \(\mathfrak {g}\) of type A\(_3\). Then the full set of type A PBW-semistandard tableaux of shape \(\lambda = \omega _1 + \omega _2\) is the following set of tableaux with entries in \(\{1,2,3,4\}\):
By renaming the entries to read \(\{1,2,\overline{2},\overline{1}\}\), it can be seen that the last four tableaux are not symplectic. So without them, we recover the respective tableaux for \(\mathfrak {g}\) of type C\(_2\).
Proposition 23
(Feigin 2012; Balla 2022) Let \(\mathfrak g\) be of type \(\mathtt{A, C}\). For \(\lambda =\sum _{k=1}^{n}m_k\omega _k\) a dominant integral weight, the set \(\{\prod _{\alpha } f_\alpha ^{s_\alpha }\cdot v_\lambda \mid \mathbf {s} \in S(\lambda )\}\) is in a weight preserving one-to-one correspondence with the set of PBW-semistandard tableaux of shape \(\lambda \).
The idea for the proof of the above proposition is the following. If a root vector \(f_{\alpha _{i,j}}\) appears in \(\prod _{\alpha } f_\alpha ^{s_\alpha }\cdot v_\lambda \), with \(\mathbf {s} \in S(\lambda )\), then there is a box in the i-th row of the corresponding tableau containing the entry \(j+1\). Additionally for type C, if there is a root vector of the form \(f_{\alpha _{i,\overline{j}}}\) in \(\prod _{\alpha } f_\alpha ^{s_\alpha }\cdot v_\lambda \), with \(\mathbf {s} \in S(\lambda )\), there should be an entry \(\overline{j}\) in some box in the i-th row. Details on how these boxes are arranged to form the PBW-semistandard tableaux can be found in Balla (2022).
Now we turn to the case of an admissible set A. We define
Definition 10
An A-permissible type \(\mathtt{A}\) PBW-semistandard tableau of shape \(\lambda \) is a type \(\mathtt{A}\) PBW-semistandard tableau of shape \(\lambda \), that satisfies the following extra condition:
-
(a)
for all \(\alpha _{i,j}\notin A\), if \(j \ge \mu _c\) and \(r=i\) then \(T_{r,c}\ne j+1\).
An A-permissible type \(\mathtt{C}\) PBW-semistandard tableau of shape \(\lambda \) is a type \(\mathtt{C}\) PBW-semistandard tableau of shape \(\lambda \), that satisfies (a) above and the following extra condition:
-
(b)
for all \(\alpha _{i,\overline{j}}\notin A\), \(T_{r,c}\ne \overline{j}\) for all c and r such that \(r=i\).
Example 5
Consider an admissible set of type \(\mathtt{A}_3\); \(A=\{\alpha _{1,2},\alpha _{2},\alpha _{1,3},\alpha _{2,3}\)}. Then the following is the full set of A-permissible type \(\mathtt{A}\) PBW-semistandard tableaux of shape \(\lambda = (2,1)\):
The following is an analogue of Proposition 23 for admissible sets.
Proposition 24
For an admissible set A, and for \(\lambda =\sum _{k=1}^{n}m_k\omega _k\) a dominant integral weight, the set \(\{\prod _{\alpha } f_\alpha ^{s_\alpha }\cdot v_\lambda \mid \mathbf {s} \in S_A(\lambda )\}\) is in a weight preserving one-to-one correspondence with the set of A-permissible PBW-semistandard tableaux of shape \(\lambda \).
Proof
We claim that the bijection of Proposition 23 still holds when restricted to the case of an admissible set A. Indeed, suppose \(\alpha _{i,j}\notin A\) with \(j \ge \mu _c\) and \(r=i\). Then clearly \(T_{r,c}\ne j+1\) in the corresponding tableau. And likewise for any \(\alpha _{i,\overline{j}}\notin A\), it follows that \(T_{r,c}\ne \overline{j}\) for all columns c and rows r such that \(r=i\). This together with Theorem 19 imply the result.
References
Balla, G.: Symplectic PBW degenerate flag varieties; PBW tableaux and defining equations. Transform. Groups (2022). https://doi.org/10.1007/s00031-022-09725-9
Berenstein, A., Zelevinsky, A.: String Bases for Quantum Groups of Type A_r. Kyoto University. Research Institute for Mathematical Sciences [RIMS] (1992)
Biswal, R., Fourier, G.: Minuscule Schubert varieties: poset polytopes, PBW-degenerated Demazure modules, and Kogan faces. Algebra Represent. Theory 18(6), 1481–1503 (2015). https://doi.org/10.1007/s10468-015-9548-5
Chirivi, R., Fang, X., Fourier, G.: Degenerate Schubert varieties in type A. Transform. Groups 26, 1189–1215 (2021)
Dehy, R., Yu, R.W.T.: Degeneration of Schubert varieties of \(\text{SL}_{n } /B\) to toric varieties. Ann. Inst. Fourier (Grenoble) 51(6), 1525–1538 (2001)
Fang, X., Fourier, G., Littelmann, P.: Essential bases and toric degenerations arising from birational sequences. Adv. Math. 312, 107–149 (2017). https://doi.org/10.1016/j.aim.2017.03.014
Feigin, E.: Degenerate flag varieties and the median Genocchi numbers. Math. Res. Lett. 18(6), 1163–1178 (2011)
Feigin, E.: \({\mathbb{G} }_a^m\) degeneration of flag varieties. Sel. Math. 18(3), 513–537 (2012)
Feigin, E., Fourier, G., Littelmann, P.: PBW filtration and bases for irreducible modules in type A\(_n\). Transform. Groups 16(1), 71–89 (2011a)
Feigin, E., Fourier, G., Littelmann, P.: PBW filtration and bases for symplectic lie algebras. Int. Math. Res. Not. 2011(24), 5760–5784 (2011b)
Feigin, E., Fourier, G., Littelmann, P.: Favourable modules: filtrations, polytopes, newton-okounkov bodies and flat degenerations. Transform. Groups 22(2), 321–352 (2017)
Fourier, G.: PBW-degenerated demazure modules and schubert varieties for triangular elements. J. Comb. Theory Ser. A 139, 132–152 (2016)
Gelfand, I.M., Tsetlin, M.L.: Finite-dimensional representations of the group of unimodular matrices. In Dokl. Akad. Nauk SSSR 71, 825 (1950)
Humphreys, J.E.: Introduction to Lie Algebras and Representation Theory, vol. 9. Springer Science & Business Media, Berlin (2012)
Kambaso, K.: Homogeneous bases for Demazure modules. Commun. Algebra 50(7), 2934–2953 (2022)
Kirichenko, V.A., Smirnov, E.Y., Timorin, V.A.: Schubert calculus and Gelfand–Tsetlin polytopes. Uspekhi Mat. Nauk 67(4(406)), 89–128 (2012). https://doi.org/10.1070/RM2012v067n04ABEH004804
Kogan, M.: Schubert geometry of flag varieties and Gelfand-Cetlin theory. ProQuest LLC, Ann Arbor, MI. Thesis (Ph.D.)—Massachusetts Institute of Technology (2000)
Littelmann, P.: Cones, crystals, and patterns. Transform. Groups 3(2), 145–179 (1998)
Lusztig, G.: Canonical bases arising from quantized enveloping algebras. J. Am. Math. Soc. 3(2), 447–498 (1990)
Makhlin, I.: FFLV-type monomial bases for type B. Algebraic Comb. 2(2), 305–322 (2019)
Molev, A.I.: Gelfand–Tsetlin bases for classical lie algebras. Handb. Algebra 4, 109–170 (2006)
OEIS Foundation Inc.: The on-line encyclopedia of integer sequences (2018a). https://oeis.org/A032351
OEIS Foundation Inc.: The on-line encyclopedia of integer sequences (2018b). https://oeis.org/A006012
Ohsugi, H., Hibi, T.: Quadratic initial ideals of root systems. Proc. Am. Math. Soc. 130(7), 1913–1922 (2002)
Acknowledgements
The first and third authors are supported by the Deutscher Akademischer Austauschdienst (DAAD, German Academic Exchange Service) scholarship program: Research Grants-Doctoral Programs in Germany [program-ID 57440921]. The work of the second author is funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) through [project-ID 286237555-TRR 195].
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Balla, G., Fourier, G. & Kambaso, K. PBW filtration and monomial bases for Demazure modules in types A and C. Beitr Algebra Geom 64, 887–907 (2023). https://doi.org/10.1007/s13366-022-00660-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13366-022-00660-0