아디아빅 해디스‑윗튼 방정식과 심플렉틱 코호노프 동형성에 대한 새로운 접근

초록

본 논문은 5차원에서 정의되는 해디스‑윗튼 방정식의 디커플드 버전을 연구하고, 이를 확장된 보골몰니 방정식(EBE)의 모듈러 공간 위의 비수직 경로와 동등시킨다. 그 결과, 그로텐딕‑스프링거 해석을 이용해 유한 차원 모델을 구축하고, 해디스‑윗튼 플로어 동형론이 심플렉틱 코호노프‑로잔스키 동형론과 일치한다는 두 가지 주요 추측(A, B)을 제시한다.

상세 분석

이 논문은 Witten이 제시한 “4차원 코너가 있는 매니폴드의 인스턴톤 플로어 호몰로지와 Khovanov 호몰로지의 동등성”이라는 대담한 가설을 물리‑수학적 관점에서 재검토한다. 핵심은 해디스‑윗튼(HW) 방정식의 디커플드 형태(dHW)와 그에 대응하는 Kapustin‑Witten(KW) 방정식의 디커플드 형태(dKW)를 5차원 배경 (M_{5}= \mathbb{R}{s}\times\mathbb{R}^{3}\times\mathbb{R}^{+}{y}) 위에 정의하고, 이들이 Hermitian Yang‑Mills 구조를 갖는다는 점이다. 이 구조는 복소 게이지 변환 (G_{\mathbb{C}})에 대해 완전히 불변인 ‘복소 방정식’과, 실수 모멘트 맵 조건으로 구성된 ‘실수 방정식’으로 분리될 수 있다. 따라서 먼저 복소 방정식을 풀어 복소 게이지 클래스를 고정하고, 이후 실수 모멘트 맵을 만족하도록 복소 게이지 변환을 조정하는 단계적 접근이 가능해진다.

논문은 Gaiotto‑Witten이 제안한 ‘adiabatic braiding’ 아이디어를 확장한다. 여기서 ‘adiabatic’이란, 시간 방향 (\mathbb{R}{t}) (또는 (\mathbb{S}^{1}{t}))을 따라 매듭 (K)의 위치가 매우 천천히 변한다는 가정이다. 이 경우 각 시간 단면에서 해디스‑윗튼 해는 확장된 보골몰니 방정식(EBE)의 해와 거의 일치한다. 저자는 이를 “비수직 경로”라는 개념으로 정형화한다. 구체적으로, EBE 해들의 모듈러 공간 (\mathcal{M}{\mathrm{EBE}})는 매듭 위치가 매개변수인 구성 공간 (\operatorname{Conf}{k}(\Sigma)) 위에 섬유화된 복합 다양체이며, 매듭이 시간에 따라 움직이면 (\mathcal{M}_{\mathrm{EBE}}) 위에 수직이 아닌(즉, 수평에 가까운) 경로가 생성된다. 이러한 경로는 dHW 방정식의 해에 정확히 대응한다는 것이 저자의 핵심 주장이다.

또한, 저자는 이 무한 차원 모듈러 공간을 ‘부분 그로텐딕‑스프링거 해석(partial Grothendieck‑Springer resolution)’을 이용해 유한 차원 모델로 축소한다. 구체적으로 (\mathfrak{sl}(kN))의 부분 해석을 (\operatorname{Conf}_{k}(\mathbb{C})) 위에 장착하고, 각 점에서의 특이값(특히 nilpotent 궤도)을 선택함으로써, 삼중쌍 ((E,\phi,L)) (벡터 번들, 힉스 필드, 구별된 라인 서브번들) 의 모듈러 공간을 정확히 모델링한다. 이 모델은 복소 게이지 변환에 대한 불변성을 보존하면서도, 매듭의 브레이드 움직임을 ‘교차점 수’라는 정수량으로 환산한다. 저자는 이 교차점 수가 dKW 방정식 해의 하한을 제공한다는 ‘Conjecture A’를 제시한다.

마지막으로, dHW 방정식의 순간 지도(instantons)를 포함한 전이 해들을 세어 정의되는 ‘Haydys‑Witten Floer homology’를, Seidel‑Smith‑Manolescu가 정의한 심플렉틱 Khovanov‑Rozansky 호몰로지와 동일시하는 ‘Conjecture B’를 제안한다. 이는 최근 Tan 등(2023)의 독립적인 결과와도 일맥상통한다. 전체 논문 흐름은 다음과 같다: (1) dHW/dKW 방정식의 정의와 Hermitian Yang‑Mills 구조 제시, (2) EBE와의 관계 및 adiabatic braiding 구상, (3) 그로텐딕‑스프링거 해석을 통한 유한 차원 모델 구축, (4) 교차점 하한을 통한 해의 존재성 증명 전략, (5) 플로어 이론과 심플렉틱 Khovanov 호몰로지 사이의 동등성 추정. 이 일련의 논증은 기존의 Atiyah‑Floer 접근과는 다른, 게이지 이론과 대수기하학을 직접 연결하는 새로운 길을 제시한다.