基本群的反倾斜：带标号基本群同构的构造——算术全纯结构

设 $p$ 为素数。设 $X/E$ 为有限扩张 $E/\mathbb{Q}_p$ 上几何连通、光滑、拟射影簇。本文证明了 $X/E$ 的缓和（进而也是 étale）基本群存在由不同算术全纯结构标记的同构，正如 Riemann 面 $\Sigma$ 的基本群同构可以由 $\Sigma$ 的 Teichmuller 空间中的 Riemann 面（即复全纯结构）$\Sigma'$ 标记。这是 [Joshi, 2021a,b,c, 2022] 中所阐述理论的起点，本文旨在对其进行简要概述与宣告。本文引入的算术全纯结构也提供了 Shinichi Mochizuki 在 [Mochizuki,2021a,b,c,d] 中使用的不同算术全纯结构。由于 [Scholze and Stix] 中提出了 [Mochizuki,2021a,b,c,d] 中是否存在不同算术全纯结构的问题，本文包含了对 [Scholze and Stix] 的讨论。更多细节见引言。