Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1725

Preprint Number 1725

Previous Next Preprint server

1725. Masato Fujita
Definable C^r vector bundles and bilinear spaces in an o-minimal structure and their homotopy theorems

Submission date: 8 February 2020


Consider an o-minimal structure on the real field. Let M be a definable C^r manifold, where r is a nonnegative integer. We first demonstrate an equivalence of the category of definable C^r vector bundles over M with the category of finitely generated projective modules over the ring C_{df}^r(M). Here, the notation C_{df}^r(M) denotes the ring of definable C^r functions on M. We also show an equivalence of the category of definable C^r bilinear spaces over M with the category of bilinear spaces over the ring C_{df}^r(M). The main theorems of this paper are homotopy theorems for definable C^r vector bundles and definable C^r bilinear spaces over M. As an application, we show that the Grothendieck rings K_0(C_{df}^r(M)), K_0(C_{df}^0(M)) and the Witt ring W(C_{df}^r(M)) are all isomorphic.

Mathematics Subject Classification: Primary 03C64, Secondary 57R22, 19A49

Keywords and phrases:

Full text arXiv 2002.03081: pdf, ps.

Last updated: February 11 2020 12:09 Please send your corrections to: