[논문 리뷰] The first Hochschild (co)homology when adding arrows to a bound quiver algebra

Claude Cibils, Marcelo Lanzilotta외 3명|arXiv (Cornell University)|2019. 01. 01.

Algebraic structures and combinatorial models참고 문헌 31인용 수 1

한 줄 요약

이 논문은 유한 차원의 경계가 있는 화살표 대수에 새로운 화살표를 추가할 때 첫 번째 호크실 코homology 차원의 변화에 대한 공식을 수립한다. 이는 상대 코homology와 절대 코homology를 연결하는 짧은 정확한 수열을 사용하여 유도된다. 또한 새로운 화살표 추가 시 상대 사이클이 생성되지 않으면 첫 번째 호크실 호모로지가 변화하지 않음을 증명하며, 이는 화살표 대수의 변형 이론과 표현 이론에 대한 정확한 대수적 불변량을 제공한다.

ABSTRACT

We provide a formula for the change of the dimension of the first Hoch\\-schild cohomology vector space of bound quiver algebras when adding new arrows. For this purpose we show that there exists a short exact sequence which relates the first cohomology vector spaces of the algebras to the first relative cohomology. Moreover, we show that the first Hochschild homologies are isomorphic when adding new arrows.

연구 동기 및 목표

• 경계가 있는 화살표 대수에 새로운 화살표를 추가할 때 첫 번째 호크실 코호모로지 공간의 차원이 어떻게 변화하는지 규명하는 것.
• 원래 대수와 확장된 대수의 첫 번째 호크실 코호모로지 사이를 상대 코호모로지를 통해 연결하는 짧은 정확한 수열을 수립하는 것.
• 새로운 화살표를 추가할 때 상대 사이클이 생성되지 않으면 첫 번째 호크실 호모로지가 유지됨을 증명하는 것.
• 유한 차원 체 위의 대수에 적용 가능한, 화살표 추가 시 HH¹의 차원 변화에 대한 구체적인 공식을 제공하는 것.

제안 방법

• 확장된 대수 BF와 원래 대수 B의 첫 번째 호크실 코호모로지 사이를 상대 코호모로지 H¹(BF|B, ·)를 통해 연결하는 짧은 정확한 수열을 구성하는 것.
• BF가 새로운 화살표에 대응하는 B-쌍가군 N을 갖는 B 위의 텐서 대수이므로, 길이 1의 상대 프로젝티브 분해가 가능하다는 사실을 이용하는 것.
• 호크실과 케이건의 자코비-자르스키 장정확한 수열을 활용하여, 차수 1에서의 짧은 정확한 수열을 검증하는 것.
• 정리 4.8에서 얻어진 분해를 사용하여 차원을 계산하며, 이는 텐서 대수 T = TB(N) = BF의 프로젝티브 분해를 제공한다.
• 표준적인 식별과 이중가군 호모로지 계산을 통해 H¹(BF|B, BF)와 H¹(B, BF)의 차원 공식을 유도하는 것.
• 짧은 정확한 수열을 쌍대화하여 호크실 호모로지 분석을 수행하며, 상대 사이클이 존재하지 않으면 H¹(BF|B, Y) = 0 임을 보이는 것.

실험 결과

연구 질문

• RQ1 상대 사이클을 생성하지 않도록 경계가 있는 화살표 대수에 새로운 화살표를 추가할 때 첫 번째 호크실 코호모로지 공간의 차원은 어떻게 변화하는가?
• RQ2 원래 대수의 첫 번째 호크실 코호모로지와 화살표 추가 후 확장된 대수의 첫 번째 호크실 코호모로지 사이의 정확한 대수적 관계는 무엇인가?
• RQ3 첫 번째 호크실 호모로지가 새로운 화살표 추가 시에 유지되는가? 어떤 조건에서 그러한 유지가 이루어지는가?
• RQ4 HH¹의 변화를 상대 경로와 이중가군 준동형의 공식으로 표현할 수 있는가?

주요 결과

• 차원 변화량 ∆ = dimkHH¹(BF) − dimkHH¹(B) 는 길이 ≥1인 상대 경로의 수와 원래 화살표의 경로 공간 차원을 포함한 공식으로 주어진다.
• 새로운 화살표로 인해 상대 사이클이 생성되지 않으면, 확장된 대수 BF의 첫 번째 호크실 코호모로지가 원래 대수 B의 첫 번째 호크실 코호모로지와 동형임을 보여준다.
• 상대 사이클이 존재하지 않으면, 유한 차원인 BF에 대해 첫 번째 호크실 호모로지 공간이 유지된다: HH¹(BF) ≅ HH¹(B).
• 상대 코호모로지 H¹(BF|B, BF)가 영이 되는 것과 상대 사이클이 존재하지 않는 것은 동치이며, 이는 호모로지 불변성의 핵심 조건이다.
• dimkHH¹(BF)의 공식은 HomB−B(N, BF) 사이의 사상의 코어널에서 유도되며, 상대 경로 클래스에 대한 명시적 차원 계산이 포함되어 있다.
• 본 공식의 부산물로, 사이클이 없는 화살표 Q에 대해 dimkHH¹(kQ)의 새로운 계산이 제공된다.