1

I understand, loosely, that for many purposes we can treat $z$ and $z^*$ as independent variables (e.g. while differentiating, and apparently the dynamics of a Lagrangian of 2 real free scalar fields is identical to one of a complex free scalar field), cf. e.g. this Phys.SE post.

However, since unlike utterly independent variables (say, $a$ and $b$), complex numbers have the extra structure that $z^*$ is easily mapped to $z$, it seems like in some (maybe not common) circumstances, this 'lack of utter independence' must be considered.

My guess is that the maths of QFT always uses 'the subset of operations in which you can consider $z$ and $z^*$ as independent' and happens to not include operations where you see their dependence?

Is this true? What examples are there?

my2cts
  • 24,097
Alex Gower
  • 2,574

1 Answers1

2

Whenever you have a function of two variables $a$ and $b$, you can plug in $a = (z + z^*) / 2$ and $b = (z - z^*) / 2i$ to get a function of $z$ and $z^*$. If $a$ and $b$ were real, $z$ and $z^*$ will necessarily be complex conjugates. Nothing fancy is going on. The mapping between $z$ and $z^*$ is no more or less special than the mapping between $b$ and $-b$.

You are just talking about a change of variables but there are two other things which might be confusing you.

  1. It is often desirable that when $a$ and $b$ are traded for $z$ and $z^*$, the resulting function depends on only one of them. This indeed requires the function to use only "a subset of operations" so that it satisfies the Cauchy-Riemann equations. Note that $f(a, b) = a^2 + b^2 \Leftrightarrow f(z, z^*) = z z^*$ (which is the QFT example you referenced) does not.

  2. Sometimes people take a function of $z$ and $z^*$ and promote both of them to independent complex variables. This is an analytic continuation which means it can be unique or not depending on the function.

Connor Behan
  • 7,207
  • 1
    This was helpful, distinguishing between $z$ and $z^$ as 'independent complex variables (4 independent D.O.Fs) and just when $z$ ad $z^$ is a change of basis of still2. indepdnent D.O.Fs – Alex Gower Dec 30 '21 at 16:12
  • However now I'm confused to why in the referenced question, it still works when, as you said, the Lagrangian includes $zz^*$? Have they promoted them to independent complex variables there? – Alex Gower Dec 30 '21 at 16:13
  • No, they just changed basis. The procedure to find equations of motion is the same whether or not the change of basis matrix involves $i$. – Connor Behan Dec 30 '21 at 16:33
  • Okay so they're not treating the $\phi$ and $\phi^*$ as completely independent complex variables, just as a changed basis. And then with respect to your point 1, its just that the Lagrangian is not analytic, but that doesn't really matter here? – Alex Gower Dec 30 '21 at 16:36
  • 1
    Yeah. I hope that makes sense. – Connor Behan Dec 30 '21 at 16:39