[논문 리뷰] Galois descent in Galois theories

Daniel Bertrand|arXiv (Cornell University)|2010. 07. 19.

Algebraic Geometry and Number Theory참고 문헌 25인용 수 6

한 줄 요약

이 논문은 갈로아 수축을 적용하여 피카르-베시오, 콜킨, 필레이의 미분 갈로와 이론을 통합하고 일반화한다. 이는 이 이론들의 갈로와 군이 구조적으로 유사한 기술을 갖는다는 것을 보여줌으로써 이루어지며, 아벨 스킴에 대해 분할점의 군이 유계 지수를 가진 아벨 부분변형의 $n$- torsion의 부분군과 동형임을 증명한다. 이는 비상수 설정으로까지 아크스-샨쿨 유형 결과를 확장한다.

ABSTRACT

Inspired by Kummer theory on abelian varieties, we give similar looking descriptions of the Galois groups occuring in the differential Galois theories of Picard-Vessiot, Kolchin and Pillay, and mention some arithmetic applications.

연구 동기 및 목표

• 공통 갈로와 수축 프레임워크를 통해 피카르-베시오, 콜킨, 필레이의 미분 갈로와 이론의 갈로와 군을 통합한다.
• 비상수 대수군과 아벨 스킴으로까지 아크스-샨쿨 유형의 초월성 결과를 확장한다.
• 함수체 위의 아벨 스킴의 절단의 분할점에 대한 갈로와 작용을 분석한다.
• 단형 및 강력한 근사성을 사용하여 토션점이 생성하는 체 확장의 차수에 대한 경계를 설정한다.
• 비상수 아벨 다양체와 벡터적 확장으로의 커머 이론을 일반화한다.

제안 방법

• 갈로와 수축을 사용하여 미분 갈로와 군을 대수군의 기하학과 그 리 대수군과 연결한다.
• 지수함수와 로그함수의 미분방정식을 정의하기 위해 로그미분 $\nabla_{LG} \circ \ell n_G$ 를 적용한다.
• 유니버설 벡터성 확장의 리 대수에서의 단형 작용을 통해 $n$-분할점의 갈로와 군을 모델링한다.
• GL_m(\mathbb{Z})의 유한생성 부분군에 대한 강력한 근사성 성질을 사용하여 $\ell$-adic 및 $\ell$-토션 군에서 단형의 상을 통제한다.
• 초월성 문제를 비퇴화 조건으로 환원한다: 어떤 진부분대수군 $H \subset G$ 에 대해 $x$ 가 $LH + LG(\mathbb{C})$ 에 속하지 않는 것.
• 갈로와 군 $N_a^\partial$ 에서 단형군 $\Pi$ 의 자리지 조밀성 조건을 이용하여 토션 체에서 유계 지수 결과를 도출한다.

실험 결과

연구 질문

• RQ1 피카르-베시오, 콜킨, 필레이의 미분이론 갈로와 군은 어떻게 통합적이고 구조적으로 기술할 수 있는가?
• RQ2 함수체 위의 아벨 스킴의 절단의 분할점에 대한 갈로와 이론적 행동은 어떠한가?
• RQ3 아크스-샨쿨 추측은 $\mathbb{C}(S)$ 위에 정의된 비상수 대수군과 아벨 다양체로까지 어느 정도까지 확장되는가?
• RQ4 단형은 토션점이 생성하는 체 확장의 차수에 어떤 영향을 미치는가?
• RQ5 강력한 근사성은 $B[n]$ 에서 갈로와 군의 지수를 유계로 제어하는 데 어떤 역할을 하는가?

주요 결과

• 복소수 위에 정의된 아벨 다양체 $A_0$ 에 대해, 갈로와 군 $\mathrm{Gal}(K(\frac{1}{n}y)/K)$ 는 유계 지수의 부분군과 동형이며, $n$ 이 $\nu(A_0, K, y)$ 와 서로소일 경우 지수 1을 가진다.
• 만약 $A$ 가 $\mathbb{C}$ 위에 정의되지 않으면, 갈로와 군 $\mathrm{Gal}(K_n(\frac{1}{n}y)/K_n)$ 은 $B[n]$ 의 유계 지수 부분군을 포함하며, $n$ 이 $\nu(A, K, y)$ 와 서로소일 경우 $B[n]$ 과 정확히 일치한다.
• 모든 충분히 큰 소수 $\ell$ 에 대해, $\frac{1}{\ell}\Omega_y$ 의 $B[\ell]$ 에서의 상은 전체 군 $B[\ell]$ 을 메꾼다. 이는 그러한 $\ell$ 에 대해 갈로와 군이 $B[\ell]$ 에 전사함을 의미한다.
• 단형군 $\Pi$ 는 갈로와 군 $N_a^\partial$ 에 자리지 조밀하며, 이는 $(L\tilde{B})^\partial$ 와 일치한다. 이는 주기 격자 $\Omega_y$ 가 갈로와 군의 리 대수에서 자리지 조밀하다는 것을 보장한다.
• 체 확장의 차수 $[K(\frac{1}{n}\overline{y}):K]$ 는 $c n^{2\dim B}$ 에 의해 아래에서 유계이며, 여기서 $c = 1/\nu_y$ 이다. 이는 토션 차수에서 다항식 성장을 보임을 보여준다.
• 로그미분 $\partial \ell n_G: G(\mathcal{K}) \to LG(\mathcal{K})$ 는 잘 정의되어 있으며 미분 구조를 유지한다. 이는 지수함수에 대한 미분대수적 공리계를 수립하는 데 기여한다.