The index of an algebraic variety

Abstract

Let K be the field of fractions of a Henselian discrete valuation ring O_K. Let X_K/K be a smooth proper geometrically connected scheme admitting a regular model X/O_K. We show that the index δ(X_K/K) of X_K/K can be explicitly computed using data pertaining only to the special fiber X_k/k of the model X. We give two proofs of this theorem, using two moving lemmas. One moving lemma pertains to horizontal 1-cycles on a regular projective scheme X over the spectrum of a semi-local Dedekind domain, and the second moving lemma can be applied to 0-cycles on an FA-scheme X which need not be regular. The study of the local algebra needed to prove these moving lemmas led us to introduce an invariant γ(A) of a singular local ring (A, \m): the greatest common divisor of all the Hilbert-Samuel multiplicities e(Q,A), over all \m-primary ideals Q in \m. We relate this invariant γ(A) to the index of the exceptional divisor in a resolution of the singularity of Spec(A), and we give a new way of computing the index of a smooth subvariety X_K/K of P^n_K over any field K, using the invariant γof the local ring at the vertex of a cone over X.

To appear in Invent. Math

References in corpus (2)

• Integral closure of ideals
• Hypersurfaces in projective schemes and a moving lemma

Cited by in corpus (16)

• Hypersurfaces in projective schemes and a moving lemma
• Index of varieties over Henselian fields and Euler characteristic of coherent sheaves
• Stable rationality of quadric and cubic surface bundle fourfolds
• On the cycle class map for zero-cycles over local fields
• On the geometry of Prüfer intersections of valuation rings
• Involutions of varieties and Rost's degree formula
• Logarithmic good reduction and the index
• A moving lemma for relative $0$-cycles
• On the mod $p$ unramified cohomology of varieties having universally trivial Chow group of zero-cycles
• The torsion in the cohomology of wild elliptic fibers
• Local-Global Principles for Zero-Cycles on Homogeneous Spaces over Arithmetic Function Fields
• Generalized period-index problem with an application to quadratic forms
• There are genus one curves of every index over every infinite, finitely generated field
• Fields generated by points on superelliptic curves
• The Period and Index of a Generic Geometrically Elliptic Normal Curve
• The behavior of essential dimension under specialization II