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

206 submissions , 164 unreviewed
5,103 questions , 2,249 unanswered
5,355 answers , 22,794 comments
1,470 users with positive rep
820 active unimported users
More ...

  Dimension reduction of supersymmetric Yang-Mills from 10D to 4D

+ 2 like - 0 dislike
1688 views

I was recomputing the dimension reduction of the 10-dimensional SYM theory to 4-dimension in an old paper "Supersymmetric Yang-Mills theories" https://lib-extopc.kek.jp/preprints/PDF/1977/7703/7703036.pdf.

Explicit 10D gamma matrices $\Gamma^\mu,\mu=0,1,...,9$ were not given in that paper, instead, they were given in the form $\Gamma^{ij},i,j=1,2,3$(see equation (5.3) in the paper). So my question is what is the form of $\Gamma^\mu,\mu=1,2,...9$?

I have tried the so-called "friendly representation" of gamma matrices to produce 10D gamma matrices. In this representation one can obtian gamma matrices in $(2m)$D from the gamma matrices in $(2m-2)$D.

The method works as follows: Denote the gamma matrices in $(2m)$D dimensional spacetime as $\Gamma$, and $\gamma$ in $(2m-2)$D.
\begin{equation} \Gamma^\mu=\gamma^\mu\otimes I_2\\ \Gamma^{2D-2}=\gamma^{2D-1}\otimes i\sigma_1\\ \Gamma^{2D-2}=\gamma^{2D-1}\otimes i\sigma_2\\ \Gamma^{2D+1}=\gamma^{2D-1}\otimes \sigma_3 \end{equation}

So started from 2D gamma matrices in that paper which are \begin{equation} \gamma^0=\left(\begin{array}{cc} 1 & 0 \\ 0 & -1 \end{array} \right) ,~\gamma^1=\left(\begin{array}{cc} 0 & 1 \\ -1 & 0 \end{array} \right),~\gamma_3=\gamma^0\gamma^1=\left(\begin{array}{cc} 0 & 1 \\ 1 & 0 \end{array} \right) \end{equation} one can obtain the 4D,6D,8D,10D gamma matrices, and the explicit form of 10D matrices in terms of 4D gamma matrices are \begin{equation} \Gamma_{(10)}^\mu=\Gamma_{(4)}^\mu\otimes I_2\otimes I_2\otimes I_2,~~\mu=0,1,2,3\\ \Gamma_{(0)}^0=\Gamma_{(4)}^0\otimes I_2\otimes I_2\otimes I_2=\sigma_3\otimes I_2\otimes I_2\otimes I_2\otimes I_2\\ \Gamma_{(1)}^1=\Gamma_{(4)}^1\otimes I_2\otimes I_2\otimes I_2=i\sigma_2\otimes I_2\otimes I_2\otimes I_2\otimes I_2\\ \Gamma_{(4)}^2=\Gamma_{(4)}^2\otimes I_2\otimes I_2\otimes I_2=\sigma_1\otimes i\sigma_1\otimes I_2\otimes I_2\otimes I_2\\ \Gamma_{(4)}^3=\Gamma_{(4)}^3\otimes I_2\otimes I_2\otimes I_2=\sigma_1\otimes i\sigma_2\otimes I_2\otimes I_2\otimes I_2\\ \Gamma_{(10)}^4=\Gamma_{(4)}^5\otimes i\sigma_1\otimes I_2\otimes I_2=\sigma_1\otimes\sigma_3\otimes i\sigma_1\otimes I_2\otimes I_2 \\ \Gamma_{(10)}^5 =\Gamma_{(4)}^5\otimes i\sigma_2\otimes I_2\otimes I_2 =\sigma_1\otimes\sigma_3\otimes i\sigma_2\otimes I_2\otimes I_2 \\ \Gamma_{(10)}^6 =\Gamma_{(4)}^5\otimes \sigma_3\otimes i\sigma_1\otimes I_2= \sigma_1\otimes\sigma_3\otimes \sigma_3\otimes i\sigma_1\otimes I_2 \\ \Gamma_{(10)}^7 =\Gamma_{(4)}^5\otimes \sigma_3\otimes i\sigma_2\otimes I_2 =\sigma_1\otimes\sigma_3\otimes \sigma_3\otimes i\sigma_2\otimes I_2\\ \Gamma_{(10)}^8 =\Gamma_{(4)}^5\otimes \sigma_3\otimes \sigma_3\otimes i\sigma_1 = \sigma_1\otimes\sigma_3\otimes \sigma_3\otimes \sigma_3\otimes i\sigma_1\\ \Gamma_{(10)}^9= \Gamma_{(4)}^5\otimes\sigma_3\otimes \sigma_3\otimes i\sigma_2= \sigma_1\otimes\sigma_3\otimes\sigma_3\otimes \sigma_3\otimes i\sigma_2 \\ \Gamma_{(10)}^{11} =\Gamma_{(4)}^5\otimes\sigma_3\otimes \sigma_3 \otimes \sigma_3= \sigma_1\otimes\sigma_3\otimes\sigma_3\otimes \sigma_3 \otimes \sigma_3\\ \end{equation} where the number in brakert denote the dimension of spactime.

However, this represetation is not consistent with the charge conjuation matrix (5.6) in that paper in the sense that not all $C\Gamma^\mu_{(10)}$ are symmetric.

Above is my computation. Does anyone know the explicit form for gamma matrices in 10D, or other representation different from this paper when one consider the dimensional reduction from 10D to 4D?

This post imported from StackExchange Physics at 2017-01-21 16:17 (UTC), posted by SE-user phys
asked Jan 9, 2017 in Theoretical Physics by phys (15 points) [ no revision ]
retagged Jan 21, 2017
When you say "the explicit form", are you asking what specific choice of $\Gamma$-matrices that paper made? Because there is no "the explicit form", since you can choose the basis of your vector space arbitrarily.

This post imported from StackExchange Physics at 2017-01-21 16:17 (UTC), posted by SE-user ACuriousMind
Yes, "the explicit form" means a specific choice of gamma matrices. I think there are two rensons that I want to know the explicit form(which may be wrong, so please correct me if so). First, in (5.3) of the paper a particular choice of gamma matrices labeled $ij$ were given, but what the relationship between $\Gamma_{ij}$ and $\Gamma^\mu$. Second, It seem from second line in (5.10), one can abstract $\Gamma^4,\Gamma^5,...,\Gamma^9$ if $\phi_{ij}$ is reexpressed as $A_4,A_5,...,A_9.$

This post imported from StackExchange Physics at 2017-01-21 16:17 (UTC), posted by SE-user phys

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$ysicsOverfl$\varnothing$w
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
...