On the indecomposable quadratic forms of the image of the homomorphism \(W(F) \to W(F(\varphi))\)
type: Item
instance of: scholarly article
title: On the indecomposable quadratic forms of the image of the homomorphism \(W(F) \to W(F(\varphi))\)
zbMATH Open document ID: 1286.11042
author: Ahmed Laghribi
published in: Israel Journal of Mathematics
publication date: 2012-11-19T00:00:00Z
review text: Let \(F\) be a field of characteristic not \(2\), \(\varphi\) a nondegenerate quadratic form over \(F\) and \(F(\varphi)\) the function field of the affine quadric defined by \(\varphi =0\) over \(F\). In this paper, the author studies the image \(r_\varphi(W(F))\) of the restriction homomorphism \(r_\varphi:W(F)\to W(F(\varphi))\) between the Witt rings of \(F\) and of \(F(\varphi)\). In [\(K\)-Theory 29, No. 4, 253--284 (2003; Zbl 1108.11033)], \textit{B. Kahn} and the author studied the following question. Let \(\psi\in r_\varphi(W(F))\). What is the minimal dimension of a form \(\psi'\) over \(F\) such that \(\psi'_{F(\varphi)}\) is Witt equivalent to \(\psi\)\,? In the present paper, the author studies what he calls indecomposable forms in \(r_\varphi(W(F))\), i.e. forms \(\psi\in r_\varphi(W(F))\) such that there do \textit{not} exist forms \(\psi_1,\psi_2\in r_\varphi(W(F))\) of dimension \(>0\) such that \(\psi\cong\psi_1\perp\psi_2\). The set of such indecomposable forms (resp. of such forms of dimension \(n\)) will be denoted by \(\text{Ind}(\varphi)\) (resp. \(\text{Ind}_n(\varphi)\)). Of course, any \(1\)-dimensional form over \(F\) will give rise to an indecomposable form over \(F(\varphi)\). Furthermore, in case \(\text{Ind}_1(\varphi)\subsetneq \text{Ind}(\varphi)\), the author defines the integer \(m(\varphi)=\min\{\dim\psi\,|\,\psi\in \text{Ind}(\varphi),\;\dim\psi>1\}\). Recall that an extension \(L/F\) is called excellent if for any form \(\psi\) over \(F\), the anisotropic part of \(\psi_{L}\) is defined over \(F\). It follows that \(\text{Ind}_1(\varphi)= \text{Ind}(\varphi)\) iff \(F(\varphi)/F\) is excellent. This is always true if \(\dim\varphi =2,3\) or if \(\varphi\) is similar to a \(2\)-fold Pfister form. It never holds if \(\varphi\) is not a Pfister neighbor, in which case it is shown that \(m(\varphi)\leq\dim (\varphi_{F(\varphi)})_{\mathrm{an}}\). But for any \(n\geq 5\), \textit{O. T. Izhboldin} [Doc. Math., J. DMV 1, 127--136 (1996;…
Mathematics Subject Classification ID: 11E04
Mathematics Subject Classification ID: 11E81
zbMATH DE Number: 6108411
zbMATH Keywords: quadratic form
zbMATH Keywords: Witt ring
zbMATH Keywords: nonramified Witt group
zbMATH Keywords: Pfister neighbor
zbMATH Keywords: function field of a quadric
zbMATH Keywords: excellence of a field extension
zbMATH Keywords: indecomposable form
reviewed by: Detlev Hoffmann
MaRDI profile type: Publication
full work available at URL: s11856-011-0160-z
OpenAlex ID: W2094478772
cites work: Cohomologische Invarianten quadratischer Formen
cites work: Q4698625
cites work: Q4698630
cites work: On 6-dimensional quadratic forms isotropic over the function field of a quadric
cites work: Isotropy of quadratic forms over the function field of a quadric
cites work: On the nonexcellence of field extensions \(F(\pi)/F\)
cites work: Quadratic forms with absolutely maximal splitting
cites work: Some new examples in the theory of quadratic forms
cites work: Lower \({\mathcal H}\)-cohomology of higher-dimensional quadrics
cites work: A descent problem for quadratic forms
cites work: Quadratic forms of height and degree 2
cites work: A second descent problem for quadratic forms
cites work: Unramified cohomology of quadrics, I
cites work: Motivic cohomology and unramified cohomology of quadrics
cites work: Unramified cohomology of quadrics. II.
cites work: Q4466502
cites work: Specialization of quadratic and symmetric, bilinear forms, and a norm theorem
cites work: Generic Splitting of Quadratic Forms, I
cites work: Generic Splitting of Quadratic Forms, II
cites work: On the problem of descent for quadratic forms
cites work: Q3360281
cites work: On quadratic forms isotropic over the function field of a conic
cites work: Q3708857
cites work: Birational geometry of quadrics
DOI: 10.1007/S11856-011-0160-Z
Recommended article: On indecomposable and non-decomposable quadratic forms
Recommended article: Q3825147
Recommended article: On the construction of indecomposable positive definite quadratic forms over \({\mathbb Z}\)
Recommended article: Quadratic forms in characteristic 2 and a Wedderburn decomposition over rationals
Recommended article: Quadratic forms on \(\mathbb{F}_{2^ h} [T]\)
Recommended article: Quadratic forms on \(\mathbb{F}_ q[T]\)
Recommended article: On the composition of nondegenerate quadratic forms with an arbitrary index
Recommended article: On quadratic forms over inseparable quadratic extensions
Recommended article: Quadratic forms on \(\mathbb F_q[T]\)
Recommended article: Q3589354
description: scientific article; zbMATH DE number 6108411