CLIC AQUI PARA MOSTRAR/OCULTAR EL CHAT
Si desea charlar con otros miembros de Cientifi, pulse en el botón superior para expandir el chat.
Aviso Importante: Directrices sobre las preguntas y el funcionamiento.
Trucos de edición Crear Enlaces "<http://link>" -> "http://link". Usar LaTeX -> (tex)codigo(/tex).
4
1

Según dicen la teoría de la relatividad general es una teoría gauge, cuyo grupo gauge son los difeomorfismos sobre la variedad espaciotemporal.

Además tenemos las teorías de Yang-Mills que son teorías gauge (y todas las interacciones no gravitatorias del modelo estándar son teorías de este tipo). Según creo recordar estas teorías son renormalizables y dan resultados finitos cuando se calculan observables físicos.

Sin embargo, la gravedad no se ha podido cuantizar y los intentos de realizar una cuantización análoga a la teorías gauge da lugar a una teoría no renormalizable.

¿Por qué pasa esto?


Comparte el conocimiento:


preguntado el 05/08/10 a las 21:42

Askedton's gravatar image

Askedton
316729

cerrado el 18/08/10 a las 20:40

No se ponen comentarios que no aportan nada a la pregunta, esto no es un foro :)

( el 05/08/10 a las 22:01) MiGUi MiGUi's gravatar image

Supongo que la diferencia principal radicará en que el grupo gauge de las teorías de Yang-Mills tiene un número finito de generadores que forman el álgebra de Lie, pero desconozco cómo interviene esa diferencia o si hay algún punto más.

( el 05/08/10 a las 22:22) darthyoda darthyoda's gravatar image
-1

Evidentemente no existe una respuesta sucinta y escueta. La cuantización de las teorías de Yang Mills no abelianas no es un asunto trivial, y la manera en que la estructura del grupo de Lie juega un papel tampoco. Por eso te remito al libro de Weinberg, tomo 2, que seguro que te lo explica mejor que yo. Y sino siempre puedes recurrir al clásico de Bailin (Introduction to gauge field theory).

( el 07/08/10 a las 23:30) --174-- --174--'s gravatar image

Esta pregunta se ha cerrado porque "La pregunta ha sido respondida satisfactoriamente". Cerrada por Askedton el 18/08/10 a las 20:40


La gran diferencia entre una teoría gauge tipo Yang-Mills (YM) y una teoría gauge de la gravedad (TG) es que la primera es una teoría de un campo sobre un espaciotiempo subyacente fijado y la segunda es una teoría del espaciotiempo como tal. Hay varias teorías propuestas para la gravedad del primer tipo, pero la relatividad general (RG) es una teoría del segundo tipo.

Las teorías YM y TG son teorías clásicas y la diferencia que he indicado ya aparece antes de realizar la cuantización. El problema a la hora de construir una versión cuántica de la TG es que no sabemos cuantizar una teoría de YM en un espaciotiempo curvo y mucho menos una teoría gauge del espaciotiempo curvo. Puede parecer una tontería que después de un siglo de teoría cuántica haya teorías clásicas que nadie sabe cuantizar, pero así es. Sin un espaciotiempo plano subyacente no es nada fácil cuantizar. Hay muchas ideas en la mente de los teóricos pero todavía nadie sabe hacerlo. Una de las propuestas más interesantes es la teoría cuántica de bucles pero todavía es una teoría que está en pañales. Lo mismo le pasa a la teoría de cuerdas y otras propuestas.

La cuestión de la renormalizabilidad es otra muy diferente. Hoy en día sabemos utilizar métodos matemáticos aproximados (teoría de perturbaciones) si la teoría es renormalizable. Si la teoría no lo es los métodos perturbativos dan resultados infinitos. La renormalizabilidad es muy útil para guiar el proceso de elección de una teoría en el contexto de teorías YM cuánticas sobre un espaciotiempo plano. Ahora bien, por qué tiene que ser una teoría cuántica de la gravedad una teoría renormalizable. No hay ninguna razón para ello.

Hay una cosa que muchas veces olvidamos. ¿Para qué queremos una teoría cuántica de la gravedad? ¿Hay algún hecho experimental incompatible con la RG que requiera una versión cuántica de la teoría?

Y hay otra cosa que también muchas veces olvidamos. Ya hay publicadas muchas versiones cuánticas de la RG que son renormalizables (basta añadir a la RGi nfinitos términos con derivadas a todos los órdenes (IDT), términos que son muy pequeños salvo a la escala de Planck). ¿Por qué nadie afirma que ya tenemos una teoría cuántica de la gravedad? Porque estas teorías ofrecen predicciones distintas de la RG solo a la escala de Planck. A escalas de energía alcanzables en los experimentos y cuando la RG se aplica al universo en su conjunto estas teorías ofrecen las mismas respuestas que la RG. Si la RG clásica funciona para qué queremos una RG+IDT cuántica. Además, a algunos teóricos estas teorías les parecen "feas" o chapuceras.

La belleza matemática no puede ser el único aliciente de una teoría cuántica de la gravedad. Tiene que ofrecer predicciones que los experimentos pueden corroborar y/o falsear.

respondido el 08/08/10 a las 04:58

Francis's gravatar image

Francis
36613

Es de esperar que los efectos cuánticos de la gravedad aparezcana escalas del orden de la escala de Planck; por tanto parecería lógico que una teoría cuántica de la gravedad introdujera modificaciones a la RG sólo a dichas escalas. Es por eso que ocurre, creo yo, el boom de la cosmología, donde están apareciendo muchísimos datos que hay que explicar ya, cosas tangibles a las que se les puede meter mano. En ese sentido he notado cierto desencanto en con la Teoría de Cuerdas y ya conozco a varias personas que se han cambiado de topic a la gauge/gravity duality o a cosas más fenomenológicas (es lo que pasa cuando ves que tus vecinos sacan papers relevantes, tanto teórica como experimentalmente, y tú sigues desarrollando los mismos temas matemático-teóricos de siempre).

( el 08/08/10 a las 14:48) --174-- --174--'s gravatar image

Bueno, ya respondí a esta pregunta en la pregunta original. La diferencia es que en una teoría de Yang Mills el grupo local de invariancia es un grupo de Lie (finito), mientras que en una teoría gauge general no tiene por qué serlo. En concreto, el conjunto de difeomorfismos generales sobre una variedad riemanniana o pseudoriemanniana no forma en general un grupo de Lie (aunque el grupo de isometrías sí).

El grupo de difeomorfismos sobre una variedad es, por así decirlo, "demasiado grande" para poder conformar un grupo de Lie.

Por tanto, las teorías de Yang Mills constituyen un subconjunto dentro de todas las teorías gauge (que presentan una invariancia local sin la exigencia de que el grupo de invariancia sea un grupo de Lie).

respondido el 06/08/10 a las 04:20

--174--'s gravatar image

--174--
(suspendido)

Entonces:

¿Si el grupo "gauge" son los difeomorfismos la teoría no es renormalizable?

Que era la pregunta que se estaba formulando en este caso.

¿Por qué las teorías gauge tipo Yang-Mills son renormalizables y la Relatividad General no?

( el 06/08/10 a las 09:41) Askedton Askedton's gravatar image

Porque el grupo gauge es totalmente diferente. En un caso es un grupo de Lie finito (tiene un conjunto finito de generadores etc) mientras que el otro no lo es. Si quieres ver algunos detalles de cómo esto es relevante en la cuantización de la teoría, puedes consultarlo en el tomo 2 del Weinberg.

( el 06/08/10 a las 12:38) --174-- --174--'s gravatar image

Esta claro que los grupos gauge son diferentes. De hecho hay gente que no opina que la relatividad general sea una teoría gauge ya que entienden que una teoría gauge ha de tener un grupo de simetría interno no trivial. En general una teoría tiene como simetrías el producto semidirecto de las simetrías internas (gauge) y las espaciotemporales (Poincaré en teoría cuántica de campos). Sin embargo en RG el grupo de simetrías internas es la identidad y solo quedan los difeomorfismos que actúan sobre las cartas de la base.

Ahora bien, la pregunta que yo estaba haciendo es: ¿Por qué las teorías gauge usuales son renormalizables y RG no?

( el 06/08/10 a las 14:10) Askedton Askedton's gravatar image

Ya te ha respondido: es por el grupo gauge en un caso y en otro.

( el 06/08/10 a las 14:14) MiGUi MiGUi's gravatar image

La RG es una teoria gauge en el sentido de que tiene un grupo de invariancia local, simplemente. Es la nomenclatura usual que se suele encontrar en Fisica. La estructura de producto semidirecto que comentas solo cobra sentido para grupos de Lie (en concreto la importante estructura de algebras de Lie semisimples asociada), con lo que de nuevo nos movemos en el contexto de las teorias de Yang Mills, ya que al exigir la presencia de una simetría interna de la estructura que comentas estas exigiendo la presencia de un grupo de Lie como grupo de simetría local. Como es una cuestión de nomenclatura (es decir, que entiendes por teoría gauge), no creo que merezca la pena más comentario, aunque ya te digo que se suele entender por teoría gauge una teoría con un grupo local de invariancia (sin alusión alguna a su estructura). En cuanto al proceso de cuantización,como ya te dije,lo puedes consultar en el tomo 2 del Weinberg, donde detalla la importancia de que el grupo de simetria sea un grupo de Lie, y resalta en que puede influir. Sobre cómo la RG se considera una teoría gauge, la importancia que esto tiene, e incluso la formulación como una SRFT, puedes consultar el libro de Tomás Ortín Gravity and Strings.

( el 06/08/10 a las 14:28) --174-- --174--'s gravatar image

Mi pregunta no es sobre la definición de teoría gauge que es cuestión de convenio y ya ha quedado clara. Mi pregunta es acerca de la influencia de los diferentes tipos de teorías gauge con la renormalización.

Así que la pregunta aún no ha sido respondida.

El libro de Ortín lo conozco, pero me gustaría una respuesta suscinta y escueta a la cuestión que he planteado.

( el 06/08/10 a las 15:15) Askedton Askedton's gravatar image
mostrando 5 un total de6 ver todo

Seguir esta pregunta

Por Email:

Una vez que acceda al sistema será posible suscribirse a cualquier actualización aquí

Por RSS:

Respuestas

Respuestas y Comentarios

Etiquetas de la pregunta:

×369
×32
×2

pregunta formulada: el 05/08/10 a las 21:42

pregunta vista: 1,719 veces

última actualización: el 18/08/10 a las 20:40

Trucos para editar

  • *italica*
  • **negrita**
  • --tachado--
  • link
    [texto](http://url.com/ "título")
  • imagen
    ![alt texto](/path/img.jpg "título")
  • lista numerada:
    1. Foo
    2. Bar
  • Puede usar etiquetas HTML basicas
  • Escribir en LaTeX:
    (tex)codigo(/tex)

powered by OSQA