[논문 리뷰] Homological and homotopical higher-order filling functions

Robert M. Young|ArXiv.org|2008. 05. 05.

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

한 줄 요약

이 논문은 유한형식으로 정의된 군들에서 세 번째 차수의 호모로지적 채움 함수 $FV^3(n)$가 두 번째 차수의 데인 함수 $\bar{\rho}^2(n)$와 동치가 아니며, $k \geq 3$일 때는 $k$-번째 차수의 데인 함수 $\bar{\rho}^k(n)$가 비순환적임을 보여준다. 이 구성은 비순환적 채움 크기를 갖는 군 $G$를 바탕으로 하며, 이는 곱군과 체인 노름에 대한 선형대수적 경계를 통해 고차원 채움 함수의 비동치성과 비순환적 성장을 보여준다.

ABSTRACT

We construct groups in which FV^3(n) != δ^2(n). This construction also leads to groups G_k, k >= 3 for which δ^{k}(n) is not subrecursive.

연구 동기 및 목표

• 유한형식 군에서 제3차 호모로지적 채움 함수 $FV^3(n)$와 제2차 데인 함수 $\bar{\rho}^2(n)$가 일반적으로 동치가 아님을 보이되, 단어 문제를 해결할 수 있는 군에 대해서도 성립함을 입증한다.
• 모든 $k \geq 3$에 대해 $k$-번째 데인 함수 $\bar{\rho}^k(n)$가 비순환적이며, 따라서 어떤 계산 가능한 함수보다도 더 빠르게 증가할 수 있음을 보여주는 군을 구성한다.
• 일부 군에 대해 채움 크기 함수 $\operatorname{FSize}_G(n)$가 비순환적이며, 이를 바탕으로 곱군의 고차원 채움 함수에서 비순환적 행동을 유도한다.
• 다양한 채움 함수들—특히 $FV^k$, $\bar{\rho}^k$, $\bar{\rho}^M$—간의 관계를 명확히 하고, 브래디 등이 제시한 동치 결과가 차원 3로 확장되지 않음을 보여준다.
• 경계 다각형의 위상구조(예: 자명하지 않은 기본군)가 채움 복잡성에 미치는 영향을 분석하며, 특히 구 표면 채움과의 대비에서 고려한다.

제안 방법

• 유한 비아스퍼리프레젠테이션을 사용하여, 상한 길이의 관계자들을 갖는 군 $G$를 구성하고, 비순환적 채움 크기 $\operatorname{FSize}_G(n)$를 확보한다.
• 실수체 $\mathbb{R}$ 위에서 선형대수를 적용하여, 채움 체인 $\gamma$의 $\ell^1$-노름을 그 지지집합의 크기로 경계함으로써, $FV_{X,\mathbb{R}}^k(n)$가 $\operatorname{FSize}_X(n)$의 재귀적 함수로 경계됨을 보인다.
• 정리 2를 적용하여, $\operatorname{FSize}_G(n)$가 비순환적이면 $k \geq 1$에 대해 $FV^k_{G^k,\mathbb{Z}}(n)$도 비순환적임을 보인다.
• 브래디 등이 제시한 정리 4를 활용하여, 차원 $k+1 \geq 4$인 다각형 $M$에 대해 $\delta^M(n)$과 $\delta^k(n)$를 연결하고, $k \geq 3$일 때 $\delta^k_{G^k}(n)$의 비순환적 성장을 확장한다.
• 채움 체적을 크게 갖는 사상 $\alpha$에 의한 $k$-구의 상을 분석하여, 결과적으로 비순환적으로 큰 2-디스크를 포함하는 채움 사상이 존재함을 보이며, 이는 일정한 $k$-체적에도 불구하고 복잡성을 증가시킨다.
• 기존 결과(예: 파파소글루의 정리)를 활용하여 $\delta^2_G(n)$가 $\mathcal{F}^3$ 군에서 비순환적임을 보이고, 이를 $FV^3_{G\times G,\mathbb{Z}}(n)$의 비순환적 성장과 결합하여 $\delta^2_{G\times G}(n)$와의 비동치성을 입증한다.

실험 결과

연구 질문

• RQ1 유한형식 군에서 제3차 호모로지적 채움 함수 $FV^3(n)$가 두 번째 차수의 데인 함수 $\delta^2(n)$와 동치가 아닐 수 있는가?
• RQ2 $k \geq 3$에 대해 $k$-번째 데인 함수 $\delta^k(n)$가 비순환적이며, 어떤 계산 가능한 함수보다 더 빠르게 증가하는 군이 존재하는가?
• RQ3 채움 크기 $\operatorname{FSize}_G(n)$—채움에 사용된 서로 다른 2-셀의 수를 세는 함수—가 일부 군에서 비순환적이며, 만약 그렇다면 고차원 채움 함수에 어떤 영향을 미치는가?
• RQ4 경계 다각형의 위상구조(예: 자명하지 않은 기본군)가 채움 복잡성에 영향을 미치며, 특히 구 표면 채움과의 대비에서 어떻게 영향을 미치는가?
• RQ5 일부 군에서 종수 $g$의 표면 채움이 토러스 채움보다 더 어려운 경우를 찾을 수 있으며, 이러한 차이를 유도하는 구조적 특성은 무엇인가?

주요 결과

• 어떤 군 $G$가 존재하여 $FV^3_{G,\mathbb{Z}}(n) \nsim \delta^2_G(n)$임을 보여, 일반적으로 호모로지적 및 호모토피적 고차원 채움 함수가 동치가 아니라는 것을 입증한다.
• $k \geq 3$에 대해, $k$-번째 데인 함수 $\delta^k_G(n)$가 비순환적인 군 $G_k$가 존재함을 보여, 이 함수가 어떤 계산 가능한 함수보다 더 빠르게 증가할 수 있음을 보여준다.
• 특정 군 $G$에 대해 채움 크기 함수 $\operatorname{FSize}_G(n)$는 비순환적이며, 이 성질은 $k \geq 1$에 대해 $FV^k_{G^k,\mathbb{Z}}(n)$의 비순환적 성장을 유도한다.
• 이 구성은 비순환적으로 큰 2-디스크를 포함하는 사상 $\alpha^\prime$의 이미지를 유도하며, 일정한 $k$-체적에도 불구하고 리프시츠 상수와 단순체의 수를 증가시킨다.
• $G = BS(1,2)$일 때, 곱군 $G \times G$는 $FV^3_{G\times G,\mathbb{Z}}(n) \succeq 2^{\sqrt{n}}$를 만족하고, $\delta^2_{G\times G}(n) \preceq n^2$이므로, 토러스 채움과 구 채움 사이에 상당한 격차가 있음을 보여준다.
• $FV^3_{G,\mathbb{Z}}(n) \nsim \delta^2_G(n)$ 결과는 단어 문제를 해결할 수 있는 군에서도 성립하며, $G = BS(1,2) \times BS(1,2)$의 예시로 확인된다.