[논문 리뷰] Kirillov's formula and Guillemin-Sternberg conjecture

Michel Duflo, Michèle Vergne|arXiv (Cornell University)|2011. 10. 05.

Advanced Algebra and Geometry참고 문헌 8인용 수 4

한 줄 요약

이 논문은 재수정된 리 군의 비콤팩트 동형자 궤도에 대해 Guillemin-Sternberg 추측을 증명하는 새로운 방법을 제시한다. 이는 Kirillov의 특성 공식과 Duistermaat-Heckmann 측도를 사용하여, 콤팩트 부분군 H의 기약 표현의 다중도가, 적절한 조건에서 p:M→h*의 순간 맵의 섬유로부터 계산될 수 있음을 보여준다. 이는 Paradan의 이전 결과를 확장하며, 일반화된 함수와 A-hat 종수 보정을 사용한다.

ABSTRACT

Let G be a connected reductive real Lie group, and H a compact connected subgroup. Harish-Chandra associates to a regular coadjoint admissible orbit M of G some unitary representations of G. Using the character formula for these representations, we show that the multiplicities of the restriction to H can be computed, under a suitable properness assumption, in terms of the fibers of the restriction map from M to the dual of the Lie algebra of H. In particular, this gives an alternate proof of a result of Paradan.

연구 동기 및 목표

• 재수정된 리 군의 비콤팩트 해밀턴 다양체인 동형자 궤도에 대해 Guillemin-Sternberg 추측의 대체 증명을 제공하는 것.
• 콤팩트 부분군 H의 기약 표현의 다중도를 정규 동형자 궤도 M에 관련된 유니터리 표현 Π에 대해 공식화하는 것.
• p:M→h*가 적절할 경우, 이러한 다중도가 순간 맵 p의 섬유에 의해 결정됨을 보여주는 것.
• 특성 이론적 및 기하적 방법을 사용하여, 최대 차원이 아닌 동형자 궤도에 대해 양자화가 감소와 교환 가능함 원리를 확장하는 것.
• 특이 감소 공간에 대해 Duistermaat-Heckmann 측도와 정점 기여를 통해 A-hat 종수 보정을 통합하는 것.

제안 방법

• 유니터리 표현 Π의 특성을 동형자 궤도 M 위의 리우빌 측도 β_M의 푸리에 변환과 연결하기 위해 Kirillov의 특성 공식을 사용한다.
• Π의 H에 대한 제한을, Φ가 g/h의 루트 체계를 코딩하는 바에 따라 다중도 함수 m(ν)과 중심화된 박스 스퍼인 B_c(Φ)의 커플링으로 표현한다.
• h* 위의 조각다항식 측도인 Duistermaat-Heckmann 측도 DH(M,p)를 정의하며, 이는 감소 공간 M_ν를 표현하는 섬유를 포함한다.
• 토루 원소 s∈T를 통해 정점 기여를 도입하여 감소 공간의 특이성을 다루며, 각 정점 s에 대해 일반화된 측도 DH(M,s,τ)를 정의한다.
• Dahmen-Micchelli의 분해 공식을 사용하여 커플링을 역으로 하여 다중도 함수 m(ν)을 복원한다.
• 감소 공간 M_ν에 A-hat 종수 보정을 적용하며, r(ν) = Â(Φ)d^a(ν)가 체계가 유일모듈러일 경우 Q(M_ν)로 해석됨을 보여준다.

실험 결과

연구 질문

• RQ1 재수정된 군 G의 동형자 궤도 M에 관련된 유니터리 표현에서 H-표현의 다중도는 순간 맵 p:M→h*의 섬유로부터 계산될 수 있는가?
• RQ2 모멘트 맵이 적절할 경우, 궤도가 최대 차원이 아니더라도 비콤팩트 동형자 궤도에 대해 양자화가 감소와 교환 가능함 원리가 성립하는가?
• RQ3 Duistermaat-Heckmann 측도에 A-hat 종수 보정을 어떻게 통합하여 특이 감소 공간의 정확한 양자화를 복원할 수 있는가?
• RQ4 토루 원소 s에 의한 고정점 부분다양체 M(s)는 다중도 함수 m(ν)을 재구성하는 데 어떤 역할을 하는가?
• RQ5 모든 정점 s∈T에 대해 관련된 일반화된 Duistermaat-Heckmann 측도 DH(M,s,τ)로부터 다중도 함수 m(ν)을 복원할 수 있는가?

주요 결과

• 모멘트 맵 p:M→h*가 적절할 경우, Π의 H에 대한 제한에서 기저 H-표현 Π^H(ν)의 다중도는 Q(M_ν), 즉 감소 공간 M_ν의 양자화로 주어진다.
• p의 이미지 내부에 있는 모든 정규 ν에 대해 Q(M)|_H = ∑_{ν∈P_h^+ ∩ p(M)^0} Q(M_ν) Q(Hν) 공식이 성립하며, 이는 Paradan의 결과를 확장한다.
• Dahmen-Micchelli의 분해 공식을 사용하여 박스 스퍼인 커플링의 역을 통해 다중도 함수 m(ν)이 복원된다.
• 루트 체계 Φ가 유일모듈러일 경우, 감소 공간 M_ν는 매끄럽고 Q(M_ν) ∈ ℤ는 M_ν의 정수 값 양자화이다.
• 비유일모듈러 경우, 다중도는 측도 DH(M,s,τ)를 통해 정점 기여로부터 재구성되며, 이는 국소 부호 ε(s,τ)와 고정점 자료를 포함한다.
• 체계가 유일모듈러일 경우, A-hat 종수 보정 r(ν) = Â(Φ)d^a(ν)는 Q(M_ν)와 같으며, 일반화된 측도를 통해 특이 경우에도 정확한 보정을 제공한다.