벡터 번들에서의 아디아바틱 극한과 해석적 토션

초록

본 논문은 차수가 짝수이고 기저 차수가 홀수인 벡터 번들 (E^{n+k}\to M^{n})에 대해, 아디아바틱 매개변수 (\varepsilon)를 도입한 메트릭을 사용해 인덱스가 기저 (M)와 동일함을 증명하고, Witten 라플라시안을 이용해 정의한 새로운 해석적 토션이 Quillen 측정과 일치함을 보인다.

상세 분석

이 연구는 두 가지 주요 목표를 갖는다. 첫째, 아디아바틱 매개변수 (\varepsilon)에 따라 스케일링된 메트릭 (g_{\varepsilon}= \varepsilon^{-2}\pi^{*}g_{M}+g_{Y})를 도입함으로써, 비정형(비컴팩트) 섬유를 가진 벡터 번들의 전체 공간 (E)에 대한 인덱스 연산자를 분석한다. 기존의 아디아바틱 극한 연구는 주로 컴팩트 섬유(예: 리만 곡면 위의 원섬유)에서 진행되었으나, 여기서는 섬유가 (\mathbb{R}^{k})와 같은 비컴팩트 공간임을 가정한다. 이 경우 호지 라플라시안의 스펙트럼이 연속 스펙트럼을 가질 수 있어 직접적인 열핵 분석이 어려워진다. 이를 극복하기 위해 저자들은 강한 테이프 조건을 만족하는 Morse‑Bott 함수 (h)를 선택하고, Witten 변형 외미터 (d_{\tau}^{h})와 그에 대응하는 Witten 라플라시안 (D_{\varepsilon,\tau}^{2}h)를 정의한다. 이 연산자는 (\tau>0)와 (\varepsilon>0)에 대해 이산 스펙트럼을 갖게 되며, 따라서 열핵 (\exp(-tD_{\varepsilon,\tau}^{2}h))의 초트레이스(supertrace)를 정상적으로 정의할 수 있다.

두 번째 목표는 위에서 정의한 Witten 라플라시안을 이용해 해석적 토션을 구축하고, 그 토션이 기저 (M)의 Ray‑Singer 토션과 동일함을 보이는 것이다. 이를 위해 저자들은 다음과 같은 일련의 기술적 절차를 밟는다.

1. 초트레이스와 토션 제타 함수: (\zeta_{\varepsilon,\tau}^{h}(s)=\frac{1}{\Gamma(s)}\int_{0}^{\infty}t^{s-1}\operatorname{Tr}{s}\big(N e^{-tD{\varepsilon,\tau}^{2}h}\big)dt) 를 정의하고, (s)가 충분히 큰 실수 영역에서 수렴함을 보인다. 이후 열핵의 작은 시간 및 큰 시간 전개를 정밀히 분석해 (\zeta_{\varepsilon,\tau}^{h}(s))가 전체 복소평면으로 멜로디컬 연속이 가능하고, 특히 (s=0) 근처에서 정칙함을 증명한다.

2. 큰 시간 분석: (t\to\infty)에서 초트레이스는 섬유 방향의 핵 (\ker \widetilde D_{Y})와 직교 보완으로 분해된다. 여기서 (\widetilde D_{Y})는 섬유 위의 Witten‑Dirac 연산자이다. 저자들은 resolvent 추정과 Riesz‑Dunford 함수계산을 이용해 (\varepsilon)가 0으로 갈 때의 수렴 속도를 제어하고, 결국 (\lim_{\varepsilon\to0}\operatorname{Tr}{s}(Ne^{-tD{\varepsilon,\tau}^{2}h}))가 섬유의 기여를 소멸시키고 기저의 열핵으로 수렴함을 보인다.

3. 작은 시간 분석: (t\to0)에서는 Getzler의 스케일링 기법을 변형해 여러 종류의 스케일링을 도입한다. 이 과정에서 로컬 인덱스 정리(Atiyah‑Singer 형태)를 유도하고, 초트레이스의 발산 항들을 정확히 계산한다. 특히, 차수가 짝수인 섬유와 차수가 홀수인 기저라는 차원 가정이 중요한 역할을 하여, 발산 항이 서로 상쇄되고 유한 항이 기저의 토션과 일치한다.

4. 두 극한의 교환 문제 해결: (\varepsilon\to0)와 (t\to\infty)의 순서가 바뀌면 결과가 달라질 위험이 있다. 이를 방지하기 위해 저자들은 (\alpha_{t,T})라는 닫힌 1‑형식을 (\mathbb{R}_{+}^{2}) 위에 정의하고, 직사각형 경로에 대해 적분한다. 경로의 각 변을 무한대로 보내면서 얻어지는 경계 항을 비교함으로써, 발산 항이 정확히 맞물려 두 극한이 교환 가능함을 증명한다.

5. Quillen 측정 동등성: 위에서 얻은 해석적 토션 (\log T_{\tau}^{h}(E))와 기저의 Ray‑Singer 토션 (\log T(M)) 사이에 상수 차이만 존재함을 보이고, 그 상수는 determinant line bundle의 자연적인 정규화에 의해 소거된다. 따라서 두 공간의 Quillen 측정이 일치한다는 결론을 얻는다.

핵심적인 수학적 기여는 (i) 비컴팩트 섬유에 대한 아디아바틱 극한을 Witten 변형을 통해 정밀히 제어한 점, (ii) 큰 시간·작은 시간 분석을 결합해 토션의 발산을 완전히 소거하고, (iii) 1‑형식 적분 기법을 이용해 두 극한의 교환을 정당화한 점이다. 이러한 방법론은 향후 비컴팩트 번들, 혹은 더 일반적인 초대칭 양자장 이론에서의 아디아바틱 제한 연구에 유용하게 적용될 수 있다.