[논문 리뷰] First Hochschild cohomology group and stable equivalence classification of Morita type of some tame symmetric algebras

Rachel Taillefer|arXiv (Cornell University)|2017. 06. 29.

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

한 줄 요약

이 논문은 첫 번째 호크실 코hom로지 군의 리 대수 구조와 차원을 이용하여, 모리타 유형에 대한 안정 동치에 대해 이방형, 반이방형, 이면형 유형의 타입을 구분한다. 코호몰로지 리 대수의 칼링 형식과 하향 중심 급수를 분석함으로써, 이방형 유형의 대수에 대한 분류를 완성하고, 이면형 및 반이방형 유형의 분류를 개선하며, 곱 $cd \neq 0$ 또는 특정 구조 조건이 성립할 경우 일부 대수가 안정 동치가 아님을 보여준다.

ABSTRACT

We use the dimension and the Lie algebra structure of the first Hochschild cohomology group to distinguish some algebras of dihedral, semi-dihedral and quaternion type up to stable equivalence of Morita type. In particular, we complete the classification of algebras of dihedral type that was mostly determined by Zhou and Zimmermann.

연구 동기 및 목표

• 모리타 유형에 대한 안정 동치에 대해 이방형 유형의 대수에 대한 분류를 완성한다.
• 호크실 코호몰로지에서 유도된 불변량을 사용하여 반이방형 및 이면형 유형의 대수에 대한 분류를 개선한다.
• 기존의 불변량인 쿨슈라머 불변량 또는 안정 호크실 코호몰로지로는 구분되지 않았던 대수들을 구별한다.
• 모리타 유형에 대한 안정 동치 하에서 $\mathrm{HH}^1(A)$의 리 대수 구조가 강력한 불변량임을 보여준다.
• 칼링 형식과 $\mathrm{HH}^1(A)$의 하향 중심 급수를 분석하여, 이방형, 반이방형, 이면형 유형 대수 분류의 열린 사례를 해결한다.

제안 방법

• 유도자와 관계로 정의된 유한 차원 대수에 대해 최소 프로젝티브 분해를 위한 맞춤형 알고리즘을 사용하여 첫 번째 호크실 코호몰로지 군 $\mathrm{HH}^1(A)$를 계산한다.
• 모노미얼 대수에 대해 스트라메츠의 리 대수 구조 기술을 적용하여, 리 괄호 관계를 명시적으로 계산한다.
• 리 대수 $\mathrm{HH}^1(A)$의 칼링 형식을 불변량으로 사용한다. 이 형식의 질량은 리 대수의 동형사상 하에서 유지되며, 따라서 모리타 유형에 대한 안정 동치 하에서도 유지된다.
• 동형인 코호몰로지 차원을 가진 대수들을 구별하기 위해 하향 중심 급수 $\mathcal{L}^1(\mathrm{HH}^1(A))$와 $\mathcal{L}^2(\mathrm{HH}^1(A))$를 분석한다.
• 기저 변환과 동형사상 불변량을 사용하여 서로 다른 매개변수 $c, d$를 가진 대수들을 비교한다. 특히 $cd \neq 0$일 경우에 중점을 둔다.
• König, Le, 및 Zhou에 의해 확립된 사실에 기반하여, $\mathrm{HH}^1(A)$와 그 리 대수 구조가 모리타 유형에 대한 안정 동치 하에서 유지됨을 이용한다.

실험 결과

연구 질문

• RQ1 모든 $cd \neq 0$ 조건을 만족할 때, 대수 $Q(1\mathcal{A})_{2}^{k}(0,d)$와 $Q(1\mathcal{A})_{2}^{k}(c,d)$는 모리타 유형에 대한 안정 동치가 가능한가?
• RQ2 이전에 쿨슈라머 불변량이나 안정 호크실 코호몰로지로는 분별되지 않았던, 두 개의 단순 모듈을 가진 이면형 유형 대수들을 리 대수 구조 $\mathrm{HH}^1(A)$가 어떻게 분별할 수 있는가?
• RQ3 모든 $d, d' \neq 0$ 조건을 만족하고 $d \neq d'$일 때, 대수 $Q(1\mathcal{A})_{2}^{k}(0,d)$와 $Q(1\mathcal{A})_{2}^{k}(0,d')$는 안정 동치가 가능한가?
• RQ4 $\mathrm{HH}^1(A)$의 하향 중심 급수는 차원이나 칼링 형식만으로는 부족한 더 세밀한 불변량을 제공하는가?
• RQ5 리 대수 구조는 이방형, 반이방형, 이면형 유형 대수 분류의 나머지 열린 사례를 해결할 수 있는가?

주요 결과

• 모든 $k \geq 2$ 및 $cd \neq 0$ 조건을 만족할 때, 대수 $Q(1\mathcal{A})_{1}^{k}$, $Q(1\mathcal{A})_{2}^{k}(0,d)$, $Q(1\mathcal{A})_{2}^{k}(c,d)$는 모리타 유형에 대한 안정 동치가 아니다.
• 대수 $Q(1\mathcal{A})_{2}^{k}(c,d)$의 칼링 형식은 $cd \neq 0$일 때 질량이 2이며, $cd = 0$일 때는 질량이 0이 되어 구별 불변량이 된다.
• 모든 $k$가 홀수이고 $cd = 0$일 때, $\mathcal{L}^1(\mathrm{HH}^1(A))$의 차원은 $\frac{k+3}{2}$이며, $k$가 짝수이고 $cd = 0$일 때는 $\frac{k}{2} + 2$이다. 이는 $\mathcal{L}^2$에서의 추가적인 구별 조건을 제공한다.
• 모든 $k$가 홀수이고 $c = 0$, $d \neq 0$일 때, $\mathcal{L}^2(\mathrm{HH}^1(A))$의 차원은 $\frac{k-3}{2} + \delta_{k,3}$이며, $c = d = 0$일 때는 $\frac{k-5}{2} + \delta_{k,3}$이다.
• $\mathrm{HH}^1(Q(1\mathcal{A})_{2}^{k}(0,d))$와 $\mathrm{HH}^1(Q(1\mathcal{A})_{2}^{k}(0,d'))$는 $d, d' \neq 0$일 때 서로 동형이지만, 이는 모리타 유형에 대한 안정 동치를 의미하지는 않는다.
• 이방형 유형 대수의 분류는 이제 완료되었으며, 이면형 및 반이방형 유형 대수의 분류는 $\mathrm{HH}^1(A)$의 리 대수 구조를 통해 향상되었다.