Processing math: 100%

First time here? Check out the FAQ!

Ask Your Question
0

Infinite-dimensional Lie algebras with generators and relations

asked 2 years ago

updated 2 years ago

I need to work with the polynomial current Lie algebra of the general linear Lie algebra, that is glN[x], which I consider as a complex Lie algebra. In fact I would like to work with its universal enveloping algebra. But the Lie algebra in question is infinite-dimensional. How can I define it by specifying the structure constants?

Preview: (hide)

1 Answer

Sort by » oldest newest most voted
0

answered 2 years ago

I found out that my computations boil down to the ‘’truncated’’ current Lie algebra glN(C)C[x]/(xn), which is finite dimensional over C, and the following code does what I need

d=3 #the size of matrices
n=12 #the ''depth'' of truncated polynomials, i.e. \mathbb{C}[x]/(x^n)
basis=''
for a in range(0,n):
    for i in range(1,d+1):
        for j in range(1,d+1):
            basis=basis+',e'+'_'+str(i)+'_'+str(j)+'_'+str(a)
basis=basis[1:]
def rel(i,j,a,k,l,b):
    if a+b>=n: return {}
    elif k==j and i==l and i!=j: return {'e'+'_'+str(j)+'_'+str(j)+'_'+str(a+b):-1,'e'+'_'+str(i)+'_'+str(i)+'_'+str(a+b):1}
    elif k==j and i==l and i==j: return {}
    elif k==j and i!=l: return {'e'+'_'+str(i)+'_'+str(l)+'_'+str(a+b):1}
    elif k!=j and i==l: return {'e'+'_'+str(k)+'_'+str(j)+'_'+str(a+b):-1}
    elif k!=j and i!=l: return {}

relations={('e'+'_'+str(i)+'_'+str(j)+'_'+str(a),'e'+'_'+str(k)+'_'+str(l)+'_'+str(b)): rel(i,j,a,k,l,b) for i in range(1,d+1) for j in range(1,d+1) for k in range(1,d+1) for l in range(1,d+1) for a in range(0,n) for b in range(0,n)}

L = LieAlgebra(QQ, relations, names=basis)
ee=list(L.lie_algebra_generators())
def e(i,j,a):
    if a<n: return ee[d*(i-1)+j+a*d^2-1]
    else: return 0
Preview: (hide)
link

Comments

You should accept your own answer in order to mark it as solved for the benefit of future ask.sagemath.org (per-)users...

Emmanuel Charpentier gravatar imageEmmanuel Charpentier ( 2 years ago )

I haven’t got enough points to accept my own answer=)

Nikita_Safonkin gravatar imageNikita_Safonkin ( 2 years ago )

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

Asked: 2 years ago

Seen: 195 times

Last updated: Dec 22 '22