首页/论文/1603.04712

arXiv 1603.047122016-03math.LO

线性微分方程的Ax-Schanuel方法

Ax-Schanuel for Linear Differential Equations

Vahagn Aslanyan

备注：: 24 pages. Minor changes in Sections 1-5. Section 6 has been significantly modified
发表信息：: Arch. Math. Logic (2017)
DOI：: 10.1007/s00153-017-0602-3

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文将指数型Ax-Schanuel定理推广到任意常系数线性微分方程。利用J. Kirby和C. Crampin我们给一个完整的公理化的一阶理论的线性微分方程，并表明，广义Ax-Schanuel不等式是足够的。

英文摘要：

We generalise the exponential Ax-Schanuel theorem to arbitrary linear differential equations with constant coefficients. Using the analysis of the exponential differential equation by J. Kirby and C. Crampin we give a complete axiomatisation of the first order theories of linear differential equations and show that the generalised Ax-Schanuel inequalities are adequate for them.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

微分闭域上强极小集的Ax-Schanuel型定理与几何

Ax-Schanuel type theorems and geometry of strongly minimal sets in differentially closed fields

设$(K;+,\cdot, ', 0, 1)$为微分闭域。本文研究了微分方程$E(x,y)$的Ax-Schanuel型定理（预维数不等式）与集合$U:=\{ y:E(t,y) \wedge y' \neq 0 \}$的几何之间的关系，其中$t$是具有$t'=1$的元素.我们证明了某些类型的预维数不等式隐含了$U$的强极小性和几何平凡性。此外，通过特殊的子簇给出了$U$的笛卡尔幂上的诱导结构.如果$E$具有某种特殊形式，则所有纤维$U_s:=\{ y:E(s,y) \wedge y' \neq 0 \}$（具有$s$非常数）具有相同的性质。特别地，由于$j$ -函数满足所需形式的Ax-Schanuel定理（由于Pila和Tsimerman），我们的结果将给出Freitag和Scanlon定理的另一个证明，该定理指出$j$的微分方程定义了具有平凡几何的强极小集（虽然不是$\aleph_0$ -范畴的）。

2020-08-04math.LO

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

关于指数对数幂级数域Schanuel猜想的注记

A Note on Schanuel's Conjectures for Exponential Logarithmic Power Series Fields

在[1]中，J. Ax证明了某些特征为零的微分域的超越定理：关于复数域上的指数函数的Schanuel猜想的微分对应物[11，第30页]。在这篇文章中，我们从Ax的定理的上下文中的微分值指数域的超越结果。特别地，我们得到了指数Hardy场，对数-指数幂级数场和指数-对数幂级数场的结果.

2013-04-21math.ACmath.LO

Ax-Schanuel 的微分方法，I

A differential approach to Ax-Schanuel, I

Universidad Nacional de Colombia（哥伦比亚国立大学）；Univ Rennes（雷恩大学）；University of Illinois Chicago（伊利诺伊大学芝加哥分校）

本文利用微分几何、微分代数与微分闭域模型论的工具，证明了关于几何结构均匀化子的多个 Ax-Schanuel 型结果，包括带有导数的完整 Ax-Schanuel 定理以及 j-函数与指数函数导数的强 Ax-Schanuel 结果。

2026-06-01math.AGmath.LOmath.NT

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

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

半交换簇的指数型微分方程理论

The theory of the exponential differential equations of semiabelian varieties

给出了半交换簇的指数型微分方程的完全一阶理论。它表明，这些理论也产生于一个汞齐与predimension建设的风格Hrushovski。该理论包括方程组有解的充要条件。这个必要条件将Ax的Schanuel猜想的微分域形式推广到了半交换簇.有一个纯代数推论，半交换簇的“弱CIT”，它涉及代数子群与代数簇的交集。

2009-06-09math.AGmath.LO