哈瑟原则

✍ dations ◷ 2025-12-08 17:35:26 #代数数论,丢番图方程

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

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

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

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

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

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

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

相关

  • 胸骨胸骨(Sternum)是胸腔中前方一块扁平,剑状的骨,接有肋 。因为其外形如此,故其拉丁文中被名为剑,其三部分为胸骨柄上部的颈静脉切迹(Incisura jugularis)可在体表触及,此乃颈部的下界。
  • 乌拉尔山脉乌拉尔山脉(俄语:Ура́льские го́ры,简称Ура́л)是俄罗斯境内大约南北走向的一座山脉,它位于俄罗斯的中西部。山脉位于乌拉尔地理区域内,与乌拉尔联邦管区和乌
  • 赦免特赦指以行政权免除罪犯全部或部分的服刑。宋代以前中国即存在特赦,有所谓“八议”之同罪异罚之说。学者认为特赦权的开始始于19世纪的英国君主,在司法独立以及国会扩权的时代
  • 箭十字党箭十字党(匈牙利语:Nyilaskeresztes Part Hungarista Mozgalom),为匈牙利的极右组织。箭十字党本为1930年代匈牙利的种族主义运动,彷效德国纳粹党,后来在1935年组成其前身“国家希
  • 冲程冲程,也称之为行程,指发动机的活塞从一个极限位置到另一个极限位置的距离。进气冲程,或吸气冲程是活塞由上止点向下止点运动的同时进气门打开,空气被活塞吸入气缸的过程。冲程的
  • 查尔斯·伯捷查尔斯·苏德斯·伯捷(英语:Charles Souders Paget;1874年-1933年),美国建筑师、土木工程师,是19世纪末至20世纪初的广州知名建筑师,被誉为广州近代建筑之父。生于美国新泽西州,20世
  • 戈九畴戈九畴(?-?),字惟范,直隶苏州府吴县人,锦衣卫匠籍,明朝政治人物。顺天府乡试第九十三名,嘉靖三十八年(1559年)己未科进士。历官刑部主事,知浙江严州府、云南楚雄州。有《礼记要旨》十六卷
  • 艺苑名人传《艺苑名人传》,全名《由契马布埃至当代最优秀的意大利建筑师、画家、雕刻家的生平》(),是严格意义上的西方第一本艺术史著作,作者是乔尔乔·瓦萨里,该书从13世纪佛罗伦萨画家契马
  • 泊松流形在数学中,泊松流形(Poisson manifold)是一个微分流形 使得 上光滑函数代数 ∞() 上装备有一个双线性映射称为泊松括号,将其变成泊松代数。每个辛流形是泊松流形,反之则不然。
  • 信心 (史提夫·汪达歌曲)《信心》(英语:"Faith")是美国歌手史提夫·汪达的一首歌曲,并客串爱莉安娜·格兰德。歌曲为2016年欢乐好声音音乐动画电影原声带的主打单曲。该曲由瑞恩·泰德、班尼·布兰科和F