Differential forms and bilinear forms under field extensions

DOI10.1016/J.JALGEBRA.2015.05.034MaRDI QIDQ493769zbMATH OpenOpenAlexFDO

Authors Andrew Dolphin, Detlev Hoffmann

Publication date 4 September 2015

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jalgebra.2015.05.034

zbMATH Keywords

bilinear formdifferential formfunction fieldhypersurfaceinseparable extensionMilnor \(K\)-theoryseparable extensionsimple extensionWitt kernelWitt ring

Mathematics Subject Classification ID

Quadratic forms over general fields (11E04) Algebraic theory of quadratic forms; Witt groups and rings (11E81) Algebraic field extensions (12F05) Separable extensions, Galois theory (12F10) Inseparable field extensions (12F15) Transcendental field extensions (12F20) Differential algebra (12H05) Higher symbols, Milnor (K)-theory (19D45)

Review text

This is an interesting paper. The valuable sections 1--5 collect various known results about ``forms over fields \(F\) of finite characteristic \(p>0\) which are needed later. Section \S6 develops a new method for studying field extensions \(F(f)/F\) for an irreducible polynomial \(f(X)= f(X_1,\dots,X_n)\) over \(F\). Surprisingly several results about restriction maps depend largely on the finitely many nonzero coefficients of \(f\). The main results are in Sections 7--9: In \S7 there is an explicit computation of the kernel \(\Omega^m(E/F)\) of \(m\)-differential forms \(\Omega^m(F)\) under the natural map \(F\to E\) for a simple algebraic field extension \(E/F\) (separable or not). Section \S8 contains the corresponding result on \(\Omega^m(E/F)\) for the case \(E=F(f)\) from \S6 which concerns function fields of (affine or projective) hypersurfaces. It is related to the ``norm field and the ``norm degree of \(f\) over the subfield \(F^p\) of \(p\)-powers in \(F\). Section \S9 is on the Witt ring of symmetric bilinear forms over \(F\) (in the case \(p=2\)) and the function field \(E=F(f)\). The relevant kernels are determined for the 3 cases \(W(E/F)\), \(I^n(E/F)\), and \(\overline I^n(E/F)\), where \(I\) is the fundamental ideal of \(W\) and \(\overline I^n= I^n/I^{n+1}\).

Recommendations

• The behavior of differential, quadratic and bilinear forms under purely inseparable field extensions
• Differential fields and ideals of differential forms
• Bilinear forms over an algebraically closed field
• scientific article; zbMATH DE number 3842043
• Extensions of differential fields. I, II
• scientific article; zbMATH DE number 5030427
• Differential function fields and moduli of algebraic varieties
• Extensions of differential fields. II

Cites work

• \(p\)-adic étale cohomology
• Biquaternion algebras and quartic extensions
• Cohomologische Invarianten quadratischer Formen
• Ein Teilformensatz für quadratische Formen in Charakteristik 2
• Function fields of Pfister forms
• scientific article; zbMATH DE number 3598563 (Why is no real title available?)
• scientific article; zbMATH DE number 1214346 (Why is no real title available?)
• scientific article; zbMATH DE number 589371 (Why is no real title available?)
• scientific article; zbMATH DE number 2154484 (Why is no real title available?)
• scientific article; zbMATH DE number 3797889 (Why is no real title available?)
• scientific article; zbMATH DE number 3404404 (Why is no real title available?)
• scientific article; zbMATH DE number 3417551 (Why is no real title available?)
• scientific article; zbMATH DE number 3072083 (Why is no real title available?)
• Linkage of Fields in Characteristic 2
• On quadratic forms over inseparable quadratic extensions
• Proof of Krull's intersection theorem for the Witt ring
• Quadratic forms over semilocal rings
• Quadratic forms, division algebras and inseparable multiquadratic extensions
• Results on Witt kernels of quadratic forms for multi-quadratic extensions
• Specialization of quadratic and symmetric, bilinear forms, and a norm theorem
• Splitting of bilinear forms of characteristic 2
• Symmetric bilinear forms, quadratic forms and Milnor K-theory in characteristic two
• The algebraic and geometric theory of quadratic forms
• The behavior of quadratic and differential forms under function field extensions in characteristic two.
• The Witt kernels of purely inseparable quartic extensions
• The Witt ring kernel for a fourth degree field extension and related problems
• Witt kernels and Brauer kernels for quartic extensions in characteristic two
• Witt kernels of bi-quadratic extensions in characteristic 2
• Witt kernels of bilinear forms for algebraic extensions in characteristic 2
• Witt kernels of function field extensions
• Witt kernels of function field extensions in characteristic 2
• Witt kernels of quadratic forms for multiquadratic extensions in characteristic 2
• Witt Rings and Brauer Groups Under Multiquadratic Extensions, I

Cited in

(9)

• The behavior of differential, quadratic and bilinear forms under purely inseparable field extensions
• The behavior of quadratic and differential forms under function field extensions in characteristic two.
• Annihilators of differential forms over fields of characteristic \(p\)
• Cohomological kernels of mixed extensions in characteristic 2
• Extensions of differential fields. I, II
• Results on Witt kernels of quadratic forms for multi-quadratic extensions
• Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field
• Bisimut type formulae for differential forms
• Essential dimension of generic symbols in characteristic \(p\)

This page was built for publication: Differential forms and bilinear forms under field extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q493769)