문자열 경계와 tmf를 위한 2차 불변량

초록

저자들은 디랙 연산자의 스펙트럼 불변량을 이용해 차원 $4m!-!1$의 문자열 매니폴드에 대해 2차적인 위튼 유전자를 정의한다. 전역 해석적 구성을 동형론적 접근과 연결하는 2차 지수정리를 증명하고, 이를 위상 모듈러 형식(tmf)으로의 분해를 통해 계산한다.

상세 분석

이 논문은 문자열(bordism) 이론과 위상 모듈러 형식(tmf) 사이의 깊은 연결 고리를 탐구한다. 기존의 위튼 유전자는 문자열 구조를 가진 짝수 차원 매니폴드에 대해 정의된 동형론적 특성으로, 모듈러 형식으로 값을 갖는다. 저자들은 차원 $4m-1$인 경우, 즉 짝수 차원 위의 경계에 해당하는 경우에 대한 “2차” 버전을 제시한다. 핵심 아이디어는 디랙 연산자의 스펙트럼 흐름을 추적해 얻어지는 η-불변량과 그 변형을 이용해 전역적인 보조량을 만든다. 이 보조량은 전통적인 위튼 유전자의 1차적 정수값이 사라지는 상황에서도 비자명한 정보를 제공한다.

논문은 먼저 문자열 구조가 있는 $(4m-1)$‑차원 매니폴드 $M$에 대해, $M$의 경계가 되는 $4m$‑차원 문자열 매니폴드 $W$를 선택한다. $W$ 위에 적절한 스핀 구조와 연결된 디랙 연산자를 고려하고, 그 스펙트럼의 η-함수를 $\eta_W(s)$라 두면, $s\to0$에서의 정규화된 값 $\bar\eta(W)$를 정의한다. 이때 $\bar\eta(W)$는 $W$의 선택에 따라 변하지만, 두 다른 선택 $W_1,W_2$ 사이의 차이는 정수값을 갖는다. 따라서 차이를 이용해 $M$에 대한 2차 불변량 \