#30236 closed enhancement (fixed)

Implement universal commutative algebra of a finite-dimensional Lie algebra

Reported by: tscrim Owned by:
Priority: major Milestone: sage-9.2
Component: algebra Keywords:
Cc: Merged in:
Authors: Travis Scrimshaw Reviewers: Reimundo Heluani
Report Upstream: N/A Work issues:
Branch: a1ea948 (Commits, GitHub, GitLab) Commit: a1ea948d7858e2e6d004ec898fd5dbcaf5e92791
Dependencies: Stopgaps:

Status badges

Description

This was defined recently in arXiv:2006.00711.

Change History (11)

comment:1 Changed 16 months ago by tscrim

  • Branch set to public/lie_algebras/universal_commutative_algebra-30236
  • Commit set to b99e452a216cda039dabae4a466aa5851c193c00
  • Status changed from new to needs_review

New commits:

b99e452Implement universal commutative algebra of a Lie algebra.

comment:2 Changed 16 months ago by heluani

Just in case you haven't changed it yet, in line five of the docstring for universal_polynomials it should read:

`[e_i, e_j] = \tau_{ij}^a e_a` is given by

It's missing the second `

comment:3 Changed 16 months ago by heluani

Also, the definition in the docstring does not seem to coincide with equation (6) in the reference. In the paper https://arxiv.org/pdf/2006.00711.pdf the definition of the universal polynomials in this case is

 P_{aij} = \sum_{u \in I} \tau_{ij}^u X_{au}
                - \sum_{s,t \in I} \tau_{st}^a X_{si} X_{tj},

as opposed to the current:

 P_{aij} = \sum_{u \in I} \tau_{ij}^u X_{au}
                - \sum_{s,t \in I} \tau_{st}^a X_{ai} X_{tj},

comment:4 Changed 16 months ago by heluani

The issue in comment:3 is only a typo in the docstring, the code seems fine.

Finally, don't you have a problem reading your variables if the dimension of the Lie algebra is >10?

The rest looks good to me.

comment:5 Changed 16 months ago by git

  • Commit changed from b99e452a216cda039dabae4a466aa5851c193c00 to a1ea948d7858e2e6d004ec898fd5dbcaf5e92791

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

2e53d37Merge branch 'public/lie_algebras/universal_commutative_algebra-30236' of git://trac.sagemath.org/sage into public/lie_algebras/universal_commutative_algebra-30236
a1ea948Addressing reviewer comments. Handling dim >= 10.

comment:6 Changed 16 months ago by tscrim

Good point about the variable names. I have fixed this and the other two typos.

comment:7 follow-up: Changed 16 months ago by heluani

ran it in my bot and came back green, I don't know why you would want different naming schemes for Lie algebras of different dimensions, but either way this looks fine to me. If I'm allowed to be a reviewer you can put a positive review on my behalf.

comment:8 in reply to: ↑ 7 Changed 16 months ago by tscrim

Replying to heluani:

ran it in my bot and came back green, I don't know why you would want different naming schemes for Lie algebras of different dimensions, but either way this looks fine to me.

I want the more compact version for the variables when the dimension is small. The larger dimensions was just to remove the ambiguity.

If I'm allowed to be a reviewer you can put a positive review on my behalf.

Yes you most certainly are. Just put in your full name as the reviewer and you can set the positive review.

comment:9 Changed 15 months ago by heluani

  • Reviewers set to Reimundo Heluani
  • Status changed from needs_review to positive_review

comment:10 Changed 15 months ago by tscrim

Thank you.

comment:11 Changed 15 months ago by vbraun

  • Branch changed from public/lie_algebras/universal_commutative_algebra-30236 to a1ea948d7858e2e6d004ec898fd5dbcaf5e92791
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.