[논문 리뷰] An L^2-Index Theorem for Dirac Operators on S^1 * R^3

Tom M. W. Nye, Michael A. Singer|ArXiv.org|2000. 09. 14.

Advanced Operator Algebra Research참고 문헌 11인용 수 28

한 줄 요약

이 논문은 $S^1 \times \mathbb{R}^3$ 위의 딜라크 연산자에 대해 $L^2$-지수 정리를 수립한다. 이는 캘리아스의 지수 정리와 절단 논법을 사용하여 경계 문제로 환원한다. 핵심 결과는 $L^2$-지수를 다양체 $X$ 위에서의 카르탕 특성류 적분과 경계 $S^1 \times S^2$에서의 애디아바틱 한계로 정의된 $\eta$-함수의 한 형태로 표현하며, 이는 연결의 위상적 자료인 회전과 곡률의 무한대에서의 홀로노미를 반영한다.

ABSTRACT

An expression is found for the $L^2$-index of a Dirac operator coupled to a connection on a $U_n$ vector bundle over $S^1 imes{\mathbb R}^3$. Boundary conditions for the connection are given which ensure the coupled Dirac operator is Fredholm. Callias' index theorem is used to calculate the index when the connection is independent of the coordinate on $S^1$. An excision theorem due to Gromov, Lawson, and Anghel reduces the index theorem to this special case. The index formula can be expressed using the adiabatic limit of the $η$-invariant of a Dirac operator canonically associated to the boundary. An application of the theorem is to count the zero modes of the Dirac operator in the background of a caloron (periodic instanton).

연구 동기 및 목표

• 단위 연결 $A$를 가진 $S^1 \times \mathbb{R}^3$ 위의 카이랄 딜라크 연산자 $D_A^+$에 대한 $L^2$-지수 공식을 유도하기.
• $D_A^+$가 $L^2$에서 프리드홀름이 되도록 보장하는 $A$에 대한 경계 조건을 규명하기.
• $L^2$-지수를 위상적 불변량—특히 카르탕 특성류와 애디아바틱 한계로 정의된 $\eta$-함수의 경계항—으로 표현하기.
• 결과를 캘로론(주기적 인스탄톤) 배경에서 딜라크 연산자의 영모드 수를 세는 데 적용하여 지수 이론과 gauge 이론을 연결하기.

제안 방법

• 연결 $A$가 $S^1$ 좌표에 대해 독립일 경우에 $L^2$-지수를 계산하기 위해 캘리아스의 지수 정리를 사용하여 문제를 경계 지수 계산으로 환원하기.
• 그로모프, 로우슨, 안겔의 절단 정리를 적용하여 일반적인 경우를 $A$가 $S^1$에 대해 독립인 특수한 경우로 환원하여 캘리아스 결과의 적용 가능성을 확보하기.
• 경계 $\partial X = S^1 \times S^2_\infty$에서의 애디아바틱 한계로 정의된 $\eta$-함수를, $S^1$-섬유를 수축시키는 가족의 메트릭 $g_\epsilon$을 고려하여 정의하기.
• 공식 $\overline{\eta}_{\text{lim}} = \frac{1}{2\pi i} \int_{S^2_\infty} \hat{\eta}$ 를 사용하여 극한 $\overline{\eta}_{\text{lim}} = \lim_{\epsilon \to 0} \overline{\eta}(D_\epsilon)$ 을 계산하기. 여기서 $\hat{\eta}$ 는 딜라크 연산자와 곡률을 포함한 섬유 $S^1$ 위에서의 적분이다.
• 경계에서의 연결과 자기형사 $\Phi$ 를 고유부로 분해하여 $E_\mu$ 를 정의하고, $\eta$-함수 기여도 $\eta_\mu = 1 - \frac{2\epsilon_\mu}{\mu_0}$ 를 계산하기. 여기서 $\epsilon_\mu$ 는 고유값 $\mu$ 가 $\mu_0$ 로 모듈로 합동일 때의 분수 부분이다.
• 체르니 특성류 항 $\int_X \text{ch}(\mathbb{E})$ 와 경계항 $-\frac{1}{2}\overline{\eta}_{\text{lim}}$ 를 조합하여 최종 지수 공식을 도출하기.

실험 결과

연구 질문

• RQ1 적절한 경계 조건 하에서 $S^1 \times \mathbb{R}^3$ 위의 $U(n)$ 연결에 결합된 딜라크 연산자의 $L^2$-지수는 무엇인가?
• RQ2 경계 근처 기하 구조가 원통형이 아닐 경우(즉, $b$-메트릭이 아닐 경우) $L^2$-지수는 어떻게 계산할 수 있는가?
• RQ3 경계에서의 애디아바틱 한계로 정의된 $\eta$-함수는 지수를 경계 위의 위상적 자료로 표현하는 데 어떤 역할을 하는가?
• RQ4 지수 공식은 $b$-메트릭의 구조가 없는 경우 아티야-패달로-사이러스 지수 정리의 일반화로 해석될 수 있는가?
• RQ5 지수는 캘로론(주기적 인스탄톤) 배경에서의 영모드 수와 어떻게 관련이 있는가?

주요 결과

• $S^1 \times \mathbb{R}^3$ 위의 카이랄 딜라크 연산자 $D_A^+$의 $L^2$-지수는 $\text{ind}(D_A^+) = \int_X \text{ch}(\mathbb{E}) - \frac{1}{2}\overline{\eta}_{\text{lim}}$ 로 주어지며, 여기서 $\overline{\eta}_{\text{lim}}$ 는 경계 $S^1 \times S^2_\infty$ 에서의 애디아바틱 한계로 정의된 $\eta$-함수이다.
• 경계항 $\overline{\eta}_{\text{lim}}$ 는 $-\frac{2}{\mu_0} \sum_\mu \epsilon_\mu c_1(E_\mu)[S^2_\infty]$ 로 계산되며, 여기서 $\epsilon_\mu$ 는 자기형사 $\Phi_\infty$ 의 고유값 $\mu$ 가 $\mu_0$ 로 모듈로 합동일 때의 분수 부분이다.
• 지수 공식은 $\text{ind}(D_A^+) = \int_X \text{ch}(\mathbb{E}) + \frac{1}{\mu_0} \sum_\mu \epsilon_\mu c_1(E_\mu)[S^2_\infty]$ 와 동치이며, 이는 지수가 무한대에서 연결의 분수 홀로노미에 의존함을 보여준다.
• 위상적 항등식으로 인해 $\sum_\mu c_1(E_\mu)[S^2_\infty] = 0$ 이며, 이는 표현식을 단순화하고 $\eta$-함수 계산과의 일致성을 보장한다.
• 최종 지수 공식은 아티야-패달로-사이러스 지수 정리와 유사하여, 섬유-턱 또는 섬유-경계 구조를 가진 다양체에 대한 보다 광범위한 적용 가능성을 시사한다.
• 결과는 캘로론(주기적 인스탄톤) 배경에서 딜라크 연산자의 영모드를 정확히 세는 데 기여하며, 지수 값은 카르탕 특성류의 합과 연결의 점점 무한대에서의 점진적 홀로노미로부터 온 위상적 보정항의 합과 같다.