[논문 리뷰] Contributions to the model theory of partial differential fields

Omar León Sánchez|arXiv (Cornell University)|2013. 09. 24.

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

한 줄 요약

이 논문은 상대적 연장과 D-다양체를 도입하여 편미분체의 모형이론을 발전시켜, 갈루아 이론을 일반화하고, $DCF_{0,\ho+1}$에 대한 기하적 공리계를 $DCF_{0,\ho}$를 통해 수립하며, 자동형사상과 함께한 편미분체 이론의 모형 동반체의 존재를 증명한다. 주요 결과로는 특성 집합을 통한 $DCF_{0,\ho+1}$의 일阶 기하 공리계와, 미분-차이 모듈과 제트 공간을 통한 유한차원 유형에 대한 지르버 이분법이 있다.

ABSTRACT

In this thesis three topics on the model theory of partial differential fields are considered: the generalized Galois theory for partial differential fields, geometric axioms for the theory of partial differentially closed fields, and the existence and properties of the model companion of the theory of partial differential fields with an automorphism. The approach taken here to these subjects is to relativize the algebro geometric notions of prolongation and D-variety to differential notions with respect to a fixed differential structure.

연구 동기 및 목표

• 상대적 D-구조를 사용하여 무한차원 편미분 설정으로 일반화된 갈루아 이론을 확장한다.
• 상대적 연장과 특성 집합을 통해 $DCF_{0,\rho}$에 기반한 $DCF_{0,\rho+1}$의 기하적 공리계를 제공한다.
• 자기사상과 함께한 편미분체 이론의 모형 동반체의 존재성과 모형이론적 성질을 확립한다.
• 미분-차이 모듈과 제트 공간을 사용하여 최소 유한차원 유형에 대한 지르버 이분법을 증명한다.
• 비최대 미분 유형을 가진 미분대수적 군을 상대적 D-군의 날카운 점으로 특성화한다.

제안 방법

• 고정된 기저체 위의 미분 구조에 대해 연장과 D-다양체의代수기하학적 개념을 상대화한다.
• 로그형 미분방정식과 그 갈루아 확장을 형식화하기 위해 상대적 D-다양체와 D-군을 정의한다.
• 소수 미분 이상의 특성 집합을 사용하여 기하 공리계를 $DCF_{0,\rho+1}$에 대한 일阶 논리로 재구성한다.
• 핵심 기저와 핵심 기저 성질을 확립하기 위해 미분-차이 모듈과 제트 공간을 도입한다.
• $U$-랭크에 대한 초한귀납법을 적용하여 주어진 $U$-랭크를 갖는 덧셈군의 정의 가능 부분군을 구성한다.
• $U$-랭크와 $\triangle$-유형의 기계적 장치를 활용하여 모형 동반체 이론에서 상상의 원소 제거와 초단순성을 증명한다.

실험 결과

연구 질문

• RQ1 필레이의 일반화된 유한차원 미분 갈루아 이론은 가능한 무한차원 편미분 설정으로 어떻게 확장될 수 있는가?
• RQ2 $DCF_{0,\rho+1}$ 이론은 $DCF_{0,\rho}$의 모형이론 기하학을 사용하여 기하적으로 공리화될 수 있는가?
• RQ3 자기사상과 함께한 편미분체 이론은 모형 동반체를 갖는가? 그리고 그 모형이론적 성질은 무엇인가?
• RQ4 미분대수적 군은 상대적 D-군의 날카운 점으로 얼마나 잘 실현될 수 있는가?
• RQ5 편미분체에 자기사상이 존재하는 맥락에서, 유한차원 유형에 대해 지르버 이분법이 성립하는 조건은 무엇인가?

주요 결과

• $DCF_{0,\rho+1}$ 이론은 상대적 연장에 기반한 $DCF_{0,\rho}$ 위에서 소수 미분 이상의 특성 집합을 사용하여 일阶 기하 공리계를 갖는다.
• 자기사상과 함께한 편미분체 이론의 모형 동반체는 존재하며, 상상의 원소 제거와 초단순성을 갖는다.
• 비최대 미분 유형을 가진 모든 미분대수적 군은 상대적 D-군의 날카운 점과 정의 가능하게 동형이다.
• $\bbU$의 일반형의 $U$-랭크는 소형 부분구조 위에서 $\boxed{\boxed{\rho}}$이다.
• $\bbN^m$으로 수렴하는 $r$에 대해 $(G_r)_{r \to \bbN^m}$의 정의 가능 부분군 가닥은 $\boxed{\boxed{\rho}}$에 코 final인 $U$-랭크를 실현하며, $r$이 변할수록 $U(G_r) \to \rho$이다.
• $DCF_{0,\rho}A$에서 최소 유한차원 유형에 대해 지르버 이분법이 성립하며, 이는 미분-차이 모듈과 제트 공간을 통한 핵심 기저 성질을 통해 확립된다.