쌓인 단항 대수의 지원 다양체

초록

본 논문은 (D, A)-쌓인 단항 대수에서 단순 모듈의 지원 다양체가 비자명하게 되는 필요충분조건을 제시한다. 이 조건을 이용해 모든 단순 모듈의 다양체가 비자명하면 해당 대수가 D‑Koszul임을 보이며, 자기주입이 아니더라도 지원 다양체의 유한성 조건을 만족하는 예시를 제시한다. 또한 다양체가 자명한 모듈을 완전히 규정한다.

상세 분석

(D, A)-쌓인 단항 대수는 Green‑Snashall이 도입한 클래스로, Koszul 단항 대수와 D‑Koszul 단항 대수를 동시에 포함한다. 이 대수는 경로 대수 KQ/I에서 I가 단항 관계들로 생성되고, 각 관계의 길이가 일정한 패턴을 이루며, 그 패턴이 (D, A)라는 두 정수에 의해 제어된다. 저자들은 이러한 구조 위에 Hochschild 공동동류 H⁎(Λ)와 그 영원소들을 나눠 만든 고윳값 고리 HH⁎(Λ)/N을 고려한다. 지원 다양체 V(M)은 HH⁎(Λ)/N‑모듈 구조를 갖는 Ext⁎_Λ(M,M) 위에 정의되며, 다양체가 자명하지 않다는 것은 Ext⁎_Λ(M,M) 가 HH⁎(Λ)/N‑모듈로서 비자명한 행동을 함을 의미한다. 논문은 먼저 단순 모듈 S_i에 대해 그 프로젝트베즈 해석을 이용해 HH⁎(Λ)/N 의 특정 원소가 S_i 에 작용하는지를 분석한다. 핵심 정리는 “S_i 의 지원 다양체가 비자명 ⇔ S_i 와 연결된 사이클이 길이 D 를 정확히 나누는 관계를 포함한다”는 형태의 필요충분조건이다. 이 조건은 사이클의 길이와 (D, A) 파라미터 사이의 산술적 관계를 통해 명시적으로 기술된다. 결과적으로 모든 단순 모듈에 대해 다양체가 비자명하면, 모든 사이클이 D 로 나누어야 하므로 대수는 D‑Koszul임을 즉시 얻는다. 흥미롭게도, 저자들은 자기주입이 아닌 (D, A)-쌓인 대수에서도 HH⁎(Λ)/N 가 Noetherian이고, Ext⁎_Λ(M,M) 가 유한 차원으로 제한되는 상황을 구성한다. 이는 Erdmann‑Holloway‑Snashall‑Solberg‑Taillefer 가 제시한 “자기주입 대수에 대한 지원 다양체의 유한성 조건”을 일반화한 것으로, 그룹 이론적 성질(예: 차원 정리, 연결성) 중 일부가 이러한 비자기주입 대수에서도 유지됨을 보여준다. 마지막으로 저자는 다양체가 자명한 모듈을 완전히 기술한다. 구체적으로, 사이클에 포함되지 않거나 관계의 길이가 D 로 나누어지지 않는 정점에 대응하는 단순 모듈은 V(S)={0} 이며, 이러한 모듈들의 직접합, 확장, 그리고 사상에 의해 생성되는 모든 모듈도 동일한 성질을 가진다. 전체적인 분석은 경로 대수의 조합적 구조와 Hochschild 공동동류의 대수적 성질을 정밀히 연결함으로써, 지원 다양체 이론을 Koszul‑type 대수의 새로운 범위로 확장한다.