[논문 리뷰] Topological realizations and fundamental groups of higher-rank graphs

S. Kaliszewski, Alex Kumjian외 2명|arXiv (Cornell University)|2012. 05. 13.

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

한 줄 요약

이 논문은 k-그래프를 CW-complex로 하는 위상적 실현을 정의하여, 그래프의 기본군이 그 위상적 실현의 기본군과 일치함을 증명한다. 또한 k-그래프를 그 실현으로 보내는 할당이, 그래프의 대수적 커버링과 공간의 위상적 커버링 사이의 카테고리 동치를 유도하는 함자임을 보이며, 보편 커버링을 유지하고 프로젝티브 극한 및 크로스드 프로덕트와 연결된다.

ABSTRACT

We investigate topological realizations of higher-rank graphs. We show that the fundamental group of a higher-rank graph coincides with the fundamental group of its topological realization. We also show that topological realization of higher-rank graphs is a functor, and that for each higher-rank graph Λ, this functor determines a category equivalence between the category of coverings of Λ and the category of coverings of its topological realization. We discuss how topological realization relates to two standard constructions for k-graphs: projective limits and crossed products by finitely generated free abelian groups.

연구 동기 및 목표

• k-그래프의 조합적 구조를 반영하는 CW-complex로써 k-그래프의 위상적 실현을 정의하는 것.
• k-그래프의 기본군이 그 위상적 실현의 기본군과 동형임을 증명하는 것.
• k-그래프에서 그 위상적 실현으로의 할당이 k-그래프의 카테고리와 위상공간의 카테고리 사이의 함자임을 보이는 것.
• k-그래프의 대수적 커버링과 그 실현의 위상적 커버링 사이의 카테고리 동치를 확립하여 보편 커버링을 유지하는 것.
• 표준적인 구성, 예를 들어 k-그래프의 프로젝티브 극한과 Z^l 작용에 의한 크로스드 프로덕트와의 관계를 밝히는 것.

제안 방법

• 카테고리 안에서 교환하는 입방체의 내부에 열린 세포를 붙임으로써 k-그래프 $\Lambda$의 위상적 실현 $X_\Lambda$를 구성한다.
• 각 k-그래프 준동형사상 $\varphi: \Lambda \to \Gamma$에 대해 연속사상 $\widetilde{\varphi}: X_\Lambda \to X_\Gamma$를 정의하여 이 할당이 함자임을 보인다.
• 명시적인 호모토피 이론적 추론을 통해 $X_\Lambda$의 기본군이 $\Lambda$의 기본군과 동형임을 증명한다.
• 이 함자가 커버링을 유지하여, $\Lambda$의 대수적 커버링의 카테고리와 $X_\Lambda$의 위상적 커버링의 카테고리 사이의 카테고리 동치를 유도하며, 보편 커버링이 보편 커버링으로 대응됨을 보인다.
• 유한-일대사 커버링의 프로젝티브 극한 $\varprojlim(\Lambda_n, p_n)$에 대해, 위상적 실현 $X_{\varprojlim(\Lambda_n, p_n)}$이 $\varprojlim(X_{\Lambda_n}, \widetilde{p}_n)$와 위상동형임을 보이며, 기본군의 역극한이 유지됨을 보인다.
• 크로스드 프로덕트 k-그래프 $\Lambda \times_\alpha \mathbb{Z}^l$의 위상적 실현이, $X_\Lambda$ 위에서 유도된 위상동형사상 $\widetilde{\alpha}$의 매핑 토러스 $M(\widetilde{\alpha})$와 위상동형임을 증명한다.

실험 결과

연구 질문

• RQ1 k-그래프의 기본군은 그 위상적 실현인 CW-complex의 기본군과 일치하는가?
• RQ2 할당 $\Lambda \mapsto X_\Lambda$는 k-그래프의 카테고리에서 위상공간의 카테고리로의 함자인가?
• RQ3 이 함자는 $\Lambda$의 대수적 커버링과 $X_\Lambda$의 위상적 커버링 사이의 카테고리 동치를 유도하는가?
• RQ4 위상적 실현은 k-그래프의 프로젝티브 극한과 어떻게 상호작용하는가?
• RQ5 크로스드 프로덕트 k-그래프 $\Lambda \times_\alpha \mathbb{Z}^l$의 위상적 실현은 표준적인 위상수학적 구성으로 어떻게 기술되는가?

주요 결과

• k-그래프 $\Lambda$의 기본군은 그 위상적 실현 $X_\Lambda$의 기본군과 동형이며, 즉 $\pi_1(\Lambda) \cong \pi_1(X_\Lambda)$이다.
• 할당 $\Lambda \mapsto X_\Lambda$는 k-그래프의 카테고리에서 위상공간의 카테고리로의 함자로 정의되며, 사상들을 연속사상으로 보낸다.
• 이 함자는 $\Lambda$의 대수적 커버링의 카테고리와 $X_\Lambda$의 위상적 커버링의 카테고리 사이의 카테고리 동치를 유도하며, 보편 커버링이 보편 커버링으로 대응된다.
• 유한-일대사 커버링의 프로젝티브 극한 $\varprojlim(\Lambda_n, p_n)$에 대해, 위상적 실현은 $X_{\varprojlim(\Lambda_n, p_n)} \cong \varprojlim(X_{\Lambda_n}, \widetilde{p}_n)$를 만족하며, $\pi_1(X_{\varprojlim(\Lambda_n, p_n)}) \cong \varprojlim(\pi_1(\Lambda_n), (p_n)^*)$이다.
• 크로스드 프로덕트 k-그래프 $\Lambda \times_\alpha \mathbb{Z}^l$의 위상적 실현은 유도된 위상동형사상 $\widetilde{\alpha}$의 매핑 토러스 $M(\widetilde{\alpha})$와 위상동형이며, 즉 $X_{\Lambda \times_\alpha \mathbb{Z}^l} \cong M(\widetilde{\alpha})$이다.
• 기본군의 확장 $1 \to \pi_1(\Lambda) \to \pi_1(\Lambda \times_\alpha \mathbb{Z}^l) \to \mathbb{Z}^l \to 0$이 성립하며, 이는 크로스드 프로덕트의 구조를 반영한다.