# Reference for the algebro-geometric proof of Matsumoto theorem

Matsumoto proved in his PhD thesis that if $$F$$ is a field then $$K_2(F)=(F^*\otimes F^*)/(x\otimes (1-x)).$$

The original Matsumoto proof as it is written in Milnor's book on algebraic K-theory looks not really nice to me and one guy told me that there is another proof of this fact that uses "sheaves of groups on Severi-Brauer varieties" which seems nicer to me. This guy told me that it is due to Vaserstein (Васерштейн) but it seems that Vaserstein was interested in other questions and couldn't give this proof. Perhaps you know whom this proof belongs to and I'd be very grateful if you could give me the reference to the article.

As for the nicer proofs of Matsumoto theorem, one can take a look at A new approach to Matsumoto's theorem by K. Hutchinson or $$(t^2−t)$$-reciprocities on the affine line and Matsumoto's theorem by F. Keune.