首页/论文/2006.12673

arXiv 2006.126732020-06-23math.LO

具有自同构的微分闭域的Zilber二分法

Zilber's Dichotomy for Differentially Closed Fields with an Automorphism

Ronald F. Bustamante Medina

摘要：

特征零点的差分微分场理论有一个用$\it DCFA$表示的伴随模型。以前我们证明了$\it DCFA$的Zilber二分法的一个弱版本。在本文中，我们使用弧空间技术开发的Moosa，Pillay和Scanlon，以抑制额外的假设需要之前，并证明了完整的Zilber的二分法$\it DCFA$，我们还说明这些技术如何推广到偏微分场的自同构。

英文摘要：

The theory of difference-differential fields of characteristic zero has a model-companion denoted by $\it DCFA$. Previously we proved a weak version of Zilber's dichotomy for $\it DCFA$. In this paper we use arc spaces techniques as developed by Moosa, Pillay and Scanlon to suppress the extra hypothesis needed before and prove the full Zilber's dichotomy for $\it DCFA$, we also state how these techniques generalise to partial differential fields with an automorphism.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

$DCF_{0,m}$ 的 Zilber 二分法

Zilber dichotomy for $DCF_{0,m}$

本文证明了微分闭域理论 DCF$_{0,m}$ 满足 Zilber 二分法：任何极小类型或局部模，或与常数域非正交，并补全了无限维情形的证明。

2024-11-07math.LO

具有通有自同构的微分闭域的模型论

Model Theory of Differentially Closed Fields with a Generic Automorphism

E. Hrushovski证明了差分-微分场论有一个模型伴侣。我们证明了这个结果和这个理论的其他主要性质，我们称之为DCFA。我们描述了SU秩与超越度的关系。我们证明了一个版本的Zilber的二分法，我们给阿贝尔定义群的描述。

2009-07-23math.AGmath.LO

具有自同构的偏微分场的模型伴

On the model companion of partial differential fields with an automorphism

证明了具有自同构的特征为零的偏微分场类有模伴。然后，我们建立了这个理论的基本模型论性质，并证明了它满足有限维极小型的Zilber二分法。

2014-07-09math.LO

模糊复指数化

Blurred Complex Exponentiation

它表明，复杂的领域配备了“近似指数映射”，定义为从一个小组的模糊性，是quasiminimal：每个自同构不变的字段的子集是可数或共可数。如果模糊性被认为是从一个类似于常数场的子域，则所得到的“模糊指数场”同构于齐伯指数场的等效模糊的结果，以及差分闭合场的适当约简。这些结果是对Zilber关于复指数场本身是拟极小的猜想的进一步发展。证明中的一个关键因素是证明模拟的指数代数封闭性属性使用的密度组管理的模糊性相对于复杂的拓扑结构。

2019-10-28math.LO

$j$ -函数的微分势闭性

Differential Existential Closedness for the $j$-function

证明了关于$j$ -函数及其导数的微分方程的势闭性猜想。它指出，在一个微分封闭领域的某些方程涉及的微分方程的$j$ -功能有解决方案。它的后果包括一个完整的公理化的$j$ -约化的差分闭域，一个二分法的结果，强极小集在这些约化，和功能类似的模块齐伯粉红与衍生物猜想。

2020-09-06math.AGmath.LO

微分域上的适当预维数不等式

Adequate Predimension Inequalities in Differential Fields

本文研究了微分域上的预维不等式，并定义了这样一个不等式是\emph{adequate}的意义。非正式地介绍了Zilber，在这里，我们给出了一个精确的定义在一个相当普遍的情况下。我们还讨论了这个问题的可定义性的导子在差分闭域的约简连接。指数微分方程的Ax-Schanuel不等式（Ax证明）和$j$ -函数微分方程的类似不等式（Pila和Tsimerman建立）是预维数的主要例子。我们进行了Hrushovski建设与后者predimension和获得一个自然的候选人的一阶理论的微分方程的$j$ -功能。它类似于柯比的指数微分方程理论的公理化（这反过来又是基于齐尔伯的伪指数化的公理），尽管有许多显着的差异。在与Sebastian Eterović和Jonathan Kirby的联合工作中，我们最近证明了本文中得到的公理化确实是$j$ -函数的微分方程理论的公理化，即$j$ -函数的Ax-Schanuel不等式是适当的。

2021-08-15math.LO

更多相关论文收起更多论文

自由算子在特征零点的场的模型论

Model theory of fields with free operators in characteristic zero

推广和统一了差分和微分场的已知定理，证明了对于特征为零的域$A$上的每个有限自由${\mathbb S}$ -代数${\mathcal D}$，${\mathcal D}$ -场的理论都有一个模型同伴${\mathcal D}$ -CF $_0$，它是简单的，并且满足有限维极小型的Zilber二分法.

2013-08-28math.AGmath.LOmath.RA

Ax-Schanuel与$j$ -函数的强极小性

Ax-Schanuel and strong minimality for the $j$-function

设$\mathcal{K}:=(K;+,\cdot, D, 0, 1)$是具有特征$0$和常数$C$的微分闭合场。在本文的第一部分中，我们探讨了Ax-Schanuel型定理（预维不等式）之间的联系的微分方程$E(x,y)$和纤维$U_s:=\{ y:E(s,y) \wedge y \notin C \}$的几何，其中$s$是一个非常数元素。我们证明了某些类型的预维数不等式蕴含着$U_s$的强极小性和几何平凡性。此外，通过特殊的子簇给出了$U_s$的笛卡尔幂上的诱导结构.特别是，由于$j$ -函数满足所需形式的Ax-Schanuel不等式（由于皮拉和Tsimerman），将我们的结果应用于$j$ -函数，我们恢复了Freitag和Scanlon的定理，说明$j$的微分方程定义了具有平凡几何的强极小集。本文第二部分研究了微分闭域的$j$ -约简的强极小集。设$E_j(x,y)$为$j$函数的（二元）微分方程。证明了约简$\mathsf{K}:=(K;+, \cdot, E_j)$中强极小集的Zilber式分类结果。更准确地说，我们表明，在$\mathsf{K}$所有强极小集是几何平凡或非正交$C$。我们的证明是基于Ax-Schanuel定理和一个匹配的势封闭性声明，该声明断言，方程组的$E_j$方面有解决方案，在$\mathsf{K}$，除非有一个解决方案矛盾的Ax-Schanuel。

2020-08-05math.LO

具有自同构的紧致复流形的模型论

Model Theory of Compact Complex Manifolds with an Automorphism

受亚纯动力学的可能应用的启发，并推广了差分闭域的已知性质，本文研究了具有一般自同构的紧致复流形的CCMA理论。结果表明，虽然CCMA承认几何消除的二义性，它不能完全消除二义性：一个反例3-唯一性CCM展出。二维类型的调查，它表明，以下的方法Pillay和Ziegler的，规范的基础财产持有CCMA。因此，推导出Zilber二分法：SU秩的有限维类型要么是基于一的，要么几乎是固定域内部的。此外，还建立了TA中稳定嵌入的一般判据，并用于确定CCMA在射影簇、简单非代数复环面和单连通非代数强极小流形上的全诱导结构.

2017-03-03math.CVmath.LO