[논문 리뷰] PBW-deformations and deformations \\`a la Gerstenhaber of N-Koszul algebras

Estanislao Herscovich, Andréa Solotar외 1명|arXiv (Cornell University)|2011. 05. 01.

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

한 줄 요약

이 논문은 $\mathrm{Tor}^A_3(k,k)$가 차수 $N+1$에 농축되어 있을 조건 하에서, N- Koszul 대수의 PBW-변형과 Gerstenhaber 유형의 차수화된 변형 사이에 명시적이고 코homology에 기반한 동치를 확립한다. 약한 PBW-변형의 범주와 차수화된 변형의 범주 사이에 명시적이고 서로 역인 함자를 구성함으로써, Berger와 Ginzburg(2006)의 결과를 복원하고 명확화하며, Fløystad와 Vatne의 이전 증명에서의 결함을 수정한다.

ABSTRACT

In this article we establish an explicit link between the classical theory of deformations \\`a la Gerstenhaber -- and a fortiori with the Hochschild cohomology-- and (weak) PBW-deformations of homogeneous algebras. Our point of view is of cohomological nature. As a consequence, we recover a theorem by R. Berger and V. Ginzburg, which gives a precise condition for a filtered algebra to satisfy the so-called PBW property, under certain assumptions.

연구 동기 및 목표

• N-Koszul 대수에 대해 PBW-변형과 Gerstenhaber의 방식으로 정의된 전통적인 차수화된 변형 사이에 직접적이고 코homology에 기반한 명시적 연결을 확립하는 것.
• 약한 PBW-변형과 차수화된 변형 사이의 동치에 대한 모호함을 제거하기 위해 명시적이고 서로 역인 구성 방법을 제공하는 것.
• Berger와 Ginzburg(2006)의 정리 1.2와 정리 3.4를 복원하고 명확화하는 것. 이는 토퍼션 조건 하에서 약한 PBW-변형이 PBW-변형과 일치한다는 것을 나타낸다.
• Fløystad와 Vatne(2006)의 정리 1.1 증명에서의 결함을 수정하는 것. 특히 $\gamma \circ \sigma$가 0이 된다는 잘못된 가정을 수정하는 것.
• 필터링된 대수에서 차수화된 변형의 변형된 곱을 복잡한 계산이 있어도 명시적으로 구할 수 있도록 공식을 제공하는 것.

제안 방법

• 필터링된 대수의 Rees 대수 구성법을 사용하여, $A_t$의 차수화된 변형에서 $U = A_t / \langle t-1 \rangle$를 통해 약한 PBW-변형으로 가는 함자를 구성한다.
• 약한 PBW-변형 $U$에서 Rees 대수 $R(U)$를 통해 차수화된 변형으로 가는 함자를 구성함으로써, 준역함수적 상호관계를 확립한다.
• Hochschild 코hom올로지와 대수 $A$의 Koszul 유사 해상 분해를 사용하여 비교 사상 $\bar{\tau}_1$, $\bar{\tau}_2$와 호모토피 $s_1$, $s_2$를 정의한다.
• 단서 조건 $\mathrm{Tor}^A_3(k,k)$가 차수 $N+1$에 농축되어 있음을 이용하여 구성의 호환성과 가역성을 보장한다.
• 단항식에 대한 귀납적 추론을 통해 필터링 사상 $\varphi_i$에 대한 변형된 곱 $\psi_l$의 명시적 공식을 유도한다.
• bar 해상과 Koszul 해상 사이의 비교 사상 $\bar{\tau}_\bullet$를 적용하여 코체인 수준의 변형을 구성할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 N-Koszul 대수의 약한 PBW-변형이 전체 PBW-변형과 일치하는 조건은 무엇인가?
• RQ2 Gerstenhaber의 방식으로 정의된 차수화된 변형의 범주와 약한 PBW-변형의 범주 사이에 명시적이고 코homology에 기반한 동치를 구성할 수 있는가?
• RQ3 필터링된 대수에서 PBW 성질을 만족하는 경우, 차수화된 변형의 변형된 곱을 어떻게 명시적으로 재구성할 수 있는가?
• RQ4 차수 $N+1$ 외의 위치에서 $\mathrm{Tor}^A_3(k,k)$의 영함수성은 변형이론 간의 동치를 보장하는 데 어떤 정확한 역할을 하는가?
• RQ5 Fløystad와 Vatne(2006)의 정리 1.1 증명에서 오류는 어디에서 발생하며, 이를 코homological 기법을 사용해 어떻게 수정할 수 있는가?

주요 결과

• 함자 $\mathrm{pg}: A_t \mapsto A_t / \langle t-1 \rangle$와 $\mathrm{gp}: U \mapsto R(U)$의 구성은 상호 역이 되며, 등가 관계를 통해 범주적 동치를 확립한다.
• 조건 $\mathrm{Tor}^A_3(k,k)$가 차수 $N+1$에 농축되어 있을 경우, 명시적 약한 PBW-변형과 차수화된 변형의 구성은 일반적인 Rees 대수와 섬세한 구성과 일치한다.
• 논문은 Berger와 Ginzburg(2006)의 정리 1.2와 정리 3.4를 복원하며, 이는 토퍼션 조건 하에서 약한 PBW-변형이 PBW-변형과 동치임을 나타낸다.
• 웨일 대수의 예에서는 변형된 곱 $\psi_l$이 짝수인 $l=2i$일 때만 비영이 되며, 계수로 이항계수를 포함한다: $\psi_l = i! \binom{m_1}{i} \binom{n_2}{i} y^{n_1+n_2-i} x^{m_1+m_2-i}$.
• 대수 $A = k\langle x \rangle / \langle x^N \rangle$의 경우, 변형된 곱은 $m_1 + m_2 \geq N$이면 $\psi_l(x^{m_1}, x^{m_2}) = a_{N-l} x^{m_1+m_2-l}$이고, 그렇지 않으면 0이다.
• 논문은 Fløystad와 Vatne(2006)의 오류를 특정하고 수정하며, Koszul 해상과 bar 해상 간의 호환성 부족으로 인해 $\gamma \circ \sigma$가 반드시 0이 되지 않음을 보여준다.