4
$\begingroup$

For any $\alpha \in \mathbb{R}$ and a parameter $Q$, we can write $\alpha = a/q + \theta$, for integers $a, q$ with $q \leq Q$, and real $\theta$ with $|\theta|\leq (qQ)^{-1}$, a simple application of the Dirichlet approximation theorem. I'm looking for a similar statement for number fields.

Setup: $K$ is a fixed number field of degree $ n $ over $ \mathbb{Q} $, with ring of integers $O_K$. $\omega_1, \dots , \omega_n$ is a fixed $\mathbb{Z}$-basis for $O_K$. $\sigma_i, \dots \sigma_{n}$ are the distinct embeddings of $K$.

$V$ is the $n$- dimensional commutative $\mathbb{R}$-algebra $K \otimes_\mathbb{Q} \mathbb{R}$.

We define a distance function $| \cdot |$ on $V$ as follows: $$|x| = |x_1 \omega_1 + \cdots + x_n \omega_n| = \max\limits_{i} | x_i |.$$ I would just like to point out that I am not necessarily attached to this distance function, if you can say anything sensible using another distance function, then I am interested.

Precise Statement: Given $\alpha \in V$ and a parameter $Q$, is it always possible to find $\lambda, \mu \in O_K$, such that $|\mu| \ll Q$ and $$|\alpha - \dfrac{\lambda}{\mu}| \ll \dfrac{1}{Q |\mu|}?$$

Equivalent Statement: can we find $\gamma \in K$ such that $\mathcal{N}=\textrm{N}(\bf{a}_\gamma) \ll Q^n$, and $$|\alpha - \gamma| \ll \dfrac{1}{Q \mathcal{N}^{1/n}}, $$ where $\bf{a}_\gamma$ is the denominator ideal of $\gamma$?

Note that it is easy to find an analogous statement to Dirichlet's original theorem, ie $\exists \lambda, \mu \in O_K$, such that $|\mu| \ll Q$ and $$|\alpha \mu - \lambda| \ll \dfrac{1}{Q},$$ by an application of the pigeonhole principle, but unlike in $\mathbb{R}$, we cannot just divide through by $\mu$ at this point, as the only decent bound (that I know of) for $|\mu^{-1}|$ is $$|\mu^{-1}| \ll \dfrac{|\mu|^{n-1}}{\textrm{N}(\mu)}$$.

Does anyone have a reference for dealing with the fractional form like this? The closest I have managed to find was a generalisation to number fields of the Thue-Siegel-Roth theorem by LeVeque.

$\endgroup$

1 Answer 1

3
$\begingroup$

Schmidt, Wolfgang M. Diophantine approximation. Lecture Notes in Mathematics, 785. Springer, Berlin, 1980.

$\endgroup$
4
  • $\begingroup$ OK maybe I'm being dumb, but I can't see how any of those results apply here. Am I just not looking hard enough? $\endgroup$
    – sobe86
    Mar 10, 2010 at 14:53
  • $\begingroup$ Theorem 2A in Chapter VIII, perhaps? Since that theorem is essentially best possible, if it doesn't give what you want, then what you want may not be true. $\endgroup$ Mar 10, 2010 at 15:50
  • $\begingroup$ OK yeah I was being very dumb, my bad! $\endgroup$
    – sobe86
    Mar 10, 2010 at 16:28
  • $\begingroup$ I am very interested in this question -- what were the conclusions regarding the original questions? $\endgroup$ Jul 13, 2016 at 15:25

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.