Opened 5 years ago
Last modified 3 years ago
#12914 new task
Representation theory of finite semigroups
Reported by: | nthiery | Owned by: | sage-combinat |
---|---|---|---|
Priority: | major | Milestone: | sage-6.4 |
Component: | combinatorics | Keywords: | |
Cc: | sage-combinat | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | #11111,#12919 | Stopgaps: |
Description (last modified by )
Add support for representation theory of finite semigroups. Quite some stuff is available in the sage-combinat queue.
- #18230: basic hierarchy of categories for representations of monoids, lie algebras, ...
- #18001: implement categories for H, L, R, J-trivial monoids
- #16659: decomposition of finite dimensional associative algebras
- Required discussions about the current features:
- How to specify an indexing of the J-classes
- Should representation theory questions be asked to the semigroup or its algebra?
- S.character_ring(QQ, ZZ) or S.algebra(QQ).character_ring(ZZ) ?
- S.simple_modules(QQ) or S.algebra(QQ).simple_modules()?
- Character rings (code by Nicolas in the Sage-Combinat queue)
- Should this be called Character ring?
- How to specify the two base rings (for the representations / for the character ring)?
- Should left and right characters live in the same space (with realizations)?
e.g.:
- Should there be coercions or conversions between the basis of left-class modules and right-class modules?
- Should the basis of simple modules on the left and on the right be identified?
- How to handle subspaces (like for projective modules when the Cartan matrix is not invertible)
- If we discover that a semigroup is J-trivial, how to propagate this information to its algebra, character ring, ...?
- how to handle bimodules: do we want to see as two (facade?) modules, one on the left, and one on the right
- Features that remain to be implemented:
- is_r_trivial + _test_r_trivial and friends
- Group of a regular J-class
- Character table for any monoid
- Cartan matrix for any monoid
- Group of a non regular J-class
- Cartan matrix by J-classes
- Radical filtration of a module
- Recursive construction of a triangular basis of the radical
Related features:
- Toy implementation of Specht modules as quotient of the space spanned by tabloids by the span of XXX.
Code by Franco available. Dependencies: 11111=None!
- LRegularBand code by Franco
- Interface to the Monoids GAP package
- Representation theory of monoids
Change History (9)
comment:1 Changed 5 years ago by
- Cc sage-combinat added
- Component changed from PLEASE CHANGE to combinatorics
- Owner changed from tbd to sage-combinat
- Type changed from PLEASE CHANGE to task
comment:2 Changed 5 years ago by
- Dependencies set to #11111,#12919
comment:3 Changed 4 years ago by
- Milestone changed from sage-5.11 to sage-5.12
comment:4 Changed 4 years ago by
- Milestone changed from sage-6.1 to sage-6.2
comment:5 Changed 3 years ago by
- Milestone changed from sage-6.2 to sage-6.3
comment:6 Changed 3 years ago by
- Milestone changed from sage-6.3 to sage-6.4
comment:7 Changed 3 years ago by
- Description modified (diff)
comment:8 Changed 3 years ago by
- Description modified (diff)
comment:9 Changed 3 years ago by
- Description modified (diff)
Note: See
TracTickets for help on using
tickets.