Sí: la amplitud de dispersión es un escalar de Lorentz.
Los índices de Spinor no son flotantes. También se contraen. No se muestran explícitamente para despejar la notación. En general, todos los índices suprimidos se contraen. La convención estándar es que uno suprime tantos índices como sea posible mientras la expresión no sea ambigua. A veces sólo se muestran explícitamente los índices vectoriales, pero sobre todo por razones históricas. También se pueden suprimir.
En este sentido, una expresión de la forma \bar u\gamma v\ \bar v\gamma u es una notación abreviada para \bar u\gamma^\mu v\ \bar v\gamma_\mu u que a su vez es una notación abreviada para \bar u_a\gamma^\mu_{ab} v_b\ \bar v_c\gamma_{\mu cd} u_d que a su vez es una notación abreviada para \sum_{abcd\mu}\bar u_a\gamma^\mu_{ab} v_b\ \bar v_c\gamma_{\mu cd} u_d etc.
Debe quedar claro que se prefiere la primera expresión: lleva toda la información relevante, de la forma más concisa posible.
Si quieres jugar con los índices de espinores para ganar algo de confianza, consulta Srednicki, Parte II (Spin One Half). Lee todos los capítulos que puedas/necesites. Puedes encontrar una copia gratuita en su página web .