[논문 리뷰] Floer homology and embedded bipartite graphs

Yuanyuan Bao|arXiv (Cornell University)|2014. 01. 26.

Geometric and Algebraic Topology참고 문헌 11인용 수 7

한 줄 요약

이 논문은 $S^3$ 안의 균형 잡힌 이분할 그래프로 헤가르드 플로어 호모로지의 일반화를 시도하며, 그래프 다이어그램에서의 '카우프만 상태'를 통해 오일러 지표의 조합론적 기술을 제시한다. 주요 기여는 그래프 보완의 사수드 플로어 호모로지의 오일러 지표에 대한 상태합 공식을 제공함으로써 카우프만의 다항식 구축을 확장하고, 삼차 그래프에 대해 $\mathfrak{gl}(1|1)$-아크실러스 다항식과 같은 양자 불리안과 연결짓는 것이다.

ABSTRACT

We generalize the construction of the Heegaard Floer homology for a singular knot to that for a balanced bipartite graph. For a given graph, we provide a combinatorial description of the Euler characteristic of its Heegaard Floer homology by using the "Kauffman states" on a graph diagram.

연구 동기 및 목표

• singular knots에서 $S^3$ 안의 균형 잡힌 이분할 그래프로 헤가르드 플로어 호모로지를 확장하는 것.
• 그래프 보완의 사수드 플로어 호모로지의 오일러 지표에 대한 조합론적 기술을 제공하는 것.
• 카우프만의 아크실러스 다항식에 대한 상태합 정의를 공간적 이분할 그래프로 일반화하는 것.
• 상태합 불변량을 양자 불리안, 특히 삼차 그래프에 대한 $\mathfrak{gl}(1|1)$-아크실러스 다항식과 연결하는 것.
• 다이어그램적 상태합 구축을 통해 플로어 이론적 불변량과 양자군 불변량 간의 관계를 설정하는 것.

제안 방법

• 그래프의 정점과 변에 변수를 할당하여 두 개의 체인 복합체 $\mathrm{CFG}^{\mathcal{V}}$ 및 $\mathrm{CFG}^{\mathcal{E}}$ 를 구성한다.
• $S^3$ 내의 그래프 보완에 대해 사수드 다이어그램을 정의하며, 이를 고리형 사수드를 가진 사수드 다이어그램으로 간주한다.
• 아리샤히와 에프테카리의 사수드 플로어 호모로지의 정밀화를 사용하여 정점 또는 변에 변수를 할당하고, 체인 복합체를 형성한다.
• '카우프만 상태'를 그래프 다이어그램에서 각 정점과 교차점에서 국소적 해석을 할당하는 것으로 정의하며, 링크 상태 모델과 유사하게 한다.
• 상태의 아크실러스 등급에 기여하는 바에 따라 가중치를 부여한 후, 모든 카우프만 상태에 대한 부호화된 상태합으로 오일러 지표를 계산한다.
• 상태합 공식과 그래프 보완의 기본군 표현에서 유도된 포크 도함수 행렬의 행렬식 사이의 대응관계를 설정한다.

실험 결과

연구 질문

• RQ1 헤가르드 플로어 호모로지는 어떻게 $S^3$ 안의 균형 잡힌 이분할 그래프로 singular knots에서 일반화될 수 있는가?
• RQ2 균형 잡힌 이분할 그래프의 보완에 대한 사수드 플로어 호모로지의 오일러 지표의 조합론적 구조는 무엇인가?
• RQ3 오일러 지표에 대한 상태합 공식은 카우프만의 아크실러스 다항식 원래 구축과 어떻게 관련이 있는가?
• RQ4 이분할 그래프에 대한 상태합 불변량은 $\mathfrak{gl}(1|1)$-아크실러스 다항식과 같은 양자 불리안과 관련이 있을 수 있는가?
• RQ5 상태합은 어떤 대수적 또는 다이어그램적 관계를 만족하며, $U_q(\mathfrak{sl}(n))$-불변량에 대한 무라카미-오츠키-야마다 관계와 어떻게 비교되는가?

주요 결과

• 사수드 플로어 호모로지 $\widehat{\mathrm{HFG}}(G)$의 오일러 지표는 그래프 다이어그램에서의 모든 카우프만 상태에 대한 상태합으로 주어진다.
• 상태합 공식은 그래프 보완의 기본군 표현에서 유도된 포크 도함수 행렬의 행렬식과 일치한다.
• $\theta_n$-곡선의 경우 상태합은 고전적 아크실러스 다항식을 복원한다.
• 원천이나 수신부가 없는 삼차 그래프에 대한 상태합 불변량은 비로의 정의한 $\mathfrak{gl}(1|1)$-아크실러스 다항식과 동치이다.
• $n \geq 2$ 인 경우, 상태합은 $U_q(\mathfrak{sl}(n))$-불변량에 대한 무라카미-오츠키-야마다 관계와 유사한 관계를 만족하며, 더 깊은 양자군 연결성을 시사한다.