[논문 리뷰] Real and p-adic Picard-Vessiot fields

Teresa Crespo, Zbigniew Hajto외 1명|arXiv (Cornell University)|2013. 07. 09.

Algebraic Geometry and Number Theory참고 문헌 1인용 수 4

한 줄 요약

이 논문은 Tannakian 범주와 Galois 코hom로 실수 및 p진수 폐쇄 미분체 위의 미분 모듈러에 대한 실수 및 p진수 피카르드-베시오티 필드의 존재성과 유일성을 확립한다. 자연적인 순서와 비율 조건 하에서 이러한 필드의 존재성과 유일성에 대한 순수 대수적 증명을 제공하며, 미분 Galois 이론을 통해 단순형 대수적 군의 실수 형태에 대한 역문제를 해결한다.

ABSTRACT

We consider differential modules over real and p-adic differential fields such that their field of constants is real closed (respectively p-adically closed). Using Deligne's work on Tannakian categories and a result of Serre on Galois cohomology, a purely algebraic proof of the existence and unicity of real (respectively p-adic) Picard-Vessiot fields is obtained.

연구 동기 및 목표

• 실수 및 p진수 폐쇄 미분체 위의 미분 모듈러에 대한 실수 및 p진수 피카르드-베시오티 필드의 존재성과 유일성을 확립한다.
• Tannakian 범주와 Deligne–Serre의 코hom로지 결과를 사용하여 존재성과 유일성에 대한 순수 대수적 증명을 제공한다.
• 미분 Galois 이론을 통해 실수 형태의 단순형 대수적 군에 대한 역문제를 해결한다.
• 순서와 비율이 서로 다른 피카르드-베시오티 확장들을 구별하는 데서의 역할을 명확히 한다.

제안 방법

• 미분체 위의 모듈러의 미분 Galois 군을 모델링하기 위해 Tannakian 범주 이론을 활용한다.
• P. Deligne의 Tannakian 범주 연구와 J.-P. Serre의 Galois 코호몰로지 결과를 적용하여 기본체와 확장체 사이의 코호몰로지 클래스 간 이분사성을 확립한다.
• 미분 모듈러의 Tannakian 범주에서 상수체 위의 벡터공간으로의 섬유 함자(construction)를 구성한다.
• 섬유 함자의 존재를 이용하여 Tannakian 체계에서 유도된 미분환의 분수체로 피카르드-베시오티 필드를 구성한다.
• 기본체 위의 전체 순서 또는 p진수 비율과의 호환성을 요구하여 피카르드-베시오티 필드에 실수 또는 p진수 구조를 도입한다.
• 이 이론을 적용하여 실수 또는 p진수 폐쇄 체 위의 단순형 군의 모든 형태가 어떤 미분 모듈러의 미분 Galois 군으로서 실현될 수 있음을 보인다.

실험 결과

연구 질문

• RQ1 실수 폐쇄 상수를 가진 실수 미분체 위의 모든 미분 모듈러에 대해 실수 피카르드-베시오티 필드가 존재하는가?
• RQ2 동일한 모듈러에 대해 두 실수 피카르드-베시오티 필드가 미분체로서 동형일 조건은 무엇인가?
• RQ3 모든 실수 형태의 단순형 대수적 군이 실수 폐쇄 체 위의 어떤 미분 모듈러의 미분 Galois 군으로 나타날 수 있는가?
• RQ4 p진수 비율과 폐쇄는 p진수 피카르드-베시오티 필드의 분류에 어떻게 영향을 미치는가?
• RQ5 상수체는 모듈러의 미분 Galois 군을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 실수 폐쇄 상수를 가진 실수 미분체 위의 모든 미분 모듈러에 대해 실수 피카르드-베시오티 필드가 존재한다.
• 동일한 모듈러에 대해 두 실수 피카르드-베시오티 필드가 기본체 위의 동일한 전체 순서를 유도할 경우, 이들은 미분체로서 동형이다.
• p진수 폐쇄 상수를 가진 p진수 미분체 위의 모든 미분 모듈러에 대해 p진수 피카르드-베시오티 필드가 존재한다.
• 두 p진수 피카르드-베시오티 필드가 기본체 위에서 동일한 비율을 유도하고, 모든 n ≥ 2에 대해 n제곱 원소가 일치할 경우, 이들은 미분체로서 동형이다.
• 실수 폐쇄 체 위의 단순형 대수적 군의 모든 실수 형태는 실수 미분체 위의 어떤 미분 모듈러의 미분 Galois 군으로서 실현될 수 있다.
• 실수 폐쇄 체 위의 모듈러의 미분 Galois 군은 해공간 위의 대칭 이차형식의 부호에 의해 결정되는 실수 형태의 군과 동형이다.