Cohomological obstruction theory for Brauer classes and the period-index problem
Abstract
Let U be a connected scheme of finite cohomological dimension in which every finite set of points is contained in an affine open subscheme. Suppose that alpha is a class in H^2(U_et,Gm)_{tors}. For each positive integer m, the K-theory of alpha-twisted sheaves is used to identify obstructions to alpha being representable by an Azumaya algebra of rank m^2. The etale index of alpha, denoted eti(alpha), is the least positive integer such that all the obstructions vanish. Let per(alpha) be the order of alpha in H^2(U_{et},Gm)_{tors}. Methods from stable homotopy theory give an upper bound on the etale index that depends on the period of alpha and the etale cohomological dimension of U; this bound is expressed in terms of the exponents of the stable homotopy groups of spheres and the exponents of the stable homotopy groups of B(Z/per(alpha)). As a corollary, if U is the spectrum of a field of finite cohomological dimension d, then eti(alpha) divides per(alpha)^[d/2], where [d/2] is the integer part of d/2, whenever per(alpha) is divided neither by the characteristic of k nor by any primes that are small relative to d.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2009
- DOI:
- 10.48550/arXiv.0909.2352
- arXiv:
- arXiv:0909.2352
- Bibcode:
- 2009arXiv0909.2352A
- Keywords:
-
- Mathematics - Algebraic Geometry;
- Mathematics - Algebraic Topology;
- Mathematics - K-Theory and Homology;
- 14F22;
- 16K50 (Primary) 19D23;
- 55Q10;
- 55Q45 (Secondary)
- E-Print:
- 15 pages. To appear in J. K-Theory