[논문 리뷰] On topological complexity of Eilenberg-MacLane spaces

Yuli B. Rudyak|arXiv (Cornell University)|2013. 02. 06.

Advanced Topology and Set Theory참고 문헌 5인용 수 9

한 줄 요약

이 논문은 임의의 정수 $ k $와 $ l $에 대해 $ k \leq l \leq 2k $를 만족할 때, Eilenberg-MacLane 공간 $ K(\pi,1) $가 러스트니크-슐레르만 차수 $ k $와 위상적 복잡도 $ l $을 갖는 이산군 $ \pi $가 존재함을 증명한다. 이 구성은 자유 아벨군의 자유곱, 특히 $ \pi = \mathbb{Z}^k * \mathbb{Z}^{l-k} $를 사용하여 모든 이러한 쌍을 실현하며, 위상적 복잡도의 순수 군론적 특성화가 필요함을 강조한다.

ABSTRACT

We note that, for any natural $k$ and every natural $l$ between $k$ and $2k$, there exists a group $π$ with $\cat K(π,1)=k$ and $\TC(K(π,1))=l$. Because of this, we can set up a problem of searching of purely group-theoretical description of $\TC(K(π,1))$ as an invariant of $π$.

연구 동기 및 목표

• 임의의 정수 $ k $와 $ l $에 대해 $ k \leq l \leq 2k $를 만족할 때, $ \operatorname{cat}(K(\pi,1)) = k $ 및 $ \operatorname{TC}(K(\pi,1)) = l $를 만족하는 군 $ \pi $가 존재함을 보여주기.
• $ K(\pi,1) $-공간의 위상적 복잡도가 코homological 불변량만으로는 완전히 결정되지 않으며, 이는 더 깊은 군론적 기술이 필요함을 보여주기.
• 특히 $ \pi = \mathbb{Z}^k * \mathbb{Z}^{l-k} $와 같은 명시적 예를 통해 가능한 $ (\operatorname{cat}, \operatorname{TC}) $ 쌍의 전 범위를 실현하기.
• 기존의 군론적 불변량(예: 코homological 차원)과 $ K(\pi,1) $-공간의 위상적 복잡도 사이의 격차를 부각하기.
• $ \operatorname{cat}(K(\pi,1)) $가 이미 군 $ \pi $의 코homological 차원과 같다는 사실을 고려할 때, $ \operatorname{TC}(K(\pi,1)) $에 대한 순수 군론적 특성화의 필요성과 도전성 제기하기.

제안 방법

• 모르는 결과인 $ \operatorname{cat}(T^m) = m $를 활용하여, 여기서 $ T^m $은 $ m $-토러스임을 이용해 $ K(\pi,1) $-공간의 카테고리를 확립하기.
• $ \pi = \mathbb{Z}^k * \mathbb{Z}^{l-k} $를 구성하여, 이에 대응하는 $ K(\pi,1) $가 CW 복합체의 와이드 합에 대해 카테고리의 가역성에 따라 $ T^k \vee T^{l-k} $와 호모토피 동치임을 활용하기.
• Dranishnikov의 결과에서 유도된 부등식 $ \operatorname{cat}(G \times H) \leq \operatorname{TC}(G \vee H) \leq \operatorname{cat}G + \operatorname{cat}H $를 적용하여 와이드 합의 위상적 복잡도를 근사하기.
• $ \operatorname{cat}(T^l) = l $ 및 $ \operatorname{cat}(T^k) + \operatorname{cat}(T^{l-k}) = k + (l - k) = l $임을 이용해 $ \operatorname{TC}(T^k \vee T^{l-k}) = l $임을 보이며, 등호가 성립함을 입증하기.
• $ \operatorname{cat}(X \vee Y) = \max(\operatorname{cat}X, \operatorname{cat}Y) $이므로 $ \operatorname{cat}(T^k) = k $, $ \operatorname{cat}(T^{l-k}) = l-k < k $임을 고려해 $ \operatorname{cat}(K(\pi,1)) = k $임을 확인하기.
• 결론적으로 $ \operatorname{TC}(K(\pi,1)) = l $임을 도출하여, $ \operatorname{cat} $에 대해 가능한 모든 값에 대해 $ \operatorname{TC} $의 전 범위를 실현함을 보여주기.

실험 결과

연구 질문

• RQ1 모든 정수 쌍 $ (k, l) $에 대해 $ k \leq l \leq 2k $를 만족할 때, 어떤 $ K(\pi,1) $-공간의 러스트니크-슐레르만 차수와 위상적 복잡도로 실현될 수 있는가?
• RQ2 코homological 차원으로 $ \operatorname{cat}(K(\pi,1)) $가 알려져 있음과 유사하게, $ \operatorname{TC}(K(\pi,1)) $에 대한 순수 군론적 기술이 존재하는가?
• RQ3 $ K(\pi,1) $-공간의 위상적 복잡도는 코homological 차원을 초월해 군의 구조에 얼마나 의존하는가?
• RQ4 토러스의 와이드 합의 위상적 복잡도는 요소들의 카테고리와 그 곱의 카테고리로부터 순수하게 계산될 수 있는가?
• RQ5 $ \operatorname{TC}(K(\pi,1)) $가 $ \operatorname{cat}(K(\pi,1)) $에서 $ 2\operatorname{cat}(K(\pi,1)) $까지 모든 값을 포함하는 최소한의 군의 클래스는 무엇인가?

주요 결과

• 모든 정수 $ k $와 $ l $에 대해 $ k \leq l \leq 2k $를 만족할 때, $ \operatorname{cat}(K(\pi,1)) = k $ 및 $ \operatorname{TC}(K(\pi,1)) = l $를 만족하는 이산군 $ \pi $가 존재한다.
• 군 $ \pi = \mathbb{Z}^k * \mathbb{Z}^{l-k} $는 이 쌍을 실현하며, $ K(\pi,1) \simeq T^k \vee T^{l-k} $이며, 위상적 복잡도는 정확히 $ l $이다.
• $ K(\pi,1) $-공간의 위상적 복잡도는 코homological 차원만으로는 제한되지 않으며, 이는 이전에 상정된 것보다 더 풍부한 구조를 지닌다는 것을 시사한다.
• 이 구성은 부등식 $ \operatorname{cat}(X) \leq \operatorname{TC}(X) \leq \operatorname{cat}(X \times X) $가 $ K(\pi,1) $-공간의 범주에서 날카로운 경계임을 확인하며, 전체 범위에서 등호가 가능함을 보여준다.
• 결과적으로 $ \operatorname{TC}(K(\pi,1)) $는 군 $ \pi $의 코homological 차원만으로는 결정될 수 없으며, 이는 $ \operatorname{TC} $에 대한 군론적 불변량을 찾는 것이 필수적이며 비단순함을 보여준다.
• $ \operatorname{cat}(K(\pi,1)) = k $일 때조차도 $ \operatorname{TC}(K(\pi,1)) $가 구간 $ [k, 2k] $ 내에서 독립적으로 변할 수 있음을 보여주며, 군의 구조에 대한 비자명한 의존성을 입증한다.