[논문 리뷰] A sheaf-theoretic model for SL(2,C) Floer homology

Mohammed Abouzaid, Ciprian Manolescu|arXiv (Cornell University)|2017. 08. 01.

Geometric and Algebraic Topology참고 문헌 56인용 수 14

한 줄 요약

이 논문은 3차원 다면체의 특성 다양체에서 d-비판적 위치와 편향된 층의 사라짐 순환에 기반하여 SL(2,C) 인스탄톤 플로어 homology에 대한 층 이론적 모델을 구축한다. 헤가드 표면의 특성 다양체에서 기약 표현에 대응하는 매끄러운 열린 부분집합에서 두 복소 라그랑주 부분다양체의 교차에 대응하는 편향된 층을 부여함으로써, 저자들은 이 층의 초코homology가 Heegaard 분할에 관계없이 3차원 다면체의 불변량임을 증명한다. 이는 게이지 이론을 포함하지 않는 SL(2,C) 플로어 homology에 대한 대수적 모델을 제공한다.

ABSTRACT

Given a Heegaard splitting of a three-manifold Y, we consider the SL(2,C) character variety of the Heegaard surface, and two complex Lagrangians associated to the handlebodies. We focus on the smooth open subset corresponding to irreducible representations. On that subset, the intersection of the Lagrangians is an oriented d-critical locus in the sense of Joyce. Bussi associates to such an intersection a perverse sheaf of vanishing cycles. We prove that in our setting, the perverse sheaf is an invariant of Y, i.e., it is independent of the Heegaard splitting. The hypercohomology of this sheaf can be viewed as a model for (the dual of) SL(2,C) instanton Floer homology. We also present a framed version of this construction, which takes into account reducible representations. We give explicit computations for lens spaces and Brieskorn spheres, and discuss the connection to the Kapustin-Witten equations and Khovanov homology.

연구 동기 및 목표

• SL(2,C) 인스탄톤 플로어 homology에 대한 대수적이고 게이지 이론을 포함하지 않는 모델을 구축하기 위해.
• 3차원 다면체에서 평행 이완 SL(2,C) 접속의 모듈리 공간의 비유계성과 특이성을 극복하기 위해.
• 결과로 얻어진 불변량이 Heegaard 분할에 독립적이며, 따라서 3차원 다면체의 위상수학적 불변량임을 증명하기 위해.
• 프레임드 형태로의 확장과 Khovanov homology 및 Kapustin-Witten 방정식과의 관계를 규명하기 위해.
• 렌즈 공간과 브리스코른 다양체에 대한 명시적 계산을 제공하고, TQFT 및 분류화와의 연결 고리를 탐색하기 위해.

제안 방법

• 저자들은 Heegaard 표면 Σ에 대한 SL(2,C) 특성 다양체를 고려하며, 기약 표현에 대응하는 열린 부분집합 X_irr(Σ)에 집중한다.
• 두 핸들바디에 대응하는 두 복소 라그랑주 부분다양체 L₀와 L₁를 정의하며, 그 교차는 X_irr(Y)와 미분동형이다.
• 라그랑주 교차의 유도 구조를 이용하여, Joyce의 정의에 따라 L₀ ∩ L₁ 가 방향성을 가진 d-비판적 위치임을 보인다.
• Bussi의 이론을 이용하여, 이 d-비판적 위치에 대해 사라짐 순환의 편향된 층을 부여하며, 이는 준동형에 관계없이 잘 정의된다.
• 이 편향된 층의 초코homology를 SL(2,C) 인스탄톤 플로어 homology의 쌍대체로 제안한다.
• d-비판적 구조의 성질과 접합 추론을 통해, 다양한 Heegaard 분할에 대해 이 구성이 불변임을 증명한다.

실험 결과

연구 질문

• RQ1 SL(2,C) 인스탄톤 플로어 homology는 PDE의 해를 세는 것 없이 대수적으로 정의될 수 있는가?
• RQ2 특성 다양체에서 라그랑주 교차에 대응하는 편향된 층의 사라짐 순환은 3차원 다면체의 다양한 Heegaard 분할에 대해 불변인가?
• RQ3 이 층 이론적 구성은 Kapustin-Witten 방정식과 어떻게 관련되어 있으며, Khovanov homology에 대한 물리적 제안과 어떻게 연결되는가?
• RQ4 이 구성은 프레임드 형태로 확장되어 기약 표현을 포함할 수 있는가?
• RQ5 Zentner의 기약 SL(2,C) 표현 존재성 결과에 기반하여, 불변량 HP*(Y)가 호모로지 3-구면체 중에서 3-구면체 S³를 식별할 수 있는가?

주요 결과

• 라그랑주 교차에 대응하는 사라짐 순환의 편향된 층의 초코homology는 Heegaard 분할의 선택에 관계없이 3차원 다면체 Y의 불변량이다.
• 이 구성은 비유계 모듈리 공간의 직접적인 게이지 이론적 분석을 피하는 순수하게 대수적 모델을 제공한다.
• 렌즈 공간과 브리스코른 다양체에 대해 명시적 계산이 수행되었으며, 이 경우 기존의 불변량과 일관됨을 보였다.
• 프레임드 형태의 구성은 기약 표현을 포함하며, 오비폴드 구조와 변형된 특성 다양체를 포함하는 불변량으로 확장된다.
• 이 불변량은 3+1 차원 TQFT의 일부로 추측되며, Kapustin-Witten 방정식에 의해 존스 다항식의 분류화 가능성도 가능하다.
• 논문은 HP*(Y)가 호모로지 3-구면체 중에서 S³를 식별하는지 여부는 여전히 열려 있는 문제로 남겨두고 있으나, Zentner의 결과에 기반한 잠재적 접근로가 존재한다.