射影 K3 曲面的同调镜像对称

我们以下列形式证明了 Kontsevich 关于 K3 曲面的同调镜像对称猜想：射影 K3 曲面的 Fukaya 范畴等价于镜像上凝聚层的导出范畴，该镜像是 Picard 秩为 $19$ 的 K3 曲面，定义在形式 Laurent 级数域 $\mathbb{C}((q))$ 上。这项工作建立在 Seidel 之前的工作基础之上，Seidel 证明了四次曲面情形下的定理，以及 Sheridan、Lekili--Ueda 和 Ganatra--Pardon--Shende 的工作。