[논문 리뷰] Linear bounds for constants in Gromov's systolic inequality and related results

Alexander Nabutovsky|arXiv (Cornell University)|2019. 09. 26.

Mathematics and Applications인용 수 2

한 줄 요약

이 논문은 슈코엔-요아의 영감을 받은 새로운 귀납적 차원 감소 기법을 도입하여 그로모프의 사이클릭 부등식 및 관련 폭 부등식의 상수에 대해 선형 상한을 확립한다. 모든 폐쇄된 필수 리만 n-다양체에 대해 사이클릭 길이가 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에 대해 지수적에서 선형으로 개선하는 것.
• 가우스의 Urysohn 폭 정리에 대해 메트릭 볼의 균일한 부피 조건을 반점 기반, 반지름에 의존하는 조건으로 완화함으로써 일반화하는 것.
• 하우스도르프 콘텐츠를 사용하여 유계로도 밀도 있는 메트릭 공간으로 결과를 확장하여 이전 결과보다 정량적으로 향상시키는 것.
• 기하 측도 이론과 메트릭 기하학에 뿌리를 둔 새로운 귀납적 방법을 통해 사이클릭 및 폭 부등식을 통합하고 강화하는 것.

제안 방법

• 슈코엔-요아의 영감을 받은 귀납적 차원 감소 전략을 사용하여, 그로모프의 등면적 접근 방식을 대체한다.
• 공차 공식과 거리 함수의 매끄러운 근사화를 기본 도구로 사용한다.
• 커버링 성질을 제어하기 위해 (r, n, C)-분리 집합 구축법을 도입한다.
• 메트릭 볼의 n차원 하우스도르프 콘텐츠를 정의하고 분석하여 알렉산드로프 폭을 제한한다.
• 비유계 공간을 위해 이중적 링형 분해를 적용하여 유계 설정을 초월해 결과를 확장한다.
• 파파소글로 및 가우스의 증명을 더 날카운 추정과 향상된 상수를 사용하여 재검토하고 단순화한다.

실험 결과

연구 질문

• RQ1 그로모프의 사이클릭 부등식에서 상수 c(n)의 지수적 의존성을 필수 다성체에 대해 n에 대해 선형 상한으로 대체할 수 있는가?
• RQ2 가우스의 Urysohn 폭 정리에서 작은 부피의 볼에 대해 균일한 상한이 아닌, 반지름에 따라 변화하는 조건을 허용할 수 있는가?
• RQ3 필수 리만 다성체에 대한 사이클릭 부등식에서 최적의 상수는 무엇이며, 이는 지수 성장과 독립적으로 유계일 수 있는가?
• RQ4 하우스도르프 콘텐츠 조건을 사용하여 유계로도 밀도 있는 메트릭 공간에서 (n−1)-차원 알렉산드로프 폭을 제어할 수 있는가?
• RQ5 변경된 분리 집합 구축법을 사용하여 결과를 비유계 메트릭 공간으로 확장할 수 있는가?

주요 결과

• 모든 폐쇄된 필수 리만 n-다양체에 대해 사이클릭 길이가 sys₁(Mⁿ) ≤ n·vol(Mⁿ)^{1/n}를 만족함을 증명하며, 이는 이전의 최선의 상한에서 n에 대해 지수적에서 선형으로 개선된 결과이다.
• 가우스의 Urysohn 폭 정리가 강화됨: 모든 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의 인자가 추가된다.