The period-index problem for the Brauer group of an algebraic surface
type: Item
instance of: scholarly article
title: The period-index problem for the Brauer group of an algebraic surface
zbMATH Open document ID: 1060.14025
DOI: 10.1215/S0012-7094-04-12313-9
published in: Duke Mathematical Journal
publication date: 2004-11-11T00:00:00Z
review text: Let \(K\) be a field, and \(A\) a central simple \(K\)-algebra. Then one has two numerical invariants: First, the period of \(A\), which is the order of \(A\) in the Brauer group. Second, the index of \(A\), which gives the size of the central divison algebra over which \(A\) is a matrix algebra. The period always divides the index, and both numbers have the same prime factors. Now assume that \(K\) is the function field of an algebraic surface \(X\) over some separably closed field \(k\). Suppose that the period of \(A\) is prime to the characteristic of the field. The main result of this beautiful paper is that, under these assumptions, the period of \(A\) actually equals the index of \(A\). In the case that the central simple algebra \(A\) extends to an Azumaya algebra on \(X\), the key ideas of the proof are as follows: The author constructs a suitable surface \(W_0\), which is possibly nonreduced or reducible, having a proper surjection \(W_0\rightarrow X\) so that the Brauer class of \(A\) extends to an Azumaya algebra of very small size on \(W_0\). The surface \(W_0\) appears as a special fiber in a family of surfaces \(W_t\), \(t\in C\), so that the total space has a map \(W\rightarrow X\), and some fiber \(W_\infty\) has an irreducible component birational to \(X\). He then argues that it is possible to modify the Azumaya algebra on \(W_0\) via elementray transformations so that all deformation obstructions vanish. Deforming the Azumaya algebra and specializing at \(W_\infty\), one retains enough control over period and index of the original central simple \(K\)-algebra \(A\) to infer the desired equality. Along the way, the author analyses Brauer groups on reducible surfaces, deformation obstructions, and elementary transformations for Azumaya algebra. The paper also contains some speculations about the period-index problem for fields of higher transcendence degree.
reviewed by: Stefan Schröer
Mathematics Subject Classification ID: 14F22
Mathematics Subject Classification ID: 16K50
zbMATH DE Number: 2114446
zbMATH Keywords: function field of an algebraic surface
zbMATH Keywords: Azumaya algebra
author: Aise Johan de Jong
MaRDI profile type: Publication
Wikidata QID: Q56018680
cites work: On the joints of Hensel rings
cites work: Two-dimensional orders of finite representation type
cites work: Néron Models
cites work: Formal and rigid geometry. IV: The reduced fibre theorem
cites work: Exponent and index of nonramified central simple algebras (with an appendix by Ofer Gabber).
cites work: Q4317713
cites work: Q4271320
cites work: Q3472253
cites work: Q4143433
cites work: Q3128810
cites work: Smoothness, semi-stability and alterations
cites work: Every rationally connected variety over the function field of a curve has a rational point
Recommended article: Period and index in the Brauer group of an arithmetic surface
Recommended article: Cohomological obstruction theory for Brauer classes and the period-index problem
Recommended article: The Brauer group of an noncomplete real algebraic surface
Recommended article: On the Brauer group of a real algebraic surface
Recommended article: The Brauer Group of a Surface over a Finite Field
Recommended article: On the Brauer Group of Real Algebraic Surfaces
Recommended article: On the Picard group and the Brauer group of a real algebraic surface
Recommended article: On the Brauer group of a surface
Recommended article: The Brauer group of an affine rational surface with a non-rational singularity
Recommended article: The Brauer group of Kummer surfaces and torsion of elliptic curves
description: scientific article; zbMATH DE number 2114446