Change Weyl group action to a right action#4374
Merged
lgoettgens merged 3 commits intooscar-system:masterfrom Dec 4, 2024
Merged
Change Weyl group action to a right action#4374lgoettgens merged 3 commits intooscar-system:masterfrom
lgoettgens merged 3 commits intooscar-system:masterfrom
Conversation
lgoettgens
added
topic: lie theory
experimental
Codecov ReportAttention: Patch coverage is
Additional details and impacted files@@ Coverage Diff @@
## master #4374 +/- ##
==========================================
+ Coverage 84.34% 84.41% +0.07%
==========================================
Files 651 656 +5
Lines 86749 87720 +971
==========================================
+ Hits 73168 74050 +882
- Misses 13581 13670 +89
|
lgoettgens
commented
Dec 2, 2024
Member
Author
lgoettgens
left a comment
lgoettgens
left a comment
There was a problem hiding this comment.
For the two places in the code, where this PR just adds a very stupid (but computationally expensive) workaround (see the two comments below), @felix-roehrich and I just talked and have the following path forward:
- Merge this PR (it works, and it is better to have the large breaking change in as early as possible)
- Change the internally used normal form for Weyl group element words (from short revlex to short lex), including basic operations like
*. - Adapt the more complex functionality to the new normal form, get rid of the two workarounds added here.
| # reversing word means it is in short revlex normal form | ||
| # and it is the element taking original w to new w | ||
| return w, weyl_group(root_system(w))(reverse!(word); normalize=false) | ||
| return w, weyl_group(root_system(w))(word; normalize=true) # TODO: is normalize=true necessary? |
| # return state, state | ||
| # TODO: change internals of iterator to return (wt, x) with wt*x == iter.weight instead of the hack below | ||
| wt, x = state | ||
| return (wt, inv(x)), state |
lgoettgens
force-pushed
the
lg/weyl-action
branch
2 times, most recently
from
6f1df3b to
4f29652
Compare
Member
Author
This was a lot easier to do than I anticipated: it is already finished in #4375. This one here is good to go from my POV. #4375 will get rebased as soon as this one here is merged. |
fingolfin
approved these changes
Dec 3, 2024
Member
|
Fine by me but perhaps let's wait till triage with merging this just in case there is more feedback? |
Member
Author
|
Re-running CI to verify that this does not break #4260 that was merged in the meantime. |
Member
Author
|
Triage had no objections. Will merge later this afternoon |
fingolfin
pushed a commit
that referenced
this pull request
Dec 5, 2024
#4375) * Change WeylGroupElem normal form to short lex * Needed test changes * Clean up `conjugate_dominant_weight_with_elem` * Add `is_in_normal_form` test for Weyl group isomorphisms * Adapt AlgebraicShifting tests
lgoettgens
changed the title
lgoettgens
added
the
release notes: use title
fingolfin
changed the title
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
After some discussion with @fingolfin we came to the conclusion, that Weyl groups should not have the special role they have right now, but should follow the Oscar rule that all group actions are from the right, out of consistency.
Other mathematical areas have swallowed the pill as well.
pinging all people that could be affected by this change: @felix-roehrich @janikapeters @gfourier @joschmitt @antonydellavecchia @flenzen