[논문 리뷰] Tait colorings, and an instanton homology for webs and foams

P. B. Kronheimer, Tomasz Mrowka|arXiv (Cornell University)|2015. 08. 28.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 8

한 줄 요약

이 논문은 $ Theta$ -등급의 순간기하학적 homology $J^\sharp(K)$를 $ mathrm{SO}(3)$ gauge 이론을 사용하여 $ mathbb{R}^3$ 에 있는 비방향성 삼중접합 웹 $K$에 대해 구성한다. 이에 따라 $J^\sharp(K) \neq 0$임을 보여주며, 이는 $K$가 임베디드 브릿지가 없을 때에만 성립한다. 주요 결과는 게이지 이론적 불변량을 통한 4색 정리의 증명 계획을 뒷받침하며, 평면 웹에 대해서는 $ \dim J^\sharp(K)$가 Tait 색칠의 수와 일치할 가능성이 제기된다.

ABSTRACT

We use SO(3) gauge theory to define a functor from a category of unoriented webs and foams to the category of finite-dimensional vector spaces over the field of two elements. We prove a non-vanishing theorem for this SO(3) instanton homology of webs, using Gabai's sutured manifold theory. It is hoped that the non-vanishing theorem may support a program to provide a new proof of the four-color theorem.

연구 동기 및 목표

• 비방향성 웹과 폼에 대해 $ mathrm{SO}(3)$ gauge 이론을 사용하여 $ mathbb{F}_2$ 위의 $J^\sharp$라는 함자적 순간기하학적 homology를 정의한다.
• 비영성 정리 증명: $J^\sharp(K) \neq 0$이 되기 위한 필요충분조건은 $K$가 임베디드 브릿지를 포함하지 않을 때이다.
• 특히 평면 웹에 대해 $J^\sharp(K)$와 Tait 색칠 간의 관계를 탐구한다.
• 4색 정리를 게이지 이론적 불변량을 통해 증명할 잠재적 길을 제공하며, 이는 평면 웹에 대해 $ \dim J^\sharp(K)$가 Tait 색칠의 수와 일치한다는 추측에 기반한다.

제안 방법

• 점이 있는 비방향성 웹과 폼의 범주를 정의하고, 오비폴드 배럴 위의 $ mathrm{SO}(3)$ 평탄한 접속을 사용하여 이 범주에서 유한차원 $ mathbb{F}_2$ 벡터 공간으로 가는 함자 $J^\sharp$를 구성한다.
• 홀로노미 편향을 사용하여 전치성(transversality)을 확보하고, $d^2 = 0$ mod 2를 증명함으로써 호모로지가 잘 정의됨을 보장한다.
• Gabai의 삼중만곡면 이론을 적용하여 $J^\sharp(K)$의 비영성 정리를 증명한다.
• 코보르디즘(폼)에 대한 함자성의 성립을 확립하며, 목재 잘라내기, 이면, 삼각형, 사각형 관계와 같은 관계를 포함한다.
• representation 다양체 내의 codimension-1 부분다양체와의 교차 수를 통해 정의되는 미분 성분을 가진 스펙트럴 시퀀스를 $J^\sharp(K) \otimes \mathrm{Gr}$에서 $I^\sharp(K)$로 구성한다. 여기서 $I^\sharp$는 모어스 이론적 해석을 가진 관련 순간기하학적 호모로지이다.
• 정수 계수를 가진 $ mathrm{SU}(3)$ gauge 이론을 사용하여 변형된 $L^\sharp(K)$를 구성하며, $ mathbb{R}^3$ 에 있는 웹에 대해 $ \dim L^\sharp(K;\mathbb{F})$ 이 Tait 색칠의 수와 일치함을 보인다.

실험 결과

연구 질문

• RQ1 비방향성 웹 $K \subset \mathbb{R}^3$가 임베디드 브릿지를 포함할 때에만 $ mathrm{SO}(3)$ 순간기하학적 호모로지 $J^\sharp(K)$가 0이 되는가?
• RQ2 평면 웹에 대해서는 $J^\sharp(K)$의 차원이 $K$의 Tait 색칠의 수와 일치하는가?
• RQ3 $J^\sharp(K)$의 비영성 결과를 게이지 이론적 불변량을 통해 4색 정리를 증명하는 데 사용할 수 있는가?
• RQ4 $\mathrm{SO}(3)$ 순간기하학적 호모로지 $J^\sharp(K)$는 조합적 $ \mathfrak{sl}_3$ 호모로지와 Tait 색칠 간에 어떻게 관련되어 있는가?
• RQ5 $\mathrm{SU}(3)$ gauge 이론은 정수 계수를 가진 관련 불변량 $L^\sharp(K)$를 구성하고 Tait 색칠 수와 일치시키는 데 어떤 역할을 하는가?

주요 결과

• 벡터 공간 $J^\sharp(K)$는 웹 $K \subset \mathbb{R}^3$가 임베디드 브릿지를 포함하지 않을 때에만 0이 아니며, 삼중만곡면 이론을 통해 증명되었다.
• 평면 웹에 대해서는 Tait 색칠의 수와 $ \dim J^\sharp(K)$가 일치한다는 추측이 이분형 웹과 정사각형, 삼각형, 이면, 원형이 없는 웹에 대해 검증되었다.
• 스펙트럴 시퀀스가 존재하며, $E_1$-페이지는 $J^\sharp(K) \otimes \mathrm{Gr}$이며, $I^\sharp(K)$로 수렴한다. 이 시퀀스의 미분 성분은 representation 다양체 내의 codimension-1 부분다양체와의 교차 수에 의해 정의된다.
• $\mathrm{SU}(3)$ 기반 불변량 $L^\sharp(K;\mathbb{F})$는 $ mathbb{R}^3$ 에 있는 임의의 웹 $K$에 대해 $ mathbb{F}_2$ 계수에서 Tait 색칠의 수와 차원이 일치하며, 이는 유리수 계수에서도 성립한다.
• $\mathrm{SO}(3)$ representation 다양체 $\mathcal{R}^\sharp$는 $ mathrm{SU}(3)$ representation 다양체에서 복소수 켤레의 고정점 집합이며, 이는 두 게이지 이론적 구성 간의 연결고리가 된다.
• $J^\sharp(K)$의 비영성 결과와 Tait 색칠에 대한 추측이 결합되면, 모든 브릿지가 없는 평면 삼중접합 그래프가 Tait 색칠을 가짐을 뜻하며, 이는 4색 정리를 위한 새로운 증명을 제공한다.