[논문 리뷰] Support varieties and the Hochschild cohomology ring modulo nilpotence

Nicole Snashall|ArXiv.org|2008. 11. 27.

Algebraic structures and combinatorial models참고 문헌 41인용 수 26

한 줄 요약

이 논문은 유한차원 대수에 대해 호크실드 코homology 링의 영탄소 제거된 몫 링의 구조를 조사하며, 지지 다양체와 유한 생성성에 초점을 맞춘다. 이는 이 몫 링이 항상 유한 생성되리라는 추측에 대한 반례를 제시하며, 특성 2인 체 위의 특정 코즐 유형 대수에 대해 영탄소 제거된 링이 대수로서 유한 생성되지 않음을 보여준다.

ABSTRACT

This is a survey paper based on my talks at the 41st Symposium on Ring Theory and Representation Theory, held in Shizuoka University, Japan in September 2008, and will appear in the conference proceedings. The paper begins with a brief introduction to the use of Hochschild cohomology in developing the theory of support varieties for a module over an artin algebra, by Snashall and Solberg (Proc. London Math. Soc.(3) 88 (2004), 705-732). The paper then describes the current status of research concerning the structure of the Hochschild cohomology ring modulo nilpotence.

연구 동기 및 목표

• 유한차원 대수에 대해 호크실드 코homology 링의 영탄소 제거된 몫 링의 유한 생성성을 조사한다.
• 호크실드 코homology를 활용하여 표현 이론에서 지지 다양체의 역할을 검토한다.
• 특히 코즐 대수를 포함한 특정 유형의 대수에서 호크실드 코homology 링의 영탄소 제거된 몫 링의 구조를 분석한다.
• 이 몫 링이 항상 유한 생성되리라는 추측의 타당성을 평가한다.
• 호크실드 코homology 링의 영탄소 제거된 몫 링이 유한 생성되도록 하는 필수 및 필요 조건을 규명한다.

제안 방법

• velopping 대수 $\Lambda^e = \Lambda^{\mathrm{op}} \otimes_K \Lambda$ 위에서 Ext 군과 Yoneda 곱을 통해 호크실드 코homology를 활용한다.
• 바 해상법(bar resolution)을 적용하여 저차수 코homology 군을 계산한다: $\mathrm{HH}^0(\Lambda) = Z(\Lambda)$, $\mathrm{HH}^1(\Lambda)$ 는 내부 도수를 제외한 도수의 몫이며, $\mathrm{HH}^2(\Lambda)$ 는 무한소 변형을 나타낸다.
• 영탄소 원소들의 동차 생성 이상 $\mathcal{N}$ 에 의해 생성되는 몫 링 $\mathrm{HH}^*(\Lambda)/\mathcal{N}$ 을 연구한다.
• 코즐 듀얼리티를 활용하여 $\mathrm{HH}^*(\Lambda)/\mathcal{N}$ 을 코즐 듀얼 대수 $E(\Lambda)$ 의 등급 중심과 연결한다.
• 구성도 $\mathcal{A}$ 를 분석하며, 화살표 관계 $ab + ba = 0$, $bc = 0$ 을 가진다. 특성 2와 특성이 2가 아닌 경우에 대해 $\mathrm{HH}^*(\mathcal{A})/\mathcal{N}$ 을 명시적으로 계산한다.
• 등급 중심의 영탄소 제거된 몫 링과의 등장관계 $\mathrm{HH}^*(\mathcal{A})/\mathcal{N} \cong Z_{\mathrm{gr}}(E(\mathcal{A}))/\mathcal{N}_Z$ 를 이용하여 몫 링의 구조를 규명한다.

실험 결과

연구 질문

• RQ1 유한차원 대수에 대해 호크실드 코homology 링의 영탄소 제거된 몫 링이 항상 대수로서 유한 생성되는가?
• RQ2 $\mathrm{HH}^*(\Lambda)/\mathcal{N}$ 의 구조는 표현 이론에서 지지 다양체와 어떻게 관련이 있는가?
• RQ3 특히 양의 특성에서, 코즐 대수에 대해 $\mathrm{HH}^*(\Lambda)/\mathcal{N}$ 의 정확한 구조는 무엇인가?
• RQ4 유한 생성 추측에 대한 반례는 일반화되거나 특성화될 수 있는가?
• RQ5 $\mathrm{HH}^*(\Lambda)/\mathcal{N}$ 이 유한 생성되도록 하는 조건은 무엇인가?

주요 결과

• 특성 2인 체에서, 4.1 예제의 대수 $\mathcal{A}$ 에 대해 호크실드 코homology 링의 영탄소 제거된 몫 링 $\mathrm{HH}^*(\mathcal{A})/\mathcal{N}$ 은 대수로서 유한 생성되지 않는다.
• 특성 $K = 2$ 일 때, $\mathrm{HH}^*(\mathcal{A})/\mathcal{N} \cong K \oplus K[a,b]b$ 이며, 여기서 $b$ 는 차수 1, $ab$ 는 차수 2에 위치하며, 이 링은 유한 생성되지 않는다.
• 특성 $K \neq 2$ 일 때, $\mathrm{HH}^*(\mathcal{A})/\mathcal{N} \cong K \oplus K[a^2, b^2]b^2$ 이며, 이 역시 대수로서 유한 생성되지 않는다.
• 반례는 정점 1,2와 화살표 $a,b,c$ 를 가진 코즐 대수에서 비롯되며, 관계 $ab + ba = 0$, $bc = 0$ 을 만족한다.
• 코즐 듀얼리티를 통해 등장관계 $\mathrm{HH}^*(\mathcal{A})/\mathcal{N} \cong Z_{\mathrm{gr}}(E(\mathcal{A}))/\mathcal{N}_Z$ 가 확립되며, 여기서 $E(\mathcal{A})$ 는 화살표 관계 $a^o b^o + b^o a^o = 0$, $b^o c^o = 0$ 을 만족하는 코즐 듀얼 대수이다.
• 이 결과는 [50]에서 제기한 추측, 즉 $\mathrm{HH}^*(\Lambda)/\mathcal{N}$ 이 항상 유한 생성된다는 것에 대한 반례를 제시하며, 유한 생성을 위한 필수 및 필요 조건에 대한 새로운 질문을 제기한다.