[논문 리뷰] Homotopy groups of Hom complexes of graphs

Anton Dochtermann|ArXiv.org|2007. 05. 18.

Topological and Geometric Data Analysis참고 문헌 15인용 수 4

한 줄 요약

이 논문은 그래프의 점을 가진 Hom 복합체의 호모토피 군을 연결하는 장점순서열을 수립하며, $\mathrm{Hom}_*(G,H)$의 고차 호모토피 군이 반복된 루프 그래프 $\Omega^i H$로의 $\times$-호모토피 유형의 점을 가진 그래프 사상에 이sov모르피즘임을 보여준다. 핵심 기여는 조합론적으로 정의된 $\times$-호모토피 군을 호모토피 군을 통한 위상적 해석으로 일반화한 것으로, A-이론의 결과를 $\times$-호모토피 프레임워크로 확장한다.

ABSTRACT

The notion of $ imes$-homotopy from \cite{DocHom} is investigated in the context of the category of pointed graphs. The main result is a long exact sequence that relates the higher homotopy groups of the space $\Hom_*(G,H)$ with the homotopy groups of $\Hom_*(G,H^I)$. Here $\Hom_*(G,H)$ is a space which parametrizes pointed graph maps from $G$ to $H$ (a pointed version of the usual $\Hom$ complex), and $H^I$ is the graph of based paths in $H$. As a corollary it is shown that $π_i \big(\Hom_*(G,H) \big) \cong [G,Ω^i H]_{ imes}$, where $ΩH$ is the graph of based closed paths in $H$ and $[G,K]_{ imes}$ is the set of $ imes$-homotopy classes of pointed graph maps from $G$ to $K$. This is similar in spirit to the results of \cite{BBLL}, where the authors seek a space whose homotopy groups encode a similarly defined homotopy theory for graphs. The categorical connections to those constructions are discussed.

연구 동기 및 목표

• 그래프 이론에서 조합론적으로 정의된 $\times$-호모토피 군의 위상적 해석을 제공하는 것.
• 점을 가진 Hom 복합체 $\mathrm{Hom}_*(G,H)$의 고차 호모토피 군을 그래프 사상의 $\times$-호모토피 유형과 연결하는 것.
• Hom 복합체 $\mathrm{Hom}_*(G,H)$, $\mathrm{Hom}_*(G,H^I)$, 및 루프 그래프 $\Omega H$를 포함하는 장점순서열을 수립하는 것.
• $\times$-호모토피 군이 점을 가진 Hom 복합체의 표준 호모토피 군과 일치함을 보이는 것.

제안 방법

• 점을 가진 그래프 준동형사상의 집합을 매개하는 위상공간으로서 점을 가진 Hom 복합체 $\mathrm{Hom}_*(G,H)$를 도입한다.
• 기반점이 있는 경로의 그래프로 경로 그래프 $H^I$를 정의하고, $\mathrm{Hom}_*(G,H^I)$에서 $\mathrm{Hom}_*(G,H)$로의 자연스러운 끝점 평가 사상을 구성한다.
• 평가 사상에 의해 유도된 피브레이션과 관련된 호모토피 군의 장점순서열을 사용하여 $\pi_i(\mathrm{Hom}_*(G,H))$와 $\pi_{i-1}(\mathrm{Hom}_*(G,\Omega H))$를 연결한다.
• 장점순서열을 반복적으로 적용하며, $\mathrm{Hom}_*(T,G^I)$의 수축 가능성 덕분에 호모토피 군과 $\times$-호모토피 유형 사이의 동형을 유도한다.
• 점을 가진 그래프의 카테고리에서 스마시 프로덕트와 내부 Hom 사이의 수반관계를 활용하여 Hom 복합체를 루프 공간과 연결한다.
• $\pi_0(\mathrm{Hom}_*(T,G)) = [T,G]_\times$ 및 $\pi_1(\mathrm{Hom}_*(T,\Omega G)) = \pi_0(\mathrm{Hom}_*(T,\Omega^2 G))$ 를 이용하여 최종 동형을 확립한다.

실험 결과

연구 질문

• RQ1 그래프의 $\times$-호모토피 군은 Hom*$ 복합체의 호모토피 군을 통해 어떻게 위상적으로 해석될 수 있는가?
• RQ2 $\mathrm{Hom}_*(G,H)$의 호모토피 군과 반복된 루프 그래프 $\Omega^i H$로의 사상의 $\times$-호모토피 유형 사이의 관계는 무엇인가?
• RQ3 경로 그래프 구성 $H^I$를 사용하여 Hom*$ 복합체의 호모토피 군에 대한 장점순서열을 구성할 수 있는가?
• RQ4 그래프에 대한 루프 공간 연산 $\Omega$는 Hom*$ 복합체의 맥락에서 고전적 루프 공간 함수와 대응하는가?
• RQ5 점을 가진 그래프에 대해 $\pi_i(\mathrm{Hom}_*(G,H))$와 $[G, \Omega^i H]_\times$ 사이에 범주적 동치가 존재하는가?

주요 결과

• Hom 복합체 $\mathrm{Hom}_*(G,H)$의 호모토피 군은 $\Omega^i H$로의 $\times$-호모토피 유형의 점을 가진 그래프 사상에 이sov모르피즘임을 보여주며, 즉 $\pi_i(\mathrm{Hom}_*(G,H)) \cong [G, \Omega^i H]_\times$ 이다.
• 평가 피브레이션 $\mathrm{Hom}_*(G,H^I) \to \mathrm{Hom}_*(G,H)$에 대한 호모토피 군의 장점순서열이 수립되었으며, 그 피브러는 $\mathrm{Hom}_*(G,\Omega H)$이다.
• 모든 유한한 점을 가진 그래프 $T$에 대해 $\mathrm{Hom}_*(T,G^I)$ 가 수축 가능하다는 것이 증명되었으며, 이는 장점순서열의 경계 사상이 동형임을 의미한다.
• 장점순서열을 반복 적용함으로써 $\pi_i(\mathrm{Hom}_*(T,G)) \cong \pi_1(\mathrm{Hom}_*(T,\Omega^{i-1} G)) \cong \pi_0(\mathrm{Hom}_*(T,\Omega^i G)) \cong [T, \Omega^i G]_\times$ 를 얻는다.
• 이 구성은 무점 그래프로 일반화될 수 있지만, 이 경우 피브러 항목 $\varphi_T^{-1}(\leq \gamma)$ 는 자연스러운 Hom 복합체 해석을 갖지 못한다.
• 결과적으로 그래프의 $\times$-호모토피 군이 점을 가진 Hom 복합체의 표준 호모토피 군과 자연스럽게 이sov모르피즘임을 보여주며, 조합론적 호모토피 불변량의 위상적 실현을 제공한다.