[论文解读] Algebraic Birkhoff conjecture for billiards on Sphere and Hyperbolic plane

Michael, Bialy+1 more|arXiv (Cornell University)|Feb 18, 2016

Mathematical Dynamics and Fractals参考文献 3被引用 4

一句话总结

本文通过引入角反射的对偶曲线方法，将Bolotin关于平面上多项式积分的定理推广至球面和双曲面。研究证明：若常曲率空间中凸区域上的Birkhoff反射系统存在多项式积分，则其对偶曲线要么为二次曲线，要么其奇点与拐点必位于绝对圆锥曲线上，从而为非欧几何中的可积性提供了关键障碍。

ABSTRACT

We consider a convex curve $γ$ lying on the Sphere or Hyperbolic plane. We study the problem of existence of polynomial in velocities integrals for Birkhoff billiard inside the domain bounded by $γ$. We extend the result by S. Bolotin (1992) and get new obstructions on polynomial integrability in terms of the dual curve $Γ$. We follow a method which was introduced by S. Tabachnikov for Outer billiards in the plane and was applied later on in our recent paper to Birkhoff billiards with the help of a new the so called Angular billiard.

研究动机与目标

• 将Bolotin关于Birkhoff反射系统中多项式积分的结果，从欧氏平面推广至曲率为±1的常曲率曲面，即球面与双曲面。
• 通过角反射建立对偶曲线分析，提出新的多项式可积性障碍，推广平面情形下的结果。
• 通过刻画对偶曲线的结构，解决常曲率曲面上的代数Birkhoff猜想。
• 提出基于对偶曲线奇点与拐点的几何-代数准则，用于证明非平凡多项式积分的不存在性。
• 通过复射影空间中的射影框架，统一处理Birkhoff反射与外反射的对偶性。

提出的方法

• 引入角反射作为Birkhoff反射在边界附近的对偶模型，通过对偶性分析多项式积分。
• 利用动量映射 $ M = \rho \times \tilde{v} $ 在 $ \text{CP}^2 $ 中定义对偶曲线 $ \tilde{\rho} $，其中 $ \rho $ 为位置，$ \tilde{v} $ 为速度向量。
• 应用射影对偶：对偶曲线 $ \tilde{\rho} $ 通过映射 $ \rho \to \rho \times \tilde{v} $ 定义，该映射保持测地线流结构。
• 在齐次坐标下，基于对偶反射流推导出一个关于球面与双曲面均成立的关键恒等式 (1)。
• 对 $ \rho $ 进行幂级数展开，提取 $ \rho^3 $ 阶项，导出对偶曲线 $ \tilde{\rho} $ 上的微分方程 (2)。
• 运用代数几何技术分析所得方程，证明对偶曲线 $ \tilde{\rho} $ 要么为二次曲线，要么其奇点与拐点位于绝对圆锥曲线上 $ \tilde{\rho} \times \tilde{\rho} = 0 $。

实验结果

研究问题

• RQ1 在球面或双曲面上，Birkhoff反射系统在何种条件下会存在非平凡的关于速度的多项式积分？
• RQ2 边界曲线的对偶曲线能否用于刻画此类反射系统的可积性？其必须满足何种几何约束？
• RQ3 在非欧几何的常曲率空间中，代数Birkhoff猜想——即仅椭圆（二次曲线）具有多项式积分——是否成立？
• RQ4 对偶曲线的奇点与拐点在阻碍多项式可积性中起何种作用？
• RQ5 如何利用Birkhoff反射与角反射之间的对偶性，在非欧几何中推导出新的可积性障碍？

主要发现

• 若球面或双曲面上凸区域的Birkhoff反射系统存在非平凡多项式积分，则其对偶曲线 $ \tilde{\rho} $ 要么为二次曲线，要么包含奇点。
• 对偶曲线 $ \tilde{\rho} $ 的所有奇点与拐点必须位于绝对圆锥曲线上 $ \tilde{\rho} \times \tilde{\rho} = 0 $，其定义为 $ x_1^2 + x_2^2 \triangleq x_3^2 = 0 $。
• 证明依赖于对偶反射恒等式的幂级数展开，其中 $ \rho^3 $ 阶项导出对偶曲线上的微分方程。
• 所得方程在水平集 $ f = 0 $ 上诱导出一个守恒量，表明 $ H(g)(x^2 + y^2 - 1)^{\frac{6-3p}{2}} $ 在边界曲线上为常数。
• 由此导出在 $ \text{CP}^3 $ 中的多项式恒等式：$ Q^3 \text{Hess}(F)^k - c(x^2 + y^2 - z^2)^{k(3p-6)/2} z^{2k} = F \times R $，对所有 $ (x,y,z) \neq 0 $ 成立，该恒等式刻画了可积性障碍。
• 该方法成功将Bolotin的结果推广至非欧几何中的常曲率曲面，提供了基于对偶性的完整多项式可积性障碍。