镜像对称是指卡拉比-丘流形之间的一种特殊关系,即两种卡丘流形虽然在几何上差别很大,但是作为弦理论的额外维度时却是等价的。这样的一对流形被称为镜像流形。
镜像对称最早是由物理学家发现的。1990年左右,菲利普·坎德拉斯、齐妮娅·德·拉·奥萨(Xenia de la Ossa)、保罗·格林(Paul Green)和琳达·帕克斯(Linda Parks)发现它可以用于枚举几何,因此激发了数学家对此的兴趣。枚举几何是研究几何问题解的数量的数学分支。坎德拉斯和他的合作者证明了镜像对称可用于计算卡丘流形上有理曲线的数目,从而解决了一个长期的难题。尽管镜像对称最初的方法是从物理出发的,数学上并不严格,它的许多数学预测已经被严格证明了。