[논문 리뷰] Decidability via the tilting correspondence

Konstantinos Kartas|arXiv (Cornell University)|2020. 01. 13.

Advanced Differential Equations and Dynamical Systems참고 문헌 32인용 수 5

한 줄 요약

이 논문은 편향된 기하학에서의 기울임 대응을 활용하여, 무한히 분기된 혼합 특성의 수체인 $\mathbb{Q}_p(p^{1/p^\infty})$, $\mathbb{Q}_p(\zeta_{p^\infty})$, 및 $\mathbb{Q}_p^{ab}$에 대한 상대적 결정 가능성 결과를 확립한다. 특별히, $\mathbb{F}_p((t))$ 및 $\overline{\mathbb{F}}_p((t))$의 완전 펄스와 같은 특성 $p$의 대응체의 결정 가능성은 혼합 특성의 수체의 결정 가능성으로 이어진다.

ABSTRACT

We prove a relative decidability result for perfectoid fields. This applies to show that the fields $\mathbb{Q}_p(p^{1/p^{\infty}})$ and $\mathbb{Q}_p(ζ_{p^{\infty}})$ are (existentially) decidable relative to the perfect hull of $ \mathbb{F}_p(\!(t)\!)$ and $\mathbb{Q}_p^{ab}$ is (existentially) decidable relative to the perfect hull of $\overline{ \mathbb{F}}_p(\!(t)\!)$. We also prove some unconditional decidability results in mixed characteristic via reduction to characteristic $p$.

연구 동기 및 목표

• 편향된 기하학을 이용하여 특성 $p$에서 혼합 특성의 헨젤 수체로의 결정 가능성 결과를 이행하는 프레임워크를 구축하는 것.
• 특히 $p$-진 수체의 무한한 분기 구조를 가진 핵심 수체인 $\mathbb{Q}_p(p^{1/p^\infty})$, $\mathbb{Q}_p(\zeta_{p^\infty})$, 및 $\mathbb{Q}_p^{ab}$에 대한 열린 결정 가능성 문제를 해결하는 것.
• 특성 $p$의 수체인 $\mathbb{F}_p((t))$ 및 $\overline{\mathbb{F}}_p((t))$의 완전 펄스의 결정 가능성은 그 혼합 특성의 대응체의 결정 가능성으로 이어진다는 것을 보여주는 것.
• 기울임을 통해 특성 $p$로의 축소를 통해 이러한 수체의 전체 이론을 연구하기 위한 기본적인 모델 이론적 도구를 마련하는 것.
• 특히 단위근과 $p$-거듭제곱 루트를 통한 유래된 무한 분기 구조를 가진 $p$-진 수체의 결정 가능성에 관한 오랜 동안의 추측을 다루는 것.

제안 방법

• 혼합 특성의 페르페크트로이드 수체와 그 특성 $p$의 대응체 사이의 기울임 대응을 활용하며, 이는 핵심 모델 이론적 성질을 유지한다.
• 축소된 형태의 Ax-Kochen/Ershov 원리를 적용하여, 프로베누스 구조를 통한 기울임(특성 $p$)에서의 결정 가능성으로 혼합 특성에서의 결정 가능성을 감소시킨다.
• 기하학적 일반화된 그린버그 정리를 활용하여 $t^{p^N}$ 모듈로의 존재론적 문장들을 $t$ 모듈로의 문장들로 감소시켜, 해의 귀납적 승강을 가능하게 한다.
• 특성 $p$의 루트 구조와 프로베누스 준동형을 사용하여 잔여체에서의 해를 페르페크트로이드 정수환으로 이행한다.
• $\mathbb{F}_p[[t]]^{1/p^\infty}$에 존재하는 링 준동형을 이용하여, 최대 이상수에서 $t$를 $y^{p^\kappa}$로 매핑함으로써 해의 승강을 가능하게 한다.
• 혼합 특성에서의 존재론적 및 $\exists^+$-정의 가능한 문장들을, $\mathbb{F}_p((t))$ 및 $\overline{\mathbb{F}}_p((t))$의 완전 펄스로 동치 문장들로 감소시킨다.

실험 결과

연구 질문

• RQ1 언제 $\mathbb{F}_p((t))^{1/p^\infty}$가 $L_{\text{val}}(t)$에서 존재론적으로 결정 가능하면, $\mathbb{Q}_p(p^{1/p^\infty})$는 $L_{\text{val}}$에서 존재론적으로 결정 가능할까?
• RQ2 언제 $\overline{\mathbb{F}}_p((t))^{1/p^\infty}$가 $L_{\text{val}}(t)$에서 존재론적으로 결정 가능하면, $\mathbb{Q}_p^{ab}$는 $L_{\text{val}}$에서 존재론적으로 결정 가능할까?
• RQ3 $\mathbb{Q}_p(p^{1/p^\infty})$와 $\mathbb{F}_p((t))^{1/p^\infty}$의 $\exists^+$-이론 사이에 튜링 등가성이 존재하는가?
• RQ4 기울임 대응을 통해 특성 $p$에서 혼합 특성으로의 결정 가능성 결과를 균일하게 이행할 수 있는가?
• RQ5 이러한 결과를 이 수체의 전체 일阶 논리 이론으로 확장하는 데 있어 모델 이론적 장애 요소는 무엇인가?

주요 결과

• 논문은 $\mathbb{F}_p((t))^{1/p^\infty}$가 $L_{\text{val}}(t)$에서 존재론적으로 결정 가능하면, $\mathbb{Q}_p(p^{1/p^\infty})$가 $L_{\text{val}}$에서 존재론적으로 결정 가능하다는 것을 증명한다.
• 유사하게, $\overline{\mathbb{F}}_p((t))^{1/p^\infty}$가 $L_{\text{val}}(t)$에서 존재론적으로 결정 가능하면, $\mathbb{Q}_p^{ab}$도 $L_{\text{val}}$에서 존재론적으로 결정 가능하다.
• 이 증명은 기울임 대응과 프로베누스 승강을 통해 $\mathbb{Q}_p(p^{1/p^\infty})$에서의 존재론적 문장을 $\mathbb{F}_p[[t]]^{1/p^\infty}$의 문장들로 감소시키는 데 의존한다.
• 논문은 $\mathbb{F}_p[[t]]^{1/p^\infty} \models \exists x_1,\dots,x_m \bigwedge_i f_i(x_1,\dots,x_m,t) = 0$이면, $\mathbb{F}_p[t^{1/p^\infty}]/(t) \models \forall y \in \mathfrak{m} \, \exists x_1,\dots,x_m \bigwedge_i f_i(x_1,\dots,x_m,y) = 0$임을 증명한다.
• 반복된 프로베누스를 사용하여 $t^{p^N}$ 모듈로의 해를 $t$ 모듈로의 해로 감소시켜, 모레-베일리의 일반화된 그린버그 정리를 적용할 수 있도록 한다.
• 결과적으로, $\text{Th}_{\exists^+}(\mathbb{F}_p[[t]]^{1/p^\infty})$가 $L_{\text{val}}(t)$에서 결정 가능하다면, $\mathbb{Q}_p(p^{1/p^\infty})$ 및 관련 수체의 결정 가능성 문제는 해결될 것이다.