Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,082 questions , 2,232 unanswered
5,352 answers , 22,785 comments
1,470 users with positive rep
820 active unimported users
More ...

  Clifford algebra representations

+ 3 like - 0 dislike
2237 views

I am currently taking a representation theory class (from a physicist), and I am very confused about the Dirac groups' irreducible representations.

First of all, all the Dirac matrices in the representation have trace = 0, so it does not even seem to include a unit matrix. When we talked about representations in class before, we always had a unit matrix in a representation, what happened?

Also, the lecture went into distinguishing the case for 2n-dimension and 2n-1-dimension. While I understand why there is one more conjugacy classes in the odd dimension (thus even dimension having one more irreducible rep than odd dimension), I can't fully appreciate all the difference in the irreducible representations in the cases of even and odd dimensions; in particular, I was asked in a homework to show that if a Dirac matrices {$\gamma^\mu$} form an irreducible rep, then show that {$-\gamma^\mu$} is equivalent irreducible rep in the case of even dimension, and inequivalent irreducible rep in the case of odd dimension. But then again, if I think about the character table to see whether a representation is equivalent or inequivalent to another representation, I feel like matrices in {$\gamma^\mu$} and {-$\gamma^\mu$} will never have same trace, thus they can never be equivalent (unless they are all 0, which is the case, I believe. Then again, how could they be different representations then?).

I would appreciate any good reading materials / answers to my questions!


This post imported from StackExchange Physics at 2016-04-05 08:55 (UTC), posted by SE-user Quantization

asked Oct 2, 2014 in Mathematics by Quantization (15 points) [ revision history ]
edited Apr 6, 2016 by Arnold Neumaier
Unit matrix and minus unit matrix are part of the Dirac group, see for instance chapter $6.1$ of this ref. Do you really mean representations of the Dirac group, or representations of the real Clifford algebra $Cl_{1,3}(\mathbb R)$, or representations of another group ?

This post imported from StackExchange Physics at 2016-04-05 08:55 (UTC), posted by SE-user Trimok
I am talking about the representation of the real Clifford algebra (of arbitrary dimension, and not necessarily Lorentzian signature (Euclidean possibly)).

This post imported from StackExchange Physics at 2016-04-05 08:55 (UTC), posted by SE-user Quantization
Thank you for pointing out about the unit matrix and minus unit matrix

This post imported from StackExchange Physics at 2016-04-05 08:55 (UTC), posted by SE-user Quantization
I think your confusion arises from thinking about representations of an algebra vs. representations of the group. The group rep. must always have the unit matrix. The group rep. $g$ is obtained from a representation of its algebra $X$ via exponentiation $g = e^X$. Existence of a unit matrix in the group rep. implies existence of a "zero" matrix in the algebra. That a zero matrix exists in the algebra is obvious since it is the additive identity (which must exist for any algebra.)

This post imported from StackExchange Physics at 2016-04-05 08:55 (UTC), posted by SE-user Prahar
Even for your second point - I think your confusion will be alleviated if you realize that physicists often talk about representations of the algebra, whereas mathematicians like to talk about representations of the group (which in general, are not equivalent things). The conjugacy classes and character tables are usually used to discuss representations of groups (as far as I know). The analogue of these things in an algebra are invariant subalgebras.

This post imported from StackExchange Physics at 2016-04-05 08:55 (UTC), posted by SE-user Prahar

1 Answer

+ 2 like - 0 dislike

The defining relation for the Clifford algebra, $Cl(1,d)$ is $$ \{\gamma_\mu,\gamma_\nu\}=2 \eta_{\mu\nu}\ \mathbf{1}\ , $$ For simplicity, I will assume that $\eta_{\mu\nu}=\text{Diag}(1,-1,\ldots,-1)$ with $\mu,\nu=0,1,\ldots,d$. Other signatures can easily be incorporated. It is easy to see that $\gamma_0^2=-\gamma_i^2=\mathbf{1}$ for $i=1,\ldots,d$. Using the defining relation, one has $$ \gamma_0 \gamma_i + \gamma_i \gamma_0 =0 \ . $$ Multiply the above equation by $\gamma_0$ and then take the trace to obtain $$ \text{Tr}(\gamma_i) + \text{Tr}(\gamma_0 \gamma_i \gamma_0)=0\implies \text{Tr}(\gamma_i)=0\ , $$ on using the cyclic property of the trace. Similarly, one can show $\text{Tr}(\gamma_0)=0$. So the defining property proves the tracelessness of the Dirac matrices.

Two representations, $\gamma_\mu$ and $\gamma_\mu'$, of the Clifford algebra are said to be equivalent if $\gamma_\mu' = S \cdot \gamma_\mu S^{-1}$ for some invertible matrix $S$.

Appendix A of the Physics Reports article by Sohnius might be a good starting point for the other properties.

This post imported from StackExchange Physics at 2016-04-05 08:55 (UTC), posted by SE-user suresh
answered Oct 2, 2014 by suresh (1,545 points) [ no revision ]
I don't think you really answered my question. My question wasn't to prove that it is traceless.. But thank you for the article!

This post imported from StackExchange Physics at 2016-04-05 08:55 (UTC), posted by SE-user Quantization
Your long-winded question needs a long answer and so the appendix will do that. I noticed that the tracelessness of the Dirac matrices seemed a mystery to you and hence the proof. I can delete my answer if you think it is a waste.

This post imported from StackExchange Physics at 2016-04-05 08:55 (UTC), posted by SE-user suresh
No, I do not think it is a waste. Sorry if I sounded obnoxious. Also, I am having trouble getting hold of the article! :(

This post imported from StackExchange Physics at 2016-04-05 08:55 (UTC), posted by SE-user Quantization

Type "sohnius introducing supersymmetry" in your favourite search engine and you should find a link to a pdf file.

This post imported from StackExchange Physics at 2016-04-05 08:55 (UTC), posted by SE-user suresh

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$ysicsOv$\varnothing$rflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...