[논문 리뷰] Homologie et cohomologie de Hochschild de certaines algebres polynomiales classiques et quantiques

Lionel Richard|arXiv (Cornell University)|2002. 07. 08.

Algebraic structures and combinatorial models참고 문헌 13인용 수 5

한 줄 요약

이 논문은 매개변수로 행렬 Λ와 정수 r를 갖는, 고전적이고 양자적 구조를 통합하는 비가환 다항식 대수의 호크실드 호몰로지와 코호몰로지를 계산한다. 양자 코쉬울 복합체와 감소 기법을 사용하여, 반고전적 경우(r = n)에서 호크실드 호몰로지가 차수 2n에 농축되어 있으며 기저 체 k와 동형이 되며, 피앙카레 쌍대성이 성립함을 증명한다. 자유 경우(Λ가 자유 아벨 군을 생성함)에서는 호몰로지가 차수 0, 1, 2r에서 비자명하다.

ABSTRACT

We study Hochschild homology and cohomology for some polynomial algebras mixing both ``classical'' relations ($XY-YX=1$) and ``quantum'' relations ($XY=łYX$). More specifically, we prove that the algebra of differential operators on any quantum affine space (quantum Weyl algebra) have the same Hochschild homology, and satisfy the same duality relation, as the classical Weyl algebra does.

연구 동기 및 목표

• 고전적 와일 대수와 양자 다항식 대수 사이를 해석하는 비가환 다항식 대수의 호크실드 호몰로지와 코호몰로지를 계산하는 것.
• 다중매개변수 양자 공간 위의 꼬인 미분 연산자로 나타나는 대수의 호몰로지적 구조를 이해하는 것.
• 반고전적 경우(r = n)에서 피앙카레 쌍대성이 성립하는지 확인하고, 고전적 및 순수 양자 설정에서 알려진 결과를 확장하는 것.
• 매개변수 λi,j가 최대 질량의 자유 아벨 군을 생성하는 '자유' 경우에서의 호몰로지 분석.
• 매개변수들이 단위근일 경우 발생하는 쌍대성 실패를 저차원에서의 명시적 계산을 통해 조사하는 것.

제안 방법

• 생성자 xi(고전적)와 yj(양자적)를 갖는 반복 오어 확장으로 대수 AΛn,r를 구성하며, 행렬 Λ에 의해 정의된 특정 교환 관계를 만족한다.
• 웨임브스트의 양자 코쉬울 복합체를 적용하여 호크실드 호몰로지를 계산하고, 필터링과 더 작은 부분복합체(KC)로의 감소를 통해 분석한다.
• 생성자의 수에 대한 내림차순 귀납법을 사용하여 몫복합체 K/KC의 비순환성을 증명한다.
• 단항식 xαyβ가 k-기저로 작용함을 이용하여 미분의 작용을 분석하고 저차수에서의 호몰로지를 계산한다.
• 도함수와 내부함수 이론을 적용하여 특수 케이스(n=2, r=1, λ가 단위근)에서 HH0와 HH1를 명시적으로 계산한다.
• 동일한 복합체를 통해 코호몰로지를 분석하고 호몰로지 대수학의 이론적 정리들을 활용하여 반고전적 경우에서 피앙카레 쌍대성을 확립한다.

실험 결과

연구 질문

• RQ1 r = n(반고전적 경우)일 때, 임의의 Λ에 대해 AΛn,r의 호크실드 호몰로지는 무엇인가?
• RQ2 매개변수 λi,j가 질량 n(n−1)/2의 자유 아벨 군을 생성할 경우 AΛn,r의 호크실드 호몰로지는 어떻게 행동하는가?
• RQ3 AΛn,n의 호크실드 호몰로지에서 피앙카레 쌍대성이 성립하는가, 그리고 어떤 조건에서 성립하는가?
• RQ4 λ가 단위근인 특수 케이스, 예를 들어 AΛ2,1에서 호몰로지는 어떻게 되는가?
• RQ5 반고전적 및 자유 케이스를 초월하여 이러한 혼합 양자-고전적 대수의 호몰로지를 명시적으로 계산할 수 있는가?

주요 결과

• 반고전적 경우(r = n)에서 AΛn,n의 호크실드 호몰로지는 차수 2n에 농축되어 있으며 기저 체 k와 동형이 되며, 즉 HH∗(AΛn,n) = k[2n]이다.
• 자유 케이스(Λ가 질량 n(n−1)/2의 자유 아벨 군을 생성함)에서는 AΛn,r의 호크실드 호몰로지는 차수 0, 1, 2r에서만 비자명하다.
• 특수 케이스 n=2, r=1에서 λ가 단위근일 경우, HH0(AΛ2,1) = HH1(AΛ2,1) = k이며, HH2(AΛ2,1)는 비자명하지만 쌍대성이 성립하지 않는다.
• 대수 AΛn,n는 피앙카레 쌍대성을 만족한다: HH∗(AΛn,n) ≅ HH2n−∗(AΛn,n), 이중 쌍대화 모듈러는 차수 2n에서 k이다.
• 일반적으로 AΛn,r의 코호몰로지는 동일한 복합체를 통해 계산되며, 쌍대성은 코쉬울 복합체와 그 부분복합체의 구조를 통해 확립된다.
• λ가 단위근일 경우의 쌍대성 실패는 HHd−1과 HHd가 동시에 k일 수 없는 것을 보여줌으로써 입증되며, 이는 d=2일 때만 가능하며 이는 알려진 차수 2의 호몰로지와 모순된다.