Opened 9 years ago
Closed 5 years ago
#15484 closed enhancement (fixed)
Implement Yangian for gl(n)
Reported by:  Travis Scrimshaw  Owned by:  Sage Combinat CC user 

Priority:  major  Milestone:  sage8.0 
Component:  algebra  Keywords:  yangian, quantum groups 
Cc:  Sage Combinat CC user, Anne Schilling, Darij Grinberg, Ben Salisbury  Merged in:  
Authors:  Travis Scrimshaw  Reviewers:  Ben Salisbury 
Report Upstream:  N/A  Work issues:  
Branch:  8051da2 (Commits, GitHub, GitLab)  Commit:  8051da25618f5275384196e7d5236386f7c06584 
Dependencies:  #23266, #23267, #23268, #23270  Stopgaps: 
Description (last modified by )
Yangians can be seen as a deformation of U(gl[t]) and have many interesting connections to representation theory. See http://en.wikipedia.org/wiki/Yangian.
Change History (40)
comment:1 Changed 9 years ago by
Branch:  public/algebras/yangian → public/algebras/yangians 

Commit:  → 63f89cb187d7284792eee038cdcb0178c661a743 
Status:  new → needs_review 
comment:2 Changed 9 years ago by
Milestone:  sage6.1 → sage6.2 

comment:3 Changed 9 years ago by
Commit:  63f89cb187d7284792eee038cdcb0178c661a743 → 4fe436fc9684176c5eaca8b9063b354b27cc19f8 

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
bd82ed8  Merge branch 'develop' into public/monoids/15289indexed

56703eb  Made Indexed* have entry points through Free*.

163df6e  Changed more _basis_keys to _indices, deprecated the former.

8db8e0a  Changed _an_element_ to indexed_monoid.py.

760c939  Merge branch 'public/monoids/15289indexed' of trac.sagemath.org:sage into public/monoids/15289indexed

03057a4  Merge branch 'develop' into public/monoids/15289indexed

a2996e0  Merge branch 'develop' into public/monoids/15289indexed

c1cc341  Merge branch 'develop' into public/monoids/15289indexed

c7baad9  Merge branch 'public/monoids/15289indexed' into public/algebras/yangians

4fe436f  Merge branch 'public/algebras/yangians' of trac.sagemath.org:sage into public/algebras/yangians

comment:4 Changed 9 years ago by
Commit:  4fe436fc9684176c5eaca8b9063b354b27cc19f8 → c467001c28656ac6ca798c954ea6bc05cf08a959 

comment:5 Changed 9 years ago by
Milestone:  sage6.2 → sage6.3 

comment:6 Changed 8 years ago by
Commit:  c467001c28656ac6ca798c954ea6bc05cf08a959 → 0962d33d424449521c7f7c0b00b48b48e8228dce 

Branch pushed to git repo; I updated commit sha1. New commits:
0962d33  Merge branch 'public/algebras/yangians' of trac.sagemath.org:sage into public/algebras/yangians

comment:7 Changed 8 years ago by
Commit:  0962d33d424449521c7f7c0b00b48b48e8228dce → d5954ea12138d414b2246cd2ca06017d03bfe492 

Branch pushed to git repo; I updated commit sha1. New commits:
d5954ea  Fix from changes in #15289.

comment:8 Changed 8 years ago by
Commit:  d5954ea12138d414b2246cd2ca06017d03bfe492 → 629604f104592321a946c3b494b2284e7ff15364 

comment:9 Changed 8 years ago by
Milestone:  sage6.3 → sage6.4 

comment:10 Changed 8 years ago by
Commit:  629604f104592321a946c3b494b2284e7ff15364 → 36d07014aae9c6770b940e27bfdc5ee548f8cdb7 

comment:11 Changed 8 years ago by
Commit:  36d07014aae9c6770b940e27bfdc5ee548f8cdb7 → 99a92e3fe4353507bbb650fd1dcf1cf6f82aa3a4 

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
25c0fbc  looked through clifford_algebra and filtered_algebras*; many TODOs left

2a62c3b  lift_* methods in algebras/clifford_algebra.py should remember the gradedfiltered choice

15cf0dc  fix and a first doctest for induced_graded_map

5029956  another pitfall documented

292ef5f  another doctest

c2e84e1  remaining doctests for induced_graded_map

03bd4cf  possibly controversial: graded_algebra and the three methods forming its interface are now cached_methods

8a747c0  further edits

237daea  Merge branch 'public/categories/filtered_algebras17096' of trac.sagemath.org:sage into public/algebras/yangians

99a92e3  Added to catalog and refactored over #17096.

comment:12 Changed 8 years ago by
Dependencies:  #10963 #15289 → #10963 #15289 #17096 

Description:  modified (diff) 
Refactored over #17096.
comment:13 Changed 7 years ago by
Commit:  99a92e3fe4353507bbb650fd1dcf1cf6f82aa3a4 → 1770d3f50ac68932605fecbd0708d2a413d6f2f3 

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
6051865  add a doctest which hopefully works (hard to check while compiling)

570bc49  Merge branch 'public/categories/super_categories18044' into 6.9.b1

b91cd82  trac #18044 correct one typo in the doc

7fd1df2  Merge branch 'public/categories/super_categories18044' of trac.sagemath.org:sage into public/categories/super_categories18044

0579337  Some reviewer tweaks and doc additions.

aec22cc  Added one more test.

4b2046f  Merge branch 'public/categories/super_categories18044' into public/categories/filtered_algebras17096

3f67b6b  Fixing trivial doctest due to changes in category heirarchy.

fa476dd  Fixing doublecolon in INPUT block.

1770d3f  Merge branch 'public/algebras/yangians' of trac.sagemath.org:sage into public/algebras/yangians

comment:14 Changed 7 years ago by
Branch:  public/algebras/yangians → public/algebras/yangians15484 

Commit:  1770d3f50ac68932605fecbd0708d2a413d6f2f3 → ea127f16470d0921d7b11272ad37c7c017e03a21 
Dependencies:  #10963 #15289 #17096 
Milestone:  sage6.4 → sage6.11 
New commits:
976c3a5  imported patch yangiansts.patch

446e08b  Fixes for Yangian.

6d21520  Added doctests to full coverage.

b0c1bd1  Fix from changes in #15289.

62acea7  Some output tweaks.

03281d0  Many fixes for Yangians and added to the documentation.

f5e13bc  Added associated graded algebras to the Yangians.

8ce5567  Added to catalog and refactored over #17096.

ea127f1  Fixing the Yangian due to recent changes in Sage.

comment:15 Changed 7 years ago by
Commit:  ea127f16470d0921d7b11272ad37c7c017e03a21 → 6b8bcd3f351d9abd7ffd86e7b307c952f356f5ad 

Branch pushed to git repo; I updated commit sha1. New commits:
6b8bcd3  Merge branch 'public/algebras/yangians15484' of trac.sagemath.org:sage into public/algebras/yangians15484

comment:16 Changed 7 years ago by
Milestone:  sage7.0 → sage7.2 

comment:17 Changed 6 years ago by
Status:  needs_review → needs_work 

See patchbot (note that I don't personally care about this ticket, sorry)
comment:18 Changed 6 years ago by
Commit:  6b8bcd3f351d9abd7ffd86e7b307c952f356f5ad → f297f3342642227be034b564356494a06c2863e0 

comment:19 Changed 6 years ago by
Status:  needs_work → needs_review 

I understand; thanks for the headsup.
comment:20 followup: 21 Changed 6 years ago by
Cc:  Andrew Mathas added 

Milestone:  sage7.2 → sage7.4 
Just in case you're interested Andrew.
comment:21 Changed 6 years ago by
Cc:  Andrew Mathas removed 

Replying to tscrim:
Just in case you're interested Andrew.
Sorry Travis, but I don't play at all with Yangians and don't know much about them...
comment:22 Changed 6 years ago by
REFERENCES:: please!
I happen to be (slowly) reading my way through a paper on Capelli identities right now, and I'd be really interested in what seems to be the theory behind them, but I probably won't learn much from the code in itself :)
comment:23 Changed 6 years ago by
Commit:  f297f3342642227be034b564356494a06c2863e0 → ec4e344d7216c91d84aa5aae3c6342098d232d1d 

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

comment:24 Changed 6 years ago by
Andrew, no problem.
Darij, I've added some references. A good reference is the MNO94 arXiv version.
comment:25 Changed 6 years ago by
Commit:  ec4e344d7216c91d84aa5aae3c6342098d232d1d → 8227771648f9603fb8f1fb66baa42fd74dae1bd7 

Branch pushed to git repo; I updated commit sha1. New commits:
8227771  Merge branch 'public/algebras/yangians15484' in 7.5.b6

comment:26 Changed 6 years ago by
Commit:  8227771648f9603fb8f1fb66baa42fd74dae1bd7 → 5336becc00f10520678ef396676b8f50e2f283d3 

comment:27 Changed 6 years ago by
Commit:  5336becc00f10520678ef396676b8f50e2f283d3 → 8aa9ef9bde3adb3172b1234e27e384e9f786da09 

comment:28 Changed 6 years ago by
Cc:  Ben Salisbury added 

Reviewers:  → Ben Salisbury 
Hi Travis,
I added some more to the documentation. Please make sure you are okay with it. I will continue the review soon.
Ben
comment:29 Changed 6 years ago by
Milestone:  sage7.4 → sage8.0 

comment:31 Changed 6 years ago by
Commit:  8aa9ef9bde3adb3172b1234e27e384e9f786da09 → 9b977989bc1f2fb15852beb1780bb7d5e0c0da6a 

Branch pushed to git repo; I updated commit sha1. New commits:
9b97798  More documentation additions

comment:32 followup: 33 Changed 6 years ago by
Hi Travis,
I'm still going through and adding more to the documentation, but some things (including some corrections) may be better completed by you. (I have the arXiv versions of Molev's references that you've listed, but I do not have a copy of the book you referenced.) For example:
 You've implemented the method
defining_polynomial
, but I cannot find that in my references. Moreover, in the references I do have, the notation you've used for the defining polynomial seems to be reserved for matrices whose entries are power series.
 I think there is an antipode method missing from the main
Yangian
class (and thecounit_on_basis
method, according to the documentation, returns the antipode).
 Add definitions for the coproduct, counit, and antipode. I added the coproduct definition already for the
Yangian
class.
 Can/should the Yang Rmatrix also be added to this module?
comment:33 Changed 6 years ago by
Replying to bsalisbury1:
 You've implemented the method
defining_polynomial
, but I cannot find that in my references. Moreover, in the references I do have, the notation you've used for the defining polynomial seems to be reserved for matrices whose entries are power series.
This is the level \ell
version, so they become polynomials instead of power series.
 I think there is an antipode method missing from the main
Yangian
class (and thecounit_on_basis
method, according to the documentation, returns the antipode).
No, that is because I could not implement the antipode as it is defined in terms of an inverse matrix of power series. There is a ticket (I don't remember the number offhand) that gives a default implementation of the antipode in connected graded Hopf algebras.
In the counit_on_basis
, that is a typo from copy/pasting.
 Add definitions for the coproduct, counit, and antipode. I added the coproduct definition already for the
Yangian
class.
Let me know when you're done with your changed, and I can add them.
 Can/should the Yang Rmatrix also be added to this module?
It would make for a good followup.
comment:34 Changed 5 years ago by
Commit:  9b977989bc1f2fb15852beb1780bb7d5e0c0da6a → f26834b2c03f0565c0a97145b15002b22ff80ff2 

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
e0f9c88  Use monomial_coefficients instead of iteration for consistancy.

f61aae2  Better mutliplication of PBW elements.

9cea97d  Merge branch 'public/lie_algebras/pbw_mult_monomial_coeffs23268' into public/algebras/yangians15484

35aa493  Added monomial_coefficients for gl.

eb19d0e  Merge branch 'public/lie_algebras/monomial_gl23267' into public/algebras/yangians15484

a89bfcc  Adding an additional doctest checking U(gl_n) homomorphism.

5d87394  Trivial doctest fixes.

707c5f1  Merge branch 'public/linear_algebra/matrix_space_with_basis22955' into public/algebras/yangians15484

522d374  Adding Filtered category to PBW basis.

f26834b  Merge branch 'public/lie_algebras/pbw_filtered23270' into public/algebras/yangians15484

comment:35 Changed 5 years ago by
Dependencies:  → #23266, #23267, #23268, #23270 

comment:36 Changed 5 years ago by
Commit:  f26834b2c03f0565c0a97145b15002b22ff80ff2 → 5967289e2895e9be0b62af1ad5844e2c0d044c12 

Branch pushed to git repo; I updated commit sha1. New commits:
5967289  Fixing typo antipode > counit.

comment:37 Changed 5 years ago by
Commit:  5967289e2895e9be0b62af1ad5844e2c0d044c12 → adb8d979e4deadb96749b87861cb3d0fea8370d7 

Branch pushed to git repo; I updated commit sha1. New commits:
adb8d97  Fixed documentation errors

comment:38 Changed 5 years ago by
Commit:  adb8d979e4deadb96749b87861cb3d0fea8370d7 → 8051da25618f5275384196e7d5236386f7c06584 

comment:39 Changed 5 years ago by
Status:  needs_review → positive_review 

Thanks for making those additions! I added some additional clarification and fixed some typos. In particular, now the PDF documentation will build. HTML documentation also builds and all tests pass.
comment:40 Changed 5 years ago by
Branch:  public/algebras/yangians15484 → 8051da25618f5275384196e7d5236386f7c06584 

Resolution:  → fixed 
Status:  positive_review → closed 
Last 10 new commits: