[论文解读] Baker-Sprindzhuk conjectures for complex analytic manifolds

Dmitry Kleinbock|ArXiv.org|Oct 23, 2002

Geometric Analysis and Curvature Flows参考文献 9被引用 5

一句话总结

本文证明了满足其参数化函数线性无关条件的复解析子流形在 $\mathbb{C}^{n}$ 中是强极值的，推广了 Sprind'zuk 对 Mahler 问题的解法。证明采用了一种新颖的拟多项式流在格点空间上定量非发散估计的适应方法，解决了 Baker-Sprind'zuk 猜想的复数类比。

ABSTRACT

We show a large class of analytic submanifolds of C^n to be strongly extremal. This generalizes V. Sprindzhuk's solution of the complex case of Mahler's Problem, and settles complex analogues of conjectures made in the 1970s by Baker and Sprindzhuk. The proof is based on a variation of quantitative nondivergence estimates for quasi-polynomial flows on the space of lattices.

研究动机与目标

• 解决度量丢番图逼近中 Baker-Sprind'zuk 猜想的复数类比。
• 建立不包含于任何真仿射子空间的复解析子流形 $\mathbb{C}^n$ 的强极值性。
• 将 Sprind'zuk 在复数情形下对 Mahler 问题的解法推广到一大类解析流形。
• 通过格点空间上的拟多项式流提供极值性的动力系统证明。

提出的方法

• 将格点空间上拟多项式流的定量非发散估计适应到复解析设定中。
• 使用切片技巧，将问题约化为涉及 $\mathbb{R}^{n+2}$ 中向量楔积的低维情形。
• 在外代数 $\bigwedge^k(\mathbb{R}^{n+2})$ 中构造流像的分解，将涉及 $\mathbb{e}_0$ 和 $\mathbb{e}_*$ 的分量分离开来。
• 利用对角流 $g_t$ 的特征值进行范数比较，以控制相关楔积的增长。
• 依赖于 $1, f_1, \dots, f_n$ 在 $\mathbb{C}$ 上的线性无关性，以确保楔积分解中非零系数的存在。
• 通过涉及由映射 $\mathbb{f}$ 导出的向量内积的行列式表达式，建立 $g_t(\mathbb{e}_n \wedge \mathbb{w}^{\prime\prime}(z))$ 范数的下界。

实验结果

研究问题

• RQ1 在何种条件下，复解析子流形 $\mathbb{C}^n$ 是强极值的，即其丢番图指数与 $\mathbb{C}^n$ 中一般点的指数一致？
• RQ2 能否通过格点空间上的动力学方法解决复数形式的 Baker-Sprind'zuk 猜想？
• RQ3 对于满足线性无关条件的复解析流形，其乘法丢番图指数 $\omega^\times(\mathbb{f}(z))$ 几乎处处是否等于 $\frac{n-1}{2}$？
• RQ4 拟多项式流在格点上的非发散性是否以与实数情形相同的方式蕴含复解析流形的极值性？
• RQ5 实数情形中使用的切片方法能否在复数设定中适配，以证明强极值性？

主要发现

• 本文证明了任意复解析映射 $\mathbb{f}: U \to \mathbb{C}^n$，其中 $U \subset \mathbb{C}^d$ 是开集，且 $1, f_1, \dots, f_n$ 在 $\mathbb{C}$ 上线性无关，均为强极值。
• 对几乎所有 $z \in U$，有 $\omega^\times(\mathbb{f}(z)) = \frac{n-1}{2}$，与 $\mathbb{C}^n$ 中的一般指数一致。
• 证明建立了下界 $\|g_t(\mathbb{e}_n \wedge \mathbb{w}^{\prime\prime}(z))\| \geq \rho$（对某个 $z \in B$），从而蕴含了流所需的非发散性。
• 关键估计依赖于在楔积分解中，$\mathbb{e}_n \wedge \mathbb{v}_1 \wedge \cdots \wedge \mathbb{v}_{k-2}$ 的系数有正的下界 $\rho_2(B, \mathcal{F}) > 0$。
• 结果将 Sprind'zuk 在复数情形下对 Mahler 问题的解法推广到一大类解析子流形。
• 该方法证实，满足线性无关条件的复解析流形‘保留’了环境空间的丢番图性质，正如在实数情形中一样。