Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Implement Milnor fiber and Coxeter complexes and posets #34936

Closed
tscrim opened this issue Jan 26, 2023 · 7 comments
Closed

Implement Milnor fiber and Coxeter complexes and posets #34936

tscrim opened this issue Jan 26, 2023 · 7 comments
Labels
c: combinatorics p: major / 3 t: enhancement

Comments

@tscrim
Copy link
Collaborator

tscrim commented Jan 26, 2023

The Milnor fiber complex is defined by using standard parabolic cosets for well-generated complex reflection group W. When W is a Coxeter group, this is the Coxeter complex. The corresponding face poset also makes sense even when W is not well-generated, but it is no longer a meet semilattice (in all of the cases I tested, I don't have a proof though).

Depends on #34912

CC: @stumpc5 @fchapoton

Component: combinatorics

Keywords: complex reflection group

Author: Travis Scrimshaw

Branch/Commit: public/combinat/coxeter_milnor_complex-34936 @ d353472

Issue created by migration from https://trac.sagemath.org/ticket/34936
@tscrim tscrim added this to the sage-9.8 milestone Jan 26, 2023
@tscrim
Copy link
Collaborator Author

tscrim commented Jan 26, 2023

Dependencies: #34912

@tscrim
Copy link
Collaborator Author

tscrim commented Jan 26, 2023

Commit: d353472

@tscrim
Copy link
Collaborator Author

tscrim commented Jan 26, 2023

comment:1

#34912 is needed for a hashing issue (writing this is how I discovered it).

New commits:

498e8dbfaster iteration for complex non-real reflection group and new hash
518ecbfMerge branch 'u/stumpc5/reduced_words_of_reflectiongroup_elements_are_not_well_defined' of https://github.com/sagemath/sagetrac-mirror into u/tscrim/hash_reflection_groups-34912
3a1a03aUpdating `__hash__` and updating gap3 doctests to pass.
14d6f61Adding some systematic doctests and one detail.
d353472Implementation of Milnor fiber/Coxeter complex/poset.

@tscrim
Copy link
Collaborator Author

tscrim commented Jan 26, 2023

Branch: public/combinat/coxeter_milnor_complex-34936

@mkoeppe mkoeppe removed this from the sage-9.8 milestone Jan 29, 2023
@tscrim tscrim mentioned this issue Feb 9, 2023
Merged
@fchapoton fchapoton mentioned this issue Sep 6, 2023
Merged
4 tasks
vbraun pushed a commit to vbraun/sage that referenced this issue Sep 16, 2023
8c04027 
sagemathgh-35038: Implement Milnor fiber and Coxeter complexes
    
Implements Milnor fiber and Coxeter complexes and their associated
posets. sagemath#34936

Dependencies: sagemath#34912
    
URL: sagemath#35038
Reported by: Travis Scrimshaw
Reviewer(s): Frédéric Chapoton, Travis Scrimshaw
@fchapoton
Copy link
Contributor

can this be closed as fixed ?

@fchapoton
Copy link
Contributor

@tscrim : can we close this issue ?

@tscrim
Copy link
Collaborator Author

tscrim commented Jun 9, 2024

Yes, indeed.

@tscrim tscrim closed this as completed Jun 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
c: combinatorics p: major / 3 t: enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@tscrim @fchapoton @mkoeppe