특성층의 모듈리 공간

초록

연결된 가환 대수군 (G) 위의 드레베·특성층(다중성 라인 번들과 적분가능 연결)의 모듈리 문제를 연구하고, 반정규 시험 스키마에 대해 이를 대표하는 가환 연결대수공간 (G^{\flat}) 를 구성한다. 주요 기술은 (G_{\mathrm{dR}}) 위의 확장 사상을 분석하는 것이며, 이로부터 (G^{\flat}) 의 함수성, 차원 추정, 선형·일반 부분공간 구조 등을 밝힌다. 또한 반정규성 가정 하에서 베티 특성층과의 리만–히라르트 대응을 조사한다.

상세 분석

본 논문은 가환 연결대수군 (G) 위에 정의되는 “드레베 특성층”(multiplicative line bundle equipped with an integrable connection)을 모듈리화하는 새로운 접근법을 제시한다. 기존의 ℓ‑adic 로컬 시스템을 기하학적으로 구현한 캐릭터 셰이프와 달리, 여기서는 de Rham 공간 (G_{\mathrm{dR}}) 위의 (\mathbb{G}m)‑계층 확장 (\operatorname{Ext}^1(G{\mathrm{dR}},\mathbb{G}_m)) 를 핵심 사상으로 삼는다. 이 확장 사상은 정확히 “multiplicative” 조건 (m^*L\simeq L\boxtimes L) 을 만족하는 라인 번들과 적분가능 연결을 일대일 대응시킨다.

주요 기술적 단계는 다음과 같다. 첫째, 바소티‑체발레 정리를 이용해 (G) 를 토러스 (T), 유니포텐트 군 (U), 그리고 아벨리안 다양체 (A) 로 분해하고, 각각에 대한 (\operatorname{Ext}^1) 를 명시적으로 계산한다. 예를 들어, (U) 가 벡터군이면 (\operatorname{Ext}^1(U_{\mathrm{dR}},\mathbb{G}m)\cong U^\vee) 로 식별되고, 토러스의 경우 (\operatorname{Ext}^1(T{\mathrm{dR}},\mathbb{G}m)\cong \mathfrak{t}^\vee / X) (여기서 (X)는 문자 격자) 로 나타난다. 아벨리안 다양체에 대해서는 Mazur‑Messing 의 결과를 재해석해 (\operatorname{Ext}^1(A{\mathrm{dR}},\mathbb{G}_m)) 가 다시 아벨리안 군 자체와 동형임을 확인한다.

둘째, 이러한 부분 결과들을 조합해 전체 군 (G) 에 대한 확장 사상 (G^\natural:=\operatorname{Ext}^1(G_{\mathrm{dR}},\mathbb{G}_m)) 를 정의한다. 여기서 중요한 관찰은 (G^\natural) 가 일반적인 대수공간이 아니라 가끔은 비대표적(예: 유니포텐트 성분에서 나타나는 인디-스킴)이라는 점이다. 논문은 반정규 시험 스키마에 제한함으로써, 즉 (S) 가 seminormal 일 때만 (G^\natural(S)) 가 특성층의 동형류와 일치함을 보인다.

셋째, 비대표성을 일으키는 원인을 정확히 분석한다. (G^\natural) 안에 포함된 (\operatorname{Ext}^1(U,\mathbb{G}_m)) 성분은 반정규 스키마에서는 사라지지만, 일반 스키마에서는 비자명하게 남아 전체 사상을 방해한다. 이를 제거하고 남은 부분을 (G^{\flat}) 라 명명한다. (G^{\flat}) 는 스무스하고 연결된 가환 대수공간이며 차원은 (\dim G\le \dim G^{\flat}\le 2\dim G) 를 만족한다.

넷째, 함수성 측면에서 짧은 정확한 시퀀스 (0\to G_1\to G_2\to G_3\to0) 가 주어지면, 일반적으로 (0\to G_3^{\flat}\to G_2^{\flat}\to G_1^{\flat}\to0) 가 왼쪽과 오른쪽은 정확하지만 중간은 선형 군(선형, 반선형, 아벨리안 등)인 경우에만 정확함을 증명한다. 이는 Pontryagin 이중성에 대한 대수기하학적 아날로그라 할 수 있다.

다섯째, “선형 부분공간”과 “일반 부분공간”이라는 새로운 기하학적 개념을 도입한다. 이는 (G) 의 에피모르피즘 (\rho:G\to \bar G) 로부터 유도된 (\rho^{\flat}:\bar G^{\flat}\to G^{\flat}) 의 이미지로 정의되며, 토러스, 유니포텐트, 아벨리안 다양체 각각에 대해 전통적인 선형 대수적 구조와 일치한다. 복소수 경우, 일반 부분공간은 해석적 위상에서 열린 조밀 집합이 된다.

마지막으로, 리만–히라르트 대응을 통해 (G^{\flat}_{\mathrm{an}}) 와 전통적인 캐릭터 다양체 (\operatorname{Char}(G)=\operatorname{Spec}\mathbb{C}