TRANSFORMADA DE PENROSE

Calcular la transformada de Penrose puede parecer intimidante al principio, pero el proceso se puede desglosar en una serie de pasos conceptuales y matemáticos bien definidos.

La transformada de Penrose es un procedimiento de geometría integral que actúa como un puente, convirtiendo objetos matemáticos abstractos en el espacio twistor en objetos físicos, como los campos sin masa, en el espacio-tiempo. Existen formulaciones más abstractas usando cohomología de haces, pero aquí te explicaré el enfoque más concreto y operativo basado en integrales de contorno, que es ideal para entender su mecanismo.

La "Receta" Paso a Paso

Imagina que tienes una función especial definida en el espacio twistor y quieres usarla para "cocinar" un campo físico en nuestro espacio-tiempo. La "receta" de la transformada de Penrose consta de los siguientes pasos:

1. Ingrediente Inicial (Cohomología de Haces) : El punto de partida no es una función cualquiera, sino un objeto más sutil: una clase de cohomología. En la práctica, para muchos casos, esta clase puede ser representada por una función $f(x,{\pi }^{A^{\mathrm{\prime }}})$. Esta función debe cumplir dos propiedades clave en el espacio twistor:

   • Homogeneidad : Tiene un grado de homogeneidad específico, denotado como $-k$, en las variables ${\pi }^{A^{\mathrm{\prime }}}$. Este número $k$ está directamente relacionado con el spin o helicidad del campo que se quiere obtener.

   • Holomorfía : La función debe ser holomorfa (analítica compleja) en un sentido específico dentro del espacio twistor. Esto impone una condición de "derivada antiholomorfa nula", que en coordenadas se expresa como $d_{A}f=0$. Esta condición es el corazón de la transformada, pues es la que luego se traduce en las ecuaciones de campo.

2. El "Horno" (Integral de Contorno) : La transformada propiamente dicha "hornea" esta función para obtener un campo en el espacio-tiempo mediante una integral de contorno a lo largo de una curva cerrada en la fibra de la esfera de Riemann ( $\mathbb$) del espacio twistor. La forma exacta de la integral varía según el valor de $k$, es decir, según la helicidad del campo que se quiere generar.

3. El Resultado Final (Campo sin Masa) : El resultado de la integral es un campo $\phi (x)$ (que puede ser un escalar, un espinor, un tensor, etc.) definido en el espacio-tiempo. La magia de la transformada es que la condición de holomorfía $d_{A}f=0$, junto con el contorno de integración elegido, garantiza que este $\phi (x)$satisfaga automáticamente las ecuaciones de campo libre sin masa correspondientes a su spin.

Ejemplos Concretos de Cálculo

La mejor manera de entenderlo es con las fórmulas explícitas. Usaremos la notación de espinores, donde ${\pi }^{A^{\mathrm{\prime }}}$ son las coordenadas espinoriales en el twistor y $x$ son las coordenadas del espacio-tiempo. La integral de contorno básica implica una medida $({\pi }_{B^{\mathrm{\prime }}}d{\pi }^{B^{\mathrm{\prime }}})$, que es la forma diferencial natural sobre la fibra de $\mathbb$.

Ejemplo 1: Obteniendo un campo de Dirac (Ecuación de Weyl)

Para generar un campo de helicidad $\frac{1}{2}$ , como el que describe un neutrino (ecuación de Weyl), se parte de una función $f$ con homogeneidad $-3$ ( $k=3$). La receta nos dice que el campo resultante ${\phi }^{A^{\mathrm{\prime }}}(x)$ es un espinor, y se calcula como:

$${\phi }^{A^{\mathrm{\prime }}}(x)=\oint \left({\pi }_{B^{\mathrm{\prime }}}d{\pi }^{B^{\mathrm{\prime }}}\right){\pi }^{A^{\mathrm{\prime }}}f(x,\pi )$$

Ahora, para verificar que este ${\phi }^{A^{\mathrm{\prime }}}(x)$ satisface la ecuación correcta, usamos la condición de holomorfía $d_{A}f=0$ dentro de la integral:

1. Partimos de cero : Insertamos $d_{A}f=0$ en la integral, que es una derivada que actúa sobre $f$. La forma explícita de $d_A$ es un operador diferencial que actúa en el espacio twistor.

2. Integramos por partes : Al introducir este operador en la integral, aparece un término con una derivada $\frac{\mathrm{\partial }}{\mathrm{\partial }{\pi }^{G^{\mathrm{\prime }}}}$. Integramos esta parte por partes. Un resultado clave en este contexto es que la integral de contorno de una derivada total en las variables $\pi$ es cero -
   .

3. Obtenemos la ecuación : Al realizar la integración por partes correctamente, los términos se reordenan y lo que obtenemos es precisamente la derivada covariante del campo actuando sobre sí mismo. El resultado final es la ecuación de Weyl (o Dirac sin masa):

   $${\mathrm{\nabla }}_{A{A}^{\mathrm{\prime }}}{\phi }^{A^{\mathrm{\prime }}}(x)=0$$

Ejemplo 2: Obteniendo un campo escalar (Ecuación de Onda)

Para un campo sin masa de helicidad 0, como un campo escalar que satisface la ecuación de onda $\mathrm{\square }\phi =0$, se parte de una función $f$ con homogeneidad $-2$ ( $k=2$). La integral es más simple:

$$\phi (x)=\oint \left({\pi }_{B^{\mathrm{\prime }}}d{\pi }^{B^{\mathrm{\prime }}}\right)f(x,\pi )$$

En este caso, la demostración es un poco más sutil y requiere un segundo orden. Manipulando la condición de holomorfía $d_{A}f=0$ de manera análoga (insertándola en la integral, derivando e integrando por partes), se puede demostrar que el campo escalar $\phi (x)$ satisface una ecuación de onda conforme:

$${\displaystyle \begin{array}{c}({\mathrm{\nabla }}_{A{A}^{\prime }}{\mathrm{\nabla }}_B^{A^{\prime }}-\nu {ϵ}_{AB})\phi (x)=0\end{array}}$$

donde $\nu$ es un término relacionado con la curvatura escalar (que en el espacio de Minkowski plano es cero, reduciéndose a ${\mathrm{\nabla }}_{A{A}^{\mathrm{\prime }}}{\mathrm{\nabla }}_B^{A^{\mathrm{\prime }}}\phi =0$, que es esencialmente la ecuación de onda).

Una Perspectiva Más Abstracta

Para quienes tengan más familiaridad con geometría diferencial, vale la pena mencionar que la transformada de Penrose también se entiende como un proceso en dos etapas sobre una doble fibración:

1. Pullback : Se "sube" la clase de cohomología desde el espacio twistor (Z) al espacio de la fibración (Y), que es una especie de "espacio total" que conecta ambos mundos.

2. Pushforward : Se "baja" esta información a una ecuación diferencial en el espacio-tiempo (X) utilizando la secuencia espectral de Leray . Este formalismo, aunque más complejo, es el que justifica rigurosamente por qué la transformada funciona y cómo se generaliza a otros contextos.

En resumen, la transformada de Penrose "calcula" un campo físico integrando una función twistorial holomorfa a lo largo de un contorno, y la propia condición de holomorfía se encarga de que el resultado satisfaga automáticamente las ecuaciones de campo correctas. Es un ejemplo bellísimo de cómo la geometría y el análisis se combinan para revelar estructuras profundas de la física.

Como ves, es una idea similar a la transformada de Radon que mencioné antes, pero en un contexto complejo y con una maquinaria matemática más rica.