I find it awkward that quarks are in fundamental representation of SU(3) while gluons are in adjoint representation of SU(3). Is there a reason as to why this is the case? Why aren't they in the same representation or in the current specific representation?
Gluon field is a gauge field, gauge fields and their
transformatiom laws follow from
local gauge principle: "some
global internal symmetry holds locally"
Let me explain this;
1) say we believe that (at the fundamental level) SU(n) is a symmetry respected by nature.
2) assuming that the building blocks of matter are fermions, then it is natural to put these fermions in the simplest representation of SU(n). This is the defining (fundamental) representation. Mathematically,this means that we describe particles by n-component object on spacetime q_{i}(x) and that for each value of i (= 1,2,..,n) q(x) is a bispinor (Dirac field).
3) The free-field Lagrangian
\mathcal{L} = i\bar{q}_{i}\gamma_{\mu}\partial^{\mu}q_{i}
is now invariant under the
global SU(n) (infinitesimal) transformations
\delta q_{i} = i\theta^{a}T^{a}_{ij}q_{j}
a = 1,2,...,n^{2}-1
where \theta^{a} are the x-independent parameters and T^{a} are the finite dimensional (matrix) representation of SU(n), i.e., a set of n^{2}-1 matrices satisfying the Lie algebra of SU(n)
[T^{a}, T^{b}] = if^{abc} T^{c}
The invariance under su(n) implies (by Noether theorem) the existence of conserved currents
J^{a}_{\mu} = i \bar{q}_{i} T^{a}_{ij}\gamma_{\mu} q_{j}
a = 1,2,...,n^{2}-1
This means that the fundamental particles carry (n^{2}-1) time-independent and Lorentz scalar charges
Q^{a}= \int d^{3}x J^{a}_{0}
Notice that n^{2}-1 is the dimension of the adjoint representation of su(n) and that the currents belong to this rep. Indeed, it is easy to show that
\delta J^{a}_{\mu} = f^{abc}\theta^{b} J^{c}_{\mu}
So, if you believe that:
1) the fundamental particles interact through J^{a}_{\mu} ,
2) the interaction lagrangian must be invariant under Lorentz and SU(n) transformations,
then you need n^{2}-1 Lorentz-vector to couple to Noether currents J^{a}_{\mu} .
Pre-gauge theory Lagrangians had interaction term of the form
J^{a}_{\mu}J^{a\mu}
but, we now know (thanks to the local gauge principle) that the correct interaction Lagrangian has the form
J^{a}_{\mu}A^{a\mu}
4) The local gauge principle:
Allow the parameters (which play the role of local coordinates of the group manifold) to vary with x. Then demand local su(n) invariance, i.e., make the Lagrangian invariant under local su(n) transformations
\delta q_{i} = i \theta^{a}(x) T^{a}_{ij}q_{j}
It is easy to verify that \mathcal{L} is not invariant under these transformations. To restore invariance, one must introduce a new compensating term, i.e., one should find a derivative D which transforms like q ;
\delta(D_{\mu}q_{i}) = i \theta^{a}(x) T^{a} (D_{\mu}q_{i})
and replace \partial by D in the matter Lagrangian.
The covariant derivative is constructed by introducing a vector (gauge) field taking values in the Lie algebra of SU(n):
A_{\mu} = i A_{\mu}^{a} T^{a}
and defining
D_{\mu}q = (\partial_{\mu} + A_{\mu})q
Thus one needs gauge fields in the number given by the number of generators of the symmetry group, i.e., n^{2}-1 .
From the above equations you can find the infinitesimal (gauge) transformations for A ;
\delta A^{a}_{\mu} = -\partial_{\mu}\theta^{a} + f^{abc}\theta^{b} A^{c}_{\mu}
You can check that these transformations do form a group:
[\delta_{1},\delta_{2}] A^{a}_{\mu} = \delta_{12}A^{a}_{\mu}
You can also see that under global transformations (\partial\theta=0) the gauge fields transform according to the adjoint representation of the group
(T^{a})^{bc}= if^{abc}
So, Lorentz invariance requires the gauge fields to carry a spacetime index (i.e. vectors) and internal symmetry puts these vector (gauge) fields in the adjoint representation. OR, in short, quarks and gluons can not be in the same representation because Lorentz invariance forbids particles of different spin to occupy the same SU(n) multiplet.
regards
sam