中文

关于间隙原理的推广

数论 2022-06-29 v2

摘要

α\alpha 为次数 d3d \geq 3 的实代数数,设 βQ(α)\beta \in \mathbb Q(\alpha) 为无理数。设 μ\mu 为满足 (d/2)+1<μ<d(d/2) + 1 < \mu < d 的实数,设 C0C_0 为正实数。我们证明存在仅依赖于 α\alphaβ\betaμ\muC0C_0 的正实数 C1C_1C2C_2,具有如下性质。若 x1/y1x_1/y_1x2/y2x_2/y_2 为最简有理数,满足 H(x2,y2)H(x1,y1)C1 H(x_2, y_2) \geq H(x_1, y_1) \geq C_{1} αx1y1<C0H(x1,y1)μ,βx2y2<C0H(x2,y2)μ, \left|\alpha - \frac{x_1}{y_1}\right| < \frac{C_0}{H(x_1, y_1)^\mu}, \quad \left|\beta - \frac{x_2}{y_2}\right| < \frac{C_0}{H(x_2, y_2)^\mu}, 则要么 H(x2,y2)>C21H(x1,y1)μd/2H(x_2, y_2) > C_{2}^{-1} H(x_1, y_1)^{\mu - d/2},要么存在整数 s,t,u,vs, t, u, v,满足 svtu0sv - tu \neq 0,使得 β=sα+tuα+vx2y2=sx1+ty1ux1+vy1, \beta = \frac{s\alpha + t}{u\alpha + v} \quad \text{且} \quad \frac{x_2}{y_2} = \frac{sx_1 + ty_1}{ux_1 + vy_1}, 或两者同时成立。此处 H(x,y)=max(x,y)H(x, y) = \max(|x|, |y|)x/yx/y 的高度。由于 μd/2\mu - d/2 大于一,我们的结果表明,除非 α\alphaβ\beta 通过整系数分式线性变换相关联,否则 x1/y1x_1/y_1x2/y2x_2/y_2 的高度必须呈指数级远离。当 α\alphaβ\betapp-adic 代数数时,也建立了类似的结果。

关键词

引用

@article{arxiv.2112.13919,
  title  = {On the Generalization of the Gap Principle},
  author = {Anton Mosunov},
  journal= {arXiv preprint arXiv:2112.13919},
  year   = {2022}
}