[논문 리뷰] The inverse problem of differential Galois theory over the field R(z)

Tobias Dyckerhoff|ArXiv.org|2008. 02. 20.

Advanced Algebra and Geometry참고 문헌 9인용 수 14

한 줄 요약

이 논문은 ℝ 위에서 정의된 모든 선형 대수적 군이 ℝ(z) 위의 정칙 특이 미분방정식의 미분 갈루아 군으로 나타남을 증명한다. 비대수적으로 닫힌 체 위에서의 피카르-베시오티 이론과 갈루아 수축을 이용하여, ℂ(z) 위에서의 리만-힐베르트 대응과 복소수 켤리함수 대칭을 활용해 ℂ(z)에서 ℝ(z)로 해를 수축시키며, ℝ(z) 위에서의 역문제에 대한 양의 해를 증명한다.

ABSTRACT

We describe a Picard-Vessiot theory for differential fields with non algebraically closed fields of constants. As a technique for constructing and classifying Picard-Vessiot extensions, we develop a Galois descent theory. We utilize this theory to prove that every linear algebraic group $G$ over $\mathbb{R}$ occurs as a differential Galois group over $\mathbb{R}(z)$. The main ingredient of the proof is the Riemann-Hilbert correspondence for regular singular differential equations over $\mathbb{C}(z)$.

연구 동기 및 목표

• 체의 상수가 대수적으로 닫혀 있지 않은 ℝ(z) 위에서 미분 갈루아 이론의 역문제를 해결하기 위해.
• 존재성과 분류를 보장하는 조건 하에, 상수가 대수적으로 닫혀 있지 않은 체를 가진 미분체에 대해 피카르-베시오티 이론을 확장하기 위해.
• 이러한 체 위에서 피카르-베시오티 확장을 위한 갈루아 수축 이론을 개발하여 구축과 분류를 가능하게 하기 위해.
• 복소수 켤리함수와 단일환 표현 간의 연결 고리를 확립하여 ℝ(z)로의 수축을 보장하기 위해.
• ℝ 위의 모든 선형 대수적 군이 ℝ(z) 위에서의 미분 갈루아 군으로 나타남을 증명하여, ℂ(z) 위에서의 고전적 결과를 일반화하기 위해.

제안 방법

• 상수가 대수적으로 닫혀 있지 않은 미분체에 대해 피카르-베시오티 이론을 개발하고, 약간의 대수적 조건 하에 확장의 존재성을 증명하기 위해.
• F와 F⊗KL 사이의 호환되는 Γ-작용을 갖는 피카르-베시오티 확장 간의 동치를 수립하는 갈루아 수축 체계를 구축하기 위해.
• ℂ(z) 위에서의 리만-힐베르트 대응을 사용하여 정칙 특이 미분방정식과 단일환 표현을 연결하기 위해.
• 주어진 단일환 표현이 복소수 켤리함수에 대해 불변이 되도록 하기 위해 적절한 특이점과 생성자를 선택하기 위해.
• 핵심 수축 정리 적용: ℂ(z) 위의 피카르-베시오티 확장이 복소수 켤리함수에 대해 불변이면, ℝ(z) 위의 확장으로 수축됨을 보장하기 위해.
• 복소수 갈루아 군에서의 켤리함수 작용의 고정점으로서 실수 미분 갈루아 군을 구성하며, 자리지 밀도를 유지하기 위해.

실험 결과

연구 질문

• RQ1 ℝ 위의 모든 선형 대수적 군이 ℝ(z) 위의 피카르-베시오티 확장의 미분 갈루아 군으로 실현될 수 있는가?
• RQ2 피카르-베시오티 이론는 ℝ(z)와 같이 상수가 대수적으로 닫혀 있지 않은 체를 가진 미분체로 어떻게 확장될 수 있는가?
• RQ3 ℂ(z) 위의 피카르-베시오티 확장이 ℝ(z) 위로 수축되기 위한 조건은 무엇인가?
• RQ4 복소수 켤리함수와 정칙 특이 미분방정식의 단일환 표현 간의 상호작용은 어떻게 되는가?
• RQ5 리만-힐베르트 대응을 사용하여 ℂ(z)에서의 수축을 통해 ℝ(z) 위에서의 미분 갈루아 군을 구성할 수 있는가?

주요 결과

• ℝ 위의 모든 선형 대수적 군 G는 ℝ(z) 위의 피카르-베시오티 확장의 미분 갈루아 군으로 나타나며, 이는 이 분야에서의 역문제를 해결한다.
• 계수들이 노에테리안이고, 정수적이고, ∂-환으로서 유한 차원이며, 정칙 K-유리점이 있는 경우, ℝ(z) 위의 피카르-베시오티 확장이 존재함이 보장된다.
• 피카르-베시오티 확장의 L/K-형태의 분류는 첫 번째 갈루아 코hom로 집합 H¹(Γ, G(L))로 주어지며, 여기서 Γ = Gal(L/K)이다.
• ℂ(z) 위의 피카르-베시오티 확장이 ℝ(z)로 수축되려면, 해당 미분방정식이 자신의 복소수 켤리함수와 동치임이 필요하고 충분하다.
• ℂ(z) 위의 정칙 특이 미분방정식의 단일환 표현은 자리지 폐쇄까지의 미분 갈루아 군을 결정하며, 이 군은 켤리함수 작용에 대해 보존된다.
• ℝ(z) 위의 수축된 확장의 미분 갈루아 군은 원래의 실수 대수적 군 G와 동형이며, G(ℂ) 위의 켤리함수 작용이 G를 정의하는 갈루아 작용과 일致한다.