A mediados de los años 80 surgieron los primeros modelos geométricos de la teoría de cuerdas, los cuales involucraban un espacio 10-dimensional R^{1,3}×M6, donde R^{1,3} es una variedad Lorentziana espacio-tiempo y
M^6 es una variedad compacta Calabi-Yau.
Strominger generalizó la construcción anterior permitiendo un espacio M con torsión no nula. Esto da lugar a un sistema de ecuaciones diferenciales conocido como el sistema de Strominger, escrito en términos de los campos bosónicos y fermiónicos relevantes para la teoría física. Este sistema se puede reformular de modo geométrico a través de conexiones
lineales definidas en fibrados sobre la variedad base M^6.
Desde entonces, numerosos autores se han dedicado a encontrar soluciones a este sistema.
En esta charla presentaremos variedades compactas construidas como cocientes de grupos
de Lie que dan solución a este sistema y a otro más restrictivo, conocido como ecuaciones del movimiento.