label=()
A minimal Gröbner basis for simple - or -modules
Abstract.
We explicitly provide minimal Gröbner bases for simple, finite-dimensional modules of complex Lie algebras of types A and C, using a homogeneous ordering that is compatible with the PBW filtration on the universal enveloping algebras.
1. Introduction
For a Lie algebra, the PBW (Poincaré-Birkhoff-Witt) filtration on its enveloping algebra is induced by the natural degree. The famous PBW theorem states that the associated graded algebra is the symmetric algebra. PBW filtrations and degenerations of simple, finite-dimensional, complex Lie algebras and their finite-dimensional modules have been in focus in the past fifteen years, due to their geometric implications (see, for example, [Fei12]) and their related combinatorics ([BF20, FR21]). In [FFoL11, FFoL11a], new monomial bases (sometimes called FFLV bases) of these modules that are compatible with the PBW filtration have been provided.
Simple, finite-dimensional modules for simple, finite-dimensional complex Lie algebras are indexed by their highest weight . Then for a left ideal . In this note, we are considering a monomial ordering on introduced in [FFoL11, FFoL11a] and compute an explicit (left-) Gröbner basis (see Definition 2.4) for . Since we are using the results of loc. cit., we restrict ourselves to Lie algebras of type and . The main theorem is
Theorem.
Let be of type or , and a dominant integral weight. is a minimal (left) Gröbner basis of and the induced monomial basis of is the FFLV basis.
The first non-trivial example is for , and being the highest root (or the minimal regular, dominant, integral weight). A minimal Gröbner basis is then (the simple roots are ) for the particular ordering (see Section 2.3):
Our proofs rely on the straightening law proved in loc. cit. Although FFLV type bases are known for ([Gor15]) and in type ([Mak19]), our methods cannot be applied right away as they do not provide a similar straightening law.
Note that Gröbner bases of have been computed in the context of Gröbner-Shirshov bases for different orderings, for example in [KL00]. Their monomial basis provides a Gelfand-Tsetlin type monomial basis [GC50] instead of the FFLV basis.
Note further that is generally not reduced. Consider for ; then one has
as an element of . Since is also contained, the set is not reduced. These computations are carried out using OSCAR [Osc] and the implementation of the Gröbner basis for other types can be found in the latter.
The paper is organized as follows: In Section 2, we recall the PBW filtration and the FFLV polytopes. In Section 3, we provide the proof of the main result.
Acknowledgments The first author gratefully acknowledges financial support by the DFG –Project-ID 286237555–TRR 195. The authors would like to express their gratitude to Thomas Breuer for his patient explanations of GAP.
2. Preliminaries
Let be a finite-dimensional, complex simple Lie algebra and be a triangular decomposition. We denote the set of roots (positive roots resp.) (), the simple roots are denoted , the weight lattice , the dominant weights .
The fundamental weights are denoted . For each , we fix root operators and . The universal enveloping algebra is denoted .
For , we denote the simple, finite-dimensional highest weight module of highest weight and fix a highest weight vector , then . We denote the defining left ideal of as a module for .
2.1. PBW filtration
For a given Lie algebra , there is a natural filtration on the universal enveloping algebra :
The PBW theorem states, that the associated graded algebra is isomorphic to the symmetric algebra on (the vector space) . Consequently, for every cyclic -module with fixed generator , we obtain an induced -module .
We apply this construction to and the cyclic module with generator . In this case, we are not only obtaining a -module structure on but, since the PBW filtration on is invariant under the -action, an action of . This is called the PBW degenerate module , we denote the defining ideal.
We recall from [FFoL11, FFoL11a] the notion of Dyck paths for Lie algebras of type and . Here write short and for . We introduce an ordering on positive roots
with . Let be of type or , a sequence of positive roots is called a Dyck path if
-
•
is a simple root.
-
•
is either a simple root or highest root of a type root system.
-
•
for all .
The set of Dyck paths starting in and ending in are denoted , the Dyck paths starting in and ending in any highest root of a type subdiagram are denoted . The following has been shown in [FFoL11, FFoL11a]
Theorem 2.2.
Let , then
forms a basis of and for any fixed ordering in the monomials also a basis of .
2.3. Gröbner bases
For the following, we need to introduce a bit of notation:
Let , we set . Then is also the partition . Let be supported on the roots of the subdiagram induced from .
Since is finitely generated and is a G-algebra (also known as PBW algebra or algebra of solvable type), a (left-)Gröbner basis exists for each adequate monomial ordering (see [KRW90]). We recall the monomial ordering on introduced in [FFL17] here:
A refinement of the natural ordering on positive roots is called a good ordering, for example for . We consider the induced degree reverse lexicographic ordering on (all root vectors have degree and ) and extend this to by setting .
For type we set
to define (following again [FFoL11])
To ease the notation, we do not recall in type but refer to [FFoL11a, Theorem 3.4].
Definition 2.4.
We define the Gröbner basis as the union of and
Here compares componentwise.
The main result of this paper is the following
Theorem 2.5.
is a minimal Gröbner basis of with respect to the ordering .
Corollary 2.6.
If is the left ideal in generated by , then is also a minimal Gröbner basis of .
Proof.
The PBW degeneration is compatible with the monomial ordering. ∎
3. Proof of the main result
The following proposition is a standard result deduced from the PBW theorem.
Proposition 3.1.
Let be an ordered product in . For each permutation , there exists , such that
with .
The proof of Theorem 2.5 consists of three steps as we outline here. We denote the ideal generated by the set .
-
Step 1
Prove that
-
Step 2
Prove that is a Gröbner basis.
-
Step 3
Prove that is a minimal Gröbner basis.
Step 1.
as left ideal is generated by ([Hum78, Theorem 21.4])
These elements are contained in and hence . On the other hand, let be supported on a Dyck path and , then and hence . Which implies and so . ∎
Step 2.
By definition of a Gröbner basis, we have to show that
Let , we order each term of with respect to . Then the leading term of is of the form
If there is with , then . If for all and there exists with . Using , showing that reduces to showing that for all such that , that is for all .
Suppose now with leading term . Suppose there is no Dyck path such that , then is in the FFLV basis of and since , with , . So there exists with . We set
We can assume that is a minimal (by length) Dyck path on which violates the FFLV conditions and adjust such that . Then and is a multiple of . ∎
Step 3.
Let and suppose . Then there exists with such that is a multiple of .
Let such that and . Let (resp. ) be the Dyck paths whose conditions are violated (following the definition of ).
Then . Since divides , one has .
One can adjust on the complement of such that . If , this would imply that since .
Hence, the total degrees of and are equal and accordingly, so which is not possible due to the construction of .
∎
References
- [BF20] Ange Bigeni and Evgeny Feigin “Symmetric Dellac configurations” In J. Integer Seq. 23.4, 2020, pp. Art. 20.4.6, 32
- [Fei12] Evgeny Feigin “ degeneration of flag varieties” In Selecta Math. (N.S.) 18.3, 2012, pp. 513–537 DOI: 10.1007/s00029-011-0084-9
- [FFL17] Evgeny Feigin, Ghislain Fourier and Peter Littelmann “Favourable modules: filtrations, polytopes, Newton-Okounkov bodies and flat degenerations” In Transform. Groups 22.2, 2017, pp. 321–352 DOI: 10.1007/s00031-016-9389-2
- [FFoL11] Evgeny Feigin, Ghislain Fourier and Peter Littelmann “PBW filtration and bases for irreducible modules in type ” In Transform. Groups 16.1, 2011, pp. 71–89 DOI: 10.1007/s00031-010-9115-4
- [FFoL11a] Evgeny Feigin, Ghislain Fourier and Peter Littelmann “PBW filtration and bases for symplectic Lie algebras” In Int. Math. Res. Not. IMRN, 2011, pp. 5760–5784 DOI: 10.1093/imrn/rnr014
- [FR21] Xin Fang and Markus Reineke “Supports for linear degenerations of flag varieties” In Doc. Math. 26, 2021, pp. 1981–2003
- [GC50] I. M. Gelfand and M. L. Cetlin “Finite-dimensional representations of the group of unimodular matrices” In Doklady Akad. Nauk SSSR (N.S.) 71, 1950, pp. 825–828
- [Gor15] A. A. Gornitskiĭ “Essential signatures and canonical bases of irreducible representations of the group ” In Mat. Zametki 97.1, 2015, pp. 35–47 DOI: 10.4213/mzm10384
- [Hum78] James E. Humphreys “Introduction to Lie algebras and representation theory” Second printing, revised 9, Graduate Texts in Mathematics Springer-Verlag, New York-Berlin, 1978, pp. xii+171
- [KL00] Seok-Jin Kang and Kyu-Hwan Lee “Gröbner-Shirshov bases for irreducible -modules” In J. Algebra 232.1, 2000, pp. 1–20 DOI: 10.1006/jabr.2000.8381
- [KRW90] A. Kandri-Rody and V. Weispfenning “Non-commutative Gröbner bases in algebras of solvable type” In Journal of Symbolic Computation 9.1, 1990, pp. 1–26 DOI: 10.1016/S0747-7171(08)80003-X
- [Mak19] Igor Makhlin “FFLV-type monomial bases for type B” In Algebr. Comb. 2.2, 2019, pp. 305–322 DOI: 10.5802/alco.41
- [Osc] “OSCAR – open source computer algebra research system”, 2023 URL: https://github.com/oscar-system/Oscar.jl/