[논문 리뷰] Noncommutative calculus and operads

Boris Tsygan|arXiv (Cornell University)|2012. 10. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 66인용 수 6

한 줄 요약

이 논문은 오ペ라드와 호크시ลด/사이클릭 호모로지의 기법을 사용하여 비가환 미분법의 프레임워크를 개발하며, 변형 양자화를 통해 아티야-식이 색인 정리의 비가환 대응을 수립한다. 매끄럽고 복소 해석적 다양체에 대해 대수적 색인 정리를 증명하여, 변형된 대수에서 프로젝션의 차이의 트레이스가 형식적 파아손 구조와 특성류에 의해 지배됨을 보이며, 최종 결과는 $φ$-왜곡된 $φ$-불변 $√{\widehat{A}}$-류를 통해 표현된다.

ABSTRACT

This is a survey of current and recent works on deformation quantization and index theorems.

연구 동기 및 목표

• 고전적 색인 이론을 변형 양자화와 오페라드 기법을 사용하여 비가환 환경으로 확장하기.
• 형식적 파아손 구조를 사용하여 변형된 대수에서 트레이스와 프로젝션을 분류하기.
• 주기적 사이클릭 호모로지와 호크시ลด 코호모로지 족을 통한 비가환 대수로 아티야-식 색인 정리를 일반화하기.
• 드린펠트 연관자와 형식성 정리들을 사용하여 매끄럽고 복소 해석적 환경에서 색인 정리의 통합적 프레임워크 수립하기.

제안 방법

• 비가환 미분형식과 다중벡터장의 비가환 대응으로 호크시ลด 체인 및 코체인 복합체를 사용한다.
• 콘체비치의 형식성 정리와 타마르킨의 오페라드 증명 기법을 적용하여 비가환 복합체와 고전적 미분법 구조를 연결한다.
• 정기적 사이클릭 호모로지와 드 라ーム 복합체를 연결하기 위해 형식성 동형사상과 $\exp(\iota_\pi / u)$의 복합체로서 트레이스 밀도 사상 $\operatorname{TR}$ 를 구성한다.
• 모듈로 $\hbar$ 에 대한 감소와 HKR 준동형사상에 의해 주요 기호 사상 $\sigma$ 를 정의하며, $\operatorname{CC}^{\operatorname{per}}_{-\bullet}(\mathbb{A}^\pi)_{\mathbb{C}}$ 와 $\Omega^{-\bullet}(X)((u))$ 를 연결한다.
• 감소 모듈로 $\hbar$ 후 $\mathbb{A}^\pi$ 와 $C^\infty(X)$ 사이의 준동형사상의 타당성을 보장하기 위해 굿윌디 린어티 정리를 적용한다.
• 복소 해석적 경우에 $\Phi$-왜곡된 $\widehat{A}$-류를 적용하며, $\sqrt{\widehat{A}}_\Phi(T_X)_u$ 는 곡률과 호로노미 데이터를 캡슐화한다.

실험 결과

연구 질문

• RQ1 비가환 대수로 일반화된 고전적 미분형식과 다중벡터장의 구조는 어떻게 일반화될 수 있는가?
• RQ2 오페라드와 형식성 정리는 변형 양자화와 그 트레이스를 분류하는 데 어떤 역할을 하는가?
• RQ3 대수적 색인 정리는 매끄러운 다각체에서 복소 해석적 다각체로 어떻게 확장되며, 새로운 불변량은 무엇인가?
• RQ4 변형된 대수에서의 트레이스와 $\sqrt{\widehat{A}}$ 와 같은 특성류 사이의 정확한 관계는 무엇인가?
• RQ5 드린펠트 연관자는 복소 해석적 환경에서 데이터 분류와 최종 색인 공식에 어떻게 영향을 미치는가?

주요 결과

• 변형 양자화 대수 $\mathbb{A}^\pi$ 의 주기적 사이클릭 복합체에서의 트레이스 밀도 사상 $\operatorname{TR}$ 는 미분 $ud_{\rm{DR}}$ 를 갖는 드 라암 복합체와 $\exp(\iota_\pi / u)$ 의 복합체로 동형이다.
• 주요 기호 사상 $\sigma$ 는 HKR 동형사상을 통해 $\mathbb{A}^\pi$ 의 주기적 사이클릭 호모로지의 $\hbar$ 모듈로를 드 라암 복합체 $\Omega^{-\bullet}(X)((u))$ 와 식별한다.
• 매끄러운 다각체의 경우, 대수적 색인 정리는 $\operatorname{TR}(a) = \iota(\sigma(a)) \wedge \sqrt{\widehat{A}}(T_X)_u$ 라고 기술되며, 여기서 $\iota$ 는 포함사상이고 $\sqrt{\widehat{A}}(T_X)_u$ 는 $u$-왜곡된 $\widehat{A}$-류이다.
• 복소 해석적 경우, 트레이스 사상 $\operatorname{TR}_\Phi$ 는 미분 $\overline{\partial} + u\partial$ 를 갖는 $\Omega^{0,\bullet}(X,\Omega_X^{\bullet})[[\hbar,u]]$ 를 통해 인식되며, 색인 공식은 $\sqrt{\widehat{A}}_\Phi(T_X)_u$ 를 포함한다.
• 콤���트 지지 행렬에 대한 트레이스의 최종 색인 정리는 $\operatorname{Tr}(P-Q) = \langle \tau, \operatorname{exp}(\iota_\pi)(\operatorname{ch}(P_0 - Q_0) \sqrt{\widehat{A}}^\frac{1}{2}(M)) \rangle$ 로 표현되며, 여기서 $\tau$ 는 파아손 트레이스이다.
• 결과는 심플렉틱 경우에서 아티야-식 색인 정리와 일치하며, $\sqrt{\widehat{A}}$-류와 $\iota_\pi$-왜곡을 통해 형식적 파아손 구조로 일반화된다.