그룹 등급 대수와 이차 코다이멘션 성장의 완전 분류

초록

본 논문은 유한군 G 에 의해 등급된 연관 대수 A의 G‑graded 코다이멘션 수열 c⁽ᴳ⁾ₙ(A) 가 다항적으로 유계일 경우, 특히 성장 차수가 2(이차)인 경우를 집중적으로 연구한다. 저자는 이러한 성장률을 갖는 단위 대수들의 다양체를 최소 G‑graded 다양체들의 직접합으로 완전히 기술하고, 그룹의 구조에 따라 무한히 많은 사례가 존재할 수 있음을 보인다.

상세 분석

논문은 먼저 기존의 PI‑이론에서 코다이멘션 수열 cₙ(A) 가 다항적이거나 지수적 성장만을 보인다는 Kemer‑Regev 정리를 G‑graded 환경으로 확장한다. 이를 위해 자유 G‑graded 대수 F⟨X,G⟩ 와 그 다중선형 부분공간 P⁽ᴳ⁾ₙ을 정의하고, G‑graded 항등식 아이디얼 Id⁽ᴳ⁾(A) 의 T_G‑이데얼 구조를 이용해 코다이멘션을 계산한다. 핵심은 ‘proper G‑graded polynomial’ 개념으로, 이는 변수 1 (항등원) 이 포함된 긴 리 대수적 커뮤테이터 안에만 나타나는 다항식들이다. 저자는 La Mattina의 정리를 인용해 c⁽ᴳ⁾ₙ(A) 가 다항적으로 제한될 필요충분조건을 ‘각 성분이 차원 ≤ 1인 유한 차원 G‑graded 대수들의 직접합과 동형’인 경우로 제시한다.

그 다음, 적절한 대수 C_{g,m} 와 K_{g,h}⁷ 을 구성하여 최소 G‑graded 다양체(minimal varieties)를 만들고, 이들의 T_G‑이데얼을 명시적으로 기술한다. 특히, |g|=2, |h|>2 인 경우와 Z₂‑graded 경우에 대한 기존 결과를 일반 군 G 에 대해 확장한다. 코다이멘션 수열의 정확한 형태는
c⁽ᴳ⁾ₙ(A)=∑_{i=0}^{t} ( n choose i ) γ⁽ᴳ⁾_i(A)
이라는 식을 이용해 다항식 형태로 전개되며, 최고 차수 t=2 (이차 성장)인 경우 γ⁽ᴳ⁾₂(A) 가 양수가 되도록 하는 대수들의 구조를 분석한다.

또한, 대칭군 S_{n₁}×…×S_{n_k} 의 표현론을 사용해 proper G‑graded cocharacter π_{n₁,…,n_k}(A) 를 분해하고, 멀티파트션 (λ₁,…,λ_k) 에 대한 다중성 m_{λ₁,…,λ_k} 을 최고 차수 항에 기여하는지 판단한다. 여기서 ‘proper highest weight vector’가 Id⁽ᴳ⁾(A) 에 포함되지 않을 때만 다중성이 양수가 되며, 이는 최소 다양체의 존재와 직접 연결된다.

결과적으로, 저자는 모든 단위 G‑graded 다양체 중 코다이멘션이 이차 성장인 경우는
V ≅ ⊕{i∈I} V_i
와 같이 최소 G‑graded 다양체 V_i 들의 직접합으로 분해될 수 있음을 증명한다. 이때 I 는 군 G 의 구조에 따라 유한하거나 무한할 수 있지만, 각 V_i 는 위에서 정의한 C{g,m} 또는 K_{g,h}⁷ 형태의 대수에 의해 생성된다.