완만형 히케 대수의 Hochschild 동류와 지지 다양체

초록

본 논문에서는 완만형 히케 대수에 대한 Hochschild 동류 고리의 명시적 기저를 구성하고, 영원성(영원소)을 나눈 뒤의 고리가 차원 2의 유한 생성 크룰 차원을 갖는다고 증명한다. 이를 바탕으로 모듈들의 지원 다양체를 정의하고 그 구조를 상세히 기술한다. 결과적으로, 유한형 히케 대수의 경우 차원 1, 완만형인 경우 차원 2의 크룰 차원을 가진다.

상세 분석

본 연구는 먼저 완만형 히케 대수 A를 특정한 쿼버와 관계식으로 모델링한다. A는 두 개의 정점과 다수의 화살표로 이루어진 비대칭 쿼버를 갖으며, 관계식은 Hecke 대수의 전형적인 스칼라 파라미터 q에 의해 결정된다. 저자들은 A-쌍대 모듈에 대한 최소 프로젝트ive 해석을 이용해 A⊗A^op-모듈로서의 전역 해석을 구성하고, 이를 통해 Hochschild 복합체 C^*(A,A)를 명시적으로 계산한다. 특히, 차수 0, 1, 2에서의 코사이클을 구하고, 이들 사이의 경계 사상들을 상세히 기술함으로써 HH^n(A) (n≥0)의 기저 원소들을 전부 제시한다.

다음 단계에서는 HH^(A) 내의 영원소(즉, 충분히 높은 차수에서 영이 되는 원소)들을 식별한다. 저자들은 이러한 영원소가 주로 차수 1과 차수 2의 원소들의 곱으로 생성된 이상(N)임을 보이며, N을 나눈 고리 HH^(A)/N이 유한 생성 대수임을 증명한다. 이때 사용된 핵심 도구는 그라디언트 구조와 베르누이 다항식의 대수적 성질이며, 특히 차수 2의 원소들이 서로 교환 가능한 중앙 원소로 작용함을 확인한다.

크룰 차원에 대한 분석에서는 Spec ( HH^*(A)/N ) 를 affine 평면 k^2 로 동형시킬 수 있음을 보인다. 따라서 이 고리의 크룰 차원은 정확히 2가 된다. 이와 대조적으로, 유한형 히케 대수(예: A_n형)에서는 동일한 과정을 적용하면 차원 1의 affine 직선이 얻어지며, 이는 기존의 결과와 일치한다.

지원 다양체는 HH^(A)/N 의 스펙트럼 위에 정의된 닫힌 부분다양체로, 각 A-모듈 M에 대해 Ann_{HH^(A)/N}(Ext_A^*(M,M)) 의 영점집합으로 정의된다. 저자들은 이 정의를 이용해 모듈의 복잡도와 다양체 차원 사이의 정확한 관계를 입증한다. 구체적으로, 복잡도가 1인 모듈은 점 다양체(차원 0)를, 복잡도가 2인 모듈은 전체 affine 평면(차원 2)을 갖는다. 또한, 정규 모듈과 사영 모듈에 대한 지원 다양체를 계산하여, 이들이 각각 직선과 곡선 형태를 이루는 것을 확인한다.

마지막으로, 이러한 결과를 통해 완만형 히케 대수의 표현 이론에서 지원 다양체가 강력한 불변량으로 작용함을 강조한다. 특히, 차원 2의 지원 다양체는 모듈 카테고리의 무한한 복잡성을 반영하며, 이는 기존의 유한형 경우와 근본적으로 다른 구조적 특성을 나타낸다. 전체적으로, 본 논문은 Hochschild 동류와 지원 다양체 사이의 깊은 연관성을 명확히 밝히며, 향후 더 일반적인 비가환 대수에 대한 연구에 중요한 토대를 제공한다.