[논문 리뷰] Cyclic Cohomology of the Weyl Algebra

Thomas Willwacher|ArXiv.org|2008. 04. 17.

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

한 줄 요약

이 논문은 Weyl 대수 $A_{2n}$의 순환 코hom로에서 $\fsp_{2n}$-기본 대표를 위한 명시적 공식을 제공하며, 이는 이전의 Hochschild 코hom로 결과를 일반화한다. 수축 연산자 $\theta = \theta_{\text{can}}$의 왜곡된 지수함수를 이용해, 심플렉틱 리 대수 작용에 관하여 불변인 순환 코사이클 $\tau_w = e^{-u\theta}\tau_{2n} \otimes w$를 구성하였으며, 평가 사상 $ev_1$에 의한 그 상이 부호를 제외한 $\hat{A}Ch$ 특성류를 복원함으로써 Nest와 Tsygan의 결과를 확장한다.

ABSTRACT

We give an explicit formula for symplectically basic representatives of the cyclic cohomology of the Weyl algebra. This paper can be seen as cyclic addendum to the paper by Feigin, Felder and Shoikhet, where the analogous Hochschild case was treated. As an application, we prove a generalization of a Theorem of Nest and Tsygan concerning the relation of the Todd class and the cyclic cohomology of the differential operators on a complex manifold.

연구 동기 및 목표

• Weyl 대수 $\fA_{2n}$의 순환 코hom로에 대해 $\fsp_{2n}$-기본 대표를 명시적으로 구성함으로써, 이전의 Hochschild 코hom로 결과를 확장하는 것.
• 심플렉틱 리 대수 $\fsp_{2n}$ 작용에 관하여 불변인 순환 코사이클을 찾는 데서 발생하는 곤경을 해결함으로써, 형식 기하학에서 국소적 구성의 전역화에 필수적인 요건을 충족시키는 것.
• 순환 코사이클 $\tau_w$와 특성류 $\fA Ch$ 사이의 정확한 연관성을 확립함으로써, Nest와 Tsygan이 미분 연산자의 순환 코hom로와 토드 클래스 사이에 유도한 결과를 일반화하는 것.
• Feigin, Felder, 그리고 Shoikhet(FFS)가 확립한 Hochschild 코hom로 공식의 순환 대응을 제공함으로써, 변형 양자화를 위한 코hom로적 프레임워크를 완성하는 것.

제안 방법

• 심플렉틱 형식 $\omega$와 관련된 수축 연산자 $\iota_\omega$의 지수함수를 이용해 순환 코사이클 $\tau_w = e^{-u\iota_\omega}\tau_{2n} \otimes w$를 구성함. 여기서 $\tau_{2n}$은 FFS Hochschild 코사이클이다.
• Getzler의 통합적 프레임워크를 활용하여 순환 코hom로를 $CC_W^\bullet(\fA_{2n}) = C^\bullet(\fA_{2n}, \fA_{2n}^*)[[u]] \otimes_{\mathbb{C}[u]} W$의 복합체로 표현하고, 미분 $d + uB$를 적용함.
• 원 위의 $k+1$개 점의 구성 공간 $\tilde{\Delta}_k$를 정의하고, Hochschild 코체인 값을 갖는 미분형식 $\eta_k$를 정의하며, $\Delta_k$에 대해 적분하여 $\tau_{2k}$를 정의함.
• 스토크스 정리와 단체 항등식을 적용하여 순환 이중복합체 관계를 검증함으로써 $B\tau_{2k+2} = d\tau_{2k}$를 도출하고, $\tau_{2k}$가 코사이클임을 확인함.
• Hochschild 코hom로에서 리 대수 코hom로로의 평가 사상 $ev_1$를 활용하여 $\tau_{2k}^r$와 특성류 $\hat{A}Ch$를 연결함. 이를 통해 $[ev_1(\tau_{2k}^r)] = (-1)^k[\hat{A}Ch]_{2k}$임을 증명함.
• FFS가 구성한 Hochschild 코사이클 $\tau_{2n}$가 $\fsp_{2n}$-기본임을 보이고, 이에 $e^{-u\iota_\omega}$의 왜곡을 통해 순환 설정으로 확장함.

실험 결과

연구 질문

• RQ1 Weyl 대수 $\fA_{2n}$의 순환 코hom로에 대해 $\fsp_{2n}$-기본 대표를 명시적으로 구성할 수 있는가? 이는 알려진 Hochschild 케이스를 일반화하는 것이다.
• RQ2 순환 코hom로 $\fA_{2n}$와 평가 사상 $ev_1$를 통해 특성류 $\hat{A}Ch$와 어떻게 관련이 있는가?
• RQ3 순환 코사이클 $\tau_w$의 정확한 형태는 무엇인가? 이는 코사이클이면서 동시에 $\fsp_{2n}$ 작용에 관하여 불변이어야 한다.
• RQ4 이 구성은 복소 다양체 위의 미분 연산자의 순환 코hom로와 토드 클래스 사이의 관계를 유도한 Nest-Tsygan 정리를 일반화하는가?
• RQ5 $\omega$의 심플렉틱 형식을 포함한 기하학적 왜곡을 통해 $\fsp_{2n}$-불변 순환 코사이클을 달성할 수 있는가?

주요 결과

• 순환 코사이클 $\tau_w = e^{-u\iota_\omega}\tau_{2n} \otimes w$는 $HC^\bullet(\fA_{2n})$의 비자명한 대표이자, 모든 $a \in \fsp_{2n}$에 대해 $\iota_a \tau_w = 0$를 만족하므로 $\fsp_{2n}$-기본임을 확인함.
• $\tau_{2k}^r = \frac{1}{(n-k)!}(-\iota_\omega)^{n-k}\tau_{2n}^r$의 $2k$-성분이 평가 사상 $ev_1$에 의해 $(-1)^k[\hat{A}Ch]_{2k}$와 동일한 리 대수 코hom로 클래스를 유도함을 증명함으로써, 정리 3를 입증함.
• FFS의 Hochschild 코hom로 결과를 순환 케이스로 일반화함으로써, $\fsp_{2n}$-불변 대표를 위한 통합적 프레임워크를 제공함.
• 이 방법은 순환 코hom로 $\fA_{2n}$이 $W$와 텐서곱이 되었을 때, $HH^\bullet(\fA_{2n}, \fA_{2n}^*)[[u]] \otimes_{\mathbb{C}[u]} W$와 동형임을 확인함으로써 기존의 동형관계를 일반화함.
• 논문은 순환 코사이클과 특성류 $\hat{A}Ch$ 사이의 정확한 연관성을 확립하였으며, Nest-Tsygan 정리를 순환 설정으로 일반화함.
• 결과는 Pflaum, Posthuma, 그리고 Tang에 의해 독립적으로 확인되었으며, 이들은 응용을 더욱 확장함으로써 이 결과가 변형 양자화와 추적 이론에서 널리 관련이 있음을 시사한다.