[論文レビュー] The systolic constant of orientable Bieberbach 3-manifolds

Chady El Mir, Jacques Lafontaine|arXiv (Cornell University)|Dec 19, 2009

Geometric and Algebraic Topology参考文献 6被引用数 5

ひとこと要約

本稿では、3次元向き付け可能 Bieberbach多様体のうち3次元トーラスを除くものについて、最適な系統比（系統長の立方を体積で割ったもの）が、いかなる平坦計量でも達成されないことを証明している。代わりに、$C_2$ 多様体上に特異なリーマン計量 $g_{\text{hex}}$ を構成し、その計量は同じ共形類内で極値的であり、平坦計量よりも厳密に高い系統比を実現している。また、ほとんどすべての点を通る無限個の系統測地線が存在する。

ABSTRACT

A compact manifold is called Bieberbach if it carries a flat Riemannian metric. Bieberbach manifolds are aspherical, therefore the supremum of their systolic ratio, over the set of Riemannian metrics, is finite by a fundamental result of M. Gromov. We study the optimal systolic ratio of compact of $3$-dimensional orientable Bieberbach manifolds which are not tori, and prove that it cannot be realized by a flat metric. We also highlight a metric that we construct on one type of such manifolds ($C_2$) which has interesting geometric properties : it is extremal in its conformal class and the systole is realized by "very many" geodesics.

研究の動機と目的

• 非トーラスな3次元向き付け可能 Bieberbach多様体における最適系統比が平坦計量によって達成可能かどうかを特定すること。
• これらの多様体上で平坦計量を上回る系統比を実現するリーマン計量の存在を調査すること。
• $C_2$ Bieberbach多様体上に、共形類内で極値的であり、系統測地線の密度が高い特異なリーマン計量を構成すること。
• さまざまな Bieberbach多様体上で、構成された特異計量と平坦計量の系統性能を比較すること。
• 非トーラス的かつ非可縮的3次元多様体において、系統比を最大化する計量の幾何学的および共形的性質を探索すること。

提案手法

• 著者らは、3次元向き付け可能 Bieberbach多様体（トーラスを除く）における平坦計量の系統比を分析し、最適比がいかなる平坦計量でも達成されないことを示した。
• 平坦計量を変形することで、$C_2$ 多様体上に特異なリーマン計量 $g_{\text{hex}}$ を構成した。この構成では、系統長を短くせずに体積を減少させる共形因子を用いた。
• Bavard計量のメトリックサスペンションを、対称性と幾何的分解を用いて可縮的設定に適合させた。
• $g_{\text{hex}}$ がその共形類内で極値的であることを証明した。そのために、系統測地線のチューブ状近傍で、関連する1形式 $\mu$ が $^{*}\mu = dg_{\text{hex}}$ を満たすことを確認した。
• 共形因子を定義するための積分方程式 $h(a,\theta)$ を解き、系統測地線が長さ最小性を保ち、多様体全体に密に分布することを保証した。
• 数値近似を用いて、$C_2$、$C_3$、$C_4$、$C_6$ 多様体上での構成された特異計量と平坦計量の系統比を明示的に比較した。

実験結果

リサーチクエスチョン

• RQ1 非トーラスな3次元向き付け可能 Bieberbach多様体に対して、最適系統比が平坦リーマン計量によって達成可能か。
• RQ2 このような多様体上に、平坦計量を上回る系統比を達成する特異なリーマン計量が存在するか。
• RQ3 最大系統比を持つ計量が示す幾何的性質、特に系統測地線の分布に関しては。
• RQ4 $C_2$ 上で構成された特異計量の系統比が、$C_2$、$C_3$、$C_4$、$C_6$ の平坦計量と比較してどのように定量的に異なるか。
• RQ5 $C_2$ 上に構成された計量はその共形類内で極値的か。また、系統測地線が多様体に密に分布する性質を満たすか。

主な発見

• 非トーラスな3次元向き付け可能 Bieberbach多様体における最適系統比は、いかなる平坦計量でも実現されない。
• $C_2$ 多様体上に、系統比が約1.38に達する特異なリーマン計量 $g_{\text{hex}}$ を構成した。これは平坦計量の値 $2/\sqrt{3} \approx 1.154$ よりも顕著に高い。
• $g_{\text{hex}}$ はその共形類内で極値的であり、つまり、これと同共形なすべての計量の中で系統比を最大にする。
• $C_2$ の特異集合以外の任意の点を通る無限個の系統測地線が存在し、高い幾何的対称性と密度を示している。
• $g_{\text{hex}}$ の系統測地線は多様体全体を覆い、極値計量が満たすべき重要な性質を満たしている。
• $C_3$、$C_4$、$C_6$ に対しても、構成された特異計量は平坦計量を上回る系統比を実現しており、それぞれ約1.24、1.05、1.18の値を示している。