Opened 6 years ago

Last modified 3 years ago

#17989 new enhancement

Double Affine Hecke Algebra

Reported by: nthiery Owned by:
Priority: major Milestone: sage-8.2
Component: combinatorics Keywords: daha, days64
Cc: sage-combinat, aschilling, bump Merged in:
Authors: Mark Shimozono Reviewers: Dan Bump, Travis Scrimshaw, ...
Report Upstream: N/A Work issues:
Branch: public/combinat/double_affine_hecke_algebra-17989 (Commits, GitHub, GitLab) Commit: bbb257dd9e1b85087e885e55d2e71a5957c9fa81
Dependencies: #15375 Stopgaps:

Status badges

Description

This ticket implements the Double Affine Hecke Algebra, with multiple bases, ...

Change History (20)

comment:1 Changed 6 years ago by nthiery

  • Branch set to u/mshimo/combinat/double_affine_hecke_algebra
  • Cc aschilling bump added
  • Commit set to da9705f7d218478f6d5e24adce0872b4196198ba

comment:2 Changed 6 years ago by nthiery

Some notes from the discussion at SD64:

  • Generic features to be extracted from #15375
  • Exp functor:

Currently in sage/groups/exp.py ; could be sage/monoids/exp.py

class Exp(...)

def log(self):

return self._log

sage: Exp(my_additive_group) sage: Exp(additive_group_morphism)

sage: my_additive_group.exp() # return the associated multiplicative group

Possibly make it a functorial construction (can be postponed to later):

Create sage.categories.additive_group_exp along the lines of sage.categories.cartesian_product

class AdditiveMagmas?:

class Exp:

class ParentMethods?:

@abstract_method def log(self):

...

class ElementMethods?:

def _mul_(self, other):

return self.parent()(self.value+other.value)

class Unital:

class Exp:

class ParentMethods?:

def one():

return self(self.log().zero())

....

  • Semidirect product of groups: Put Mark's implementation in sage.groups.semidirect_product.SemiDirectProduct?

Have Groups.ParentMethods?.semidirect_product call it (currently it says NotImplemented?)

Bonus: if PermutationGroup?.semidirect_product is called with the second group not being a permutation group, call the generic implementation. Same for finitely presented groups.

  • Generic features to be extracted from #17989 (Daha)
  • Improvements to tensor products
  • Tensor product of morphisms (see ticket by Nicolas Borie?)
  • Tensor products without flattening? For tensor product of algebras

What happens in Sage if you one does a tensor product of algebras that are themselves tensor products? *boom*

To be further discussed; probably tensor_product should take a flag flatten=True

  • Smash product

comment:3 Changed 6 years ago by git

  • Commit changed from da9705f7d218478f6d5e24adce0872b4196198ba to b0415ee829c9946643093faafe3636e94b4ce888

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

d146bddMerge branch 'public/combinat/extended_affine_weyl_groups-15375' of git://trac.sagemath.org/sage into public/combinat/extended_affine_weyl_groups-15375
870af0415375: small change
cb2c7d7added generators methods
09cea03Merge branch 'extendedJune9' into nowdaha
c5386affixing fundamental group list method
9e25defimplemented list method for fundamental group
c76530bMerge branch 'extendedJune9' into nowdaha
4438e09fixed bugs related to finiteness of fundamental group
31c67fdMerge branch 'extendedJune9' into nowdaha
b0415eefixed doctests in affine hecke algebra

comment:4 Changed 6 years ago by mshimo

This is still messed up, specifically deciding the right category for tensor products. However most doctests pass.

comment:5 Changed 6 years ago by git

  • Commit changed from b0415ee829c9946643093faafe3636e94b4ce888 to 22a623bbaac577ff5623d650e1d0958f320bcc12

Branch pushed to git repo; I updated commit sha1. New commits:

addcb09fixed group_generators methods
c021d0315375: removed from_vector_notation
b9152e2Merge branch 'public/combinat/extended_affine_weyl_groups-15375' of trac.sagemath.org:sage into extended
f36f4aamade fixes suggested by Nicolas; added __iter__ method to fundamental group
22a623bMerge branch 'extended' into daha

comment:6 Changed 6 years ago by git

  • Commit changed from 22a623bbaac577ff5623d650e1d0958f320bcc12 to 799d8ddce92e0c745f4d8e64ea38cbca987a1de8

Branch pushed to git repo; I updated commit sha1. New commits:

e7aedfcfixed __iter__ method
93f5adfremoved is_finite method for extended affine Weyl groups and added Finite() and Infinite() information to category
1c57d0bMerge branch 'extended' into daha
799d8ddfixed an_element change in doctest in affine_hecke_algebra

comment:7 Changed 6 years ago by tscrim

  • Dependencies set to #15375

Mainly to cc myself (and a completely shameless plug for the related #18631).

Also #15375 is a dependency, but are there currently others (in particular, #15874)?

comment:8 Changed 6 years ago by mshimo

Travis,

I had a patch bomb for the DAHA. At some point I forgot to factor out the smash product.

comment:9 Changed 6 years ago by mshimo

I suppose I could try to look at the diff and factor out the smash product.

comment:10 Changed 6 years ago by git

  • Commit changed from 799d8ddce92e0c745f4d8e64ea38cbca987a1de8 to 199314a36d2239d8807cff10309e073ec25dc5f9

Branch pushed to git repo; I updated commit sha1. New commits:

fd2aa16little changes
199314aMerge branch 'extended' into daha

comment:11 Changed 6 years ago by git

  • Commit changed from 199314a36d2239d8807cff10309e073ec25dc5f9 to 75a717f88f3c8e355b679fa78711ff7460066182

Branch pushed to git repo; I updated commit sha1. New commits:

154656flittle changes
6231957Merge branch 'extended' into daha
4711edfsmall changes
fee79e7changed fundamental_group an_element() to give a nonidentity element when possible; had to fix the doctests
2843110Merge branch 'extended' into daha
6bbf876little fixes to fundamental group
cece2fblittle fix to family method of GL fundamental group and added a group_generators method for it
75a717fMerge branch 'extended' into daha

comment:12 Changed 6 years ago by tscrim

Isn't all of the code for the smash product on #15874? If so, then we'd only have to merge that in and mark that as a dependency. Or is that not necessary for your DAHA code? If that's the case, then we definitely should factor that out.

comment:13 Changed 6 years ago by mshimo

I will try. I didn't support that branch and just fixed a DAHA branch. So I will have to do some serious checking of versions.

comment:14 Changed 6 years ago by git

  • Commit changed from 75a717f88f3c8e355b679fa78711ff7460066182 to c7a1be25d25c64af43fd1e989873129bbe5e3d5f

Branch pushed to git repo; I updated commit sha1. New commits:

74c53bamade an_element cached
c7a1be2tiny changes

comment:15 Changed 6 years ago by git

  • Commit changed from c7a1be25d25c64af43fd1e989873129bbe5e3d5f to a565f47cbaf37eb185e19a51972776fcd313765d

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

20db387merged smash_product_algebra.py from daha (more advanced branch)
fc1ca97merged free_module.py from daha (more advanced branch)
e089aeblittle relocate
182459amerged from daha
21c444emerged from daha
c769387merge from daha
8a33fa7merged from daha
0472e45merged from daha
b3ab187fixed doctests in vector spaces
a565f47Merge branch 'smash_product' into daha

comment:16 Changed 6 years ago by git

  • Commit changed from a565f47cbaf37eb185e19a51972776fcd313765d to 4f9a4f0a2ebd5696366bc29ba7245c3ac7ced84d

Branch pushed to git repo; I updated commit sha1. New commits:

c0c7c0fsomehow bugfix of trac 18634 was undone. I redid it.
a06f404some changes Nicolas suggested
79d4fe5fixing doc strings and implementing more suggestions from Nicolas
ba64e29more little fixes
c36eb6badded doctest to magma
dde0d4efixed magma doctests
e094313made extended affine weyl group into a lazy import
3b8c85fMerge branch 'fixed_extended' into smash_product
4f9a4f0Merge branch 'smash_product' into daha

comment:17 Changed 6 years ago by git

  • Commit changed from 4f9a4f0a2ebd5696366bc29ba7245c3ac7ced84d to d8ebd115ea2e669f1889743feb0ffb8563ee446f

Branch pushed to git repo; I updated commit sha1. New commits:

312879bMerge branch 'fixed_extended' into smash_product
bc7700dsmall changes
d8ebd11Merge branch 'smash_product' into daha

comment:18 Changed 6 years ago by git

  • Commit changed from d8ebd115ea2e669f1889743feb0ffb8563ee446f to 0a8d98b447a1282b5a0a5075900f5fc8898292b0

Branch pushed to git repo; I updated commit sha1. New commits:

0a8d98bmerged with some changes to fundamental group

comment:19 Changed 3 years ago by tscrim

Here is a version rebased on develop. It still has some bitrot on it, so things don't really work, but it is a step in the right direction. Although in hindsight, it probably would have been better to take #15874 and rebase that (and its dependency #15832) and work that in, but I forgotten that #15874 was suppose to be a dependency. I have now marked it as such.

Version 0, edited 3 years ago by tscrim (next)

comment:20 Changed 3 years ago by tscrim

  • Branch changed from u/mshimo/combinat/double_affine_hecke_algebra to public/combinat/double_affine_hecke_algebra-17989
  • Commit changed from 0a8d98b447a1282b5a0a5075900f5fc8898292b0 to bbb257dd9e1b85087e885e55d2e71a5957c9fa81
  • Milestone changed from sage-6.6 to sage-8.2
  • Reviewers changed from Dan Bump, ... to Dan Bump, Travis Scrimshaw, ...

New commits:

4481ddfMerge branch 'u/mshimo/combinat/double_affine_hecke_algebra' of git://trac.sagemath.org/sage into public/combinat/double_affine_hecke_algebra-17989
3f33aa3Removing some of the bitrot and doing some mild modernization.
bbb257dMerge branch 'develop' into public/combinat/double_affine_hecke_algebra-17989
Note: See TracTickets for help on using tickets.