哈瑟原则

✍ dations ◷ 2025-12-02 10:18:54 #代数数论,丢番图方程

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

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

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

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

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

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

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

相关

  • 银镜反应银镜反应(英语:silver mirror reaction)是一价银化合物的溶液被还原为金属银的化学反应,由于生成的金属银附着在容器内壁上,光亮如镜,故称为银镜反应。常见的银镜反应是银氨络合物
  • 四孢蘑菇四孢蘑菇(学名:Agaricus campestris)又称为野蘑菇,是一种可食菌类,分布于全世界,与俗称洋菇的双孢蘑菇(Agaricus bisporus)为近缘种。蕈伞凸面菌伞为白色,直径约5~10公分。菌褶一开始
  • ICD-10 第一章:某些传染病和寄生虫病ICD-10 第一章:某些传染病和寄生虫病,主要包括被视为具有可传播性和可传染性的疾病。肠道传染病(A00-A09)结核病(A15-A19)由特定动物传染的细菌性疾病(A20-A28)其他细菌性疾病(A30-A4
  • 司提反斯德望(新教汉译作士提反或司提反;拉丁语:Sanctus Stephanus)是基督教首位殉道者。西方教会定其庆日于12月26日。耶路撒冷说希腊语的犹太人抱怨在每天所分发的粮食方面,说希伯来
  • 林世合林世合(马来语:Lim Say Hup,1935年-2005年),马来西亚男子羽毛球运动员。1959年,林世合与郑求山一起赢得全英羽毛球锦标赛男子双打冠军,该赛事当时被认为是非官方的世界羽毛球锦标赛
  • 瓦赞计划瓦赞计划(法语:Plan Voisin)是一个巴黎市中心的重新开发计划,于1925年由法国瑞士籍建筑师柯比意提出,这个计划也是柯比意最著名的计划之一。柯比意提议将巴黎市中心5平方公里左右
  • 2007年世界房车锦标赛德国站2007年世界房车锦标赛德国站是2007年度世界房车锦标赛的第八站赛事,正式比赛在2007年8月26日于德国奥舍斯莱本赛道上举行。这是历来第三次在德国举行赛事。第一回合由西亚车
  • 米奇·库普切克米切尔·库普切克(英语:Mitchell Kupchak,1954年5月24日-),美国NBA联盟前职业篮球运动员。他在1976年的NBA选秀中第1轮第13顺位被华盛顿子弹选中。曾被任命为洛杉矶湖人总经理。5
  • 胡懋廉胡懋廉(1899年-1971年),字洁民,男,天津人,中国耳鼻喉科学家,曾任第三届全国人大代表,第三届全国政协委员。
  • 程璜程璜(?-?),东汉宦官。永建元年(126年),司隶校尉虞诩上奏弹劾中常侍程璜、陈秉、孟生、李闰等。光和元年(178年),蔡邕的叔父卫尉蔡质又和将作大匠阳球有怨,阳球的妾是中常侍程璜的女儿。程