[논문 리뷰] A fixed point formula for loop group actions

Anton Alekseev, Eckhard Meinrenken외 1명|ArXiv.org|2000. 05. 04.

Homotopy and Cohomology in Algebraic Topology참고 문헌 18인용 수 3

한 줄 요약

이 논문은 정상적인 순간 사상이 있는 전량화된 해밀토니안 루프군 다각형의 심플렉틱 몫에 대한 디리클레 연산자의 지수에 대한 고정점 공식을 수립한다. 기반 루프군 ΩG를 통한 무한차원 루프군 공간의 유한차원 컴act G다양체 M으로의 축소를 통해, 저자들은 M 상의 고정점 자료를 이용해 지수를 표현하며, 직접 무한차원 지수 이론을 피하는 재정규화 절차를 통해, 아티야-세갈-싱어 고정점 정리의 루프군 설정으로의 일반화를 달성한다.

ABSTRACT

We express the index of the Dirac operator on symplectic quotients of a Hamiltonian loop group manifold with proper moment map in terms of fixed point data.

연구 동기 및 목표

• 전량화된 해밀토니안 루프군 다각형의 심플렉틱 몫에 대해 아티야-세갈-싱어 고정점 정리를 루프군 설정으로 일반화하기.
• 무한차원에서 등급수 있는 지수를 정의하는 데 어려움을 피하기 위해, 기반 루프군 ΩG로의 몫을 통해 문제를 유한차원 G다양체 M으로 축소하기.
• M에서의 고정점 기여도를 통해 심플렉틱 몫의 지수를 표현하기. 이는 M이 자연스럽게 스피너c-구조를 갖지 않기 때문이다.
• 주요 정리의 보조 적용을 통해 표면 위의 평행연결 모듈리 공간의 버린데 수를 계산할 수 있는 도구를 제공하기.

제안 방법

• 저자들은 루프군 다각형 M̂을 기반 루프군 ΩG로 나누어 유한차원 컴팩트 G다양체 M을 구성한다.
• M에 등급수 있는 지수 정리를 적용하며, M 상의 G작용에 기인한 고정점 기여도를 사용한다. 이는 M이 자연스럽게 스피너c-구조를 갖지 않기 때문이다.
• 이 방법은 무한차원 설정에서 발생하는 발산을 제거하는 재정규화 절차를 포함하며, 루프군 다각형에 지수 정리를 형식적으로 적용한 데서 영감을 받는다.
• 증명은 순간 사상 이미지의 다면체 분할 위에서 등급수 있는 지수에 대한 접합 공식에 기반하며, 오비폴드의 버린-베르네 국소화 공식을 사용한다.
• 고정점 부분다양체 위의 통합에서 Td, Ch, 정규(bundle)의 오일러 클래스와 같은 특성류를 사용해 기여도를 계산한다.
• 대상 공식은 자료의 선택에 영향을 받지 않도록, 컷 공간과 부분다양체 축소에 따른 특성 형식의 행동을 분석함으로써 유도되며, 대표자 선택에 대한 독립성을 보장한다.

실험 결과

연구 질문

• RQ1 등급수 있는 지수에 대한 고정점 공식은 컴팩트 리군에서 루프군 작용으로 무한차원 다각형으로 확장될 수 있는가?
• RQ2 무한차원에서 직접 등급수 있는 지수를 정의하지 않고도, 루프군 다각형의 심플렉틱 몫의 지수를 어떻게 계산할 수 있는가?
• RQ3 유한차원 몰입 M = M̂ / ΩG는 루프군 지수의 고정점 자료를 어떻게 캐릭터화하는가?
• RQ4 형식적 지수 공식에서 발생하는 발산을 재정규화하면, 유한차원 몰입에서 잘 정의된 표현을 어떻게 도출할 수 있는가?
• RQ5 이 접근법을 사용해 표면 위의 평행연결 모듈리 공간의 버린데 수를 계산할 수 있는가?

주요 결과

• 주요 결과(정리 4.3)는 해밀토니안 루프군 다각형의 심플렉틱 몫의 지수를 유한차원 몰입 다각형 M 상의 고정점 기여도의 합으로 표현한다.
• 고정점 기여도는 M의 고정점 부분다양체에서 Td, Ch, 오일러 클래스와 같은 특성류를 사용해 계산되며, M이 자연스럽게 스피너c-구조를 갖지 않기 때문에 조심스럽게 다뤄진다.
• 접합 공식(보조정리 B.1) 덕분에, 다면체 분할에 걸쳐 임의의 대표자 선택에 영향을 받지 않으며, 부가적인 기여도가 상쇄됨을 보장한다.
• 직접 무한차원 분석을 피하기 위해 문제를 표준 국소화 기법이 적용 가능한 유한차원 설정으로 축소함으로써 성공적으로 해결된다.
• 주요 정리를 보조적으로 적용한 논문에서 보여지듯이, 이 접근법은 버린데 수를 계산하는 계산 프레임워크를 제공한다.
• 결과적으로, 이는 무한차원 기하학과 유한차원 고정점 자료를 연결하는 양자화가 감소를 통한 원리의 루프군 설정으로의 일반화이다.