[논문 리뷰] On the Grothendieck conjecture on p-curvatures for q-difference equations

Lucia Di Vizio, Charlotte Hardouin|arXiv (Cornell University)|2012. 05. 08.

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

한 줄 요약

이 논문은 유리 함수체 위의 q-차분 방정식에 대한 Grothendieck의 p-curvature 추측에 대한 q-해석을 수립하며, K(x) 위의 q-차분 모듈러스가 전체 대수적 해를 가진다 하면, 단위근에서의 그 축소가 해당 잔여체 위에서 전체 해 집합을 가져야 한다는 것을 증명한다. 핵심 기여는 유한 생성된 Q의 확장에 대해, 곡률을 통한 광역 Galois 군의 아델 성격을 제시함으로써, Grothendieck-Katz 추측을 q-차분 설정으로 확장하는 것이다.

ABSTRACT

In the present paper, we give a q-analogue of the Grothendieck conjecture on p-curvatures for q-difference equations defined over the field of rational function K(x), where K is a finite extension of a field of rational functions k(q), with k perfect. Then we consider the generic (also called intrinsic) Galois group in the sense of N. Katz. The result in the first part of the paper lead to a description of the generic Galois group through the properties of the functional equations obtained specializing q on roots of unity. Although no general Galois correspondence holds in this setting, in the case of positive characteristic, where nonreduced groups appear, we can prove some devissage of the generic Galois group. In the last part of the paper, we give a complete answer to the analogue of Grothendieck conjecture on $p$-curvatures for q-difference equations defined over the field of rational function K(x), where K is any finitely generated extension of \mathbb Q and q eq 0,1: we prove that the generic Galois group of a q-difference module over K(x) always admits an adelic description in the spirit of the Grothendieck-Katz conjecture. To this purpose, if q is an algebraic number, we prove a generalization of the results by L. Di Vizio, 2002.

연구 동기 및 목표

• p-curvature에 관한 Grothendieck-Katz 추측을 미분 방정식 setting에서 q-차분 방정식 설정으로 확장하기.
• K(x) 위의 q-차분 모듈러스의 광역 Galois 군을 그 곡률에 대해 특성화하기.
• Q의 유한 생성 확장 위에 정의된 q-차분 모듈러스에 대해, Grothendieck-Katz 추측의 정신에 따라 아델 형태로 광역 Galois 군을 기술할 수 있음을 증명하기.
• 이전 결과 [DV02]을 수체에서가 아니라 Q의 유한 생성 확장인 경우로 일반화하기.
• C(x) 위의 q-차분 모듈러스의 자명성에 대한 기준을, 비어 있지 않은 cofinite 집합의 곡률이 0이 되는 것으로 제시하기.

제안 방법

• 저자들은 K가 k(q)의 유한 확장이며 k가 완전체일 때, K(x) 위의 q-차분 모듈러스를 정의하고, 그 정규성 및 니르포텐트 성질을 연구한다.
• q를 단위근으로 특수화하여 k(ζℓ)(x) 위에서의 방정식을 분석하고, 일반적 설정과 특수화 설정 간의 해 집합 간의 연결 고리를 확립한다.
• [Kat82] 및 [DV02]의 의미에서의 광역 Galois 군 이론을 사용하여, Galois 군의 구조를 소수 이상수에 대한 축소 하에 곡률의 행동과 연결한다.
• v가 집합 C의 cofinite 부분집합을 따라 변할 때, φv에 대한 모odulo 축소를 연구하기 위해 σq-안정 대수 A ⊂ K(x)와 관련 래티스를 도입한다.
• 광역 Galois 군이, C의 비어 있지 않은 cofinite 부분집합에 속하는 모든 v에 대해 φv 모odulo의 v-curvature를 포함하는 GL(MK(x))의 가장 작은 대수적 부분군임을 증명한다.
• noetherianity 추론과 기저 변경을 사용하여 K(x)에서의 결과를 C(x)로 확장하고, C(x) 위의 Galois 군이 K(x) 위의 군의 기저 변경임을 보장한다.

실험 결과

연구 질문

• RQ1 K(x) 위의 q-차분 방정식이 전체 대수적 해를 가지는가의 여부는, 거의 모든 ℓ와 모든 원시 ℓ제곱 단위근 ζℓ에 대해, q = ζℓ에서의 특수화된 방정식이 k(ζℓ)(x) 위에서 전체 해 집합을 가지는가와 동치인가?
• RQ2 K(x) 위의 q-차분 모듈러스의 광역 Galois 군은 미분 방정식의 Grothendieck-Katz 추측과 유사하게, 그 곡률에 의해 특성화될 수 있는가?
• RQ3 일반적인 알고리즘이 없는 상황에서도, Q의 유한 생성 확장 위의 q-차분 모듈러스에 대해 광역 Galois 군의 아델 기술이 존재하는가?
• RQ4 K(x)에서 C(x)로의 기저 변경에 따라 Galois 군은 어떻게 행동하는가? 그리고 특수화된 설정에서 곡률을 통해 복원될 수 있는가?
• RQ5 v-curvature modulo φv는 q-차분 모듈러스의 광역 Galois 군을 재건하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 K(x) 위의 q-차분 방정식이 K(x)에서 전체 해를 가지는 것과, 거의 모든 ℓ와 모든 원시 ℓ제곱 단위근 ζℓ에 대해, q = ζℓ에서의 특수화된 방정식이 k(ζℓ)(x)에서 전체 해 집합을 가지는 것 사이에 동치임을 증명한다.
• K(x) 위의 q-차분 모듈러스의 광역 Galois 군은, 집합 C의 비어 있지 않은 cofinite 부분집합에 속하는 모든 v에 대해 φv 모odulo의 v-curvature를 포함하는 GL(MK(x))의 가장 작은 대수적 부분군이다.
• C(x) 위의 q-차분 모듈러스에 대해, 광역 Galois 군은, K(x) 위의 해당 모듈러스의 비어 있지 않은 cofinite 집합의 곡률을 포함하는 GL(MC(x))의 가장 작은 대수적 부분군이다.
• C(x) 위의 q-차분 모듈러스의 자명성은, 그 K(x)로의 기저 변경에서 비어 있지 않은 cofinite 집합의 곡률이 0이 되는 것으로 동치이다.
• K가 충분히 크면, C(x) 위의 광역 Galois 군은 K(x) 위의 광역 Galois 군의 기저 변경과 동형이다.
• 결과들은 [DV02]의 수체에서의 결과를 Q의 유한 생성 확장으로 일반화하며, 곡률 기반 특성화를 통해 Grothendieck-Katz 추측을 q-차분 설정으로 확장한다.