[논문 리뷰] Hochschild and cyclic homology of central extensions of preprojective algebras of ADE quivers

Ching-Hwa Eu|ArXiv.org|2006. 06. 16.

Algebraic structures and combinatorial models참고 문헌 6인용 수 3

한 줄 요약

이 논문은 ADE 쿠이버의 중심으로 확장된 전프로젝티브 대수의 호크실드 호모로지와 순환 호모로지를 4주기적 프로젝티브 해체를 통해 계산하여 호모로지와 코호모로지에서 주기성을 확립한다. 변형 공간과 두 번째 호크실드 코호모로지 군 간의 이sov미즘을 통해 대수의 보편 변형을 규명하며, 변형 이론이 차단되지 않았음을 보인다.

ABSTRACT

Let A be the central extension of the preprojective algebra of an ADE quiver introduced by P. Etingof and E. Rains in math/0503393. The paper math/0606403 computes the structure of the zeroth Hochschild (co)homology of A. We generalize the results of math/0606403 by calculating the additive structure of all the Hochschild homology and cohomology groups of A and the cyclic homology of A, and to describe the universal deformation of A. Namely, we show that the (co)homology is periodic with period 4, and compute the first four (co)homology groups in each case.

연구 동기 및 목표

• 중심으로 확장된 ADE 쿠이버의 전프로젝티브 대수의 호크실드 호모로지와 코호모로지, 그리고 순환 호모로지의 덧셈 구조를 계산한다.
• 이 대수의 호크실드(코)호모로지와 순환 호모로지에서 주기성을 확립하며, 주기 4를 갖는다.
• HH²(A)를 분석하여 중심으로 확장된 전프로젝티브 대수의 보편 변형을 결정한다.
• 이전의 중심과 트레이스 공간에 관한 결과([ELR])를 전체(코)호모로지 구조로 일반화한다.
• 미래 작업을 위해(코)호모로지 내의 곱 구조를 계산하는 프레임워크를 제공한다.

제안 방법

• 경로 대수 위의 군집화된 이중모듈러를 사용하여 중심으로 확장된 전프로젝티브 대수 A에 대한 4주기적 프로젝티브 해체를 구성한다.
• 주기적 해체를 활용하여 첫 네 개의 호크실드 호모로지 및 코호모로지 군을 계산하고 주기성을 확립한다.
• 힐버트 급수 형식을 적용하여 호모로지 및 코호모로지의 생성함수를 계산하며, [ELR]의 결과와 [RS]의 조합적 항등식을 활용한다.
• 해체 내의 미분을 연결하기 위해 두 개의 체인 사상 f₁ 및 f₂를 정의하고, 그들의 가환성을 증명한다.
• A^e 위에서의 Hom 함자를 사용하여 해체를 쌍대화하고, 유도된 사상 f₁* 및 f₂*를 통해 호크실드 코호모로지를 계산한다.
• θ 사상이 E'에서 A/([A,A] + μZ)로의 이sov미즘을 유도함으로써 변형 공간 E'과 HH²(A) 사이의 이sov미즘을 확립한다.

실험 결과

연구 질문

• RQ1 중심으로 확장된 ADE 쿠이버의 전프로젝티브 대수에 대한 호크실드 호모로지와 코호모로지의 덧셈 구조는 무엇인가?
• RQ2 이 대수의 호크실드(코)호모로지가 주기성을 보이며, 만약 그렇다면 주기는 무엇인가?
• RQ3 중심으로 확장된 전프로젝티브 대수의 보편 변형은 어떻게 명시적으로 묘사할 수 있는가?
• RQ4 변형 공간과 두 번째 호크실드 코호모로지 군 HH²(A) 사이의 관계는 무엇인가?
• RQ5 기존 결과와 조합적 항등식을 사용하여 호모로지 및 코호모로지 군의 힐버트 급수를 계산할 수 있는가?

주요 결과

• 중심으로 확장된 전프로젝티브 대수 A의 호크실드 호모로지와 코호모로지는 주기 4를 갖는다.
• 첫 네 개의 호크실드 호모로지 및 코호모로지 군이 명시적으로 계산되었으며, [ELR]의 결과와 조합적 항등식을 통해 힐버트 급수가 결정되었다.
• A의 순환 호모로지가 계산되었으며, 동일한 자료로부터 그 힐버트 급수가 유도되었다.
• 변형 공간 E'은 ker(θ)의 보완으로 식별되며, θ 사상이 E'에서 A/([A,A] + μZ)로의 이sov미즘을 유도한다. 이는 HH²(A)와 이sov미즈다.
• A' = P[z][[t₁,…,tₛ]] / (∑[a,a*] = μz + ∑tᵢwᵢ)로 정의된 부분변형 A'는 A의 보편 변형이다.
• HH²(A)가 모든 형식적 변형을 분류하며, E'과의 이sov미즘으로 인해 보편성이 보장되므로 A의 변형 이론은 차단되지 않았다.