[논문 리뷰] Eta Invariants for Even Dimensional Manifolds

Xianzhe Dai|arXiv (Cornell University)|2011. 10. 13.

Advanced Operator Algebra Research참고 문헌 17인용 수 3

한 줄 요약

이 논문은 이전 연구에서 홀수 차원 다양체의 Atiyah-Patodi-Singer eta 불변량에 대응하는 짝수 차원 다각체에 대한 새로운 eta 불변량의 내재된 스펙트럼적 해석을 제공한다. 원추 다각체 위에서의 아디아바틱 극한 기법을 사용하여, 저자들은 이 불변량을 스펙트럼 불변량의 극한으로 표현하는 공식을 유도하며, 이는 다각체의 기하학과 위상수학, 그리고 $K^1$-대표자 $g$에 의존함을 입증한다. 핵심 결과는 Dirac 연산자에 $g$에 의해 휘감긴 것의 트레이스 적분으로 표현된 $¯{\eta}(X,E,g)$에 대한 스펙트럼 공식이다.

ABSTRACT

In previous work, we introduced eta invariants for even dimensional manifolds. It plays the same role as the eta invariant of Atiyah-Patodi-Singer, which is for odd dimensional manifolds. It is associated to $K^1$ representatives on even dimensional manifolds, and is defined on a finite cylinder, rather than on the manifold itself. Thus it is an interesting question to find an intrinsic spectral interpretation of this new invariant. Using adiabatic limit technique, we give such an intrinsic interpretation.

연구 동기 및 목표

• 홀수 차원에서 Atiyah-Patodi-Singer 불변량과 유사한 역할을 하는 짝수 차원 다각체에 대해 정의된 새로운 타입의 eta 불변량에 대해 내재된 스펙트럼적 해석이 필요하다는 점을 다루기.
• 이전 정의에서 쓰인 컷오프 함수에 의존하여 명백히 내재적이지 않았던 점을 해결하기 위해 기하학적이고 스펙트럼적인 특성화를 제공하기.
• 아디아바틱 극한 방법을 사용하여 새로운 불변량과 원추 다각체 위의 Dirac 연산자 스펙트럼 이론 사이의 연결 고리를 확립하기.
• 경계에서 인덱스가 0이 되는 조건의 기술적 문제를 해결하기 위해 경계 조건을 피하는 $S^1 \times X$ 위의 구성 방식을 제안하기.
• 다른 불변량이 $[0,1] \times X$ 위의 자기수반 Dirac 연산자에 대해 휘감긴 경계 조건을 갖는 감소된 eta 불변량과 같을 것이라 추측하기.

제안 방법

• 컷오프 함수와 원추 다각체 $[0,1] \times X$ 위의 Dirac 연산자에 의한 Atiyah-Patodi-Singer 경계 조건을 사용하여 짝수 차원 닫힌 다각체 $X$ 위에서 새로운 eta 불변량 $\overline{\eta}(X,E,g)$를 정의하기.
• 경계 근처에서 제품 구조를 유지하면서 표준 Dirac 연산자와 $g^{-1}dg$를 포함한 휘감긴 형태 사이를 보간하는 $[0,1] \times X$ 위의 Dirac 유형 연산자 $D^{\psi,g}$의 가중치를 구성하기.
• 원추 다각체의 길이가 무한대에 접근함에 따라 eta 불변량의 행동을 분석하기 위해 아디아바틱 극한 기법을 적용하며, $s \in [0,1]$ 에서 $\ker[D_X + s\,c(g^{-1}dg)] = 0$ 라는 가역성 조건을 가정하기.
• 아디아바틱 극한 공식을 사용하여 $\overline{\eta}(X,E,g)$를 초트레이스를 포함한 이중 적분으로 표현하기: $\frac{i}{4\pi}\int_0^1 \int_0^\infty \operatorname{tr}_s[c(g^{-1}dg)(D_X + s\,c(g^{-1}dg))e^{-t(D_X + s\,c(g^{-1}dg))^2}]\,dt\,ds$.
• 경계 조건을 제거함으로써 인덱스가 0이 되는 조건을 피하기 위해 $S^1 \times X$ 위의 대체 구성 방식을 제안하며, $\overline{\eta}(X,E,g) \equiv \overline{\eta}(D_{E_g}) \mod \mathbb{Z}$ 라는 결과를 도출하기.
• 다시 말해, $\overline{\eta}(X,E,g)$가 $[0,1] \times X$ 위의 자기수반 Dirac 연산자에 대해 경계 조건 $gP_X(L)g^{-1}$ 가 $\{0\} \times X$ 에서, $\mathrm{Id} - P_X(L)$ 가 $\{1\} \times X$ 에서 적용된 경우의 감소된 eta 불변량과 같을 것이라 추측하기.

실험 결과

연구 질문

• RQ1 짝수 차원 다각체에 대해 정의된 eta 유형 불변량 $\overline{\eta}(X,E,g)$는 컷오프 함수에 의존하지 않는 내재된 스펙트럼적 해석을 가질 수 있는가?
• RQ2 아디아바틱 극한 기법을 통해 다각체의 기하학과 $K^1$-대표자 $g$에 따라 $\overline{\eta}(X,E,g)$에 대한 내재된 공식을 어떻게 도출할 수 있는가?
• RQ3 직접적으로 $[0,1] \times X$ 위의 자기수반 Dirac 연산자에 대해 휘감긴 경계 조건을 갖는 감소된 eta 불변량으로 $\overline{\eta}(X,E,g)$를 정의할 수 있는가?
• RQ4 duality between $K^0$ and $K^1$-이론의 맥락에서, 새로운 불변량과 Atiyah-Patodi-Singer의 표준 eta 불변량 사이의 관계는 무엇인가?
• RQ5 실제로 $\mathrm{ind}\,D^E_+ = 0$ 라는 기술적 가정을 완화할 수 있으며, 만약 그렇다면 $S^1 \times X$ 와 같은 닫힌 다각체를 사용하여 불변량을 어떻게 재정의할 수 있는가?

주요 결과

• 논문은 가역성 조건 하에서, $[0,1] \times X$ 위의 휘감긴 Dirac 연산자의 eta 불변량의 아디아바틱 극한으로서 짝수 차원 다각체 위의 eta 불변량 $\overline{\eta}(X,E,g)$에 대한 스펙트럼 공식을 확립한다.
• 내재된 공식은 $\overline{\eta}(X,E,g) = \frac{i}{4\pi}\int_0^1 \int_0^\infty \operatorname{tr}_s[c(g^{-1}dg)(D_X + s\,c(g^{-1}dg))e^{-t(D_X + s\,c(g^{-1}dg))^2}]\,dt\,ds$ 로 주어지며, 이는 기하학적이고 스펙트럼적인 해석을 제공한다.
• 가역성 조건 하에서 스펙트럼 흐름이 0이 되어 아디아바틱 극한이 잘 정의되고, 불변량이 컷오프 함수에 영향을 받지 않음을 보장한다.
• 불변량 $\overline{\eta}(X,E,g)$ 는 $g$에 의해 휘감긴 $S^1 \times X$ 위의 Dirac 연산자의 감소된 eta 불변량과 $\mathbb{Z}$ 모듈로 동치임을 보여주며, 이는 인덱스가 0이 되는 조건을 피할 수 있는 방법을 제공한다.
• 추측으로서, $\overline{\eta}(X,E,g)$ 는 경계 조건이 $\{0\} \times X$ 에서 $gP_X(L)g^{-1}$ 이고 $\{1\} \times X$ 에서 $\mathrm{Id} - P_X(L)$ 인 $[0,1] \times X$ 위의 자기수반 Dirac 연산자의 감소된 eta 불변량과 같을 것이라 추측하며, 이는 표준적인 스펙트럼 정의를 제안한다.