Definición
Una conjetura dualidad y programa de investigación que postula profundas correspondencias entre la geometría simpléctica de una variedad Calabi–Yau y la geometría algebraico-compleja de su espejo, incluyendo equivalencias entre ciertas categorías e igualdades de invariantes enumerativos.

Principio

Principio
La idea organizadora es que la categoría de Fukaya derivada de subvariedades lagrangianas y la categoría derivada de haces coherentes en la Calabi–Yau espejo son equivalentes; los conteos simplécticos de discos holomorfos/invariantes de Gromov–Witten corresponden a períodos complejos y datos de deformación en el espejo.

Demostración

Demostración
En el ejemplo clásico, predicciones sobre el número de curvas racionales de grado dado en una quíntica tridimensional (lado simpléctico) se obtienen calculando integrales de período de la familia espejo (lado complejo), produciendo fórmulas enumerativas explícitas que luego fueron confirmadas por cálculos algebraicos directos.

Aplicación incorrecta

Aplicación incorrecta
Tratar la simetría espejo como una isomorfía puntual literal entre variedades, afirmar la declaración homológica sin verificar hipótesis técnicas (por ejemplo, monotonicidad, transversalidad o existencia de compactificaciones necesarias), o aplicar argumentos de espejo de Calabi–Yau de forma ingenua a variedades no relacionadas puede conducir a conclusiones erróneas.

Consecuencia

Consecuencia
Cuando es válida, la simetría espejo traduce problemas enumerativos o de deformación difíciles de una categoría geométrica a cálculos más manejables en el espejo, produce equivalencias categóricas que organizan invariantes y sugiere vínculos estructurales profundos entre geometría simpléctica y algebraica.

Inversión

Inversión
La inversión conceptual intercambia los papeles de la geometría compleja y simpléctica: objetos que son haces en un lado corresponden a lagrangianos en el otro; el fallo de una equivalencia en un lado pone de manifiesto obstrucciones (por ejemplo, burbujeo de discos) en el otro.

Límite

Límite
Formulada principalmente para variedades Calabi–Yau y ciertas generalizaciones singulares o logarítmicas; las extensiones a variedades de Fano o modelos Landau–Ginzburg requieren declaraciones modificadas. Excluye variedades arbitrarias sin construcción espejo o casos sin fundamentos analíticos o categóricos necesarios.

Tensión semántica

Tensión semántica
Existe tensión entre las predicciones enumerativas procedentes de la física y las formulaciones homológicas/categóricas de los matemáticos: una es computacional y conjetural, la otra estructural y categórica; también tensión entre la equivalencia formal de categorías y la existencia geométrica o analítica concreta de las correspondencias.

Síntesis

Síntesis
La simetría espejo es el principio de que una variedad Calabi–Yau y su espejo codifican la misma información geométrica en lenguajes duales—simpléctico frente a complejo—a menudo realizado como una equivalencia entre la categoría de Fukaya y la categoría derivada de haces coherentes, con coincidencia de invariantes enumerativos y datos de deformación.