Sunday, September 1, 2019

lagrangian formalism - Noether's theorem: meaning of transformation of coordinates


I have a question regarding Noether's theorem. In our introductory QFT class (which is based on the book by Michele Maggiore) we have derived the Noether currents in the same form as displayed in this post: Question about Noether theorem In this formula, there are contributions from two different kinds of transformations: a transformation of the field alone and a transformation of the coordinates.



My problem is: I don't understand the meaning of the transformation of coordinates. I have tried to understand the derivation from different QFT books (and I haven't found the same derivation twice, which doesn't make it easier) in the hope that I then would better understand the premises, but unfortunately I have not succeeded so far.


Also Peskin/Schröder for example only discuss transformations of fields and don't mention the transformation of coordinates at all. Poincare symmetry, which is in most books treated as a transformation of the coordinates, can be treated also as a transformation of fields, as shown in the answer to the following question for pure translations: Noether's Theorem: Foundations. Like the guy who asked that question, I think that the coordinates entering the action are only dummy variables. So what is then the meaning of the coordinate transformations in the prevalent formulation of Noether's theorem? Maybe someone can give a concrete example to illustrate the idea.



Answer



I think that after 1,5 years I can finally appreciate Qmechanic's answer. Let me try to formulate what I think would have been the ideal answer on my question and correct me if I am wrong. I'm using the symbols as defined in Weinberg's Quantum Theory of Fields.


A field is a function $\Psi: M \rightarrow N$, where $M$ is Minkowski space (which we call for convenience the horizontal space) and $N$ is the target space of the fields (which we call for convenience the vertical space). $N$ can e.g. be the space of scalars, vectors, Dirac spinors, antisymmetric tensors, etc. In order to define an infinitesimal transformation $X \rightarrow X$ (where $X$ is the space of fields), we can consider separate infinitesimal transformations in the horizontal and vertical space:


a) horizontal transformation: Transformation of the type $h:M\rightarrow M$. An example is $x \mapsto x + \omega x$ (if $\omega$ with both indices up or down is antisymmetric, this is an infinitesimal Lorentz transformation).


b) vertical transformation: Transformation of the type $v:N \rightarrow N$. An example is $\Psi \mapsto \Psi + \frac{i}{2}\omega^{\mu\nu} \mathcal J_{\mu\nu} \Psi$, where $J_{\mu\nu}:N\rightarrow N$ are the infinitesimal generators in the irreducible representation of the Lorentz group under which the elements of $N$ transform. $\omega$ is defined as above.


We can now define the transformation of fields $X \rightarrow X$ by combining a horizontal and a vertical transformation: $\Psi \mapsto \Psi'$ with $\Psi'(h(x)) := v(\Psi(x))$. The action is only a functional of the fields themselves, but as we see the transformed field depends on both a vertical and a horizontal transformation.


No comments:

Post a Comment

classical mechanics - Moment of a force about a given axis (Torque) - Scalar or vectorial?

I am studying Statics and saw that: The moment of a force about a given axis (or Torque) is defined by the equation: $M_X = (\vec r \times \...