[논문 리뷰] Generalized Dehn Functions I

Chad Groft|ArXiv.org|2009. 01. 15.

Geometric and Algebraic Topology참고 문헌 12인용 수 9

한 줄 요약

이 논문은 유한한 CW 복합체 또는 컴acts Lipschitz 이웃근처 재구성 가능 공간의 보편 커버로의 매끄러운 경계를 가진 컴acts 다양체로의 매핑에 대해, 삼각형 분할된 CLNR를 포함한 조건 하에서 거리적 및 세포적 등주 프로파일 간의 동치성을 확립한다. 주요 결과는 q ≥ 2에 대해 일반화된 Dehn 함수가 특정 K(G,1) 복합체의 선택과 무관하게 기본군의 쿼시등장성 불변량이며, 복합체 간 q-연결된 매핑 하에서 상호 동치임을 보여준다.

ABSTRACT

Let X be a finite CW complex or compact Lipschitz neighborhood retract with universal cover Z; let M be a compact orientable manifold of dimension at least 2 and nonempty boundary. We establish the existence of an isoperimetric profile for functions from M to Z, in the metric and cellular senses, and show that they are equivalent up to scaling factors when X is a triangulated CLNR (for example a triangulated Riemannian manifold). This seems to be most interesting when X is highly connected, but this is not required. We also show that two finite complexes X and Y have the same profiles up to scaling given the existence of a sufficiently connected map between them.

연구 동기 및 목표

• 유한한 CW 복합체의 보편 커버에서 q차원 채움 문제에 대한 거리적 및 세포적 등주 프로파일의 존재성과 동치성을 확립하는 것.
• q ≥ 2에 대해 일반화된 Dehn 함수가 K(G,1) 복합체의 선택과 무관하게 기본군의 쿼시등장성 불변량임을 보이는 것.
• 경계를 가진 다양체에서 보편 커버로의 매핑의 채움 부피를 이용해 고차원으로 일반화된 Dehn 함수 개념을 확장하는 것.
• 유한한 복합체 간 q-연결된 매핑이 존재할 경우, 스케일링을 고려할 때 일반화된 Dehn 함수가 상호 동치임을 증명하는 것. 이는 고전적 Dehn 함수의 동치성에 대한 쿼시등장성 일반화이다.

제안 방법

• 매핑 ω: ∂M → X^(q)가 Vol(ω) ≤ n 를 만족할 때, 채움 부피의 상한으로서 q차원 Dehn 함수 Φ_cell^X,M를 정의한다.
• 세포 호모토피 상향성과 호모토피의 릿지에 대한 부피 상한을 이용하여, (X,A)가 q-연결일 경우 X와 A 사이의 채움 부피를 비교한다.
• 세포에서의 호모토피 및 매핑 제약 조건에 기반한 부피 상수 K와 L을 이용해, ω, ω′, ω′′의 채움 부피를 연결하는 부등식 체계를 수립한다.
• Φ_cell^X,M ≲ Φ_cell^A,M 및 Φ_cell^A,M ≲ Φ_cell^X,M 를 증명함으로써 스케일링 하에 쿼시등치성을 도출한다.
• 콤팩트 다양체에 리만 또는 조각별 리만 기하학적 구조를 도입하여 메트릭 설정에 결과를 적용함으로써, 메트릭 및 세포 프로파일 간의 동치성을 보여준다.
• 삼각형 분할된 CLNR(예: 리만 다양체)는 메트릭 및 세포 등주 프로파일 간의 스케일링 인자에 의한 동치성을 허용한다.

실험 결과

연구 질문

• RQ1 유한한 CW 복합체의 보편 커버에서 q차원 채움 문제에 대해 거리적 및 세포적 등주 프로파일이 동치인가?
• RQ2 q ≥ 2에 대해 일반화된 Dehn 함수가 쿼시등치성 하에 기본군에만 의존하는가?
• RQ3 두 유한한 복합체 간에 q-연결된 매핑이 존재할 경우, 어떤 조건이 일반화된 Dehn 함수의 동치성을 보장하는가?
• RQ4 보편 커버의 대규모 기하학적 성질이 일반화된 Dehn 함수를 통해 기본군으로 완전히 기술될 수 있는가?

주요 결과

• 기저 공간이 삼각형 분할된 CLNR(예: 리만 다양체)일 경우, q ≥ 2에 대해 거리적 및 세포적 등주 프로파일은 스케일링 인자에 의해 동치이다.
• q-연결된 매핑이 존재하는 임의의 두 유한한 복합체 X와 Y에 대해, 그들의 일반화된 Dehn 함수는 쿼시등치적이다. 즉, Φ_cell^X,M ≲ Φ_cell^Y,M 및 그 반대도 성립한다.
• q차원 Dehn 함수는 K(G,1) 복합체의 선택과 무관하게 쿼시등치성 하에 불변이며, q=2일 경우 고전 결과를 일반화한다.
• 군 G의 일반화된 Dehn 함수는 π₁(M) = G인 컴팩트 다양체 M의 보편 커버에서 (q−1)-구 또는 경계를 가진 다양체의 채움 부피에 대한 등주 함수와 동치이다.
• 증명 과정에서 Φ_cell^X,M(n) ≤ Φ_cell^A,M(Ln) + Kn 및 Φ_cell^A,M(n) ≤ KΦ_cell^X,M(n) 이 성립함을 보여, 스케일링 하에 쿼시등치성이 도출된다.
• 결과는 Gromov의 추측을 확인한다. 즉, q-연결 조건 하에서 보편 커버의 대규모 기하학적 성질은 기본군에 의해 일반화된 Dehn 함수를 통해 결정되며, 이는 유일하게 기술된다.