Dickson 부분범주 분할 추측의 의사컴팩트 대수에 대한 증명

초록

본 논문은 의사컴팩트(또는 프로피니트) 대수 A=C*에 대해, 모든 A-모듈 M의 Dickson(반아트린) 부분이 M 안에서 직합으로 분리되는 경우 A 자체가 반아트린임을 증명한다. 이는 Faith의 유명한 추측에 대한 긍정적 답변이며, 특히 코알제브라의 이중 대수인 경우에 적용된다.

상세 분석

논문은 먼저 토션 이론과 Dickson 부분범주의 일반적 정의를 복습하고, “분할 성질(splitting property)”이란 모든 모듈 M에 대해 해당 토션 부분 T(M)이 직합으로 존재함을 의미한다는 점을 강조한다. 전통적인 경우(가환 도메인, Prϋfer 도메인 등)와 달리, 비가환 환경에서의 전반적인 특성은 아직 미해결이었다. 저자들은 이 문제를 의사컴팩트 대수, 즉 어떤 코알제브라 C의 이중 대수 A=C*에 한정한다.

핵심 아이디어는 코알제브라와 그 이중 대수 사이의 쌍대 관계를 이용해 모듈 이론을 코모듈 이론으로 전이하는 것이다. 특히, C의 코이데얼(coideal)과 A의 왼쪽 이데얼 사이의 정규 상호작용을 통해, A-모듈 M의 Dickson 부분 T(M)이 직합으로 분리되면 C의 코라다칼 필터레이션이 유한함을 보인다. 이를 위해 다음과 같은 단계적 결과를 증명한다.

1. 기본 구조 분석: C의 단순 코모듈들의 집합 S를 이용해 A/J(=C*/C⊥0) 를 직합으로 분해하고, Σ=⊕_{S∈S} A_S 를 Dickson 부분으로 식별한다. Σ가 A/J의 핵심(essential socle)이며, Σ가 직합이면 S가 유한하고 따라서 C₀가 유한 차원임을 보인다.

2. 부분코알제브라에 대한 전이: C의 부분코알제브라 D에 대해 D도 동일한 분할 성질을 가짐을 증명한다. 이는 I=D⊥가 A의 이데얼이므로, A-모듈을 D-모듈로 제한할 때 Dickson 부분이 그대로 유지된다는 사실을 이용한다.

3. 지역화(localization) 기법: 아이디엄 e를 선택해 eAe와 eA 사이의 장/단 사상을 이용, eAe-모듈이 반아트린이면 A-모듈도 반아트린임을 일반화한다. 특히, A가 직합으로 구성된 유한 개의 지역화된 부분들(e_iAe_i)로 분해될 수 있음을 보이며, 각 부분이 반아트린이면 전체 A가 반아트린임을 결론짓는다.

4. 특수 경우(도메인): C*가 (지역) 도메인인 경우, 모든 비영형 코모듈 사상이 전사임을 이용해 C₀가 단순 코모듈임을 증명하고, 결국 C가 유한 Loewy 길이를 갖는 유한 차원 코알제브라임을 얻는다.

5. 일반 경우: 위의 지역화 결과와 “almost connected”(코라다칼이 유한 차원) 성질을 결합해, Dickson 분할 성질을 만족하는 모든 의사컴팩트 대수 A는 반드시 반아트린이며, 따라서 A는 유한 Loewy 길이를 가진다.

결과적으로, Faith의 “Dickson 부분범주가 모든 모듈에서 분리되면 링이 반아트린이어야 한다”는 추측이 코알제브라 이중 대수라는 제한된 환경에서 완전히 증명된다. 이는 코알제브라 이론과 비가환 대수 이론 사이의 깊은 연결고리를 제공하며, 코알제브라의 유한 차원성 판정에도 새로운 관점을 제시한다.