[논문 리뷰] Parameterized generic Galois groups for q-difference equations, followed by the appendix "The Galois D-groupoid of a q-difference system" by Anne Granier

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

Nonlinear Waves and Solitons참고 문헌 10인용 수 8

한 줄 요약

이 논문은 K(x) 위의 미분군으로서 q-차수 방정식에 대한 매개변수화된 일반 갈루아 군을 도입하며, 집합 𝒞에 속하는 자리에서의 곡률에 대한 군을 특징으로 한다. 선형 경우에 이 군이 말그랑주-그라니에 D-군의족과 일치함을 증명함으로써, 콜킨의 미분 갈루아 이론과 말그랑주의 비선형 시스템에 대한 D-군의족 프레임워크를 통합한다.

ABSTRACT

We introduce the parameterized generic Galois group of a q-difference module, that is a differential group in the sense of Kolchin. It is associated to the smallest differential tannakian category generated by the q-difference module, equipped with the forgetful functor. Our previous results on the Grothendieck conjecture for q-difference equations lead to an adelic description of the parameterized generic Galois group, in the spirit of the Grothendieck-Katz's conjecture on p-curvatures. Using this description, we show that the Malgrange-Granier D-groupoid of a nonlinear q-difference system coincides, in the linear case, with the parameterized generic Galois group introduced here. The paper is followed by an appendix by A. Granier, that provides a quick introduction to the D-groupoid of a non-linear q-difference equation.

연구 동기 및 목표

• K(x) 위의 q-차수 모듈러스에 대한 매개변수화된 일반 갈루아 군을 정의하여, 더 큰 미분 닫힘에서 정의된 이전 군을 대체한다.
• 그로텐디크-카츠 p-곡률 추측에 영감을 받아, 집합 𝒞에 속하는 자리에서의 곡률에 대한 산술적 특성화를 통해 이 갈루아 군을 제공한다.
• 콜킨의 선형 미분 군 이론과 말그랑주의 비선형 q-차수 시스템에 대한 D-군의족 간의 다리를 놓는다.
• 비선형 q-차수 시스템의 말그랑주-그라니에 D-군의족이 선형 경우에 매개변수화된 일반 갈루아 군으로 축소됨을 보인다.
• 특히 본 논문의 군과 하르두인-싱어의 매개변수화된 갈루아 군을 비교함으로써, q-차수 방정식에 대한 다양한 갈루아 이론 간의 관계를 명확히 한다.

제안 방법

• 모든 v ∈ 𝒞에 대해 거의 모든 v에 대해 φ_v 모듈로의 축소가 v-곡률의 모듈로 φ_v를 포함하는, GL(M)의 최소 미분부분군으로서 매개변수화된 일반 갈루아 군을 정의한다.
• DVH11a에서 제시한 곡률의 아델릭 기술을 활용하여 국소적 축소를 통해 갈루아 군을 산술적으로 특성화한다.
• 특히 말그랑주의 D-군의족 구축 이론을 적용하여 비선형 q-차수 시스템에 대해 미분 군의족 이론을 적용한다.
• 기저 다양체의 재진공간에 있는 미분 이상의 층을 통해 q-차수 시스템의 갈루아 D-군의족을 구성한다.
• 선형화된 대칭을 나타내는, 전이직선을 유지하는 해를 분리하기 위해 𝒢al(A(x)) ∩ 𝒯rv 라는 교차 D-군의족을 정의한다.
• 전이직선 근처의 D-군의족 해를 GL_ν(ℂ{{x−x₀}})의 부분군과 연결함으로써 국소 해석적 자료와 전반적 갈루아 구조를 연결한다.

실험 결과

연구 질문

• RQ1 매개변수화된 갈루아 군을 더 작은 체, 예를 들어 K(x) 위에서 정의할 수 있는가?
• RQ2 집합 𝒞에 속하는 자리에서의 곡률에 대한 산술적 특성화로서 매개변수화된 일반 갈루아 군은 어떻게 기술할 수 있는가?
• RQ3 비선형 q-차수 시스템에 대한 말그랑주-그라니에 D-군의족이 선형 경우에 매개변수화된 일반 갈루아 군과 일치하는가?
• RQ4 갈루아 D-군의족의 해가 재진공간에서 전이직선을 유지하는 국소 미분동형사상과 어떻게 관련이 있는가?
• RQ5 D-군의족 프레임워크는 콜킨의 미분 갈루아 이론과 말그랑주의 비선형 시스템 접근법을 통합할 수 있는가?

주요 결과

• 매개변수화된 일반 갈루아 군은 K(x) 위에서 정의되며, 하르두인-싱어의 매개변수화된 갈루아 군보다 더 작고 더 산술적인 대안을 제공한다.
• 이 군은 거의 모든 v ∈ 𝒞에 대해 φ_v 모듈로의 축소가 v-곡률의 φ_v 모듈로를 포함하는 GL(M)의 최소 미분부분군으로 특성화된다.
• 비선형 q-차수 시스템의 말그랑주-그라니에 D-군의족은 선형 경우에 매개변수화된 일반 갈루아 군과 일치한다.
• 전이직선을 유지하는 갈루아 D-군의족의 해는 (x,X) ↦ (x, β(x)X) 형태의 선형 변환으로서 GL_ν(ℂ{{x−x₀}})의 부분군을 이룬다.
• 상수 선형 q-차수 시스템의 경우, 전이직선을 고정하는 D-군의족 해는 GL_ν(ℂ)의 대수적 부분군을 이룬다. 이는 [Sau04]에서 제시된 고전적 q-갈루아 군과 일치한다.
• 이 구성은 콜킨의 미분 갈루아 이론과 말그랑주의 D-군의족 프레임워크 간의 자연스러운 연결 고리를 수립하였으며, B. 말그랑주의 제기한 질문에 답을 제시한다.