[논문 리뷰] Non-Abelian Class Field Theory for Riemann Surfaces

Lin Weng|ArXiv.org|2001. 11. 22.

Advanced Mathematical Modeling in Engineering참고 문헌 5인용 수 3

한 줄 요약

이 논문은 리만 곡면에서 비아벨 클래스 체계 이론에 대한 베일의 계획을 마무리하며, 미세 상호보완 원리(μ-Reciprocity Principle)를 통해 상호보완 법칙을 수립한다. 유한적으로 완비된 Tannakian 부분분류체와 그 분할점이 최대한 주어진 분할점에 있는 유한 갈루아 피복 사이의 일대일 대응을 구축함으로써, 섬소자기 함수의 자동형군과 피복의 갈루아군 사이의 동형을 증명한다.

ABSTRACT

In this paper, using what we call a micro reciprocity law, we complete Weil's program for non-abelian class field theory of Riemann surfaces.

연구 동기 및 목표

• 콤���트 리만 곡면에서 비아벨 클래스 체계 이론에 대한 베일의 계획을 완성하는 것.
• 파라볼릭 범주와 갈루아 피복 사이의 상호보완 법칙을 연결하는 상호보완 법칙을 수립하는 것.
• 주어진 분할점에 대해 최대한 분할된 유한 갈루아 피복에 대한 존재성 및 분할점 이론을 증명하는 것.
• 유한적으로 완비된 Tannakian 부분분류체에서의 섬소자기 함수의 자동형군이 해당 피복의 갈루아군과 동형임을 보여주는 것.

제안 방법

• 분할점에서 수론적 조건을 만족하는 분수 무게를 가진 파라볼릭 반안정 범주이자 파라볼릭 차수 0인 GA 범주를 정의한다.
• Seshadri 등가류를 통한 GA 범주로부터 복소 벡터 공간으로의 섬소자기 함수 ω_D를 갖는 유일한 인수분해 Tannakian 범주 M(M;D)를 구성한다.
• GA 범주의 조르당-홀더 분해된 범주를 이용해 π₁(M⁰)의 유니터리 표현을 유도함으로써, 상호보완 사상 W(D): π₁(M⁰)/J(D) → Aut^⊗(ω_D)를 정의한다.
• J(D)는 S_i^{e_i}로 생성되는 정규부분군일 때, G(D) := π₁(M⁰)/J(D)를 정의하고, G(D)의 유니터리 표현을 이용해 갈루아 피복을 모델링한다.
• Tannaka 대칭을 적용하여, M(M;D)의 유한적으로 완비된 Tannakian 부분분류체 S가 G(D)의 유한지수 정규부분군 K에 대응함을 보이고, 따라서 갈루아 피복에 대응함을 증명한다.
• van Kampen 완비성 정리를 적용하여, 유한 개의 표현으로 생성된 Tannakian 부분분류체가 몫군의 유니터리 표현 전체 범주임을 보인다.

실험 결과

연구 질문

• RQ1 Tannakian 범주와 파라볼릭 범주를 이용해 리만 곡면에 대한 비아벨 클래스 체계 이론을 수립할 수 있는가?
• RQ2 GA 범주의 유한적으로 완비된 Tannakian 부분분류체와 최대한 주어진 분할점에서 분할된 유한 갈루아 피복 사이에 일대일 대응이 존재하는가?
• RQ3 이러한 부분분류체에서 섬소자기 함수의 자동형군이 해당 피복의 갈루아군과 동형으로 일치하는가?
• RQ4 미세 상호보완 법칙은 구멍이 난 곡면의 기본군과 피복의 갈루아군 사이에 어떻게 관련되는가?

주요 결과

• M(M;D)의 유한적으로 완비된 Tannakian 부분분류체와 M에서 D에 대해 최대한 분할된 유한 갈루아 피복 사이에 자연스러운 일대일 대응 w_D 가 존재한다.
• 이러한 부분분류체 S에 제한된 섬소자기 함수의 자동형군은 w_D(S)에 대응하는 피복의 갈루아군과 동형이다.
• 피복의 갈루아군에 제한된 상호보완 사상 W(D): π₁(M⁰)/J(D) → Aut^⊗(ω_D)는 동형이다.
• 범주 M(M;D)는 유일한 인수분해 Tannakian 범주이며, 텐서곱에 대해 닫혀 있고 충실한 섬소자기 함수 ω_D를 갖는다.
• Seshadri 등가류의 GA 범주는 Weil-Narasimhan-Seshadri 대응을 통해 G(D) = π₁(M⁰)/J(D)의 유니터리 표현과 일대일 대응된다.
• Tannaka 대칭 재구성은 Tannakian 부분분류체로부터 갈루아군을 복원하며, 기하적 대상과 갈루아군 사이의 대칭성을 확인한다.