En cuanto a los detalles formales, hay que señalar que las teorías cuánticas de campos exitosas como la teoría electrodébil (que aúna la interacción electromagnética y la débil) y la cromodinámica cuántica (que describe la interacción fuerte) en forma de teorías de gauge usan un grupo de gauge finito, pero que el tratamiento del campo gravitatorio como campo de gauge requeriría un grupo de gauge infinito, ya que el conjunto de difeomorfismos (véase homeomorfismo) del espacio-tiempo no es un grupo finito.