Quadratic form theory over preordered von Neumann-regular rings (Q2482075)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Quadratic form theory over preordered von Neumann-regular rings
scientific article

    Statements

    Quadratic form theory over preordered von Neumann-regular rings (English)
    0 references
    16 April 2008
    0 references
    Let \(R\) be a commutative von Neumann-regular ring, i.e. every principal ideal of \(R\) is generated by an idempotent. Suppose that 2 is a unit in \(R\) and \(T\) is a proper preorder of \(R\). In such a situation one can consider a reduced special group \(G_T(R)=R^*/T^*\) (in the meaning of the authors' paper [Mem. Am. Math. Soc. 689 (2000; Zbl 1052.11027)]), which reflects the reduced theory of quadratic forms modulo \(T\), over free modules. The main result of the paper says that \(G_T(R)\) is [SMC], which means that the multiplication by \(l(-1)\) in the Milnor's \(K\)-theory modulo 2 for \(G_T(R)\) is injective. As a consequence the authors conclude that quadratic form theory modulo \(T\) over free \(R\)-modules verifies Marshall's signature conjecture, Lam's conjecture and a reduced version of Milnor's Witt ring conjecture. To achieve the main result the authors use the representation of \(R\) as the ring of global sections of a presheaf of rings over the Boolean space \(\text{Spec}(R)\) whose stalks are fields. The main arguments proved in the first chapters, and used in the next, are: (a) the \(K\)-theory functor on special groups is geometric, (b) in any presheaf of first-order structures the ring of sections embeds in the product of stalk structures.
    0 references
    preordered rings
    0 references
    von Neumann-regular rings
    0 references
    special groups
    0 references
    rings with many units
    0 references
    algebraic theory of quadratic forms
    0 references
    algebraic \(K\)-theory of rings
    0 references
    Marshall's signature conjecture
    0 references
    Milnor's Witt ring conjecture
    0 references
    0 references
    0 references

    Identifiers