[논문 리뷰] Witten non abelian localization for equivariant K-theory, and the [Q,R]=0 theorem

Paul-Émile Paradan, Michèle Vergne|arXiv (Cornell University)|2015. 04. 28.

Advanced Operator Algebra Research참고 문헌 36인용 수 15

한 줄 요약

이 논문은 Witten의 변형 방법을 사용하여 등급수학적 비아벨리안 국소화 형식을 개발하며, 해밀토니안 설정을 초월하여 [Q,R]=0 정리를 일반화한다. 다양체 위의 기호에 대한 등급수학적 지수를 모멘트 맵의 영점 근처로의 변형된 지수로 줄이는 비아벨리안 국소화 공식을 수립하고, [Q,R]=0 정리를 통합적이고 기하학적인 방식으로 증명하며, 표현 이론과 분해 법칙에 응용한다.

ABSTRACT

The purpose of the present paper is two-fold. First, we obtain a non-abelian localization theorem when M is any even dimensional compact manifold : following an idea of E. Witten, we deform an elliptic symbol associated to a Clifford bundle on M with a vector field associated to a moment map. Second, we use this general approach to reprove the [Q,R] = 0 theorem of Meinrenken-Sjamaar in the Hamiltonian case, and we obtain mild generalizations to almost complex manifolds. This non-abelian localization theorem can be used to obtain a geometric description of the multiplicities of the index of general spin^c Dirac operators (see preprint arXiv:1411.7772).

연구 동기 및 목표

• 모멘트 맵을 가진 일반적인 짝수 차원 컴act 다양체에 대해 Witten의 비아벨리안 국소화의 K-이론적 유사체를 개발한다.
• 변형 기법과 국소화를 이용하여 [Q,R]=0 정리를 기하학적, 위상수학적으로 증명한다.
• Witten의 [Q,R]=0 정리를 활용하여 기하 양자화와 분해 법칙에서의 다중도의 점근적 행동을 명확히 한다.
• 표현 이론에서 다중도 함수의 조각별 준다항식 행동과 그 면에서의 축소를 완전하고 통합적으로 증명한다.
• [Q,R]=0 정리를 클리퍼드 배럴과 거의 복소 다양체로 확장하여 점근적 표현 이론에의 응용을 가능하게 한다.

제안 방법

• 모멘트 맵 Φ에 관련된 Kirwan 벡터장으로 T*M 위의 등급수학적 K-이론 기호를 변형한다.
• 전이적으로 타원형인 변형된 기호의 가为准을 구성하여 지수를 Φ의 영점 집합으로 국소화한다.
• 등급수학적 K-이론에서의 비아벨리안 국소화 정리를 적용하여 지수 계산을 Φ⁻¹(0)과 낮은 차원의 절단에서의 고정점 데이터로 줄인다.
• Atiyah-Segal-Singer 국소화 공식을 기초로 하되, Witten 유형의 변형을 통해 비해밀토니안 및 비컴 pact 설정으로 확장한다.
• 변형된 기호와 절단 정리를 사용하여 클리퍼드 배럴에 대해 [Q,R]=0 정리를 점근적으로 증명한다.
• 기하 양자화에서의 다중도가 Riemann-Roch 수의 대칭 축소에 대해 분석함으로써 조각별 준다항식임을 증명한다.

실험 결과

연구 질문

• RQ1 Witten의 비아벨리안 국소화 절차는 해밀토니안 설정에서 일반적인 등급수학적 K-이론의 짝수 차원 다양체로 어떻게 일반화될 수 있는가?
• RQ2 [Q,R]=0 정리의 K-이론적 표현은 무엇이며, 변형과 국소화를 통해 어떻게 증명할 수 있는가?
• RQ3 기하 양자화에서의 다중도는 점근적으로 어떻게 행동하며, 모멘트 다면체의 면에서 그 구조는 어떠한가?
• RQ4 [Q,R]=0 정리는 클리퍼드 배럴과 거의 복소 다양체로 확장될 수 있으며, 표현 이론에 어떤 함의를 갖는가?
• RQ5 분해 법칙 계수의 기하학적 의미는 무엇이며, 어떻게 심플렉틱 축소와 Riemann-Roch 수와 관련되는가?

주요 결과

• 논문은 등급수학적 K-이론에서 일반적인 비아벨리안 국소화 정리를 수립하여, T*M 위의 임의의 기호의 지수를 Φ⁻¹(0) 근처와 낮은 차원의 절단에서의 변형된 지수로 줄였다.
• [Q,R]=0 정리는 K-이론적 Witten 변형을 사용하여 직접적이고 기하학적인 방식으로 재증명되었으며, 이는 이전 연구의 전략을 명확히 했다.
• 클리퍼드 배럴에 대한 점근적 [Q,R]=0 정리(정리 9.32)가 증명되었으며, 이는 분해 법칙 계수의 점근적 행동을 지배한다.
• 기하 양자화에서의 다중도 함수 mμ(L)는 조각별 준다항식이며, 모멘트 다면체의 면에서의 축소 행동을 보인다.
• 표현의 텐서 곱에서 K-불변 벡터의 차원은 모멘트 다면체의 면에 관련된 심플렉틱 오비폴드의 Riemann-Roch 수와 같다.
• 면 F에서의 무게 (λ̃,λ) 의 다중도는 Weyl 군 작용에 의해 유도된 심플렉틱 동형사상에 의해, 축소된 체계에서 해당 주된 무게의 다중도와 동형이다.