Question about Lie Brackets in Group Theory

Click For Summary
The discussion clarifies the notation of Lie Brackets with subscripts + or - in the context of group theory. The subscript indicates whether the operation is a commutator or anti-commutator, with [A,B]_{-} representing AB-BA and [A,B]_{+} representing AB+BA. It is emphasized that in the referenced section, the brackets denote matrix commutators rather than Lie Brackets, which are abstract operations. The conversation also highlights that while matrix commutation relations can be promoted to Lie algebras, anti-commutation relations cannot, due to the properties required of Lie Brackets. Understanding this distinction is crucial for applying these concepts in both mathematics and quantum physics.
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:
Mathematics 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
[A,B]_{-} = AB-BA
[A,B]_{+} = AB+BA

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
[A,B]_{-} = AB-BA
[A,B]_{+} = AB+BA

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
[T_i, T_j]_- = T_i T_j - T_j T_i = c_{ij}^k T_k
then we can "promote" them into a Lie-group whose algebra is defined by
[t_i, t_j] = c_{ij}^k t_k
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 T_i 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 t_i \to T_i linearly extended).
However, for a set of anti-commutation relations this is not generally possible, as the Lie-bracket must satisfy a requirement
[t_i, t_j] = -[t_j, t_i]
which the matrix anti-commutator does not satisfy.
 
Here is a little puzzle from the book 100 Geometric Games by Pierre Berloquin. The side of a small square is one meter long and the side of a larger square one and a half meters long. One vertex of the large square is at the center of the small square. The side of the large square cuts two sides of the small square into one- third parts and two-thirds parts. What is the area where the squares overlap?

Similar threads

Replies
1
Views
1K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K