[논문 리뷰] Model theory of the field of $p$-adic numbers expanded by a multiplicative subgroup

Nathanaël Mariaule|arXiv (Cornell University)|2018. 03. 28.

advanced mathematical theories참고 문헌 15인용 수 5

한 줄 요약

이 논문은 $p$-진수 체에 다중성 부분군 $G$를 추가한 구조에 대해 모형이론적 프레임워크를 개발하며, 맨 성질과 소형 조건 하에서 공리화, 양자자르기 제거, 그리고 NIP (NIP) 성질을 확립한다. $G$가 유한 생성이거나 $1+p^n\mathbb{Z}_p$ 에 밀도가 있을 경우 $(\mathbb{Q}_p, G)$ 이론이 NIP임을 증명하고, 하위해석적 설정으로 확장하여 $p$-진 아이와사 로그까지 포함한다.

ABSTRACT

Let $G$ be a multiplicative subgroup of $\mathbb{Q}_p$. In this paper, we describe the theory of the pair $(\mathbb{Q}_p, G)$ under the condition that $G$ satisfies Mann property and is small as subset of a first-order structure. First, we give an axiomatisation of the first-order theory of this structure. This includes an axiomatisation of the theory of the group $G$ as valued group (with the valuation induced on $G$ by the $p$-adic valuation). If the subgroups $G^{[n]}$ of $G$ have finite index for all $n$, we describe the definable sets in this theory and prove that it is NIP. Finally, we extend some of our results to the subanalytic setting.

연구 동기 및 목표

• 맨 성질과 소형 조건 하에서 $\mathbb{Q}_p$ 에 다중성 부분군 $G$를 추가한 일阶논리 이론을 공리화하기.
• $G^{[n]}$ 가 모든 $n$ 에 대해 유한 지수를 가지는 경우 $(\mathbb{Q}_p, G)$ 내 정의 가능한 집합을 특성화하기.
• 하위해석적 언어 $\mathcal{L}_{an}^D$ 로의 모형이론적 분석 확장, 특히 $p$-진 아이와사 로그에 대해.
• $G$ 가 유한 생성이거나 $1+p^n\mathbb{Z}_p$ 에 밀도가 있을 경우 $(\mathbb{Q}_p, G)$ 이론이 NIP임을 증명하기.
• $p$-진 아이와사 로그를 포함하는 구조에 대해 하위해석적 언어에서의 양자자르기 제거를 확립하기.

제안 방법

• $G$ 를 이산 순환 부분군과 $1+p^n\mathbb{Z}_p$ 내부의 조밀 부분군 $D$ 로 분해하여, 각각을 가치 이론적 구조로 분석하기.
• 요소의 가치 클래스 대표자를 선택하는 함수 기호 $\lambda$ 를 도입하여 언어 $\mathcal{L}_{Pres}$ 에서의 양자자르기 제거를 가능하게 하기.
• $D$ 의 이론을 가치군으로서 공리화하고, 자연스러운 언어에서 양자자르기 제거와 NIP 를 증명하기.
• 맨 성질을 사용하여 체 $\mathbb{Q}(G)$ 를 제어함으로써 모형이론적 순수성 확보하기.
• $p$-진 폐쇄 체와 가치군의 결과를 적용하여, 이 구조 내의 무작위 수열이 NIP임을 보이기.
• 하위해석 함수와 로그를 포함하기 위해 언어를 $\mathcal{L}_{an}^D(\lambda, A)$ 로 확장하고, $(\mathbb{Q}_p, G)$ 와 $(\mathbb{Q}_p, \mathrm{LOG})$ 에 대해 양자자르기 제거와 NIP 를 증명하기.

실험 결과

연구 질문

• RQ1 다중성 부분군 $G$ 에 대해 $(\mathbb{Q}_p, G)$ 이론이 공리화 가능한 조건은 무엇인가?
• RQ2 구조 $(\mathbb{Q}_p, G)$ 가 양자자르기 제거를 갖는 조건은 무엇이며, 어떤 언어 확장이 필요한가?
• RQ3 모든 $n$ 에 대해 $G^{[n]}$ 이 $G$ 에서 유한 지수를 가질 경우 $(\mathbb{Q}_p, G)$ 내 정의 가능한 집합의 성격은 무엇인가?
• RQ4 $(\mathbb{Q}_p, G)$ 의 모형이론은 하위해석적 설정으로 어떻게 확장되며, 특히 $p$-진 아이와사 로그에 대해 어떻게 적용되는가?
• RQ5 $G$ 가 유한 생성이거나 $1+p^n\mathbb{Z}_p$ 에 밀도가 있을 경우 $(\mathbb{Q}_p, G)$ 이론이 NIP인가?

주요 결과

• G 가 맨 성질을 만족하고 소형일 경우 $(\mathbb{Q}_p, G)$ 이론은 공리화 가능하며, 이 구조는 이산 부분군과 조밀 부분군으로 분해된다.
• 값별 클래스의 대표자를 선택하는 함수 $\lambda$ 를 추가함으로써 언어 $\mathcal{L}_{Pres}$ 에서의 양자자르기 제거가 달성된다.
• 조밀 부분군 $D$ 를 가치군으로 간주한 이론은 자연스러운 언어에서 NIP 이며, 양자자르기 제거를 갖는다.
• 모든 $n$ 에 대해 $G^{[n]}$ 이 $G$ 에서 유한 지수를 가지는 경우 $(\mathbb{Q}_p, G)$ 내 정의 가능한 집합이 완전히 특성화된다.
• 유한 생성 부분군 $G$ 가 $1+p\mathbb{Z}_p$ 에 속해 있을 경우 $(\mathbb{Q}_p, G)$ 이론은 NIP 이며, 하위해석적 언어에서 $G = p^\mathbb{Z}$ 일 경우에도 동일한 성질이 성립한다.
• LOG 가 $p$-진 아이와사 로그일 경우 $(\mathbb{Q}_p, \mathrm{LOG})$ 이론은 언어 $\mathcal{L}_{an}^D(\lambda, A)$ 에서 양자자르기 제거를 갖으며, NIP 이다.