Division algebras over nonlocal Henselian surfaces (Q1118011)

Let R be the coordinate ring of an integral affine algebraic surface, \(\tilde R\) the henselization of R along a reduced, connected curve and \(\tilde K\) the quotient field of \(\tilde R.\) Then every central \(\tilde K\)-division algebra \(\tilde D\) of exponent n in \(B(\tilde K)\) is cyclic of degree n. If K is the quotient field of R and D is a central K- division algebra of exponent n with ramification divisor Z on Spec R, then there is an étale neighborhood \(U\to Spec R\) of Z such that upon restriction to K(U), D is a cyclic algebra of exponent n and index n.