[논문 리뷰] A note on higher-order filling functions

Robert M. Young|arXiv (Cornell University)|2008. 05. 05.

Geometric and Algebraic Topology참고 문헌 6인용 수 3

한 줄 요약

이 논문은 유한형성된 군들에서 세 번째 차수의 필링 함수 FV₃(n)이 두 번째 차수의 데인 함수 δ₂(n)와 동치가 아니라는 것을 보여주며, 고차수 필링 함수들이 서로 독립적으로 행동할 수 있음을 입증한다. 또한 k ≥ 3일 때, δₖ(n)과 FVₖ(n)이 초계산 함수보다 더 빠르게 성장할 수 있음을 보이며, 이는 비초계산적임을 의미한다.

ABSTRACT

Abstract. We construct groups in which FV 3 (n) ≁ δ 2 (n). This construction also leads to groups Gk, k ≥ 3 for which δ k (n) is not subrecursive. The Dehn function of a group measures the complexity of the group’s word problem by measuring the difficulty of filling loops in a corresponding complex. A natural generalization is to consider the difficulty of filling higher-dimensional manifolds or cycles, and there are several ways to do so, varying in the nature of the filling and the boundary. One can consider, for example, the volume necessary to fill a k-sphere with a ball (δ k), to fill ∂M with M (δ M), or to fill a (k − 1)-cycle by a k-chain (FV k). In some cases, these functions are equivalent; for example, the methods used in [9] work for all these definitions. Along these lines, Brady et al. [3] show that if M is connected and dimM = k + 1 ≥ 4 then δ M (n) ≼ δ k (n). In this note, we will show that this is not necessarily true if dim M = 3, and that there are groups where FV 3 is not equivalent to δ 2. We will also show that for k ≥ 2 there are groups where FV k is not subrecursive (i.e., grows faster than any computable function) and for k ≥ 3, there are groups where δ k is not subrecursive.

연구 동기 및 목표

• 유한형성 군에서 서로 다른 고차수 필링 함수, 특히 FV₃(n)과 δ₂(n) 사이의 관계를 조사하는 것.
• 모든 k ≥ 3에 대해 δₖ(n)과 FVₖ(n)가 동치임이 성립하는지 여부를 판단하는 것.
• k ≥ 3인 경우 δₖ(n)과 FVₖ(n)이 어떤 계산 가능한 함수보다 더 빠르게 성장하는 군을 구성하는 것.
• 기하군론에서 고차원 필링 함수의 계층 구조와 상호 독립성에 대한 명확한 이해를 제공하는 것.

제안 방법

• 저자들은 고차수 필링 함수의 성장률을 제어하기 위해 조합론적 군론 기법을 사용하여 특정한 유한형성 군을 구성한다.
• k-체를 사용하여 3차원 사이클의 필링을 분석하며, (k−1)-사이클을 메우기 위해 필요한 체적을 중점적으로 고려한다.
• 차원이 3인 경우 δₘ(n)과 FVₖ(n) 사이의 동치성 실패를 활용하여, dim M ≥ 4인 경우에 알려진 결과와 대비시킨다.
• 데인 함수 δ₂(n)가 FV₃(n)보다 느리게 성장하도록 군을 설계하여, 이들의 비동치성을 입증한다.
• 저자들은 [9]와 [3]의 기존 결과를 활용하여 경계를 설정하고 다양한 필링 함수를 비교한다.
• 이를 확장하여 k ≥ 3인 경우 δₖ(n)과 FVₖ(n)이 비초계산적일 수 있음을 보이며, 즉 어떤 계산 가능한 함수보다 더 빠르게 성장할 수 있음을 입증한다.

실험 결과

연구 질문

• RQ1 모든 유한형성 군에서 FV₃(n)과 δ₂(n)가 동치인가?
• RQ2 k ≥ 3일 때 δₖ(n)과 FVₖ(n)가 비초계산적일 수 있는가?
• RQ3 차원이 3인 경우, 모든 k와 m에 대해 δₘ(n) ≼ δₖ(n)이 성립하는가?
• RQ4 FV₃(n)이 δ₂(n)보다 엄격히 더 빠르게 성장하는 군이 존재하는가?
• RQ5 다양체의 차원이 3일 때 δₘ(n)과 FVₖ(n) 사이의 관계는 무엇인가?

주요 결과

• 논문은 FV₃(n)이 δ₂(n)와 동치가 아니며, 이는 고차수 필링 함수들이 상호 독립적일 수 있음을 보여준다.
• k ≥ 3인 경우, δₖ(n)이 비초계산적임을 보이며, 이는 어떤 계산 가능한 함수보다도 더 빠르게 성장함을 의미한다.
• 마찬가지로 k ≥ 3인 경우, FVₖ(n)이 비초계산적임을 보이며, 이는 매우 급격한 성장률을 나타낸다.
• 이 구성은 dim M = 3일 때조차 δₘ(n) ≼ δₖ(n)의 부등식이 반드시 성립하지 않음을 보여준다. 즉, k = 3일 때조차 성립하지 않을 수 있다.
• 결과적으로 FVₖ(n)과 δₖ(n)은 저차원 환경에서 본질적으로 다른 渐近적 행동을 보일 수 있음을 보여준다.
• 이 연구는 고차수 필링 함수들이 항상 동치가 아니며, 초계산적 경계를 벗어날 수 있음을 입증한다.