[論文レビュー] Real analytic counterexample to the freeness conjecture

Scot Adams|arXiv (Cornell University)|Sep 4, 2015

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

ひとこと要約

この論文は、P. Olverの自由性予想に対する、$C^{\omega}$作用における実解析的反例を構築する。3次元の$C^{\omega}$多様体上の$\mathbb{Z}$作用が、任意の有限順序のジャンプバンドル上で自由でないことを示している。反復的力学的手術プロセスを用いて、単連結でない$C^{\omega}$多様体を構成し、完全な$C^{\omega}$ベクトル場を備えたが、その$\mathbb{Z}$作用が任意のジャンプ延長上で自由でない。これにより、実解析的カテゴリーにおける予想が反証された。

ABSTRACT

We provide a counterexample to P.~Olver's freeness conjecture for $C^ω$ transformations.

研究の動機と目的

• P. Olverの自由性予想を、実解析的（$C^{\omega}$）カテゴリーで反証すること。
• $\mathbb{Z}$の3次元多様体への$C^{\omega}$作用で、任意の有限順序ジャンプバンドル上で自由でないものを構築すること。
• $\mathbb{Z}$作用からの帰納によって、非コン pact 中心をもつ連結リー群に対しても自由性予想が成立しないことの証明。
• 多様体の位相的複雑性（無限生成の基本群）が、ジャンプ延長における自由性の欠如を妨げる理由を示すこと。
• $C^{\infty}$反例が存在するが、より強い解析的制約のもとで$C^{\omega}$反例を提供すること。

提案手法

• 位相的複雑性を段階的に増加させる、$\mathbb{R}^3$内の部分集合列$Q_k \subset \mathbb{R}^3$を反復的に構成する。
• 各段階での局所位相$\tau_k$を一貫して統合することで、$M = \bigcup Q_k$に多様体位相$\tau$を定義する。
• 各段階の局所$C^{\omega}$チャートを貼り合わせることで、$(M, \tau)$上に$C^{\omega}$アトラス$\mathcal{A}$を構成する。
• 中心領域では定数ベクトル場$E$と一致し、無限遠で消える完全な$C^{\omega}$ベクトル場$V$を$M$上に定義する。
• 点$\sigma_k$におけるフローの周期性を、$k$次の順序で確保する。これにより、ジャンプバンドル上で自由性が失われる。
• 稠密な点列$\omega_j$と最小インデックス選択ルールを用い、$\sigma_k$が任意の開集合内に留まるように保証することで、稠密性と解析性を維持する。

実験結果

リサーチクエスチョン

• RQ1 任意の有限順序ジャンプバンドル上で自由でない、$\mathbb{Z}$の3次元多様体への実解析的（$C^{\omega}$）作用が存在するか？
• RQ2 $C^{\infty}$カテゴリーで成立する自由性予想が、$C^{\omega}$カテゴリーでも成立しないことはあり得るか？
• RQ3 $C^{\omega}$反例を、高次元よりも3次元多様体上で構成することは可能か？
• RQ4 多様体の位相的複雑性（例：無限生成の基本群）が、ジャンプ延長における自由性の欠如を妨げるか？
• RQ5 $C^{\omega}$構造の剛性により、$C^{\infty}$反例が存在する場合でも、$C^{\omega}$反例を構築できるか？

主な発見

• $\mathbb{Z}$の3次元$C^{\omega}$多様体への$C^{\omega}$作用に対して、Olverの自由性予想の反例が存在する。
• 構築された多様体$M$は、無限生成の基本群を有し、$\mathbb{R}^4$よりも位相的に複雑であり、単連結ではない。
• $\mathbb{Z}$作用は、完全な$C^{\omega}$ベクトル場$V$のフローによって誘導され、任意の有限順序のジャンプバンドル上で自由でない。
• 点$\sigma_k$は$\sigma_k$の順序$k$で周期的であり、集合$\Sigma = \{\sigma_1, \sigma_2, \dots\}$は$M$において稠密であるため、すべての順序で非自由性が保証される。
• 稠密な点列$\omega_j$と最小インデックス選択ルールを用いることで、$\sigma_k$が任意の開集合内に存在することが保証され、解析性と稠密性が維持される。
• $\mathbb{Z}$作用からの帰納により、任意の非コン pact 中心をもつ連結リー群に対しても反例が拡張可能であり、コン pact 中心をもつ群では予想が成立する。