[논문 리뷰] On Isosystolic Inequalities for T^n, RP^n, and M^3

K. Nakamura|arXiv (Cornell University)|2013. 06. 07.

Spectral Theory in Mathematical Physics참고 문헌 49인용 수 6

한 줄 요약

이 논문은 유한 커버가 최대 $\field{Z}/2\mathbb{Z}$-코homology 컵 길이를 갖는 닫힌 $n$-다양체 $M$에 대해 날카로운 이소시스티컬 부등식을 확립한다: $\operatorname{Sys}(M,g)^n \leq n! \cdot \operatorname{Vol}(M,g)$. 이 부등식은 Burago-Hebda 및 Guth의 결과를 일반화하며, $T^n$, $\mathbb{R}P^n$, 그리고 대부분의 닫힌 본질적 3-다양체에 적용되며, 이러한 다양체에 대해 통일된 상수 $C = n!$을 제공한다.

ABSTRACT

If a closed smooth n-manifold M admits a finite cover whose Z/2Z-cohomology has the maximal cup-length, then for any riemannian metric g on M, we show that the systole Sys(M,g) and the volume Vol(M,g) of the riemannian manifold (M,g) are related by the following isosystolic inequality: Sys(M,g)^n \leq n! Vol(M,g). The inequality can be regarded as a generalization of Burago and Hebda's inequality for closed essential surfaces and as a refinement of Guth's inequality for closed n-manifolds whose Z/2Z-cohomology has the maximal cup-length. We also establish the same inequality in the context of possibly non-compact manifolds under a similar cohomological condition. The inequality applies to (i) T^n and all other compact euclidean space forms, (ii) RP^n and many other spherical space forms including the Poincaré dodecahedral space, and (iii) most closed essential 3-manifolds including all closed aspherical 3-manifolds.

연구 동기 및 목표

• 넓은 범위의 닫힌 $n$-다양체에 대해 작은 상수를 갖는 통일된 이소시스티컬 부등식을 확립하기.
• 코homological 조건 하에 큰 통일 상수를 $n!$로 대체함으로써 Guth의 부등식을 개선하기.
• 유사한 코homological 가정 하에 비유한 다류체로의 부등식 확장하기.
• 특히 3차원에서 본질적 다양체를 이소시스티컬 부등식의 존재를 통해 특성화하기.
• 최적의 이소시스티컬 상수를 $T^n$, $\mathbb{R}P^n$, 그리고 대부분의 닫힌 본질적 3-다양체에 대해 특정하기.

제안 방법

• 유한 커버 $\hat{M}$ 의 $\field{Z}/2\mathbb{Z}$-코homology에서의 최대 컵 길이를 사용하여 이소시스티컬 부등식의 존재를 보장하는 위상적 조건으로 활용하기.
• 메이어-비에토리스 수열을 적용하여 $\hat{Q}^*$ 와 $R^*$ 의 국소 커버로부터 $\hat{M}$ 을 구성함으로써 코homological 조건이 유지되도록 하기.
• 닫힌 다양체에서 이소시스톨이 수축 가능한 길이가 가장 짧은 지오데식 루프에 의해 실현된다는 사실을 활용하기.
• 소수 분해와 $S^2 \rtimes S^1$, 렌즈 공간, 구면 공간 형식 등의 합성원소 분석을 통해 문제를 본질적 다양체로 환원하기.
• 특히 $V_{-k} = \#_k(S^2 \rtimes S^1)$ 에 대해 병합된 다양체의 부피 및 이소시스톨 행동에 관한 기존 결과를 활용하여, 비본질적 다양체가 이소시스티컬 부등식을 갖지 않는다는 것을 보여주기.
• 코homological 및 기하적 추론을 통해 $\operatorname{Sys}(M,g)^n \leq n! \cdot \operatorname{Vol}(M,g)$ 를 확립하며, 이 부등식의 최적 상수로 $n!$ 이 이 조건을 만족하는 다양체 클래스에 대해 최적임을 보이기.

실험 결과

연구 질문

• RQ1 최대 $\field{Z}/2\mathbb{Z}$-코homology 컵 길이를 갖는 다양체에 대해 작은 상수를 갖는 통일된 이소시스티컬 부등식을 확립할 수 있는가?
• RQ2 부등식 $\operatorname{Sys}(M,g)^n \leq n! \cdot \operatorname{Vol}(M,g)$ 는 $T^n$, $\mathbb{R}P^n$, 그리고 대부분의 닫힌 본질적 3-다양체에 대해 성립하는가?
• RQ3 최대 컵 길이를 갖는 유한 커버가 이소시스티컬 부등식의 날카로움을 결정하는 데 어떤 역할을 하는가?
• RQ4 최적의 이소시스티컬 상수 $C = n!$ 이 $T^n$ 과 $\mathbb{R}P^n$ 과 같은 다양체에서 달성될 수 있는가?
• RQ5 메인 정리에 포함되지 않는 본질적 3-다양체가 존재하는가, 그리고 이 부등식은 작은 상수로 그들로 확장될 수 있는가?

주요 결과

• 논문은 유한 커버 $\hat{M}$ 이 최대 $\field{Z}/2\mathbb{Z}$-코homology 컵 길이를 갖는 임의의 닫힌 $n$-다양체 $M$ 에 대해 $\operatorname{Sys}(M,g)^n \leq n! \cdot \operatorname{Vol}(M,g)$ 를 증명한다.
• 이 부등식은 $T^n$ 과 $\mathbb{R}P^n$ 에 대해 날카롭며, 주어진 코homological 조건 하에서 이 두 다양체에 대해 최적의 이소시스티컬 상수로 $n!$ 이다.
• 결과는 본질적 표면에 대한 Burago-Hebda의 부등식과 최대 컵 길이를 갖는 $n$-다양체에 대한 Guth의 부등식을 일반화하고 개선한다.
• 유사한 코homological 가정 하에 비유한 다류체로도 이 부등식이 확장된다.
• 이 부등식을 만족하는 다양체의 범주는 모든 컴팩트 유클리드 공간 형식, $\mathbb{R}P^n$, 많은 구면 공간 형식(포incare 이면체 공간 포함), 그리고 대부분의 닫힌 본질적 3-다양체를 포함한다.
• 3차원에서 이 부등식은 모든 닫힌 비아사포틱 3-다양체와 $S^2 \times S^1$, $S^2 \rtimes S^1$, 또는 홀수 차수의 기본군을 갖는 렌즈 공간과 동형이 아닌 모든 기약 3-다양체에 대해 성립한다.