Question about Lie Brackets in Group Theory

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.
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
I'm interested to know whether the equation $$1 = 2 - \frac{1}{2 - \frac{1}{2 - \cdots}}$$ is true or not. It can be shown easily that if the continued fraction converges, it cannot converge to anything else than 1. It seems that if the continued fraction converges, the convergence is very slow. The apparent slowness of the convergence makes it difficult to estimate the presence of true convergence numerically. At the moment I don't know whether this converges or not.

Similar threads

Back
Top