[논문 리뷰] Differential Galois Theory of Algebraic Lie-Vessiot Systems

David Blázquez-Sanz, Juan José Morales-Ruiz|ArXiv.org|2009. 01. 28.

Algebraic Geometry and Number Theory참고 문헌 23인용 수 12

한 줄 요약

이 논문은 대수적 동차공간 위의 대수적 리-베시에 시스템에 대한 미분 갈루아 이론을 개발하며, 고전적 피카르-베시에 이론을 확장한다. 리-콜킨 감소법을 도입하고, 이러한 시스템이 콜킨의 강한 정규 확장에 의해 해결 가능하다는 것을 보이며, 기하학적으로 갈루아 군에 대한 주 동차공간 위의 함수체로 해석된다.

ABSTRACT

In this paper we develop a differential Galois theory for algebraic Lie-Vessiot systems in algebraic homogeneous spaces. Lie-Vessiot systems are non autonomous vector fields that are linear combinations with time-dependent coefficients of fundamental vector fields of an algebraic Lie group action. Those systems are the building blocks for differential equations that admit superposition of solutions. Lie-Vessiot systems in algebraic homogeneous spaces include the case of linear differential equations. Therefore, the differential Galois theory for Lie-Vessiot systems is an extension of the classical Picard-Vessiot theory. In particular, algebraic Lie-Vessiot systems are solvable in terms of Kolchin's strongly normal extensions. Therefore, strongly normal extensions are geometrically interpreted as the fields of functions on principal homogeneous spaces over the Galois group. Finally we consider the problem of integrability and solvability of automorphic differential equations. Our main tool is a classical method of reduction, somewhere cited as Lie reduction. We develop and algebraic version of this method, that we call Lie-Kolchin reduction. Obstructions to the application are related to Galois cohomology.

연구 동기 및 목표

• 고전적 미분 갈루아 이론을 대수적 동차공간 위의 대수적 리-베시에 시스템으로 확장하기.
• 갈루아 군에 대한 주 동차공간을 통해 콜킨의 강한 정규 확장의 기하학적 해석 제공하기.
• 자기동차 미분방정식의 적분 가능성을 분석하기 위한, 리의 감소법의 대수적 형태인 리-콜킨 감소법 개발하기.
• 갈루아 코hom로지의 관점에서 적분 가능성의 장애를 규명하기.
• 초월법칙을 갖는 선형 및 비선형 미분방정식에 대해 피카르-베시에 프레임워크를 통합하고 일반화하기.

제안 방법

• 미분체 $Τ$ 의 표준 도함수와 호환되는 $Ω_{M_{\mathcal{K}}}$ 위의 도함수로 리-베시에 시스템을 형식화하기.
• 대수기하학과 미분대수학을 적용하여, 상수체가 $Τ$ 인 미분체 위의 대수다양체 위의 도함수 연구하기.
• 리의 고전적 감소법의 대수적 형태인 리-콜킨 감소법을 도입하여, 시스템의 체계적 단순화 가능하게 하기.
• 대수적 군의 구조와 그들이 동차공간 위에 작용하는 방식을 이용하여 시스템을 해법 가능한 형태로 감소시키기.
• 해법 가능성의 특성화에 강한 정규 확장을 이용한 미분 갈루아 이론의 이론에 의존하기.
• 특히 토르서와 내림내림의 맥락에서, 감소의 장애를 갈루아 코호몰로지로 분석하기.

실험 결과

연구 질문

• RQ1 어떻게 대수적 동차공간 위의 대수적 리-베시에 시스템에 대해 미분 갈루아 이론을 일반화할 수 있는가?
• RQ2 리-베시에 시스템의 맥락에서 콜킨의 강한 정규 확장은 어떤 대수기하학적 해석을 갖는가?
• RQ3 리-콜킨 감소법은 고전적 리 감소법을 어떤 방식으로 대수적 환경으로 확장하는가?
• RQ4 갈루아 코호몰로지는 자기동차 미분방정식의 적분 가능성 장애에 어떤 역할을 하는가?
• RQ5 동차공간 위의 리-베시에 시스템은 선형 미분방정식과 초월법칙과 어떻게 관련되어 있는가?

주요 결과

• 대수적 리-베시에 시스템은 콜킨의 강한 정규 확장에 의해 해법 가능하며, 피카르-베시에 이론을 일반화한다.
• 강한 정규 확장은 갈루아 군에 대한 주 동차공간 위의 유리함수체로 기하학적으로 실현된다.
• 리-콜킨 감소법은 동차공간 위의 리-베시에 시스템을 감소시키기 위한 체계적인 대수적 프레임워크를 제공한다.
• 리-콜킨 감소법 적용의 장애는 갈루아 군의 코호몰로지, 특히 갈루아 군의 코호몰로지에서 코딩된다.
• 이 이론은 초월법칙을 갖는 선형 및 비선형 미분방정식의 적분 가능성 연구를 통합한다.
• 이 프레임워크는 선형 미분방정식을 특수한 경우로 포함하는, 대수적 동차공간 위의 시스템에 적용 가능하다.