[논문 리뷰] Cell decomposition and classification of definable sets in p-optimal fields

Luck Darnière, Immanuel Halupczok|arXiv (Cornell University)|2014. 12. 08.

Advanced Topology and Set Theory참고 문헌 16인용 수 10

한 줄 요약

이 논문은 [Den84]의 Denef의 방법을 사용하여, 모든 p-적적으로 닫힌 체를 포함하는 광범위한 p-최소 체의 일반화인 p-최적 체에 대해 세포 분해 정리를 수립한다. 정의 가능한 스코렘 함수의 존재성과 강한 p-최소성, 그리고 극값 성질을 만족할 경우, 이는 두 무한한 정의 가능한 집합이 정의 가능한 전단사 함수를 가질 조건이 그 차원이 동일할 때에만 성립한다는 준비 정리를 유도한다.

ABSTRACT

We prove that for p-optimal fields (a very large subclass of p-minimal fields containing all the known examples) a cell decomposition theorem follows from methods going back to Denef's paper [Invent. Math, 77 (1984)]. We derive from it the existence of definable Skolem functions and strong p-minimality. Then we turn to strongly p-optimal fields satisfying the Extreme Value Property (a property which in particular holds in fields which are elementarily equivalent to a p-adic one). For such fields K, we prove that every definable subset of KxK^d whose fibers are inverse images by the valuation of subsets of the value group, are semi-algebraic. Combining the two we get a preparation theorem for definable functions on p-optimal fields satisfying the Extreme Value Property, from which it follows that infinite sets definable over such fields are isomorphic iff they have the same dimension.

연구 동기 및 목표

• p-최적 체—p-적적으로 닫힌 체를 포함하는 광범위한 p-최소 체의 클래스—로 Denef의 세포 분해 기법을 [Den84]에서 확장한다.
• p-최적 체에서 정의 가능한 스코렘 함수의 존재성과 강한 p-최소성의 수립.
• 극값 성질을 만족하는 p-최적 체에서 정의 가능한 함수에 대한 준비 정리 유도.
• 차원 불변성을 이용하여 무한한 정의 가능한 집합들을 정의 가능한 전단사 함수에 따라 분류.
• [Clu04]의 응용—예를 들어 Poincaré 급수의 유리성 및 부분해석적 집합의 분류—을 극값 성질을 갖는 p-최적 체로 일반화.

제안 방법

• 가환 체 이론적 구조와 정의 가능한 함수를 활용하여 Denef의 세포 분해 프레임워크를 p-최적 체에 적응시킨다.
• 극값 성질을 사용하여 정의 가능한 함수의 행동을 통제하고, 유효도 수준에서의 균일성을 확보한다.
• 단위군 $\mathbf{U}_e$와 유효도 환을 통한 업로드 기법을 적용하여 함수 표현을 준대수적 형태로 환원한다.
• 차원에 대한 귀납법을 활용하여 정의 가능한 집합과 준대수적 집합 사이의 정의 가능한 전단사 함수를 구성한다.
• $\mathcal{U}_{e,n}$-함수의 존재성을 활용하여 $\pi^n R$ 모듈로 값들을 매개변수화함으로써 함수 노름에 대한 정밀한 제어를 실현한다.
• 정의 가능한 함수를 단위 함수와 유효도 변수의 단항식의 곱으로 표현하고, 준대수적 계수를 갖도록 준비 정리를 수립한다.

실험 결과

연구 질문

• RQ1 Denef의 방법을 [Den84]에서 확장하여 p-최적 체에서도 세포 분해 정리가 성립하는가?
• RQ2 p-최적 체는 정의 가능한 스코렘 함수와 강한 p-최소성을 갖는가?
• RQ3 극값 성질을 만족하는 p-최적 체에서 정의 가능한 함수에 대해 준비 정리를 수립할 수 있는가?
• RQ4 p-최적 체에서 두 무한한 정의 가능한 집합이 정의 가능한 전단사 함수를 갖는 조건은 무엇인가?
• RQ5 [Clu04]에서의 p-진 해석적 구조 결과들이 p-최적 체로 얼마나 일반화되는가?

주요 결과

• p-최적 체에서 Denef의 방법 [Den84]에 기반하여 세포 분해 정리가 성립한다.
• 모든 p-최적 체는 정의 가능한 스코렘 함수를 가지며, 강하게 p-최소적이다.
• 극값 성질을 만족하는 p-최적 체에서, $K \times K^d$의 모든 정의 가능한 부분집합 중에서 값군 부분집합의 역상인 섹션을 갖는 것은 준대수적이다.
• 극값 성질을 만족하는 p-최적 체에서 정의 가능한 함수에 대한 준비 정리가 수립되었으며, 이는 이전 결과들을 정밀화한다.
• 이러한 체에서 두 무한한 정의 가능한 집합은 서로 정의 가능한 전단사 함수를 갖는다. 이는 그들이 동일한 차원을 갖는 경우에만 성립한다.
• 극값 성질을 갖는 p-최적 체로 [Clu04]의 모든 응용—Poincaré 급수의 유리성 및 부분해석적 집합의 분류 포함—이 확장된다.