哈瑟原则

✍ dations ◷ 2025-12-10 22:22:27 #代数数论,丢番图方程

在数学里,赫尔姆特·哈瑟的局部-全域原则,或称为哈瑟原则,是一个表示“一个方程可以在有理数上被解当且仅当它可以在实数上‘及’在每个质数之p进数上被解”的原则。

哈瑟-闵可夫斯基定理描述著局部-全域原则会由在有理数上之二次型来表示0的问题中成立(由闵可夫斯基证出);且更一般性地,会在任何一个数域上成立(由哈瑟证出),其中使用了所有合适的局部域的必要条件。循环扩张上的哈瑟定理描述著局部-全域原则可以应用在数域循环扩张之一个相对赋范的条件下。

恩斯特·赛尔玛提出的反例表示哈瑟-闵可夫斯基定理不可以扩伸至三次型,如三次型33+43+53可以在p进数上表示0,但不能在Q上表示。

罗杰·希思布朗页面存档备份,存于互联网档案馆证明每个在整数上至少有14个变数的三次型可以表示0,改进了由哈罗德·达芬波特所证明出的早期成果。因此局部-全域原则当然地会在有理数上至少有14个变数的三次型上成立。

若将其限定在无奇点的类型上,即可以得到更好的结果:希思布朗证明每个在有理数上至少有10个变数之无奇点的三次型都可表示0,因此可以当然地建立起在此一类型上的哈瑟原则。可知在最有可能的义意下,可知会存在一个不会表示零的9个变数之于有理数上的无奇点三次型。无论如何,荷利证明出了哈瑟原则会在由在有理数上至少9个变数之无奇点三次型来表示0的条件下成立。达芬波特、希思布朗和荷利在他们的证明中都是使用哈代-勒特伍德圆法。根据马宁的想法,哈瑟原则在三次型中成立的障碍是被挷在布劳尔群的理论之中;而现在只表现出此一设定还不是个完整的故事(Alexei Skorobogatov, 1999)。

藤原正彦和Masaki Sudo提出的反例表示哈瑟-闵可夫斯基定理不可以延伸至10+5次型,其中的是一个非负整数。

在另一方面,柏区定理证明出若是一个奇数,则存在一个 (),使任何有多于 个变数的 次型皆能表示 0:哈瑟原则在此当然地成立。

相关

  • 日韩关系韩日关系或日韩关系是指大韩民国与日本的双边关系。1951年10月,韩日双方在美国的积极调解下,开始了邦交正常化的预备性会谈。但由于双方对日占领时期历史问题分歧过大,韩日双方
  • span class=nowrapAsClsub5/sub/span五氯化砷是一种砷元素和氯元素形成的无机化合物,化学式为AsCl5。直到上世纪70年代,人们还在争论这种物质是否存在。这种化合物最早于1976年制得,当时用紫外线在−105°C的低温
  • 材料科学与工程学院南开大学材料科学与工程学院,简称南开大学材料学院,成立于2015年6月,位于南开大学津南校区理科学院组团。南开大学材料学院与中植集团和天津市东丽区联合建立了“南开大学国家
  • 米克特兰特库特利米克特兰特库特利(Mictlantecutli,意为“冥王”。)是阿兹特克人的冥界之神,祂掌管米克特兰(阿兹特克的冥界)的第九层,也就是最底层。祂的女性面相,或说妻子,是米克特卡西瓦特尔(Mictec
  • 东雅加达行政市东雅加达行政市(印尼语:Kota Administrasi Jakarta Timur),当地华人常称之为雅加达东区或雅京东区,是印度尼西亚雅加达特区下属五个行政市(印尼语:Kota administrasi)之一,辖区位于雅
  • 施登巴斯足球会施登巴斯足球会 (FC Stumbras)是立陶宛的一家足球俱乐部,主场位于考那斯。球队参加立陶宛足球超级联赛的赛事。
  • 方济各·安霖泽方济各·安霖泽(英语:Francis Arinze;1932年11月1日-)是尼日利亚籍天主教主教级枢机、韦莱特里-塞尼罗马城郊教区领衔主教及圣座礼仪及圣事部荣休部长(英语:Congregation for Divin
  • Artin群数学上,阿廷群(或Artin group、称广义辫群),是指有如下展示的群:其中对 m < ∞ {\displaystyle m<\infty } 是有限型考克斯特矩
  • 萨莫拉·马谢尔萨莫拉·莫伊塞斯·马谢尔(葡萄牙语:Samora Moisés Machel,1933年9月29日-1986年10月19日),莫桑比克开国总统。马谢尔出生于莫桑比克南部一个穷苦农民家庭,由于被逼改种棉花,他的家
  • 龙崎区坐标:22°57′48″N 120°21′54″E / 22.9633061°N 120.3649219°E / 22.9633061; 120.3649219龙崎区(台湾话:.mw-parser-output .sans-serif{font-family:-apple-system,Bli