SL(2)와 토러스의 미분 표현 확장에 관한 새로운 분류

초록

본 논문은 특성 0의 미분체 K 위에서 SL(2)와 토러스의 미분 표현을 연구한다. 토러스의 경우 모든 비분해 미분 표현이 동형인 불변표현들의 직접합임을 보이고, SL(2)에 대해서는 두 개의 서로 다른 불변표현을 확장하는 비직접합 형태를 명시적으로 기술한다. 핵심 결과는 정리 4.11로, K에 비정상적인 미분 원소가 존재할 때 이러한 확장을 K{ x, y }에 삽입하고, 그 구조를 완전히 기술한다. 또한, 이러한 삽입이 불가능한 경우를 예시(예 4.18)로 제시한다.

상세 분석

논문은 먼저 선형 미분 대수군(LDAG)의 개념을 소개하고, 이들이 매개변수가 있는 선형 미분·차분 방정식의 미분 갈루아 군으로 작용함을 상기한다. 기존의 대수적 표현 이론에서는 SL(2)와 토러스가 전체 이론의 기본 블록이지만, 미분 표현에서는 새로운 현상이 나타난다. 저자는 모든 유한 차원 G‑모듈을 ‘Rep₀(G)’라 불리는 특별한 부분집합을 통해 풀어낼 수 있음을 보인다. Rep₀(G)는 최소·최대 부분모듈이 각각 하나씩만 존재하는 비분해 모듈들의 집합이며, 일반 모듈은 이들에 대한 pull‑back·push‑out 연산만으로 재구성된다.

토러스에 대한 결과(정리 4.3)는 매우 단순하다. 미분 토러스 군의 모든 비분해 표현은 동형인 불변표현들의 연장, 즉 동형성에 기반한 직접합 형태만을 가질 뿐, 서로 다른 불변표현 사이의 비직접합은 존재하지 않는다. 이는 토러스의 미분 대수적 부분군이 이미