En física teórica , la transformada de Penrose , introducida por Roger Penrose (1967, 1968, 1969), es un análogo complejo de la transformada de radón que relaciona campos sin masa en el espacio-tiempo, o más precisamente el espacio de soluciones de ecuaciones de campos sin masa , con la cohomología de gavilla. grupos en el espacio proyectivo complejo . El espacio proyectivo en cuestión es el espacio twistor , un espacio geométrico naturalmente asociado al espacio-tiempo original, y la transformada twistor también es geométricamente natural en el sentido de geometría integral . La transformada de Penrose es un componente importante de la teoría clásica del twistor .
Descripción general
De manera abstracta, la transformada de Penrose opera en una doble fibración de un espacio Y , sobre dos espacios X y Z.
![{\displaystyle Z{\xleftarrow {\eta }}Y{\xrightarrow {\tau }}X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En la transformada de Penrose clásica, Y es el haz de espines , X es una forma compactada y compleja del espacio de Minkowski (que como variedad compleja es ) y Z es el espacio twistor (que es ). De manera más general, los ejemplos provienen de fibraciones dobles de la forma.![{\displaystyle \mathbf {Gr} (2,4)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {P} ^{3}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G/H_{1}{\xleftarrow {\eta }}G/(H_{1}\cap H_{2}){\xrightarrow {\tau }}G/H_{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde G es un grupo de Lie complejo semisimple y H 1 y H 2 son subgrupos parabólicos .
La transformada de Penrose opera en dos etapas. Primero, se retiran los grupos de cohomología de la gavilla H r ( Z , F ) a la cohomología de la gavilla H r ( Y , η −1 F ) en Y ; En muchos casos en los que la transformada de Penrose es de interés, este retroceso resulta ser un isomorfismo. Luego se empujan las clases de cohomología resultantes hasta X ; es decir, se investiga la imagen directa de una clase de cohomología mediante la secuencia espectral de Leray . Luego, la imagen directa resultante se interpreta en términos de ecuaciones diferenciales. En el caso de la transformada de Penrose clásica, las ecuaciones diferenciales resultantes son precisamente las ecuaciones de campo sin masa para un espín dado.
Ejemplo
El ejemplo clásico se da de la siguiente manera.
- El "espacio giratorio" Z es CP 3 proyectivo complejo de 3 espacios , que también es el Gr 1 ( C 4 ) de Grassmann de líneas en un espacio complejo de 4 dimensiones.
- X = Gr 2 ( C 4 ), el Grassmanniano de 2 planos en un espacio complejo de 4 dimensiones. Se trata de una compactación del espacio complejo de Minkowski.
- Y es la variedad bandera cuyos elementos corresponden a una recta en un plano de C 4 .
- G es el grupo SL 4 ( C ) y H 1 y H 2 son los subgrupos parabólicos que fijan una recta o un plano que contiene esta recta.
Los mapas de Y a X y Z son las proyecciones naturales.
Utilizando la notación del índice de espín, la transformada de Penrose proporciona una biyección entre soluciones de la ecuación del campo sin masa de espín.![{\displaystyle \pmn/2}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \partial _{A}\,^{A_{1}'}\phi _{A_{1}'A_{2}'\cdots A_{n}'}=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
esfera de Riemannhaces de líneas holomorfashacessecciones[1]![{\displaystyle H^{1}(\mathbb {P} ^{1},{\mathcal {O}}(\pm n-2))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {P} ^{1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {O}}(k)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {O}}(k)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Transformación de Penrose-Ward
La transformada de Penrose-Ward es una modificación no lineal de la transformada de Penrose, introducida por Ward (1977), que (entre otras cosas) relaciona paquetes de vectores holomórficos en el espacio proyectivo complejo tridimensional CP 3 con soluciones del autodual Yang-Mills. ecuaciones en S 4 . Atiyah y Ward (1977) usaron esto para describir instantenes en términos de paquetes de vectores algebraicos en 3 espacios proyectivos complejos y Atiyah (1979) explicó cómo esto podría usarse para clasificar instantenes en 4 esferas.
Ver también
Referencias
- ^ Dunajski, Maciej (2010). Solitones, instantones y tornadores . Oxford: Prensa de la Universidad de Oxford. págs. 145-146. ISBN 9780198570639.
- Atiyah, Michael Francis ; Ward, RS (1977), "Instantons y geometría algebraica", Communications in Mathematical Physics , 55 (2), Springer Berlin / Heidelberg: 117–124, Bibcode :1977CMaPh..55..117A, doi :10.1007/BF01626514, ISSN 0010-3616, SEÑOR 0494098
- Atiyah, Michael Francis (1979), Geometría de los campos de Yang-Mills , Lezioni Fermiane, Scuola Normale Superiore Pisa, Pisa, ISBN 978-88-7642-303-1, señor 0554924
- Bastón, Robert J.; Eastwood, Michael G. (1989), La transformada de Penrose , Monografías matemáticas de Oxford, The Clarendon Press Oxford University Press, ISBN 978-0-19-853565-2, señor 1038279.
- Eastwood, Michael (1993), "Introducción a la transformada de Penrose", en Eastwood, Michael; Lobo, José; Zierau., Roger (eds.), La transformada de Penrose y la cohomología analítica en la teoría de la representación (South Hadley, MA, 1992) , Contemp. Matemáticas, vol. 154, Providencia, Rhode Island: Amer. Matemáticas. Soc., págs. 71–75, ISBN 978-0-8218-5176-0, señor 1246377
- Eastwood, MG (2001) [1994], "Transformación de Penrose", Enciclopedia de Matemáticas , EMS Press
- David, Liana (2001), La transformada de Penrose y sus aplicaciones (PDF) , Universidad de Edimburgo; Tesis de Doctor en Filosofía.
- Penrose, Roger (1967), "Twistor algebra", Journal of Mathematical Physics , 8 (2): 345–366, Bibcode :1967JMP.....8..345P, doi :10.1063/1.1705200, ISSN 0022-2488, MR 0216828, archivado desde el original el 2013-01-12
- Penrose, Roger (1968), "Cuantización de giros y espacio-tiempo curvo", Revista Internacional de Física Teórica , 1 (1), Springer Países Bajos: 61–99, Bibcode :1968IJTP....1...61P, doi : 10.1007/BF00668831, ISSN 0020-7748
- Penrose, Roger (1969), "Soluciones de las ecuaciones de masa en reposo cero", Journal of Mathematical Physics , 10 (1): 38–39, Bibcode :1969JMP....10...38P, doi :10.1063/ 1.1664756, ISSN 0022-2488, archivado desde el original el 12 de enero de 2013
- Penrose, Roger ; Rindler, Wolfgang (1986), Spinors y el espacio-tiempo. vol. 2 , Monografías de Cambridge sobre física matemática, Cambridge University Press , ISBN 978-0-521-25267-6, señor 0838301.
- Ward, RS (1977), "Sobre campos de calibre dual", Physics Letters A , 61 (2): 81–82, Bibcode :1977PhLA...61...81W, doi :10.1016/0375-9601(77 )90842-8, ISSN 0375-9601, SEÑOR 0443823