3
$\begingroup$

Hi,

I have a superspace spanned by 4 commuting coordinates + 2 anti-commuting ones $\{x^\mu,\theta^\alpha\}$, I have to do the change of coordinates $dx^\mu\to dy^\mu= dx^\mu+d\theta^\alpha \eta_\alpha^{\;\:\mu}$ where $\eta$ have to be a local function i.e: $\eta\equiv\eta(x)$, and leave the $d\theta$'s unchanged, so how can I translate this change on coordinates themselves? In particular I need to express $\partial_\mu$ in the new coordinate system.

If the $\eta$ fcts where global it would be simply $x^\mu\to y^\mu= x^\mu+\theta^\alpha \eta_\alpha^{\;\:\mu}$, so what if $\eta$'s where not global?

$\endgroup$
2
  • 5
    $\begingroup$ Please do not use words like "local" and "global" in this context. By a "global function" you mean a constant and by a "local function" you simply mean a function. This sort of nonstandard language might be confusing to some people. $\endgroup$ Feb 20, 2010 at 14:46
  • $\begingroup$ Sorry, bad physicist language I know ;-) $\endgroup$
    – Pedro
    Feb 20, 2010 at 16:17

2 Answers 2

5
$\begingroup$

First of all, I would not call $dx^\mu \mapsto dy^\mu$ a change of coordinates. Not every transformation on 1-forms is going to be the pullback by a smooth map. In fact, your question is whether the transformation $(dx^\mu,d\theta^\alpha) \mapsto (dy^\mu,d\theta^\alpha)$ comes from a change of coordinates.

Pullbacks commute with exterior derivative, so that if $dy^\mu$ is a pullback then applying $d$ to your $dy^\mu$ should give zero. If you do that you find that it is not unless $\eta$ is constant.

$\endgroup$
2
  • $\begingroup$ Thank you for this very clear answer... nevertheless I wonder how I can now express my partial derivatives! $\endgroup$
    – Pedro
    Feb 20, 2010 at 16:20
  • 2
    $\begingroup$ The partial derivatives are canonically dual to the differentials, so they transform as the "inverse transpose". Be careful that just because you have declared that $d\theta^\alpha$ does not transform, this does not mean that the partial derivative $\partial/\partial\theta^\alpha$ does not either! $\endgroup$ Feb 20, 2010 at 17:43
1
$\begingroup$

Ok here are the partial derivatives $k_M$:

they are dual to $\{b^M\} = \{dy^\mu,d\theta^\alpha\}$ ie:

$b^M(k_N)=\delta_N^M$

Writing $k_N=(k_N)^{\mu}\frac{\partial}{\partial x^\mu}+(k_N)^{\alpha}\frac{\partial}{\partial \theta^\alpha}$ and solving $b^\nu(k_\mu)=\delta^\nu_\mu,\;b^\mu(k_\alpha)=0; \; b^\alpha(k_\nu)=0;\;b^\alpha(k_\beta)=\delta^\alpha_\beta$ one finds:

$(k_\mu)^\nu=\delta^\nu_\mu,\;(k_\mu)^\alpha=0;\;(k_\alpha)^\beta=\delta^\beta_\alpha;\;(k_\alpha)^\nu=-\eta_\alpha^{\;\;\mu}$

So:

$\frac{\partial}{\partial y^\mu} = \frac{\partial}{\partial x^\mu}$

$\frac{\partial}{\partial y^\alpha} = -\eta^{\;\;\mu}_\alpha \frac{\partial}{\partial x^\mu} + \frac{\partial}{\partial \theta^\alpha}$

$\endgroup$
1
  • $\begingroup$ There is some problem with the notation in the left-hand side of the last equation. You'd like to say that this is $\partial/\partial\theta^\alpha$, but then then equation would be inconsistent. Anyway, it's clear what you mean. $\endgroup$ Feb 22, 2010 at 17:52

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.