[논문 리뷰] Equivariant Dirac operators and differentiable geometric invariant theory

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

Advanced Operator Algebra Research참고 문헌 34인용 수 22

한 줄 요약

이 논문은 해밀턴 군 작용을 가진 컴act 다양체 위에서 등변 Dirac 연산자에 대해 미분 가능한 기하학적 불변량 이론 프레임워크를 수립한다. 이는 Guillemin-Sternberg의 결과를 스피너$^c$ 설정으로 일반화한 것으로, 다변수 $M$ 위의 스위치된 Dirac 연산자의 등변 지수는 적합한 코어지oints 궤도에 관련된 축소 공간들로부터 국소화된 기여로 계산될 수 있으며, 이 기여의 중복도는 이러한 축소 공간들의 양자화에 의해 결정된다. 이는 순간 지도의 영역이 비볼록이거나 축소 공간이 비연결일 경우에도 성립한다.

ABSTRACT

In this paper, we give a geometric expression for the multiplicities of the equivariant index of a spin-c Dirac operator.

연구 동기 및 목표

• Guillemin-Sternberg의 등변 지수와 GIT 몫 결과를 미분 가능성 및 스피너$^c$ 설정으로 확장하기.
• 모멘트 지도와 코어지oints 궤도를 사용하여 Dirac 연산자에 대한 기하학적 불변량 이론을 수립하기.
• 영역의 비볼록성과 축소 공간의 비연결성 문제를 해결하기 위해 영이 표현의 조상들을 도입하기.
• 축소 공간의 양자화를 통해 등변 지수 내의 기약 표현의 중복도를 기술하는 공식 제공하기.

제안 방법

• K-불변 스피너$^c$ 구조를 가진 컴팩트, 정렬, 짝수 차원 다변수 위에서의 등변 Dirac 연산자 사용.
• 전이적으로 타원형 연산자를 분석하고 지수를 국소화하기 위해 Witten 변형 적용.
• 모멘트 지도 수준 집합과 등방형 유형 분해를 통한 축소 공간 구축.
• 적합한 코어지oints 궤도와 $\mathrm{Q}^{\mathrm{spin}}_K$ 지도 도입을 통한 기약 표현 매개화.
• 고정점 부분다양체와 코어지oints 궤도 위의 국소화 공식을 사용한 중복도 계산.
• 스피너$^c$ 번들의 결정선다발과 그 모멘트 지도 계산을 통한 축소 공간 구조 분석.

실험 결과

연구 질문

• RQ1 컴팩트 다변수 위의 스위치된 Dirac 연산자의 등변 지수는 미분 범주에서 기하학적 몫 구성으로 계산될 수 있는가?
• RQ2 비볼록 순간 지도 영역과 비연결 축소 공간은 지수 내의 영이 표현의 중복도에 어떤 영향을 미치는가?
• RQ3 적합한 코어지oints 궤도와 그들의 조상은 기약 표현의 중복도 계산에 어떤 역할을 하는가?
• RQ4 Witten 변형과 국소화 이론은 전이적으로 타원형 연산자에 대해 스피너$^c$ 설정으로 어떻게 확장되는가?
• RQ5 조각이나 비연결일지라도 축소 공간의 양자화가 지수 내의 정확한 중복도를 회복할 수 있는가?

주요 결과

• 반단순 부분이 일반적인 등방형 대칭 대칭 대수 $[\mathfrak{k}_M,\mathfrak{k}_M]$가 $\mathfrak{h} \in \mathcal{H}_{\mathfrak{k}}$ 에 대해 어떤 $[\mathfrak{h},\mathfrak{h}]$ 와도 일치하지 않으면 등변 지수 $\mathcal{Q}_K(M,\mathcal{S})$ 는 0이 된다.
• 지수 $\mathcal{Q}_K(M,\mathcal{S})$ 내의 영이 표현의 중복도는 $\mathrm{Q}^{\mathrm{spin}}(M_{\mathcal{P}_1}) + \mathrm{Q}^{\mathrm{spin}}(M_{\mathcal{P}_2})$ 의 합으로 주어지며, 여기서 $\mathcal{P}_1, \mathcal{P}_2$ 는 영이 표현의 조상이다.
• 선형다양체 $\mathcal{L}(a,b)$ 를 가진 플라그 다양체 $M \subset \mathrm{Gr}(2,4)$ 에서, $a \geq 4$ 이고 $b \geq 1$ 이면 영이 표현의 중복도는 $-2$ 이며, 이는 두 개의 서로 다른 축소 공간에서 기인한다.
• Kirwan 집합 $\Phi_{a,b}(M) \cap \mathfrak{t}^*_{\geq 0}$ 는 비볼록이며 $[0,b+1]\omega_1 \cup [0,a-2]\omega_2$ 로 구성되어 있어, 공식이 성립하기 위해 볼록성이 필요하지 않음을 보여준다.
• 표현 $\mathcal{P}_i = K(\frac{3}{2}\omega_i)$ 와 관련된 축소 공간은 점이며, 그들의 양자화는 각각 $-1$ 을 주며, 영이 표현에 대해 총합은 $-2$ 가 된다.
• 식 (5.37) 은 $\pi_{k\omega_1 + \rho}$ 가 $k \in \{0, \dots, b-1\}$ 에서만, $\pi_{j\omega_2 + \rho}$ 가 $j \in \{0, \dots, a-4\}$ 에서만 나타나며, 각 축소 공간의 양자화가 $-1$ 이라는 것을 정확히 예측한다.