Zulip Chat Archive

Stream: triage

Topic: issue #1093: definition of Lie algebras

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?

Johan Commelin (Jan 16 2021 at 15:01):

@Oliver Nash has been making a lot of progress

Oliver Nash (Jan 16 2021 at 15:56):

The best is yet to come!

Patrick Massot (Jan 16 2021 at 15:56):

The title of the issue is a bit misleading.

Johan Commelin (Jan 16 2021 at 15:57):

I guess we should update it

Oliver Nash (Jan 16 2021 at 15:57):

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

Johan Commelin (Jan 16 2021 at 15:57):

it is now "basic theory of Lie algebras"

Johan Commelin (Jan 16 2021 at 15:59):

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

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

Johan Commelin (Jan 16 2021 at 15:59):

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

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.

Oliver Nash (Jan 16 2021 at 16:01):

Maybe someone else might join the front!

Last updated: Dec 20 2023 at 11:08 UTC