Opened 5 years ago

Last modified 5 years ago

#20420 new enhancement

Implement dual braid monoids/groups and Hecke algebras for complex reflection groups

Reported by: tscrim Owned by: sage-combinat
Priority: major Milestone: sage-7.2
Component: combinatorics Keywords:
Cc: sage-combinat, stumpc5, vripoll Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges


Using the non-crossing partition lattice, we can implement a Garside structure for dual braid monoids and groups for (well-generated) Complex reflection groups. Moreover, we can use this to implement the Hecke algebras.

Change History (2)

comment:1 Changed 5 years ago by stumpc5

Here is a first trivial way of getting a (non-reduced) presentation for the dual braid monoid:

sage: W = ReflectionGroup(24); W.is_well_generated()
sage: NC = W.noncrossing_partition_lattice()
sage: X = W.reflections().inverse_family()
sage: for chain in NC.maximal_chains():^J    print [ X[chain[i-1].inverse()*chain[i]] for i in range(1,len(chain)) ]

For whatever reason, here is the documentation of Hecke algebras in Chevie:

comment:2 Changed 5 years ago by vripoll

  • Cc vripoll added
Note: See TracTickets for help on using tickets.