[論文レビュー] Linear bounds for constants in Gromov's systolic inequality and related results

Alexander Nabutovsky|arXiv (Cornell University)|Sep 26, 2019

Mathematics and Applications被引用数 2

ひとこと要約

本稿では、シューレン＝ヨーのアイデアにインspiredされた新しい帰納的次元削減法を導入することで、グロモフのシステム的不等式および関連する幅不等式における定数の線形バウンドを確立する。すべての閉じた本質的リーマン多様体 Mⁿ に対して、システム的長さが sys₁(Mⁿ) ≤ n·vol(Mⁿ)^{1/n} を満たすことが示され、これは従来の n に関する指数関数的上界から著しく改善されたものである。この結果は、最適な定数を伴って、ウリソン幅およびアレクサンドロフ幅へも拡張可能である。

ABSTRACT

Let $M^n$ be a closed Riemannian manifold. Larry Guth proved that there exists $c(n)$ with the following property: if for some $r>0$ the volume of each metric ball of radius $r$ is less than $({r\over c(n)})^n$, then there exists a continuous map from $M^n$ to a $(n-1)$-dimensional simplicial complex such that the inverse image of each point can be covered by a metric ball of radius $r$ in $M^n$. It was previously proven by Gromov that this result implies two by now famous Gromov's inequalities: $Fill Rad(M^n)\leq c(n)vol(M^n)^{1\over n}$ and, if $M^n$ is essential, then also $sys_1(M^n)\leq 6c(n)vol(M^n)^{1\over n}$ with the same constant $c(n)$. Here $sys_1(M^n)$ denotes the length of a shortest non-contractible closed curve in $M^n$. We prove that these results hold with $c(n)=({n!\over 2})^{1\over n}\leq {n\over 2}$. We demonstrate that for essential Riemannian manifolds $sys_1(M^n) \leq n\ vol^{1\over n}(M^n)$. All previously known upper bounds for $c(n)$ were exponential in $n$. Moreover, we present a qualitative improvement: In Guth's theorem the assumption that the volume of every metric ball of radius $r$ is less than $({r\over c(n)})^n$ can be replaced by a weaker assumption that for every point $x\in M^n$ there exists a positive $ ho(x)\leq r$ such that the volume of the metric ball of radius $ ho(x)$ centered at $x$ is less than $({ ho(x)\over c(n)})^n$ (for $c(n)=({n!\over 2})^{1\over n}$). Also, if $X$ is a boundedly compact metric space such that for some $r>0$ and an integer $n\geq 1$ the $n$-dimensional Hausdorff content of each metric ball of radius $r$ in $X$ is less than $({r\over 4n})^n$, then there exists a continuous map from $X$ to a $(n-1)$-dimensional simplicial complex such that the inverse image of each point can be covered by a metric ball of radius $r$.

研究の動機と目的

• グロモフのシステム的不等式における定数 c(n) の上界を、n に関して指数的から線形的へ改善すること。
• ガスのウリソン幅に関する定理を一般化し、測度球の均一な体積条件を、半径に依存する点ごとの条件へ緩和すること。
• ハウスドルフ内容を用いて有界コンパクトな距離空間へ結果を拡張し、先行研究よりも定量的に改善すること。
• 幾何測度論および距離幾何学に根ざした新しい帰納的手法を通じて、システム的および幅不等式を統一的かつ強化すること。

提案手法

• シューレン＝ヨーのアイデアにインspiredされた帰納的次元削減戦略を採用し、グロモフの等周的アプローチを置き換える。
• コアレアの公式と距離関数の滑らか近似を基礎的道具として用いる。
• メトリック空間の被覆性質を制御するための (r, n, C)-分離集合の構成を導入する。
• アレクサンドロフ幅をバウンドするため、測度球の n 次元ハウスドルフ内容を定義・分析する。
• 非コンパクト空間へ拡張するため、ダイアディックなアンナラル分解を適用する。
• パパソグルーおよびガスの証明を、より鋭い推定と改善された定数を用いて再考・簡略化する。

実験結果

リサーチクエスチョン

• RQ1 グロモフのシステム的不等式における定数 c(n) の指数的依存性を、本質的多様体に対して n に関して線形バウンドに置き換えられるか。
• RQ2 ガスのウリソン幅に関する定理を、すべての r-球に対して均一なバウンドを要件とせず、半径に依存する可変な体積条件を許容する形に一般化できるか。
• RQ3 本質的リーマン多様体におけるシステム的不等式の最適定数は何か。また、指数的成長とは無関係にバウンド可能か。
• RQ4 ハウスドルフ内容条件を用いて、有界コンパクト距離空間における (n−1) 次元アレクサンドロフ幅をどのように制御できるか。
• RQ5 修正された分離集合構成を用いて、非コンパクトな距離空間へ結果を拡張できるか。

主な発見

• 任意の閉じた本質的リーマン n 次元多様体 Mⁿ に対して、システム的長さが sys₁(Mⁿ) ≤ n·vol(Mⁿ)^{1/n} を満たす。これは、従来の n に関して指数的上界から線形的上界への著しい改善である。
• ガスのウリソン幅に関する定理が強化される：すべての r-球に対して均一な体積条件を、各点 x ∈ Mⁿ に対して、ある ̺(x) ≤ r が存在し、vol(B(x, ̺(x))) ≤ (̺(x)/c(n))ⁿ を満たす点ごとの条件に置き換えられる。ここで c(n) = (n!/2)^{1/n} ≤ n/2 である。
• 有界コンパクトな距離空間に対して、すべての r-球の n 次元ハウスドルフ内容が (r/(4n))ⁿ より小さいならば、(n−1) 次元アレクサンドロフ幅は r より小さい。これは、先行研究よりも定量的に改善された結果である。
• 証明手法は自己完結的であり、帰納的次元削減と分離集合の精密な制御を用いることで、従来の手法を簡略化している。
• 幅およびシステム的不等式における定数 c(n) は (n!/2)^{1/n} に改善され、これは漸近的に n/2 に収束する。このバウンドは、より小さい線形定数では成立しないという意味で、鋭いものである。
• アンナラル分解技術のおかげで、非コンパクトな有界コンパクト空間へも結果が拡張可能であり、幅バウンドの分母に 2 の要因が加わる。