Graded Witt kernels of the compositum of multiquadratic extensions with the function fields of Pfister forms

详细信息    查看全文

• 作者：Roberto Aravire^a ; ^{raravire@unap.cl" class="auth_mail" title="E-mail the corresponding author} ; Ahmed Laghribi^b ; ^{ahmed.laghribi@univ-artois.fr" class="auth_mail" title="E-mail the corresponding author} ; Manuel O'Ryan^c ; ^{moryan@inst-mat.utalca.cl" class="auth_mail" title="E-mail the corresponding author}
• 关键词：11E04 ; 11E81
• 刊名：Journal of Algebra
• 出版年：2016
• 出版时间：1 March 2016
• 年：2016
• 卷：449
• 期：Complete
• 页码：635-659
• 全文大小：500 K

文摘

Let F   be a field of characteristic 2 and w the MathML source">W_q(F) be the Witt group of nonsingular quadratic forms over F. Let φ be a bilinear Pfister form over F and L be a multiquadratic extension of F   of separability degree less than of equal to 2. In this paper we compute the kernel of the natural homomorphism w the MathML source" class="mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0021869315005918&_mathId=si2.gif&_user=111111111&_pii=S0021869315005918&_rdoc=1&_issn=00218693&md5=4fbc3b5c5286c3519827c91a6878a2e5">width="194" alt="View the MathML source" title="View the MathML source" src="/sd/grey_pxl.gif" data-inlimgeid="1-s2.0-S0021869315005918-si2.gif">, where w the MathML source" class="mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0021869315005918&_mathId=si3.gif&_user=111111111&_pii=S0021869315005918&_rdoc=1&_issn=00218693&md5=55782a01236639ec12e8a75827dee106">width="69" alt="View the MathML source" title="View the MathML source" src="/sd/grey_pxl.gif" data-inlimgeid="1-s2.0-S0021869315005918-si3.gif"> is the cokernel of the Artin–Schreier operator w the MathML source" class="mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0021869315005918&_mathId=si4.gif&_user=111111111&_pii=S0021869315005918&_rdoc=1&_issn=00218693&md5=7cea30e3acbd5b13fc70e4866e5a73c3">width="164" alt="View the MathML source" title="View the MathML source" src="/sd/grey_pxl.gif" data-inlimgeid="1-s2.0-S0021869315005918-si4.gif"> given by w the MathML source" class="mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0021869315005918&_mathId=si5.gif&_user=111111111&_pii=S0021869315005918&_rdoc=1&_issn=00218693&md5=bc113f745cdf1548a52b9390cf8cde52">width="307" alt="View the MathML source" title="View the MathML source" src="/sd/grey_pxl.gif" data-inlimgeid="1-s2.0-S0021869315005918-si5.gif">, where w the MathML source" class="mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0021869315005918&_mathId=si6.gif&_user=111111111&_pii=S0021869315005918&_rdoc=1&_issn=00218693&md5=7d10ea0a7171092f26ce0eab1b26e00a">width="25" alt="View the MathML source" title="View the MathML source" src="/sd/grey_pxl.gif" data-inlimgeid="1-s2.0-S0021869315005918-si6.gif"> is the space of m-differential forms over F  , and w the MathML source">F(φ) is the function field of the affine quadric given by the diagonal quadratic form associated to the bilinear form φ  . As a consequence, we deduce the kernel of the natural homomorphisms w the MathML source" class="mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0021869315005918&_mathId=si8.gif&_user=111111111&_pii=S0021869315005918&_rdoc=1&_issn=00218693&md5=9942664ed6e23ffb05df71c052523dcc">width="181" alt="View the MathML source" title="View the MathML source" src="/sd/grey_pxl.gif" data-inlimgeid="1-s2.0-S0021869315005918-si8.gif"> and w the MathML source" class="mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0021869315005918&_mathId=si9.gif&_user=111111111&_pii=S0021869315005918&_rdoc=1&_issn=00218693&md5=5b7286aa8ae151128f5c0d68d843e20d">width="181" alt="View the MathML source" title="View the MathML source" src="/sd/grey_pxl.gif" data-inlimgeid="1-s2.0-S0021869315005918-si9.gif">, where w the MathML source" class="mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0021869315005918&_mathId=si10.gif&_user=111111111&_pii=S0021869315005918&_rdoc=1&_issn=00218693&md5=8c3ba1e66bccfa94a07b36692a329ee7">width="63" alt="View the MathML source" title="View the MathML source" src="/sd/grey_pxl.gif" data-inlimgeid="1-s2.0-S0021869315005918-si10.gif"> denotes the quotient w the MathML source" class="mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0021869315005918&_mathId=si11.gif&_user=111111111&_pii=S0021869315005918&_rdoc=1&_issn=00218693&md5=a8f9cab7a383c74b7c976400347b0c01">width="133" alt="View the MathML source" title="View the MathML source" src="/sd/grey_pxl.gif" data-inlimgeid="1-s2.0-S0021869315005918-si11.gif"> such that w the MathML source" class="mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0021869315005918&_mathId=si12.gif&_user=111111111&_pii=S0021869315005918&_rdoc=1&_issn=00218693&md5=f9bf7bd6cc5e9685edfc2cb16d6bd558">width="185" alt="View the MathML source" title="View the MathML source" src="/sd/grey_pxl.gif" data-inlimgeid="1-s2.0-S0021869315005918-si12.gif"> and w the MathML source">I^mF is the m-th power of the fundamental ideal IF of the Witt ring of F-bilinear forms. We also include some results concerning the case where φ is replaced by a bilinear Pfister neighbor or a quadratic Pfister form.