6

When we do a transformation (norm preserving one) for a given quantity, from what I have understood it seems like there is a representation of the group element for each quantity depending how they transform (eg : scalar, vector, rank 2 tensor spinor.. ).

Considering a normal rotation in 2-D plane (associated to $\mathrm{SO(2)}$ group), if a scalar field $\psi(x,y) \rightarrow \bar\psi(\bar x, \bar y)$ transforms, the representation for the group (which I derived from my arguements of infinitesimal rotations) : $$ \psi(x,y) = (1+ L_z\delta\theta)\bar\psi(\bar x, \bar y) $$

Now I am just wondering what exactly remains unchanged here (since it is a scalar field) or am I just understanding it in the wrong way ?

Also is there a general way of finding a representation given a quantity (a field, vector, tensor ...) in group theory. Since I derived the above scalar representation unlike how find the representation in Lie groups.

PS : Is it probably the form of the field remains invariant, (like how Lorentz covariance gives us spinor transformations)

$$ x^2 +y^2 \rightarrow \bar x^2 +\bar y^2 $$

EDIT 1 : If I wanted to derive this infinite dimensional representation from its Lie group (like I do for the vector case), how can I do it ?

EDIT 2 : I am not able to see the Representation for transformation of Quantum mechanical operators from group directly.

user35952
  • 3,134

1 Answers1

8

General Remarks.

In general, you cannot "derive" a representation of a given group $G$ on the objects you're considering, but there are some really standard definitions of certain group representations which are given special names like "scalar," "vector," and so on.

However, given the representation of a Lie group $G$, this induces a representation of its Lie algebra $\mathfrak g$, and determining an explicit formula for this Lie algebra representation is precisely what we do when we find the so-called "infinitesimal generators" of the corresponding group representation.

An example. $\mathrm{SO}(2)$

Let $C^\infty(\mathbb R^2)$ denote the vector space of smooth functions on the plane $\mathbb R^2$. The scalar representation $\rho$ of $\mathrm{SO}(2)$ acting on $C^\infty(\mathbb R^2)$ is defined as \begin{align} (\rho_0(R)\phi)(\mathbf x) = \phi(R^{-1}\mathbf x). \end{align} for each $\phi\in C^\infty(\mathbb R^2)$ and for each $R\in\mathrm{SO}(2)$. What the heck is going on here? Well, notice that this can also be written as follows: \begin{align} (\rho_0(R)\phi)(R\mathbf x) = \phi(\mathbf x) \end{align} So this definition encapsulates the intuitive idea that the transformed field $\rho(R)\phi$ evaluated at the transformed point $R\mathbf x$ agrees with the untransformed field $\phi$ evaluated at the untransformed point $\mathbf x$. In physics, it is common to see "primed" notations for the transformed field and transformed point; \begin{align} \rho_0(R)\phi = \phi', \qquad R\mathbf x = \mathbf x' \end{align} in which case the definition of the scalar representation can be written as \begin{align} \phi'(\mathbf x') = \phi(\mathbf x) \end{align} This probably looks familiar. So basically the "invariance" that's happening is that the value of the field doesn't change provided the transformed field is evaluated at the transformed point.

Infinitesimal generators.

To find the infinitesimal generators of a given representation, we are really just trying to find a certain representation of the Lie algebra of the group. This Lie group representation $\rho$ naturally induces a Lie algebra representation $\bar \rho$ as follows: \begin{align} \bar \rho(X) = \frac{d}{dt}\rho(e^{tX})\Big|_{t=0} \end{align} So, for the $\mathrm{SO}(2)$ example, we know that the Lie algebra $\mathfrak{so}(2)$ is generated by the single element \begin{align} J = \begin{pmatrix} 0 & -1 \\ 1 & 0 \\ \end{pmatrix}, \end{align} and we can determine how this element is represented in representation induced by the scalar representation defined above as follows: \begin{align} (\bar\rho_0(J) \phi)(\mathbf x) &= \frac{d}{dt}\phi(e^{-tJ}\mathbf x)\Big|_{t=0} \\ &= \frac{d}{dt}\phi(x-ty, y+tx)\Big|_{t=0} \\ &= -y\partial_x\phi(x,y) + x\partial_y\phi(x,y) \\ &= (-y\partial_x + x\partial_y)\phi(\mathbf x) \end{align} In other words, in the scalar representation, the generator of rotations on the plane is represented by a differential operator; \begin{align} \bar\phi_0(J) = -y\partial_x + x\partial_y. \end{align} This same procedure can be extended to find infinitesimal generators of other representations as well, like the vector representation $\rho_1$ of $\mathrm{SO}(2)$ which is defined to act on vector fields $\mathbf v$ on the plane as follows: \begin{align} (\rho_1(R)\mathbf v)(\mathbf x) = R\mathbf v(R^{-1}\mathbf x) \end{align}

By the way, you might find the following links interesting and/or helpful as well:

Tensor Operators

Representations of Lie algebras in physics

Differential Realizations of certain algebras

Generators of Poincare Groups

Idea of Covering Group

Unitary spacetime translation operator

Rigorous underpinnings of infinitesimals in physics

joshphysics
  • 58,991