ABSTRACT
Let F1 be an equivalence of type I between two categories of modules with hermitian forms. In other words, suppose F is an equivalence between the two underlying categories of modules, and F1 is an equivalence, given by and F1(f) = F(f), such that the non-singularity of a free hyperbolic module of hyperbolic rank 1 is preserved by F1. Then every equivalence generated by a set of hermitian Morita equivalence data is of type I and every equivalence of type I arises from a set of hermitian Morita equivalence data.
Acknowledgments
This work is partially supported by US NSF grants EPS-1101284, CNS-1329657, CCF-1302456 and ONR grant N00014-13-1-0202. We thank the reviewer for his/her meticulous attention to detail, due to which the paper is free of major errors. We thank Dr Wadsworth of UCSD, Dr Weibel of Rutgers University, Dr Reyes, from University of La Laguna, Spain, Dr Unger of University College Dublin and Dr Hahn from the University of Notre Dame for suggestions which enhanced the article.