Opened 4 years ago
Closed 4 years ago
#26074 closed enhancement (fixed)
Subcategories and base class for nilpotent Lie algebras
Reported by: | gh-ehaka | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-8.4 |
Component: | categories | Keywords: | Lie algebras, nilpotent, graded, stratified |
Cc: | tscrim | Merged in: | |
Authors: | Eero Hakavuori, Travis Scrimshaw | Reviewers: | Travis Scrimshaw, Eero Hakavuori |
Report Upstream: | N/A | Work issues: | |
Branch: | 120c02a (Commits, GitHub, GitLab) | Commit: | 120c02af8877a76a06590d6a06c414ff3e7e1167 |
Dependencies: | Stopgaps: |
Description
Implementation of subcategories for nilpotent, graded and stratified Lie algebras, and a base class and constructor for nilpotent Lie algebras mimicking LieAlgebraWithStructureCoefficients
.
Change History (19)
comment:1 Changed 4 years ago by
- Cc tscrim added
- Status changed from new to needs_info
comment:2 Changed 4 years ago by
So Nilpotent
is definitely an axiom and Graded
is definitely a functorial construction. Now for Stratified
, I am not certain it is not an axiom. It is somewhat like Connected
for Hopf algebras, an axiom that only makes sense in the Graded
category. I think if we have a Lie algebra that is some axiom X and stratified, then it is an X stratified Lie algebra.
Most of your implementation of the categories is good on a quick look-over. There are a few things that could be simplified that I can work on tomorrow to make the structures a little cleaner given the code that is currently in the categories. We can easily expand things out later if there is a use for them. I think the easiest way to explain things will be me making some commits with the changes with some comments here, but if you would rather me just give comments, then let me know.
As to realizing the correct category, there is a _refine_category
method that you can call later once you have computed some properties. This is what Zmod(p)
does:
sage: P = Zmod(5) sage: P.category() Join of Category of finite commutative rings and Category of subquotients of monoids and Category of quotients of semigroups and Category of finite enumerated sets sage: P in Fields() True sage: P.category() Join of Category of finite enumerated fields and Category of subquotients of monoids and Category of quotients of semigroups
I should caution that this has been known to cause issues in the past, but mostly because these get used as the base ring (and hence, parameterize the category) for other objects. Although for general purpose classes, I am inclined to force the user to ask for such a property (such as in the example above), which can include calling particular methods.
+1 for the added option to lower_central_series
. That is good for optimization purposes (e.g., if you only need the length of the central series).
As previously mentioned, I will take a detailed look tomorrow. I am assuming I can otherwise treat the code as needs review.
comment:3 Changed 4 years ago by
Feel free to make any changes, I agree that it is much easier to understand things with something concrete to look at. The Zmod
example is also very good to know, I did not know that categories do not necessarily have to be 'stable' post-initialization.
Your final assumption is correct, other than my confusion about the categories, I would have classified the code as 'needs review'.
comment:4 Changed 4 years ago by
- Branch changed from u/gh-ehaka/nilpotent_lie_algebras to public/lie_algebras/base_class_nilponent-26074
- Commit changed from 19c27ebb9f0952df7ab9e607a94574f6b8d1c5cf to 8b3c58560a44a449d4757c72c5d5e81ef5fef723
- Reviewers set to Travis Scrimshaw, Eero Hakavuori
- Status changed from needs_info to needs_review
I have made it through and reworked the categories around a bit, but it is more in line with what should be done (at least as I have learned it). As some extra test cases, I made the Heisenberg Lie algebra(s) in the nilpotent category.
I have done a few other tweaks to the doc and code, including fixing some other cases for product_space(submodule=True)
exposed by the matrix Heisenberg Lie algebra. I am not sure about the separate NilpotentLieAlgebra
constructor as I feel like we should have a way to connect it with the general LieAlgebra
constructor, perhaps via a nilpotent=True
argument. That way we have fewer top-level entry points and gives better exposure to the user. I am also okay pushing that off to a later ticket, but I'd like to hear your thoughts on the matter.
Hopefully these changes (currently) will not cause you too many refactoring problems with later tickets.
New commits:
a571c1b | Reworking things in the categories.
|
9b6c1fe | Adding Heisenberg to nilpotent Lie algebras.
|
158bfdb | Fix to product_space() for when L is not a true subalgebra of A.
|
293901e | Fixed a test for _test_generated_by_degree_one().
|
8658e9d | Fixing print order for fin-dim nilpotent Lie algebras with basis.
|
726639f | Some last little cleanup.
|
8b3c585 | A better failure example for _test_generated_by_degree_one and some more doc.
|
comment:5 Changed 4 years ago by
Thanks for the improvements, looks quite good to me. Probably you are right about the NilpotentLieAlgebra
constructor that the logic would be better inside LieAlgebra
instead. It would also make sense to include in this ticket I think.
I noticed in the edits the extra_super_categories
of finite dimensional stratified Lie algebras with basis got dropped. Currently we have for example
sage: C = LieAlgebras(QQ).FiniteDimensional().WithBasis().Graded().Stratified() sage: C is C.Nilpotent() False
whereas mathematically this should be True. Then again this does not really depend on the basis, so if I understand correctly, the right place to add the extra_super_categories
would be in GradedLieAlgebras.Stratified
with an 'if finite dimensional' clause.
I will add this and move the NilpotentLieAlgebra
constructor inside LieAlgebra
later today.
Regarding the text presentation of the categories, the automatic printing is a bit cumbersome:
sage: LieAlgebras(QQ).FiniteDimensional().WithBasis().Graded().Stratified().Nilpotent() Category of finite dimensional stratified nilpotent graded lie algebras with basis over Rational Field
It makes sense to have Stratified
as an axiom under Graded
, but the automatic terminology 'stratified graded' or 'stratified X graded' sounds clunky. Would it be valid to replace 'stratified graded' with just 'stratified'? If so, what would be the most convenient way to systematically make this change for all axiom permutations?
comment:6 Changed 4 years ago by
- Commit changed from 8b3c58560a44a449d4757c72c5d5e81ef5fef723 to f1a0b1ede04fd5e24772ad9550a2467db171d6f9
Branch pushed to git repo; I updated commit sha1. New commits:
a1e1ace | Refactored nilpotent Lie algebra constructor into Lie algebra constructor
|
14fcd30 | Deduction rule for the fact that finite dimensional stratified Lie algebras are nilpotent
|
f1a0b1e | Docstring fix for indexing of grading of a stratification
|
comment:7 follow-up: ↓ 10 Changed 4 years ago by
I removed the NilpotentLieAlgebra
constructor and inserted the logic into LieAlgebra
adding a new boolean parameter nilpotent
, which currently only comes into play if the constructor is passed a dictionary of structural coefficients.
I added the 'finite dimensional + stratified => nilpotent' deduction to GradedLieAlgebras.Stratified.FiniteDimensional
. At least now the following works
sage: C = LieAlgebras(QQ).FiniteDimensional().Graded().Stratified() sage: C is C.Nilpotent() True
and it didn't break the existing deduction
sage: C = LieAlgebras(GF(5)).Graded().Stratified().FiniteDimensional() sage: C.is_subcategory(Sets().Finite()) True
so I assume adding the FiniteDimensional
subclass didn't break anything.
I also fixed some doctests in sage.algebras.lie_algebras.LieAlgebra
that were failing since I added the nilpotent category to abelian Lie algebras.
comment:8 Changed 4 years ago by
- Commit changed from f1a0b1ede04fd5e24772ad9550a2467db171d6f9 to 0fa41adae20fd16a97587a542c3ee4c9781d20ee
comment:9 Changed 4 years ago by
- Commit changed from 0fa41adae20fd16a97587a542c3ee4c9781d20ee to 53a10be657d3ea6dfeb3373b762f4d8645047b97
Branch pushed to git repo; I updated commit sha1. New commits:
53a10be | Adding an extra doctest and fix for the category option.
|
comment:10 in reply to: ↑ 7 Changed 4 years ago by
Replying to gh-ehaka:
I removed the
NilpotentLieAlgebra
constructor and inserted the logic intoLieAlgebra
adding a new boolean parameternilpotent
, which currently only comes into play if the constructor is passed a dictionary of structural coefficients.
Thank you. Looks good. I added an extra option so that when given NilpotentLieAlgebras
as a category, then it automatically considers nilpotent=True
.
I added the 'finite dimensional + stratified => nilpotent' deduction to
GradedLieAlgebras.Stratified.FiniteDimensional
. At least now the following works
Sorry about loosing that. Yes, this is the correct way to do it.
I also fixed some doctests in
sage.algebras.lie_algebras.LieAlgebra
that were failing since I added the nilpotent category to abelian Lie algebras.
I fixed two others that were coming back from the patchbot.
I know the text representation of the category is not very good. I will see if I can make it better (I think you can, but I need to dig around a little and experiment), but beyond that, I am happy with things here.
comment:11 Changed 4 years ago by
The edits all look good to me. I would be ok with marking this as positive review and handling the category repr improvements eventually in a later ticket as it is only a cosmetic fix.
comment:12 Changed 4 years ago by
- Commit changed from 53a10be657d3ea6dfeb3373b762f4d8645047b97 to a5ec3adf73a86bd3e2175be25c47966a85d08f13
Branch pushed to git repo; I updated commit sha1. New commits:
a5ec3ad | Moving the axioms around for better printing.
|
comment:13 follow-up: ↓ 14 Changed 4 years ago by
Here is the improvements to the category repr. The "stratified graded" -> "stratified" was a standard(ish) workaround. Removing the "nilpotent" was a bit more work, but mainly because we do not want to say "nilpotent finite dimensional Lie algebras". However, it falls under the same workaround as the other. So if these last changes are good, then positive review.
comment:14 in reply to: ↑ 13 Changed 4 years ago by
- Status changed from needs_review to positive_review
Replying to tscrim:
Here is the improvements to the category repr. The "stratified graded" -> "stratified" was a standard(ish) workaround. Removing the "nilpotent" was a bit more work, but mainly because we do not want to say "nilpotent finite dimensional Lie algebras". However, it falls under the same workaround as the other. So if these last changes are good, then positive review.
Very nice! The various combinations of finite dimensional, graded, stratified and nilpotent all printed quite well now in my opinion.
comment:15 Changed 4 years ago by
- Commit changed from a5ec3adf73a86bd3e2175be25c47966a85d08f13 to 8f7aac54ad2479eb6f4044643043aae48e5093f7
- Status changed from positive_review to needs_review
Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. New commits:
8f7aac5 | Added missing files to documentation, removed non-existent one that was causing docbuild to fail
|
comment:16 Changed 4 years ago by
Docbuild was failing because of the non-existent module sage/categories/examples/finite_dimensional_nilpotent_lie_algebras_with_basis
which I assume was meant to be sage/categories/finite...
as that link was missing. Also added the nilpotent_lie_algebra
link to the Lie algebra index and corrected a typo that was causing the documentation to display strangely.
I'll leave the ticket as needs review until it is verified that the doc changes were correct as I have not tried to modify the automatic html reference before.
comment:17 Changed 4 years ago by
- Commit changed from 8f7aac54ad2479eb6f4044643043aae48e5093f7 to 120c02af8877a76a06590d6a06c414ff3e7e1167
Branch pushed to git repo; I updated commit sha1. New commits:
120c02a | Some trivial fixes.
|
comment:18 Changed 4 years ago by
- Status changed from needs_review to positive_review
Yep, LGTM. Thank you for catching and fixing that. I made some trivial changes and am allowing myself to set this to a positive review (I changed the Vk to Lk to be consistent notationally; feel free to revert the positive review if you disagree).
comment:19 Changed 4 years ago by
- Branch changed from public/lie_algebras/base_class_nilponent-26074 to 120c02af8877a76a06590d6a06c414ff3e7e1167
- Resolution set to fixed
- Status changed from positive_review to closed
An initial working copy of the implementation is in the commits. Whether the category framework was used correctly I do not know. In particular the distinction between axioms like
.Finite()
and covariant functorial constructions as insage.categories.graded_modules
to implement.Graded()
was not clear to me.Currently, based on my understanding of http://doc.sagemath.org/html/en/reference/categories/sage/categories/primer.html#difference-between-axioms-and-regressive-covariant-functorial-constructions, I added
Nilpotent
as an axiom andGraded
andStratified
as covariant constructions. Comments on these choices or correction suggestions about how to use the category framework correctly are very welcome. As it is now, all the implemented methods seem to work as they should, but I do not know if some kind of mistake is lurking beneath the surface.Moreover, the examples are currently slightly hand-built (e.g. by forcing an extra category on a nilpotent Lie algebra constructor). The main issue that I do not how to solve is that even in the case when the e.g. the natural stratification can be deduced (as in the implementation of the
degree_on_basis
method insage.categories.graded_lie_algebras.FiniteDimensionalStratifiedLieAlgebrasWithBasis
) the easy construction to verify the extra properties uses the constructed object itself. That is, the correct category is very difficult to deduce until after the parent has been initialized, and computation with its elements is possible. How would one approach this kind of problem?Additionally, as a minor tweak I added an extra parameter
submodule
to thelower_central_series
method insage.categories.finite_dimensional_lie_algebras_with_basis
to compute the lower central series purely in terms of submodules as was already done in theproduct_space
method. Otherwise the nilpotency testing would require implementing ideals or writing the already existing code again somewhere else.