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

设 $(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$-范畴的）。