[논문 리뷰] On asymptotic property C

Trevor Davila|arXiv (Cornell University)|2016. 11. 18.

Advanced Operator Algebra Research참고 문헌 9인용 수 3

한 줄 요약

이 논문은 점점 커지는 반경의 증가하는 수열 $ R_0 \leq R_1 \leq \cdots $에 대해 일관되게 유계인 $ R_i $-해리 없는 가족들로 이루어진 유한 커버가 존재하는 점근적 성질 C가 유한 곱에서 보존됨을 증명하며, 유한 점근적 차원을 가진 군들의 가산 제한 직접곱에도 성립함을 보인다. 이는 초월적 차원의 일반화로 초순환 성질 C와 약한 초순환 성질 C를 도입하여, 약한 초순환 성질 C가 직선적 유한 분해 복잡도(sFDC)를 함의하고, 따라서 성질 A를 함의함을 증명한다.

ABSTRACT

Asymptotic property C was introduced by Dranishnikov to study spaces with infinite asymptotic dimension. We show that asymptotic property C is preserved by infinite products. We also show that countable restricted direct products of countable groups with finite asymptotic dimension have asymptotic property C. Then we introduce hyperbolic property C, an infinite dimensional version of hyperbolic dimension.

연구 동기 및 목표

• 유한 직접곱에서 점근적 성질 C가 보존됨을 증명하여 [BBGRZ]와 [BM]에서 제기한 질문을 해결하는 것.
• 유한 점근적 차원을 가진 가산 군들의 가산 제한 직접곱이 점근적 성질 C를 가짐을 보이는 것.
• 초월적 차원의 일반화로 초순환 성질 C와 약한 초순환 성질 C를 도입하는 것.
• 점근적 성질 C, 초순환 성질 C, 약한 초순환 성질 C, sFDC, 성질 A 간의 함의 관계를 설정하는 것.
• 약한 초순환 성질 C가 sFDC를 함의하고, 따라서 성질 A를 함의함을 보여, 무한 차원 메트릭 공간에서의 대규모 기하적 성질에 대한 이해를 발전시키는 것.

제안 방법

• 점근적 성질 C의 정의를 사용: 증가하는 반경 수열 $ R_0 \leq R_1 \leq \cdots $에 대해, 일관되게 유계인 $ R_i $-해리 없는 가족들로 이루어진 유한 커버가 존재함.
• 각 인자 공간에서의 $ R_i $-해리 없는 가족들을 조합하여 곱 공간의 커버를 구성함.
• 유한 점근적 차원을 가진 가산 군들에 대해 제한 직접곱 구조를 적용하고, 적절한 좌측 불변 메트릭의 코arse 동치를 사용함.
• 초순환 성질 C는 일관되게 큰 척도 두 배 조건을 요구하는 커버 조건으로 정의하고, 약한 초순환 성질 C는 이를 약화시킨 형태로 정의함.
• 분해 사슬을 구성하기 위해 $ R $-분해 관계 $ \mathcal{X} \stackrel{R}{\longrightarrow} \mathcal{Y} $를 사용하여 일관되게 유계인 가족들로 이르는 경로를 만듦.
• Proposition 4.4 (일관되게 유계인 유한 점근적 차원 가족에 대한 sFDC)와 [NR]의 Proposition 4.5를 적용하여, 약하게 일관되게 큰 척도 두 배 조건을 만족하는 가족이 일관되게 유한 점근적 차원을 가짐을 보이고, 이로 인해 sFDC를 확보함.

실험 결과

연구 질문

• RQ1 점근적 성질 C는 메트릭 공간의 유한 직접곱에서 유지되는가?
• RQ2 유한 점근적 차원을 가진 가산 군들의 가산 제한 직접곱에 대해 점근적 성질 C를 확보할 수 있는가?
• RQ3 무한 차원 일반화로서 sFDC와 성질 A를 함의하는 초월적 차원의 일반화는 무엇으로 정의할 수 있는가?
• RQ4 초순환 성질 C와 약한 초순환 성질 C는 점근적 성질 C와 sFDC와 어떻게 관련되는가?
• RQ5 약한 초순환 성질 C는 sFDC를 함의하고, 따라서 성질 A를 함의하는가?

주요 결과

• 점근적 성질 C는 유한 곱에서 보존되며, [BBGRZ]와 [BM]에서 제기한 추측을 확인함.
• 유한 점근적 차원을 가진 가산 군들의 가산 제한 직접곱은 점근적 성질 C를 가짐으로써, [Y]의 질문 3.2에 대한 부분적인 확정적 답변을 제공함.
• 초순환 성질 C는 일관되게 유계이고 $ R_i $-해리 없는 가족들이 일관되게 큰 척도 두 배 커버를 형성하도록 요구하는 커버 조건으로 정의됨.
• 약한 초순환 성질 C는 유사하게 정의되나, 더 약한 큰 척도 두 배 조건을 요구함.
• 약한 초순환 성질 C는 분해 사슬을 구성함으로써 sFDC를 함의함을 보였으며, 이 사슬은 유한 점근적 차원을 가진 일관되게 유계인 가족으로 끝남.
• 결국, 약한 초순환 성질 C는 성질 A를 함의함으로써, 다음과 같은 함의 사슬을 완성함: 점근적 성질 C $\Rightarrow$ 초순환 성질 C $\Rightarrow$ 약한 초순환 성질 C $\Rightarrow$ sFDC $\Rightarrow$ 성질 A.