有限域上的函数域的K2群的挠.pdfVIP

青岛大学硕士学位论文 引 言 数肝理论研究中的一个重要课题．1970年，Tate在国际数学家大会上的-d, 时报告中证明：鲍(F)中的任何二阶元都可以写成{一1，o)，a∈F+的形式．后 来，Tate在他的著名的论文【1】中，证明了更一般的结论：设f为素数，Q为2次 本原单位根，若整体域F含有Q，则K2(F)中任意z阶元均可写成位，口}的形 式，其中a∈F’．不仅如此，Tate进一步提出了著名的猜想，即此结论对一般的 含厶的域F也成立．80年代初，Suslin证实了Tate的猜想(参见文献【2】)． 但是，Tate和Suslin所给出的这些结果有着明显的局限性，即假设条件域 F包含厶的限制性太强．因为，由Tate的一个著名定理知有同构： o o…oo… A3A5 恐(Q)竺{士1】．o Ap 鲍(Q)中含有任意阶元素．但由于Q中仅含单位根士1，故上述定理仅能刻画 鲍(Q)中的二阶元． 为了克服条件域F需要包含本原单位根的限制，将以上结果推广到更一般 K2(F)la，‰(o)∈F+．Browkin在文献【3】中证明了： (1)对任意域F和正整数7／,，{o，西n(口)，n=1，其中a，‰(o)∈F’； (2)对任意域F≠F2，和正整数礼=1，2，3，4或6，若n次本原单位根白∈ F，则鲍(F)中任意元{n，厶】-均可写成{6，‰(6))的形式，其中b，西n(6)∈F‘； (4)在K2Q中，任意3阶元均可写成．【o，圣3(口)的形式，其中a，垂n(o)∈Q； (5)在％Q中，任意4阶元均可写成{n，a2+1}v的形式，其中a∈Q， u∈鲍Q，且V2=1． 同时他给出以下猜想： 引 言 猜想I对任意其它正整数n和任意域F，(2)和(3)均不成立．特别n=5， F=Q时，(3)不成立． 猜想II(4)和(5)对所有的域成立． 对于猜想II，由Urbanowicz[4】和秦厚荣【5】可知其成立．但猜想I并非像 Browkin所想的完全成立．事实上，由文献【6】和【7】可知，猜想I对局部域并不 果可知(参加文献【8】，【9】和[10】)， (如(F))tor=的w(硎，F‘】．， (1) 从而有 l(鲍(F))torl=IW(F)J． 据此，徐克舰和秦厚荣在文献【7】中猜想，若F是局部域，则对任意正整数 佗I IⅣ(F)I有 (K2(F))n=Gn(F)． (2) 设F是一个P局部域，易知1w(F)I=(口一1)矿，其中m是一个正整数，q为 F的剩余类域的阶数(参加文献【11】)．对于猜想(2)，徐克舰和秦厚荣在文献 舰和秦厚荣还证明了，若n I 文献【7】)．从以上叙述中可以看到，研究Gn(F)对研究K2(F)中的挠元素具有 重要意义． 文献【6】中指出，猜想I应该对整体域成立，但由于K2(F)中运算的复杂性， 中证明了G5(Q)和GT(Q)不是鲍Q的子群．之后徐克舰和秦厚荣在文献【15】 7】中对某些二次 G2n3m(Q)是K2Q的子群当且仅当n=2，m=0，并在文献[1 鲍Q的子群，由文献f19】可知对正整数n2，G3n(Q)不是鲍Q的子群． 2 青岛大学硕士学位论文 上述结果的证明大都是将猜想I归结为证明若干不定方程没有非平凡解， 这在实际操作过程中需要很大的计算量．直至后来徐克舰发现这个猜想可以转 化成曲线的有理点的问题．他在文献【20】构造了鲍(F)中无穷多个互不相同的 非平凡元素列 {{Ai，圣pn(Ai))p∈K2(F)It=1，2，…)， 然后将猜想I归结为有限多个曲线的有理点问题，使用关于