Proof of Kitaev determinant trivialization conjecture

Abstract

Using ideas from algebraic $K$-theory, we prove that a simple and naturally applicable criterion of Kitaev suffices to trivialize the Fredholm determinant of a multiplicative commutator.

13 pages. Proof rearranged and simplified