Centrality of odd unitary -functor
arXiv:2005.02926
Abstract
Let be an odd form algebra. We show that the unitary Steinberg group is a crossed module over the odd unitary group in two major cases: if the odd form algebra has a free orthogonal hyperbolic family satisfying a local stable rank condition and if the odd form algebra is sufficiently isotropic and quasi-finite. The proof uses only elementary localization techniques in terms of pro-groups.