[论文解读] Elimination of generalised imaginaries and Galois cohomology

Dmitry Sustretov|arXiv (Cornell University)|Dec 8, 2013

Algebraic Geometry and Number Theory参考文献 22被引用 3

一句话总结

本文通过将可定义广义群胚的莫代尔等价性与伽罗瓦上同调联系起来，建立了模型论结构中消除广义虚像的上同调准则。结果表明，可消除群胚恰好对应于绝对伽罗瓦群的二阶上同调群中的平凡类，从而为在代数闭域或紧复流形中解释某些佐里基几何提供了上同调障碍。

ABSTRACT

The objective of this article is to characterise elimination of finite generalised imaginaries (as defined by Hrushovski) in terms of group cohomology. As an application, I consider series of Zariski geometries constructed by Hrushovski and Zilber, and indicate how their non-definability in algebraically closed fields and other theories is connected to eliminability of certain generalised imaginaries.

研究动机与目标

• 使用群上同调刻画模型论结构中有限广义虚像的可消除性。
• 通过识别与可定义群胚相关的上同调障碍，解决长期存在的某些佐里基几何在代数闭域中不可解释的问题。
• 通过将它们的不可定义性与相关可定义群胚的上同调类的非平凡性联系起来，统一已知的不可解释佐里基结构的例子。
• 通过证明广义虚像的可消除性对应于 $ H^2 $ 中的平凡性，扩展模型论伽罗瓦理论，推广经典上同调原理。

提出的方法

• 引入可定义群胚的莫代尔等价性概念，证明其诱导出相关广义虚像种类之间的双向解释性。
• 建立连通 $ K $-可定义群胚（其对象的同构群为阿贝尔群）的莫代尔等价类与二阶伽罗瓦上同调群 $ H^2(\text{Gal}(\text{acl}(K)/K), A) $ 之间的一一对应关系。
• 使用标准非齐次链复形定义群上同调，微分算子 $ d_n $ 作用于映射 $ G^n \to A $，并通过 $ \ker d_n / \operatorname{im} d_{n-1} $ 定义上同调。
• 将上同调工具应用于量子佐里基几何，证明其与广义虚像种类双向解释，其可定义性取决于相关上同调类的平凡性。
• 利用射影代数簇（如在紧复流形中）的绝对伽罗瓦群与代数闭域的绝对伽罗瓦群相同这一事实，从而一个结构中可消除性意味着另一个结构中也可消除。
• 通过在 $ \operatorname{acl}(K) $ 上使用分裂扭子条件，确保上同调对应关系成立，从而将模型论中的可消除性转化为代数上同调术语。

实验结果

研究问题

• RQ1 何种上同调条件决定了广义虚像种类在一阶结构中的可消除性？
• RQ2 广义虚像的可消除性与佐里基几何在代数闭域中的可解释性之间有何关系？
• RQ3 某些量子佐里基几何的不可定义性是否可由非平凡的伽罗瓦上同调类解释？
• RQ4 一个结构在紧复流形中的可解释性是否等价于其在代数闭域中的可解释性？其背后的上同调条件是什么？
• RQ5 可定义群胚的莫代尔等价性与其相关伽罗瓦群的上同调之间有何关系？

主要发现

• 可消除的广义虚像恰好对应于绝对伽罗瓦群 $ G $ 的二阶伽罗瓦上同调群 $ H^2(G, A) $ 中的平凡类，其中 $ A $ 为群胚对象的同构群。
• 量子佐里基几何与广义虚像种类双向解释，因此其在代数闭域中的可定义性可归结为相关群胚的可消除性。
• 此类结构在紧复流形中的可解释性等价于其在代数闭域中的可解释性，原因在于其绝对伽罗瓦群同构。
• 可消除性的上同调障碍由群胚对象同构群相关的 $ H^2 $ 类的非平凡性所捕获。
• 对于 $ \operatorname{acl}(K) $ 上的分裂扭子，连通 $ K $-可定义群胚（其对象同构群为阿贝尔群）的莫代尔等价类与 $ H^2(G, A) $ 之间存在双射，其中平凡类对应可消除群胚。
• 该方法将经典伽罗瓦上同调推广至模型论语境，为研究经典设定之外的虚像提供了上同调框架。