[논문 리뷰] Dp-finite fields I: infinitesimals and positive characteristic

Will Johnson|arXiv (Cornell University)|2019. 03. 27.

Advanced Topology and Set Theory참고 문헌 17인용 수 6

한 줄 요약

이 논문은 양의 특성을 가진 dp-유한 체가 유한 모리리 랭크를 지니거나 비자명한 헨젤리안 평가를 허용하는 경우뿐이며, 이는 헨젤리안성 추측과 셸라 추측의 핵심 케이스를 증명한다. 유한소수군의 유형정의 불변 집합을 구성하고 dp-랭크를 통한 정의 가능한 크기 개념을 사용하여, dp-최소 체 결과를 더 높은 랭크로 일반화하며, 최종적으로 양의 특성에서 순수한 dp-유한 체를 Hahn 급수체 $\mathbb{F}_p((\Gamma))$로 분류한다. 여기서 $\Gamma$ 는 dp-유한한 $p$-나누어지는 값군이다.

ABSTRACT

We prove that NIP valued fields of positive characteristic are henselian. Furthermore, we partially generalize the known results on dp-minimal fields to dp-finite fields. We prove a dichotomy: if K is a sufficiently saturated dp-finite expansion of a field, then either K has finite Morley rank or K has a non-trivial Aut(K/A)-invariant valuation ring for a small set A. In the positive characteristic case, we can even demand that the valuation ring is henselian. Using this, we classify the positive characteristic dp-finite pure fields.

연구 동기 및 목표

• dp-최소 체 결과를 더 높은 dp-랭크를 가진 dp-유한 체로 확장한다.
• 양의 특성에서 NIP가치화된 체에 대한 헨젤리안성 추측을 증명한다.
• dp-유한 체는 유한 모리리 랭크를 지니거나, Aut-불변인 비자명한 평가를 허용하는 이분법을 확립한다.
• 양의 특성에서 순수한 dp-유한 체를 원소 동치에 대해 분류한다.
• dp-유한 체에 대해 셸라 추측을 양의 특성에서 일반화한다.

제안 방법

• 구조 내에서 전체 dp-랭크를 가진 집합을 '크다'로 정의하여, 정의 가능성과 일관성 조건을 만족시키기 위해 dp-최소 체의 '무한성' 개념을 대체한다.
• 작은 이동에 대해 닫혀 있는 집합들의 교차를 이용해 유형정의 불변의 무한소군을 구성한다.
• 무한소군이 양호한 Bezout 도메인을 생성함을 증명하며, 이는 값군의 유한한 교차이다.
• 무한소군과 관련된 값군은 소수 집합을 고정하는 자동형사상에 대해 불변임을 보인다.
• 중국인의 나머지 정리와 자동형사상 불변성을 활용하여 비자명한 헨젤리안 값군을 고립한다.
• 제품에서의 준최소 집합과 정의 가능한 랭크 결과를 활용하여 시몬의 정의 가능한 랭크 정리를 더 높은 dp-랭크 설정으로 확장한다.

실험 결과

연구 질문

• RQ1 dp-최소 체에서 사용된 무한소 구성은 더 높은 랭크를 가진 dp-유한 체로 일반화될 수 있는가?
• RQ2 모든 NIP가치화된 체가 양의 특성에서 헨젤리안인가?
• RQ3 충분히 포화된 양의 특성에서의 dp-유한 체는 유한 모리리 랭크를 지니거나, 비자명한 Aut(K/A)-불변 값군을 허용하는가?
• RQ4 양의 특성에서 순수한 dp-유한 체는 원소 동치에 대해 분류될 수 있는가?
• RQ5 셸라 추측은 dp-유한 체에 대해 양의 특성에서 성립하는가?

주요 결과

• 충분히 포화된 양의 특성에서의 dp-유한 체는 유한 모리리 랭크를 지니거나, 어떤 소수 집합 A에 대해 Aut(K/A)-불변인 비자명한 값군을 허용한다.
• 이 값군의 헨젤리안성은 양의 특성에서 증명되어, 그 설정에서 NIP가치화된 체에 대한 헨젤리안성 추측이 증명된다.
• 무한한 dp-유한 체에서 모든 K-정의 가능한 값군의 교차는 대수적으로 닫힌 잔여체를 가진 헨젤리안 값군을 이룬다.
• 만약 dp-유한 체에서 모든 정의 가능한 값군이 자명하다면, 그 체는 대수적으로 닫혀 있다.
• 원소 동치에 대해, 양의 특성에서 순수한 dp-유한 체는 정확히 Hahn 급수체 $\mathbb{F}_p((\Gamma))$이며, 여기서 $\Gamma$ 는 dp-유한한 $p$-나누어지는 값군이다.
• 이 분류는 양의 특성에서 dp-유한 체에 대한 셸라 추측을 확인한다.