[论文解读] Infinite staircases and reflexive polygons

Dan Cristofaro‐Gardiner, Tara S. Holm+2 more|arXiv (Cornell University)|Apr 27, 2020

Topological and Geometric Data Analysis被引用 4

一句话总结

本文研究四维有理凸 toric 域的椭球体嵌入函数中无限阶梯出现的时机，推测其仅在六类矩量多边形为反射多边形的家族中出现。作者利用递归的近 toric 纤维丛与凸格路，通过一个二次方程证明了此类阶梯的唯一聚点，并在六类家族中统一建立了无限阶梯的存在性，同时证明了闭辛 toric 流形中的嵌入与相应凸 toric 对应物之间的关键等价性。

ABSTRACT

We explore the question of when an infinite staircase describes part of the ellipsoid embedding function of a convex toric domain. For rational convex toric domains in four dimensions, we conjecture a complete answer to this question, in terms of six families that are distinguished by the fact that their moment polygon is reflexive. To understand better when infinite staircases occur, we prove that any infinite staircase must have a unique accumulation point given as the solution to an explicit quadratic equation. We then provide a uniform proof of the existence of infinite staircases for our six families, using two tools. For the first, we use recursive families of almost toric fibrations to find symplectic embeddings into closed symplectic manifolds. In order to establish the embeddings for convex toric domains, we prove a result of potentially independent interest: a four-dimensional ellipsoid embeds into a closed symplectic toric four-manifold if and only if it can be embedded into a corresponding convex toric domain. For the second tool, we find recursive families of convex lattice paths that provide obstructions to embeddings. Our work contrasts the work of Usher, who finds infinite families of infinite staircases for irrationally shaped rectangles.

研究动机与目标

• 确定四维凸 toric 域的椭球体嵌入函数中无限阶梯出现的精确条件。
• 推测无限阶梯仅在矩量多边形为反射多边形的六类有理凸 toric 域中出现。
• 为这六类家族建立统一的证明技术，利用辛纤维丛与嵌入障碍来证明无限阶梯的存在性。
• 证明一个基本等价性：四维椭球体嵌入到闭辛 toric 四维流形中，当且仅当它嵌入到相应的凸 toric 域中。

提出的方法

• 使用递归的近 toric 纤维丛族，构造嵌入到闭辛流形中的辛嵌入，从而实现无限阶梯的实现。
• 证明四维椭球体嵌入到闭辛 toric 四维流形中，当且仅当它嵌入到相应的凸 toric 域中，为证明建立关键等价性。
• 利用递归的凸格路族作为辛嵌入的障碍，提供一种双重机制，以确认在需要时嵌入的不存在性。
• 将任何无限阶梯的唯一聚点识别为由流形几何导出的显式二次方程的解。
• 通过矩量多边形为反射多边形的性质来表征感兴趣的六类家族，将代数几何与辛拓扑联系起来。
• 将反射多边形条件用作区分不变量，以对发生无限阶梯的域进行分类。

实验结果

研究问题

• RQ1 在四维有理凸 toric 域中，椭球体嵌入函数在何种情况下包含无限阶梯？
• RQ2 此类嵌入函数中任意无限阶梯的聚点具有何种性质？
• RQ3 能否开发一种统一的构造方法，以证明在多个凸 toric 域家族中无限阶梯的存在性？
• RQ4 在此背景下，凸格路如何作为辛嵌入的障碍？
• RQ5 矩量多边形的几何结构——特别是其反射性——在多大程度上决定了无限阶梯的存在？

主要发现

• 本文推测，无限阶梯仅在矩量多边形为反射多边形的六类有理凸 toric 域中出现。
• 任何凸 toric 域的椭球体嵌入函数中的无限阶梯必须具有唯一的聚点，该聚点是显式二次方程的解。
• 四维椭球体嵌入到闭辛 toric 四维流形中，当且仅当它嵌入到相应的凸 toric 域中，该结果本身具有独立兴趣。
• 作者利用递归的近 toric 纤维丛，为六类反射家族提供了无限阶梯存在性的统一证明。
• 递归的凸格路族被用于建立障碍，确认在六类家族之外不存在嵌入。
• 本工作与 Usher 对无理矩形的结果形成对比，表明在有理域中无限阶梯是罕见且结构受限的。