Can fermion fields in QFT have dimensions other than 3/2 and 1/2?

[fermi]

I have a question about the dimensions of quantum fields. In natural units, the dimensions of bosonic fields (both scalar and vector) is 1. The dimension of spin=1/2 fermion fields is 3/2. This is all very good, but I have never read any explanation anywhere why we cannot have other types of fields where the dimension of the field is different from those mentioned above. For example, is there a reason why a field (of any spin) cannot have dimension= 1/2? For such a scalar field f, for example, there will be a term f^8 in the Lagrangian density with a dimensionless coupling constant in 4 space-time dimensions. For such a term, naive dimensional counting appears not to rule out renormalizibility outright. (In contrast, ordinary scalar fields of dimension=1 cannot have a renormalizable f^8 interaction.)

How about something even more exotic: why can't we have spin=1/2 fermion fields of dimension=1, instead of 3/2? Is there some simple argument or symmetry in QFT that forbids such exotics?

 

[StatusX]

The action must be dimensionless, which means the Lagrangian density must have dimensions of mass^d in d dimensional spacetime. The standard kinetic terms for scalars and vectors are of the form (\partial phi)^2, and since a partial derivative has dimensions of mass, this fixes the dimension of the fields at (d-2)/2. A similar argument shows the dimension of a spinor field with the usual kinetic term is (d-1)/2.

If you don't have a kinetic term, your fields don't propagate, that is, the equations of motion are algebraic, and the fields basically don't enter into the theory. If you have a weird kinetic term, such as one with three derivatives of more than two powers of the field, things get strange. For example, the field equations might become differential equations of higher than second order, and so initial values for the fields and their first time derivatives don't give unique evolution. Other than this, I don't know much about non-standard kinetic terms, other than to avoid them.

 

[fermi]

If you don't have a kinetic term, your fields don't propagate, that is, the equations of motion are algebraic, and the fields basically don't enter into the theory. If you have a weird kinetic term, such as one with three derivatives of more than two powers of the field, things get strange. For example, the field equations might become differential equations of higher than second order, and so initial values for the fields and their first time derivatives don't give unique evolution. Other than this, I don't know much about non-standard kinetic terms, other than to avoid them.

Not having a kinetic term is not an option. Having more than two derivatives may not be so bad. What is wrong if the initial conditions and the first derivatives do not give unique classical solutions? Still, I am not really interested in these really weird cases. There are many interesting cases that do not fall into these two categories you mention. The most interesting options involve one or two powers of derivatives multiplied by other powers of fields. For example, for dimension=1/2 scalar field, a term in the form \phi² (\partial \mu[/tex]\phi ) (\partial \mu[/tex]\phi) appears perfectly OK.<br /> <br /> I can think of a very rich set of non-linear terms, especially if these are multiplets transforming under some gauge group.

 

[StatusX]

It's true, there are things called non-linear sigma models, where the kinetic term looks like:

\int d^d x g^{\mu \nu}(\phi) \partial_\mu \phi \partial_\nu \phi

where \phi are coordinates on a target manifold, and g is the pull-back of the metric. In general, g depends non-trivially on \phi, and you get terms like the one you mentioned. But the leading term is still the usual kinetic term, with the others typically treated as a perturbation. I've never seen a model without such a leading term. It seems to me like this would come about from expanding around a singular point on the manifold, which doesn't seem like a good idea, but I'm sure it's come up somewhere.

In fact, it seems like all such bad kinetic terms come because of expanding around a bad point in field space. In all these cases, couldn't you just redefine the fields by shifting them by a constant and get the usual kinetic term back? Of course, this constant would have the same dimensions as your field, so would basically mean the kinetic term is weighted by a dimensionful coupling constant, another thing I haven't seen, but which seems somewhat more reasonable, and would get around the argument I gave in my earlier post.

 

[RedX]

It's true, there are things called non-linear sigma models, where the kinetic term looks like:

\int d^d x g^{\mu \nu}(\phi) \partial_\mu \phi \partial_\nu \phi

where \phi are coordinates on a target manifold, and g is the pull-back of the metric. In general, g depends non-trivially on \phi, and you get terms like the one you mentioned.

Is the metric a function or functional of \phi? And when you say g is the pullback of the metric, do you mean a pull-back to a flat space d^dx (or what's the manifold you're pulling back to?). Don't all the your phi's and partials in your Lagrangian have to be pull-backs and not just the metric?

 

[StatusX]

The "fields" are maps from d dimensional spacetime into the target manifold M of, say, n dimensions. In other words, in doing the path integral, we integrate over all maps f:R^d->M. The field I called \phi is really a collection of scalar fields \phi^i which represent coordinates on M, so that a map f is represented by n scalar fields.

Then the kinetic term is obtained as follows (what I said above was a little sloppy). First look at the differential of f, which is a map between the tangent spaces. Now, given two tangent vectors in spacetime, this map gives two vectors tangent to M, whose inner product we can take using the metric on M. But this procedure can be thought of as a bilinear map on tangent vectors in spacetime, and we can take the trace of this map using the Minkowski metric. In coordinates we get:

g_{ij}(\phi) \eta^{\mu \nu} \partial_\mu \phi^i \partial_\nu \phi^j

For example, if we go to Riemann normal coordinates, the metric expands in such a way that the above becomes something like (I probably have coefficients wrong):

\left( \delta_{ij} + R_{ikjl} \phi^k \phi^l \right) \eta^{\mu \nu} \partial_\mu \phi^i \partial_\nu \phi^j

So we see we get the normal kinetic term plus terms like \phi^2 (\partial \phi)^2.