×

K3曲面上的有理点:一个新的规范高度。 (英语) Zbl 0754.14023号

标记曲面(S)是具有自同构群的复射影(K3)曲面,其子群({mathcal A})与自由积(mathbb)同构{Z}(Z)_2*\mathbb{Z}(Z)_2阶的两个循环群,以及从\({mathcal a}\)到\(mathbb)的固定同构{Z}(Z)_2*\mathbb{Z}(Z)_ 2\). 假设曲面(S)和自同构子群({mathcal A})的作用定义在一个数域(K)上。点\(P\在S(K)\)\({\mathcal C}={\mathcal C}(P)=\{\varphi P;\ varphi\在{\mathcal a}\}\)的轨道称为\(S)\上\(K\)-有理点的链。本文的目的是描述链中的点和(S(K))中链的集合。为此,引入了Weil高度函数(hat h\)和规范高度(hat h\)。后者不依赖于给定链中点的特殊选择({\mathcal C})。因此,H({mathcal C})定义良好。证明了以下基本结果:
定理1.2。链为有限iff(H({mathcal C})=0iff(H(P)=0\)。对于任何常数\(B\),在\(S(K)\)中的集合{chains\({mathcal C}\)\(H({mathcal C})<B})是有限的。(S(K)中只有有限多个链({mathcal C})具有有限个成员。
接下来的定理给出了(S(K)中无限链({mathcal C})的有用估计:\[2\sqrt{\hat H({\mathcal C})}\leq\min_{P\in C}\hat H(P)\leq2\alpha\sqrt{\ hat H,\]其中\(\alpha=2+\sqrt 3\)。在{\mathcal A}中使用\(\mu({\mathcal C})=\#\{\sigma\;\sigma Q=Q\}\[\左|\#\{P\在{\mathcal C}中;\h(P)\leq B\}-{1\over\mu({mathcal C})}\log_\alpha{B^2\over4\hat h({mathcal C})}\right|\leq 4\]如果\(B^2\geq2\sqrt{\hat H({\mathcal C})}\)。对于(text{Pic}(S))的任何充分除数(D)都有一个近似值\[\#\{P\在{\mathcal C}中;\;h_D(P)\leq B\}={1\over\mu({mathcal C})}\log_\alpha{B^2\over4\hat h({mathcal C})}+O(1),\;B\to\infty。\]
\[\#\{P\在S(K)中;\;\hat h(P)\leq B\}=S(K)_{\text{fin}+\sum\left\{{1\over\mu({\mathcal C})}\log_\alpha{B^2 \ over4\hat h({\mathcal C})}+\delta({\mathcal C})\right},\]其中,S(K)中的\(S(K)_{\text{fin}}=\{P\;\;\ h(P)=0\}=\}P\(S(0<4\hat h({\mathcal C})\leq B^2\)。如果点的链({mathcal C}(P))是(text{Gal}(overline K/K))-稳定的,那么它认为(P\in S(K)),({mathcal C}(P)是(K\)-有理的,({mathcal C}(P))是有限的,并且([K(P):K]=2)。在证明之后,作者在第5节中给出了定义在(mathbb{Q})上的随机选择的(K3)曲面上链中点的高度的显式计算。在最后一节中,计算与Vojta最近的一个猜想的K3版本有关,该猜想推广了Siegel关于椭圆曲线上积分点对数高度增长的著名定理。

理学硕士:

14层28 \(K3)曲面和Enriques曲面
14G05年 有理点
14G40型 算法种类和方案;阿拉克洛夫理论;高度
14国道27号 代数几何中的其他非代数闭地场
14C22型 皮卡德集团
PDF格式BibTeX公司 XML格式引用
全文: 内政部 欧洲DML

参考文献:

[1] Arbarello,E.,Cornalba,M.,Griffiths,P.A.,Harris,J.:代数曲线的几何,第1卷。(Grund.math.Wiss.,第267卷)柏林-海德堡纽约:施普林格1985·Zbl 0559.14017号
[2] Batyrev,V.V.,Manin,Yu:阿尔盖布里克斯高等学校(Sur le nombre des points rationnels de hauteur bornédes variétés algébriques)。数学。Ann.28627-44(1990)·Zbl 0679.14008号 ·doi:10.1007/BF01453564
[3] Beauville,A.:复杂代数曲面。(Lond.Math.Soc.Lect.Note Ser.,第68卷)剑桥:剑桥大学出版社1983·Zbl 0512.14020号
[4] Faltings,G.:阿贝尔变种上的丢番图近似。安。数学。(出现)·Zbl 0734.14007号
[5] Franke,J.,Manin,Yu。,于振克尔:Fano品种有界高度的合理点。发明。数学95421-435(1989)·Zbl 0674.14012号 ·doi:10.1007/BF01393904
[6] Griffiths,P.,Harris,J.:代数几何。纽约:Wiley Interscience 1978·Zbl 0408.14001号
[7] Griffiths,P.,Harris,J.:关于Noether-Lefschetz定理和余维二圈的一些注释。数学。Ann.271,31-51(1985)·Zbl 0552.14011号 ·doi:10.1007/BF01455794
[8] Hartshorne,R.:代数几何。柏林-海德堡纽约:Springer 1977·Zbl 0367.14001号
[9] Lang,S.:丢番图几何基础。柏林-海德堡纽约:施普林格1983·Zbl 0528.14013号
[10] Lefschetz,S.:L'analysis situs et laéométrie algébrique。巴黎:Gauthier-Villars 1924
[11] Mori,S.,Mukai,Sh.:属11曲线模空间的唯一性(Lect.Notes Math.,第1016卷,第334-353页)。柏林-海德堡纽约:斯普林格1983·兹伯利0557.14015
[12] Silverman,J.H.:椭圆曲线的算法。柏林-海德堡-纽约:施普林格1986·Zbl 0585.14026号
[13] Silverman,J.H.:计算椭圆曲线上的高度。数学。计算51339-358(1988)·Zbl 0656.14016号 ·doi:10.1090/S0025-5718-1988-0942161-4
[14] Swinnerton-Dyer,H.P.F.:代数几何在数论中的应用。程序。交响乐团。纯数学。,第20卷)。普罗维登斯:美国数学。Soc.1971年·Zbl 0228.14001号
[15] Vojta,P.:丢番图近似和值分布理论(Lect.Notes Math.,第1239卷)。柏林-海德堡纽约:施普林格1987·Zbl 2011年9月6日
[16] Vojta,P.:紧情况下的Siegel定理。安。数学。(出现)·Zbl 0774.14019号
[17] Wehler,J.:K 3-皮卡德数为2的曲面。架构(architecture)。数学50,73-82(1988)·Zbl 0602.14038号 ·doi:10.1007/BF01313498
[18] Wehler,J.:旗帜多样性的超曲面。数学。Z.198、21-38(1988)·Zbl 0662.14029号 ·doi:10.1007/BF01183036
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。