×

关于多重线性多项式的零点。 (英语) Zbl 1525.11073号

本文证明了在某些变量中线性的多元多项式的合适族允许一个公共零点,其高度可以从上面显式地有界。
更准确地说,本文中的定理1.1表明,对于每一个(1),在适当的非简并条件下,一组多项式(F_1,dots,F_k\inK[x_1,dots,x_n]\)相对于(k)变量是线性的,并且定义在具有绝对判别式(Delta_k\in\mathbb{Z}\)的数域上,允许高度为零(\mathbf{z}\在K^K中)\[h(\mathbf{z})\leqk^{k+1}\lvert\Delta_k\rvert^{1/d}(N\mathfrak{h})^{2k}(1+d/2)^{2m+1},\]其中\(D:=\sum_{j=1}^k\deg(F_j)\)和\(m:=max_{j=1}^k\ deg(F_j)我们让(mathcal{N}(G))表示出现在(G)和(h(G)中的非零单项式的数目\)系数向量的Weil高度。
对于单个多项式\(F\),作者获得了类似的结果(定理1.2),其中他们也可以保证所需的零点位于由任何其他多项式定义的超曲面之外,这些多项式的零点轨迹不包含\(F\)的消失轨迹。最后,作者在定理1.3中表明,给定一个齐次多项式(F[x_1,dots,x_n]),它在每个变量中都是线性的,以及维数为(dim(V)>n+1-deg(F))的线性子空间(Vsubsteq K^n),存在一个由根组成的基,根的高度可以用(V\)显式地有界和\(\度(F)\)。
上述定理的所有证明都是基于数字几何,特别是基于Siegel引理(以及在本文定理3.3中证明的合适的“稀疏”版本),以及由N.阿龙[梳概率计算8,第1-2号,第7-29号(1999年;Zbl 0920.05026号)]. 总之,本文为所有想了解多项式方程组解的高度显式界的最新结果和技术的人提供了一个有趣的阅读资料。

MSC公司:

11国集团50 高度
11D99号 丢番图方程
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Alon,N.,Combinatorial nullstellensatz,库姆。普罗巴伯。计算。,8, 1-2, 7-29 (1999) ·Zbl 0920.05026号
[2] 邦比耶里,E。;Vaaler,J.D.,关于Siegel引理,发明。数学。,73, 1, 11-32 (1983) ·Zbl 0533.10030号
[3] Böttcher,A。;Fukshansky,L.,用多线性多项式表示整数,《数论研究》,第6、4页,第38条,pp.(2020)·Zbl 1475.11054号
[4] 布朗宁,T.D。;迪特曼,R。;Elliott,P.D.T.A.,立方形式的最小零,数学。Ann.,352,3745-778(2012)·Zbl 1300.11028号
[5] 卡塞尔斯,J.W.S.,《数字几何导论》(1959),施普林格出版社·Zbl 0086.26203号
[6] Cassels,J.W.S.,齐次二次方程最小解的界,Proc。外倾角。菲洛斯。《社会学杂志》,51,262-264(1955)·兹比尔0064.28302
[7] Fukshansky,L.,《缺少变量联合的小高度代数点》,《数论》,130,10,2099-2118(2010)·Zbl 1282.11073号
[8] Fukshansky,L.,《高度与二次型:Cassels定理及其推广》(Diophantine Methods,Lattices,and Arthmetic Theory of quadratic forms.Diophantice Method,Lattics,and Althmetic理论of Quadretic forms,Contemp.Math.,vol.587(2013),Amer。数学。Soc.:美国。数学。佛罗里达州普罗维登斯Soc.Providence),77-93·Zbl 1307.11044号
[9] Fukshansky,L.,超曲面外的小高度积分点,Monatsheft数学。,147, 1, 25-41 (2006) ·Zbl 1091.11024号
[10] Gordan,P.,Uber den grossten gemeinsamen factor,数学。安,7443-448(1873)
[11] F.J.格鲁内瓦尔德。;Segal,D.,《如何用整数求解二次方程》,数学。程序。外倾角。菲洛斯。《社会学杂志》,89,1,1-5(1981)·Zbl 0471.10012号
[12] 霍奇,W.V.D。;Pedoe,D.,《代数几何方法》,第1卷(1947年),剑桥大学出版社·Zbl 0055.38705号
[13] van Ittersum,J.-W.M.,多变量丢番图方程的定量结果,亚里士多德学报。,194, 219-240 (2020) ·Zbl 1461.11053号
[14] Masser,D.W.,《Diophantine方程的搜索边界》,(《数论全景》或《贝克花园的观点》。《数论概览》或《来自贝克花园的看法》,苏黎世,1999(2002),剑桥大学出版社:剑桥大学出版社),247-259·Zbl 1066.11014号
[15] Matiyasevich,Y.V.,可枚举集合的丢番性,Dokl。阿卡德。Nauk SSSR,191,279-282(1970)
[16] Pinner,C.G。;Vaaler,J.D.,多项式的不可约因子数。一、 事务处理。美国数学。Soc.,339,2809-834(1993)·Zbl 0787.11045号
[17] 罗伊·D·。;Thunder,J.L.,绝对西格尔引理,J.Reine Angew。数学。,476, 1-26 (1996) ·Zbl 0860.11036号
[18] Siegel,C.L.,Über einige Anwendungen diophantischer近似,Abh。Preuss。阿卡德。威斯。物理学。数学。克里姆林宫,41-69(1929)
[19] 斯特鲁佩克,T。;Vaaler,J.D.,代数子空间高度不等式和Thue-Siegel原理,(解析数论。解析数论,Allerton Park,IL,1989)。分析数论。解析数理论,伊利诺伊州阿勒顿公园,1989年,Progr。数学。,第85卷(1990)),493-528·Zbl 0722.11033号
[20] Thue,A.,U ber Annäherungswerte algebraischer Zahlen,J.Reine Angew。数学。,135, 284-305 (1909)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。