[논문 리뷰] On the structure of K_G(T_G M)

Paul-Émile Paradan|arXiv (Cornell University)|2012. 09. 18.

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

한 줄 요약

이 논문은 다각도적인 타원형 작용자와 관련된, 매니폴드 위의 컴acts Lie 군 작용에 대한 등변 K-이론 군 $\mathbf{K}^*_{G}(Δ}_G^*M)$ 의 구조에 대한 체계적인 서술과 정련을 제공한다. 아벨 군 $G$ 에서는 $\mathbf{K}^0_G(\mathbf{T}_G^*V)$ 가 일반화된 담멘-마이클러 공간 $\mathrm{DM}_G(V)$ 와, $\mathbf{K}^0_G(\mathbf{T}_G^*V^{τ})$ 가 공간 $\mathcal{F}_G(V)$ 와 각각 동형임을 규명하며, 표현 이론적 및 기하학적 자료를 통한 이러한 군의 완전한 대수적 기술을 제시한다.

ABSTRACT

In this expository paper, we revisit the results of Atiyah-Singer and de Concini-Procesi-Vergne concerning the structure of the K-theory groups K_G(T_G M).

연구 동기 및 목표

• 타원형 기호와 관련된 등변 K-이론 군 $\mathbf{K}^*_{G}(\mathbf{T}_G^*M)$ 의 구조를 재표현하고 명확화하는 것.
• 아벨 군 $G$ 인 경우 $\mathbf{K}^0_G(\mathbf{T}_G^*V)$ 와 일반화된 담멘-마이클러 공간 $\mathrm{DM}_G(V)$ 사이의 동형을 확립하는 것.
• 무한소 안정자와 몫 공간 위의 복소 구조를 이용하여 $\mathbf{K}^*_{G}(\mathbf{T}_G^*V)$ 의 생성자와 관계의 기하학적 및 표현론적 특성화를 제공하는 것.
• 아티야-사이먼스와 데 콘치니-프로체시-버그네의 결과를 통합하고 확장하여 해석적 인덱스와 그 $R^{-\infty}(G)$ 내 상의 이미지를 설명하는 것.

제안 방법

• 매니폴드 $M$ 이 $G$-표현 공간 $V$ 에 임베딩 $M \hookrightarrow V$ 되는 경우, $\mathbf{K}^0_G(\mathbf{T}_G^*M)$ 과 $\mathbf{K}^0_G(\mathbf{T}_G^*V)$ 를 연결하는 $i_!$ 푸시포워드 사상 을 사용하여 선형 경우로의 환원을 가능하게 한다.
• 보트-톰 동형사상과 인덱스 사상 $\mathrm{Index}^G_V$ 를 적용하여 $\mathbf{K}^0_G(\mathbf{T}_G^*V)$ 를 $R^{-\infty}(G)$ 와 식별하며, 보트-톰 동형사상의 역을 활용한다.
• 일반화된 담멘-마이클러 공간 $\mathcal{F}_G(V)$ 와 부분모듈 $\mathrm{DM}_G(V)$ 를 도입하며, 이들은 $R^{-\infty}(G)$ 의 부분모듈로, 표현의 지지집합과 코homological 조건에 의해 정의된다.
• 데오퍼메이션 기법과 $K$-이론의 호모토피 불변성을 사용하여 특정 기호류가 동치임을 보이며, 특히 클리포드 곱셈과 역가능한 왜곡의 사용을 포함한다.
• 접선 $\overline{\partial}$-연산자와 보트 기호 구성법을 활용하여, $i_!$ 를 $\sigma_{\overline{\partial}}^V \odot \mathrm{Bott}(\mathbf{T}\mathbb{R})$ 를 포함하는 합성으로 실현하며, 톰 동형사상과 연결한다.
• 기호 가족 $\tau_s$ 와 $\sigma_s$ 의 지지집합을 분석하여 호모토피 불변성을 증명하며, 이들의 지지집합이 $\mathbf{T}_G^*V$ 나 $\mathbf{T}_G^*(S\times\mathbb{R})$ 와 컴팩트 집합에서만 만난다는 것을 보여 $K$-이론 클래스를 유지함을 보인다.

실험 결과

연구 질문

• RQ1 아벨 군 $G$ 와 실수 $G$-모듈 $V$ 에 대해 $\mathbf{K}^0_G(\mathbf{T}_G^*V)$ 의 정확한 대수적 구조는 무엇인가?
• RQ2 일반화된 담멘-마이클러 공간 $\mathcal{F}_G(V)$ 와 $\mathrm{DM}_G(V)$ 는 등변 $K$-이론 $\mathbf{T}_G^*V$ 와 어떻게 관련이 있는가?
• RQ3 해석적 인덱스의 이미지로서 $\mathrm{Index}^G_M: \mathbf{K}^0_G(\mathbf{T}_G^*M) \to R^{-\infty}(G)$ 는 아벨 경우에 생성자와 관계로 완전히 기술될 수 있는가?
• RQ4 무한소 안정자 $\mathfrak{h} \in \Delta_G(V)$ 와 $V/V^\mathfrak{h}$ 위의 복소 구조는 $\mathbf{K}^0_G(\mathbf{T}_G^*V)$ 의 $R(G)$-모듈 구조를 정의하는 데 어떤 역할을 하는가?
• RQ5 푸시포워드 $i_!$ 와 톰 동형사상은 기호 변형과 클리포드 모듈로 어떻게 명시적으로 실현될 수 있는가?

주요 결과

• 아벨 컴팩트 리 군 $G$ 와 실수 $G$-모듈 $V$ 에 대해 $\mathbf{K}^0_G(\mathbf{T}_G^*V)$ 는 일반화된 담멘-마이클러 공간 $\mathrm{DM}_G(V)$ 와 동형이며, 이는 $\mathfrak{h} \neq \mathfrak{h}_{\min}$ 인 모든 $\mathfrak{h}$ 에 대해 $\langle R^{-\infty}(G/H_{\min}) \rangle$ 와 $\wedge^\bullet \overline{V/V^{\mathfrak{h}}} \otimes \Phi $ 의 핵에 대한 교차로 정의된다.
• 최대 궤도의 열린 밀도 부분집합인 $V^{\mathrm{gen}}$ 에 대해 $\mathbf{K}^0_G(\mathbf{T}_G^*V^{\mathrm{gen}})$ 는 $\mathcal{F}_G(V)$ 와 동형이며, 이는 모든 $\mathfrak{h} \in \Delta_G(V)$ 에 대해 $\wedge^\bullet \overline{V/V^{\mathfrak{h}}} \otimes \Phi \in \langle R^{-\infty}(G/H) \rangle $ 를 만족하는 $\Phi \in R^{-\infty}(G)$ 의 집합으로 정의된다.
• 인덱스 사상 $\mathrm{Index}^G_V: \mathbf{K}^0_G(\mathbf{T}_G^*V) \to R^{-\infty}(G)$ 는 $\mathbf{K}^0_G(\mathbf{T}_G^*V)$ 를 $\mathrm{DM}_G(V)$ 와 식별하며, 해석적 인덱스의 이미지에 대한 완전한 대수적 기술을 제공한다.
• 푸시포워드 $i_!$ 는 $\mathbf{T}_G^*M$ 에서 $\mathbf{T}_G^*V$ 로의 기호의 변형을 통해 $\overline{\partial}$-연산자와 보트 기호로 실현되며, $K$-이론에서 $i_!(\sigma) = \sigma_{\overline{\partial}}^V \odot \mathrm{Bott}(\mathbf{T}\mathbb{R})$ 라는 식으로 표현된다.
• 기호 가족 $\tau_s$ 와 $\sigma_s$ 의 지지집합은 $\mathbf{T}_G^*V$ 나 $\mathbf{T}_G^*(S\times\mathbb{R})$ 에 제한되었을 때 컴팩트하며, 이는 이들이 타원형 기호의 호모토피를 정의하고 $K$-이론 클래스를 유지함을 증명한다.
• 차이 $\mathrm{Thom}_{-\beta}(V) - \mathrm{Thom}_{\beta}(V)$ 는 기호 $\mathrm{Cl}(\xi') + \mathrm{Cl}(t + i\mathrm{Re}(z))$ 로 표현되며, 이는 $i_!(\sigma_{\overline{\partial}}^V)$ 와 일치한다. 이는 톰 동형사상과 인덱스 사상 간의 호환성을 확인한다.