Opened 9 years ago

# Limit roots in the geometric representation of Coxeter groups — at Version 11

Reported by: Owned by: Nicolas M. Thiéry major sage-6.4 group theory days57, plot, coxeter, days64 Sage Combinat CC user, Jean-Philippe Labbé, Vivien Ripoll, Travis Scrimshaw Jean-Philippe Labbé, Vivien Ripoll N/A #15703

Related tickets:

TODO:

• Cleanup this description!!!!!
• Do an experiment to produce a picture of limit roots.
• Shoot straight at producing a nice plot with a bunch of limit roots.
• Post the picture here.
• Benchmark the calculation.
• Every hack along the way is fair.
• Update the TODO list below with what would need to be done for a proper implementation.

Matrix representation for Coxeter groups

• [ ] Root space for general Coxeter groups

sage: L = RootSystem?(<"generalized" coxeter matrix>).root_space() sage: W = L.reflection_group() returns an instance of "CoxeterMatrixGroup?"

http://trac.sagemath.org/ticket/15703 Make it full featured

Inside the hierarchy: CoxeterGroups? FiniteCoxeterGroups? WeylGroups? Lorenzian/HyperbolicCoxeterGroups?: generic methods for Coxeter groups in an appropriate matrix representation

• [ ] Allow <-1 coefficients in the Coxeter diagram, see #17798 and #16126
• [ ] positive roots by depth
• [X] Missing: elements of the group as matrices: for free from the above
• [X] fundamental weights in the root space
• [X] finding all reduced words
• [ ] signature of the bilinear form
• [ ] parabolic elements / elliptic elements of the group

algo: build all elements, and select those by a criterion of diagonalizability and max modulus of the eigenvalues

• [ ] Compute limit roots L.limit_roots(...)
• [ ] Visualize limit roots L.plot_limit_roots()

### comment:3 Changed 9 years ago by Frédéric Chapoton

Description: modified (diff)

### comment:4 Changed 9 years ago by Travis Scrimshaw

I'm (still) working on Lorentzian/Hyperbolic Cartan types in #15974 and I can post my preliminary work there if you want as well.

Last edited 9 years ago by Travis Scrimshaw (previous) (diff)

### comment:5 Changed 9 years ago by Jean-Philippe Labbé

Dear Travis,

Yes! that would be great to have a look at what is already available!

Is the hyperbolic Cartan type you mean the one of Bourbaki, Chein'69 (given in Humphreys). Where there are the compact and finite-volume fundamental chambers?

We focus more on the general implementation of Coxeter groups where it is possible to choose different values for the label "oo" for the bilinear form giving "generalized" Coxeter graphs, so no conflict in sight a priori. A classification of Lorentzian/Hyperbolic? Cartan types is good to have too!

You may have a look at http://arxiv.org/abs/1310.8608, where the generalized Coxeter graphs of "level 2" are classified. These Coxeter groups act on Lorentzian/hyperbolic space too. In this definition, "level 1" correspond to the union of finite-volume and compact hyperbolic Coxeter groups.

### comment:6 Changed 9 years ago by Travis Scrimshaw

Hey Jean-Philippe,

Not quite. A hyperbolic Cartan type is an indefinite type, which when you remove any node, you get an affine or finite Cartan type (and compact means they are all finite type). This is the Cartan type version analogous statement to Prop 6.8 from Humphreys.

From this, there are only a finite number of rank 3 types, and nothing with would generate a label of 5 in the corresponding Coxter graph. So the Coexter graphs from these Cartan types would span a large subclass of the hyperbolic, but would not include all hyperbolic Coxeter diagrams (akin to the finite type).

It might be worthwhile (mathematically) to look at level k Cartan types too.

So we're doing different things, but with some potential overlap. I want to try and mitigate conflicts and duplication (if there would be any). I've posted my current WIP in case there's anything you want to pull from that, and any comments/suggestions you have are useful too. Be warned, it's somewhat of a mess still.

### comment:7 Changed 9 years ago by Jean-Philippe Labbé

Description: modified (diff)

Hey Travis,

Ok, great! What you just said correspond for Cartan type to the "level 1" definition for "generalized" Coxeter graphs introduced by Maxwell in '82 (Sphere packings and hyperbolic re ection groups, J. Algebra 79 (1982), no. 1, 78-97.)

We will have a look at the patch!

### comment:8 Changed 9 years ago by Jean-Philippe Labbé

Dependencies: → #15703 modified (diff)

### comment:9 Changed 9 years ago by For batch modifications

Milestone: sage-6.2 → sage-6.3

### comment:10 Changed 8 years ago by For batch modifications

Milestone: sage-6.3 → sage-6.4

### comment:11 Changed 8 years ago by Jean-Philippe Labbé

Description: modified (diff)