哈瑟原则

✍ dations ◷ 2025-11-06 18:32:15 #代数数论,丢番图方程

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

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

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

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

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

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

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

相关

  • 西洛他唑西洛他唑(Cilostazol)为一种喹啉衍生类药物,可用于缓解周边动脉阻塞患者的间歇性跛行(英语:intermittent claudication)的症状。本品的制造商为大冢制药,以商品名普达锭(Pletaal)贩售
  • 620110 数学 120 信息科学与系统科学 130 力学 140 物理学 150 化学 160 天文学 170 地球科学 180 生物学210 农学 220 林学 230 畜牧、兽医科学 240 水产学310 
  • 鞍山鞍山市是中华人民共和国辽宁省下辖的地级市,位于辽宁省中南部,是国务院批准的具有地方立法权的较大的市,是中国境内重要的钢铁基地,有钢都之称。鞍山市地处辽宁省中部,地理位置是
  • 同轴电缆同轴电缆(Coaxial cable)是一种电线及信号传输线,一般是由四层物料造成:最内里是一条导电铜线,线的外面有一层塑胶(作绝缘体、电介质之用)围拢,绝缘体外面又有一层薄的网状导电体(一
  • 獴科獴科(学名:Herpestidae),哺乳纲食肉目的一科,外形较像猫,有猫鼬的别称。包括獴亚科及缟獴亚科两个亚科。以下几属过去归为獴科,现在被分入食蚁狸科(Eupleridae):
  • 重叠 (化学)重叠(英语:Stacking,又译堆积)在超分子化学中是指芳香性分子的一类排列堆积形式。例如DNA中连续性碱基的堆积系统,或是某些具有两个非极性环的酵素,会以π轨道重叠的方式而堆积在
  • missin' you~It will break my heart~《Missin' you~It will break my heart~》,日本男歌手平井坚的第14张单曲。2002年1月30日发行。
  • 机姓《百家姓》中无此姓机姓(西拉雅语:Tamavainikaki)是一个罕见的汉字姓氏,主要分布于台湾高雄市内门区,为西拉雅族原住民所使用。清代汉化时根据原姓氏的最后一个音节“-ki”取汉姓
  • 琉球人名琉球名字指的是琉球族使用的名字。在琉球王国时代,琉球的平民仅拥有童名(琉球语:童名/ワラビナー  ?),而冲绳本岛的士族则既拥有唐名(琉球语:唐名/カラナー ,即中国式姓名)又拥有和
  • 俏妞出招《俏妞出招》(英语:High School Debut)2011年4月1日上映于日本的爱情片,由日本漫画家河原和音的漫画作品《高校デビュー》改编。国中时全心投入社团活动的热血少女晴菜,升入高中