[논문 리뷰] Combinatorial systolic inequalities

Ryan Kowalick, Jean‐François Lafont외 1명|arXiv (Cornell University)|2015. 06. 23.

Geometric and Algebraic Topology참고 문헌 17인용 수 5

한 줄 요약

이 논문은 매니폴드의 매끄러운 삼등분 분할 위에서 고전적인 리만 기하학적 사이클린 불등식과 그 조합적 대응을 설정한다. 저자들은 어떤 매니폴드의 집합이 모든 매끄러운 삼등분 분할에 대해 해당 조합적 사이클린 불등식을 만족할 때와 동시에 리만 사이클린 불등식을 만족할 때가 되도록 함으로써, 미분기하학과 이산위상수학을 연결하며, 삼등분 분할이 기하학적 자료를 코딩할 수 있고 그 반대도 가능하다는 것을 증명한다.

ABSTRACT

We establish combinatorial versions of various classical systolic inequalities. For a smooth triangulation of a closed smooth manifold, the minimal number of edges in a homotopically non-trivial loop contained in the $1$-skeleton gives an integer called the combinatorial systole. The number of top-dimensional simplices in the triangulation gives another integer called the combinatorial volume. We show that a class of smooth manifolds satisfies a systolic inequality for all Riemannian metrics if and only if it satisfies a corresponding combinatorial systolic inequality for all smooth triangulations. Along the way, we show that any closed Riemannian manifold has a smooth triangulation which "remembers" the geometry of the Riemannian metric, and conversely, that every smooth triangulation gives rise to Riemannian metrics which encode the combinatorics of the triangulation. We give a few applications of these results.

연구 동기 및 목표

• 매끄러운 삼등분 분할을 사용하여 고전적인 리만 사이클린 불등식의 이산적 대응을 설정하기.
• 일부 매니폴드의 클래스에 대해 리만 사이클린 불등식이 존재하는 것이, 그 매니폴드의 모든 매끄러운 삼등분 분할에 대해 해당 조합적 사이클린 불등식이 존재하는 것과 동치임을 보여주기.
• 모든 닫힌 리만 매니폴드가 모서리 길이와 단체 크기가 메트릭 기하학을 '기억'하는 매끄러운 삼등분 분할을 가짐을 보여주기.
• 모든 매끄러운 삼등분 분할이 조합적 고리 길이를 일정한 곱수 요소로 유지하는 리만 메트릭의 1-스켈레톤으로 실현될 수 있음을 증명하기.
• 기하학적 불변량(사이클론, 부피)과 조합적 불변량(조합적 사이클론, 이산 부피) 사이의 기본 틀을 제공하여 점근적 척도 행동을 유지하는 방식으로 연결하기.

제안 방법

• 매니폴드를 유클리드 공간에 임bedding하고 미세한 큐브 분할과의 교차를 통해 매끄러운 삼등분 분할을 구성하는 웨이트니의 방법을 사용하기.
• 나시의 등거리 임bedding 정리를 적용하여 삼등분 분할이 모서리와 단체 크기 수준에서 리만 메트릭의 기하학적 구조를 유지함을 보장하기.
• 조합적 사이클론을 삼등분 분할의 1-스켈레톤 내에서 호모토피적으로 비자명한 고리에 포함된 최소 갯수의 모서리로 정의하기.
• 조합적 부피를 삼등분 분할의 최고차원 단체의 수로 정의하기.
• 각 n-단체를 단위 부피와 동일한 모서리 길이를 가진 정규 단체로 만들어 조각별 유클리드 메트릭을 삼등분 분할에 정의하기.
• 모서리 길이가 2차원 이하의 특이점에서 유도적으로 스무딩하여, 이산 부피를 근사하고 고리 길이를 제어하는 매끄러운 리만 메트릭을 생성하기.

실험 결과

연구 질문

• RQ1 고전적인 리만 사이클린 불등식은 삼등분 분할을 사용하여 순수히 조합적 형태로 재구성될 수 있는가?
• RQ2 리만 기하학적 맥락에서 사이클린 불등식의 성립성과 삼등분 분할 위에서의 이에 대응하는 이산적 불등식 사이에 일대일 대응이 존재하는가?
• RQ3 닫힌 매니폴드 위의 모든 리만 메트릭은 모서리 길이와 단체 크기가 메트릭에 대해 균일하게 유계인 매끄러운 삼등분 분할에 코딩될 수 있는가?
• RQ4 모든 매끄러운 삼등분 분할은 조합적 고리 길이를 일정한 곱수 상수로 유지하는 리만 메트릭의 1-스켈레톤으로 실현될 수 있는가?
• RQ5 이산적이고 연속적인 맥락에서 사이클론과 부피의 점근적 척도 행동 사이의 관계는 무엇인가?

주요 결과

• 닫힌 매끄러운 n-매니폴드의 어떤 집합이 $\operatorname{Sys}_g(M) \leq C \sqrt[n]{\operatorname{Vol}_g(M)}$ 형태의 리만 사이클린 불등식을 만족할 때이고, 그와 동시에 모든 매끄러운 삼등분 분할에 대해 $\operatorname{Sys}_{\mathcal{T}}(M) \leq C' \sqrt[n]{\operatorname{Vol}_{\mathcal{T}}(M)}$ 형태의 조합적 사이클린 불등식을 만족할 때이다.
• 모든 닫힌 리만 매니폴드에 대해, 최대 모서리 길이와 최고차원 단체의 부피의 n제곱근의 비율이 차원 상수 $\delta_n$ 으로 유계인 매끄러운 삼등분 분할이 존재한다.
• 모든 매끄러운 삼등분 분할에 대해, 총 부피가 조합적 부피와 $\varepsilon > 0$ 이내로 다를 수 있는 리만 메트릭이 존재하며, 임의의 $g$-지오데식 고리에 대해 자유 호모토피한 모서리 고리가 존재하여 그 길이가 지오데식 길이의 최대 $\kappa_n$ 배 이내가 된다.
• 메트릭 코딩 정리에서의 상수 $\kappa_n$ 은 오직 차원 $n$ 에만 의존하여, 모든 삼등분 분할에 걸쳐 균일한 제어를 보장한다.
• 결과는 낮은 차원의 단체로 확장되며, 최대 $k$-단체 지름과 그 $k$-부피의 $k$ 제곱근의 비율을 유계로 유지하는 상수 $\delta_{n,k}$ 를 가진다.
• 리만 기하학적 사이클린 불등식과 조합적 사이클린 불등식 사이의 등가성은, 그로모프에 의해 증명된 본질적 매니폴드에 대한 사이클린 불등식이, 오직 본질적 매니폴드의 클래스에만 의존하는 보편 상수를 가진 이산 맥락에서도 성립함을 시사한다.