Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

183 submissions , 143 unreviewed
4,676 questions , 1,892 unanswered
5,246 answers , 22,423 comments
1,470 users with positive rep
733 active unimported users
More ...

  Complex Lie algebra vs Real Lie algebra in Physics

+ 4 like - 0 dislike
38 views

A Lie algebra is a vector space $\mathfrak{g}$ over some field $F$ together with a binary operation $$\mathfrak{g}\times\mathfrak{g}\to\mathfrak{g}$$ called the Lie bracket satisfying the following axioms: Bilinearity, Alternativity, Jacobi identity, Anticommutativity.

(Correct me if I am wrong)* If the Lie algebra over the field $F$ is a complex number, we have a complex Lie algebra. If the Lie algebra over the field $F$ is a real number, we have a real Lie algebra.

Given a complex Lie algebra $\mathfrak g$, a real Lie algebra $\mathfrak{g}_0$ is said to be a real form of $\mathfrak g$ if the complexification $$\mathfrak{g}_0 \otimes_{\mathbb{R}} \mathbb{C} \simeq \mathfrak{g}$$ is isomorphic to $\mathfrak{g}$.

**My question is that:

  1. Where do we encounter Real Lie algebra in Physics? (this should be abundant.) Do we have examples of both compact and noncompact real Lie group?
  1. Where do we encounter Complex Lie algebra in Physics? (this should be rare? or abundant?) Do we have examples of both compact and noncompact complex Lie group?
This post imported from StackExchange Physics at 2020-12-04 11:35 (UTC), posted by SE-user annie marie heart
asked Oct 11, 2020 in Theoretical Physics by annie marie heart (1,110 points) [ no revision ]
If the Lie algebra over the field $F$ is a complex number... An algebra is not a number.

This post imported from StackExchange Physics at 2020-12-04 11:35 (UTC), posted by SE-user G. Smith
I meant the field
OK, but that’s not what you wrote.

This post imported from StackExchange Physics at 2020-12-04 11:35 (UTC), posted by SE-user G. Smith
Wikipedia: $\mathfrak{su}(n)$ is a real Lie algebra. (Despite the fact that one of the Pauli matrices involves $i$.) $SU(n)$ is not a complex Lie group.

This post imported from StackExchange Physics at 2020-12-04 11:35 (UTC), posted by SE-user G. Smith
field

1 Answer

+ 5 like - 0 dislike

One interesting example: For the one-dimensional quantum simple harmonic oscillator, the operators $1$, $\hat{x}$ and $\hat{p}$ generate a real Lie algebra (the Heisenberg algebra). However, it is often useful to work instead in terms of the raising and lowering operators, so that our generators are $1, \hat{a},\hat{a}^\dagger$. Since $\hat{a} = \hat{x} + i\hat{p}$, the algebra they generate is the complexification of the Heisenberg algebra.

There is a useful sense in which the Lie algebra of any Lie group is "naturally" real, since it's a tangent space of a manifold. For example $GL_n(\mathbb{C})$, considered as an abstract Lie group, is a $2n^2$-dimensional manifold, so the Lie algebra is "really" a real vector space with $2n^2$ basis vectors. In physics we usually think of it as a complex vector space with $n^2$ basis vectors, but we don't have to. Every Lie algebra I can think of in physics comes from some Lie group, so complex Lie algebras come only from either complexification (as in the raising/lowering operator case) or from treating a $2n$-dimensional real Lie algebra as an $n$-dimensional complex Lie algebra. (I don't have a name for the latter process, or much understanding of it - suggestions welcome).

This post imported from StackExchange Physics at 2020-12-04 11:35 (UTC), posted by SE-user Daniel
answered Oct 11, 2020 by Daniel (735 points) [ no revision ]

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$ysicsO$\varnothing$erflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
To avoid this verification in future, please log in or register.




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...