哈瑟原则

✍ dations ◷ 2025-12-11 17:06:53 #代数数论,丢番图方程

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

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

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

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

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

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

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

相关

  • 金针菇Collybia velutipes (Curt. ex Fr.) Quél.金针菇(学名:Flammulina velutipes,日语:榎茸(エノキタケ),英名Enoki或Enokitake源自日语)又名金菇、金菇菜、绒柄金钱菇,属膨瑚菌科小火菇
  • 土耳其旅土耳其旅(土耳其语:Şimal Yıldızı)是1950年至1953年朝鲜战争期间土耳其陆军受联合国军指挥的一个步兵旅。土耳其旅下属于美国陆军第25轻步兵师,曾参与多次战斗。
  • 少数族裔少数民族,是实行主体民族与少数民族区别对待政策的国家的差别用语,是民族主义国家中主体民族以外的民族群体,人口比例占少数。少数民族可以是原住民族,也可以是外来民族,来源真实
  • 宋学宋学,一般指称宋代的儒家学术,也有指宋代学术总称的。两宋是中国历史上学术比较繁荣的时期,宋代儒家学术派别众多,而且各家之间常有学术辩论,比如“鹅湖会”。宋代也是中国教育大
  • 边收缩在图论中,边收缩是指将一个图的其中一个边移除,并将被移除边的两个顶点合并,同时保持与被移除边之顶点相连的其他顶点之连接关系的一种变换,为图子式理论中的基本算子之一,然而此
  • 艾梦萌艾梦萌(英文名:Amoa Ai,1983年3月27日-),汉族,中国内地歌手,出生于重庆市,毕业于北京艺术设计学院。获得湖南卫视《2006年超级女声》沈阳唱区冠军、全国第4名;同年九月发行首支个人单
  • 朱 -Aka-《朱 -Aka-》是猫猫软件第四套制作的视觉小说,《银色 ~完全版~》的续作。于2003年6月13日发售的成人游戏,游戏最初预定于2002年秋发售,但期间多次延期,到2003年以后更几乎每个月都
  • 路途全景图路途全景图(英语:Route Panorama)是将沿路的景观收进一长长的图像中,它提供了航空图像所不能包括的地面视角,提供比道路地图更为详尽的完整的路途景观信息。它的获取可用车载的摄
  • 听克拉克说《听克拉克说》是台湾歌手潘裕文的第三张大碟,第二张个人专辑,在2012年10月16日预购,并于2012年10月26日推出,这也是他花费11个月自资制作的一张专辑。专辑第一主打是由音乐人张
  • 塔崖驿乡塔崖驿乡,是中华人民共和国河北省保定市涞源县下辖的一个乡镇级行政单位。塔崖驿乡下辖以下地区:塔崖驿村、榆树台村、二道河村、板铺庄村、西杏花村、大东沟村、北铺村、黄岩