[논문 리뷰] Commuting elements in Galois groups of function fields

Fedor Bogomolov, Yuri Tschinkel|ArXiv.org|2000. 12. 24.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 22

한 줄 요약

이 논문은 함수체의 프로-p 갈루아 군의 비순환 아벨 부분군이 하향 중심 급수의 다음 단계에서 아벨 부분군으로 올라갈 수 있는 경우, 그 부분군은 어떤 비아르키메데스 체적에 대한 감소된 체적 군에 포함되며, 순환 몫을 가진 관성 원소의 부분군을 포함한다. 핵심 결과는 이러한 부분군이 체적 이론적 구조에서 유래함을 보여주며, 아벨리안 기하학에서 첫 번째 비자명한 수준을 넘어서는 장애물의 부재를 확인한다.

ABSTRACT

We study abelian subgroups of Galois groups of function fields.

연구 동기 및 목표

• 함수체의 프로-p 몫 갈루아 군의 아벨 부분군의 구조를 이해하기 위해.
• 그러한 부분군이 하향 중심 급수의 다음 단계에서 아벨 부분군으로 올라갈 수 있는 조건을 규명하기 위해.
• 그러한 올라갈 수 있는 부분군이 감소된 체적 군과 관성 군과 같은 체적 이론적 자료로 제약을 받는다는 것을 보여주기 위해.
• 그룹 필터의 첫 번째 비자명한 수준을 넘어서는 올림의 유일한 장애물은 그 수준에만 존재한다는 것을 확립하기 위해.

제안 방법

• Kummer 이론을 사용하여, 아벨화의 원소를 K^* modulo k^* 상에서 Z_p 값의 로그 함수로 해석한다.
• 프로젝티브 공간 P(K) = K^*/k^* 를 모델링하고, 두 함수의 쌍을 통해 아핀 2차원 공간으로의 프로젝티브 직선의 사상들을 연구한다.
• 로그 함수 성질을 적용하여, 함수들이 서로 가환할 경우 그 함수들의 프로젝티브 직선으로의 제한이 상수 모듈로 선형적으로 종속이어야 한다는 것을 보인다.
• 관성 원소를 나타내는 감소된 체적 군 내에서의 아벨 플래그 함수(AB-함수)의 개념을 도입한다.
• 기준: 함수가 3차원 부분공간으로의 제한이 항상 AB-함수일 때에만 그 함수가 AB-함수임을 이용하여 문제를 3차원 부분공간으로 축소한다.
• 모순을 이용: 두 독립적인 함수의 Z_p 스펜에 AB-함수가 존재하지 않는다고 가정하고, 모든 3차원 부분공간에서 AB 조건을 위반하는 Z/2Z 값 함수 h'를 유도한다.

실험 결과

연구 질문

• RQ1 함수체의 프로-p 갈루아 군의 비순환 아벨 부분군이 하향 중심 급수의 다음 단계에서 아벨 부분군으로 올라갈 수 있는 조건은 무엇인가?
• RQ2 체적은 이러한 올라갈 수 있는 아벨 부분군의 구조를 어떻게 제약하는가?
• RQ3 K^*/k^* 상의 로그 함수는 갈루아 군의 관성 군과 체적 군과 어떻게 관련이 있는가?
• RQ4 두 함수가 가환할 경우, 2차원 Z_p 스펜에 AB-함수가 존재할 수 있는가를 보장할 수 있는가?
• RQ5 아벨리안 기하학의 맥락에서 AB-함수의 기하학적·산술적 의미는 무엇인가?

주요 결과

• Γ^a의 비순환 아벨 부분군이 Γ^c의 아벨 부분군으로 올라갈 수 있다면, 그 부분군은 어떤 비아르키메데스 체적 ν에 대한 감소된 체적 군 Γ^a_ν에 포함된다.
• 그 부분군은 I^a_ν 내의 관성 원소의 부분군 F'를 포함하며, 몫 F/F'는 위상적으로 순환적이다.
• 두 가환 함수의 Z_p 스펜에 AB-함수가 존재함이 보장되며, 그러한 함수는 어떤 체적의 관성 원소에 대응한다.
• 선형적으로 독립인 함수의 쌍이 c-쌍을 이룰 경우, 함수의 Z_p 스펜이 Γ^a_ν에 포함되고, 1 + m_ν로의 제한이 식별적으로 0이 되는 체적 ν가 존재한다.
• 함수들이 생성하는 부분군은 F/F'가 위상적으로 순환적일 만한 닫힌 부분군 F'의 AB-함수를 포함하며, F'는 어떤 체적의 관성 부분군에 대응한다.
• 모든 올라갈 수 있는 비순환 아벨 군은 어떤 감소된 체적 군에 포함되며, 관성 원소의 코랭크-1 부분군을 포함한다.