[論文レビュー] 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

ひとこと要約

この論文は、角運動量を用いた双対曲線の手法を導入することで、ボロチンの定理をユークリッド平面上の多項式積分から、球面および双曲平面上への一般化する。Birkhoffの台座において、定曲率空間内の凸領域で多項式積分が存在するならば、双対曲線は2次または特異点および変曲点を絶対二次曲線上に持つことが示され、これはユークリッドの場合を超えた可積分性における主要な障害を特定する。

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.

研究の動機と目的

• ユークリッド平面上の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} $ が2次であるか、または絶対二次曲線 $ \tilde{\rho} \times \tilde{\rho} = 0 $ 上に特異点および変曲点を持つ必要があることを示す。

実験結果

リサーチクエスチョン

• RQ1 球面または双曲平面上の凸領域におけるBirkhoff台座が、速度に関する非定数多項式積分をもつための条件は何か？
• RQ2 境界曲線の双対曲線を用いて、このような台座の可積分性を特徴づけられるか。その場合、どのような幾何的制約を満たすべきか？
• RQ3 代数的Birkhoff予想（非自明な多項式積分を持つのは楕円（2次曲線）に限る）は、非ユークリッド的定曲率空間においても成り立つか？
• RQ4 双対曲線の特異点および変曲点は、多項式可積分性の障害をどのように果たすか？
• RQ5 Birkhoff台座と角運動量台座の双対性は、非ユークリッド幾何における新しい可積分性の障害を導くためにどのように利用できるか？

主な発見

• 球面または双曲平面上の凸領域におけるBirkhoff台座が非定数多項式積分をもつならば、双対曲線 $ \tilde{\rho} $ は2次であるか、または特異点をもつ。
• 双対曲線 $ \tilde{\rho} $ のすべての特異点および変曲点は、$ 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}} $ が定数であることが示される。
• これは、すべての $ (x,y,z) \neq 0 $ に対して成り立つ $ \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 $ を導き、可積分性の障害を特徴づける。
• 本手法は、ボロチンの結果を非ユークリッド的定曲率面に成功裏に一般化し、多項式可積分性に対する完全な双対性に基づく障害を提供する。