코호모토피 불변량과 보편적 점프 공식: 4차원 게이지 이론의 새로운 시각

** 1. **서론 및 동기** 저자들은 기존의 바우어‑푸루타와 푸루타가 제시한 코호모토피 세입버그‑와이트니 불변량이 정의와 펑터리얼성에서 한계를 가지고 있음을 지적한다. 특히 $K$‑이론 원소 $x\in K(B)$에 대한 “프로젝티베이션”이 자동동형군의 비자명한 작용 때문에 명확히 정의되지 못한다는 점을 강조한다. 이를 해결하기 위해 $S^1$‑대칭을 갖는 힐베르트 번들 사이의 비선형 지도에서 유도되는 코호모토피 불변량을 새롭게 구축한다. 2. **$K$‑이론과 코호모토피 군 $\alpha^*(x)$** - $S^1\alpha^*_B(X,Y)$를 $S^1$‑대칭 안정 코호모토피 군으로 정의하고, 복소와 실수 번들을 별도로 스테빌라이즈한다. - $x\in K(B)$에 대한 대표 $(E,F)$를 선택하고, $S^1\alpha^*_B(S(E)\oplus B, F\oplus B)$를 고려한다. - 자동동형군 $\operatorname{Aut}(E\oplus U)\times\operatorname{Aut}(F\oplus U)$의 작용을 $J$‑동형사상 $S^1J:K^{-1}(B)\to S^1\alpha^0(B)$ 로 나눠 $\alpha^*(x)$를 정의한다. 이는 $x$에만 의존하는 그레이드 군이며, $K$‑이론 원소의 “코호모토피화” 역할을 한다. 3. **비선형 지도와 실린더 구성** - 힐베르트 번들 $E\to B$, $F\to B$ 사이의 $S^1$‑대칭 비선형 지도 $\mu$를 고려한다. - $\mu$의 선형화는 프레드호몰프 연산자를 제공하고, 이는 $x=\operatorname{ind}(D)$라는 $K$‑이론 원소를 만든다. - 유한 차원 근사를 위해 임의의 유한 차원 부분공간 $A\subset H$에 대한 재수축 $\rho_A$를 이용한 실린더 구성 $\operatorname{Cyl}_\mu$를 정의한다. 이는 기존의 고유공간 투영 방식보다 일반적이며, 복소·실수 성분을 구분해 다루므로 다양한 비선형 지도에 적용 가능하다. 4. **세입버그‑와이트니 지도에 적용** - 4차원 리만 다양체 $M$와 스핀$^c$ 구조 $\tau$에 대해, $B=H^1(M;\mathbb R)/H^1(M;\mathbb Z)$ 위의 토러스를 기본 공간으로 잡는다. - 섭동 $\kappa:B\to iH^+\setminus\{0\}$를 도입하고, 이를 이용해 $S^1$‑대칭 지도 $\operatorname{sw}_\kappa$를 정의한다. - $\operatorname{sw}_\kappa$는 앞서 정의한 클래스 $\{\operatorname{sw}_\kappa\}\in\alpha^{b_+-1}(\operatorname{ind}(6D))$에 대응한다. 여기서 $6D$는 스핀$^c$ 디랙 연산자의 6배 복합을 의미한다. - $