[論文レビュー] Sur la géométrie systolique des variétés de Bieberbach

Chady El Mir, Jacques Lafontaine|ArXiv.org|Apr 9, 2008

Geometric Analysis and Curvature Flows参考文献 7被引用数 5

ひとこと要約

本稿は、3次元非可向なビーバーバッハ多様体における最適収縮比の特定を検討し、収縮比（収縮長）^3 / 体積 として定義される上界が、いかなる平坦計量でも達成されないことを証明している。代わりに、バヴァールの特異計量を用いたクラインボトルの懸垂を介して特異リーマン計量を構成し、それらが同じ多様体上のいかなる平坦計量よりも厳密に高い収縮比を達成することを示している。さらに、滑らかに近似することで、平坦計量をすべて上回る滑らかな計量の存在を確立している。

ABSTRACT

The systole of a compact non simply connected Riemannian manifold is the smallest length of a non-contractible closed curve ; the systolic ratio is the quotient $(\mathrm{systole})^n/\mathrm{volume}$. Its supremum on the set of all the riemannian metrics, is known to be finite for a large class of manifolds, including the $K(π,1)$. We study the optimal systolic ratio of compact, 3-dimensional non orientable Bieberbach manifolds, and prove that it cannot be realized by a flat metric.

研究の動機と目的

• 3次元非可向ビーバーバッハ多様体における最適収縮比が平坦計量によって実現可能かどうかを特定すること。
• 同種の多様体上での平坦計量より高い収縮比をもたらすリーマン計量の存在を調査すること。
• クラインボトルにおいて最適計量が特異的であるという既知の結果を、幾何的懸垂を用いて高次元ビーバーバッハ多様体へ拡張すること。
• 特異的かつ $C^1$-滑らかであるが、滑らかでない計量を用いることで、平坦計量を上回る収縮比が厳密に向上することを示すこと。この計量は特異的表面を除き、共形平坦である。
• 最適計量が滑らかでないものの、滑らかな計量による近似が可能であり、収縮比における厳密な不等号が保たれることを確立すること。

提案手法

• 基底空間の等長変換を用いて、クラインボトルの特異計量を懸垂することで3次元ビーバーバッハ多様体を構成する。
• C. バヴァールが提案した、$C^1$-滑らかだが滑らかでない特異計量を用い、これはいかなる平坦計量よりも厳密に高い収縮比を持つ。
• 関数 $f$ が連続的かつ区分的滑らかであるような形 $d heta^2 + f^2( heta) d heta^2 + dt^2$ の特異リーマン計量の族を定義し、懸垂をモデル化する。
• 共形不変性とリウヴィルの定理を用いて、$f$ が微分可能でない特異的表面 $S$ を除き、その計量が共形平坦であることを証明する。
• 収縮長関数の $C^0$-位相における連続性を確立し、特異計量を滑らかな計量に近似可能であり、収縮比が低下しないことを保証する。
• 基底空間の等長変換（例えば、反転やグライド対称性）が、懸垂計量へと拡張され、収縮構造が保存されることを用いる。

実験結果

リサーチクエスチョン

• RQ1 3次元非可向ビーバーバッハ多様体における最適収縮比が平坦計量によって達成可能か。
• RQ2 クラインボトルにおける特異的最適計量の存在が、幾何的懸垂を用いて高次元ビーバーバッハ多様体へ拡張可能か。
• RQ3 同様の3次元多様体上では、特定の特異計量が、すべての平坦計量よりも収縮比が厳密に大きいか。
• RQ4 収縮比がより高い特異計量が、不等号を保ったまま滑らかな計量に近似可能か。
• RQ5 構築された特異計量における収縮ジオデシックは、依然として多様体全体を被覆するか。これは、最適性の可能性を示唆する。

主な発見

• 任意の3次元非可向ビーバーバッハ多様体における最適収縮比は、平坦計量によって実現されない。
• すべてのこのような多様体に対して、収縮比が同じ多様体上のいかなる平坦計量よりも高い特異リーマン計量（$C^1$ 級）が存在する。
• 特異計量は、等長変換を用いてバヴァールのクラインボトル上の特異計量を懸垂することで構成され、特異的表面を除き共形平坦である。
• 収縮長関数は $C^0$-位相において連続であり、特異計量の滑らかな近似が可能であり、収縮比の厳密な不等号が保たれる。
• 得られた滑らかな計量は、同じ多様体上のいかなる平坦計量よりも、収縮比が厳密に大きい。
• 特異計量においても、収縮ジオデシックが多様体全体を被覆しており、実射影平面やクラインボトルといった既知の最適ケースと類似した構造的性質を示唆している。