약한 대칭성·라디칼 세제곱 영(0) 대수와 지원 다양체의 완전 분류

본 논문은 라디칼 세제곱이 0인 약한 대칭(weakly symmetric) 유한 차원 대수 Λ에 대해, Hochschild 공동동류환 HH⁎(Λ)를 이용한 지원 다양체 이론이 Dade의 보조정리(Fg)를 만족하는지를 완전히 분류한다. 1. **배경 및 정의** - 지원 다양체는 원래 유한군의 그룹공동동류환을 기반으로 정의되었으며, 일반 대수에서는 HH⁎(Λ)의 최대이상스펙트럼을 사용한다. - (Fg) 조건은 HH⁎(Λ)가 Noetherian이고, Ext⁎_Λ(Λ/𝔯,Λ/𝔯)가 HH⁎(Λ) 위에서 유한 생성 모듈임을 의미한다. 이는 Fg1(등급 Noetherian 부분대수 존재)와 Fg2(Ext 모듈의 유한 생성)으로 구분된다. 2. **Koszul 대수와 등급 중심** - Λ가 Koszul이면 HH⁎(Λ)→E(Λ)=⊕_i Ext^i_Λ(Λ₀,Λ₀) 의 자연 사상이 존재하고, 그 이미지가 E(Λ)의 등급 중심 Z_gr(E(Λ))와 일치한다(Buchweitz‑Green‑Snashall‑Solberg, Keller). - 따라서 (Fg)를 확인하려면 Z_gr(E(Λ))가 Noetherian이고, E(Λ)가 그 위에서 유한 생성인지만 검사하면 된다. 3. **라디칼 세제곱 영 대수의 구조** - Λ가 약한 대칭이며 r³=0, r²≠0이면 Λ는 Koszul이며, 그 Ext¹ 매트릭스 E_Λ는 대칭 행렬이다. - Benson의 연구에 따라 E_Λ의 최대 고유값 λ에 따라 세 가지 경우가 나뉜다: λ>2(야생), λ=2(온건/유한), λ<2(유한). - λ>2인 경우 모듈 해상도의 차원이 지수적으로 성장해 (Fg)를 만족할 수 없으며, 이는 야생 표현형에 해당한다. 4. **주요 정리와 분류** - **Theorem 1.5**: λ=2 혹은 λ<2인 경우에만 (Fg)가 가능하며, 구체적인 quiver와 관계는 다음과 같다. - λ<2: Dₙ(n≥4), E₆, E₇, E₈, Zₙ 등 Artin‑Schelter 정칙 Koszul 대수와 동형이며, 모두 (Fg)를 만족한다. - λ=2: ˜Aₙ 형태가 등장한다. 여기서는 순환 quiver와 관계에 스칼라 q가 들어가며, q가 단위근일 때만 Z_gr(E(Λ))가 Noetherian이 된다. 5. **˜Aₙ‑case 상세 분석** - quiver는 0→1→…→n→0 순환이며, 관계는 a_i a_{i+1}=0, a_{i+1} a_i=0, a_i a_i + q a_{i-1} a_{i-1}=0 형태이다. - Gröbner basis 계산을 통해 E(Λ)ᵒᵖ = kQ /⟨a_i a_i - a_{i-1} a_{i-1}, q a_0 a_0 - a_n a_n⟩ 로 표현된다. - 등급 중심 Z_gr(E)는 x = a_0 a_1 … a_n, y = a_0^{-1} … 와 같은 원소들로 생성되며, q가 d차 단위근이면 x^{2d}, y^{2d}가 중심에 들어간다. 따라서 q가 단위근이면 Z_gr(E)는 Noetherian이고, E는 그 위에서 유한 생성 모듈이 된다. 반대로 q가 단위근이 아니면 중심이 무한 차원을 갖게 되어 (Fg)가 깨진다. 6. **양자 외부 대수** - 양자 외부 대수는 Λ = k⟨x₁,…,x_n⟩/(x_i x_j + q_{ij} x_j x_i, x_i²) 형태이며, 변형 매개변수 q_{ij}가 모두 단위근일 때만 Z_gr(E(Λ))가 Noetherian이 된다. 이는 기존 연구