×

关于Kronecker近似定理避开代数集的一个有效变分。 (英语) Zbl 1464.11066号

Kronecker经典定理的某一版本指出,对于给定的(varepsilon>0),向量(boldsymbol{A}=(A_1,dotsc,A_t)在mathbb{R}^t中是线性形式\[L_j(x_1,\dotsc,x_n)=b_{1j}×1+b条_{2j}x2+\dotsb+b_{nj}xn\在\mathbb{R}[x_1,\dotsc,x_n],\;\;1\leq j \leq t,\]这样,(1)和所有系数(b{ij})在(mathbb{Q})上线性无关,那么在mathbb}Z}^n中有一些(boldsymbol{x}=(x_1,dotsc,x_n),满足\[\|L_j(粗体符号{x})-a_j\|<\varepsilon,\;\;\对于所有j,1,\]其中,\(\|\cdot\|\)表示到最近整数的距离。
在本文中,作者考虑了关于sup范数的\(\boldsymbol{x}\)的有效界,即。,\[|\粗体符号{x}|=\max_{1\leqj\leqn}|xj|,\]当\(\boldsymbol{x}\)属于避免有限多个代数变种或有限多个全秩子格的代数格时。设置如下:
(1)我们考虑一个格\(\Lambda\subet\mathbb{R}^n\),它是在一个\(\mathcal)的标准Minkowski嵌入下得到的{O} K(_K)\)-模块,例如\(\mathcal{M}\);包含(mathbb{Q})和(Lambda)元素坐标的最小字段是(K_1)。
(2)\(1)和实线性形式(L_j)的系数(1)在(K_1)上线性无关;包含\(K_1)和这些系数的最小字段用\(E)表示。
然后,给定\(\varepsilon>0)和\(\mathbb{R}^t中的\boldsymbol{a}),则在\Lambda\中存在满足\[\|L_j(粗体符号{x})-a_j\|<\varepsilon,\;\;\对于所有j,1,\]其中,\(\boldsymbol{x}\)避免了有限多代数簇的并集或\(\Lambda\)的有限多满秩子格的并集。在这两种情况下,它们都提供了范数\(|\boldsymbol{x}|\)的显式上界;这些上界取决于(varepsilon)和几个结构常数,涉及上述数域、维数(n)、线性形式数(t)、模(mathcal{M})、上述变量中涉及的多项式的次数或子格的行列式。
主要工具有N.阿龙的组合Nullestellensatz[Comb.Probab.Comput.8,No.1-2,7-29(1999;兹伯利0920.05026)]Minkowski关于连续极小值的定理,Liouville型不等式,以及通过M.亨克C.泰尔[太平洋数学杂志269,第2期,341-354(2014;Zbl 1314.11046号)]. 本文属于涉及几何数论和丢番图逼近中经典结果的有效界的思想圈,例如关于二次型小零点的Siegel引理或Cassels定理,第一作者对此做出了大量贡献。

MSC公司:

2006年11月 晶格和凸体(数论方面)
11国集团50 高度
11J68型 代数数的逼近
11D99号 丢番图方程
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Alon,Noga,Combinatorial Nullstellensatz,《组合学的最新趋势》(M\'atrah\'aza,1995),《组合问题》。计算。,8, 1-2, 7-29 (1999) ·Zbl 0920.05026号
[2] 雅恩·布吉乌德;Laurent,Michel,关于齐次和非齐次丢番图近似的指数,Mosc。数学。J.,5,4,747-766,972(2005)·Zbl 1119.11039号
[3] Cassels,J.W.S.,《丢番图近似简介》,《剑桥数学与数学物理丛书》,第45期,x+166页(1957年),剑桥大学出版社,纽约·Zbl 0077.04801
[4] 卡塞尔斯,J.W.S.,《数字几何学导论》,1971年版修正再版,《数学经典》,viii+344页(1997),斯普林格·弗拉格,柏林·Zbl 0866.11041号
[5] Chan、Wai Kiu;莱尼·福克珊斯基(Lenny Fukshansky);格伦·亨肖(Glenn R.Henshaw),《变量联合外二次型的小零点》,Trans。阿默尔。数学。Soc.,366,10,5587-5612(2014)·Zbl 1307.11081号
[6] 迪里克莱L.G。第页。Dirichlet,Verallgemeinerung eines Satzes aus der Lehre von den Kettenbr“uchen nebst einigen Anwendungen auf die Theorye der Zahlen,S.B.Preuss.Akad.Wis.,第93-95页,1842页。
[7] 爱迪克索芬,巴斯,福尔廷斯证明的算术部分。丢番图近似和阿贝尔变异,Soesterberg,1992,数学讲义。1566,97-110(1993),柏林斯普林格·Zbl 0811.14024号
[8] Fallings,Gerd,阿贝尔变种上的丢番图近似,数学年鉴。(2), 133, 3, 549-576 (1991) ·Zbl 0734.14007号
[9] Fukshansky,Lenny,线性条件下二次型的小零点,《数论》,108,1,29-43(2004)·Zbl 1126.11020号
[10] Fukshansky,Lenny,超曲面外的小高度积分点,Monatsh。数学。,147, 1, 25-41 (2006) ·Zbl 1091.11024号
[11] Fukshansky,Lenny,Siegel引理与附加条件,《数论》,120,1,13-25(2006)·Zbl 1192.11018号
[12] Fukshansky,Lenny,《小高度代数点缺少变量联合》,《数论》,130,10,2099-2118(2010)·Zbl 1282.11073号
[13] 莱尼·福克珊斯基(Lenny Fukshansky);Henshaw,Glenn,《数域和四元数代数上的格点计数和高度界限》,在线J.Ana。梳。,8、20页(2013年)·Zbl 1292.11076号
[14] Gaudron,“Eric,G’eom’etrie des nombres ad’elique et lemmes de Siegel G’en’eralis’es,手稿数学。,1302159-182(2009年)·Zbl 1231.11076号
[15] 高德龙,埃里克;R’emond,Ga“el,Lemmes de Siegel d”,《阿里斯学报》。,154, 2, 125-136 (2012) ·Zbl 1266.11080号
[16] 艾瑞克·高德隆;R’emond,Ga’“el,Espaces ad”“eliques quadriques,数学。程序。剑桥菲洛斯。Soc.,162,2,211-247(2017)·Zbl 1423.11197号
[17] 史蒂文·戈内克(Steven M.Gonek)。;Montgomery,Hugh L.,Kronecker近似定理,Indag。数学。(N.S.),27,2,506-523(2016)·Zbl 1347.11053号
[18] P.M.Gruber。;Lekkerkerker,C.G.,《数字的几何学》,北霍兰德数学图书馆37,xvi+732 pp.(1987),北霍尔德出版公司,阿姆斯特丹·Zbl 0611.10017号
[19] 哈代,G.H。;Wright,E.M.,《数论导论》,xvi+426页(1979),克拉伦登出版社,牛津大学出版社,纽约·Zbl 0423.10001号
[20] 马丁·亨克;Thiel,Carsten,限制连续极小值,太平洋数学杂志。,269, 2, 341-354 (2014) ·Zbl 1314.11046号
[21] Jarn’\i k,Vojt \v ech,关于线性非齐次丢番图逼近,Rozpravy II。T\v r \'\i dy \v Cesk\'e Akad。,第51、29、21页(1941年)·Zbl 0063.03038号
[22] 库曼,罗伯特·扬,福林斯对西格尔引理的版本。丢番图近似和阿贝尔变种,Soesterberg,1992,数学课堂讲稿。1566、93-96(1993),柏林斯普林格·Zbl 0812.11040号
[23] 克罗内克·L·克罗内克。N\`“aherungsweise ganzzahlige Aufl\'”osung linear Gleichungen。莫纳茨伯。K“oniglich.Preuss.Akad.Wiss.柏林,第1179-1193、1271-1299、1884页。
[24] Lang,Serge,代数数论,数学研究生教材110,xiv+357 pp.(1994),Springer-Verlag,纽约·Zbl 0811.11001号
[25] malajovich G.Malojovich,关于同步丢番图逼近的Kronecker定理的有效版本,技术报告,香港城市大学,1996年。http://www.labma.ufrj.br/gregorio/papers/kron.pdf。
[26] Schmidt,Wolfgang M.,丢番图近似,数学讲义785,x+299页(1980年),施普林格,柏林·Zbl 0421.10019号
[27] vorselen T.vorselen,《论广告上的克罗内克定理》,硕士论文,莱顿大学,2010年4月。
[28] Waldschmidt,Michel,线性代数群上的丢番图近似,多变量指数函数的超越性质,Grundlehren der Mathematicschen Wissenschaften[数学科学基本原理]326,xxiv+633页(2000),Springer Verlag,柏林·Zbl 0944.11024号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。