Zulip Chat Archive

Stream: triage

Topic: issue #1093: definition of Lie algebras


view this post on Zulip Random Issue Bot (Jan 16 2021 at 14:43):

Today I chose issue 1093 for discussion!

definition of Lie algebras
Created by @Scott Morrison (@semorrison) on 2019-05-28
Labels: feature-request, help wanted

Is this issue still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Johan Commelin (Jan 16 2021 at 15:01):

@Oliver Nash has been making a lot of progress

view this post on Zulip Oliver Nash (Jan 16 2021 at 15:56):

The best is yet to come!

view this post on Zulip Patrick Massot (Jan 16 2021 at 15:56):

The title of the issue is a bit misleading.

view this post on Zulip Johan Commelin (Jan 16 2021 at 15:57):

I guess we should update it

view this post on Zulip Oliver Nash (Jan 16 2021 at 15:57):

I can do that this evening when I’m back at the laptop.

view this post on Zulip Johan Commelin (Jan 16 2021 at 15:57):

it is now "basic theory of Lie algebras"

view this post on Zulip Johan Commelin (Jan 16 2021 at 15:59):

I think a really nice PR that is already accessible now is

  • definition of sl2\mathfrak{sl}_2-triple
  • show that sl2\mathfrak{sl}_2 is naturally such a triple (with the canonical X,H,YX,H,Y)

view this post on Zulip Johan Commelin (Jan 16 2021 at 15:59):

and then a follow-up PR could start on the representation theory of sl2\mathfrak{sl}_2-triples

view this post on Zulip Oliver Nash (Jan 16 2021 at 16:01):

Noted, though I’ve got a bunch of other stuff to tidy up and push first. I also want to reorganise things a little soon. The file and namespace structure both need a little attention.

view this post on Zulip Oliver Nash (Jan 16 2021 at 16:01):

Maybe someone else might join the front!


Last updated: May 18 2021 at 23:14 UTC