[논문 리뷰] The derived non-commutative Poisson bracket on Koszul Calabi-Yau algebras

Xiaojun Chen, Alimjon Eshmatov외 2명|arXiv (Cornell University)|2015. 04. 11.

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

한 줄 요약

이 논문은 코즐 및 N-코즐 칼라비-야우 대수에서 유도된 비가환 푸아송 구조를 수립하여, 이가 순환 호모로지 위에 그룹화된 리 대수 구조와 하이치피아드 호모로지 위에 리 모듈러 구조를 유도함을 보여준다. 콘네스 장길렬열이 리 모듈러의 열임을 밝히고, 리브니츠-루다 브라켓이 코즐 쌍대 대수의 하이치피아드 코호모로지 위의 게르스텐하버 브라켓으로 자연스럽게 매핑됨을 보여, 비가환 푸아송 기하학과 호모로지 대수학 사이에 깊은 연결 고리를 제공한다.

ABSTRACT

Let $A$ be a Koszul (or more generally, $N$-Koszul) Calabi-Yau algebra. Inspired by the works of Kontsevich, Ginzburg and Van den Bergh, we show that there is a derived non-commutative Poisson structure on $A$, which induces a graded Lie algebra structure on the cyclic homology of $A$; moreover, we show that the Hochschild homology of $A$ is a Lie module over the cyclic homology and the Connes long exact sequence is in fact a sequence of Lie modules. Finally, we show that the Leibniz-Loday bracket associated to the derived non-commutative Poisson structure on $A$ is naturally mapped to the Gerstenhaber bracket on the Hochschild cohomology of its Koszul dual algebra and hence on that of $A$ itself. Relations with some other brackets in literature are also discussed and several examples are given in detail.

연구 동기 및 목표

• 코즐 및 N-코즐 칼라비-야우 대수에 대해 유도된 비가환 푸아송 구조의 개념을 확장한다.
• 유도된 비가환 푸아송 구조가 이러한 대수의 순환 호모로지 위에 그룹화된 리 대수 구조를 유도함을 보인다.
• 하이치피아드 호모로지가 순환 호모로지 위의 리 모듈러임을 수립하고, 콘네스 장길렬열이 리 모듈러의 열임을 밝힌다.
• 유도된 푸아송 구조 위의 리브니츠-루다 브라켓이 코즐 쌍대 대수의 하이치피아드 코호모로지 위의 게르스텐하버 브라켓으로 자연스럽게 매핑됨을 보인다.
• 다항식 대수를 포함한 명시적 예제를 제시하고, 문헌에 있는 다른 브라켓들과의 관계를 명확히 한다.

제안 방법

• 저자들은 순환 코알제브라의 코바르 구성법을 사용하여 대수의 코프리멘트 해상도를 확보함으로써, 유도된 비가환 푸아송 구조의 정의를 가능하게 한다.
• 그들은 순환 호모로지에서 파생된 표현 스킴의 호모로지로 가는 유도된 트레이스 사상 정의를 통해 리 구조를 유지한다.
• 이 구성은 바이모듈러의 1형식과 미분형식 사이의 동형, 바이어티-오퍼레이터와 부피형식을 통해 이루어진다.
• 게르스텐하버 브라켓이 코즐 쌍대 대수에서 유도된 트레이스 사상 아래서 리브니츠-루다 브라켓의 상과 동형임을 보였다.
• 논문은 부피형식을 통한 다항형식과 미분형식 사이의 동형을 사용하여, 순환 호모로지 위의 리 브라켓을 수축과 외부 미분을 통해 표현한다.
• 다항식 대수의 경우 부피형식과 하우지 스타 동형을 사용하여, 형식과 다항벡터장 사이의 관계를 유도한 명시적 계산을 수행한다.

실험 결과

연구 질문

• RQ1 코즐 칼라비-야우 대수에서 유도된 비가환 푸아송 구조는 어떻게 정의될 수 있으며, 그 호모로지적 성질은 무엇인가?
• RQ2 유도된 비가환 푸아송 구조는 대수의 순환 호모로지 위에 그룹화된 리 대수 구조를 유도하는가?
• RQ3 코즐 칼라비-야우 대수의 하이치피아드 호모로지는 그 순환 호모로지 위의 리 모듈러인가? 이는 콘네스 장길렬열과 어떻게 관련이 있는가?
• RQ4 유도된 푸아송 구조 위의 리브니츠-루다 브라켓은 코즐 쌍대 대수의 하이치피아드 코호모로지 위의 게르스텐하버 브라켓과 어떻게 관련이 있는가?
• RQ5 다항식 대수에서 순환 호모로지 위의 리 브라켓의 명시적 형태는 무엇이며, 이는 미분형식과 수축과 어떻게 관련이 있는가?

주요 결과

• 코즐 칼라비-야우 대수에서 유도된 비가환 푸아송 구조는 그 순환 호모로지 위에 그룹화된 리 대수 구조를 유도한다.
• 이 대수의 하이치피아드 호모로지는 순환 호모로지 위의 리 모듈러이며, 콘네스 장길렬열은 리 모듈러의 열이다.
• 유도된 푸아송 구조 위의 리브니츠-루다 브라켓은 코즐 쌍대 대수의 하이치피아드 코호모로지 위의 게르스텐하버 브라켓으로 자연스럽게 매핑된다.
• 다항식 대수 $\mathrm{Sym}(V)$의 경우, 순환 호모로지 위의 리 브라켓은 $\{\alpha,\beta\} = (-1)^{(m-|\alpha|-1)(m-|\beta|)} \iota_{\eta} d\alpha$ 로 주어지며, 여기서 $\eta = \Psi^{-1}(d\beta)$ 이다.
• 순환 호모로지 위의 브라켓은 야코비 항등식을 만족하지 않아 $\mathrm{HH}_\bullet(A)$ 위에 리 대수를 정의하지 못하지만, 오직 리 모듈러 구조만을 정의한다.
• 다항식 대수의 경우, 순환 쌍대 코알제브라가 유일한 차수 $-m$의 순환 형식을 가지며, 이는 최고차수 단항식에서의 값에 의해 결정된다.