On an effective variation of Kronecker's approximation theorem avoiding algebraic sets

From MaRDI portal
Publication:3177829

DOI10.1090/PROC/14110zbMATH Open1464.11066arXiv1801.10179OpenAlexW2964084359MaRDI QIDQ3177829FDOQ3177829

Lenny Fukshansky, N. G. Moshchevitin

Publication date: 2 August 2018

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Abstract: Let LambdasubsetmathbbRn be an algebraic lattice, coming from a projective module over the ring of integers of a number field K. Let mathcalZsubsetmathbbRn be the zero locus of a finite collection of polynomials such that LambdasubseteqmathcalZ or a finite union of proper full-rank sublattices of Lambda. Let K1 be the number field generated over K by coordinates of vectors in Lambda, and let L1,dots,Lt be linear forms in n variables with algebraic coefficients satisfying an appropriate linear independence condition over K1. For each varepsilon>0 and , we prove the existence of a vector of explicitly bounded sup-norm such that | L_i(�oldsymbol x) - a_i | < varepsilon for each 1leqileqt, where || stands for the distance to the nearest integer. The bound on sup-norm of depends on varepsilon, as well as on Lambda, K, mathcalZ and heights of linear forms. This presents a generalization of Kronecker's approximation theorem, establishing an effective result on density of the image of LambdasetminusmathcalZ under the linear forms L1,dots,Lt in the t-torus~mathbbRt/mathbbZt.


Full work available at URL: https://arxiv.org/abs/1801.10179




Recommendations




Cites Work


Cited In (5)





This page was built for publication: On an effective variation of Kronecker's approximation theorem avoiding algebraic sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3177829)