[논문 리뷰] Model theory of valued fields

Raf Cluckers|ArXiv.org|2003. 11. 25.

advanced mathematical theories참고 문헌 11인용 수 4

한 줄 요약

이 논문은 $\mathcal{L}_{\rm Mac}$, $\mathcal{L}_{\rm sub}$, 그리고 Denef-Pas 구조와 같은 확장된 언어를 사용하여 가澍장의 모형이론 프레임워크를 제안하며, $p$-adic 필드에 대한 $p$-미니멀리티와 셀 분해 정리 수립. 주요 기여는 하위해석적 집합과 정의 가능한 함수에 대한 $p$-adic 셀 분해이며, 이는 기호 제거를 암시하고 구성 가능한 함수의 적분 가능성을 보장한다.

ABSTRACT

We give a proposal for future development of the model theory of valued fields. We also summarize some recent results on p-adic numbers.

연구 동기 및 목표

• 확장된 언어로 $n$-승 거듭제곱, 제한된 나눗셈, 각도 성분 사상 등의 술어를 추가하여, 특히 $p$-adic 및 로랑 급수 필드를 포함한 가澍장에 대한 체계적인 모형이론적 프레임워크를 개발하기 위해.
• 비대수적으로 닫혀 있거나 비실수적으로 닫혀 있지 않은 필드에 대해 기호 제거와 $p$-미니멀리티가 성립하는 조건을 조사하기 위해.
• 정의 가능한 집합에 대한 셀 분해 정리를 $p$-adic 필드에서 확립하여 정의 가능한 함수의 준비와 통합을 가능하게 하기 위해.
• 기호 제거, $p$-미니멀리티 등의 모형이론적 성질과 헨젤성, $n$-승 거듭제곱의 유한 지수 등의 대수적 성질 간의 관계를 탐색하기 위해.
• 전체 해석 함수와 같은 추가 구조가 $p$-adic 필드에서 $p$-미니멀리티를 유지하는지 또는 파괴하는지 판단하기 위해.

제안 방법

• 기본 언어에 $n$-승 거듭제곱을 위한 술어 $P_n$ 를 추가한 언어 $\mathcal{L}_{\rm Mac}$ 의 사용으로, $p$-adic 필드 및 $\mathbb{Q}_p((t))$ 와 같은 관련 필드에서 기호 제거를 달성하기 위해.
• 제한된 나눗셈 함수 $D$ 를 도입하여 $\mathcal{L}_{\rm Mac,D}$ 를 정의함으로써, 가澍장 내에서 더 정교한 정의 가능성과 셀 분해를 가능하게 하기 위해.
• 가치군, 잔여체, 가澍장의 종류를 포함하는 세 종류의 언어인 Denef-Pas 언어를 도입하고, 가치 사상과 각도 성분 사상을 추가하여 기호 제거 결과를 일반화하기 위해.
• $p$-adic 셀 분해의 적용: 정의 가능한 집합을 중심 $\gamma$, 코셋 $\lambda P_n$, 거듭제곱 유형의 행동을 보이는 함수로 매개변수화된 분석적 셀로 분할하기 위해.
• 최근의 [13] 결과와 컴팩턴스 원리의 활용으로 하위해석적 셀 분해를 증명하여, 관련된 모든 함수가 정의도메인에서 해석적임을 보장하기 위해.
• 구성 가능한 함수 $\mathcal{C}_{\mathcal{L}}(K^m)$ 를 값 함수와 절대값 함수의 $\mathbb{Q}$-선형 조합으로 정의하여 하어르 측도를 통한 통합 가능성을 보장하기 위해.

실험 결과

연구 질문

• RQ1 기호 제거가 $\mathcal{L}_{\rm Mac,D}$ 에서 성립하면, 그로 인해 $p$-adic 필드의 정수환 $R$ 가 헨젤성을 띠는가?
• RQ2 $p$-미니멀리티 또는 $\mathcal{L}_{\rm Mac,D}$ 에서의 기호 제거가 $n > 1$ 에 대해 $[K^\times : P_n]$ 가 유한함을 암시하는 조건은 무엇인가?
• RQ3 $\mathcal{L}_{\rm Mac,D}$ 에서의 기호 제거가 성립할 때 $R$ 가 $\mathcal{L}_{\rm Mac}$-정의 가능할 수 있으며, 이는 가치군 $G$ 가 $\mathbb{Z}$-군이거나 사전 순서를 가진 $\mathbb{Z}^n$ 과 동치일 수 있음을 의미하는가?
• RQ4 $\mathbb{Q}_p$ 에서의 $p$-미니멀리티가 정의 가능한 스코렘 함수나 함수 준비를 허용하는 셀 분해를 암시하는가?
• RQ5 $p$-미니멀리티를 가지는 다른 $\mathbb{Q}_p$ 의 구조는 반대칭적이고 하위해석적인 것 외에 존재하는가?

주요 결과

• $\mathcal{L}_{\rm Mac}$ 과 $\mathcal{L}_{\rm sub}$ 에 대해 $p$-adic 셀 분해 정리가 성립하며, 정의 가능한 집합을 중심 $\gamma$, 코셋 $\lambda P_n$, 거듭제곱 유형의 행동을 보이는 함수 $f_j$ 를 가진 분석적 셀로 분할한다.
• 모든 $\mathcal{L}$-정의 가능한 함수 $f_j$ 에 대해 절대값은 각 셀에서 $|f_j(x,t)| = |h_j(x)| \cdot |(t - \gamma(x))^{a_j} \lambda^{-a_j}|^{1/n}$ 를 만족하며, 여기서 $h_j$ 는 해석적이고 $a_j$ 는 정수이다.
• $(K, \mathcal{L}_{\rm sub})$ 는 하위해석적 셀 분해와 정의 가능한 함수들이 조각별 해석적이라는 사실에 기반하여 $p$-미니멀리티를 가진다.
• $p$-adic 해석적 적분에 관한 기본 정리는 적분 $I_m(f)(\lambda) = \int_{K^n} f(\lambda,x) |dx|$ 가 구성 가능한 함수를 $\mathcal{C}_{\mathcal{L}}(K^m)$ 내의 구성 가능한 함수로 매핑한다는 것을 암시한다.
• $\mathcal{L}_{\rm Mac}$ 에 비자명한 전체 해석 함수를 추가하면 $\mathbb{Q}_p$ 에서 $p$-미니멀리티가 깨지며, 이는 $p$-미니멀리티가 언어 선택에 민감함을 보여준다.
• $p$-adic 필드 및 $\mathbb{R}((t))$, $\mathbb{C}((t))$, 반복 로랑 급수 필드와 같은 관련 필드에서 $\mathcal{L}_{\rm Mac}$ 에서 기호 제거가 성립한다.