[논문 리뷰] The calculus structure of the Hochschild homology/cohomology of preprojective algebras of Dynkin quivers

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

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

한 줄 요약

이 논문은 특성 0인 체 위의 다인 퀼러의 전프로젝티브 대수의 호모로지 및 코호모로지에 대해 게르스텐하버 괄호, 콘네스 미분, 리 도함수를 포함하는 전체 계산 구조를 계산한다. 바탈린-빌코비츠 구조를 이용해 카르탕 항등식을 통해 계산을 유도함으로써, 바탈린-빌코비츠 대수로서의 호흐실트 코호모로지 링의 완전한 묘사와 호모로지 및 코호모로지 기저에 대한 도함수의 작용을 완전히 규명한다.

ABSTRACT

The Hochschild homology/cohomology an associative algebra, together with the Connes differential, the contraction map and the Lie derivative, forms the structure of calculus. In this paper we compute explicitely the calculus structure of preprojective algebras of Dynkin quivers over a field of characteristic zero. This also completes the work in math.AG/0502301, where the Batalin-Vilkovisky structure of the Hochschild cohomology of preprojective algebras of non-Dynkin quivers are computed and the calculus can be easily computed from that.

연구 동기 및 목표

• 다인 퀼러의 전프로젝티브 대수의 호흐실트 호모로지 및 코호모로지에 대한 전체 계산 구조를 완전히 규명하는 것.
• 이전의 바탈린-빌코비츠 대수에 대한 결과를 확장하여 모든 퀼러에 대해 계산 구조를 완성하는 것.
• 카르탕 항등식을 통해 호흐실트 호모로지에 대한 콘네스 미분을 계산함으로써 게르스텐하버 괄호 및 수축 사상의 유도를 가능하게 하는 것.
• 바탈린-빌코비츠 연산자와 쌍대성을 이용하여 코호모로지 및 호모로지 기저에 대한 리 도함수 작용을 명시적으로 계산하는 것.
• 기존의 힐버트 급수와 쌍대성 정리에 기반하여 기저에 의존하는 완전한 계산 구조 묘사 제공

제안 방법

• 호흐실트 코호모로지에 존재하는 바탈린-빌코비츠(BV) 구조를 이용해 카르탕 항등식을 통해 게르스텐하버 괄호 및 수축 사상을 도출한다.
• 카르탕 항등식을 적용하여 호흐실트 호모로지에 대한 콘네스 미분을 계산함으로써 BV 연산자를 유도한다.
• [EE2], [ES2], [Eu2]에서 알려진 호흐실트 호모로지 및 코호모로지 공간 간의 동형사상을 활용하여 기저를 정의한다.
• 수식 $ \mathcal{L}_X = [d, \iota_X] $ 를 사용하여 리 도함수를 계산하며, 여기서 $ d $ 는 콘네스 미분이고 $ \iota_X $ 는 수축이다.
• 전프로젝티브 대수의 등급 및 쌍대성 구조를 활용하여 생성자 $ \theta_{l,t}, \omega_{l,t}, \psi_{l,t}, \varepsilon_{l,t}, \zeta_{l,t}, h_{l,t}, f_{l,t} $ 에 대한 작용을 계산한다.
• 명시적인 공식을 통해 BV 연산자 $ B $ 가 호모로지 및 코호모로지 생성자에 작용하는 방식과 $ \iota_{\theta_0} $ 에서의 역상 작용을 계산한다.

실험 결과

연구 질문

• RQ1 다인 퀄러의 전프로젝티브 대수의 호흐실트 코호모로지에 존재하는 바탈린-빌코비츠 구조가 전체 계산 구조를 어떻게 결정하는가?
• RQ2 기존의 기저 원소들에 대해 호흐실트 호모로지에 대한 콘네스 미분의 명시적 작용은 무엇인가?
• RQ3 호흐실트 코호모로지에 속한 $ X $ 에 대해 리 도함수 $ \mathcal{L}_X $ 가 코호모로지 및 호모로지 기저에 어떻게 작용하는가?
• RQ4 이 설정에서 BV 연산자, 게르스텐하버 괄호, 수축 사상 간의 정확한 관계는 무엇인가?
• RQ5 전프로젝티브 대수의 등급 및 쌍대성 구조가 계산 연산에 어떻게 영향을 미치는가?

주요 결과

• 콘네스 미분은 카르탕 항등식을 통해 호흐실트 호모로지에 대해 계산되었으며, 이는 코호모로지 링에 바탈린-빌코비츠 구조를 유도한다.
• 리 도함수 $ \mathcal{L}_{\psi_{k}^{(s)}} $ 는 오직 $ k = h-3 $ 인 경우에만 비자명하게 작용하며, $ \alpha(f_{\frac{h-3}{2},t-s-1}) $ 와 $ (t-s)hf_{\frac{h-3}{2},t-s-1} $ 를 포함하는 명시적 공식이 존재한다.
• $ \mathcal{L}_{z_k^{(s)}} $ 의 $ \theta_{l,t} $ 와 $ \psi_{l,t} $ 에 대한 작용은 $ \left(\frac{k}{2} - sh\right) $ 에 비례하며, $ \iota_{\theta_0} $ 에서의 역상이 존재하지만, $ z_{l,t}, \varepsilon_{l,t}, \zeta_{l,t}, f_{l,t} $ 에는 작용이 없다.
• $ \mathcal{L}_{\omega_k^{(s)}} $ 의 경우 비자명한 작용은 오직 $ \varepsilon_{l,t} $ 과 $ z_{l,t} $ 에서만 발생하며, 결과는 각각 $ \delta_{kl}((t-s+1)h - 1)\zeta_{0,t-s} $ 와 $ \delta_{l0}(\frac{1}{2} + t - s)h\beta^{-1}(\omega_{k,t-s}) $ 이다.
• $ \mathcal{L}_{\omega_k^{(s)}} $ 가 $ \theta_{l,t} $ 에 작용할 경우 $ \delta_{l0}(1 + th)\omega_{k,t-s} $ 를 얻으며, 이는 $ \theta $-기저와의 비자명한 상호작용를 보여준다.
• 모든 리 도함수 작용은 기저 원소들에 대해 완전히 규명되었으며, 코x터 수 $ h $, 등급 $ t $, 이동량 $ s $ 에 대한 명시적 의존성을 포함한다.