[논문 리뷰] Hochschild and cyclic (co)homology of preprojective algebras of quivers of type T

Ching-Hwa Eu|ArXiv.org|2007. 10. 23.

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

한 줄 요약

이 논문은 특성 0인 체 위의 T형 퀼러(quiver)에 대한 전프로젝티브 대수의 호크시ลด 및 순환(co)호모로지(호모로지)를 6주기의 주기적 프로젝티브 해상으로 계산한다. 호크시ลด 코호모로지 링이 명시적인 기저에 의해 생성되며, 주기성까지의 총 스타일 곱을 계산함으로써 바탈린-빌코비츠 구조와 고유한 나카야마 자기동형사상(항등사상임을 확인)을 규명하여 ADE 사례와 구별한다.

ABSTRACT

We calculate the additive and multiplicative structure (together with the grading) of the Hochschild homology and cohomology and the cyclic homology of preprojective algebras of types T. We also compute the calculus structure which is formed by the Hochschild homology/cohomology pair.

연구 동기 및 목표

• T형 퀄러의 전프로젝티브 대수의 호크시ลด 호모로지 및 코호모로지 공간을 계산한다.
• 스타일 곱을 통한 호크시ลด 코호모로지 링의 전체 링 구조를 규명한다.
• 호크시ลด(co)호모로지 위의 계산 구조(특히 바탈린-빌코비츠 연산자 포함)를 분석한다.
• 나카야마 자기동형사상이 T형 사례에서 어떻게 작용하는지 명확히 하며, ADE 사례와는 달리 항등사상임을 보여준다.
• 이전 연구에서 T형 전프로젝티브 대수의 스타일 곱 계산에 오류가 있었음을 수정한다.

제안 방법

• 전프로젝티브 대수 A에 대해 6주기의 주기적 프로젝티브 해상을 구성함으로써, 주기성에 기반한 호크시ลด(co)호모로지 계산이 가능하도록 한다.
• 등식 $ HH^i(A) \cong \underline{\mathrm{Hom}}(\Omega^i A, A) $ 를 사용하여 코호모로지 클래스를 이중모듈러 사상으로 식별한다.
• 캘라비-야우 프로젝티브 프로퍼티를 가진 A의 프로퍼티를 활용해 콘네 정 exact 시퀀스와 쌍대성 정리들을 적용하여 호모로지 및 코호모로지 계산을 수행한다.
• 6주기 해상과 그린 커뮤티티비티를 활용하여 $ 0 \leq i \leq j \leq 5 $ 인 모든 스타일 곱 $ HH^i(A) \times HH^j(A) \to HH^{i+j}(A) $ 를 계산한다.
• 계산 구조에 의해 유도된 리 미분 $ \mathcal{L} $ 를 통해 바탈린-빌코비츠 구조를 유도한다.
• 콘네 미분, 제르스텐하버 괄호, 수축 사상의 명시적 공식을 사용하여 계산 구조의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 T형 퀄러 전프로젝티브 대수에 대해 호크시ลด 코호모로지 링 $ HH^*(A) $ 의 구조는 어떠한가?
• RQ2 T형 사례에서의 나카야마 자기동형사상은 ADE 사례와 어떻게 다를까? 그 의미는 무엇인가?
• RQ3 전프로젝티브 대수 A의 프로젝티브 해상의 주기성과 구조는 무엇인가?
• RQ4 HH^*(A) 의 스타일 곱은 어떻게 계산되며, 그 대수적 구조는 어떠한가?
• RQ5 HH^*(A) 에서 바탈린-빌코비츠 구조는 무엇이며, 계산 구조에서 어떻게 도출되는가?

주요 결과

• 호크시ลด 코호모로지 링 $ HH^*(A) $ 는 0에서 5까지의 차수에서 명시적인 기저에 의해 생성되며, 주기성까지의 모든 스타일 곱이 계산되었다.
• A의 프로젝티브 해상은 주기 6을 가지며, ADE 사례와는 다른 A-이중모듈러를 포함한다.
• A의 나카야마 자기동형사상은 항등사상이며, ADE 사례에서의 순서 2 자기동형사상과 대조된다.
• HH^*(A) 의 스타일 곱은 $ i,j \leq 5 $ 에 대해 완전히 규명되었으며, 나머지 곱은 주기성과 그린 커뮤티티비티에 의해 유도된다.
• 바탈린-빌코비츠 연산자는 리 미분 $ \mathcal{L} $ 를 통해 계산되었으며, $ (HH^*(A), HH_*(A)) $ 위의 계산 구조는 명시적으로 서술되었다.
• 논문 [ES2] 에서 T형 전프로젝티브 대수의 $ HH^2(A) \cup HH^2(A) $ 곱에 대한 오류를 수정하였으며, 정확한 행렬은 특정 경계 조건을 가진 삼중대각행렬의 역행렬임을 보였다.