Holes in InIn
From MaRDI portal
Abstract: Let F be an arbitrary field of characteristic not 2. We write W(F) for the Witt ring of F, consisting of the isomorphism classes of all anisotropic quadratic forms over F. For any element x of W(F), dimension dim x is defined as the dimension of a quadratic form representing x. The elements of all even dimensions form an ideal denoted I(F). The filtration of the ring W(F) by the powers I(F)^n of this ideal plays a fundamental role in the algebraic theory of quadratic forms. The Milnor conjectures, recently proved by Voevodsky and Orlov-Vishik-Voevodsky, describe the successive quotients I(F)^n/I(F)^{n+1} of this filtration, identifying them with Galois cohomology groups and with the Milnor K-groups modulo 2 of the field F. In the present article we give a complete answer to a different old-standing question concerning I(F)^n, asking about the possible values of dim x for x in I(F)^n. More precisely, for any positive integer n, we prove that the set dim I^n of all dim x for all x in I(F)^n and all F consisists of 2^{n+1}-2^i, i=1,2,...,n+1 together with all even integers greater or equal to 2^{n+1}. Previously available partial informations on dim I^n include the classical Arason-Pfister theorem, saying that no integer between 0 and 2^n lies in dim I^n, as well as a recent Vishik's theorem, saying the same on the integers between 2^n and 2^n+2^{n-1} (the case n=3 is due to Pfister, n=4 to Hoffmann). Our proof is based on computations in Chow groups of powers of projective quadrics (involving the Steenrod operations); the method developed can be also applied to other types of algebraic varieties.
Recommendations
Cites work
- A short proof of Rost nilpotence via refined correspondences
- An exact sequence for \(K^M_*/2\) with applications to quadratic forms
- Cycles on powers of quadrics
- Essential dimension of quadrics
- Generic Splitting of Quadratic Forms, I
- scientific article; zbMATH DE number 3859276 (Why is no real title available?)
- scientific article; zbMATH DE number 3935120 (Why is no real title available?)
- scientific article; zbMATH DE number 2070247 (Why is no real title available?)
- scientific article; zbMATH DE number 1550330 (Why is no real title available?)
- scientific article; zbMATH DE number 2154487 (Why is no real title available?)
- K-theory of quadric hypersurfaces
- Motivic decomposition of isotropic projective homogeneous varieties
- On the algebraic \(K\)-theory of twisted flag varieties
- On the dimensions of anisotropic quadratic forms in \(I^4\)
- On the first Witt index of quadratic forms
- Proof of Krull's intersection theorem for the Witt ring
- Quadratic forms over arbitrary fields
- Quadratic forms with absolutely maximal splitting
- Reduced power operations in motivic cohomology
- Rost projectors and Steenrod operations
- Steenrod operations in Chow theory
Cited in
(15)- An ultimate proof of Hoffmann-Totaro's conjecture
- Shells of twisted flag varieties and the Rost invariant
- Period and index, symbol lengths, and generic splittings in Galois cohomology
- Quadratic forms
- Reifenberg parameterizations for sets with holes
- Hopf-theoretic approach to motives of twisted flag varieties
- scientific article; zbMATH DE number 2154487 (Why is no real title available?)
- On the 3-Pfister Number of Quadratic Forms
- On In-forms over field extensions
- Morava K-theory of orthogonal groups and motives of projective quadrics
- On the 3-Pfister number in characteristic 2
- On generalized Albert forms over discretely valued fields
- Morava K-theory and Rost invariant
- Extended Karpenko and Karpenko-Merkurjev theorems for quasilinear quadratic forms
- On possible values of the m-invariant
This page was built for publication: Holes in InIn
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3021637)