属 2 的热分脊Jacobian与最优覆盖

我们探讨了热力学 Abel variety（tav）、$\mathbb{T}\mathcal{A}$ 与热曲线范畴、$\mathbb{T}\mathcal{C}$ 之间的联系，首先在更广泛的背景下，然后具体通过研究热分脊Jacobian现象。属 2 的曲线的Jacobian为二维 tav，因而比其一维版本更为复杂。无论何种情况，只要 $\Gamma$ 是椭圆曲线的覆盖，它的 $Jac(\Gamma)$ 就会分解为更简单的对象——椭圆曲线的直和。这一关系在本质上以两种方式是病态的：$Jac(\Gamma)$ 的分解非唯一，且先验并不清楚如何计算。类似于代数几何，最优覆盖提供了解决这两种问题的办法：它们通过为我们提供规范选择来解决不可确定性，通过为我们提供算法方法来解决不可确定性。我们的研究方法建立在由 Len、Mikhalkin、R"ohrle、Ulirsch、Zakharov、Zharkov 和许多更多人开发的理论基础之上。根据这一传统，我们希望在能够看见抽象工作的热力学几何中呈现这一点。这意味着将“抽象机器”与建设性/算法方法相结合。