Usando las tríadas

Vamos a replantearnos lo anterior usando tríadas, que son las versión tridimensional de las tétradas. Dedicaremos una entrada a estos objetos, por el momento definiremos las tríadas con la expresión (1).

Denominaremos tríada a un conjuto de tres 1-formas definidas en cada punto de . La métrica sobre esa variedad por lo tanto se podrá expresar como:

(1)

Podemos densitizar la tríada para obtener:



El producto de estos objetos nos da:



Con lo cual, dado que obtenemos la métrica (inversa) espacial y su determinante, utilizando los E, podemos calcular áreas, volúmenes, longitudes, etc.

Además podemos definir un vector (en la hipersuperficie espacial) relacionado con la segunda forma fundamental de :

.

Por otro lado, no es dificil de calcular que:



Es decir, podemos reespresar el término canónico de la acción ADM en término de E y de K.

Además, podemos reexpresar las ligaduras y usando E y K.

Pero ocurre que:

1.- E tiene nueve componentes.
2.- La métrica espacial q tiene seis.

Tenemos que eliminar esta redundancia (usualmente la redundancia en los grados de libertad en una teoría son debidos a una determinada libertad gauge).

La redundancia tiene un origen claro:

Podemos elegir, en un mismo punto, distintos sistemas de triadas que se diferencian por una transformación SO(3) (una rotación). Como tenemos tres posibles direcciones de rotación, ahí tenemos los tres grados de libertad espúros. Además esta libertad se puede relacionar con el hecho de que la segunda forma fundamental
es simétrica. Por lo tanto tenemos que exigir que escrita en términos de quda como:




Por lo tanto la acción con estas variables queda:



Donde es un multiplicador de Lagrange que nos asegura la existencia de la ligadura que necesitamos con estas variables para tener los grados de libertad correctos.

El paréntesis de Poisson relevante es:



Posteriormente introduciremos la variable de Ashtekar.