Understanding Hermitian Conjugates of $\psi^{\dag}\bar{\sigma}^{\mu}\chi$

  • Thread starter LAHLH
  • Start date
  • Tags
    Hermitian
In summary: So, sigma is Hermitian but is not equal to its complex conjugate. Instead, the complex conjugate of sigma is sigma with the first two indices swapped. This is the notation used in the book.
  • #1
LAHLH
409
1
Hi,

If we start with [tex] \psi^{\dag}\bar{\sigma}^{\mu}\chi [/tex] and take its Hermitian conjugate:

[tex] \left[\psi^{\dag}\bar{\sigma}^{\mu}\chi\right]^{\dag}=\left[\psi^{\dag}_{\dot{a}}\bar{\sigma}^{\mu\dot{a}c}\chi_{c}\right]^{\dag} [/tex]

I'm basing this on Srednicki ch35 (p219 in my edition). His next line is,

[tex] =\chi^{\dag}_{\dot{c}}(\bar{\sigma}^{\mu a\dot{c}})^{*}\psi_{a} [/tex]

I can't understand how he's managed to use the transpose part of the dagger, to change which index of [tex]\sigma[/tex] is dotted. At first I thought well the index on [tex] \chi [/tex] has gone from [tex]c[/tex] to [tex]\dot{c} [/tex] so maybe he's just relabelling dummies, but then this of course wouldn't explain why the tranpose part has been used and we're left only with *.

I might have expected,
[tex] =\chi^{\dag}_{\dot{c}}(\bar{\sigma}^{\mu a\dot{c}})^{\dag}\psi_{a} [/tex]
[tex] =\chi^{\dag}_{\dot{c}}(\bar{\sigma}^{\mu \dot{c}a})^{*}\psi_{a} [/tex]
Could anyone spell it out for me? thanks
 
Last edited:
Physics news on Phys.org
  • #2
Dotted index means "it transforms under the complex conjugated representation matrix". Therefore complex conjugation always changes a dottted index into an undotted one and vice versa. Instead of a * there should be "T" - transpose, and all is OK.
 
Last edited:
  • #3
Hi LAHLH! :smile:

From my Penrose and Rindler (Volume I, §2.5, p. 107) …

TA' is anti-isomorphic with TA, the anti-isomorphism being expressed by (2.5.8):

λκA + µωA = τA

↔ λ*κ*A' + µ*ω*A' = τ*A'
 
  • #4
arkajad said:
Dotted index means "it transforms under the complex conjugated representation matrix". Therefore complex conjugation always changes a dottted index into an undotted one and vice versa. Instead of a * there should be "T" - transpose, and all is OK.

So are you saying this is an errata in Srednicki and he should have T instead of *?
 
  • #5
It looks like that. Because with this small correction all the rest is clear.
 
  • #6
arkajad said:
It looks like that. Because with this small correction all the rest is clear.

hmm, I would agree with you, but you said complex conjugation always turns a dotted in undotted and vice versa, but according to the rest of Srednicki it is Hermitian conjugation that turns [tex] \left[\psi_a\right]^{\dag}=\psi^{\dag}_{\dot{a}}[/tex]

So, [tex]\left[\psi^{\dag}_{\dot{a}}\bar{\sigma}^{\mu\dot{a}c}\chi_{c}\right]^{\dag} =\chi^{\dag}_{\dot{c}}(\left(\bar{\sigma}^{\mu\dag}\right)^{a\dot{c}})\psi_{a} [/tex]
 
Last edited:
  • #7
Hermitian conjugation involves, in particular, complex conjugation, so it should be so.
 
  • #8
arkajad said:
Hermitian conjugation involves, in particular, complex conjugation, so it should be so.

huh? obviously I know h.c. is T and *. The point is that you said c.c. takes dotted to undotted, whereas Srednicki is saying h.c. takes dotted to undotted and vice versa. This makes a lot of difference in trying to derive the above.

Anyway things are not working out,

[tex]
\left[\psi^{\dag}_{\dot{a}}\bar{\sigma}^{\mu\dot{a}c}\chi_{c}\right]^{\dag} =\chi^{\dag}_{\dot{c}}(\left(\bar{\sigma}^{\mu\dag }\right)^{a\dot{c}})\psi_{a} =\chi^{\dag}_{\dot{c}}(\left(\bar{\sigma}^{\mu* }\right)^{\dot{c}a})\psi_{a}
\neq\chi^{\dag}_{\dot{c}}(\left(\bar{\sigma}^{\mu a\dot{c}}\right)^{*}\psi_{a}
[/tex]

If it was solely c.c. that took dotted to undotted perhaps things would work out here (still assuming that Srednicki * should really be a T, and is an errata), but then this seems at odds with the rest of Srednicki where he says it is h.c. that does this function, at least on single index objects.
 
  • #9
But you did not yet take into account the hermicity of Pauli's matrices. They are Hermitian. Which means (skipping the mu index):

[tex](\bar{\sigma}^{a\dot{c}})^\dag=\bar{\sigma}^{a\dot{c}}[/tex]

or, if you wish,

[tex]\bar{\sigma}^{a\dot{c}}=\bar{\sigma}^{c\dot{a}}[/tex]

P.S. I noticed this subject has been https://www.physicsforums.com/showthread.php?t=281207" [Broken].
 
Last edited by a moderator:
  • #10
arkajad said:
But you did not yet take into account the hermicity of Pauli's matrices. They are Hermitian. Which means (skipping the mu index):

[tex](\bar{\sigma}^{a\dot{c}})^\dag=\bar{\sigma}^{a\dot{c}}[/tex]

Surely it would mean

[tex](\bar{\sigma}^{a\dot{c}})^\dag=\left(\bar{\sigma}^{\dag}\right)^{\dot{a}c}=\bar{\sigma}^{\dot{a}c}[/tex]

Where the last equality follows from hermiticity.
 
  • #11
All this dot notation may be confusing. It is not the symbol [tex]sigma[/tex] that is hermitian, but the whole matrix [tex]\bar{\sigma}^{a\dot {c}} [/tex]. Therefore

[tex]
(\bar{\sigma}^{a\dot{c}})^\dag=\bar{\sigma}^{a\dot {c}}\quad \mbox{added later: that is wrong}
[/tex]

That is the starting point. Srednicki could have used just that. But he did not, he started manipulating indices of sigma and got confused and confused the reader without explaining. I hope this will be fixed in the next draft.

Once you realize Paul' matrices are Hermitian, then you may start, if you wish so, playing with indices - how can that be written using the potentially confusing index notation. Srednicki is skipping the discussion of these issues. But you can find them discussed somewhere else. For instance in "Theory of spinors: an introduction", by Carmeli, p. 88 you will find Eq. (5.34):

[tex]\sigma^\mu_{AB'}=\bar{\sigma}^\mu_{B'A}[/tex]

In Carmeli bar denotes complex conjugation. This is much better. Srednicki is using * for complex conjugation. To be less confusing I should have followed Carmeli and write

[tex]
\bar{\sigma}^{a\dot{c}}=\bar{\sigma}^{*c\dot{a}}
[/tex]
 
Last edited:
  • #12
arkajad said:
All this dot notation may be confusing. It is not the symbol [tex]sigma[/tex] that is hermitian, but the whole matrix [tex]\bar{\sigma}^{a\dot {c}} [/tex]. Therefore

[tex]
(\bar{\sigma}^{a\dot{c}})^\dag=\bar{\sigma}^{a\dot {c}}
[/tex]

I really am confused now, haha, sorry. As I understand it [tex] \bar{\sigma}^{\mu a\dot{c}} [/tex] is just the [tex] \mu[/tex]'th element of the vector of matrices [tex]\bar{\sigma} [/tex] for example [tex] \bar{\sigma}^{0 (1\dot{1})}}[/tex] is just 1 (since it is the top left element of the ident matrix)

Now when we take dagger it is w.r.t the spinor indices, and [tex] \mu [/tex] is a specific number, meaning we are just using hermiticity of the pauli matrices and the ident when we say sigma is Hermitian.

Hermiticity means that if we have a matrix [tex] A^{\dag}_{ij}=A^{*}_{ji} [/tex] thus using this definition on say the [tex] \mu=1 [/tex] element

[tex]
(\bar{\sigma}^{1 a\dot{c}})^\dag=\bar{\sigma}^{* 1 \dot{c}a}
[/tex]

Then of course something has to happen, to flip dots [tex]\bar{\sigma}^{* 1 c\dot{a}}
[/tex] So I arrive at,
[tex] (\bar{\sigma}^{1 a\dot{c}})^\dag=\bar{\sigma}^{* 1 c\dot{a}} [/tex]I know I'm missing something here, but Srednicki does exactly the same thing in 36.1 so I don't think his * instead of T is a genuine typo.
 
Last edited:
  • #13
Alright, it is confusing. Without indices it would be clear. We have [tex](\bar{\sigma}^\mu)^\dag =\bar{\sigma}^\mu,[/tex] therefore

[tex](\psi^\dag\bar{\sigma}^\mu\chi)^\dag=\chi^\dag\bar{\sigma}^\mu\psi.[/tex]

Now we add indices, and we add with the last before last line in Srednicki. As for other manipulations - what rules are being used - it is not clear to me now. I will try to clarify it to myself first.
 
  • #14
I noticed that everywhere before sigmas has the second index dotted. In the formula we are discussing, the first index becomes dotted. That means we are using either conjugate sigma or transposed sigma - which is the same, because sigmas are hermitian. So I would first write it as:

[tex]\psi^\dag \sigma^T \chi[/tex]

and then, during calculations:

[tex](\sigma^{T\dot{a}c})^\dag=(\sigma^{c\dot{a}})^\star=\sigma^{\star\dot{c}a}=\sigma^{T\dot{c}a}[/tex]

Where in the last equality I am using the fact that sigmas are hermitian, therefore [tex]\sigma^*=\sigma^T.[/tex]

I believes that Srednicki assumes that we are supposed to read from the position of the indices whether we are using the sigma or its transpose (=complex conjugate).
 
  • #15
I thought I'd stick my oar in here since I also find these problems in general extremely challenging.

For one, I've never even seen these 'dotted indices' before. The author of my QFT textbook doesn't use them.

In reference to arkajad's second-to-last post: What is the reasoning behind moving [tex]\chi[/tex] to the far left? This doesn't seem implicit to me in the expression. Does this imply that [tex]\chi[/tex], whatever it is, commutes with [tex]{\sigma}^\mu\psi[/tex]?

edit: Apparently I need to review my basic complex algebra. It appears that this is a fundamental property of Hermitian conjugation, which I'd forgotten about.
 
Last edited:
  • #16
Sojourner01 said:
For one, I've never even seen these 'dotted indices' before.

Dotted indices are used to indicate the transformation law when you change the basis in the two-dimensional complex space, usually by a SU(2) matrix. When you use matrix A you use undotted index, when you use its complex conjugate - you use dotted one. Sigma transform usually as

[tex]\sigma\mapsto A\sigma A^\dag[/tex]

so the first index is undotted, the second is dotted.

Another abstract algebraic way is to consider sigmas as elements of the tensor space

[tex]V\otimes{\bar V}[/tex]

where [tex]V[/tex] is [tex]\mathbf{C}^2[/tex], and [tex]\bar{V}[/tex] is its complex conjugated space. This last concept is abstractly defined in some linear algebra books, but not that often. Usually only complex dual space is defined, but not the complex conjugate.
 
  • #17
Thanks arkajad, you are clearly a patient teacher. Spelled out explicitly, the dotted index rule makes perfect sense and it seems that as usual, there's a subset of authors who simply can't be bothered to express their derivations rigorously. I'm displaying my ignorance once again, though in my defence, it's not entirely my fault. In my entire history of education (for the record, up to Masters' level physics), nobody has ever bothered to explain what a tensor or a tensor space is. I've had to discover this entirely by myself - after graduating.
 
  • #18
arkajad said:
I noticed that everywhere before sigmas has the second index dotted. In the formula we are discussing, the first index becomes dotted. That means we are using either conjugate sigma or transposed sigma - which is the same, because sigmas are hermitian.

But sigma bar is defined with it's first index dotted, not vice versa in 35.19, so not sure what you mean by previously it always had its second index dotted? Also in 35.20 it is the first index dotted. So I don't see how he can be implicitley assuming that this arrangement of dotted/undotted indices is the transposed version.
 
  • #19
LAHLH said:
But sigma bar is defined with it's first index dotted...

Aargh! You are right. Back to my decoding again.
 
  • #20
Using matrix notation I would write the definition of [tex]\bar{\sigma}[/tex] as
[tex]\bar{\sigma}={\bar\epsilon}\sigma^T\epsilon^T.[/tex]

Sigma bar is also hermitian. Therefore we have the formula that it is equal to its transposed complex conjugate:

[tex]\bar{\sigma}^{\dot{a}c}=\bar{\sigma}^{*\dot{c}a}.[/tex]

We calculate from the definition of [tex]{}^\dag={}^{*T}[/tex]

[tex](\bar{\sigma}^{\dot{a}c})^\dag=(\bar{\sigma}^{*a\dot{c}})^T=\bar{\sigma}^{\dag\dot{c}a}=\bar{\sigma}^{\dot{c}a},[/tex]
Where I have used the fact that [tex]\bar{\sigma}^\dag=\bar{\sigma}.[/tex]
 
  • #21
arkajad said:
Using matrix notation I would write the definition of [tex]\bar{\sigma}[/tex] as
[tex]\bar{\sigma}={\bar\epsilon}\sigma^T\epsilon^T.[/tex]

Sigma bar is also hermitian. Therefore we have the formula that it is equal to its transposed complex conjugate:

[tex]\bar{\sigma}^{\dot{a}c}=\bar{\sigma}^{*\dot{c}a}.[/tex]

We calculate from the definition of [tex]{}^\dag={}^{*T}[/tex]

[tex](\bar{\sigma}^{\dot{a}c})^\dag=(\bar{\sigma}^{*a\dot{c}})^T=\bar{\sigma}^{\dag\dot{c}a}=\bar{\sigma}^{\dot{c}a},[/tex]
Where I have used the fact that [tex]\bar{\sigma}^\dag=\bar{\sigma}.[/tex]

On your second to last equality why have you swapped the indices too. You had a * and a T and endedup with a dagger, which given that the dagger=*T, means nothing should have changed?
 
  • #22
LAHLH said:
Hi,

If we start with [tex] \psi^{\dag}\bar{\sigma}^{\mu}\chi [/tex] and take its Hermitian conjugate:

[tex] \left[\psi^{\dag}\bar{\sigma}^{\mu}\chi\right]^{\dag}=\left[\psi^{\dag}_{\dot{a}}\bar{\sigma}^{\mu\dot{a}c}\chi_{c}\right]^{\dag} [/tex]

I'm basing this on Srednicki ch35 (p219 in my edition). His next line is,

[tex] =\chi^{\dag}_{\dot{c}}(\bar{\sigma}^{\mu a\dot{c}})^{*}\psi_{a} [/tex]
I believe he's treating sigma as just a set of numbers. Thus, the operators (the fields) get hermitian conjugated (and switch order), and the numbers get complex conjugated. On a field, hermitian conjugation changes a dotted index to undotted (and vice versa), and so the explicit indices on the sigma have also been changed to match.
 
  • #23
Avodyne said:
I believe he's treating sigma as just a set of numbers. Thus, the operators (the fields) get hermitian conjugated (and switch order), and the numbers get complex conjugated. On a field, hermitian conjugation changes a dotted index to undotted (and vice versa), and so the explicit indices on the sigma have also been changed to match.
That's how I read it too. If you want to reverse the indices, you'd have to write

[tex]\chi^\dag_{\dot{c}} [((\bar{\sigma}^{\mu})^\mathrm{T}})^{\dot{c}a}]^* \psi_a[/tex]
 
  • #24
LAHLH said:
On your second to last equality why have you swapped the indices too. You had a * and a T and endedup with a dagger, which given that the dagger=*T, means nothing should have changed?

Yes. Because [tex]\bar{\sigma}[/tex] are hermitian.
 
  • #25
Avodyne said:
I believe he's treating sigma as just a set of numbers. Thus, the operators (the fields) get hermitian conjugated (and switch order), and the numbers get complex conjugated. On a field, hermitian conjugation changes a dotted index to undotted (and vice versa), and so the explicit indices on the sigma have also been changed to match.

So if I were to write this out slowly step by step, justifiying each step it would look like:

[tex]\left[\psi^{\dag}_{\dot{a}}\bar{\sigma}^{\mu\dot{a}c}\chi_{c}\right]^{\dag} [/tex]
[tex]=\left[\chi_{c}\right]^{\dag}\left[\bar{\sigma}^{\mu\dot{a}c}\right]^{\dag}\left[\psi^{\dag}_{\dot{a}}\right]^{\dag}[/tex]

Now I change the [tex] \dag[/tex] to a * on the sigma bracketts because I think of each as a number rather than a matrix at this step? leading to:

[tex]=\left[\chi_{c}\right]^{\dag}\left[\bar{\sigma}^{\mu\dot{a}c}\right]^{*}\left[\psi^{\dag}_{\dot{a}}\right]^{\dag}[/tex]

Now since I'm about to change the c to [tex]\dot{c}[/tex] and the [tex]\dot{a}[/tex]'s to a, I also do the same relabelling of "dummy indices" type thing on the sigma too? leading to,

[tex]=\chi^{\dag}_{\dot{c}}\left[\bar{\sigma}^{\mu a\dot{c}}\right]^{*}\psi_{a}[/tex]

Which is Srednicki's line 2 of 35.29. Now I need to use hermiticity of the sigmas (i.e. for some reason now actually think of them as matrices again?), which leads to [tex] \left(\bar{\sigma}^{\mu a\dot{c}}\right)^{*}=\left(\left[\bar{\sigma}^{\dag}\right]^{\mu a\dot{c}}\right)^{*}=\left(\left[\bar{\sigma}^{*}\right]^{\mu \dot{c}a}\right)^{*}=\left(\bar{\sigma}^{\mu \dot{c}a}\right)[/tex]

So now plugging this in I arrive at:[tex]=\chi^{\dag}_{\dot{c}}\left(\bar{\sigma}^{\mu \dot{c}a}\right)\psi_{a}[/tex]
[tex]=\chi^{\dag}\bar{\sigma}^{\mu}\psi[/tex]

which is of course Srednicki's final line.

So this all seems to work out nicely, but I'm not really sure I understand why we can think of them as just c numbers as one stage then we treat them as matrices the next, and how exactly the relabelling of dummies if indeed that is what's going on, can occur like this.

My understanding at the moment is when the dagger is outside the symbol e.g. [tex] \left[\bar{\sigma}^{\mu a\dot{c}}\right]^{\dag} [/tex], we are thinking of what's in the square bracketts as just a complex number so change the dagger to a star. But if we write [tex] \left[\bar{\sigma}^{\dag}\right]^{\mu a\dot{c}} [/tex] then we're thinking of the different matrix [tex]\bar{\sigma}^{\dag}[/tex]

Thanks a lot for the help
 
Last edited:
  • #26
just wondering if people agree with my derivation above, or if I'm still missing something?
 
  • #27
As for me, it seems you are thinking alright, but I am not really sure. I have proposed my way of writing, which I adjusted from Carmeli, and which I like, and it works.
 
  • #28
LAHLH said:
just wondering if people agree with my derivation above, or if I'm still missing something?
Yes, I agree. And I don't think there's anything unusual about treating matrices this way. For example, consider

[tex]\chi^\dagger A\psi = \chi_i^* A_{ij}\psi_j[/tex]

where [itex]\psi_i[/itex] and [itex]\chi_i[/itex] are column vectors of complex numbers, and [itex]A_{ij}[/itex] is a matrix (and repeated indices are summed). This expression is just a number, so its hermitian conjugate is the same as its complex conjugate:

[tex](\chi^\dagger A\psi)^\dagger = (\chi^\dagger A\psi)^*[/tex]

Evaluating the left-hand side by symbolic manipulation, we get

[tex](\chi^\dagger A\psi)^\dagger=\psi^\dagger A^\dagger\chi[/tex]

Evaluating the right-hand side by explicitly writing it out, we get

[tex](\chi^\dagger A\psi)^*=(\chi_i^* A_{ij}\psi_j)^*=\chi_i A_{ij}^*\psi_j^*[/tex]

But now we can rearrange this to

[tex]{}= \psi_j^*A_{ij}^*\chi_i = \psi_j^*(A^{T*})_{ji}\chi_i = \psi_j^*(A^\dagger)_{ji}\chi_i=\psi^\dagger A^\dagger\chi[/tex]

The differences with spinor indices are that (1) there are two kinds, dotted and undotted, and we have to keep track of which is which, and (2) conjugation (hermitian or complex) transforms one kind into the other.

EDIT: final expression in last equation now corrected
 
Last edited:
  • #29
Avodyne said:
[tex]{}= \psi_j^*A_{ij}^*\chi_i = \psi_j^*(A^{T*})_{ji}\chi_i = \psi_j^*(A^\dagger)_{ji}\chi_i=\chi^\dagger A\psi[/tex]

This is very helpful, thanks. Just want to clarify your very last equality, did you mean [tex] \psi_j^*(A^\dagger)_{ji}\chi_i=\psi^\dagger A^\dagger \chi[/tex]
 
  • #30
Oops! Yes, I've now corrected the original post.
 

Similar threads

Replies
2
Views
4K
Replies
4
Views
965
Replies
7
Views
3K
  • High Energy, Nuclear, Particle Physics
2
Replies
38
Views
3K
  • High Energy, Nuclear, Particle Physics
Replies
22
Views
4K
  • Advanced Physics Homework Help
2
Replies
36
Views
6K
  • High Energy, Nuclear, Particle Physics
Replies
4
Views
4K
  • High Energy, Nuclear, Particle Physics
Replies
1
Views
2K
  • MATLAB, Maple, Mathematica, LaTeX
Replies
3
Views
224
  • High Energy, Nuclear, Particle Physics
Replies
2
Views
2K
Back
Top