[논문 리뷰] Riemann-Roch theorems via deformation quantization

Paul Bressler, Ryszard Nest외 1명|ArXiv.org|1997. 05. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 7인용 수 15

한 줄 요약

이 논문은 변형 양자화된 함수 대수 위의 완전 복합체에 대한 리만-로흐 정리를 변형 양자화, 호크시일드 및 순환 호몰로지, 그리고 데니스 추적과 굿윌디-존스 사상들을 이용하여 수립한다. 핵심 결과는 오일러 계수를 채르 수치, $\hat{A}$-류 및 변형의 특성류의 조합으로 표현하는 공식으로, 샤파이라와 쇤더스의 추측을 증명한다.

ABSTRACT

We give a proof of a conjecture of P. Schapira and J.-P. Schneiders on the characteristic classes of D-modules.

연구 동기 및 목표

• 심플렉틱 다양체 위의 함수의 변형 양자화 대수 위의 완전 복합체에 대한 리만-로흐 정리를 수립하는 것.
• 샤파이라와 쇤더스의 추측(2.2.2번 추측)을 증명하는 것 — 이는 완전 복합체의 오일러 계수를 그 채르 수치, $\hat{A}$-류 및 변형의 특성류와 연결한다.
• 데니스 추적과 굿윌디-존스 사상의 층화를 통해 사이트 위의 대수의 층에 대한 국소 채르 수치를 구성하는 것.
• 전역 리만-로흐 정리를 와일 대수에 대한 국소 명제로 환원하기 위해 주기적 순환 코hom올로지와 페도소프 접속을 이용하는 것.

제안 방법

• 완전 복합체의 층에 대한 오일러 계수와 채르 수치를 정의하기 위해 데니스 추적 사상과 굿윌디-존스 사상의 층화를 사용한다.
• 전역 오일러 계수에 대한 리만-로흐 정리를, 심플렉틱 다양체 위의 함수의 변형 대수의 주기적 순환 코chains에 대한 리만-로흐 정리로 환원한다.
• 와일 대수의 주기적 순환 체인에 대한 국소 리만-로흐 정리를 [NT1], [NT2]에서 유도된 바에 따라 적용하며, 이는 [FT2]의 아이디어에 기반한다.
• 형식적 근방의 코hom올로지 클래스와 전체 다양체의 코hom올로지 클래스를 연결하기 위해 게르프란드-후크스 사상을 적용하여 정리 7.6.1을 정리 6.1.1과 연결한다.
• 리 대수 코호몰로지 족과 비가환 미분해석학을 이용하여 주기적 순환 코chains에 대한 국소 결과를 증명한다.
• 게르프란드-후크스 사상을 통해 미분형식의 복합체와 평탄한 접속의 핵 복합체 사이의 동형을 수립하여 코호몰로지 코chains의 이동을 가능하게 한다.

실험 결과

연구 질문

• RQ1 변형 양자화 대수 위의 완전 복합체의 오일러 계수는 어떤 식으로 위상적 및 특성 불변량으로 표현될 수 있는가?
• RQ2 변형 양자화를 이용하여 샤파이라와 쇤더스의 추측 — 오일러 계수를 채르 수치, $\hat{A}$-류 및 변형류와 연결하는 것 — 을 증명할 수 있는가?
• RQ3 주기적 순환 코hom올로지는 와일 대수에 대한 국소 리만-로흐 정리를 수립하는 데 어떤 역할을 하는가?
• RQ4 게르프란드-후크스 사상은 심플렉틱 벡터 공간의 형식적 근방의 코호몰로지 클래스를 전체 다양체의 코호몰로지 클래스와 어떻게 연결하는가?
• RQ5 게르프란드-후크스 사상 아래 특성 코호몰로지 족의 정확한 상은 주기적 순환 복합체 간의 사상으로 어떻게 기술되는가?

주요 결과

• 논문은 샤파이라와 쇤더스의 2.2.2번 추측을 증명하여, 변형 양자화 대수 위의 완전 복합체의 오일러 계수에 대한 리만-로흐 공식을 수립한다.
• 오일러 계수는 기호 복합체의 채르 수치, 다양체의 $\hat{A}$-류, 그리고 변형 양자화의 특성류의 곱으로 표현된다.
• 와일 대수에 대한 국소 리만-로흐 정리(정리 6.1.1)는 형식적 근방의 코호몰로지 클래스와 전체 다양체의 코호몰로지 클래스를 연결하는 게르프란드-후크스 사상에 의해 확립된다.
• 게르프란드-후크스 사상 아래 코호몰로지 족 $\tilde{\mu}^{\hbar} \smile \iota - \tilde{\mu} \smile \widehat{A} \smile e^{\theta} \smile \sigma$ 의 상은 사상 $\iota \circ \tilde{\mu}^{\hbar}_{\mathbb{A}} - (\tilde{\mu}_{\mathcal{O}} \widehat{A} \smile e^{\theta}) \circ \sigma$ 로 표현되며, 특성류의 일관성을 확인한다.
• 변형 양자화의 특성류 $\theta$ 는 게르프란드-후크스 사상 아래 리 대수 코호몰로지 족의 상으로서 실현되며, 페도소프 접속의 곡률과 연결된다.
• 접선 번들의 $\widehat{A}$-류는 게르프란드-후크스 사상 아래 채르-웨일 호모모르피즘의 상으로 복원되며, 기하학적 기원을 확인한다.