Question about Lie Brackets in Group Theory

Click For Summary
SUMMARY

The discussion clarifies the notation of Lie Brackets with subscripts + and - as used in the context of quantum physics and Lie groups. Specifically, [A,B]_{-} represents the commutator defined as AB - BA, while [A,B]_{+} denotes the anti-commutator AB + BA. It is emphasized that in the context of matrices, these brackets refer to matrix commutators rather than abstract Lie Brackets. The distinction is crucial as the properties of Lie Brackets differ from those of anti-commutators, particularly regarding their symmetry.

PREREQUISITES
  • Understanding of Lie groups and Lie algebras
  • Familiarity with matrix operations and commutation relations
  • Basic knowledge of quantum physics concepts, particularly bosons and fermions
  • Experience with mathematical notation in abstract algebra
NEXT STEPS
  • Study the properties of Lie groups and their representations
  • Learn about matrix commutation relations in quantum mechanics
  • Explore the implications of anti-commutation relations in physics
  • Investigate the role of Lie Brackets in theoretical physics
USEFUL FOR

Mathematicians, physicists, and students of theoretical physics who are interested in the applications of Lie groups and algebras in quantum mechanics and abstract algebra.

Savant13
Messages
85
Reaction score
1
What does it mean when a Lie Bracket has a subscript + or - directly after it?

I found this notation in http://en.wikipedia.org/wiki/Special_unitary_group" under the fundamental representation heading

Those are Lie Brackets, right? I know Lie Brackets are being used elsewhere in the article.
 
Last edited by a moderator:
Physics news on Phys.org
My knowledge of Lie groups/algebras are very limited, but in quantum physics this notation usually means commutator/anti-commutator (usually for bosons/fermions).
So
[tex][A,B]_{-} = AB-BA[/tex]
[tex][A,B]_{+} = AB+BA[/tex]

So i would guess, this is the same for the Lie Brackets.
 
element4 said:
My knowledge of Lie groups/algebras are very limited, but in quantum physics this notation usually means commutator/anti-commutator (usually for bosons/fermions).
So
[tex][A,B]_{-} = AB-BA[/tex]
[tex][A,B]_{+} = AB+BA[/tex]

So i would guess, this is the same for the Lie Brackets.

Note that Lie-brackets are abstract things, which take two elements x and y and produce a new one [x, y].
In the section you are referring to, A and B are matrices and the square brackets are not Lie-brackets but simply commutators of matrices. For those it is common to use the notation explained by element4.

Note that if we have a set of matrix commutation relations
[tex][T_i, T_j]_- = T_i T_j - T_j T_i = c_{ij}^k T_k[/tex]
then we can "promote" them into a Lie-group whose algebra is defined by
[tex][t_i, t_j] = c_{ij}^k t_k[/tex]
where the brackets in the former refers to the matrix commutator and in the latter expression to the abstract operation called "Lie-bracket". The matrices [itex]T_i[/itex] are one specific representation called the fundamental representation (if you remember that a representation is a function from the Lie-algebra to some subgroup of matrices, the fundamental representation would simply be the map [itex]t_i \to T_i[/itex] linearly extended).
However, for a set of anti-commutation relations this is not generally possible, as the Lie-bracket must satisfy a requirement
[tex][t_i, t_j] = -[t_j, t_i][/tex]
which the matrix anti-commutator does not satisfy.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 16 ·
Replies
16
Views
6K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
4K