[논문 리뷰] Quantitative Bounded Distance Theorem and Margulis' Lemma for Z^n actions with applications to homology

Filippo Cerocchi, Andrea Sambusetti|arXiv (Cornell University)|2014. 12. 19.

Geometric Analysis and Curvature Flows참고 문헌 7인용 수 4

한 줄 요약

이 논문은 지오데식 공간 위의 ℤⁿ 작용에 대해 Bounded Distance Theorem의 정량적 형태를 확립하며, 내재 거리와 안정 노름 사이의 차이가 랭크 n, 몫 공간의 지름, 그리고 점 渐近 체적에만 의존하는 상수로 유계임을 증명한다. 이는 ℤⁿ 작용에 대한 정량적 Margulis 유형 보조정리의 도입을 포함하며, 안정 사이클로프와 점 渐近 체적 사이의 최적 추정치를 제공하고, 이러한 결과들을 Riemann 기하학에서 응용하여, 폐쇄된 다양체에서 최적 정수 1-사이클의 연결 성분 수를 유계화한다.

ABSTRACT

We consider the stable norm associated to a discrete, torsionless abelian group of isometries $Γ\cong \mathbb{Z}^n$ of a geodesic space $(X,d)$. We show that the difference between the stable norm $\| \;\, \|_{st}$ and the distance $d$ is bounded by a constant only depending on the rank $n$ and on upper bounds for the diameter of $\bar X=Γ\backslash X$ and the asymptotic volume $ω(Γ, d)$. We also prove that the upper bound on the asymptotic volume is equivalent to a lower bound for the stable systole of the action of $Γ$ on $(X,d)$; for this, we establish a Lemma à la Margulis for $\mathbb{Z}^n$-actions, which gives optimal estimates of $ω(Γ,d)$ in terms of $\mathrm{stsys}(Γ,d)$, and vice versa, and characterize the cases of equality. Moreover, we show that all the parameters $n, \mathrm{diam}(\bar X)$ and $ω(Γ, d)$ (or $\mathrm{stsys} (Γ,d)$) are necessary to bound the difference $d -\| \;\, \|_{st}$, by providing explicit counterexamples for each case. As an application, we prove that the number of connected components of any optimal, integral $1$-cycle in a closed Riemannian manifold $\bar X$ either is bounded by an explicit function of the first Betti number, $ \mathrm{diam}(\bar X)$ and $ω(H_1(\bar X, \mathbb{Z}), d)$, or is a sublinear function of the mass.

연구 동기 및 목표

• 지오데식 공간 위의 ℤⁿ 작용에서 내재 거리와 안정 노름 사이의 차이에 대한 정량적 추정치를 제공하며, 이는 랭크, 몫 공간의 지름, 점 渐近 체적에만 의존한다.
• ℤⁿ 작용에 대한 Margulis의 보조정리의 정량적 형태를 확립하여, 안정 사이클로프와 점 渐近 체적 사이의 최적 관계를 규명한다.
• 세 가지 불변량인 랭크, 지름, 점 渐近 체적이 거리-안정 노름 차이를 유계화하기 위해 필수적인지 여부를 명백한 반례를 통해 보여준다.
• 결과들을 Riemann 기하학에 적용하여, 폐쇄된 다양체에서 최적 정수 1-사이클의 연결 성분 수를 제1 Betti 수, 지름, 그리고 호모로지 격자에서의 점 渐近 체적으로 유계화한다.

제안 방법

• 군 작용 하에서 스케일링된 거리의 극한을 통해 ℤⁿ 위의 안정 노름을 정의한다: ‖γ‖_st = lim_{k→∞} d(x₀, γᵏx₀)/k.
• 점 渐近 체적 ω(Γ,d)를 거리 R 이내의 군 원소의 수의 증가율로 정의하고, 이를 몫 공간에서의 체적 증가율과 연결한다.
• 선형 독립적인 등장사상들로 생성되는 유한 지수 부분군 ℤⁿ ⊂ Γ를 사용하여 ℝⁿ과 궤도 공간 사이의 준등거리 사상 구축.
• 코지름(ΓackslashX의 지름)과 점 渐近 체적 ω(Γ,d)에 대한 경계를 통해 이러한 사상의 왜곡을 통제한다.
• 이방의 콘에서 패킹 및 커버링 추론을 적용하여 호모로지 격자에서 공과 애너두스의 원소 수를 추정한다.
• 안정 노름과 안정 사이클로프를 사용하여 호모로지 격자에서의 애너두스에 대한 명시적 성장 추정치를 도출하고, 최적 사이클의 성분 수에 대한 유계를 이끌어낸다.

실험 결과

연구 질문

• RQ1 ℤⁿ 작용에서 내재 거리와 안정 노름 사이의 차이는 기하 불변량에 대해 어떻게 정량적으로 의존하는가?
• RQ2 ℤⁿ 작용에서 안정 사이클로프와 점 渐近 체적 사이의 최적 관계는 무엇이며, 등호는 언제 성립하는가?
• RQ3 거리-안정 노름 차이를 유계화하기 위해 랭크, 코지름, 점 渐近 체적이 모두 필수적인가?
• RQ4 폐쇄된 Riemann 다양체에서 최적 정수 1-사이클의 연결 성분 수는 제1 Betti 수, 지름, 그리고 호모로지 격자의 점 渐近 체적으로 유계화될 수 있는가?
• RQ5 호모로지 격자 H₁(𝑋,ℤ)에서의 애너두스의 정확한 성장률은 안정 노름과 질량 노름에 대해 어떻게 되는가?

주요 결과

• 내재 거리와 안정 노름의 차이는 |d(x₀, γx₀) − ‖γ‖_st| ≤ c(n, D, Ω)로 유계이며, 여기서 D는 몰입 공간 Γ\backslashX의 지름이고, Ω는 점 渐近 체적 ω(Γ,d)의 상한이다.
• 점 渐近 체적 ω(Γ,d)는 안정 사이클로프에 대한 하한으로서 등가이며, ℤⁿ 작용에 대한 정량적 Margulis 보조정리를 통해 최적 추정치가 제공된다.
• 논문은 랭크 n, 지름 D, 점 渐近 체적 Ω가 모두 거리-안정 노름 차이를 유계화하기 위해 필수적임을 보여주는 명시적 반례를 구성한다.
• 호모로지 격자에서의 애너두스 성장은 다음 유계를 만족한다: nω(Γ,d)Δ(R−Δ)^{n−1} ≤ v_{(Γ,|·|_{H₁})}(R−Δ,R+Δ) ≤ 3nω(Γ,d)Δ(R−3Δ)^{n−1} (R ≥ 0, Δ ≥ 4nD + c).
• 모든 최적 정수 1-사이클 γ에 대해 연결 성분 수 N(γ)는 n, D, ω(Γ,d)에 대한 명시적 함수로 유계이거나, 질량 ℓ(γ)에 대해 초선형적으로 증가하며, 특히 N(γ) ≤ 3^{2n} ⋅ (1 + 1/n)^n ⋅ ω(Γ,d)^{1/(n+1)} ⋅ ℓ(γ)^{n/(n+1)} 이다.
• 안정 사이클로프와 점 渐近 체적은 ω(Γ,d) ≥ C_n ⋅ (stsys(Γ,d))^{-n} 으로 관련되며, 등호는 정량적 Margulis 보조정리에서 기하학적으로 극도로 극단적인 작용일 때에만 성립한다.