Witt groups of real projective surfaces
type: Item
instance of: scholarly article
title: Witt groups of real projective surfaces
zbMATH Open document ID: 0692.14012
DOI: 10.1007/BF01444523
author: R. Sujatha
published in: Mathematische Annalen
publication date: 1990-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/164725
review text: Let X be a smooth, integral, projective surface over \({\mathbb{R}}\). In this paper, we determine the structure of the Witt group W(X) of X in terms of certain birational invariants of X and compute W(X) explicitly for a projective, real, rational surface X (i.e. X with \(X_{{\mathbb{C}}}=X\times_{Spec({\mathbb{R}})}Spec({\mathbb{C}})\) birational to \({\mathbb{P}}^ 2({\mathbb{C}}))\). More precisely, if X is a projective, real, rational surface such that the space X(\({\mathbb{R}})\) of \({\mathbb{R}}\)-rational points of X is non-empty, we prove that \(W(X)\simeq {\mathbb{Z}}^ s\oplus ({\mathbb{Z}}/2)^{s-1}\), where s is the number of real connected components of X(\({\mathbb{R}})\), which is known to be finite and a birational invariant. The proof uses a result of J.-L. Colliot-Thélène and R. Parimala relating real components of algebraic varieties to unramified cohomology. If, on the other hand, \(X({\mathbb{R}})=\emptyset\), we prove that W(X)\(\simeq {\mathbb{Z}}/2\oplus {\mathbb{Z}}/4\). The proof of this uses a result of R. Parimala and the author, that for such an X, the level of the function field \({\mathbb{R}}(X)\) is 2. These results along with a theorem of Silhol, imply that a smooth, real, rational surface is birational to \({\mathbb{P}}^ 2({\mathbb{R}})\) if and only if W(X)\(\simeq {\mathbb{Z}}\).
reviewed by: R. Sujatha
Mathematics Subject Classification ID: 14P05
Mathematics Subject Classification ID: 14F20
Mathematics Subject Classification ID: 11E12
Mathematics Subject Classification ID: 14F45
zbMATH DE Number: 4132327
zbMATH Keywords: birational characterization of real projective space
zbMATH Keywords: quadratic forms
zbMATH Keywords: Witt group
zbMATH Keywords: real components of algebraic varieties
zbMATH Keywords: unramified cohomology
MaRDI profile type: Publication
cites work: Cohomologische Invarianten quadratischer Formen
cites work: Q3216728
cites work: Le groupe de Witt d'une surface réelle. (The Witt group of a real surface)
cites work: Gersten's conjecture and the homology of schemes
cites work: Real components of algebraic varieties and étale cohomology
cites work: Classification theorems for quadratic forms over fields
cites work: Quadratic Forms Over Formally Real Fields and Pythagorean Fields
cites work: On the injectivity of the map of the Witt group of a scheme into the Witt group of its function field
cites work: The Witt group of a smooth complex surface
cites work: On birational forms of rational surfaces
cites work: Rational surfaces over perfect fields. I
cites work: Q3871006
cites work: Witt groups of affine three-folds
cites work: Levels of Non-Real Function Fields of Real Rational Surfaces
cites work: Q3708857
description: scientific article; zbMATH DE number 4132327