哈瑟原则

✍ dations ◷ 2025-08-14 11:22:08 #代数数论,丢番图方程

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

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

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

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

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

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

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

相关

  • 克丘亚语系克丘亚语系(Quechuan languages)分布在南美洲的阿根廷、巴西、玻利维亚、智利、哥伦比亚、厄瓜多尔、秘鲁等地区。因为许多人对方言与语言划分的方法不同,克丘亚语系之下的语言
  • 1600年前1700年至前1601年的这一段期间被称为前17世纪。
  • 批判教育学批判性教学是一种教学取向或教学方式,它企图帮助学生质疑、挑战人们对于宰制的信念与实践。换句话说,这种教学取向是一种帮助学生成就“批判意识”的理论与实践。一位批判性教
  • 简单知识组织系统简单知识组织系统(Simple Knowledge Organization System,SKOS),是目前正在发展的简单知识组织描述语言,以RDF Schema设计方式来展现与分享控制的词汇。其可提供一些社群以一种机
  • 外海街道外海街道是中国广东省江门市江海区下辖的一个街道,总面积47平方公里,人口4.5万。下辖6社区12村外海话,是外海的方言,以前又称龙溪话。虽与江门话、新会话同属四邑方言,但外海话与
  • 许立民许立民(1972年-),台湾医师、政治人物。台南一中、高雄医学大学毕业,曾任台北市政府社会局局长。曾任台南奇美医院心脏科医师,后任台大医院创伤医疗部主治医师,重视环保,长久以来投身
  • 雅迪楚里峰雅迪楚里峰是尼泊尔的山峰,位于喜马拉雅山脉,海拔高度7871米,是全球第二十高山峰,波兰攀山队在1979年5月8日首次登上该山峰。
  • 陈有爵陈有爵(越南语:Trần Hữu Tước,1913年10月13日-1983年10月23日),河内人,是越南耳鼻喉科专科医生。1937年在巴黎大学获得医学博士学位。担任耳鼻喉科助教授。1939年9月二战爆发后
  • 波斯双陆波斯双陆(Nard),是古波斯流行的双陆棋。六世纪时,印度人带恰图兰卡至波斯王宫,而波斯人之后也带波斯双陆去印度。
  • 1909年大清咨议局选举1909年大清咨议局选举是1909年9月中国举行的地方选举,是中国历史上第一次民意代表选举,此次选举于各省成立的省级民意(士绅之民意)机构咨议局。咨议局的决议案都必须由督抚衙署