What is adjoint representation in Lie group?

Click For Summary
The adjoint representation in Lie groups is a linear representation of the Lie algebra on itself, defined by the mapping Ad_g(t) = g t g^{-1}. This representation is constructed solely from the Lie group structure and respects the Lie-algebra product, making it relevant for gauge symmetries in physics. In this context, gauge fields transform in the adjoint representation of the gauge group, which involves additional terms that complicate their transformation properties. The Lie algebra consists of matrices, and the adjoint representation is characterized by structure constants that remain consistent across different representations. Understanding this representation is crucial for grasping how physical fields interact under gauge transformations.
ndung200790
Messages
519
Reaction score
0
Please teach me this:
What is the adjoint representation in Lie group? Where is the vector space that the ''elements of the group'' act on in this representation(adjoint representation)?
Thank you very much for your kind helping.
 
Physics news on Phys.org
Because Lie groups (e.g SU(3)) act on physical fields,but I do not know the ''elements of group'' act on what fields in adjoint representation.
 
First of all a Lie group is a group with elements in a differentiable manifold for which the group multiplication and the inversion of elements are differentiable mappings of the group to itself.

For simplicity let's consider matrix groups like SU(N), SO(N), etc. These are the common cases relevant for physics. Now you can define the Lie algebra of the group as the tangent space at the group identity. This is a vector space with matrices as elements (e.g., for SU(N) the Lie algebra consists of all antihermitean traceless matrices, in physics written as \mathrm{i} \alpha_k T^k with T^k hermitean).

Now let G be the group and \mathcal{L}G. Then it's easy to show that for each g \in G the mappings

\text{Ad}_g: \; \mathcal{L}G \rightarrow \mathcal{L}G, \; \text{Ad}_g(t)=g t g^{-1}

are a well-defined linear mapping which respects the Lie-algebra product (given by commutators of the Lie-algebra matrices in our case), and obeys the group-representation property,

\text{Ad}_{g_1} \circ \text{Ad}_{g_2}=\text{Ad}_{g_1 g_2},

i.e., it's a linear representation of the Lie group on the Lie algebra, which is called the adjoint representation.

The nice thing is that it's constructed wholly from the Lie-group structure itself without introducing any other kind of elements.

In physics it appears in gauge symmetries, where the gauge fields are defined as affine connections of the group's Lie algebra to define covariant derivatives. Thus, under gauge transformations the gauge fields transform in the adjoint representation of the gauge group.
 
I do not understand the gauge fields transform under the gauge group in adjoint representation,because there are exist an extra
δ_{\mu} :because gauge fields transform as:
((A^{\alpha})^{a}_{\mu}=
=A^{\alpha}_{\mu}+
+(1/g)\delta_{\mu}\alpha^{a}+
f^{abc}A^{b}_{\mu}\alpha^{c})
 
strictly speaking the gauge field is not Lie-algebra valued b/c it does not transform as a tensor under gauge trf. (like the field strength tensor) but as a connection (like Christoffel symbols in ART do not transform as tensors)
 
The Lie algebra is given by the commutator:
<br /> \left[ T^a_R, T^b_R \right] = i \, f^{a b c} \, T^c_R<br />
where the structure constants f^{a b c} are the same in any representation. You may form one special representation using them:
<br /> (T^a_A)^{b c} \equiv -i f^{a b c}<br />
This is called the adjoint representation. It is g-dimensional, where g is the number of generators of the Lie group.
 
Time reversal invariant Hamiltonians must satisfy ##[H,\Theta]=0## where ##\Theta## is time reversal operator. However, in some texts (for example see Many-body Quantum Theory in Condensed Matter Physics an introduction, HENRIK BRUUS and KARSTEN FLENSBERG, Corrected version: 14 January 2016, section 7.1.4) the time reversal invariant condition is introduced as ##H=H^*##. How these two conditions are identical?

Similar threads

  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 27 ·
Replies
27
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 53 ·
2
Replies
53
Views
4K
  • · Replies 1 ·
Replies
1
Views
1K